current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:33:52 2012 Optimize a model with 82863 rows, 18187 columns and 265329 nonzeros Presolve time: 0.26s Presolved: 82863 rows, 18187 columns, 265329 nonzeros Variable types: 0 continuous, 18187 integer (18187 binary) Root relaxation: objective 0.000000e+00, 742 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 (1157 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:33:54 2012 Optimize a model with 41080 rows, 9445 columns and 131238 nonzeros Presolve time: 0.16s Presolved: 41080 rows, 9445 columns, 131238 nonzeros Variable types: 0 continuous, 9445 integer (9445 binary) Root relaxation: objective 0.000000e+00, 649 iterations, 0.05 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 (1105 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:33:54 2012 Optimize a model with 20633 rows, 5167 columns and 65619 nonzeros Presolve time: 0.08s Presolved: 20633 rows, 5167 columns, 65619 nonzeros Variable types: 0 continuous, 5167 integer (5167 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 (738 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:33:55 2012 Optimize a model with 9965 rows, 2935 columns and 31383 nonzeros Presolve time: 0.03s Presolved: 9965 rows, 2935 columns, 31383 nonzeros Variable types: 0 continuous, 2935 integer (2935 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 (699 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 03:33:55 2012 Optimize a model with 4631 rows, 1819 columns and 14265 nonzeros Presolve time: 0.01s Presolved: 4631 rows, 1819 columns, 14265 nonzeros Variable types: 0 continuous, 1819 integer (1819 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 332 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4653 simplex iterations) in 0.40 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:33:55 2012 Optimize a model with 1964 rows, 1261 columns and 5706 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1778 rows, 1075 columns, 5334 nonzeros Variable types: 0 continuous, 1075 integer (1075 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 186 - 0.00000 - - 0s Explored 0 nodes (810 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:33:55 2012 Optimize a model with 2853 rows, 1447 columns and 8559 nonzeros Presolve time: 0.01s Presolved: 2853 rows, 1447 columns, 8559 nonzeros Variable types: 0 continuous, 1447 integer (1447 binary) Root relaxation: objective 0.000000e+00, 412 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 300 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5188 simplex iterations) in 0.61 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:33:56 2012 Optimize a model with 3742 rows, 1633 columns and 11412 nonzeros Presolve time: 0.01s Presolved: 3742 rows, 1633 columns, 11412 nonzeros Variable types: 0 continuous, 1633 integer (1633 binary) Root relaxation: objective 0.000000e+00, 418 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 366 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 282 - 0.00000 - - 5s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 0 0.00000 0 264 - 0.00000 - - 6s 0 0 0.00000 0 264 - 0.00000 - - 6s 0 0 0.00000 0 260 - 0.00000 - - 7s 0 0 0.00000 0 260 - 0.00000 - - 7s 0 0 0.00000 0 260 - 0.00000 - - 8s 0 2 0.00000 0 260 - 0.00000 - - 8s 127 19 infeasible 19 - 0.00000 - 104 10s 704 82 0.00000 9 316 - 0.00000 - 124 15s 709 86 0.00000 11 384 - 0.00000 - 123 20s 712 88 0.00000 21 453 - 0.00000 - 123 25s 821 76 infeasible 29 - 0.00000 - 189 30s 1174 49 0.00000 28 316 - 0.00000 - 191 35s 1604 55 infeasible 28 - 0.00000 - 187 40s 1997 46 infeasible 25 - 0.00000 - 188 45s 2381 50 0.00000 25 310 - 0.00000 - 188 50s 2766 61 0.00000 28 319 - 0.00000 - 189 55s 3143 50 infeasible 28 - 0.00000 - 190 60s 3538 43 0.00000 23 330 - 0.00000 - 190 65s 3929 50 0.00000 22 356 - 0.00000 - 189 70s 4264 47 0.00000 28 394 - 0.00000 - 191 75s 4623 34 infeasible 26 - 0.00000 - 192 80s 5016 31 infeasible 29 - 0.00000 - 192 85s 5342 29 0.00000 27 326 - 0.00000 - 194 90s 5708 35 0.00000 27 304 - 0.00000 - 194 95s 6108 21 infeasible 24 - 0.00000 - 194 100s 6492 35 0.00000 27 316 - 0.00000 - 193 105s 6842 25 0.00000 26 317 - 0.00000 - 195 110s 7172 29 0.00000 23 312 - 0.00000 - 196 115s 7556 19 0.00000 24 418 - 0.00000 - 197 120s 7976 37 0.00000 21 390 - 0.00000 - 195 125s 8424 37 0.00000 28 328 - 0.00000 - 194 130s 8806 31 infeasible 24 - 0.00000 - 194 135s 9114 29 infeasible 28 - 0.00000 - 195 140s 9402 35 infeasible 28 - 0.00000 - 197 145s 9744 29 infeasible 26 - 0.00000 - 198 150s 10082 17 infeasible 24 - 0.00000 - 199 155s 10427 14 infeasible 29 - 0.00000 - 199 160s 10857 12 infeasible 26 - 0.00000 - 198 165s 11224 25 0.00000 32 381 - 0.00000 - 198 170s 11613 28 infeasible 39 - 0.00000 - 197 175s 12075 14 0.00000 29 397 - 0.00000 - 196 180s 12464 17 0.00000 26 318 - 0.00000 - 196 185s 12829 20 0.00000 27 312 - 0.00000 - 196 190s 13184 23 infeasible 28 - 0.00000 - 197 195s 13516 25 infeasible 28 - 0.00000 - 197 200s 13816 17 infeasible 28 - 0.00000 - 198 205s 14111 13 infeasible 29 - 0.00000 - 199 210s 14448 10 0.00000 18 335 - 0.00000 - 199 215s 14795 39 0.00000 23 382 - 0.00000 - 200 220s 15086 48 0.00000 31 308 - 0.00000 - 200 225s 15441 45 infeasible 32 - 0.00000 - 201 230s 15777 31 0.00000 32 326 - 0.00000 - 201 235s 16098 38 infeasible 24 - 0.00000 - 201 240s 16384 34 0.00000 26 342 - 0.00000 - 202 245s 16669 49 infeasible 23 - 0.00000 - 203 250s 17025 37 infeasible 25 - 0.00000 - 203 255s 17313 25 infeasible 27 - 0.00000 - 204 260s 17583 15 infeasible 22 - 0.00000 - 204 265s 17922 22 0.00000 24 349 - 0.00000 - 205 270s 18263 25 0.00000 21 310 - 0.00000 - 205 275s 18635 13 infeasible 23 - 0.00000 - 205 280s 18931 15 0.00000 24 336 - 0.00000 - 205 285s 19243 17 infeasible 25 - 0.00000 - 206 290s Cutting planes: Zero half: 25 Explored 19524 nodes (4094360 simplex iterations) in 294.22 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5