current bounds on the number of colors: 0 -- 185
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:28 2012
Optimize a model with 80777 rows, 17896 columns and 258796 nonzeros
Presolve time: 0.25s
Presolved: 80777 rows, 17896 columns, 258796 nonzeros
Variable types: 0 continuous, 17896 integer (17896 binary)
Root relaxation: objective 0.000000e+00, 687 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 (1087 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 -- 92
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:29 2012
Optimize a model with 40481 rows, 9386 columns and 129398 nonzeros
Presolve time: 0.16s
Presolved: 40481 rows, 9386 columns, 129398 nonzeros
Variable types: 0 continuous, 9386 integer (9386 binary)
Root relaxation: objective 0.000000e+00, 510 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 (917 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 -- 46
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:30 2012
Optimize a model with 20333 rows, 5131 columns and 64699 nonzeros
Presolve time: 0.08s
Presolved: 20333 rows, 5131 columns, 64699 nonzeros
Variable types: 0 continuous, 5131 integer (5131 binary)
Root relaxation: objective 0.000000e+00, 438 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 (1042 simplex iterations) in 0.14 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 -- 23
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:30 2012
Optimize a model with 9821 rows, 2911 columns and 30943 nonzeros
Presolve time: 0.03s
Presolved: 9821 rows, 2911 columns, 30943 nonzeros
Variable types: 0 continuous, 2911 integer (2911 binary)
Root relaxation: objective 0.000000e+00, 387 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 (738 simplex iterations) in 0.05 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 -- 11
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:30 2012
Optimize a model with 4565 rows, 1801 columns and 14065 nonzeros
Presolve time: 0.01s
Presolved: 4565 rows, 1801 columns, 14065 nonzeros
Variable types: 0 continuous, 1801 integer (1801 binary)
Root relaxation: objective 0.000000e+00, 396 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 287 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (4353 simplex iterations) in 0.36 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 -- 5
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:31 2012
Optimize a model with 1937 rows, 1246 columns and 5626 nonzeros
Presolve removed 185 rows and 185 columns
Presolve time: 0.00s
Presolved: 1752 rows, 1061 columns, 5256 nonzeros
Variable types: 0 continuous, 1061 integer (1061 binary)
Root relaxation: objective 0.000000e+00, 191 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 185 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (794 simplex iterations) in 0.02 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: 2 -- 5
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:31 2012
Optimize a model with 2813 rows, 1431 columns and 8439 nonzeros
Presolve time: 0.01s
Presolved: 2813 rows, 1431 columns, 8439 nonzeros
Variable types: 0 continuous, 1431 integer (1431 binary)
Root relaxation: objective 0.000000e+00, 407 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 366 - 0.00000 - - 0s
0 0 0.00000 0 364 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (4447 simplex iterations) in 0.51 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 -- 5
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:31 2012
Optimize a model with 3689 rows, 1616 columns and 11252 nonzeros
Presolve time: 0.01s
Presolved: 3689 rows, 1616 columns, 11252 nonzeros
Variable types: 0 continuous, 1616 integer (1616 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.00000 0 354 - 0.00000 - - 0s
0 0 0.00000 0 350 - 0.00000 - - 0s
0 0 0.00000 0 357 - 0.00000 - - 0s
0 0 0.00000 0 342 - 0.00000 - - 0s
0 0 0.00000 0 510 - 0.00000 - - 1s
0 0 0.00000 0 334 - 0.00000 - - 1s
0 0 0.00000 0 330 - 0.00000 - - 2s
0 0 0.00000 0 326 - 0.00000 - - 2s
0 0 0.00000 0 322 - 0.00000 - - 2s
0 0 0.00000 0 314 - 0.00000 - - 3s
0 0 0.00000 0 310 - 0.00000 - - 3s
0 0 0.00000 0 300 - 0.00000 - - 4s
0 0 0.00000 0 296 - 0.00000 - - 4s
0 0 0.00000 0 292 - 0.00000 - - 5s
0 0 0.00000 0 290 - 0.00000 - - 5s
0 0 0.00000 0 288 - 0.00000 - - 6s
0 0 0.00000 0 290 - 0.00000 - - 6s
0 0 0.00000 0 288 - 0.00000 - - 7s
0 0 0.00000 0 296 - 0.00000 - - 7s
0 0 0.00000 0 276 - 0.00000 - - 8s
0 0 0.00000 0 268 - 0.00000 - - 8s
0 0 0.00000 0 266 - 0.00000 - - 8s
0 0 0.00000 0 266 - 0.00000 - - 9s
0 0 0.00000 0 266 - 0.00000 - - 9s
0 2 0.00000 0 266 - 0.00000 - - 10s
411 92 infeasible 20 - 0.00000 - 144 15s
903 126 0.00000 21 357 - 0.00000 - 143 20s
908 130 0.00000 18 304 - 0.00000 - 142 25s
912 132 0.00000 21 281 - 0.00000 - 141 30s
1049 142 infeasible 32 - 0.00000 - 196 35s
1383 132 infeasible 31 - 0.00000 - 197 40s
1711 182 infeasible 31 - 0.00000 - 199 45s
2026 169 0.00000 24 332 - 0.00000 - 202 50s
2330 171 infeasible 27 - 0.00000 - 206 55s
2628 183 infeasible 32 - 0.00000 - 208 60s
2926 169 0.00000 28 366 - 0.00000 - 210 65s
3205 146 infeasible 31 - 0.00000 - 214 70s
3496 140 infeasible 27 - 0.00000 - 215 75s
3867 167 infeasible 31 - 0.00000 - 213 80s
4235 165 infeasible 30 - 0.00000 - 212 85s
4583 163 infeasible 32 - 0.00000 - 212 90s
4957 191 infeasible 35 - 0.00000 - 211 95s
5297 177 infeasible 30 - 0.00000 - 212 100s
5630 180 0.00000 28 328 - 0.00000 - 212 105s
5956 164 0.00000 34 418 - 0.00000 - 213 110s
6255 139 infeasible 32 - 0.00000 - 213 115s
6580 124 infeasible 32 - 0.00000 - 213 120s
6838 132 infeasible 24 - 0.00000 - 215 125s
7189 143 infeasible 28 - 0.00000 - 214 130s
7511 139 0.00000 32 322 - 0.00000 - 215 135s
7858 136 0.00000 31 386 - 0.00000 - 215 140s
8146 102 0.00000 25 328 - 0.00000 - 215 145s
8440 62 infeasible 33 - 0.00000 - 216 150s
8694 32 0.00000 26 370 - 0.00000 - 217 155s
8962 8 0.00000 19 410 - 0.00000 - 217 160s
9253 19 infeasible 30 - 0.00000 - 218 165s
9538 24 0.00000 25 322 - 0.00000 - 219 170s
9848 14 0.00000 27 352 - 0.00000 - 219 175s
10139 19 infeasible 29 - 0.00000 - 219 180s
10410 10 0.00000 25 358 - 0.00000 - 220 185s
10697 19 infeasible 28 - 0.00000 - 220 190s
10978 12 infeasible 28 - 0.00000 - 221 195s
11304 18 infeasible 26 - 0.00000 - 221 200s
11633 15 infeasible 26 - 0.00000 - 221 205s
11957 15 infeasible 26 - 0.00000 - 221 210s
12330 38 infeasible 31 - 0.00000 - 220 215s
12674 12 infeasible 26 - 0.00000 - 220 220s
13001 7 0.00000 22 318 - 0.00000 - 220 225s
13334 14 0.00000 30 324 - 0.00000 - 220 230s
13593 7 0.00000 28 351 - 0.00000 - 221 235s
Cutting planes:
Gomory: 1
Zero half: 19
Explored 13765 nodes (3121890 simplex iterations) in 238.29 seconds
Thread count was 1 (of 16 available processors)
Model objective exceeds cutoff
Best objective -, best bound -, gap -
optimal solution found: number of colors: 5