current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:54:56 2012 Optimize a model with 61813 rows, 10223 columns and 194344 nonzeros Presolve time: 0.18s Presolved: 61813 rows, 10223 columns, 194344 nonzeros Variable types: 0 continuous, 10223 integer (10223 binary) Root relaxation: objective 0.000000e+00, 359 iterations, 0.07 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 (885 simplex iterations) in 0.38 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:54:57 2012 Optimize a model with 30975 rows, 5565 columns and 97172 nonzeros Presolve time: 0.14s Presolved: 30975 rows, 5565 columns, 97172 nonzeros Variable types: 0 continuous, 5565 integer (5565 binary) Root relaxation: objective 0.000000e+00, 322 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 (636 simplex iterations) in 0.22 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:54:58 2012 Optimize a model with 15556 rows, 3236 columns and 48586 nonzeros Presolve time: 0.05s Presolved: 15556 rows, 3236 columns, 48586 nonzeros Variable types: 0 continuous, 3236 integer (3236 binary) Root relaxation: objective 0.000000e+00, 276 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 (565 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:54:58 2012 Optimize a model with 7393 rows, 2003 columns and 22864 nonzeros Presolve time: 0.02s Presolved: 7393 rows, 2003 columns, 22864 nonzeros Variable types: 0 continuous, 2003 integer (2003 binary) Root relaxation: objective 0.000000e+00, 293 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 (965 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:54:58 2012 Optimize a model with 3765 rows, 1455 columns and 11432 nonzeros Presolve time: 0.01s Presolved: 3765 rows, 1455 columns, 11432 nonzeros Variable types: 0 continuous, 1455 integer (1455 binary) Root relaxation: objective 0.000000e+00, 302 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 272 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 410 - 0.00000 - - 4s 0 0 0.00000 0 400 - 0.00000 - - 5s 0 0 0.00000 0 394 - 0.00000 - - 6s 0 0 0.00000 0 391 - 0.00000 - - 7s 0 0 0.00000 0 387 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 10s 0 0 0.00000 0 390 - 0.00000 - - 10s 0 0 0.00000 0 387 - 0.00000 - - 11s 0 0 0.00000 0 402 - 0.00000 - - 12s 0 0 0.00000 0 392 - 0.00000 - - 13s 0 0 0.00000 0 396 - 0.00000 - - 14s 0 0 0.00000 0 396 - 0.00000 - - 14s 0 2 0.00000 0 396 - 0.00000 - - 15s Cutting planes: Clique: 13 Zero half: 23 Explored 33 nodes (69568 simplex iterations) in 17.47 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:55:16 2012 Optimize a model with 5579 rows, 1729 columns and 17148 nonzeros Presolve time: 0.01s Presolved: 5579 rows, 1729 columns, 17148 nonzeros Variable types: 0 continuous, 1729 integer (1729 binary) Root relaxation: objective 0.000000e+00, 293 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 266 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1373 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:55:16 2012 Optimize a model with 4672 rows, 1592 columns and 14290 nonzeros Presolve time: 0.01s Presolved: 4672 rows, 1592 columns, 14290 nonzeros Variable types: 0 continuous, 1592 integer (1592 binary) Root relaxation: objective 0.000000e+00, 294 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 266 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 212 - 0.00000 - - 3s 0 0 0.00000 0 196 - 0.00000 - - 4s 0 0 0.00000 0 221 - 0.00000 - - 4s 0 0 0.00000 0 247 - 0.00000 - - 5s 0 0 0.00000 0 247 - 0.00000 - - 6s 0 2 0.00000 0 169 - 0.00000 - - 6s 407 58 0.00000 25 222 - 0.00000 - 117 10s 705 102 0.00000 25 261 - 0.00000 - 112 15s 709 104 0.00000 18 348 - 0.00000 - 111 20s 806 127 0.00000 32 307 - 0.00000 - 168 25s 1053 67 0.00000 26 315 - 0.00000 - 185 30s 1296 96 infeasible 30 - 0.00000 - 197 35s 1540 82 infeasible 32 - 0.00000 - 206 40s 1759 71 infeasible 36 - 0.00000 - 215 45s 1979 75 infeasible 32 - 0.00000 - 222 50s 2181 69 0.00000 25 313 - 0.00000 - 228 55s 2414 82 infeasible 29 - 0.00000 - 230 60s 2624 78 infeasible 33 - 0.00000 - 234 65s 2862 78 infeasible 30 - 0.00000 - 236 70s 3094 90 infeasible 31 - 0.00000 - 237 75s 3320 76 infeasible 31 - 0.00000 - 239 80s 3554 90 0.00000 30 288 - 0.00000 - 240 85s 3842 108 infeasible 35 - 0.00000 - 238 90s 4068 108 infeasible 29 - 0.00000 - 240 95s 4279 113 0.00000 31 214 - 0.00000 - 241 100s 4520 144 0.00000 28 305 - 0.00000 - 241 105s 4766 152 infeasible 30 - 0.00000 - 241 110s 4970 154 0.00000 34 262 - 0.00000 - 243 115s 5209 157 0.00000 31 297 - 0.00000 - 244 120s 5430 180 0.00000 30 283 - 0.00000 - 244 125s 5626 170 0.00000 31 277 - 0.00000 - 247 130s 5878 160 0.00000 30 315 - 0.00000 - 247 135s 6084 166 infeasible 30 - 0.00000 - 248 140s 6344 186 infeasible 34 - 0.00000 - 248 145s 6601 175 0.00000 29 281 - 0.00000 - 247 150s 6827 171 0.00000 31 308 - 0.00000 - 248 155s 7046 170 0.00000 30 277 - 0.00000 - 248 160s 7286 164 0.00000 28 291 - 0.00000 - 248 165s 7486 156 infeasible 29 - 0.00000 - 249 170s 7681 141 infeasible 29 - 0.00000 - 251 175s 7888 146 infeasible 36 - 0.00000 - 252 180s 8085 139 infeasible 31 - 0.00000 - 253 185s 8293 133 infeasible 33 - 0.00000 - 253 190s 8521 133 0.00000 30 282 - 0.00000 - 253 195s 8725 137 infeasible 31 - 0.00000 - 254 200s 8940 138 infeasible 27 - 0.00000 - 254 205s 9115 125 0.00000 24 316 - 0.00000 - 255 210s 9360 122 infeasible 30 - 0.00000 - 255 215s 9589 129 infeasible 34 - 0.00000 - 255 220s 9805 129 infeasible 33 - 0.00000 - 255 225s 9981 117 infeasible 35 - 0.00000 - 256 230s 10186 126 0.00000 28 304 - 0.00000 - 257 235s 10387 131 0.00000 27 293 - 0.00000 - 257 240s 10596 132 0.00000 24 301 - 0.00000 - 258 245s 10802 122 0.00000 30 287 - 0.00000 - 258 250s 10994 100 infeasible 29 - 0.00000 - 259 255s 11205 103 infeasible 39 - 0.00000 - 259 260s 11439 95 infeasible 30 - 0.00000 - 259 265s 11666 112 infeasible 40 - 0.00000 - 259 270s 11904 104 infeasible 33 - 0.00000 - 259 275s Cutting planes: Gomory: 2 Clique: 1 Zero half: 9 Explored 12081 nodes (3177576 simplex iterations) in 278.80 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