current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:26:49 2012 Optimize a model with 71280 rows, 16296 columns and 228800 nonzeros Presolve time: 0.22s Presolved: 71280 rows, 16296 columns, 228800 nonzeros Variable types: 0 continuous, 16296 integer (16296 binary) Root relaxation: objective 0.000000e+00, 682 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 (1084 simplex iterations) in 0.39 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:26:50 2012 Optimize a model with 35728 rows, 8552 columns and 114400 nonzeros Presolve time: 0.15s Presolved: 35728 rows, 8552 columns, 114400 nonzeros Variable types: 0 continuous, 8552 integer (8552 binary) Root relaxation: objective 0.000000e+00, 589 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 (983 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:26:51 2012 Optimize a model with 17952 rows, 4680 columns and 57200 nonzeros Presolve time: 0.07s Presolved: 17952 rows, 4680 columns, 57200 nonzeros Variable types: 0 continuous, 4680 integer (4680 binary) Root relaxation: objective 0.000000e+00, 424 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 (774 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 Fri Dec 14 23:26:51 2012 Optimize a model with 9064 rows, 2744 columns and 28600 nonzeros Presolve time: 0.03s Presolved: 9064 rows, 2744 columns, 28600 nonzeros Variable types: 0 continuous, 2744 integer (2744 binary) Root relaxation: objective 0.000000e+00, 378 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 (924 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 Fri Dec 14 23:26:51 2012 Optimize a model with 4216 rows, 1688 columns and 13000 nonzeros Presolve time: 0.01s Presolved: 4216 rows, 1688 columns, 13000 nonzeros Variable types: 0 continuous, 1688 integer (1688 binary) Root relaxation: objective 0.000000e+00, 387 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 222 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3634 simplex iterations) in 0.27 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 Fri Dec 14 23:26:52 2012 Optimize a model with 1792 rows, 1160 columns and 5200 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1616 rows, 984 columns, 4848 nonzeros Variable types: 0 continuous, 984 integer (984 binary) Root relaxation: objective 0.000000e+00, 186 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (755 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 Fri Dec 14 23:26:52 2012 Optimize a model with 2600 rows, 1336 columns and 7800 nonzeros Presolve time: 0.01s Presolved: 2600 rows, 1336 columns, 7800 nonzeros Variable types: 0 continuous, 1336 integer (1336 binary) Root relaxation: objective 0.000000e+00, 384 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 256 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7155 simplex iterations) in 0.71 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 Fri Dec 14 23:26:53 2012 Optimize a model with 3408 rows, 1512 columns and 10400 nonzeros Presolve time: 0.01s Presolved: 3408 rows, 1512 columns, 10400 nonzeros Variable types: 0 continuous, 1512 integer (1512 binary) Root relaxation: objective 0.000000e+00, 384 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 338 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 297 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 458 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 242 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 234 - 0.00000 - - 5s 0 2 0.00000 0 234 - 0.00000 - - 5s 608 67 0.00000 13 472 - 0.00000 - 90.0 10s 612 70 0.00000 13 291 - 0.00000 - 89.4 15s 616 72 0.00000 8 312 - 0.00000 - 88.8 20s 655 84 infeasible 24 - 0.00000 - 178 25s 978 19 0.00000 18 398 - 0.00000 - 192 30s 1276 21 0.00000 18 400 - 0.00000 - 202 35s 1629 14 0.00000 20 354 - 0.00000 - 203 40s Cutting planes: Gomory: 1 Clique: 2 Zero half: 8 Explored 1790 nodes (414045 simplex iterations) in 42.39 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