current bounds on the number of colors: 0 -- 123
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:06 2012
Optimize a model with 47398 rows, 8278 columns and 149328 nonzeros
Presolve time: 0.16s
Presolved: 47398 rows, 8278 columns, 149328 nonzeros
Variable types: 0 continuous, 8278 integer (8278 binary)
Root relaxation: objective 0.000000e+00, 322 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 (613 simplex iterations) in 0.28 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 -- 61
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:07 2012
Optimize a model with 23373 rows, 4465 columns and 73440 nonzeros
Presolve time: 0.10s
Presolved: 23373 rows, 4465 columns, 73440 nonzeros
Variable types: 0 continuous, 4465 integer (4465 binary)
Root relaxation: objective 0.000000e+00, 304 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 (584 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 -- 30
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012
Optimize a model with 11748 rows, 2620 columns and 36720 nonzeros
Presolve time: 0.04s
Presolved: 11748 rows, 2620 columns, 36720 nonzeros
Variable types: 0 continuous, 2620 integer (2620 binary)
Root relaxation: objective 0.000000e+00, 247 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 (476 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 -- 15
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012
Optimize a model with 5548 rows, 1636 columns and 17136 nonzeros
Presolve time: 0.01s
Presolved: 5548 rows, 1636 columns, 17136 nonzeros
Variable types: 0 continuous, 1636 integer (1636 binary)
Root relaxation: objective 0.000000e+00, 265 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 (1093 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 -- 7
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:08 2012
Optimize a model with 2448 rows, 1144 columns and 7344 nonzeros
Presolve time: 0.01s
Presolved: 2448 rows, 1144 columns, 7344 nonzeros
Variable types: 0 continuous, 1144 integer (1144 binary)
Root relaxation: objective 0.000000e+00, 284 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 246 - 0.00000 - - 0s
0 0 0.00000 0 286 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (3955 simplex iterations) in 0.47 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 -- 7
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:51:09 2012
Optimize a model with 3998 rows, 1390 columns and 12240 nonzeros
Presolve time: 0.01s
Presolved: 3998 rows, 1390 columns, 12240 nonzeros
Variable types: 0 continuous, 1390 integer (1390 binary)
Root relaxation: objective 0.000000e+00, 263 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 234 - 0.00000 - - 0s
0 0 0.00000 0 189 - 0.00000 - - 0s
0 0 0.00000 0 192 - 0.00000 - - 1s
0 0 0.00000 0 323 - 0.00000 - - 1s
0 0 0.00000 0 287 - 0.00000 - - 1s
0 0 0.00000 0 307 - 0.00000 - - 2s
0 0 0.00000 0 286 - 0.00000 - - 2s
0 0 0.00000 0 247 - 0.00000 - - 3s
0 0 0.00000 0 233 - 0.00000 - - 4s
0 0 0.00000 0 251 - 0.00000 - - 4s
0 0 0.00000 0 283 - 0.00000 - - 5s
0 0 0.00000 0 283 - 0.00000 - - 5s
0 2 0.00000 0 283 - 0.00000 - - 5s
611 38 0.00000 16 263 - 0.00000 - 105 10s
716 52 0.00000 8 195 - 0.00000 - 103 15s
723 56 infeasible 14 - 0.00000 - 148 20s
992 54 0.00000 23 286 - 0.00000 - 169 25s
1267 85 infeasible 26 - 0.00000 - 184 30s
1560 98 infeasible 28 - 0.00000 - 192 35s
1833 111 0.00000 19 286 - 0.00000 - 199 40s
2089 91 infeasible 28 - 0.00000 - 206 45s
2337 89 0.00000 24 267 - 0.00000 - 212 50s
2576 90 0.00000 27 192 - 0.00000 - 217 55s
2847 99 0.00000 30 214 - 0.00000 - 219 60s
3093 95 infeasible 28 - 0.00000 - 222 65s
3372 110 0.00000 28 277 - 0.00000 - 223 70s
3597 123 0.00000 25 280 - 0.00000 - 226 75s
3835 111 0.00000 26 301 - 0.00000 - 228 80s
4083 117 infeasible 24 - 0.00000 - 230 85s
4318 116 infeasible 28 - 0.00000 - 232 90s
4563 107 0.00000 29 188 - 0.00000 - 234 95s
4841 93 infeasible 33 - 0.00000 - 234 100s
5054 80 infeasible 28 - 0.00000 - 237 105s
5291 87 infeasible 38 - 0.00000 - 238 110s
5555 79 infeasible 26 - 0.00000 - 239 115s
5791 77 infeasible 29 - 0.00000 - 240 120s
6005 67 infeasible 30 - 0.00000 - 242 125s
6227 63 infeasible 29 - 0.00000 - 243 130s
6456 54 0.00000 27 267 - 0.00000 - 244 135s
6684 37 0.00000 25 307 - 0.00000 - 245 140s
6922 27 0.00000 27 268 - 0.00000 - 246 145s
7150 13 infeasible 30 - 0.00000 - 247 150s
Cutting planes:
Gomory: 1
Clique: 3
Zero half: 14
Explored 7230 nodes (1829938 simplex iterations) in 152.11 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: 5 -- 7
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:53:41 2012
Optimize a model with 4773 rows, 1513 columns and 14688 nonzeros
Presolve time: 0.01s
Presolved: 4773 rows, 1513 columns, 14688 nonzeros
Variable types: 0 continuous, 1513 integer (1513 binary)
Root relaxation: objective 0.000000e+00, 258 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 143 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (2364 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%
optimal solution found: number of colors: 6