current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:09:56 2012 Optimize a model with 49014 rows, 8714 columns and 154602 nonzeros Presolve time: 0.16s Presolved: 49014 rows, 8714 columns, 154602 nonzeros Variable types: 0 continuous, 8714 integer (8714 binary) Root relaxation: objective 0.000000e+00, 338 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 (627 simplex iterations) in 0.28 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:09:57 2012 Optimize a model with 24182 rows, 4682 columns and 76074 nonzeros Presolve time: 0.11s Presolved: 24182 rows, 4682 columns, 76074 nonzeros Variable types: 0 continuous, 4682 integer (4682 binary) Root relaxation: objective 0.000000e+00, 340 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 (637 simplex iterations) in 0.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: 0 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:09:58 2012 Optimize a model with 11766 rows, 2666 columns and 36810 nonzeros Presolve time: 0.04s Presolved: 11766 rows, 2666 columns, 36810 nonzeros Variable types: 0 continuous, 2666 integer (2666 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 (502 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 23:09:58 2012 Optimize a model with 5558 rows, 1658 columns and 17178 nonzeros Presolve time: 0.01s Presolved: 5558 rows, 1658 columns, 17178 nonzeros Variable types: 0 continuous, 1658 integer (1658 binary) Root relaxation: objective 0.000000e+00, 264 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 (1373 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 23:09:58 2012 Optimize a model with 2454 rows, 1154 columns and 7362 nonzeros Presolve time: 0.01s Presolved: 2454 rows, 1154 columns, 7362 nonzeros Variable types: 0 continuous, 1154 integer (1154 binary) Root relaxation: objective 0.000000e+00, 276 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 206 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4326 simplex iterations) in 0.48 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 23:09:59 2012 Optimize a model with 4006 rows, 1406 columns and 12270 nonzeros Presolve time: 0.01s Presolved: 4006 rows, 1406 columns, 12270 nonzeros Variable types: 0 continuous, 1406 integer (1406 binary) Root relaxation: objective 0.000000e+00, 274 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 251 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 212 - 0.00000 - - 2s 0 0 0.00000 0 211 - 0.00000 - - 2s 0 0 0.00000 0 271 - 0.00000 - - 2s 0 0 0.00000 0 169 - 0.00000 - - 3s 0 0 0.00000 0 217 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 197 - 0.00000 - - 5s 0 2 0.00000 0 194 - 0.00000 - - 6s 603 152 0.00000 17 293 - 0.00000 - 90.2 11s 607 155 0.00000 17 294 - 0.00000 - 89.6 15s 613 159 0.00000 18 262 - 0.00000 - 88.7 20s 890 184 0.00000 37 279 - 0.00000 - 161 25s 1224 207 0.00000 36 259 - 0.00000 - 171 30s 1564 239 infeasible 30 - 0.00000 - 180 35s 1890 281 0.00000 23 224 - 0.00000 - 186 40s 2217 342 0.00000 33 273 - 0.00000 - 189 45s 2525 410 0.00000 24 226 - 0.00000 - 193 50s 2844 459 infeasible 32 - 0.00000 - 196 55s 3171 486 infeasible 35 - 0.00000 - 198 60s 3470 499 infeasible 39 - 0.00000 - 200 65s 3822 573 infeasible 25 - 0.00000 - 200 70s 4162 663 0.00000 33 208 - 0.00000 - 200 75s 4513 722 infeasible 35 - 0.00000 - 200 80s 4840 755 0.00000 25 260 - 0.00000 - 200 85s 5095 766 infeasible 33 - 0.00000 - 203 90s 5411 808 infeasible 32 - 0.00000 - 204 95s 5713 842 0.00000 28 237 - 0.00000 - 205 100s 6015 862 infeasible 31 - 0.00000 - 206 105s 6340 867 infeasible 31 - 0.00000 - 207 110s 6650 881 infeasible 31 - 0.00000 - 208 115s 6950 861 infeasible 30 - 0.00000 - 209 120s 7283 904 0.00000 26 237 - 0.00000 - 208 125s 7586 921 0.00000 27 288 - 0.00000 - 209 130s 7897 924 0.00000 28 265 - 0.00000 - 210 135s 8274 951 infeasible 38 - 0.00000 - 209 140s 8684 947 infeasible 33 - 0.00000 - 208 145s 9064 957 0.00000 36 202 - 0.00000 - 208 150s 9366 955 infeasible 35 - 0.00000 - 208 155s 9699 970 infeasible 31 - 0.00000 - 208 160s 10034 977 infeasible 38 - 0.00000 - 208 165s 10347 974 0.00000 33 242 - 0.00000 - 209 170s 10678 969 0.00000 30 210 - 0.00000 - 209 175s 11027 1004 0.00000 24 236 - 0.00000 - 209 180s 11410 1003 infeasible 29 - 0.00000 - 208 185s 11719 984 0.00000 26 284 - 0.00000 - 209 190s 12015 994 0.00000 30 262 - 0.00000 - 210 195s 12301 992 0.00000 33 254 - 0.00000 - 210 200s 12585 1000 infeasible 32 - 0.00000 - 211 205s 12898 983 infeasible 32 - 0.00000 - 211 210s 13202 987 infeasible 32 - 0.00000 - 211 215s 13521 1014 infeasible 28 - 0.00000 - 211 220s 13903 1040 infeasible 30 - 0.00000 - 211 225s 14270 1023 infeasible 28 - 0.00000 - 210 230s 14606 1019 infeasible 29 - 0.00000 - 210 235s 14922 1007 0.00000 27 251 - 0.00000 - 211 240s 15218 1013 0.00000 29 274 - 0.00000 - 211 245s 15578 1021 0.00000 31 260 - 0.00000 - 211 250s 15900 1035 infeasible 30 - 0.00000 - 211 255s 16236 1054 0.00000 31 272 - 0.00000 - 211 260s 16577 1055 infeasible 35 - 0.00000 - 211 265s 16886 1070 infeasible 36 - 0.00000 - 211 270s 17213 1067 0.00000 39 216 - 0.00000 - 211 275s 17564 1074 0.00000 31 246 - 0.00000 - 211 280s 17895 1095 infeasible 27 - 0.00000 - 211 285s 18229 1091 infeasible 38 - 0.00000 - 211 290s 18524 1088 0.00000 31 249 - 0.00000 - 212 295s Cutting planes: Gomory: 1 Clique: 1 Zero half: 18 Explored 18649 nodes (3985310 simplex iterations) in 296.79 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:14:55 2012 Optimize a model with 4782 rows, 1532 columns and 14724 nonzeros Presolve time: 0.01s Presolved: 4782 rows, 1532 columns, 14724 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 273 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 199 - 0.00000 - - 0s Explored 0 nodes (918 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7