current bounds on the number of colors: 0 -- 192 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:03:57 2012 Optimize a model with 91200 rows, 19380 columns and 291456 nonzeros Presolve time: 0.30s Presolved: 91200 rows, 19380 columns, 291456 nonzeros Variable types: 0 continuous, 19380 integer (19380 binary) Root relaxation: objective 0.000000e+00, 815 iterations, 0.10 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 (1271 simplex iterations) in 0.53 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:03:59 2012 Optimize a model with 45696 rows, 10164 columns and 145728 nonzeros Presolve time: 0.16s Presolved: 45696 rows, 10164 columns, 145728 nonzeros Variable types: 0 continuous, 10164 integer (10164 binary) Root relaxation: objective 0.000000e+00, 673 iterations, 0.06 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 (1292 simplex iterations) in 0.31 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012 Optimize a model with 22944 rows, 5556 columns and 72864 nonzeros Presolve time: 0.09s Presolved: 22944 rows, 5556 columns, 72864 nonzeros Variable types: 0 continuous, 5556 integer (5556 binary) Root relaxation: objective 0.000000e+00, 439 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 (810 simplex iterations) in 0.15 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012 Optimize a model with 11568 rows, 3252 columns and 36432 nonzeros Presolve time: 0.04s Presolved: 11568 rows, 3252 columns, 36432 nonzeros Variable types: 0 continuous, 3252 integer (3252 binary) Root relaxation: objective 0.000000e+00, 395 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 (750 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012 Optimize a model with 5880 rows, 2100 columns and 18216 nonzeros Presolve time: 0.02s Presolved: 5880 rows, 2100 columns, 18216 nonzeros Variable types: 0 continuous, 2100 integer (2100 binary) Root relaxation: objective 0.000000e+00, 417 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 (1717 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:00 2012 Optimize a model with 3036 rows, 1524 columns and 9108 nonzeros Presolve time: 0.01s Presolved: 3036 rows, 1524 columns, 9108 nonzeros Variable types: 0 continuous, 1524 integer (1524 binary) Root relaxation: objective 0.000000e+00, 479 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 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5470 simplex iterations) in 0.84 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:04:01 2012 Optimize a model with 3984 rows, 1716 columns and 12144 nonzeros Presolve time: 0.01s Presolved: 3984 rows, 1716 columns, 12144 nonzeros Variable types: 0 continuous, 1716 integer (1716 binary) Root relaxation: objective 0.000000e+00, 436 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 374 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 335 - 0.00000 - - 6s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 0 0.00000 0 312 - 0.00000 - - 7s 0 0 0.00000 0 322 - 0.00000 - - 7s 0 0 0.00000 0 322 - 0.00000 - - 8s 0 2 0.00000 0 322 - 0.00000 - - 9s 66 26 0.00000 15 334 - 0.00000 - 202 10s 577 87 0.00000 19 367 - 0.00000 - 150 15s 609 89 0.00000 9 373 - 0.00000 - 149 20s 613 91 0.00000 18 352 - 0.00000 - 148 27s 615 93 0.00000 30 326 - 0.00000 - 147 31s 617 94 0.00000 30 316 - 0.00000 - 147 36s 619 95 0.00000 9 310 - 0.00000 - 147 40s 622 97 0.00000 16 310 - 0.00000 - 146 46s 702 91 0.00000 22 350 - 0.00000 - 284 50s 890 40 0.00000 19 418 - 0.00000 - 282 55s 1088 36 infeasible 30 - 0.00000 - 281 60s 1250 20 0.00000 19 352 - 0.00000 - 288 65s 1465 29 0.00000 19 374 - 0.00000 - 283 70s 1693 25 infeasible 23 - 0.00000 - 280 75s 1867 37 infeasible 26 - 0.00000 - 282 80s 2027 49 infeasible 25 - 0.00000 - 286 85s 2206 46 0.00000 22 346 - 0.00000 - 288 90s 2403 35 0.00000 21 385 - 0.00000 - 288 95s 2575 49 infeasible 26 - 0.00000 - 289 100s 2723 35 infeasible 23 - 0.00000 - 292 105s 2884 38 infeasible 22 - 0.00000 - 294 110s 3023 33 0.00000 19 447 - 0.00000 - 298 115s 3174 36 0.00000 24 425 - 0.00000 - 300 120s 3324 46 0.00000 23 346 - 0.00000 - 302 125s 3485 29 0.00000 23 450 - 0.00000 - 304 130s 3646 18 infeasible 25 - 0.00000 - 304 135s 3789 7 infeasible 24 - 0.00000 - 306 140s 3959 11 0.00000 20 348 - 0.00000 - 307 145s 4149 33 0.00000 20 396 - 0.00000 - 305 150s 4329 19 infeasible 32 - 0.00000 - 306 155s 4532 48 0.00000 30 390 - 0.00000 - 305 160s 4732 44 0.00000 26 352 - 0.00000 - 304 165s 4920 40 0.00000 22 338 - 0.00000 - 304 170s 5090 34 infeasible 29 - 0.00000 - 305 175s 5260 22 0.00000 21 448 - 0.00000 - 305 180s 5441 15 0.00000 21 360 - 0.00000 - 305 185s 5603 5 infeasible 20 - 0.00000 - 306 190s 5786 6 infeasible 25 - 0.00000 - 305 195s Cutting planes: Zero half: 17 Explored 5887 nodes (1861999 simplex iterations) in 197.79 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:07:19 2012 Optimize a model with 4932 rows, 1908 columns and 15180 nonzeros Presolve time: 0.01s Presolved: 4932 rows, 1908 columns, 15180 nonzeros Variable types: 0 continuous, 1908 integer (1908 binary) Root relaxation: objective 0.000000e+00, 410 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 176 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3778 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% optimal solution found: number of colors: 5