current bounds on the number of colors: 0 -- 192
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:03:57 2012
Optimize a model with 91200 rows, 19380 columns and 291456 nonzeros
Presolve time: 0.30s
Presolved: 91200 rows, 19380 columns, 291456 nonzeros
Variable types: 0 continuous, 19380 integer (19380 binary)
Root relaxation: objective 0.000000e+00, 815 iterations, 0.10 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 (1271 simplex iterations) in 0.53 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 -- 96
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:03:59 2012
Optimize a model with 45696 rows, 10164 columns and 145728 nonzeros
Presolve time: 0.16s
Presolved: 45696 rows, 10164 columns, 145728 nonzeros
Variable types: 0 continuous, 10164 integer (10164 binary)
Root relaxation: objective 0.000000e+00, 673 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 (1292 simplex iterations) in 0.31 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 -- 48
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012
Optimize a model with 22944 rows, 5556 columns and 72864 nonzeros
Presolve time: 0.09s
Presolved: 22944 rows, 5556 columns, 72864 nonzeros
Variable types: 0 continuous, 5556 integer (5556 binary)
Root relaxation: objective 0.000000e+00, 439 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 (810 simplex iterations) in 0.15 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 -- 24
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012
Optimize a model with 11568 rows, 3252 columns and 36432 nonzeros
Presolve time: 0.04s
Presolved: 11568 rows, 3252 columns, 36432 nonzeros
Variable types: 0 continuous, 3252 integer (3252 binary)
Root relaxation: objective 0.000000e+00, 395 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 (750 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 -- 12
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012
Optimize a model with 5880 rows, 2100 columns and 18216 nonzeros
Presolve time: 0.02s
Presolved: 5880 rows, 2100 columns, 18216 nonzeros
Variable types: 0 continuous, 2100 integer (2100 binary)
Root relaxation: objective 0.000000e+00, 417 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 (1717 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 -- 6
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012
Optimize a model with 3036 rows, 1524 columns and 9108 nonzeros
Presolve time: 0.01s
Presolved: 3036 rows, 1524 columns, 9108 nonzeros
Variable types: 0 continuous, 1524 integer (1524 binary)
Root relaxation: objective 0.000000e+00, 479 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 380 - 0.00000 - - 0s
0 0 0.00000 0 378 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (5470 simplex iterations) in 0.84 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 06:04:01 2012
Optimize a model with 3984 rows, 1716 columns and 12144 nonzeros
Presolve time: 0.01s
Presolved: 3984 rows, 1716 columns, 12144 nonzeros
Variable types: 0 continuous, 1716 integer (1716 binary)
Root relaxation: objective 0.000000e+00, 436 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 376 - 0.00000 - - 0s
0 0 0.00000 0 370 - 0.00000 - - 0s
0 0 0.00000 0 410 - 0.00000 - - 1s
0 0 0.00000 0 348 - 0.00000 - - 1s
0 0 0.00000 0 344 - 0.00000 - - 2s
0 0 0.00000 0 344 - 0.00000 - - 2s
0 0 0.00000 0 336 - 0.00000 - - 3s
0 0 0.00000 0 334 - 0.00000 - - 4s
0 0 0.00000 0 332 - 0.00000 - - 4s
0 0 0.00000 0 330 - 0.00000 - - 5s
0 0 0.00000 0 328 - 0.00000 - - 5s
0 0 0.00000 0 335 - 0.00000 - - 6s
0 0 0.00000 0 324 - 0.00000 - - 6s
0 0 0.00000 0 312 - 0.00000 - - 7s
0 0 0.00000 0 322 - 0.00000 - - 7s
0 0 0.00000 0 322 - 0.00000 - - 8s
0 2 0.00000 0 322 - 0.00000 - - 9s
66 26 0.00000 15 334 - 0.00000 - 202 10s
577 87 0.00000 19 367 - 0.00000 - 150 15s
609 89 0.00000 9 373 - 0.00000 - 149 20s
613 91 0.00000 18 352 - 0.00000 - 148 27s
615 93 0.00000 30 326 - 0.00000 - 147 31s
617 94 0.00000 30 316 - 0.00000 - 147 36s
619 95 0.00000 9 310 - 0.00000 - 147 40s
622 97 0.00000 16 310 - 0.00000 - 146 46s
702 91 0.00000 22 350 - 0.00000 - 284 50s
890 40 0.00000 19 418 - 0.00000 - 282 55s
1088 36 infeasible 30 - 0.00000 - 281 60s
1250 20 0.00000 19 352 - 0.00000 - 288 65s
1465 29 0.00000 19 374 - 0.00000 - 283 70s
1693 25 infeasible 23 - 0.00000 - 280 75s
1867 37 infeasible 26 - 0.00000 - 282 80s
2027 49 infeasible 25 - 0.00000 - 286 85s
2206 46 0.00000 22 346 - 0.00000 - 288 90s
2403 35 0.00000 21 385 - 0.00000 - 288 95s
2575 49 infeasible 26 - 0.00000 - 289 100s
2723 35 infeasible 23 - 0.00000 - 292 105s
2884 38 infeasible 22 - 0.00000 - 294 110s
3023 33 0.00000 19 447 - 0.00000 - 298 115s
3174 36 0.00000 24 425 - 0.00000 - 300 120s
3324 46 0.00000 23 346 - 0.00000 - 302 125s
3485 29 0.00000 23 450 - 0.00000 - 304 130s
3646 18 infeasible 25 - 0.00000 - 304 135s
3789 7 infeasible 24 - 0.00000 - 306 140s
3959 11 0.00000 20 348 - 0.00000 - 307 145s
4149 33 0.00000 20 396 - 0.00000 - 305 150s
4329 19 infeasible 32 - 0.00000 - 306 155s
4532 48 0.00000 30 390 - 0.00000 - 305 160s
4732 44 0.00000 26 352 - 0.00000 - 304 165s
4920 40 0.00000 22 338 - 0.00000 - 304 170s
5090 34 infeasible 29 - 0.00000 - 305 175s
5260 22 0.00000 21 448 - 0.00000 - 305 180s
5441 15 0.00000 21 360 - 0.00000 - 305 185s
5603 5 infeasible 20 - 0.00000 - 306 190s
5786 6 infeasible 25 - 0.00000 - 305 195s
Cutting planes:
Zero half: 17
Explored 5887 nodes (1861999 simplex iterations) in 197.79 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 06:07:19 2012
Optimize a model with 4932 rows, 1908 columns and 15180 nonzeros
Presolve time: 0.01s
Presolved: 4932 rows, 1908 columns, 15180 nonzeros
Variable types: 0 continuous, 1908 integer (1908 binary)
Root relaxation: objective 0.000000e+00, 410 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 176 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (3778 simplex iterations) in 0.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%
optimal solution found: number of colors: 5