current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:55:04 2012 Optimize a model with 71072 rows, 11152 columns and 222940 nonzeros Presolve time: 0.20s Presolved: 71072 rows, 11152 columns, 222940 nonzeros Variable types: 0 continuous, 11152 integer (11152 binary) Root relaxation: objective 0.000000e+00, 369 iterations, 0.08 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 (697 simplex iterations) in 0.37 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:55:05 2012 Optimize a model with 35108 rows, 6004 columns and 109900 nonzeros Presolve time: 0.16s Presolved: 35108 rows, 6004 columns, 109900 nonzeros Variable types: 0 continuous, 6004 integer (6004 binary) Root relaxation: objective 0.000000e+00, 340 iterations, 0.04 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 (743 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:55:06 2012 Optimize a model with 17126 rows, 3430 columns and 53380 nonzeros Presolve time: 0.06s Presolved: 17126 rows, 3430 columns, 53380 nonzeros Variable types: 0 continuous, 3430 integer (3430 binary) Root relaxation: objective 0.000000e+00, 290 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 (612 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:55:06 2012 Optimize a model with 8135 rows, 2143 columns and 25120 nonzeros Presolve time: 0.02s Presolved: 8135 rows, 2143 columns, 25120 nonzeros Variable types: 0 continuous, 2143 integer (2143 binary) Root relaxation: objective 0.000000e+00, 291 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 (1018 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 12:55:06 2012 Optimize a model with 4139 rows, 1571 columns and 12560 nonzeros Presolve time: 0.01s Presolved: 4139 rows, 1571 columns, 12560 nonzeros Variable types: 0 continuous, 1571 integer (1571 binary) Root relaxation: objective 0.000000e+00, 314 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 286 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 1s 0 0 0.00000 0 452 - 0.00000 - - 2s 0 0 0.00000 0 447 - 0.00000 - - 2s 0 0 0.00000 0 455 - 0.00000 - - 2s 0 0 0.00000 0 440 - 0.00000 - - 3s 0 0 0.00000 0 429 - 0.00000 - - 5s 0 0 0.00000 0 435 - 0.00000 - - 7s 0 0 0.00000 0 428 - 0.00000 - - 8s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 429 - 0.00000 - - 10s 0 2 0.00000 0 429 - 0.00000 - - 11s Cutting planes: Clique: 22 Zero half: 21 Explored 23 nodes (46762 simplex iterations) in 12.29 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 12:55:19 2012 Optimize a model with 6137 rows, 1857 columns and 18840 nonzeros Presolve time: 0.02s Presolved: 6137 rows, 1857 columns, 18840 nonzeros Variable types: 0 continuous, 1857 integer (1857 binary) Root relaxation: objective 0.000000e+00, 296 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 153 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (9783 simplex iterations) in 1.10 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 12:55:20 2012 Optimize a model with 5138 rows, 1714 columns and 15700 nonzeros Presolve time: 0.01s Presolved: 5138 rows, 1714 columns, 15700 nonzeros Variable types: 0 continuous, 1714 integer (1714 binary) Root relaxation: objective 0.000000e+00, 293 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 280 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 329 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 5s 0 0 0.00000 0 321 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 2 0.00000 0 328 - 0.00000 - - 8s 63 37 infeasible 31 - 0.00000 - 220 10s 525 61 0.00000 30 285 - 0.00000 - 140 15s 605 67 0.00000 14 401 - 0.00000 - 135 21s 607 68 0.00000 27 381 - 0.00000 - 134 26s 610 70 0.00000 2 379 - 0.00000 - 134 32s 612 71 0.00000 21 375 - 0.00000 - 133 37s 614 73 0.00000 30 344 - 0.00000 - 133 41s 617 75 0.00000 22 332 - 0.00000 - 132 45s 715 88 0.00000 26 313 - 0.00000 - 234 50s 846 46 0.00000 25 335 - 0.00000 - 250 55s 976 50 0.00000 30 334 - 0.00000 - 262 60s 1135 51 infeasible 36 - 0.00000 - 268 65s 1283 57 infeasible 33 - 0.00000 - 275 70s 1420 54 0.00000 29 334 - 0.00000 - 281 75s 1534 48 infeasible 27 - 0.00000 - 292 80s 1666 48 infeasible 33 - 0.00000 - 297 85s 1806 48 infeasible 35 - 0.00000 - 301 90s 1962 42 0.00000 26 353 - 0.00000 - 301 95s 2094 36 infeasible 27 - 0.00000 - 305 100s 2220 46 infeasible 32 - 0.00000 - 308 105s 2340 48 infeasible 32 - 0.00000 - 312 110s 2456 46 infeasible 37 - 0.00000 - 316 115s 2597 43 infeasible 32 - 0.00000 - 317 120s 2746 60 infeasible 34 - 0.00000 - 317 125s 2901 61 0.00000 31 341 - 0.00000 - 317 130s 3023 59 0.00000 25 353 - 0.00000 - 320 135s 3155 65 infeasible 33 - 0.00000 - 321 140s 3282 62 infeasible 30 - 0.00000 - 323 145s 3423 63 infeasible 31 - 0.00000 - 324 150s 3591 99 0.00000 31 327 - 0.00000 - 322 155s 3748 102 infeasible 35 - 0.00000 - 322 160s 3918 120 infeasible 38 - 0.00000 - 321 165s 4093 111 infeasible 34 - 0.00000 - 319 170s 4272 126 infeasible 40 - 0.00000 - 318 175s 4438 114 infeasible 36 - 0.00000 - 318 180s 4606 136 0.00000 38 304 - 0.00000 - 317 185s 4761 129 infeasible 28 - 0.00000 - 317 190s 4907 131 infeasible 31 - 0.00000 - 318 195s 5091 159 infeasible 34 - 0.00000 - 317 200s 5295 159 infeasible 36 - 0.00000 - 315 205s 5487 147 infeasible 35 - 0.00000 - 314 210s 5678 140 infeasible 33 - 0.00000 - 313 215s 5854 136 infeasible 29 - 0.00000 - 312 220s 6014 142 infeasible 30 - 0.00000 - 312 225s 6191 129 infeasible 32 - 0.00000 - 312 230s 6351 135 infeasible 40 - 0.00000 - 312 235s 6478 132 0.00000 28 355 - 0.00000 - 313 240s 6643 135 0.00000 34 325 - 0.00000 - 313 245s 6792 134 infeasible 31 - 0.00000 - 314 250s 6942 124 infeasible 27 - 0.00000 - 314 255s 7089 153 0.00000 35 312 - 0.00000 - 314 260s 7241 139 infeasible 28 - 0.00000 - 315 265s 7402 132 0.00000 29 336 - 0.00000 - 314 270s 7548 132 0.00000 35 265 - 0.00000 - 315 275s 7687 127 infeasible 33 - 0.00000 - 316 280s Cutting planes: Gomory: 2 Clique: 4 Zero half: 8 Explored 7758 nodes (2490893 simplex iterations) in 282.59 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