current bounds on the number of colors: 0 -- 201 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:47:12 2012 Optimize a model with 102201 rows, 21120 columns and 326100 nonzeros Presolve time: 0.34s Presolved: 102201 rows, 21120 columns, 326100 nonzeros Variable types: 0 continuous, 21120 integer (21120 binary) Root relaxation: objective 0.000000e+00, 696 iterations, 0.08 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 (1662 simplex iterations) in 0.73 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:47:14 2012 Optimize a model with 51201 rows, 11070 columns and 163050 nonzeros Presolve time: 0.17s Presolved: 51201 rows, 11070 columns, 163050 nonzeros Variable types: 0 continuous, 11070 integer (11070 binary) Root relaxation: objective 0.000000e+00, 670 iterations, 0.05 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 (1138 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:47:15 2012 Optimize a model with 25701 rows, 6045 columns and 81525 nonzeros Presolve time: 0.11s Presolved: 25701 rows, 6045 columns, 81525 nonzeros Variable types: 0 continuous, 6045 integer (6045 binary) Root relaxation: objective 0.000000e+00, 467 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 (892 simplex iterations) in 0.16 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 09:47:15 2012 Optimize a model with 12441 rows, 3432 columns and 39132 nonzeros Presolve time: 0.04s Presolved: 12441 rows, 3432 columns, 39132 nonzeros Variable types: 0 continuous, 3432 integer (3432 binary) Root relaxation: objective 0.000000e+00, 416 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 (791 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 09:47:16 2012 Optimize a model with 6321 rows, 2226 columns and 19566 nonzeros Presolve time: 0.02s Presolved: 6321 rows, 2226 columns, 19566 nonzeros Variable types: 0 continuous, 2226 integer (2226 binary) Root relaxation: objective 0.000000e+00, 431 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 (1584 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:47:16 2012 Optimize a model with 3261 rows, 1623 columns and 9783 nonzeros Presolve time: 0.01s Presolved: 3261 rows, 1623 columns, 9783 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 447 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.00000 0 400 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5620 simplex iterations) in 0.76 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 09:47:17 2012 Optimize a model with 4281 rows, 1824 columns and 13044 nonzeros Presolve time: 0.01s Presolved: 4281 rows, 1824 columns, 13044 nonzeros Variable types: 0 continuous, 1824 integer (1824 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 394 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 534 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 347 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 7s 0 0 0.00000 0 338 - 0.00000 - - 8s 0 0 0.00000 0 340 - 0.00000 - - 9s 0 0 0.00000 0 340 - 0.00000 - - 9s 0 2 0.00000 0 340 - 0.00000 - - 10s 339 143 0.00000 17 378 - 0.00000 - 169 15s 614 196 0.00000 6 545 - 0.00000 - 162 20s 617 198 0.00000 26 345 - 0.00000 - 161 25s 620 200 0.00000 16 310 - 0.00000 - 160 32s 622 201 0.00000 17 328 - 0.00000 - 160 35s 632 208 0.00000 19 475 - 0.00000 - 247 40s 755 184 0.00000 25 478 - 0.00000 - 254 45s 889 151 infeasible 28 - 0.00000 - 267 50s 1048 87 infeasible 30 - 0.00000 - 274 55s 1206 29 infeasible 35 - 0.00000 - 282 60s 1371 15 infeasible 26 - 0.00000 - 285 65s 1506 16 0.00000 30 411 - 0.00000 - 290 70s 1646 14 infeasible 30 - 0.00000 - 294 75s Cutting planes: Gomory: 2 Zero half: 17 Explored 1767 nodes (596533 simplex iterations) in 79.50 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 09:48:36 2012 Optimize a model with 5301 rows, 2025 columns and 16305 nonzeros Presolve time: 0.01s Presolved: 5301 rows, 2025 columns, 16305 nonzeros Variable types: 0 continuous, 2025 integer (2025 binary) Root relaxation: objective 0.000000e+00, 442 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 246 - 0.00000 - - 0s 0 0 0.00000 0 86 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Gomory: 2 Zero half: 235 Explored 0 nodes (15540 simplex iterations) in 1.91 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