current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:15:39 2012 Optimize a model with 58101 rows, 14559 columns and 187663 nonzeros Presolve time: 0.17s Presolved: 58101 rows, 14559 columns, 187663 nonzeros Variable types: 0 continuous, 14559 integer (14559 binary) Root relaxation: objective 0.000000e+00, 598 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 (949 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:15:40 2012 Optimize a model with 28785 rows, 7545 columns and 92701 nonzeros Presolve time: 0.14s Presolved: 28785 rows, 7545 columns, 92701 nonzeros Variable types: 0 continuous, 7545 integer (7545 binary) Root relaxation: objective 0.000000e+00, 444 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 (791 simplex iterations) in 0.19 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:15:40 2012 Optimize a model with 14127 rows, 4038 columns and 45220 nonzeros Presolve time: 0.05s Presolved: 14127 rows, 4038 columns, 45220 nonzeros Variable types: 0 continuous, 4038 integer (4038 binary) Root relaxation: objective 0.000000e+00, 344 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 (681 simplex iterations) in 0.08 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:15:40 2012 Optimize a model with 7147 rows, 2368 columns and 22610 nonzeros Presolve time: 0.02s Presolved: 7147 rows, 2368 columns, 22610 nonzeros Variable types: 0 continuous, 2368 integer (2368 binary) Root relaxation: objective 0.000000e+00, 359 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 (937 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 20:15:41 2012 Optimize a model with 3657 rows, 1533 columns and 11305 nonzeros Presolve time: 0.01s Presolved: 3657 rows, 1533 columns, 11305 nonzeros Variable types: 0 continuous, 1533 integer (1533 binary) Root relaxation: objective 0.000000e+00, 358 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 72 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3036 simplex iterations) in 0.16 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 20:15:41 2012 Optimize a model with 1563 rows, 1032 columns and 4522 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1396 rows, 865 columns, 4188 nonzeros Variable types: 0 continuous, 865 integer (865 binary) Root relaxation: objective 0.000000e+00, 178 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 167 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (705 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 20:15:41 2012 Optimize a model with 2261 rows, 1199 columns and 6783 nonzeros Presolve time: 0.01s Presolved: 2261 rows, 1199 columns, 6783 nonzeros Variable types: 0 continuous, 1199 integer (1199 binary) Root relaxation: objective 0.000000e+00, 382 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 324 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4372 simplex iterations) in 0.43 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 20:15:41 2012 Optimize a model with 2959 rows, 1366 columns and 9044 nonzeros Presolve time: 0.01s Presolved: 2959 rows, 1366 columns, 9044 nonzeros Variable types: 0 continuous, 1366 integer (1366 binary) Root relaxation: objective 0.000000e+00, 381 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 310 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 375 - 0.00000 - - 2s 0 2 0.00000 0 375 - 0.00000 - - 2s 603 53 0.00000 15 357 - 0.00000 - 79.4 5s 610 58 0.00000 7 368 - 0.00000 - 78.5 10s 867 33 infeasible 22 - 0.00000 - 137 15s 1395 29 infeasible 22 - 0.00000 - 150 20s 1917 51 0.00000 24 298 - 0.00000 - 157 25s 2476 42 0.00000 22 264 - 0.00000 - 158 30s 2953 41 infeasible 20 - 0.00000 - 163 35s 3471 27 0.00000 23 307 - 0.00000 - 165 40s 3967 5 infeasible 21 - 0.00000 - 167 45s Cutting planes: Gomory: 3 Clique: 1 Zero half: 7 Explored 4003 nodes (686635 simplex iterations) in 45.53 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