current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:30:11 2012 Optimize a model with 67164 rows, 15908 columns and 216108 nonzeros Presolve time: 0.21s Presolved: 67164 rows, 15908 columns, 216108 nonzeros Variable types: 0 continuous, 15908 integer (15908 binary) Root relaxation: objective 0.000000e+00, 662 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 (1041 simplex iterations) in 0.37 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:30:12 2012 Optimize a model with 33284 rows, 8252 columns and 106812 nonzeros Presolve time: 0.15s Presolved: 33284 rows, 8252 columns, 106812 nonzeros Variable types: 0 continuous, 8252 integer (8252 binary) Root relaxation: objective 0.000000e+00, 588 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 (998 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:30:13 2012 Optimize a model with 16344 rows, 4424 columns and 52164 nonzeros Presolve time: 0.06s Presolved: 16344 rows, 4424 columns, 52164 nonzeros Variable types: 0 continuous, 4424 integer (4424 binary) Root relaxation: objective 0.000000e+00, 368 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 (693 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:30:13 2012 Optimize a model with 7874 rows, 2510 columns and 24840 nonzeros Presolve time: 0.02s Presolved: 7874 rows, 2510 columns, 24840 nonzeros Variable types: 0 continuous, 2510 integer (2510 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 (683 simplex iterations) in 0.04 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:30:13 2012 Optimize a model with 4024 rows, 1640 columns and 12420 nonzeros Presolve time: 0.01s Presolved: 4024 rows, 1640 columns, 12420 nonzeros Variable types: 0 continuous, 1640 integer (1640 binary) Root relaxation: objective 0.000000e+00, 373 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 82 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3668 simplex iterations) in 0.26 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:30:13 2012 Optimize a model with 1714 rows, 1118 columns and 4968 nonzeros Presolve removed 174 rows and 174 columns Presolve time: 0.00s Presolved: 1540 rows, 944 columns, 4620 nonzeros Variable types: 0 continuous, 944 integer (944 binary) Root relaxation: objective 0.000000e+00, 188 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 Explored 0 nodes (741 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:30:14 2012 Optimize a model with 2484 rows, 1292 columns and 7452 nonzeros Presolve time: 0.01s Presolved: 2484 rows, 1292 columns, 7452 nonzeros Variable types: 0 continuous, 1292 integer (1292 binary) Root relaxation: objective 0.000000e+00, 405 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 342 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4611 simplex iterations) in 0.47 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:30:14 2012 Optimize a model with 3254 rows, 1466 columns and 9936 nonzeros Presolve time: 0.01s Presolved: 3254 rows, 1466 columns, 9936 nonzeros Variable types: 0 continuous, 1466 integer (1466 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 324 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 2s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 0 0.00000 0 267 - 0.00000 - - 2s 0 0 0.00000 0 250 - 0.00000 - - 2s 0 0 0.00000 0 242 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 228 - 0.00000 - - 3s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 2 0.00000 0 230 - 0.00000 - - 4s 2 3 0.00000 1 345 - 0.00000 - 956 5s 685 46 0.00000 18 286 - 0.00000 - 121 10s 907 68 0.00000 5 262 - 0.00000 - 122 15s 912 71 0.00000 18 359 - 0.00000 - 122 20s 1103 43 0.00000 20 276 - 0.00000 - 173 25s 1401 52 0.00000 26 290 - 0.00000 - 191 30s 1684 59 0.00000 21 325 - 0.00000 - 203 35s 1998 51 0.00000 25 334 - 0.00000 - 209 40s 2286 53 infeasible 23 - 0.00000 - 215 45s 2551 44 infeasible 25 - 0.00000 - 221 50s 2834 37 0.00000 25 383 - 0.00000 - 225 55s 3132 7 infeasible 24 - 0.00000 - 227 60s Cutting planes: Clique: 3 Zero half: 5 Explored 3208 nodes (772481 simplex iterations) in 61.49 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