current bounds on the number of colors: 0 -- 207 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:44 2012 Optimize a model with 110829 rows, 22395 columns and 353187 nonzeros Presolve time: 0.37s Presolved: 110829 rows, 22395 columns, 353187 nonzeros Variable types: 0 continuous, 22395 integer (22395 binary) Root relaxation: objective 0.000000e+00, 838 iterations, 0.10 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1313 simplex iterations) in 0.63 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:46 2012 Optimize a model with 54981 rows, 11631 columns and 174879 nonzeros Presolve time: 0.17s Presolved: 54981 rows, 11631 columns, 174879 nonzeros Variable types: 0 continuous, 11631 integer (11631 binary) Root relaxation: objective 0.000000e+00, 754 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1254 simplex iterations) in 0.30 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:47 2012 Optimize a model with 27057 rows, 6249 columns and 85725 nonzeros Presolve time: 0.11s Presolved: 27057 rows, 6249 columns, 85725 nonzeros Variable types: 0 continuous, 6249 integer (6249 binary) Root relaxation: objective 0.000000e+00, 484 iterations, 0.02 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (890 simplex iterations) in 0.17 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:47 2012 Optimize a model with 13095 rows, 3558 columns and 41148 nonzeros Presolve time: 0.04s Presolved: 13095 rows, 3558 columns, 41148 nonzeros Variable types: 0 continuous, 3558 integer (3558 binary) Root relaxation: objective 0.000000e+00, 432 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (805 simplex iterations) in 0.07 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:48 2012 Optimize a model with 6651 rows, 2316 columns and 20574 nonzeros Presolve time: 0.02s Presolved: 6651 rows, 2316 columns, 20574 nonzeros Variable types: 0 continuous, 2316 integer (2316 binary) Root relaxation: objective 0.000000e+00, 446 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 14 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3529 simplex iterations) in 0.21 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:48 2012 Optimize a model with 3429 rows, 1695 columns and 10287 nonzeros Presolve time: 0.01s Presolved: 3429 rows, 1695 columns, 10287 nonzeros Variable types: 0 continuous, 1695 integer (1695 binary) Root relaxation: objective 0.000000e+00, 484 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 414 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5592 simplex iterations) in 0.84 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:18:49 2012 Optimize a model with 4503 rows, 1902 columns and 13716 nonzeros Presolve time: 0.01s Presolved: 4503 rows, 1902 columns, 13716 nonzeros Variable types: 0 continuous, 1902 integer (1902 binary) Root relaxation: objective 0.000000e+00, 444 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 527 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 353 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 7s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 2 0.00000 0 350 - 0.00000 - - 9s 36 25 0.00000 21 356 - 0.00000 - 245 10s 530 119 infeasible 22 - 0.00000 - 135 15s 605 154 0.00000 17 374 - 0.00000 - 133 21s 607 155 0.00000 20 366 - 0.00000 - 132 25s 609 156 0.00000 15 364 - 0.00000 - 132 30s 612 158 0.00000 17 348 - 0.00000 - 131 36s 614 160 0.00000 7 342 - 0.00000 - 131 40s 617 162 0.00000 9 336 - 0.00000 - 130 45s 760 159 infeasible 25 - 0.00000 - 264 50s 988 135 0.00000 24 421 - 0.00000 - 259 55s 1181 91 infeasible 27 - 0.00000 - 264 60s 1376 100 infeasible 25 - 0.00000 - 265 65s 1597 87 0.00000 24 366 - 0.00000 - 263 70s 1799 81 0.00000 26 438 - 0.00000 - 265 75s 1983 67 infeasible 26 - 0.00000 - 267 80s 2170 74 infeasible 25 - 0.00000 - 268 85s 2362 80 infeasible 30 - 0.00000 - 270 90s 2560 102 0.00000 29 374 - 0.00000 - 270 95s 2753 95 0.00000 22 374 - 0.00000 - 272 100s 2948 86 infeasible 23 - 0.00000 - 272 105s 3109 83 0.00000 25 368 - 0.00000 - 275 110s 3293 69 infeasible 28 - 0.00000 - 276 115s 3485 81 0.00000 25 411 - 0.00000 - 276 120s 3707 73 infeasible 31 - 0.00000 - 275 125s 3882 84 0.00000 26 404 - 0.00000 - 276 130s 4081 81 infeasible 25 - 0.00000 - 277 135s 4283 87 0.00000 24 423 - 0.00000 - 276 140s 4479 93 infeasible 25 - 0.00000 - 276 145s 4671 91 infeasible 30 - 0.00000 - 276 150s 4875 75 0.00000 25 364 - 0.00000 - 276 155s 5067 71 infeasible 30 - 0.00000 - 276 160s 5231 71 0.00000 32 376 - 0.00000 - 277 165s 5405 61 infeasible 25 - 0.00000 - 278 170s 5561 51 infeasible 27 - 0.00000 - 279 175s 5708 62 infeasible 33 - 0.00000 - 281 180s 5879 55 infeasible 30 - 0.00000 - 281 185s 6036 50 infeasible 26 - 0.00000 - 282 190s 6206 50 infeasible 31 - 0.00000 - 283 195s 6384 50 infeasible 24 - 0.00000 - 283 200s 6582 60 infeasible 29 - 0.00000 - 282 205s 6728 70 0.00000 25 370 - 0.00000 - 284 210s 6898 52 infeasible 26 - 0.00000 - 284 215s 7058 62 0.00000 27 368 - 0.00000 - 285 220s 7215 49 infeasible 28 - 0.00000 - 285 225s 7369 43 infeasible 28 - 0.00000 - 286 230s 7525 39 0.00000 29 426 - 0.00000 - 287 235s 7697 21 infeasible 25 - 0.00000 - 287 240s 7851 15 infeasible 22 - 0.00000 - 288 245s 7996 6 infeasible 25 - 0.00000 - 289 250s 8176 6 infeasible 25 - 0.00000 - 289 255s Cutting planes: Clique: 1 Zero half: 22 Explored 8225 nodes (2436438 simplex iterations) in 256.72 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:23:06 2012 Optimize a model with 5577 rows, 2109 columns and 17145 nonzeros Presolve time: 0.02s Presolved: 5577 rows, 2109 columns, 17145 nonzeros Variable types: 0 continuous, 2109 integer (2109 binary) Root relaxation: objective 0.000000e+00, 445 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 400 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 160 MIR: 2 Zero half: 517 Explored 0 nodes (3472 simplex iterations) in 0.29 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% optimal solution found: number of colors: 5