current bounds on the number of colors: 0 -- 184 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:42:49 2012 Optimize a model with 77096 rows, 17764 columns and 247664 nonzeros Presolve time: 0.24s Presolved: 77096 rows, 17764 columns, 247664 nonzeros Variable types: 0 continuous, 17764 integer (17764 binary) Root relaxation: objective 0.000000e+00, 661 iterations, 0.06 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 (1062 simplex iterations) in 0.41 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:42:50 2012 Optimize a model with 38640 rows, 9300 columns and 123832 nonzeros Presolve time: 0.15s Presolved: 38640 rows, 9300 columns, 123832 nonzeros Variable types: 0 continuous, 9300 integer (9300 binary) Root relaxation: objective 0.000000e+00, 493 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 (864 simplex iterations) in 0.23 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 02:42:51 2012 Optimize a model with 19412 rows, 5068 columns and 61916 nonzeros Presolve time: 0.08s Presolved: 19412 rows, 5068 columns, 61916 nonzeros Variable types: 0 continuous, 5068 integer (5068 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (930 simplex iterations) in 0.13 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 02:42:51 2012 Optimize a model with 9380 rows, 2860 columns and 29612 nonzeros Presolve time: 0.03s Presolved: 9380 rows, 2860 columns, 29612 nonzeros Variable types: 0 continuous, 2860 integer (2860 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (748 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 02:42:51 2012 Optimize a model with 4364 rows, 1756 columns and 13460 nonzeros Presolve time: 0.01s Presolved: 4364 rows, 1756 columns, 13460 nonzeros Variable types: 0 continuous, 1756 integer (1756 binary) Root relaxation: objective 0.000000e+00, 402 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 121 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3727 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:42:51 2012 Optimize a model with 1856 rows, 1204 columns and 5384 nonzeros Presolve removed 184 rows and 184 columns Presolve time: 0.00s Presolved: 1672 rows, 1020 columns, 5016 nonzeros Variable types: 0 continuous, 1020 integer (1020 binary) Root relaxation: objective 0.000000e+00, 195 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 184 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (800 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 02:42:51 2012 Optimize a model with 2692 rows, 1388 columns and 8076 nonzeros Presolve time: 0.01s Presolved: 2692 rows, 1388 columns, 8076 nonzeros Variable types: 0 continuous, 1388 integer (1388 binary) Root relaxation: objective 0.000000e+00, 398 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 364 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 492 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 7 Zero half: 970 Explored 0 nodes (7647 simplex iterations) in 1.00 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 02:42:53 2012 Optimize a model with 3528 rows, 1572 columns and 10768 nonzeros Presolve time: 0.01s Presolved: 3528 rows, 1572 columns, 10768 nonzeros Variable types: 0 continuous, 1572 integer (1572 binary) Root relaxation: objective 0.000000e+00, 407 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 350 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 2 0.00000 0 341 - 0.00000 - - 3s 149 59 0.00000 12 306 - 0.00000 - 141 5s 606 88 0.00000 18 316 - 0.00000 - 127 10s 610 91 0.00000 13 282 - 0.00000 - 127 15s 615 94 0.00000 4 248 - 0.00000 - 126 21s 754 93 infeasible 33 - 0.00000 - 215 25s 1097 35 infeasible 35 - 0.00000 - 214 30s 1375 39 infeasible 33 - 0.00000 - 223 35s 1645 51 infeasible 32 - 0.00000 - 227 40s 1919 51 0.00000 29 352 - 0.00000 - 231 45s 2199 45 infeasible 30 - 0.00000 - 232 50s 2466 40 infeasible 31 - 0.00000 - 234 55s 2752 34 infeasible 34 - 0.00000 - 235 60s 3011 9 infeasible 32 - 0.00000 - 238 65s 3306 12 0.00000 26 294 - 0.00000 - 238 70s Cutting planes: Gomory: 1 Zero half: 13 Explored 3479 nodes (867387 simplex iterations) in 73.43 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