current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:51:49 2012 Optimize a model with 72270 rows, 17001 columns and 232470 nonzeros Presolve time: 0.23s Presolved: 72270 rows, 17001 columns, 232470 nonzeros Variable types: 0 continuous, 17001 integer (17001 binary) Root relaxation: objective 0.000000e+00, 639 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 (1049 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:51:51 2012 Optimize a model with 36225 rows, 8901 columns and 116235 nonzeros Presolve time: 0.15s Presolved: 36225 rows, 8901 columns, 116235 nonzeros Variable types: 0 continuous, 8901 integer (8901 binary) Root relaxation: objective 0.000000e+00, 475 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 (854 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 00:51:51 2012 Optimize a model with 17802 rows, 4761 columns and 56826 nonzeros Presolve time: 0.07s Presolved: 17802 rows, 4761 columns, 56826 nonzeros Variable types: 0 continuous, 4761 integer (4761 binary) Root relaxation: objective 0.000000e+00, 397 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 (715 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 00:51:52 2012 Optimize a model with 8991 rows, 2781 columns and 28413 nonzeros Presolve time: 0.03s Presolved: 8991 rows, 2781 columns, 28413 nonzeros Variable types: 0 continuous, 2781 integer (2781 binary) Root relaxation: objective 0.000000e+00, 392 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 (704 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 00:51:52 2012 Optimize a model with 4185 rows, 1701 columns and 12915 nonzeros Presolve time: 0.01s Presolved: 4185 rows, 1701 columns, 12915 nonzeros Variable types: 0 continuous, 1701 integer (1701 binary) Root relaxation: objective 0.000000e+00, 408 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 223 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4241 simplex iterations) in 0.32 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 00:51:52 2012 Optimize a model with 1782 rows, 1161 columns and 5166 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1602 rows, 981 columns, 4806 nonzeros Variable types: 0 continuous, 981 integer (981 binary) Root relaxation: objective 0.000000e+00, 190 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 180 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (776 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 00:51:52 2012 Optimize a model with 2583 rows, 1341 columns and 7749 nonzeros Presolve time: 0.01s Presolved: 2583 rows, 1341 columns, 7749 nonzeros Variable types: 0 continuous, 1341 integer (1341 binary) Root relaxation: objective 0.000000e+00, 414 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 266 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 0.00000 0 481 - 0.00000 - - 1s 0 0 0.00000 0 501 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 3 Zero half: 411 Explored 0 nodes (10734 simplex iterations) in 1.44 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 00:51:54 2012 Optimize a model with 3384 rows, 1521 columns and 10332 nonzeros Presolve time: 0.01s Presolved: 3384 rows, 1521 columns, 10332 nonzeros Variable types: 0 continuous, 1521 integer (1521 binary) Root relaxation: objective 0.000000e+00, 411 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 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 2s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 274 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 4s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 2 0.00000 0 293 - 0.00000 - - 4s 2 3 0.00000 1 342 - 0.00000 - 868 5s 607 77 0.00000 14 290 - 0.00000 - 89.5 11s 611 80 0.00000 20 240 - 0.00000 - 88.9 15s 615 82 0.00000 16 237 - 0.00000 - 88.3 20s 624 88 0.00000 12 394 - 0.00000 - 190 25s 990 71 0.00000 32 377 - 0.00000 - 183 30s 1474 61 infeasible 29 - 0.00000 - 181 35s 1920 55 0.00000 19 369 - 0.00000 - 184 40s 2353 34 infeasible 30 - 0.00000 - 185 45s 2795 34 0.00000 21 353 - 0.00000 - 187 50s 3218 35 infeasible 22 - 0.00000 - 188 55s 3674 65 0.00000 24 313 - 0.00000 - 188 60s 4115 54 0.00000 21 286 - 0.00000 - 189 65s 4562 41 infeasible 26 - 0.00000 - 189 70s 5049 60 infeasible 21 - 0.00000 - 188 75s 5524 39 infeasible 26 - 0.00000 - 189 80s 6053 68 0.00000 27 294 - 0.00000 - 186 85s 6572 59 0.00000 26 304 - 0.00000 - 185 90s 7099 58 0.00000 25 300 - 0.00000 - 184 95s 7644 45 0.00000 22 366 - 0.00000 - 183 100s 8132 47 infeasible 21 - 0.00000 - 183 105s 8615 54 0.00000 33 318 - 0.00000 - 183 110s 9081 36 0.00000 22 306 - 0.00000 - 183 115s 9586 53 0.00000 31 246 - 0.00000 - 182 120s 10150 53 0.00000 29 310 - 0.00000 - 181 125s 10682 65 0.00000 28 308 - 0.00000 - 181 130s 11194 89 0.00000 26 347 - 0.00000 - 181 135s 11718 51 infeasible 26 - 0.00000 - 181 140s 12186 61 0.00000 26 318 - 0.00000 - 181 145s 12675 86 infeasible 30 - 0.00000 - 181 150s 13194 73 infeasible 25 - 0.00000 - 181 155s 13683 58 0.00000 23 320 - 0.00000 - 181 160s 14184 53 0.00000 29 312 - 0.00000 - 181 165s 14655 38 infeasible 26 - 0.00000 - 182 170s 15123 42 0.00000 23 272 - 0.00000 - 182 175s 15616 47 0.00000 26 330 - 0.00000 - 182 180s 16087 36 infeasible 28 - 0.00000 - 182 185s 16580 75 0.00000 26 298 - 0.00000 - 182 190s 17044 51 infeasible 30 - 0.00000 - 182 195s 17557 94 0.00000 27 276 - 0.00000 - 182 200s 18062 115 0.00000 27 312 - 0.00000 - 182 205s 18568 123 infeasible 30 - 0.00000 - 182 210s 19063 80 infeasible 25 - 0.00000 - 182 215s 19567 92 infeasible 31 - 0.00000 - 182 220s 20062 69 0.00000 28 304 - 0.00000 - 182 225s 20591 72 infeasible 23 - 0.00000 - 182 230s 21074 83 infeasible 30 - 0.00000 - 182 235s 21510 63 infeasible 24 - 0.00000 - 183 240s 21974 49 infeasible 21 - 0.00000 - 183 245s 22439 42 0.00000 24 376 - 0.00000 - 183 250s 22870 11 infeasible 21 - 0.00000 - 184 255s 23326 33 infeasible 30 - 0.00000 - 184 260s 23796 63 infeasible 28 - 0.00000 - 184 265s 24257 48 infeasible 25 - 0.00000 - 184 270s 24770 49 0.00000 24 347 - 0.00000 - 184 275s 25270 71 infeasible 28 - 0.00000 - 184 280s 25798 81 infeasible 28 - 0.00000 - 184 285s 26300 109 0.00000 25 308 - 0.00000 - 184 290s Cutting planes: Zero half: 12 Explored 26715 nodes (4953949 simplex iterations) in 294.05 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