current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:48:00 2012 Optimize a model with 83220 rows, 11796 columns and 259880 nonzeros Presolve time: 0.23s Presolved: 83220 rows, 11796 columns, 259880 nonzeros Variable types: 0 continuous, 11796 integer (11796 binary) Root relaxation: objective 0.000000e+00, 361 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 (770 simplex iterations) in 0.45 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 15:48:01 2012 Optimize a model with 41114 rows, 6394 columns and 128160 nonzeros Presolve time: 0.15s Presolved: 41114 rows, 6394 columns, 128160 nonzeros Variable types: 0 continuous, 6394 integer (6394 binary) Root relaxation: objective 0.000000e+00, 419 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 (918 simplex iterations) in 0.27 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 15:48:02 2012 Optimize a model with 20630 rows, 3766 columns and 64080 nonzeros Presolve time: 0.07s Presolved: 20630 rows, 3766 columns, 64080 nonzeros Variable types: 0 continuous, 3766 integer (3766 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 (839 simplex iterations) in 0.13 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 15:48:02 2012 Optimize a model with 10388 rows, 2452 columns and 32040 nonzeros Presolve time: 0.03s Presolved: 10388 rows, 2452 columns, 32040 nonzeros Variable types: 0 continuous, 2452 integer (2452 binary) Root relaxation: objective 0.000000e+00, 302 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 (1106 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 15:48:02 2012 Optimize a model with 4698 rows, 1722 columns and 14240 nonzeros Presolve time: 0.01s Presolved: 4698 rows, 1722 columns, 14240 nonzeros Variable types: 0 continuous, 1722 integer (1722 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 288 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 1s 0 0 0.00000 0 504 - 0.00000 - - 2s 0 0 0.00000 0 502 - 0.00000 - - 3s 0 0 0.00000 0 494 - 0.00000 - - 4s 0 0 0.00000 0 483 - 0.00000 - - 5s 0 0 0.00000 0 487 - 0.00000 - - 7s 0 0 0.00000 0 498 - 0.00000 - - 8s 0 0 0.00000 0 497 - 0.00000 - - 9s 0 0 0.00000 0 488 - 0.00000 - - 10s 0 0 0.00000 0 499 - 0.00000 - - 12s 0 0 0.00000 0 486 - 0.00000 - - 13s 0 2 0.00000 0 486 - 0.00000 - - 14s Cutting planes: Clique: 17 Zero half: 23 Explored 5 nodes (63876 simplex iterations) in 14.59 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 15:48:17 2012 Optimize a model with 6974 rows, 2014 columns and 21360 nonzeros Presolve time: 0.02s Presolved: 6974 rows, 2014 columns, 21360 nonzeros Variable types: 0 continuous, 2014 integer (2014 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 276 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 313 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 4s 0 2 0.00000 0 395 - 0.00000 - - 6s 614 80 infeasible 32 - 0.00000 - 92.2 10s 706 127 0.00000 48 288 - 0.00000 - 93.3 15s 710 130 0.00000 36 343 - 0.00000 - 92.8 21s 714 133 0.00000 33 363 - 0.00000 - 92.3 25s 914 154 infeasible 51 - 0.00000 - 173 30s * 917 59 50 0.0000000 0.00000 0.0% 174 30s Cutting planes: Gomory: 1 Clique: 3 Zero half: 2 Explored 918 nodes (184903 simplex iterations) in 30.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:48:47 2012 Optimize a model with 5836 rows, 1868 columns and 17800 nonzeros Presolve time: 0.02s Presolved: 5836 rows, 1868 columns, 17800 nonzeros Variable types: 0 continuous, 1868 integer (1868 binary) Root relaxation: objective 0.000000e+00, 322 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 164 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 438 - 0.00000 - - 2s 0 0 0.00000 0 431 - 0.00000 - - 2s 0 0 0.00000 0 422 - 0.00000 - - 3s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 425 - 0.00000 - - 4s 0 0 0.00000 0 426 - 0.00000 - - 6s 0 0 0.00000 0 425 - 0.00000 - - 7s 0 0 0.00000 0 423 - 0.00000 - - 8s 0 0 0.00000 0 426 - 0.00000 - - 8s 0 0 0.00000 0 436 - 0.00000 - - 9s 0 0 0.00000 0 435 - 0.00000 - - 10s 0 2 0.00000 0 435 - 0.00000 - - 12s 66 22 0.00000 18 378 - 0.00000 - 342 15s 220 32 0.00000 19 359 - 0.00000 - 282 20s 413 27 infeasible 16 - 0.00000 - 248 25s 549 52 0.00000 20 363 - 0.00000 - 256 30s 603 64 0.00000 24 438 - 0.00000 - 255 35s 606 66 0.00000 18 426 - 0.00000 - 254 41s 607 67 0.00000 16 423 - 0.00000 - 254 45s 609 68 0.00000 17 421 - 0.00000 - 253 50s 611 70 0.00000 7 412 - 0.00000 - 252 55s 613 71 0.00000 23 413 - 0.00000 - 251 62s 614 72 0.00000 16 410 - 0.00000 - 251 65s 616 73 0.00000 15 406 - 0.00000 - 250 71s 619 75 0.00000 11 406 - 0.00000 - 249 75s 667 77 infeasible 24 - 0.00000 - 360 80s 742 55 infeasible 26 - 0.00000 - 369 85s 810 24 0.00000 23 385 - 0.00000 - 380 90s 884 19 infeasible 31 - 0.00000 - 387 95s 966 25 0.00000 30 378 - 0.00000 - 389 100s 1056 23 infeasible 37 - 0.00000 - 390 105s 1142 35 0.00000 32 379 - 0.00000 - 391 110s 1228 43 0.00000 34 378 - 0.00000 - 392 115s 1315 40 infeasible 36 - 0.00000 - 394 120s 1401 48 infeasible 30 - 0.00000 - 394 125s 1505 58 infeasible 35 - 0.00000 - 391 130s 1602 57 infeasible 32 - 0.00000 - 390 135s 1675 46 infeasible 28 - 0.00000 - 394 140s 1742 40 infeasible 30 - 0.00000 - 399 145s 1822 36 0.00000 34 387 - 0.00000 - 401 150s 1922 39 infeasible 39 - 0.00000 - 399 155s 2005 25 infeasible 26 - 0.00000 - 400 160s 2096 20 infeasible 25 - 0.00000 - 400 165s 2177 23 0.00000 22 385 - 0.00000 - 400 170s 2253 37 0.00000 29 371 - 0.00000 - 402 175s 2340 50 0.00000 30 384 - 0.00000 - 402 180s 2433 69 infeasible 39 - 0.00000 - 401 185s 2506 64 infeasible 27 - 0.00000 - 403 190s 2569 61 infeasible 28 - 0.00000 - 407 195s 2638 56 infeasible 29 - 0.00000 - 410 200s 2708 52 0.00000 23 391 - 0.00000 - 412 205s 2783 53 0.00000 30 369 - 0.00000 - 413 210s 2868 45 infeasible 28 - 0.00000 - 414 215s 2941 38 infeasible 26 - 0.00000 - 415 220s 2997 32 infeasible 31 - 0.00000 - 418 225s 3065 34 infeasible 31 - 0.00000 - 421 230s 3138 25 infeasible 26 - 0.00000 - 422 235s 3203 30 infeasible 30 - 0.00000 - 424 240s 3270 43 infeasible 28 - 0.00000 - 426 245s 3337 46 infeasible 27 - 0.00000 - 428 250s Cutting planes: Clique: 12 Zero half: 36 Explored 3346 nodes (1474620 simplex iterations) in 250.59 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