current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:26 2012 Optimize a model with 54080 rows, 9280 columns and 170300 nonzeros Presolve time: 0.17s Presolved: 54080 rows, 9280 columns, 170300 nonzeros Variable types: 0 continuous, 9280 integer (9280 binary) Root relaxation: objective 0.000000e+00, 336 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 (644 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 02:07:27 2012 Optimize a model with 26690 rows, 4990 columns and 83840 nonzeros Presolve time: 0.12s Presolved: 26690 rows, 4990 columns, 83840 nonzeros Variable types: 0 continuous, 4990 integer (4990 binary) Root relaxation: objective 0.000000e+00, 310 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 (828 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:27 2012 Optimize a model with 13410 rows, 2910 columns and 41920 nonzeros Presolve time: 0.04s Presolved: 13410 rows, 2910 columns, 41920 nonzeros Variable types: 0 continuous, 2910 integer (2910 binary) Root relaxation: objective 0.000000e+00, 263 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 (536 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 02:07:28 2012 Optimize a model with 6770 rows, 1870 columns and 20960 nonzeros Presolve time: 0.02s Presolved: 6770 rows, 1870 columns, 20960 nonzeros Variable types: 0 continuous, 1870 integer (1870 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 (622 simplex iterations) in 0.04 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 02:07:28 2012 Optimize a model with 3450 rows, 1350 columns and 10480 nonzeros Presolve time: 0.01s Presolved: 3450 rows, 1350 columns, 10480 nonzeros Variable types: 0 continuous, 1350 integer (1350 binary) Root relaxation: objective 0.000000e+00, 285 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 260 - 0.00000 - - 0s 0 0 0.00000 0 166 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 385 - 0.00000 - - 4s 0 0 0.00000 0 381 - 0.00000 - - 5s 0 0 0.00000 0 378 - 0.00000 - - 5s 0 0 0.00000 0 376 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 8s 0 2 0.00000 0 376 - 0.00000 - - 9s 28 8 0.00000 10 359 - 0.00000 - 333 10s Cutting planes: Clique: 20 Zero half: 31 Explored 73 nodes (49897 simplex iterations) in 11.25 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 02:07:39 2012 Optimize a model with 5110 rows, 1610 columns and 15720 nonzeros Presolve time: 0.01s Presolved: 5110 rows, 1610 columns, 15720 nonzeros Variable types: 0 continuous, 1610 integer (1610 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 207 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2444 simplex iterations) in 0.18 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 02:07:39 2012 Optimize a model with 4280 rows, 1480 columns and 13100 nonzeros Presolve time: 0.01s Presolved: 4280 rows, 1480 columns, 13100 nonzeros Variable types: 0 continuous, 1480 integer (1480 binary) Root relaxation: objective 0.000000e+00, 270 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 158 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 287 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 2 0.00000 0 318 - 0.00000 - - 5s 638 55 0.00000 25 256 - 0.00000 - 103 10s 718 76 0.00000 11 298 - 0.00000 - 101 15s 723 79 0.00000 9 288 - 0.00000 - 101 20s 728 82 0.00000 19 306 - 0.00000 - 100 25s 946 66 0.00000 29 292 - 0.00000 - 174 30s 1247 103 infeasible 32 - 0.00000 - 183 35s 1517 141 infeasible 24 - 0.00000 - 194 40s 1810 190 infeasible 29 - 0.00000 - 198 45s 2077 205 infeasible 34 - 0.00000 - 204 50s 2378 230 infeasible 32 - 0.00000 - 206 55s 2664 244 0.00000 20 288 - 0.00000 - 209 60s 2957 293 infeasible 35 - 0.00000 - 209 65s 3276 314 infeasible 34 - 0.00000 - 210 70s 3538 322 0.00000 33 267 - 0.00000 - 212 75s 3852 352 infeasible 34 - 0.00000 - 212 80s 4184 362 0.00000 38 249 - 0.00000 - 212 85s 4468 364 0.00000 30 218 - 0.00000 - 213 90s 4767 363 infeasible 38 - 0.00000 - 214 95s 5102 462 infeasible 32 - 0.00000 - 212 100s 5440 548 infeasible 33 - 0.00000 - 211 105s 5769 583 infeasible 37 - 0.00000 - 211 110s 6079 615 infeasible 35 - 0.00000 - 212 115s 6397 621 infeasible 36 - 0.00000 - 212 120s 6669 615 0.00000 30 276 - 0.00000 - 214 125s 6956 666 infeasible 30 - 0.00000 - 214 130s 7277 689 infeasible 35 - 0.00000 - 214 135s 7557 667 infeasible 36 - 0.00000 - 215 140s 7861 665 infeasible 29 - 0.00000 - 215 145s 8163 693 infeasible 31 - 0.00000 - 215 150s 8493 693 infeasible 33 - 0.00000 - 215 155s 8777 691 0.00000 28 282 - 0.00000 - 216 160s 9080 717 0.00000 29 284 - 0.00000 - 216 165s 9358 687 0.00000 26 260 - 0.00000 - 217 170s 9658 677 infeasible 31 - 0.00000 - 217 175s 9923 676 0.00000 28 268 - 0.00000 - 218 180s 10211 674 infeasible 29 - 0.00000 - 219 185s 10523 670 0.00000 32 210 - 0.00000 - 219 190s 10824 673 infeasible 31 - 0.00000 - 219 195s 11091 654 infeasible 32 - 0.00000 - 220 200s 11357 634 infeasible 29 - 0.00000 - 220 205s 11637 632 infeasible 30 - 0.00000 - 221 210s 11920 627 infeasible 39 - 0.00000 - 221 215s 12183 616 0.00000 29 274 - 0.00000 - 222 220s 12462 619 infeasible 41 - 0.00000 - 222 225s 12769 650 0.00000 36 214 - 0.00000 - 222 230s 13053 660 infeasible 31 - 0.00000 - 222 235s 13314 677 0.00000 29 277 - 0.00000 - 222 240s 13616 687 infeasible 27 - 0.00000 - 222 245s 13923 734 infeasible 32 - 0.00000 - 222 250s 14260 751 infeasible 32 - 0.00000 - 222 255s 14556 713 infeasible 29 - 0.00000 - 222 260s 14819 716 infeasible 23 - 0.00000 - 223 265s 15110 723 0.00000 26 293 - 0.00000 - 223 270s 15369 708 0.00000 30 272 - 0.00000 - 223 275s 15649 760 0.00000 32 210 - 0.00000 - 223 280s 15907 760 0.00000 30 206 - 0.00000 - 224 285s Cutting planes: Clique: 3 Zero half: 29 Explored 15923 nodes (3597958 simplex iterations) in 285.40 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