current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:36 2012 Optimize a model with 43680 rows, 7926 columns and 137880 nonzeros Presolve time: 0.16s Presolved: 43680 rows, 7926 columns, 137880 nonzeros Variable types: 0 continuous, 7926 integer (7926 binary) Root relaxation: objective 0.000000e+00, 320 iterations, 0.05 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 (635 simplex iterations) in 0.28 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:37 2012 Optimize a model with 21900 rows, 4326 columns and 68940 nonzeros Presolve time: 0.10s Presolved: 21900 rows, 4326 columns, 68940 nonzeros Variable types: 0 continuous, 4326 integer (4326 binary) Root relaxation: objective 0.000000e+00, 291 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 (538 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:37 2012 Optimize a model with 11010 rows, 2526 columns and 34470 nonzeros Presolve time: 0.04s Presolved: 11010 rows, 2526 columns, 34470 nonzeros Variable types: 0 continuous, 2526 integer (2526 binary) Root relaxation: objective 0.000000e+00, 241 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 (651 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:37 2012 Optimize a model with 5202 rows, 1566 columns and 16086 nonzeros Presolve time: 0.01s Presolved: 5202 rows, 1566 columns, 16086 nonzeros Variable types: 0 continuous, 1566 integer (1566 binary) Root relaxation: objective 0.000000e+00, 258 iterations, 0.00 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 (1152 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:37 2012 Optimize a model with 2298 rows, 1086 columns and 6894 nonzeros Presolve time: 0.01s Presolved: 2298 rows, 1086 columns, 6894 nonzeros Variable types: 0 continuous, 1086 integer (1086 binary) Root relaxation: objective 0.000000e+00, 266 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 194 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3941 simplex iterations) in 0.39 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:59:38 2012 Optimize a model with 3750 rows, 1326 columns and 11490 nonzeros Presolve time: 0.01s Presolved: 3750 rows, 1326 columns, 11490 nonzeros Variable types: 0 continuous, 1326 integer (1326 binary) Root relaxation: objective 0.000000e+00, 252 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 230 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 0s 0 0 0.00000 0 196 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 295 - 0.00000 - - 2s 0 0 0.00000 0 245 - 0.00000 - - 2s 0 0 0.00000 0 247 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 2 0.00000 0 290 - 0.00000 - - 4s 176 37 0.00000 27 170 - 0.00000 - 84.8 5s 607 103 0.00000 16 226 - 0.00000 - 75.6 10s 613 107 0.00000 26 254 - 0.00000 - 74.8 15s 949 102 infeasible 36 - 0.00000 - 139 20s 1404 125 0.00000 32 186 - 0.00000 - 154 25s 1956 155 infeasible 35 - 0.00000 - 154 30s 2407 170 infeasible 39 - 0.00000 - 160 35s 2845 216 infeasible 32 - 0.00000 - 164 40s 3220 243 0.00000 30 221 - 0.00000 - 169 45s 3646 287 0.00000 29 267 - 0.00000 - 171 50s 4061 316 infeasible 31 - 0.00000 - 173 55s 4544 325 infeasible 33 - 0.00000 - 174 60s 5028 351 0.00000 30 248 - 0.00000 - 174 65s 5471 394 0.00000 33 226 - 0.00000 - 175 70s * 5857 2 32 0.0000000 0.00000 0.0% 174 73s Cutting planes: Clique: 1 Zero half: 7 Explored 5858 nodes (1047585 simplex iterations) in 73.77 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:00:52 2012 Optimize a model with 3024 rows, 1206 columns and 9192 nonzeros Presolve time: 0.01s Presolved: 3024 rows, 1206 columns, 9192 nonzeros Variable types: 0 continuous, 1206 integer (1206 binary) Root relaxation: objective 0.000000e+00, 272 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 238 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 371 - 0.00000 - - 0s 0 0 0.00000 0 361 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 347 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 0 0.00000 0 339 - 0.00000 - - 7s 0 0 0.00000 0 332 - 0.00000 - - 7s 0 0 0.00000 0 331 - 0.00000 - - 8s 0 0 0.00000 0 331 - 0.00000 - - 8s 0 0 0.00000 0 332 - 0.00000 - - 9s 0 0 0.00000 0 332 - 0.00000 - - 9s 0 2 0.00000 0 332 - 0.00000 - - 10s Cutting planes: Clique: 20 Zero half: 23 Explored 43 nodes (47924 simplex iterations) in 11.19 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