current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:42:26 2012 Optimize a model with 115024 rows, 22736 columns and 366080 nonzeros Presolve time: 0.39s Presolved: 115024 rows, 22736 columns, 366080 nonzeros Variable types: 0 continuous, 22736 integer (22736 binary) Root relaxation: objective 0.000000e+00, 556 iterations, 0.14 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 (1206 simplex iterations) in 0.78 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:42:28 2012 Optimize a model with 57616 rows, 11920 columns and 183040 nonzeros Presolve time: 0.17s Presolved: 57616 rows, 11920 columns, 183040 nonzeros Variable types: 0 continuous, 11920 integer (11920 binary) Root relaxation: objective 0.000000e+00, 755 iterations, 0.07 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 (1263 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:42:29 2012 Optimize a model with 28912 rows, 6512 columns and 91520 nonzeros Presolve time: 0.12s Presolved: 28912 rows, 6512 columns, 91520 nonzeros Variable types: 0 continuous, 6512 integer (6512 binary) Root relaxation: objective 0.000000e+00, 504 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 (916 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:42:30 2012 Optimize a model with 14560 rows, 3808 columns and 45760 nonzeros Presolve time: 0.05s Presolved: 14560 rows, 3808 columns, 45760 nonzeros Variable types: 0 continuous, 3808 integer (3808 binary) Root relaxation: objective 0.000000e+00, 439 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 (812 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:42:30 2012 Optimize a model with 6832 rows, 2352 columns and 21120 nonzeros Presolve time: 0.02s Presolved: 6832 rows, 2352 columns, 21120 nonzeros Variable types: 0 continuous, 2352 integer (2352 binary) Root relaxation: objective 0.000000e+00, 449 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 84 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4142 simplex iterations) in 0.28 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:42:30 2012 Optimize a model with 3520 rows, 1728 columns and 10560 nonzeros Presolve time: 0.01s Presolved: 3520 rows, 1728 columns, 10560 nonzeros Variable types: 0 continuous, 1728 integer (1728 binary) Root relaxation: objective 0.000000e+00, 494 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 358 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7440 simplex iterations) in 0.94 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:42:32 2012 Optimize a model with 4624 rows, 1936 columns and 14080 nonzeros Presolve time: 0.01s Presolved: 4624 rows, 1936 columns, 14080 nonzeros Variable types: 0 continuous, 1936 integer (1936 binary) Root relaxation: objective 0.000000e+00, 462 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 406 - 0.00000 - - 0s 0 0 0.00000 0 401 - 0.00000 - - 1s 0 0 0.00000 0 449 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 363 - 0.00000 - - 9s 0 0 0.00000 0 363 - 0.00000 - - 9s 0 2 0.00000 0 361 - 0.00000 - - 10s 185 23 infeasible 17 - 0.00000 - 217 15s 485 34 infeasible 22 - 0.00000 - 201 20s 889 52 infeasible 22 - 0.00000 - 174 25s 906 52 0.00000 19 394 - 0.00000 - 173 31s 908 54 0.00000 10 380 - 0.00000 - 173 35s 911 56 0.00000 7 364 - 0.00000 - 172 43s 912 56 0.00000 3 376 - 0.00000 - 172 45s 914 58 0.00000 13 344 - 0.00000 - 171 51s 916 59 0.00000 6 387 - 0.00000 - 171 55s 1015 45 0.00000 24 406 - 0.00000 - 266 60s 1152 28 infeasible 27 - 0.00000 - 275 65s 1283 37 0.00000 22 429 - 0.00000 - 282 70s 1408 44 0.00000 30 390 - 0.00000 - 289 75s 1524 42 0.00000 21 390 - 0.00000 - 297 80s 1663 45 0.00000 27 382 - 0.00000 - 300 85s 1786 30 infeasible 25 - 0.00000 - 305 90s 1924 30 infeasible 30 - 0.00000 - 307 95s 2073 27 0.00000 22 370 - 0.00000 - 308 100s 2217 27 infeasible 30 - 0.00000 - 309 105s 2333 13 infeasible 27 - 0.00000 - 314 110s 2450 10 infeasible 25 - 0.00000 - 317 115s 2574 4 0.00000 23 437 - 0.00000 - 320 120s Cutting planes: Zero half: 14 Explored 2699 nodes (927680 simplex iterations) in 123.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:44:35 2012 Optimize a model with 5728 rows, 2144 columns and 17600 nonzeros Presolve time: 0.02s Presolved: 5728 rows, 2144 columns, 17600 nonzeros Variable types: 0 continuous, 2144 integer (2144 binary) Root relaxation: objective 0.000000e+00, 454 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 318 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (11907 simplex iterations) in 1.39 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