current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:18:33 2012 Optimize a model with 75258 rows, 17478 columns and 241878 nonzeros Presolve time: 0.24s Presolved: 75258 rows, 17478 columns, 241878 nonzeros Variable types: 0 continuous, 17478 integer (17478 binary) Root relaxation: objective 0.000000e+00, 672 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 (1079 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:18:34 2012 Optimize a model with 37308 rows, 9060 columns and 119610 nonzeros Presolve time: 0.15s Presolved: 37308 rows, 9060 columns, 119610 nonzeros Variable types: 0 continuous, 9060 integer (9060 binary) Root relaxation: objective 0.000000e+00, 479 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 (846 simplex iterations) in 0.22 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:18:35 2012 Optimize a model with 18333 rows, 4851 columns and 58476 nonzeros Presolve time: 0.07s Presolved: 18333 rows, 4851 columns, 58476 nonzeros Variable types: 0 continuous, 4851 integer (4851 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 (729 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 Sat Dec 15 02:18:35 2012 Optimize a model with 9258 rows, 2838 columns and 29238 nonzeros Presolve time: 0.03s Presolved: 9258 rows, 2838 columns, 29238 nonzeros Variable types: 0 continuous, 2838 integer (2838 binary) Root relaxation: objective 0.000000e+00, 386 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 (723 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:18:35 2012 Optimize a model with 4308 rows, 1740 columns and 13290 nonzeros Presolve time: 0.01s Presolved: 4308 rows, 1740 columns, 13290 nonzeros Variable types: 0 continuous, 1740 integer (1740 binary) Root relaxation: objective 0.000000e+00, 386 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 134 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3544 simplex iterations) in 0.22 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:18:36 2012 Optimize a model with 1833 rows, 1191 columns and 5316 nonzeros Presolve removed 183 rows and 183 columns Presolve time: 0.00s Presolved: 1650 rows, 1008 columns, 4950 nonzeros Variable types: 0 continuous, 1008 integer (1008 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 183 - 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:18:36 2012 Optimize a model with 2658 rows, 1374 columns and 7974 nonzeros Presolve time: 0.01s Presolved: 2658 rows, 1374 columns, 7974 nonzeros Variable types: 0 continuous, 1374 integer (1374 binary) Root relaxation: objective 0.000000e+00, 431 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 362 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 0s 0 0 0.00000 0 511 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 2 Zero half: 721 Explored 0 nodes (9023 simplex iterations) in 1.15 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:18:37 2012 Optimize a model with 3483 rows, 1557 columns and 10632 nonzeros Presolve time: 0.01s Presolved: 3483 rows, 1557 columns, 10632 nonzeros Variable types: 0 continuous, 1557 integer (1557 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 364 - 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 384 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 2 0.00000 0 308 - 0.00000 - - 4s 39 25 0.00000 13 342 - 0.00000 - 190 5s 606 258 0.00000 12 345 - 0.00000 - 101 11s 611 262 0.00000 18 380 - 0.00000 - 101 16s 676 277 0.00000 20 370 - 0.00000 - 169 20s 1105 165 0.00000 23 302 - 0.00000 - 176 25s 1531 122 0.00000 27 288 - 0.00000 - 182 30s 1957 136 0.00000 30 300 - 0.00000 - 185 35s 2359 178 infeasible 26 - 0.00000 - 188 40s 2812 177 0.00000 28 328 - 0.00000 - 188 45s 3285 200 infeasible 23 - 0.00000 - 188 50s 3647 166 infeasible 29 - 0.00000 - 193 55s 4045 146 infeasible 30 - 0.00000 - 195 60s 4464 133 0.00000 19 359 - 0.00000 - 196 65s 4855 122 infeasible 30 - 0.00000 - 197 70s 5261 102 infeasible 26 - 0.00000 - 198 75s 5679 94 0.00000 25 400 - 0.00000 - 198 80s 6117 116 infeasible 20 - 0.00000 - 197 85s 6544 151 infeasible 21 - 0.00000 - 197 90s 6972 141 infeasible 27 - 0.00000 - 196 95s 7350 127 0.00000 24 312 - 0.00000 - 197 100s 7742 117 infeasible 26 - 0.00000 - 198 105s 8121 94 0.00000 23 346 - 0.00000 - 199 110s 8520 95 0.00000 19 332 - 0.00000 - 199 115s 8963 110 0.00000 24 308 - 0.00000 - 199 120s 9445 106 infeasible 21 - 0.00000 - 197 125s 9802 79 infeasible 23 - 0.00000 - 198 130s 10171 58 0.00000 22 387 - 0.00000 - 199 135s 10535 36 infeasible 24 - 0.00000 - 199 140s 10902 19 infeasible 20 - 0.00000 - 200 145s 11267 10 0.00000 27 298 - 0.00000 - 200 150s Cutting planes: Zero half: 12 Explored 11372 nodes (2322414 simplex iterations) in 151.42 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