current bounds on the number of colors: 0 -- 137
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:36 2012
Optimize a model with 64669 rows, 10265 columns and 202912 nonzeros
Presolve time: 0.19s
Presolved: 64669 rows, 10265 columns, 202912 nonzeros
Variable types: 0 continuous, 10265 integer (10265 binary)
Root relaxation: objective 0.000000e+00, 340 iterations, 0.07 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 (648 simplex iterations) in 0.35 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 -- 68
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:37 2012
Optimize a model with 32403 rows, 5607 columns and 101456 nonzeros
Presolve time: 0.15s
Presolved: 32403 rows, 5607 columns, 101456 nonzeros
Variable types: 0 continuous, 5607 integer (5607 binary)
Root relaxation: objective 0.000000e+00, 323 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 (620 simplex iterations) in 0.22 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 -- 34
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:38 2012
Optimize a model with 16270 rows, 3278 columns and 50728 nonzeros
Presolve time: 0.06s
Presolved: 16270 rows, 3278 columns, 50728 nonzeros
Variable types: 0 continuous, 3278 integer (3278 binary)
Root relaxation: objective 0.000000e+00, 280 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 (576 simplex iterations) in 0.09 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 -- 17
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:38 2012
Optimize a model with 7729 rows, 2045 columns and 23872 nonzeros
Presolve time: 0.02s
Presolved: 7729 rows, 2045 columns, 23872 nonzeros
Variable types: 0 continuous, 2045 integer (2045 binary)
Root relaxation: objective 0.000000e+00, 284 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 (1254 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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:38 2012
Optimize a model with 3933 rows, 1497 columns and 11936 nonzeros
Presolve time: 0.01s
Presolved: 3933 rows, 1497 columns, 11936 nonzeros
Variable types: 0 continuous, 1497 integer (1497 binary)
Root relaxation: objective 0.000000e+00, 287 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 174 - 0.00000 - - 0s
0 0 0.00000 0 256 - 0.00000 - - 0s
0 0 0.00000 0 434 - 0.00000 - - 1s
0 0 0.00000 0 440 - 0.00000 - - 2s
0 0 0.00000 0 428 - 0.00000 - - 3s
0 0 0.00000 0 441 - 0.00000 - - 3s
0 0 0.00000 0 418 - 0.00000 - - 5s
0 0 0.00000 0 422 - 0.00000 - - 6s
0 0 0.00000 0 421 - 0.00000 - - 7s
0 0 0.00000 0 417 - 0.00000 - - 9s
0 0 0.00000 0 414 - 0.00000 - - 10s
0 0 0.00000 0 413 - 0.00000 - - 11s
0 0 0.00000 0 410 - 0.00000 - - 12s
0 0 0.00000 0 410 - 0.00000 - - 13s
0 0 0.00000 0 410 - 0.00000 - - 14s
0 2 0.00000 0 410 - 0.00000 - - 15s
Cutting planes:
Clique: 35
Zero half: 11
Explored 29 nodes (64039 simplex iterations) in 16.80 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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:55 2012
Optimize a model with 5831 rows, 1771 columns and 17904 nonzeros
Presolve time: 0.02s
Presolved: 5831 rows, 1771 columns, 17904 nonzeros
Variable types: 0 continuous, 1771 integer (1771 binary)
Root relaxation: objective 0.000000e+00, 280 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 248 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 2
Clique: 305
MIR: 5
Zero half: 365
Explored 0 nodes (4241 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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:56 2012
Optimize a model with 4882 rows, 1634 columns and 14920 nonzeros
Presolve time: 0.01s
Presolved: 4882 rows, 1634 columns, 14920 nonzeros
Variable types: 0 continuous, 1634 integer (1634 binary)
Root relaxation: objective 0.000000e+00, 282 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 270 - 0.00000 - - 0s
0 0 0.00000 0 258 - 0.00000 - - 0s
0 0 0.00000 0 383 - 0.00000 - - 1s
0 0 0.00000 0 384 - 0.00000 - - 1s
0 0 0.00000 0 367 - 0.00000 - - 2s
0 0 0.00000 0 361 - 0.00000 - - 3s
0 0 0.00000 0 366 - 0.00000 - - 3s
0 0 0.00000 0 372 - 0.00000 - - 4s
0 0 0.00000 0 395 - 0.00000 - - 4s
0 0 0.00000 0 395 - 0.00000 - - 5s
0 2 0.00000 0 395 - 0.00000 - - 6s
284 20 infeasible 17 - 0.00000 - 156 10s
763 18 0.00000 17 285 - 0.00000 - 140 15s
815 34 0.00000 22 387 - 0.00000 - 140 20s
819 36 0.00000 4 358 - 0.00000 - 139 27s
821 38 0.00000 8 353 - 0.00000 - 139 31s
823 39 0.00000 14 346 - 0.00000 - 138 35s
826 41 0.00000 4 343 - 0.00000 - 138 41s
829 43 0.00000 17 356 - 0.00000 - 137 45s
932 34 0.00000 27 273 - 0.00000 - 219 50s
1095 25 0.00000 28 305 - 0.00000 - 235 55s
1257 21 0.00000 22 328 - 0.00000 - 247 60s
1431 37 0.00000 29 257 - 0.00000 - 254 65s
1568 30 0.00000 28 296 - 0.00000 - 265 70s
1739 37 infeasible 28 - 0.00000 - 269 75s
1913 25 infeasible 32 - 0.00000 - 273 80s
2065 23 infeasible 31 - 0.00000 - 278 85s
2227 27 infeasible 31 - 0.00000 - 281 90s
2372 18 0.00000 27 331 - 0.00000 - 285 95s
2519 29 0.00000 36 297 - 0.00000 - 289 100s
2706 30 infeasible 38 - 0.00000 - 289 105s
2879 27 0.00000 36 230 - 0.00000 - 290 110s
3027 27 infeasible 37 - 0.00000 - 293 115s
3189 23 infeasible 33 - 0.00000 - 294 120s
3338 34 infeasible 32 - 0.00000 - 296 125s
3475 37 0.00000 26 344 - 0.00000 - 299 130s
3617 35 infeasible 33 - 0.00000 - 301 135s
3777 43 infeasible 31 - 0.00000 - 302 140s
3915 41 0.00000 32 323 - 0.00000 - 304 145s
4047 45 0.00000 29 304 - 0.00000 - 306 150s
4184 36 infeasible 29 - 0.00000 - 308 155s
4325 43 0.00000 26 326 - 0.00000 - 309 160s
4466 40 0.00000 28 289 - 0.00000 - 310 165s
4617 41 infeasible 31 - 0.00000 - 311 170s
4769 33 0.00000 33 311 - 0.00000 - 311 175s
4938 48 0.00000 31 294 - 0.00000 - 311 180s
5064 36 0.00000 28 316 - 0.00000 - 313 185s
5194 28 infeasible 26 - 0.00000 - 314 190s
5402 64 infeasible 35 - 0.00000 - 312 195s
5584 52 0.00000 37 284 - 0.00000 - 312 200s
5774 50 0.00000 28 240 - 0.00000 - 312 205s
5944 42 infeasible 30 - 0.00000 - 312 210s
6131 31 0.00000 29 312 - 0.00000 - 312 215s
6328 56 0.00000 33 244 - 0.00000 - 310 220s
6496 44 0.00000 29 313 - 0.00000 - 311 225s
6693 43 0.00000 25 316 - 0.00000 - 310 230s
6863 39 0.00000 28 274 - 0.00000 - 310 235s
7052 38 infeasible 35 - 0.00000 - 309 240s
7194 32 0.00000 23 333 - 0.00000 - 310 245s
7355 37 0.00000 32 262 - 0.00000 - 311 250s
7515 43 0.00000 33 327 - 0.00000 - 311 255s
7658 42 0.00000 34 312 - 0.00000 - 312 260s
7815 43 infeasible 34 - 0.00000 - 312 265s
7976 64 0.00000 33 309 - 0.00000 - 312 270s
8143 59 0.00000 25 330 - 0.00000 - 312 275s
Cutting planes:
Clique: 8
Zero half: 17
Explored 8286 nodes (2618109 simplex iterations) in 279.00 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