current bounds on the number of colors: 0 -- 198 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:13:54 2012 Optimize a model with 104247 rows, 20653 columns and 331749 nonzeros Presolve time: 0.34s Presolved: 104247 rows, 20653 columns, 331749 nonzeros Variable types: 0 continuous, 20653 integer (20653 binary) Root relaxation: objective 0.000000e+00, 522 iterations, 0.13 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 (962 simplex iterations) in 0.61 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:13:56 2012 Optimize a model with 51697 rows, 10753 columns and 164199 nonzeros Presolve time: 0.17s Presolved: 51697 rows, 10753 columns, 164199 nonzeros Variable types: 0 continuous, 10753 integer (10753 binary) Root relaxation: objective 0.000000e+00, 635 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 (1120 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% current bounds on the number of colors: 0 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:13:57 2012 Optimize a model with 25422 rows, 5803 columns and 80424 nonzeros Presolve time: 0.10s Presolved: 25422 rows, 5803 columns, 80424 nonzeros Variable types: 0 continuous, 5803 integer (5803 binary) Root relaxation: objective 0.000000e+00, 426 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 (810 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:13:57 2012 Optimize a model with 12810 rows, 3427 columns and 40212 nonzeros Presolve time: 0.04s Presolved: 12810 rows, 3427 columns, 40212 nonzeros Variable types: 0 continuous, 3427 integer (3427 binary) Root relaxation: objective 0.000000e+00, 406 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 (804 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 08:13:57 2012 Optimize a model with 6504 rows, 2239 columns and 20106 nonzeros Presolve time: 0.02s Presolved: 6504 rows, 2239 columns, 20106 nonzeros Variable types: 0 continuous, 2239 integer (2239 binary) Root relaxation: objective 0.000000e+00, 410 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 (1712 simplex iterations) in 0.10 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 08:13:57 2012 Optimize a model with 3351 rows, 1645 columns and 10053 nonzeros Presolve time: 0.01s Presolved: 3351 rows, 1645 columns, 10053 nonzeros Variable types: 0 continuous, 1645 integer (1645 binary) Root relaxation: objective 0.000000e+00, 448 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 400 - 0.00000 - - 0s 0 0 0.00000 0 557 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 34 Zero half: 1398 Explored 0 nodes (8970 simplex iterations) in 1.54 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 08:13:59 2012 Optimize a model with 4402 rows, 1843 columns and 13404 nonzeros Presolve time: 0.01s Presolved: 4402 rows, 1843 columns, 13404 nonzeros Variable types: 0 continuous, 1843 integer (1843 binary) Root relaxation: objective 0.000000e+00, 458 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 382 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 460 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 2 0.00000 0 358 - 0.00000 - - 8s 69 27 0.00000 16 350 - 0.00000 - 211 10s 376 27 0.00000 16 379 - 0.00000 - 193 15s 672 45 0.00000 16 336 - 0.00000 - 190 20s 804 57 0.00000 5 557 - 0.00000 - 188 25s 807 59 0.00000 13 361 - 0.00000 - 188 32s 809 60 0.00000 6 354 - 0.00000 - 187 36s 811 62 0.00000 10 348 - 0.00000 - 187 41s 814 64 0.00000 16 357 - 0.00000 - 186 45s 929 62 infeasible 35 - 0.00000 - 269 50s 1048 25 0.00000 29 364 - 0.00000 - 281 55s 1212 33 infeasible 33 - 0.00000 - 283 60s 1375 24 0.00000 27 372 - 0.00000 - 285 65s 1497 14 0.00000 20 479 - 0.00000 - 294 70s 1638 15 0.00000 23 486 - 0.00000 - 297 75s 1781 22 infeasible 26 - 0.00000 - 300 80s 1950 21 infeasible 31 - 0.00000 - 298 85s 2140 49 infeasible 33 - 0.00000 - 296 90s 2310 25 infeasible 34 - 0.00000 - 296 95s 2467 26 0.00000 31 451 - 0.00000 - 297 100s 2603 24 infeasible 28 - 0.00000 - 300 105s 2756 9 infeasible 25 - 0.00000 - 301 110s 2886 3 infeasible 23 - 0.00000 - 303 115s Cutting planes: Gomory: 2 Zero half: 25 Explored 2900 nodes (938162 simplex iterations) in 115.63 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 08:15:55 2012 Optimize a model with 5453 rows, 2041 columns and 16755 nonzeros Presolve time: 0.02s Presolved: 5453 rows, 2041 columns, 16755 nonzeros Variable types: 0 continuous, 2041 integer (2041 binary) Root relaxation: objective 0.000000e+00, 425 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 376 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (21851 simplex iterations) in 2.85 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