current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:21 2012 Optimize a model with 54016 rows, 9344 columns and 170170 nonzeros Presolve time: 0.17s Presolved: 54016 rows, 9344 columns, 170170 nonzeros Variable types: 0 continuous, 9344 integer (9344 binary) Root relaxation: objective 0.000000e+00, 338 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 (627 simplex iterations) in 0.30 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:22 2012 Optimize a model with 26659 rows, 5021 columns and 83776 nonzeros Presolve time: 0.12s Presolved: 26659 rows, 5021 columns, 83776 nonzeros Variable types: 0 continuous, 5021 integer (5021 binary) Root relaxation: objective 0.000000e+00, 318 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 (596 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:22 2012 Optimize a model with 13395 rows, 2925 columns and 41888 nonzeros Presolve time: 0.04s Presolved: 13395 rows, 2925 columns, 41888 nonzeros Variable types: 0 continuous, 2925 integer (2925 binary) Root relaxation: objective 0.000000e+00, 268 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 (517 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:23 2012 Optimize a model with 6763 rows, 1877 columns and 20944 nonzeros Presolve time: 0.02s Presolved: 6763 rows, 1877 columns, 20944 nonzeros Variable types: 0 continuous, 1877 integer (1877 binary) Root relaxation: objective 0.000000e+00, 282 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 (1023 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:23 2012 Optimize a model with 3447 rows, 1353 columns and 10472 nonzeros Presolve time: 0.01s Presolved: 3447 rows, 1353 columns, 10472 nonzeros Variable types: 0 continuous, 1353 integer (1353 binary) Root relaxation: objective 0.000000e+00, 315 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 258 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 399 - 0.00000 - - 1s 0 0 0.00000 0 383 - 0.00000 - - 2s 0 0 0.00000 0 379 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 0 0.00000 0 377 - 0.00000 - - 8s 0 0 0.00000 0 374 - 0.00000 - - 9s 0 0 0.00000 0 377 - 0.00000 - - 10s 0 0 0.00000 0 377 - 0.00000 - - 10s 0 2 0.00000 0 377 - 0.00000 - - 11s Cutting planes: Clique: 18 Zero half: 21 Explored 17 nodes (49149 simplex iterations) in 12.04 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:35 2012 Optimize a model with 5105 rows, 1615 columns and 15708 nonzeros Presolve time: 0.01s Presolved: 5105 rows, 1615 columns, 15708 nonzeros Variable types: 0 continuous, 1615 integer (1615 binary) Root relaxation: objective 0.000000e+00, 279 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 110 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1828 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:11:35 2012 Optimize a model with 4276 rows, 1484 columns and 13090 nonzeros Presolve time: 0.01s Presolved: 4276 rows, 1484 columns, 13090 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 280 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 260 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 0 0.00000 0 279 - 0.00000 - - 3s 0 2 0.00000 0 279 - 0.00000 - - 4s 67 21 0.00000 17 275 - 0.00000 - 142 5s 603 94 0.00000 21 258 - 0.00000 - 117 10s 608 98 0.00000 7 230 - 0.00000 - 116 15s 612 100 0.00000 23 199 - 0.00000 - 115 20s 617 104 0.00000 9 296 - 0.00000 - 114 25s 904 141 0.00000 32 275 - 0.00000 - 196 30s 1237 154 infeasible 34 - 0.00000 - 200 35s 1602 227 0.00000 31 294 - 0.00000 - 198 40s 1933 298 0.00000 31 220 - 0.00000 - 200 45s 2241 340 0.00000 39 292 - 0.00000 - 202 50s 2558 391 infeasible 33 - 0.00000 - 204 55s 2866 423 infeasible 32 - 0.00000 - 206 60s 3131 462 infeasible 32 - 0.00000 - 209 65s 3427 488 0.00000 31 235 - 0.00000 - 211 70s 3752 505 infeasible 38 - 0.00000 - 211 75s 4052 549 infeasible 30 - 0.00000 - 211 80s 4398 671 infeasible 35 - 0.00000 - 209 85s 4734 773 0.00000 29 296 - 0.00000 - 207 90s 5058 829 infeasible 34 - 0.00000 - 207 95s 5410 905 0.00000 36 276 - 0.00000 - 206 100s 5730 933 0.00000 37 284 - 0.00000 - 206 105s 6031 966 infeasible 37 - 0.00000 - 207 110s 6368 1015 0.00000 34 278 - 0.00000 - 207 115s 6690 1023 0.00000 27 270 - 0.00000 - 207 120s 7025 1040 0.00000 32 285 - 0.00000 - 207 125s 7344 1077 0.00000 30 218 - 0.00000 - 207 130s 7670 1097 infeasible 31 - 0.00000 - 207 135s 7992 1131 0.00000 37 202 - 0.00000 - 206 140s 8298 1137 0.00000 39 222 - 0.00000 - 207 145s 8582 1173 infeasible 33 - 0.00000 - 208 150s 8900 1191 infeasible 29 - 0.00000 - 208 155s 9207 1202 0.00000 35 262 - 0.00000 - 209 160s 9529 1214 0.00000 30 267 - 0.00000 - 209 165s 9829 1232 infeasible 36 - 0.00000 - 209 170s 10133 1242 0.00000 38 214 - 0.00000 - 210 175s 10440 1307 infeasible 36 - 0.00000 - 210 180s 10730 1335 infeasible 36 - 0.00000 - 211 185s 11035 1360 infeasible 36 - 0.00000 - 211 190s 11357 1364 0.00000 35 231 - 0.00000 - 211 195s 11701 1364 infeasible 33 - 0.00000 - 211 200s 11999 1360 infeasible 33 - 0.00000 - 211 205s 12286 1347 infeasible 33 - 0.00000 - 211 210s 12591 1376 infeasible 32 - 0.00000 - 212 215s 12909 1420 infeasible 37 - 0.00000 - 211 220s 13236 1455 infeasible 35 - 0.00000 - 211 225s 13555 1486 infeasible 32 - 0.00000 - 211 230s 13841 1486 infeasible 34 - 0.00000 - 212 235s 14153 1510 infeasible 33 - 0.00000 - 212 240s 14449 1534 infeasible 36 - 0.00000 - 212 245s 14732 1545 infeasible 31 - 0.00000 - 213 250s 15031 1528 0.00000 38 274 - 0.00000 - 213 255s 15374 1547 0.00000 36 217 - 0.00000 - 213 260s 15688 1603 0.00000 33 275 - 0.00000 - 213 265s 15998 1625 infeasible 40 - 0.00000 - 213 270s 16293 1658 infeasible 38 - 0.00000 - 213 275s 16590 1637 infeasible 32 - 0.00000 - 213 280s Cutting planes: Gomory: 1 Clique: 5 Zero half: 7 Explored 16892 nodes (3626681 simplex iterations) in 284.69 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: 6