current bounds on the number of colors: 0 -- 162 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:28 2012 Optimize a model with 57348 rows, 13828 columns and 184680 nonzeros Presolve time: 0.17s Presolved: 57348 rows, 13828 columns, 184680 nonzeros Variable types: 0 continuous, 13828 integer (13828 binary) Root relaxation: objective 0.000000e+00, 669 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 (1087 simplex iterations) in 0.33 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:29 2012 Optimize a model with 28402 rows, 7186 columns and 91200 nonzeros Presolve time: 0.14s Presolved: 28402 rows, 7186 columns, 91200 nonzeros Variable types: 0 continuous, 7186 integer (7186 binary) Root relaxation: objective 0.000000e+00, 441 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 (782 simplex iterations) in 0.19 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:30 2012 Optimize a model with 14282 rows, 3946 columns and 45600 nonzeros Presolve time: 0.05s Presolved: 14282 rows, 3946 columns, 45600 nonzeros Variable types: 0 continuous, 3946 integer (3946 binary) Root relaxation: objective 0.000000e+00, 379 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 (685 simplex iterations) in 0.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: 0 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:30 2012 Optimize a model with 7222 rows, 2326 columns and 22800 nonzeros Presolve time: 0.02s Presolved: 7222 rows, 2326 columns, 22800 nonzeros Variable types: 0 continuous, 2326 integer (2326 binary) Root relaxation: objective 0.000000e+00, 350 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 (857 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:30 2012 Optimize a model with 3692 rows, 1516 columns and 11400 nonzeros Presolve time: 0.01s Presolved: 3692 rows, 1516 columns, 11400 nonzeros Variable types: 0 continuous, 1516 integer (1516 binary) Root relaxation: objective 0.000000e+00, 378 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 (1812 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:28:30 2012 Optimize a model with 1574 rows, 1030 columns and 4560 nonzeros Presolve removed 162 rows and 162 columns Presolve time: 0.00s Presolved: 1412 rows, 868 columns, 4236 nonzeros Variable types: 0 continuous, 868 integer (868 binary) Root relaxation: objective 0.000000e+00, 169 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 162 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (675 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 19:28:30 2012 Optimize a model with 2280 rows, 1192 columns and 6840 nonzeros Presolve time: 0.01s Presolved: 2280 rows, 1192 columns, 6840 nonzeros Variable types: 0 continuous, 1192 integer (1192 binary) Root relaxation: objective 0.000000e+00, 386 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 448 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 39 Zero half: 415 Explored 0 nodes (6942 simplex iterations) in 0.85 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 19:28:31 2012 Optimize a model with 2986 rows, 1354 columns and 9120 nonzeros Presolve time: 0.01s Presolved: 2986 rows, 1354 columns, 9120 nonzeros Variable types: 0 continuous, 1354 integer (1354 binary) Root relaxation: objective 0.000000e+00, 372 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 314 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 264 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 0 0.00000 0 248 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 2 0.00000 0 360 - 0.00000 - - 4s 10 8 0.00000 8 278 - 0.00000 - 276 5s 807 62 0.00000 19 330 - 0.00000 - 80.8 10s 940 75 0.00000 28 286 - 0.00000 - 114 15s 1475 71 infeasible 32 - 0.00000 - 134 20s 2111 131 0.00000 31 266 - 0.00000 - 138 25s 2716 132 0.00000 29 291 - 0.00000 - 142 30s 3241 141 infeasible 33 - 0.00000 - 147 35s 3758 106 infeasible 35 - 0.00000 - 151 40s 4240 102 infeasible 33 - 0.00000 - 155 45s 4703 125 0.00000 26 256 - 0.00000 - 159 50s 5227 115 0.00000 30 276 - 0.00000 - 161 55s 5743 91 infeasible 29 - 0.00000 - 162 60s 6262 78 0.00000 25 282 - 0.00000 - 163 65s 6788 78 0.00000 20 321 - 0.00000 - 164 70s 7322 74 infeasible 27 - 0.00000 - 164 75s 7818 70 infeasible 27 - 0.00000 - 166 80s 8369 93 0.00000 28 288 - 0.00000 - 166 85s 8941 99 0.00000 30 258 - 0.00000 - 166 90s 9497 89 0.00000 28 252 - 0.00000 - 166 95s 9988 94 infeasible 30 - 0.00000 - 166 100s 10579 83 infeasible 29 - 0.00000 - 166 105s 11066 66 infeasible 35 - 0.00000 - 166 110s 11644 110 0.00000 28 292 - 0.00000 - 166 115s 12221 101 infeasible 24 - 0.00000 - 166 120s 12822 152 infeasible 31 - 0.00000 - 165 125s 13398 140 0.00000 28 270 - 0.00000 - 165 130s 13948 138 infeasible 27 - 0.00000 - 165 135s 14471 141 0.00000 28 236 - 0.00000 - 165 140s 15071 131 infeasible 29 - 0.00000 - 165 145s 15604 132 infeasible 28 - 0.00000 - 165 150s 16085 114 infeasible 27 - 0.00000 - 166 155s 16603 104 infeasible 26 - 0.00000 - 166 160s 17144 161 0.00000 21 282 - 0.00000 - 166 165s 17719 172 0.00000 24 268 - 0.00000 - 166 170s 18299 198 infeasible 30 - 0.00000 - 166 175s 18871 206 infeasible 27 - 0.00000 - 166 180s 19496 223 infeasible 32 - 0.00000 - 165 185s 20071 204 infeasible 29 - 0.00000 - 165 190s 20630 178 infeasible 25 - 0.00000 - 165 195s 21193 147 0.00000 31 294 - 0.00000 - 165 200s 21778 156 0.00000 29 268 - 0.00000 - 165 205s 22348 124 0.00000 26 260 - 0.00000 - 165 210s 22876 116 infeasible 29 - 0.00000 - 165 215s 23400 98 infeasible 28 - 0.00000 - 165 220s 23867 101 0.00000 30 289 - 0.00000 - 166 225s 24393 91 infeasible 31 - 0.00000 - 166 230s 24907 77 0.00000 22 328 - 0.00000 - 166 235s 25411 71 infeasible 29 - 0.00000 - 166 240s 25942 66 infeasible 30 - 0.00000 - 166 245s 26498 68 infeasible 31 - 0.00000 - 166 250s 26995 61 0.00000 26 268 - 0.00000 - 167 255s 27550 52 0.00000 30 296 - 0.00000 - 167 260s 28075 45 infeasible 30 - 0.00000 - 167 265s 28619 29 infeasible 31 - 0.00000 - 167 270s 29137 21 0.00000 27 318 - 0.00000 - 167 275s 29596 12 infeasible 30 - 0.00000 - 167 280s Cutting planes: Gomory: 1 Zero half: 5 Explored 29909 nodes (5048411 simplex iterations) in 283.15 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