current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:18:24 2012 Optimize a model with 83979 rows, 18199 columns and 268677 nonzeros Presolve time: 0.27s Presolved: 83979 rows, 18199 columns, 268677 nonzeros Variable types: 0 continuous, 18199 integer (18199 binary) Root relaxation: objective 0.000000e+00, 742 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 (1183 simplex iterations) in 0.47 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:18:26 2012 Optimize a model with 41632 rows, 9457 columns and 132894 nonzeros Presolve time: 0.16s Presolved: 41632 rows, 9457 columns, 132894 nonzeros Variable types: 0 continuous, 9457 integer (9457 binary) Root relaxation: objective 0.000000e+00, 508 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 (899 simplex iterations) in 0.24 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:18:26 2012 Optimize a model with 20909 rows, 5179 columns and 66447 nonzeros Presolve time: 0.08s Presolved: 20909 rows, 5179 columns, 66447 nonzeros Variable types: 0 continuous, 5179 integer (5179 binary) Root relaxation: objective 0.000000e+00, 421 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 (776 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:18:27 2012 Optimize a model with 10097 rows, 2947 columns and 31779 nonzeros Presolve time: 0.03s Presolved: 10097 rows, 2947 columns, 31779 nonzeros Variable types: 0 continuous, 2947 integer (2947 binary) Root relaxation: objective 0.000000e+00, 390 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 (990 simplex iterations) in 0.06 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 03:18:27 2012 Optimize a model with 4691 rows, 1831 columns and 14445 nonzeros Presolve time: 0.01s Presolved: 4691 rows, 1831 columns, 14445 nonzeros Variable types: 0 continuous, 1831 integer (1831 binary) Root relaxation: objective 0.000000e+00, 381 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1745 simplex iterations) in 0.09 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 03:18:27 2012 Optimize a model with 1988 rows, 1273 columns and 5778 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1802 rows, 1087 columns, 5406 nonzeros Variable types: 0 continuous, 1087 integer (1087 binary) Root relaxation: objective 0.000000e+00, 194 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 186 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (805 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 03:18:27 2012 Optimize a model with 2889 rows, 1459 columns and 8667 nonzeros Presolve time: 0.01s Presolved: 2889 rows, 1459 columns, 8667 nonzeros Variable types: 0 continuous, 1459 integer (1459 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.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4853 simplex iterations) in 0.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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:18:28 2012 Optimize a model with 3790 rows, 1645 columns and 11556 nonzeros Presolve time: 0.01s Presolved: 3790 rows, 1645 columns, 11556 nonzeros Variable types: 0 continuous, 1645 integer (1645 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.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 312 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 316 - 0.00000 - - 5s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 6s 0 0 0.00000 0 296 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 2 0.00000 0 297 - 0.00000 - - 7s 311 53 0.00000 16 375 - 0.00000 - 116 10s 610 90 0.00000 14 316 - 0.00000 - 110 15s 614 93 0.00000 9 278 - 0.00000 - 109 21s 617 95 0.00000 21 247 - 0.00000 - 109 25s 620 97 0.00000 9 290 - 0.00000 - 108 30s 817 52 infeasible 24 - 0.00000 - 219 35s 1080 18 0.00000 20 339 - 0.00000 - 224 40s 1326 10 infeasible 24 - 0.00000 - 230 45s 1599 25 infeasible 28 - 0.00000 - 230 50s 1817 9 infeasible 25 - 0.00000 - 237 55s 2053 7 0.00000 22 383 - 0.00000 - 239 60s Cutting planes: Zero half: 16 Explored 2117 nodes (568833 simplex iterations) in 61.40 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