current bounds on the number of colors: 0 -- 147
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:02 2012
Optimize a model with 79571 rows, 11819 columns and 249003 nonzeros
Presolve time: 0.23s
Presolved: 79571 rows, 11819 columns, 249003 nonzeros
Variable types: 0 continuous, 11819 integer (11819 binary)
Root relaxation: objective 0.000000e+00, 400 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 (801 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 -- 73
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:03 2012
Optimize a model with 39315 rows, 6380 columns and 122796 nonzeros
Presolve time: 0.15s
Presolved: 39315 rows, 6380 columns, 122796 nonzeros
Variable types: 0 continuous, 6380 integer (6380 binary)
Root relaxation: objective 0.000000e+00, 459 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 (867 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 -- 36
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:04 2012
Optimize a model with 19731 rows, 3734 columns and 61398 nonzeros
Presolve time: 0.07s
Presolved: 19731 rows, 3734 columns, 61398 nonzeros
Variable types: 0 continuous, 3734 integer (3734 binary)
Root relaxation: objective 0.000000e+00, 426 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 (1095 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 -- 18
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:04 2012
Optimize a model with 9939 rows, 2411 columns and 30699 nonzeros
Presolve time: 0.03s
Presolved: 9939 rows, 2411 columns, 30699 nonzeros
Variable types: 0 continuous, 2411 integer (2411 binary)
Root relaxation: objective 0.000000e+00, 300 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 (1269 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:21:04 2012
Optimize a model with 4499 rows, 1676 columns and 13644 nonzeros
Presolve time: 0.01s
Presolved: 4499 rows, 1676 columns, 13644 nonzeros
Variable types: 0 continuous, 1676 integer (1676 binary)
Root relaxation: objective 0.000000e+00, 331 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 188 - 0.00000 - - 0s
0 0 0.00000 0 388 - 0.00000 - - 1s
0 0 0.00000 0 481 - 0.00000 - - 2s
0 0 0.00000 0 490 - 0.00000 - - 2s
0 0 0.00000 0 495 - 0.00000 - - 3s
0 0 0.00000 0 476 - 0.00000 - - 5s
0 0 0.00000 0 480 - 0.00000 - - 6s
0 0 0.00000 0 483 - 0.00000 - - 7s
0 0 0.00000 0 483 - 0.00000 - - 8s
0 2 0.00000 0 483 - 0.00000 - - 9s
2 3 0.00000 1 460 - 0.00000 - 1906 10s
Cutting planes:
Clique: 20
Zero half: 17
Explored 9 nodes (46367 simplex iterations) in 10.41 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:15 2012
Optimize a model with 6675 rows, 1970 columns and 20466 nonzeros
Presolve time: 0.02s
Presolved: 6675 rows, 1970 columns, 20466 nonzeros
Variable types: 0 continuous, 1970 integer (1970 binary)
Root relaxation: objective 0.000000e+00, 307 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 209 - 0.00000 - - 0s
0 0 0.00000 0 227 - 0.00000 - - 0s
0 0 0.00000 0 419 - 0.00000 - - 1s
0 0 0.00000 0 423 - 0.00000 - - 1s
0 0 0.00000 0 404 - 0.00000 - - 3s
0 0 0.00000 0 375 - 0.00000 - - 3s
0 0 0.00000 0 394 - 0.00000 - - 4s
0 0 0.00000 0 389 - 0.00000 - - 5s
0 0 0.00000 0 393 - 0.00000 - - 6s
0 0 0.00000 0 386 - 0.00000 - - 6s
0 2 0.00000 0 261 - 0.00000 - - 7s
414 177 0.00000 38 237 - 0.00000 - 92.4 10s
* 517 3 43 0.0000000 0.00000 0.0% 85.6 10s
Cutting planes:
Clique: 5
Zero half: 3
Explored 518 nodes (82090 simplex iterations) in 10.32 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:21:25 2012
Optimize a model with 5587 rows, 1823 columns and 17055 nonzeros
Presolve time: 0.01s
Presolved: 5587 rows, 1823 columns, 17055 nonzeros
Variable types: 0 continuous, 1823 integer (1823 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 292 - 0.00000 - - 0s
0 0 0.00000 0 280 - 0.00000 - - 0s
0 0 0.00000 0 293 - 0.00000 - - 1s
0 0 0.00000 0 418 - 0.00000 - - 2s
0 0 0.00000 0 356 - 0.00000 - - 3s
0 0 0.00000 0 342 - 0.00000 - - 4s
0 0 0.00000 0 320 - 0.00000 - - 6s
0 0 0.00000 0 266 - 0.00000 - - 7s
0 0 0.00000 0 254 - 0.00000 - - 9s
0 0 0.00000 0 372 - 0.00000 - - 9s
0 0 0.00000 0 344 - 0.00000 - - 11s
0 0 0.00000 0 399 - 0.00000 - - 12s
0 0 0.00000 0 370 - 0.00000 - - 13s
0 0 0.00000 0 426 - 0.00000 - - 14s
0 0 0.00000 0 382 - 0.00000 - - 15s
0 2 0.00000 0 382 - 0.00000 - - 16s
102 33 0.00000 15 349 - 0.00000 - 267 20s
323 55 0.00000 17 339 - 0.00000 - 224 25s
561 47 0.00000 14 338 - 0.00000 - 212 30s
764 50 infeasible 14 - 0.00000 - 214 35s
903 66 0.00000 13 293 - 0.00000 - 214 40s
905 68 0.00000 12 351 - 0.00000 - 214 45s
907 69 0.00000 14 367 - 0.00000 - 213 50s
912 72 infeasible 11 - 0.00000 - 254 55s
1006 59 0.00000 21 377 - 0.00000 - 268 60s
1089 38 0.00000 27 354 - 0.00000 - 283 65s
1193 20 0.00000 18 373 - 0.00000 - 293 70s
1299 24 infeasible 27 - 0.00000 - 301 75s
1392 23 infeasible 22 - 0.00000 - 310 80s
1483 18 infeasible 24 - 0.00000 - 318 85s
1571 28 0.00000 26 276 - 0.00000 - 325 90s
1658 23 0.00000 17 395 - 0.00000 - 332 95s
1762 39 infeasible 29 - 0.00000 - 335 100s
1846 33 infeasible 25 - 0.00000 - 341 105s
1931 28 infeasible 23 - 0.00000 - 347 110s
2015 26 infeasible 22 - 0.00000 - 352 115s
2106 33 infeasible 27 - 0.00000 - 356 120s
2191 30 0.00000 25 353 - 0.00000 - 360 125s
2277 22 0.00000 26 352 - 0.00000 - 365 130s
2374 31 0.00000 25 345 - 0.00000 - 366 135s
2491 26 0.00000 21 359 - 0.00000 - 365 140s
2590 21 infeasible 26 - 0.00000 - 367 145s
2691 30 infeasible 23 - 0.00000 - 368 150s
2790 39 0.00000 28 362 - 0.00000 - 370 155s
2883 36 infeasible 28 - 0.00000 - 371 160s
2970 27 0.00000 26 363 - 0.00000 - 374 165s
3072 25 0.00000 22 353 - 0.00000 - 375 170s
3163 32 0.00000 27 365 - 0.00000 - 377 175s
3254 35 infeasible 30 - 0.00000 - 379 180s
3350 43 infeasible 26 - 0.00000 - 380 185s
3446 45 0.00000 25 378 - 0.00000 - 381 190s
3539 38 infeasible 32 - 0.00000 - 382 195s
3615 32 infeasible 28 - 0.00000 - 385 200s
3719 33 0.00000 24 380 - 0.00000 - 385 205s
3803 29 0.00000 23 362 - 0.00000 - 387 210s
3897 33 0.00000 25 346 - 0.00000 - 388 215s
3978 32 infeasible 28 - 0.00000 - 390 220s
4070 30 infeasible 23 - 0.00000 - 391 225s
4159 23 infeasible 25 - 0.00000 - 392 230s
4257 31 0.00000 25 354 - 0.00000 - 393 235s
4347 25 0.00000 21 387 - 0.00000 - 394 240s
4435 27 0.00000 27 355 - 0.00000 - 395 245s
4534 24 infeasible 20 - 0.00000 - 395 250s
4626 30 infeasible 26 - 0.00000 - 396 255s
4712 34 0.00000 25 364 - 0.00000 - 397 260s
4779 23 infeasible 20 - 0.00000 - 399 265s
4855 19 infeasible 29 - 0.00000 - 401 270s
Cutting planes:
Clique: 8
Zero half: 9
Explored 4935 nodes (2058145 simplex iterations) in 274.71 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