current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:58:53 2012 Optimize a model with 86165 rows, 18955 columns and 275975 nonzeros Presolve time: 0.27s Presolved: 86165 rows, 18955 columns, 275975 nonzeros Variable types: 0 continuous, 18955 integer (18955 binary) Root relaxation: objective 0.000000e+00, 755 iterations, 0.09 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 (1194 simplex iterations) in 0.48 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:58:55 2012 Optimize a model with 42725 rows, 9835 columns and 136535 nonzeros Presolve time: 0.15s Presolved: 42725 rows, 9835 columns, 136535 nonzeros Variable types: 0 continuous, 9835 integer (9835 binary) Root relaxation: objective 0.000000e+00, 605 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 (1026 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:58:55 2012 Optimize a model with 21005 rows, 5275 columns and 66815 nonzeros Presolve time: 0.08s Presolved: 21005 rows, 5275 columns, 66815 nonzeros Variable types: 0 continuous, 5275 integer (5275 binary) Root relaxation: objective 0.000000e+00, 451 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 (808 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 04:58:56 2012 Optimize a model with 10145 rows, 2995 columns and 31955 nonzeros Presolve time: 0.03s Presolved: 10145 rows, 2995 columns, 31955 nonzeros Variable types: 0 continuous, 2995 integer (2995 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 (738 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 04:58:56 2012 Optimize a model with 4715 rows, 1855 columns and 14525 nonzeros Presolve time: 0.01s Presolved: 4715 rows, 1855 columns, 14525 nonzeros Variable types: 0 continuous, 1855 integer (1855 binary) Root relaxation: objective 0.000000e+00, 403 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 211 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4442 simplex iterations) in 0.36 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 04:58:56 2012 Optimize a model with 2000 rows, 1285 columns and 5810 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.00s Presolved: 1810 rows, 1095 columns, 5430 nonzeros Variable types: 0 continuous, 1095 integer (1095 binary) Root relaxation: objective 0.000000e+00, 198 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 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (822 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 04:58:56 2012 Optimize a model with 2905 rows, 1475 columns and 8715 nonzeros Presolve time: 0.01s Presolved: 2905 rows, 1475 columns, 8715 nonzeros Variable types: 0 continuous, 1475 integer (1475 binary) Root relaxation: objective 0.000000e+00, 438 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 378 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5254 simplex iterations) in 0.65 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 04:58:57 2012 Optimize a model with 3810 rows, 1665 columns and 11620 nonzeros Presolve time: 0.01s Presolved: 3810 rows, 1665 columns, 11620 nonzeros Variable types: 0 continuous, 1665 integer (1665 binary) Root relaxation: objective 0.000000e+00, 429 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 374 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 309 - 0.00000 - - 5s 0 0 0.00000 0 313 - 0.00000 - - 6s 0 0 0.00000 0 284 - 0.00000 - - 7s 0 0 0.00000 0 282 - 0.00000 - - 7s 0 0 0.00000 0 412 - 0.00000 - - 8s 0 0 0.00000 0 272 - 0.00000 - - 8s 0 2 0.00000 0 272 - 0.00000 - - 9s 55 23 0.00000 16 356 - 0.00000 - 168 10s 669 23 infeasible 16 - 0.00000 - 122 15s 1164 19 0.00000 17 339 - 0.00000 - 132 20s 1305 40 0.00000 9 338 - 0.00000 - 129 25s 1309 42 0.00000 16 297 - 0.00000 - 129 31s 1312 44 0.00000 10 315 - 0.00000 - 129 35s 1315 46 0.00000 8 291 - 0.00000 - 128 40s 1421 25 0.00000 24 415 - 0.00000 - 183 45s 1629 9 0.00000 23 412 - 0.00000 - 197 50s Cutting planes: Clique: 1 Zero half: 18 Explored 1689 nodes (414625 simplex iterations) in 52.01 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