current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:16:24 2012 Optimize a model with 72384 rows, 15968 columns and 231768 nonzeros Presolve time: 0.22s Presolved: 72384 rows, 15968 columns, 231768 nonzeros Variable types: 0 continuous, 15968 integer (15968 binary) Root relaxation: objective 0.000000e+00, 645 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 (1053 simplex iterations) in 0.39 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:16:25 2012 Optimize a model with 35864 rows, 8312 columns and 114552 nonzeros Presolve time: 0.15s Presolved: 35864 rows, 8312 columns, 114552 nonzeros Variable types: 0 continuous, 8312 integer (8312 binary) Root relaxation: objective 0.000000e+00, 600 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 (1016 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:16:26 2012 Optimize a model with 17604 rows, 4484 columns and 55944 nonzeros Presolve time: 0.07s Presolved: 17604 rows, 4484 columns, 55944 nonzeros Variable types: 0 continuous, 4484 integer (4484 binary) Root relaxation: objective 0.000000e+00, 364 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 (688 simplex iterations) in 0.10 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:16:26 2012 Optimize a model with 8474 rows, 2570 columns and 26640 nonzeros Presolve time: 0.03s Presolved: 8474 rows, 2570 columns, 26640 nonzeros Variable types: 0 continuous, 2570 integer (2570 binary) Root relaxation: objective 0.000000e+00, 360 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 (697 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:16:26 2012 Optimize a model with 4324 rows, 1700 columns and 13320 nonzeros Presolve time: 0.01s Presolved: 4324 rows, 1700 columns, 13320 nonzeros Variable types: 0 continuous, 1700 integer (1700 binary) Root relaxation: objective 0.000000e+00, 384 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 123 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 4 Clique: 19 Zero half: 58 Explored 0 nodes (3397 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:16:26 2012 Optimize a model with 1834 rows, 1178 columns and 5328 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1660 rows, 1004 columns, 4980 nonzeros Variable types: 0 continuous, 1004 integer (1004 binary) Root relaxation: objective 0.000000e+00, 180 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (752 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:16:27 2012 Optimize a model with 2664 rows, 1352 columns and 7992 nonzeros Presolve time: 0.01s Presolved: 2664 rows, 1352 columns, 7992 nonzeros Variable types: 0 continuous, 1352 integer (1352 binary) Root relaxation: objective 0.000000e+00, 379 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 346 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4296 simplex iterations) in 0.53 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:16:27 2012 Optimize a model with 3494 rows, 1526 columns and 10656 nonzeros Presolve time: 0.01s Presolved: 3494 rows, 1526 columns, 10656 nonzeros Variable types: 0 continuous, 1526 integer (1526 binary) Root relaxation: objective 0.000000e+00, 400 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 328 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 3s 0 0 0.00000 0 276 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 269 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 2 0.00000 0 272 - 0.00000 - - 6s 394 85 0.00000 17 308 - 0.00000 - 134 10s 616 124 0.00000 6 316 - 0.00000 - 130 15s 698 131 0.00000 22 286 - 0.00000 - 170 20s 1064 50 infeasible 30 - 0.00000 - 183 25s 1386 50 0.00000 27 314 - 0.00000 - 194 30s 1693 47 0.00000 28 388 - 0.00000 - 201 35s 1999 47 infeasible 21 - 0.00000 - 205 40s 2293 53 infeasible 22 - 0.00000 - 208 45s 2587 47 infeasible 20 - 0.00000 - 212 50s 2883 37 infeasible 22 - 0.00000 - 215 55s 3161 31 0.00000 20 325 - 0.00000 - 218 60s 3441 17 infeasible 27 - 0.00000 - 220 65s 3725 19 infeasible 22 - 0.00000 - 221 70s 3997 15 infeasible 22 - 0.00000 - 223 75s Cutting planes: Clique: 1 Zero half: 5 Explored 4245 nodes (1005249 simplex iterations) in 79.60 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