current bounds on the number of colors: 0 -- 123 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:54:13 2012 Optimize a model with 46483 rows, 8263 columns and 146583 nonzeros Presolve time: 0.16s Presolved: 46483 rows, 8263 columns, 146583 nonzeros Variable types: 0 continuous, 8263 integer (8263 binary) Root relaxation: objective 0.000000e+00, 325 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 (613 simplex iterations) in 0.27 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:54:14 2012 Optimize a model with 22923 rows, 4450 columns and 72090 nonzeros Presolve time: 0.10s Presolved: 22923 rows, 4450 columns, 72090 nonzeros Variable types: 0 continuous, 4450 integer (4450 binary) Root relaxation: objective 0.000000e+00, 298 iterations, 0.03 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 (551 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:54:14 2012 Optimize a model with 11523 rows, 2605 columns and 36045 nonzeros Presolve time: 0.04s Presolved: 11523 rows, 2605 columns, 36045 nonzeros Variable types: 0 continuous, 2605 integer (2605 binary) Root relaxation: objective 0.000000e+00, 254 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 (482 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:54:15 2012 Optimize a model with 5443 rows, 1621 columns and 16821 nonzeros Presolve time: 0.01s Presolved: 5443 rows, 1621 columns, 16821 nonzeros Variable types: 0 continuous, 1621 integer (1621 binary) Root relaxation: objective 0.000000e+00, 257 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 (1134 simplex iterations) in 0.07 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 21:54:15 2012 Optimize a model with 2403 rows, 1129 columns and 7209 nonzeros Presolve time: 0.01s Presolved: 2403 rows, 1129 columns, 7209 nonzeros Variable types: 0 continuous, 1129 integer (1129 binary) Root relaxation: objective 0.000000e+00, 262 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 224 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5052 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:54:15 2012 Optimize a model with 3923 rows, 1375 columns and 12015 nonzeros Presolve time: 0.01s Presolved: 3923 rows, 1375 columns, 12015 nonzeros Variable types: 0 continuous, 1375 integer (1375 binary) Root relaxation: objective 0.000000e+00, 259 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 136 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 170 - 0.00000 - - 1s 0 0 0.00000 0 166 - 0.00000 - - 2s 0 0 0.00000 0 162 - 0.00000 - - 2s 0 0 0.00000 0 156 - 0.00000 - - 2s 0 0 0.00000 0 231 - 0.00000 - - 2s 0 0 0.00000 0 219 - 0.00000 - - 3s 0 0 0.00000 0 173 - 0.00000 - - 3s 0 0 0.00000 0 180 - 0.00000 - - 4s 0 0 0.00000 0 188 - 0.00000 - - 4s 0 0 0.00000 0 188 - 0.00000 - - 4s 0 2 0.00000 0 188 - 0.00000 - - 5s 904 71 0.00000 18 305 - 0.00000 - 77.4 10s 910 75 0.00000 22 245 - 0.00000 - 76.9 15s 918 80 0.00000 11 206 - 0.00000 - 119 20s 1059 116 0.00000 33 256 - 0.00000 - 127 25s 1494 106 0.00000 24 227 - 0.00000 - 141 30s 1834 146 0.00000 22 272 - 0.00000 - 154 35s 2145 205 infeasible 26 - 0.00000 - 164 40s 2506 236 infeasible 31 - 0.00000 - 170 45s 2880 250 0.00000 26 176 - 0.00000 - 174 50s 3191 245 0.00000 25 196 - 0.00000 - 179 55s 3550 236 infeasible 26 - 0.00000 - 182 60s 3957 237 0.00000 29 258 - 0.00000 - 183 65s 4321 257 infeasible 29 - 0.00000 - 185 70s 4757 275 infeasible 25 - 0.00000 - 184 75s 5167 280 0.00000 27 261 - 0.00000 - 184 80s 5605 332 infeasible 30 - 0.00000 - 184 85s * 5615 1 30 0.0000000 0.00000 0.0% 184 85s Cutting planes: Zero half: 12 Explored 5616 nodes (1077014 simplex iterations) in 85.17 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 21:55:41 2012 Optimize a model with 3163 rows, 1252 columns and 9612 nonzeros Presolve time: 0.01s Presolved: 3163 rows, 1252 columns, 9612 nonzeros Variable types: 0 continuous, 1252 integer (1252 binary) Root relaxation: objective 0.000000e+00, 275 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 240 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 2s 0 0 0.00000 0 355 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 3s 0 0 0.00000 0 355 - 0.00000 - - 4s 0 2 0.00000 0 355 - 0.00000 - - 4s 6 2 infeasible 4 - 0.00000 - 676 5s Cutting planes: Clique: 14 Zero half: 18 Explored 25 nodes (27226 simplex iterations) in 5.54 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