current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:08:18 2012 Optimize a model with 61030 rows, 15166 columns and 197030 nonzeros Presolve time: 0.18s Presolved: 61030 rows, 15166 columns, 197030 nonzeros Variable types: 0 continuous, 15166 integer (15166 binary) Root relaxation: objective 0.000000e+00, 674 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 (1050 simplex iterations) in 0.34 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:08:19 2012 Optimize a model with 30242 rows, 7856 columns and 97356 nonzeros Presolve time: 0.14s Presolved: 30242 rows, 7856 columns, 97356 nonzeros Variable types: 0 continuous, 7856 integer (7856 binary) Root relaxation: objective 0.000000e+00, 450 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 (795 simplex iterations) in 0.20 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:08:19 2012 Optimize a model with 15206 rows, 4286 columns and 48678 nonzeros Presolve time: 0.06s Presolved: 15206 rows, 4286 columns, 48678 nonzeros Variable types: 0 continuous, 4286 integer (4286 binary) Root relaxation: objective 0.000000e+00, 357 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 (680 simplex iterations) in 0.09 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 21:08:20 2012 Optimize a model with 7330 rows, 2416 columns and 23180 nonzeros Presolve time: 0.02s Presolved: 7330 rows, 2416 columns, 23180 nonzeros Variable types: 0 continuous, 2416 integer (2416 binary) Root relaxation: objective 0.000000e+00, 362 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 (669 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 21:08:20 2012 Optimize a model with 3750 rows, 1566 columns and 11590 nonzeros Presolve time: 0.01s Presolved: 3750 rows, 1566 columns, 11590 nonzeros Variable types: 0 continuous, 1566 integer (1566 binary) Root relaxation: objective 0.000000e+00, 367 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 62 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2587 simplex iterations) in 0.12 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 21:08:20 2012 Optimize a model with 1602 rows, 1056 columns and 4636 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1432 rows, 886 columns, 4296 nonzeros Variable types: 0 continuous, 886 integer (886 binary) Root relaxation: objective 0.000000e+00, 181 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (722 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 21:08:20 2012 Optimize a model with 2318 rows, 1226 columns and 6954 nonzeros Presolve time: 0.01s Presolved: 2318 rows, 1226 columns, 6954 nonzeros Variable types: 0 continuous, 1226 integer (1226 binary) Root relaxation: objective 0.000000e+00, 395 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 254 - 0.00000 - - 0s 0 0 0.00000 0 323 - 0.00000 - - 0s 0 0 0.00000 0 440 - 0.00000 - - 0s 0 0 0.00000 0 449 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 836 Explored 0 nodes (10121 simplex iterations) in 1.15 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 21:08:21 2012 Optimize a model with 3034 rows, 1396 columns and 9272 nonzeros Presolve time: 0.01s Presolved: 3034 rows, 1396 columns, 9272 nonzeros Variable types: 0 continuous, 1396 integer (1396 binary) Root relaxation: objective 0.000000e+00, 371 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 316 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 263 - 0.00000 - - 2s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 2 0.00000 0 234 - 0.00000 - - 3s 428 90 0.00000 23 254 - 0.00000 - 92.3 5s 909 114 0.00000 15 377 - 0.00000 - 89.8 10s 1242 68 infeasible 25 - 0.00000 - 130 15s 1722 71 0.00000 26 332 - 0.00000 - 146 20s 2215 64 infeasible 28 - 0.00000 - 154 25s 2675 96 0.00000 28 312 - 0.00000 - 160 30s 3114 109 0.00000 25 322 - 0.00000 - 166 35s 3537 112 0.00000 27 280 - 0.00000 - 171 40s 4011 116 infeasible 28 - 0.00000 - 173 45s 4474 127 infeasible 26 - 0.00000 - 175 50s 4926 125 infeasible 25 - 0.00000 - 176 55s 5430 123 0.00000 25 280 - 0.00000 - 177 60s 5908 119 infeasible 29 - 0.00000 - 178 65s 6401 112 infeasible 30 - 0.00000 - 178 70s 6886 89 infeasible 27 - 0.00000 - 178 75s 7322 113 infeasible 25 - 0.00000 - 179 80s 7786 117 0.00000 25 270 - 0.00000 - 180 85s 8234 113 infeasible 22 - 0.00000 - 180 90s 8731 130 infeasible 26 - 0.00000 - 180 95s 9179 114 0.00000 29 256 - 0.00000 - 181 100s 9641 118 0.00000 23 264 - 0.00000 - 182 105s 10063 102 infeasible 24 - 0.00000 - 183 110s 10511 86 infeasible 26 - 0.00000 - 183 115s 10957 64 infeasible 23 - 0.00000 - 184 120s 11418 53 0.00000 28 352 - 0.00000 - 184 125s 11852 27 0.00000 27 272 - 0.00000 - 184 130s 12281 32 0.00000 20 268 - 0.00000 - 185 135s 12734 27 infeasible 23 - 0.00000 - 185 140s 13126 27 infeasible 25 - 0.00000 - 186 145s Cutting planes: Gomory: 1 Clique: 3 Zero half: 4 Explored 13438 nodes (2548193 simplex iterations) in 149.12 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