current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:25:41 2012 Optimize a model with 75440 rows, 17480 columns and 242424 nonzeros Presolve time: 0.24s Presolved: 75440 rows, 17480 columns, 242424 nonzeros Variable types: 0 continuous, 17480 integer (17480 binary) Root relaxation: objective 0.000000e+00, 673 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 (1095 simplex iterations) in 0.42 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:25:43 2012 Optimize a model with 37398 rows, 9062 columns and 119880 nonzeros Presolve time: 0.15s Presolved: 37398 rows, 9062 columns, 119880 nonzeros Variable types: 0 continuous, 9062 integer (9062 binary) Root relaxation: objective 0.000000e+00, 560 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 (959 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:25:43 2012 Optimize a model with 18377 rows, 4853 columns and 58608 nonzeros Presolve time: 0.07s Presolved: 18377 rows, 4853 columns, 58608 nonzeros Variable types: 0 continuous, 4853 integer (4853 binary) Root relaxation: objective 0.000000e+00, 427 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 (951 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:25:44 2012 Optimize a model with 9280 rows, 2840 columns and 29304 nonzeros Presolve time: 0.03s Presolved: 9280 rows, 2840 columns, 29304 nonzeros Variable types: 0 continuous, 2840 integer (2840 binary) Root relaxation: objective 0.000000e+00, 380 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 (874 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 Sat Dec 15 02:25:44 2012 Optimize a model with 4318 rows, 1742 columns and 13320 nonzeros Presolve time: 0.01s Presolved: 4318 rows, 1742 columns, 13320 nonzeros Variable types: 0 continuous, 1742 integer (1742 binary) Root relaxation: objective 0.000000e+00, 396 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 126 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3373 simplex iterations) in 0.21 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:25:44 2012 Optimize a model with 1837 rows, 1193 columns and 5328 nonzeros Presolve removed 183 rows and 183 columns Presolve time: 0.00s Presolved: 1654 rows, 1010 columns, 4962 nonzeros Variable types: 0 continuous, 1010 integer (1010 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 183 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (781 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:25:44 2012 Optimize a model with 2664 rows, 1376 columns and 7992 nonzeros Presolve time: 0.01s Presolved: 2664 rows, 1376 columns, 7992 nonzeros Variable types: 0 continuous, 1376 integer (1376 binary) Root relaxation: objective 0.000000e+00, 420 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 362 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 13 Clique: 1 Zero half: 424 Explored 0 nodes (8166 simplex iterations) in 1.01 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:25:45 2012 Optimize a model with 3491 rows, 1559 columns and 10656 nonzeros Presolve time: 0.01s Presolved: 3491 rows, 1559 columns, 10656 nonzeros Variable types: 0 continuous, 1559 integer (1559 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 344 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 0 0.00000 0 285 - 0.00000 - - 5s 0 0 0.00000 0 285 - 0.00000 - - 5s 0 2 0.00000 0 285 - 0.00000 - - 5s 614 88 0.00000 6 298 - 0.00000 - 87.8 10s 618 91 0.00000 21 429 - 0.00000 - 87.2 15s 622 94 0.00000 6 348 - 0.00000 - 86.7 20s 746 86 0.00000 20 310 - 0.00000 - 167 25s 1157 59 infeasible 25 - 0.00000 - 177 30s 1553 67 infeasible 23 - 0.00000 - 183 35s 1974 102 infeasible 25 - 0.00000 - 185 40s 2432 152 infeasible 25 - 0.00000 - 184 45s 2909 151 infeasible 28 - 0.00000 - 183 50s 3369 123 0.00000 24 308 - 0.00000 - 183 55s 3878 222 infeasible 35 - 0.00000 - 180 60s 4349 245 0.00000 24 312 - 0.00000 - 180 65s 4808 258 0.00000 22 304 - 0.00000 - 181 70s 5258 256 0.00000 25 322 - 0.00000 - 181 75s 5693 261 infeasible 29 - 0.00000 - 182 80s 6188 318 infeasible 26 - 0.00000 - 182 85s 6682 356 0.00000 22 315 - 0.00000 - 181 90s 7210 346 infeasible 28 - 0.00000 - 180 95s 7712 320 0.00000 21 304 - 0.00000 - 180 100s 8167 277 infeasible 26 - 0.00000 - 181 105s 8633 255 0.00000 24 306 - 0.00000 - 181 110s 9074 226 infeasible 21 - 0.00000 - 181 115s 9529 227 infeasible 26 - 0.00000 - 182 120s 10010 216 0.00000 25 320 - 0.00000 - 182 125s 10476 204 0.00000 25 294 - 0.00000 - 182 130s 10978 174 0.00000 25 324 - 0.00000 - 181 135s 11411 163 infeasible 29 - 0.00000 - 182 140s 11830 140 0.00000 28 340 - 0.00000 - 182 145s 12228 156 infeasible 28 - 0.00000 - 183 150s 12647 165 0.00000 23 310 - 0.00000 - 183 155s 13067 169 infeasible 27 - 0.00000 - 184 160s 13469 157 infeasible 23 - 0.00000 - 185 165s 13851 147 infeasible 26 - 0.00000 - 185 170s 14291 159 infeasible 24 - 0.00000 - 185 175s 14703 147 infeasible 24 - 0.00000 - 186 180s 15141 173 0.00000 29 311 - 0.00000 - 186 185s 15581 151 infeasible 27 - 0.00000 - 186 190s 15986 138 0.00000 26 308 - 0.00000 - 186 195s 16407 157 infeasible 24 - 0.00000 - 187 200s 16780 162 0.00000 24 298 - 0.00000 - 187 205s 17181 149 infeasible 27 - 0.00000 - 188 210s 17577 139 infeasible 31 - 0.00000 - 188 215s 17999 123 0.00000 22 308 - 0.00000 - 188 220s 18412 142 infeasible 28 - 0.00000 - 189 225s 18817 135 infeasible 29 - 0.00000 - 189 230s 19223 111 infeasible 23 - 0.00000 - 189 235s 19633 135 0.00000 29 310 - 0.00000 - 189 240s 20010 126 infeasible 28 - 0.00000 - 190 245s 20397 95 0.00000 24 381 - 0.00000 - 190 250s 20828 96 infeasible 22 - 0.00000 - 190 255s 21191 91 infeasible 30 - 0.00000 - 190 260s 21541 61 infeasible 25 - 0.00000 - 191 265s 21920 44 0.00000 25 312 - 0.00000 - 191 270s 22287 31 infeasible 27 - 0.00000 - 192 275s 22675 9 infeasible 27 - 0.00000 - 192 280s 23084 30 infeasible 30 - 0.00000 - 192 285s Cutting planes: Gomory: 1 Zero half: 16 Explored 23281 nodes (4529175 simplex iterations) in 287.49 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