current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:01 2012 Optimize a model with 104333 rows, 21433 columns and 332795 nonzeros Presolve time: 0.35s Presolved: 104333 rows, 21433 columns, 332795 nonzeros Variable types: 0 continuous, 21433 integer (21433 binary) Root relaxation: objective 0.000000e+00, 696 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 (1107 simplex iterations) in 0.56 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:03 2012 Optimize a model with 51752 rows, 11131 columns and 164750 nonzeros Presolve time: 0.17s Presolved: 51752 rows, 11131 columns, 164750 nonzeros Variable types: 0 continuous, 11131 integer (11131 binary) Root relaxation: objective 0.000000e+00, 519 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 (933 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:03 2012 Optimize a model with 25977 rows, 6081 columns and 82375 nonzeros Presolve time: 0.11s Presolved: 25977 rows, 6081 columns, 82375 nonzeros Variable types: 0 continuous, 6081 integer (6081 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (813 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:04 2012 Optimize a model with 12574 rows, 3455 columns and 39540 nonzeros Presolve time: 0.04s Presolved: 12574 rows, 3455 columns, 39540 nonzeros Variable types: 0 continuous, 3455 integer (3455 binary) Root relaxation: objective 0.000000e+00, 428 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 (800 simplex iterations) in 0.07 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:04 2012 Optimize a model with 6388 rows, 2243 columns and 19770 nonzeros Presolve time: 0.02s Presolved: 6388 rows, 2243 columns, 19770 nonzeros Variable types: 0 continuous, 2243 integer (2243 binary) Root relaxation: objective 0.000000e+00, 435 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 (1955 simplex iterations) in 0.09 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:04 2012 Optimize a model with 3295 rows, 1637 columns and 9885 nonzeros Presolve time: 0.01s Presolved: 3295 rows, 1637 columns, 9885 nonzeros Variable types: 0 continuous, 1637 integer (1637 binary) Root relaxation: objective 0.000000e+00, 451 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 402 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5287 simplex iterations) in 0.76 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:11:05 2012 Optimize a model with 4326 rows, 1839 columns and 13180 nonzeros Presolve time: 0.01s Presolved: 4326 rows, 1839 columns, 13180 nonzeros Variable types: 0 continuous, 1839 integer (1839 binary) Root relaxation: objective 0.000000e+00, 463 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 386 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 360 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 353 - 0.00000 - - 6s 0 0 0.00000 0 360 - 0.00000 - - 6s 0 0 0.00000 0 360 - 0.00000 - - 7s 0 2 0.00000 0 356 - 0.00000 - - 7s 221 31 infeasible 14 - 0.00000 - 137 10s 603 105 0.00000 20 370 - 0.00000 - 141 15s 606 107 0.00000 16 374 - 0.00000 - 140 20s 609 109 0.00000 13 340 - 0.00000 - 139 25s 612 111 0.00000 23 344 - 0.00000 - 139 31s 615 113 0.00000 20 320 - 0.00000 - 138 37s 617 115 0.00000 20 346 - 0.00000 - 138 40s 795 137 0.00000 19 368 - 0.00000 - 255 45s 1009 144 infeasible 32 - 0.00000 - 255 50s 1214 161 infeasible 31 - 0.00000 - 259 55s 1429 186 0.00000 26 366 - 0.00000 - 262 60s 1650 207 0.00000 27 358 - 0.00000 - 263 65s 1857 202 infeasible 29 - 0.00000 - 266 70s 2059 200 0.00000 28 360 - 0.00000 - 269 75s 2260 197 infeasible 31 - 0.00000 - 271 80s 2484 193 infeasible 27 - 0.00000 - 271 85s 2682 183 infeasible 29 - 0.00000 - 274 90s 2896 179 0.00000 23 362 - 0.00000 - 274 95s 3139 196 0.00000 30 378 - 0.00000 - 272 100s 3385 196 infeasible 28 - 0.00000 - 271 105s 3588 201 infeasible 33 - 0.00000 - 272 110s 3797 188 0.00000 25 354 - 0.00000 - 273 115s 4001 184 infeasible 31 - 0.00000 - 273 120s 4204 171 0.00000 26 390 - 0.00000 - 274 125s 4400 163 infeasible 27 - 0.00000 - 275 130s 4607 154 infeasible 27 - 0.00000 - 275 135s 4789 134 infeasible 29 - 0.00000 - 277 140s 4966 123 infeasible 29 - 0.00000 - 278 145s 5169 116 infeasible 28 - 0.00000 - 278 150s 5352 111 infeasible 29 - 0.00000 - 279 155s 5549 104 0.00000 30 376 - 0.00000 - 279 160s 5734 97 infeasible 26 - 0.00000 - 280 165s 5951 122 infeasible 31 - 0.00000 - 279 170s 6184 115 infeasible 30 - 0.00000 - 279 175s 6401 114 infeasible 32 - 0.00000 - 279 180s 6566 103 0.00000 28 401 - 0.00000 - 280 185s 6749 84 infeasible 31 - 0.00000 - 281 190s 6942 91 infeasible 26 - 0.00000 - 281 195s 7125 82 infeasible 27 - 0.00000 - 282 200s 7334 93 infeasible 29 - 0.00000 - 281 205s 7516 87 infeasible 30 - 0.00000 - 282 210s 7697 84 infeasible 29 - 0.00000 - 283 215s 7886 77 infeasible 26 - 0.00000 - 283 220s 8075 62 infeasible 25 - 0.00000 - 283 225s 8241 56 infeasible 29 - 0.00000 - 284 230s 8425 50 infeasible 30 - 0.00000 - 284 235s 8624 47 infeasible 28 - 0.00000 - 284 240s 8796 37 infeasible 28 - 0.00000 - 285 245s 8983 30 infeasible 26 - 0.00000 - 285 250s 9158 15 infeasible 30 - 0.00000 - 285 255s Cutting planes: Gomory: 1 Zero half: 14 Explored 9272 nodes (2706666 simplex iterations) in 258.86 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:24 2012 Optimize a model with 5357 rows, 2041 columns and 16475 nonzeros Presolve time: 0.01s Presolved: 5357 rows, 2041 columns, 16475 nonzeros Variable types: 0 continuous, 2041 integer (2041 binary) Root relaxation: objective 0.000000e+00, 443 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 378 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8746 simplex iterations) in 0.86 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% optimal solution found: number of colors: 5