current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:42 2012 Optimize a model with 79290 rows, 17079 columns and 253530 nonzeros Presolve time: 0.25s Presolved: 79290 rows, 17079 columns, 253530 nonzeros Variable types: 0 continuous, 17079 integer (17079 binary) Root relaxation: objective 0.000000e+00, 749 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 (1184 simplex iterations) in 0.45 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:43 2012 Optimize a model with 39735 rows, 8979 columns and 126765 nonzeros Presolve time: 0.16s Presolved: 39735 rows, 8979 columns, 126765 nonzeros Variable types: 0 continuous, 8979 integer (8979 binary) Root relaxation: objective 0.000000e+00, 623 iterations, 0.04 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 (1043 simplex iterations) in 0.25 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:44 2012 Optimize a model with 19518 rows, 4839 columns and 61974 nonzeros Presolve time: 0.07s Presolved: 19518 rows, 4839 columns, 61974 nonzeros Variable types: 0 continuous, 4839 integer (4839 binary) Root relaxation: objective 0.000000e+00, 392 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 (706 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:44 2012 Optimize a model with 9849 rows, 2859 columns and 30987 nonzeros Presolve time: 0.03s Presolved: 9849 rows, 2859 columns, 30987 nonzeros Variable types: 0 continuous, 2859 integer (2859 binary) Root relaxation: objective 0.000000e+00, 380 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 (691 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:44 2012 Optimize a model with 4575 rows, 1779 columns and 14085 nonzeros Presolve time: 0.01s Presolved: 4575 rows, 1779 columns, 14085 nonzeros Variable types: 0 continuous, 1779 integer (1779 binary) Root relaxation: objective 0.000000e+00, 399 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 342 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2095 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:44 2012 Optimize a model with 1938 rows, 1239 columns and 5634 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1758 rows, 1059 columns, 5274 nonzeros Variable types: 0 continuous, 1059 integer (1059 binary) Root relaxation: objective 0.000000e+00, 190 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 180 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (783 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:44 2012 Optimize a model with 2817 rows, 1419 columns and 8451 nonzeros Presolve time: 0.01s Presolved: 2817 rows, 1419 columns, 8451 nonzeros Variable types: 0 continuous, 1419 integer (1419 binary) Root relaxation: objective 0.000000e+00, 411 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 360 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4607 simplex iterations) in 0.56 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:46:45 2012 Optimize a model with 3696 rows, 1599 columns and 11268 nonzeros Presolve time: 0.01s Presolved: 3696 rows, 1599 columns, 11268 nonzeros Variable types: 0 continuous, 1599 integer (1599 binary) Root relaxation: objective 0.000000e+00, 415 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 346 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 485 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 282 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 6s 0 0 0.00000 0 276 - 0.00000 - - 7s 0 0 0.00000 0 270 - 0.00000 - - 7s 0 0 0.00000 0 272 - 0.00000 - - 8s 0 0 0.00000 0 272 - 0.00000 - - 8s 0 2 0.00000 0 272 - 0.00000 - - 9s 80 18 infeasible 17 - 0.00000 - 152 10s 762 34 infeasible 28 - 0.00000 - 124 15s 806 45 0.00000 21 308 - 0.00000 - 125 20s 810 48 0.00000 5 276 - 0.00000 - 124 25s 813 50 0.00000 18 292 - 0.00000 - 124 30s 817 53 0.00000 11 274 - 0.00000 - 123 35s 1041 29 infeasible 27 - 0.00000 - 209 40s 1317 31 0.00000 26 355 - 0.00000 - 215 45s 1596 22 infeasible 30 - 0.00000 - 220 50s 1902 16 0.00000 19 377 - 0.00000 - 221 55s 2190 22 0.00000 23 320 - 0.00000 - 223 60s 2453 7 infeasible 27 - 0.00000 - 227 65s Cutting planes: Gomory: 1 Zero half: 11 Explored 2519 nodes (643001 simplex iterations) in 66.32 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5