current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:41 2012 Optimize a model with 89531 rows, 19739 columns and 286829 nonzeros Presolve time: 0.29s Presolved: 89531 rows, 19739 columns, 286829 nonzeros Variable types: 0 continuous, 19739 integer (19739 binary) Root relaxation: objective 0.000000e+00, 651 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 (1061 simplex iterations) in 0.46 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:43 2012 Optimize a model with 44402 rows, 10233 columns and 141936 nonzeros Presolve time: 0.15s Presolved: 44402 rows, 10233 columns, 141936 nonzeros Variable types: 0 continuous, 10233 integer (10233 binary) Root relaxation: objective 0.000000e+00, 533 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 (906 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:44 2012 Optimize a model with 22298 rows, 5577 columns and 70968 nonzeros Presolve time: 0.09s Presolved: 22298 rows, 5577 columns, 70968 nonzeros Variable types: 0 continuous, 5577 integer (5577 binary) Root relaxation: objective 0.000000e+00, 416 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 (772 simplex iterations) in 0.13 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:44 2012 Optimize a model with 11246 rows, 3249 columns and 35484 nonzeros Presolve time: 0.04s Presolved: 11246 rows, 3249 columns, 35484 nonzeros Variable types: 0 continuous, 3249 integer (3249 binary) Root relaxation: objective 0.000000e+00, 400 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 (946 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:44 2012 Optimize a model with 5720 rows, 2085 columns and 17742 nonzeros Presolve time: 0.02s Presolved: 5720 rows, 2085 columns, 17742 nonzeros Variable types: 0 continuous, 2085 integer (2085 binary) Root relaxation: objective 0.000000e+00, 423 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 (1430 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:44 2012 Optimize a model with 2957 rows, 1503 columns and 8871 nonzeros Presolve time: 0.01s Presolved: 2957 rows, 1503 columns, 8871 nonzeros Variable types: 0 continuous, 1503 integer (1503 binary) Root relaxation: objective 0.000000e+00, 451 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 384 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 550 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 55 Zero half: 513 Explored 0 nodes (8267 simplex iterations) in 1.29 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:46:46 2012 Optimize a model with 3878 rows, 1697 columns and 11828 nonzeros Presolve time: 0.01s Presolved: 3878 rows, 1697 columns, 11828 nonzeros Variable types: 0 continuous, 1697 integer (1697 binary) Root relaxation: objective 0.000000e+00, 446 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 370 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 381 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 2 0.00000 0 338 - 0.00000 - - 4s 58 16 0.00000 16 312 - 0.00000 - 196 5s 704 55 0.00000 22 493 - 0.00000 - 123 10s 708 58 0.00000 24 318 - 0.00000 - 122 16s 711 60 0.00000 4 304 - 0.00000 - 121 20s 714 62 0.00000 19 287 - 0.00000 - 121 26s 717 64 0.00000 16 284 - 0.00000 - 120 30s 959 62 0.00000 28 360 - 0.00000 - 212 35s 1307 100 0.00000 26 348 - 0.00000 - 212 40s 1613 110 infeasible 34 - 0.00000 - 216 45s 1938 109 0.00000 32 352 - 0.00000 - 218 50s 2226 91 infeasible 30 - 0.00000 - 222 55s 2563 84 infeasible 27 - 0.00000 - 221 60s 2869 88 infeasible 33 - 0.00000 - 223 65s 3230 91 infeasible 39 - 0.00000 - 221 70s 3546 73 0.00000 29 352 - 0.00000 - 222 75s 3846 45 0.00000 29 330 - 0.00000 - 224 80s 4237 64 infeasible 33 - 0.00000 - 220 85s 4651 92 infeasible 37 - 0.00000 - 217 90s 5038 109 infeasible 40 - 0.00000 - 216 95s 5428 133 infeasible 37 - 0.00000 - 214 100s 5829 134 infeasible 31 - 0.00000 - 212 105s 6223 158 infeasible 37 - 0.00000 - 211 110s 6627 130 0.00000 34 338 - 0.00000 - 210 115s 6950 137 infeasible 37 - 0.00000 - 211 120s 7353 152 0.00000 32 344 - 0.00000 - 210 125s 7706 115 infeasible 38 - 0.00000 - 210 130s 8056 121 infeasible 35 - 0.00000 - 210 135s 8420 147 infeasible 36 - 0.00000 - 210 140s 8780 137 infeasible 32 - 0.00000 - 210 145s 9104 117 0.00000 27 406 - 0.00000 - 210 150s 9469 150 infeasible 32 - 0.00000 - 210 155s 9814 159 infeasible 31 - 0.00000 - 210 160s 10185 166 0.00000 30 340 - 0.00000 - 210 165s 10558 161 infeasible 33 - 0.00000 - 210 170s 10901 162 infeasible 30 - 0.00000 - 211 175s 11232 143 0.00000 30 334 - 0.00000 - 211 180s 11575 124 0.00000 30 375 - 0.00000 - 212 185s 11920 105 0.00000 31 418 - 0.00000 - 212 190s 12222 97 0.00000 29 375 - 0.00000 - 212 195s 12543 114 infeasible 37 - 0.00000 - 212 200s 12875 114 0.00000 35 361 - 0.00000 - 213 205s 13195 98 0.00000 36 340 - 0.00000 - 213 210s 13551 92 infeasible 30 - 0.00000 - 213 215s 13925 70 0.00000 30 338 - 0.00000 - 212 220s 14205 64 0.00000 36 364 - 0.00000 - 213 225s 14533 62 infeasible 37 - 0.00000 - 213 230s 14862 59 0.00000 31 336 - 0.00000 - 213 235s 15214 61 0.00000 32 340 - 0.00000 - 213 240s 15552 67 infeasible 35 - 0.00000 - 213 245s 15901 72 0.00000 32 330 - 0.00000 - 213 250s 16261 68 infeasible 27 - 0.00000 - 213 255s 16551 70 0.00000 29 412 - 0.00000 - 213 260s 16873 86 infeasible 29 - 0.00000 - 213 265s 17205 98 infeasible 30 - 0.00000 - 213 270s 17543 92 0.00000 33 342 - 0.00000 - 213 275s 17870 75 infeasible 32 - 0.00000 - 214 280s 18182 63 infeasible 26 - 0.00000 - 214 285s 18497 76 0.00000 27 342 - 0.00000 - 214 290s Cutting planes: Gomory: 1 Zero half: 13 Explored 18739 nodes (4040779 simplex iterations) in 293.62 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:51:39 2012 Optimize a model with 4799 rows, 1891 columns and 14785 nonzeros Presolve time: 0.01s Presolved: 4799 rows, 1891 columns, 14785 nonzeros Variable types: 0 continuous, 1891 integer (1891 binary) Root relaxation: objective 0.000000e+00, 434 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 388 - 0.00000 - - 0s Explored 0 nodes (1010 simplex iterations) in 0.04 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: 6