current bounds on the number of colors: 0 -- 115 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:21:18 2012 Optimize a model with 37678 rows, 7214 columns and 119244 nonzeros Presolve time: 0.15s Presolved: 37678 rows, 7214 columns, 119244 nonzeros Variable types: 0 continuous, 7214 integer (7214 binary) Root relaxation: objective 0.000000e+00, 295 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 (567 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 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:21:19 2012 Optimize a model with 18567 rows, 3879 columns and 58576 nonzeros Presolve time: 0.08s Presolved: 18567 rows, 3879 columns, 58576 nonzeros Variable types: 0 continuous, 3879 integer (3879 binary) Root relaxation: objective 0.000000e+00, 263 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 (529 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:21:19 2012 Optimize a model with 9341 rows, 2269 columns and 29288 nonzeros Presolve time: 0.03s Presolved: 9341 rows, 2269 columns, 29288 nonzeros Variable types: 0 continuous, 2269 integer (2269 binary) Root relaxation: objective 0.000000e+00, 232 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 (450 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:21:19 2012 Optimize a model with 4728 rows, 1464 columns and 14644 nonzeros Presolve time: 0.01s Presolved: 4728 rows, 1464 columns, 14644 nonzeros Variable types: 0 continuous, 1464 integer (1464 binary) Root relaxation: objective 0.000000e+00, 248 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 (579 simplex iterations) in 0.03 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:21:20 2012 Optimize a model with 2092 rows, 1004 columns and 6276 nonzeros Presolve time: 0.01s Presolved: 2092 rows, 1004 columns, 6276 nonzeros Variable types: 0 continuous, 1004 integer (1004 binary) Root relaxation: objective 0.000000e+00, 250 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 228 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3469 simplex iterations) in 0.36 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:21:20 2012 Optimize a model with 3410 rows, 1234 columns and 10460 nonzeros Presolve time: 0.01s Presolved: 3410 rows, 1234 columns, 10460 nonzeros Variable types: 0 continuous, 1234 integer (1234 binary) Root relaxation: objective 0.000000e+00, 250 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 159 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 186 - 0.00000 - - 1s 0 0 0.00000 0 164 - 0.00000 - - 1s 0 0 0.00000 0 189 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 2s 0 2 0.00000 0 224 - 0.00000 - - 3s 603 108 0.00000 22 202 - 0.00000 - 56.6 5s 610 113 0.00000 20 213 - 0.00000 - 55.9 10s * 656 100 31 0.0000000 0.00000 0.0% 92.8 12s Cutting planes: Clique: 1 Zero half: 9 Explored 657 nodes (85837 simplex iterations) in 12.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:21:32 2012 Optimize a model with 2751 rows, 1119 columns and 8368 nonzeros Presolve time: 0.01s Presolved: 2751 rows, 1119 columns, 8368 nonzeros Variable types: 0 continuous, 1119 integer (1119 binary) Root relaxation: objective 0.000000e+00, 247 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 218 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 323 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 325 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 323 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 2 0.00000 0 330 - 0.00000 - - 4s 3 3 0.00000 2 317 - 0.00000 - 865 5s Cutting planes: Clique: 9 Zero half: 16 Explored 7 nodes (31139 simplex iterations) in 5.05 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