current bounds on the number of colors: 0 -- 187 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:52:44 2012 Optimize a model with 83143 rows, 18283 columns and 266259 nonzeros Presolve time: 0.26s Presolved: 83143 rows, 18283 columns, 266259 nonzeros Variable types: 0 continuous, 18283 integer (18283 binary) Root relaxation: objective 0.000000e+00, 794 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 (1209 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:52:46 2012 Optimize a model with 41219 rows, 9494 columns and 131698 nonzeros Presolve time: 0.16s Presolved: 41219 rows, 9494 columns, 131698 nonzeros Variable types: 0 continuous, 9494 integer (9494 binary) Root relaxation: objective 0.000000e+00, 523 iterations, 0.03 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 (913 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:52:46 2012 Optimize a model with 20703 rows, 5193 columns and 65849 nonzeros Presolve time: 0.08s Presolved: 20703 rows, 5193 columns, 65849 nonzeros Variable types: 0 continuous, 5193 integer (5193 binary) Root relaxation: objective 0.000000e+00, 445 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 (816 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:52:47 2012 Optimize a model with 9999 rows, 2949 columns and 31493 nonzeros Presolve time: 0.03s Presolved: 9999 rows, 2949 columns, 31493 nonzeros Variable types: 0 continuous, 2949 integer (2949 binary) Root relaxation: objective 0.000000e+00, 388 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 (761 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:52:47 2012 Optimize a model with 4647 rows, 1827 columns and 14315 nonzeros Presolve time: 0.01s Presolved: 4647 rows, 1827 columns, 14315 nonzeros Variable types: 0 continuous, 1827 integer (1827 binary) Root relaxation: objective 0.000000e+00, 393 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 122 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4157 simplex iterations) in 0.31 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:52:47 2012 Optimize a model with 1971 rows, 1266 columns and 5726 nonzeros Presolve removed 187 rows and 187 columns Presolve time: 0.00s Presolved: 1784 rows, 1079 columns, 5352 nonzeros Variable types: 0 continuous, 1079 integer (1079 binary) Root relaxation: objective 0.000000e+00, 196 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 187 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (824 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:52:47 2012 Optimize a model with 2863 rows, 1453 columns and 8589 nonzeros Presolve time: 0.01s Presolved: 2863 rows, 1453 columns, 8589 nonzeros Variable types: 0 continuous, 1453 integer (1453 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.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5402 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:52:48 2012 Optimize a model with 3755 rows, 1640 columns and 11452 nonzeros Presolve time: 0.01s Presolved: 3755 rows, 1640 columns, 11452 nonzeros Variable types: 0 continuous, 1640 integer (1640 binary) Root relaxation: objective 0.000000e+00, 404 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 368 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 385 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 2 0.00000 0 320 - 0.00000 - - 6s 326 94 0.00000 15 318 - 0.00000 - 151 10s 899 90 infeasible 18 - 0.00000 - 141 15s 1009 100 0.00000 13 312 - 0.00000 - 144 20s 1013 102 0.00000 10 303 - 0.00000 - 143 25s 1016 104 0.00000 18 270 - 0.00000 - 143 30s 1021 110 0.00000 11 420 - 0.00000 - 197 35s 1084 110 0.00000 19 334 - 0.00000 - 199 40s 1296 29 infeasible 24 - 0.00000 - 212 45s 1546 26 0.00000 23 326 - 0.00000 - 217 50s 1807 41 0.00000 20 357 - 0.00000 - 221 55s 2065 23 0.00000 21 322 - 0.00000 - 226 60s 2334 16 0.00000 19 403 - 0.00000 - 228 65s 2580 32 0.00000 23 355 - 0.00000 - 231 70s 2830 20 infeasible 20 - 0.00000 - 233 75s Explored 3005 nodes (758355 simplex iterations) in 78.62 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