current bounds on the number of colors: 0 -- 203
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:34:39 2012
Optimize a model with 105849 rows, 21549 columns and 337441 nonzeros
Presolve time: 0.35s
Presolved: 105849 rows, 21549 columns, 337441 nonzeros
Variable types: 0 continuous, 21549 integer (21549 binary)
Root relaxation: objective 0.000000e+00, 942 iterations, 0.13 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 (1431 simplex iterations) in 0.64 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:34:41 2012
Optimize a model with 52503 rows, 11196 columns and 167050 nonzeros
Presolve time: 0.16s
Presolved: 52503 rows, 11196 columns, 167050 nonzeros
Variable types: 0 continuous, 11196 integer (11196 binary)
Root relaxation: objective 0.000000e+00, 716 iterations, 0.05 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 (1231 simplex iterations) in 0.29 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:34:42 2012
Optimize a model with 26353 rows, 6121 columns and 83525 nonzeros
Presolve time: 0.11s
Presolved: 26353 rows, 6121 columns, 83525 nonzeros
Variable types: 0 continuous, 6121 integer (6121 binary)
Root relaxation: objective 0.000000e+00, 514 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 (937 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:34:42 2012
Optimize a model with 12755 rows, 3482 columns and 40092 nonzeros
Presolve time: 0.04s
Presolved: 12755 rows, 3482 columns, 40092 nonzeros
Variable types: 0 continuous, 3482 integer (3482 binary)
Root relaxation: objective 0.000000e+00, 426 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 (853 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:34:43 2012
Optimize a model with 6479 rows, 2264 columns and 20046 nonzeros
Presolve time: 0.02s
Presolved: 6479 rows, 2264 columns, 20046 nonzeros
Variable types: 0 continuous, 2264 integer (2264 binary)
Root relaxation: objective 0.000000e+00, 429 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 (1608 simplex iterations) in 0.08 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:34:43 2012
Optimize a model with 3341 rows, 1655 columns and 10023 nonzeros
Presolve time: 0.01s
Presolved: 3341 rows, 1655 columns, 10023 nonzeros
Variable types: 0 continuous, 1655 integer (1655 binary)
Root relaxation: objective 0.000000e+00, 482 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 0.00000 0 562 - 0.00000 - - 1s
0 0 infeasible 0 - 0.10000 - - 1s
Cutting planes:
Gomory: 22
Zero half: 1348
Explored 0 nodes (8912 simplex iterations) in 1.44 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:34:44 2012
Optimize a model with 4387 rows, 1858 columns and 13364 nonzeros
Presolve time: 0.01s
Presolved: 4387 rows, 1858 columns, 13364 nonzeros
Variable types: 0 continuous, 1858 integer (1858 binary)
Root relaxation: objective 0.000000e+00, 465 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 388 - 0.00000 - - 0s
0 0 0.00000 0 372 - 0.00000 - - 0s
0 0 0.00000 0 380 - 0.00000 - - 1s
0 0 0.00000 0 554 - 0.00000 - - 1s
0 0 0.00000 0 372 - 0.00000 - - 2s
0 0 0.00000 0 364 - 0.00000 - - 3s
0 0 0.00000 0 374 - 0.00000 - - 4s
0 0 0.00000 0 358 - 0.00000 - - 4s
0 0 0.00000 0 358 - 0.00000 - - 5s
0 0 0.00000 0 356 - 0.00000 - - 6s
0 0 0.00000 0 338 - 0.00000 - - 7s
0 0 0.00000 0 338 - 0.00000 - - 7s
0 0 0.00000 0 338 - 0.00000 - - 8s
0 2 0.00000 0 338 - 0.00000 - - 9s
8 6 0.00000 6 368 - 0.00000 - 479 10s
423 80 0.00000 16 392 - 0.00000 - 150 15s
605 94 0.00000 26 364 - 0.00000 - 139 22s
607 95 0.00000 8 360 - 0.00000 - 138 27s
609 96 0.00000 21 350 - 0.00000 - 138 31s
611 98 0.00000 3 340 - 0.00000 - 138 35s
615 100 0.00000 13 361 - 0.00000 - 137 40s
763 75 infeasible 27 - 0.00000 - 249 45s
940 29 0.00000 22 356 - 0.00000 - 258 50s
1146 25 0.00000 26 378 - 0.00000 - 264 55s
1348 31 infeasible 25 - 0.00000 - 269 60s
1526 35 0.00000 21 493 - 0.00000 - 274 65s
1742 63 0.00000 22 374 - 0.00000 - 272 70s
1942 63 infeasible 24 - 0.00000 - 273 75s
2140 67 infeasible 27 - 0.00000 - 275 80s
2312 53 infeasible 27 - 0.00000 - 278 85s
2497 56 infeasible 24 - 0.00000 - 280 90s
2672 59 0.00000 21 396 - 0.00000 - 282 95s
2840 37 infeasible 24 - 0.00000 - 285 100s
3064 33 infeasible 32 - 0.00000 - 283 105s
3248 25 infeasible 27 - 0.00000 - 284 110s
3411 14 0.00000 20 461 - 0.00000 - 286 115s
3566 27 infeasible 25 - 0.00000 - 287 120s
3705 28 0.00000 22 466 - 0.00000 - 290 125s
3836 21 0.00000 23 423 - 0.00000 - 293 130s
3995 26 infeasible 25 - 0.00000 - 294 135s
4152 29 infeasible 24 - 0.00000 - 295 140s
4297 22 infeasible 22 - 0.00000 - 297 145s
4430 9 infeasible 25 - 0.00000 - 299 150s
4559 0 infeasible 19 - infeasible - 301 155s
Cutting planes:
Zero half: 14
Explored 4560 nodes (1430754 simplex iterations) in 155.03 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:37:20 2012
Optimize a model with 5433 rows, 2061 columns and 16705 nonzeros
Presolve time: 0.01s
Presolved: 5433 rows, 2061 columns, 16705 nonzeros
Variable types: 0 continuous, 2061 integer (2061 binary)
Root relaxation: objective 0.000000e+00, 439 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 374 - 0.00000 - - 0s
0 0 0.00000 0 364 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (6554 simplex iterations) in 0.72 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