current bounds on the number of colors: 0 -- 144
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:27 2012
Optimize a model with 79992 rows, 11477 columns and 249912 nonzeros
Presolve time: 0.22s
Presolved: 79992 rows, 11477 columns, 249912 nonzeros
Variable types: 0 continuous, 11477 integer (11477 binary)
Root relaxation: objective 0.000000e+00, 332 iterations, 0.09 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 (732 simplex iterations) in 0.44 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 -- 72
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:29 2012
Optimize a model with 40068 rows, 6293 columns and 124956 nonzeros
Presolve time: 0.15s
Presolved: 40068 rows, 6293 columns, 124956 nonzeros
Variable types: 0 continuous, 6293 integer (6293 binary)
Root relaxation: objective 0.000000e+00, 355 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 (758 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 -- 36
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:29 2012
Optimize a model with 20106 rows, 3701 columns and 62478 nonzeros
Presolve time: 0.07s
Presolved: 20106 rows, 3701 columns, 62478 nonzeros
Variable types: 0 continuous, 3701 integer (3701 binary)
Root relaxation: objective 0.000000e+00, 425 iterations, 0.02 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 (825 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 -- 18
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:30 2012
Optimize a model with 10125 rows, 2405 columns and 31239 nonzeros
Presolve time: 0.03s
Presolved: 10125 rows, 2405 columns, 31239 nonzeros
Variable types: 0 continuous, 2405 integer (2405 binary)
Root relaxation: objective 0.000000e+00, 305 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 (734 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:30 2012
Optimize a model with 4580 rows, 1685 columns and 13884 nonzeros
Presolve time: 0.01s
Presolved: 4580 rows, 1685 columns, 13884 nonzeros
Variable types: 0 continuous, 1685 integer (1685 binary)
Root relaxation: objective 0.000000e+00, 305 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 282 - 0.00000 - - 0s
0 0 0.00000 0 482 - 0.00000 - - 2s
0 0 0.00000 0 494 - 0.00000 - - 2s
0 0 0.00000 0 491 - 0.00000 - - 3s
0 0 0.00000 0 484 - 0.00000 - - 3s
0 0 0.00000 0 479 - 0.00000 - - 4s
0 0 0.00000 0 477 - 0.00000 - - 5s
0 0 0.00000 0 478 - 0.00000 - - 6s
0 0 0.00000 0 487 - 0.00000 - - 7s
0 0 0.00000 0 479 - 0.00000 - - 8s
0 0 0.00000 0 484 - 0.00000 - - 9s
0 0 0.00000 0 483 - 0.00000 - - 10s
0 2 0.00000 0 476 - 0.00000 - - 11s
Cutting planes:
Clique: 25
Zero half: 36
Explored 5 nodes (57217 simplex iterations) in 11.44 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:42 2012
Optimize a model with 6798 rows, 1973 columns and 20826 nonzeros
Presolve time: 0.02s
Presolved: 6798 rows, 1973 columns, 20826 nonzeros
Variable types: 0 continuous, 1973 integer (1973 binary)
Root relaxation: objective 0.000000e+00, 300 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 230 - 0.00000 - - 0s
0 0 0.00000 0 324 - 0.00000 - - 1s
0 0 0.00000 0 230 - 0.00000 - - 2s
0 0 0.00000 0 358 - 0.00000 - - 2s
0 0 0.00000 0 221 - 0.00000 - - 3s
0 0 0.00000 0 222 - 0.00000 - - 4s
0 0 0.00000 0 213 - 0.00000 - - 5s
0 0 0.00000 0 257 - 0.00000 - - 5s
0 0 0.00000 0 255 - 0.00000 - - 6s
0 0 0.00000 0 287 - 0.00000 - - 7s
0 0 0.00000 0 284 - 0.00000 - - 8s
0 2 0.00000 0 284 - 0.00000 - - 9s
3 3 0.00000 2 326 - 0.00000 - 1129 10s
603 154 0.00000 37 230 - 0.00000 - 90.8 15s
607 157 0.00000 24 104 - 0.00000 - 90.2 20s
610 159 0.00000 13 256 - 0.00000 - 89.8 25s
613 161 0.00000 40 98 - 0.00000 - 89.4 30s
653 188 0.00000 29 122 - 0.00000 - 180 35s
930 252 0.00000 39 154 - 0.00000 - 188 40s
* 1094 3 47 0.0000000 0.00000 0.0% 190 42s
Cutting planes:
Clique: 2
Zero half: 3
Explored 1095 nodes (259167 simplex iterations) in 42.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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:10:24 2012
Optimize a model with 5689 rows, 1829 columns and 17355 nonzeros
Presolve time: 0.02s
Presolved: 5689 rows, 1829 columns, 17355 nonzeros
Variable types: 0 continuous, 1829 integer (1829 binary)
Root relaxation: objective 0.000000e+00, 302 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 288 - 0.00000 - - 0s
0 0 0.00000 0 285 - 0.00000 - - 0s
0 0 0.00000 0 349 - 0.00000 - - 2s
0 0 0.00000 0 378 - 0.00000 - - 2s
0 0 0.00000 0 373 - 0.00000 - - 3s
0 0 0.00000 0 374 - 0.00000 - - 4s
0 0 0.00000 0 375 - 0.00000 - - 6s
0 0 0.00000 0 375 - 0.00000 - - 6s
0 2 0.00000 0 375 - 0.00000 - - 8s
55 17 infeasible 19 - 0.00000 - 315 10s
248 22 infeasible 16 - 0.00000 - 241 15s
418 20 0.00000 15 350 - 0.00000 - 242 20s
620 20 0.00000 15 312 - 0.00000 - 233 25s
777 20 infeasible 12 - 0.00000 - 235 30s
980 18 infeasible 19 - 0.00000 - 229 35s
1189 20 0.00000 16 363 - 0.00000 - 223 40s
1382 26 0.00000 17 368 - 0.00000 - 222 45s
1405 30 0.00000 18 358 - 0.00000 - 222 52s
1406 30 0.00000 6 329 - 0.00000 - 222 55s
1409 32 0.00000 10 302 - 0.00000 - 221 62s
1411 34 0.00000 4 297 - 0.00000 - 221 66s
1413 35 0.00000 16 306 - 0.00000 - 221 70s
1420 38 0.00000 11 366 - 0.00000 - 262 75s
1431 45 0.00000 17 370 - 0.00000 - 263 80s
1494 35 infeasible 20 - 0.00000 - 268 85s
1589 31 infeasible 25 - 0.00000 - 275 90s
1669 31 infeasible 21 - 0.00000 - 284 95s
1760 60 infeasible 26 - 0.00000 - 289 100s
1852 58 infeasible 27 - 0.00000 - 295 105s
1944 66 0.00000 20 361 - 0.00000 - 300 110s
2039 85 0.00000 29 338 - 0.00000 - 303 115s
2118 78 0.00000 21 360 - 0.00000 - 310 120s
2207 79 infeasible 21 - 0.00000 - 314 125s
2301 91 0.00000 23 343 - 0.00000 - 318 130s
2398 98 infeasible 25 - 0.00000 - 322 135s
2488 90 infeasible 26 - 0.00000 - 326 140s
2575 93 infeasible 23 - 0.00000 - 330 145s
2680 100 0.00000 23 356 - 0.00000 - 332 150s
2786 108 0.00000 26 359 - 0.00000 - 333 155s
2878 110 0.00000 26 373 - 0.00000 - 336 160s
2955 105 infeasible 32 - 0.00000 - 340 165s
3041 103 infeasible 22 - 0.00000 - 342 170s
3138 112 infeasible 24 - 0.00000 - 344 175s
3228 104 infeasible 24 - 0.00000 - 346 180s
3310 100 0.00000 19 371 - 0.00000 - 349 185s
3389 95 infeasible 27 - 0.00000 - 353 190s
3470 94 infeasible 25 - 0.00000 - 356 195s
3549 87 0.00000 23 360 - 0.00000 - 359 200s
3631 85 infeasible 25 - 0.00000 - 361 205s
3722 86 infeasible 25 - 0.00000 - 363 210s
3806 86 infeasible 26 - 0.00000 - 365 215s
3900 92 infeasible 25 - 0.00000 - 366 220s
3980 90 0.00000 24 381 - 0.00000 - 368 225s
4053 85 infeasible 25 - 0.00000 - 370 230s
4140 82 0.00000 28 366 - 0.00000 - 372 235s
4228 76 0.00000 25 366 - 0.00000 - 374 240s
Cutting planes:
Clique: 3
Zero half: 10
Explored 4261 nodes (1623362 simplex iterations) in 241.76 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