current bounds on the number of colors: 0 -- 173 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:00 2012 Optimize a model with 67597 rows, 15662 columns and 217150 nonzeros Presolve time: 0.21s Presolved: 67597 rows, 15662 columns, 217150 nonzeros Variable types: 0 continuous, 15662 integer (15662 binary) Root relaxation: objective 0.000000e+00, 713 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 (1110 simplex iterations) in 0.38 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:01 2012 Optimize a model with 33885 rows, 8223 columns and 108575 nonzeros Presolve time: 0.14s Presolved: 33885 rows, 8223 columns, 108575 nonzeros Variable types: 0 continuous, 8223 integer (8223 binary) Root relaxation: objective 0.000000e+00, 612 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 (985 simplex iterations) in 0.23 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:01 2012 Optimize a model with 16637 rows, 4417 columns and 53025 nonzeros Presolve time: 0.06s Presolved: 16637 rows, 4417 columns, 53025 nonzeros Variable types: 0 continuous, 4417 integer (4417 binary) Root relaxation: objective 0.000000e+00, 374 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 (901 simplex iterations) in 0.11 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:02 2012 Optimize a model with 8013 rows, 2514 columns and 25250 nonzeros Presolve time: 0.02s Presolved: 8013 rows, 2514 columns, 25250 nonzeros Variable types: 0 continuous, 2514 integer (2514 binary) Root relaxation: objective 0.000000e+00, 366 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 (686 simplex iterations) in 0.05 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:02 2012 Optimize a model with 4093 rows, 1649 columns and 12625 nonzeros Presolve time: 0.01s Presolved: 4093 rows, 1649 columns, 12625 nonzeros Variable types: 0 continuous, 1649 integer (1649 binary) Root relaxation: objective 0.000000e+00, 378 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 24 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3394 simplex iterations) in 0.18 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:02 2012 Optimize a model with 1741 rows, 1130 columns and 5050 nonzeros Presolve removed 173 rows and 173 columns Presolve time: 0.00s Presolved: 1568 rows, 957 columns, 4704 nonzeros Variable types: 0 continuous, 957 integer (957 binary) Root relaxation: objective 0.000000e+00, 185 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 173 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (744 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:02 2012 Optimize a model with 2525 rows, 1303 columns and 7575 nonzeros Presolve time: 0.01s Presolved: 2525 rows, 1303 columns, 7575 nonzeros Variable types: 0 continuous, 1303 integer (1303 binary) Root relaxation: objective 0.000000e+00, 399 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 340 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 448 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Clique: 1 Zero half: 957 Explored 0 nodes (7086 simplex iterations) in 0.92 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:14:03 2012 Optimize a model with 3309 rows, 1476 columns and 10100 nonzeros Presolve time: 0.01s Presolved: 3309 rows, 1476 columns, 10100 nonzeros Variable types: 0 continuous, 1476 integer (1476 binary) Root relaxation: objective 0.000000e+00, 393 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 332 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 302 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 288 - 0.00000 - - 2s 0 0 0.00000 0 294 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 288 - 0.00000 - - 3s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 0 0.00000 0 260 - 0.00000 - - 4s 0 0 0.00000 0 258 - 0.00000 - - 4s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 254 - 0.00000 - - 5s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 2 0.00000 0 254 - 0.00000 - - 6s 542 68 infeasible 21 - 0.00000 - 112 10s 1007 93 0.00000 7 308 - 0.00000 - 99.2 15s 1011 96 0.00000 20 382 - 0.00000 - 98.8 20s 1163 77 infeasible 26 - 0.00000 - 147 25s 1588 88 infeasible 35 - 0.00000 - 159 30s 1993 95 infeasible 28 - 0.00000 - 167 35s 2363 79 0.00000 24 296 - 0.00000 - 173 40s 2714 110 infeasible 27 - 0.00000 - 178 45s 3114 110 0.00000 32 296 - 0.00000 - 181 50s 3506 132 infeasible 31 - 0.00000 - 183 55s 3885 167 infeasible 26 - 0.00000 - 185 60s 4274 206 infeasible 36 - 0.00000 - 187 65s 4635 203 infeasible 31 - 0.00000 - 189 70s 5001 199 0.00000 27 306 - 0.00000 - 190 75s 5342 172 0.00000 25 350 - 0.00000 - 192 80s 5706 170 0.00000 26 370 - 0.00000 - 193 85s 6119 155 0.00000 26 329 - 0.00000 - 193 90s 6492 156 infeasible 23 - 0.00000 - 194 95s 6886 148 0.00000 28 352 - 0.00000 - 193 100s 7216 126 infeasible 26 - 0.00000 - 195 105s 7601 115 0.00000 24 349 - 0.00000 - 195 110s 7989 119 0.00000 27 375 - 0.00000 - 195 115s 8325 85 0.00000 21 351 - 0.00000 - 196 120s 8698 64 infeasible 24 - 0.00000 - 196 125s 9033 49 0.00000 22 329 - 0.00000 - 197 130s 9360 30 infeasible 25 - 0.00000 - 198 135s Cutting planes: Gomory: 1 Zero half: 22 Explored 9633 nodes (1970543 simplex iterations) in 138.99 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5