current bounds on the number of colors: 0 -- 148
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:02 2012
Optimize a model with 79476 rows, 12024 columns and 248936 nonzeros
Presolve time: 0.23s
Presolved: 79476 rows, 12024 columns, 248936 nonzeros
Variable types: 0 continuous, 12024 integer (12024 binary)
Root relaxation: objective 0.000000e+00, 387 iterations, 0.09 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 (792 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 -- 74
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:04 2012
Optimize a model with 39812 rows, 6548 columns and 124468 nonzeros
Presolve time: 0.15s
Presolved: 39812 rows, 6548 columns, 124468 nonzeros
Variable types: 0 continuous, 6548 integer (6548 binary)
Root relaxation: objective 0.000000e+00, 348 iterations, 0.04 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 (694 simplex iterations) in 0.25 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 -- 37
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:04 2012
Optimize a model with 19444 rows, 3736 columns and 60552 nonzeros
Presolve time: 0.07s
Presolved: 19444 rows, 3736 columns, 60552 nonzeros
Variable types: 0 continuous, 3736 integer (3736 binary)
Root relaxation: objective 0.000000e+00, 420 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 (826 simplex iterations) in 0.12 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 -- 18
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:05 2012
Optimize a model with 9796 rows, 2404 columns and 30276 nonzeros
Presolve time: 0.03s
Presolved: 9796 rows, 2404 columns, 30276 nonzeros
Variable types: 0 continuous, 2404 integer (2404 binary)
Root relaxation: objective 0.000000e+00, 303 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 (1127 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:05 2012
Optimize a model with 4436 rows, 1664 columns and 13456 nonzeros
Presolve time: 0.01s
Presolved: 4436 rows, 1664 columns, 13456 nonzeros
Variable types: 0 continuous, 1664 integer (1664 binary)
Root relaxation: objective 0.000000e+00, 314 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 292 - 0.00000 - - 0s
0 0 0.00000 0 282 - 0.00000 - - 0s
0 0 0.00000 0 460 - 0.00000 - - 2s
0 0 0.00000 0 476 - 0.00000 - - 2s
0 0 0.00000 0 473 - 0.00000 - - 3s
0 0 0.00000 0 482 - 0.00000 - - 4s
0 0 infeasible 0 - 0.10000 - - 4s
Cutting planes:
Clique: 15
Zero half: 55
Explored 0 nodes (22635 simplex iterations) in 4.58 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: 4 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:56:10 2012
Optimize a model with 6580 rows, 1960 columns and 20184 nonzeros
Presolve time: 0.02s
Presolved: 6580 rows, 1960 columns, 20184 nonzeros
Variable types: 0 continuous, 1960 integer (1960 binary)
Root relaxation: objective 0.000000e+00, 312 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 134 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 2
Clique: 41
Zero half: 86
Explored 0 nodes (5351 simplex iterations) in 0.48 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 16:56:10 2012
Optimize a model with 5508 rows, 1812 columns and 16820 nonzeros
Presolve time: 0.01s
Presolved: 5508 rows, 1812 columns, 16820 nonzeros
Variable types: 0 continuous, 1812 integer (1812 binary)
Root relaxation: objective 0.000000e+00, 309 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 296 - 0.00000 - - 0s
0 0 0.00000 0 212 - 0.00000 - - 0s
0 0 0.00000 0 276 - 0.00000 - - 1s
0 0 0.00000 0 408 - 0.00000 - - 2s
0 0 0.00000 0 276 - 0.00000 - - 3s
0 0 0.00000 0 272 - 0.00000 - - 4s
0 0 0.00000 0 272 - 0.00000 - - 4s
0 0 0.00000 0 272 - 0.00000 - - 5s
0 0 0.00000 0 293 - 0.00000 - - 6s
0 0 0.00000 0 270 - 0.00000 - - 7s
0 0 0.00000 0 286 - 0.00000 - - 8s
0 0 0.00000 0 283 - 0.00000 - - 9s
0 2 0.00000 0 282 - 0.00000 - - 10s
216 24 infeasible 18 - 0.00000 - 190 15s
529 23 0.00000 21 315 - 0.00000 - 172 20s
812 19 infeasible 22 - 0.00000 - 173 25s
905 50 0.00000 25 270 - 0.00000 - 173 32s
907 51 0.00000 7 270 - 0.00000 - 173 36s
909 52 0.00000 12 276 - 0.00000 - 173 40s
912 54 0.00000 13 330 - 0.00000 - 172 47s
918 56 0.00000 16 388 - 0.00000 - 241 50s
933 66 0.00000 24 371 - 0.00000 - 242 55s
1007 58 infeasible 31 - 0.00000 - 253 60s
1088 38 0.00000 21 379 - 0.00000 - 270 65s
1201 55 0.00000 28 372 - 0.00000 - 280 70s
1299 61 infeasible 30 - 0.00000 - 291 75s
1406 72 0.00000 37 341 - 0.00000 - 299 80s
1505 71 0.00000 32 375 - 0.00000 - 307 85s
1614 100 infeasible 33 - 0.00000 - 311 90s
1711 109 0.00000 29 355 - 0.00000 - 318 95s
1790 102 infeasible 30 - 0.00000 - 326 100s
1880 104 infeasible 32 - 0.00000 - 332 105s
1971 97 infeasible 34 - 0.00000 - 338 110s
2075 101 0.00000 33 356 - 0.00000 - 342 115s
2174 96 0.00000 25 340 - 0.00000 - 346 120s
2290 106 infeasible 37 - 0.00000 - 348 125s
2375 101 0.00000 27 273 - 0.00000 - 354 130s
2470 94 infeasible 27 - 0.00000 - 359 135s
2565 93 infeasible 30 - 0.00000 - 362 140s
2672 98 0.00000 36 266 - 0.00000 - 363 145s
2760 88 0.00000 35 349 - 0.00000 - 367 150s
2869 85 infeasible 28 - 0.00000 - 369 155s
2953 83 infeasible 29 - 0.00000 - 373 160s
3052 84 0.00000 28 362 - 0.00000 - 374 165s
3142 78 infeasible 33 - 0.00000 - 377 170s
3242 80 0.00000 33 366 - 0.00000 - 379 175s
3357 81 infeasible 32 - 0.00000 - 379 180s
3447 79 infeasible 31 - 0.00000 - 381 185s
3546 68 infeasible 28 - 0.00000 - 383 190s
3651 63 infeasible 30 - 0.00000 - 384 195s
3738 64 infeasible 25 - 0.00000 - 386 200s
3837 67 infeasible 27 - 0.00000 - 387 205s
3939 65 0.00000 21 373 - 0.00000 - 388 210s
4035 65 infeasible 28 - 0.00000 - 389 215s
4134 64 infeasible 27 - 0.00000 - 390 220s
4227 67 0.00000 30 347 - 0.00000 - 391 225s
4325 63 infeasible 31 - 0.00000 - 392 230s
4407 55 0.00000 24 362 - 0.00000 - 394 235s
4502 54 infeasible 32 - 0.00000 - 396 240s
4597 57 infeasible 33 - 0.00000 - 397 245s
4699 59 infeasible 32 - 0.00000 - 397 250s
4803 57 0.00000 29 372 - 0.00000 - 398 255s
4897 51 infeasible 25 - 0.00000 - 399 260s
4993 53 infeasible 28 - 0.00000 - 400 265s
5085 61 0.00000 28 354 - 0.00000 - 401 270s
5184 54 infeasible 32 - 0.00000 - 401 275s
5288 60 infeasible 32 - 0.00000 - 402 280s
5386 52 infeasible 31 - 0.00000 - 403 285s
5487 53 0.00000 25 375 - 0.00000 - 403 290s
Cutting planes:
Clique: 1
Zero half: 1
Explored 5492 nodes (2268903 simplex iterations) in 290.36 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