current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:26:18 2012 Optimize a model with 67060 rows, 10756 columns and 210560 nonzeros Presolve time: 0.20s Presolved: 67060 rows, 10756 columns, 210560 nonzeros Variable types: 0 continuous, 10756 integer (10756 binary) Root relaxation: objective 0.000000e+00, 381 iterations, 0.08 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 (709 simplex iterations) in 0.37 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:26:19 2012 Optimize a model with 33600 rows, 5856 columns and 105280 nonzeros Presolve time: 0.15s Presolved: 33600 rows, 5856 columns, 105280 nonzeros Variable types: 0 continuous, 5856 integer (5856 binary) Root relaxation: objective 0.000000e+00, 439 iterations, 0.04 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 (808 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:26:19 2012 Optimize a model with 16392 rows, 3336 columns and 51136 nonzeros Presolve time: 0.06s Presolved: 16392 rows, 3336 columns, 51136 nonzeros Variable types: 0 continuous, 3336 integer (3336 binary) Root relaxation: objective 0.000000e+00, 281 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 (569 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:26:20 2012 Optimize a model with 7788 rows, 2076 columns and 24064 nonzeros Presolve time: 0.02s Presolved: 7788 rows, 2076 columns, 24064 nonzeros Variable types: 0 continuous, 2076 integer (2076 binary) Root relaxation: objective 0.000000e+00, 304 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 (716 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 10:26:20 2012 Optimize a model with 3964 rows, 1516 columns and 12032 nonzeros Presolve time: 0.01s Presolved: 3964 rows, 1516 columns, 12032 nonzeros Variable types: 0 continuous, 1516 integer (1516 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 280 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 430 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 410 - 0.00000 - - 5s 0 0 0.00000 0 408 - 0.00000 - - 6s 0 0 0.00000 0 405 - 0.00000 - - 7s 0 0 0.00000 0 413 - 0.00000 - - 7s 0 0 0.00000 0 401 - 0.00000 - - 8s 0 0 0.00000 0 391 - 0.00000 - - 9s 0 0 0.00000 0 398 - 0.00000 - - 10s 0 0 0.00000 0 410 - 0.00000 - - 11s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 2 0.00000 0 410 - 0.00000 - - 13s Cutting planes: Clique: 28 Zero half: 22 Explored 30 nodes (64368 simplex iterations) in 14.87 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 10:26:35 2012 Optimize a model with 5876 rows, 1796 columns and 18048 nonzeros Presolve time: 0.02s Presolved: 5876 rows, 1796 columns, 18048 nonzeros Variable types: 0 continuous, 1796 integer (1796 binary) Root relaxation: objective 0.000000e+00, 307 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 126 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s Cutting planes: Clique: 3 Explored 0 nodes (6950 simplex iterations) in 0.73 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 10:26:36 2012 Optimize a model with 4920 rows, 1656 columns and 15040 nonzeros Presolve time: 0.01s Presolved: 4920 rows, 1656 columns, 15040 nonzeros Variable types: 0 continuous, 1656 integer (1656 binary) Root relaxation: objective 0.000000e+00, 303 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 274 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 279 - 0.00000 - - 3s 0 0 0.00000 0 315 - 0.00000 - - 3s 0 0 0.00000 0 315 - 0.00000 - - 4s 0 2 0.00000 0 315 - 0.00000 - - 5s 395 55 infeasible 25 - 0.00000 - 137 10s 803 95 0.00000 17 228 - 0.00000 - 136 16s 807 98 0.00000 24 227 - 0.00000 - 135 21s 811 101 0.00000 20 172 - 0.00000 - 135 25s 814 103 0.00000 24 279 - 0.00000 - 134 30s 858 120 infeasible 33 - 0.00000 - 202 35s 1046 105 infeasible 33 - 0.00000 - 209 40s 1251 128 0.00000 20 324 - 0.00000 - 218 45s 1462 157 infeasible 39 - 0.00000 - 224 50s 1644 169 infeasible 33 - 0.00000 - 231 55s 1811 186 0.00000 42 312 - 0.00000 - 238 60s 1978 203 infeasible 42 - 0.00000 - 244 65s 2169 266 0.00000 32 250 - 0.00000 - 246 70s 2347 286 0.00000 29 325 - 0.00000 - 250 75s 2535 316 0.00000 31 309 - 0.00000 - 253 80s 2711 332 infeasible 33 - 0.00000 - 256 85s 2904 413 0.00000 24 333 - 0.00000 - 256 90s 3087 460 0.00000 25 320 - 0.00000 - 258 95s 3277 474 0.00000 34 254 - 0.00000 - 260 100s 3471 488 infeasible 39 - 0.00000 - 261 105s 3676 533 infeasible 44 - 0.00000 - 262 110s 3861 600 0.00000 24 341 - 0.00000 - 263 115s 4040 627 infeasible 38 - 0.00000 - 265 120s 4231 644 0.00000 31 302 - 0.00000 - 266 125s 4430 663 0.00000 32 255 - 0.00000 - 267 130s 4636 671 0.00000 31 278 - 0.00000 - 268 135s 4817 684 0.00000 28 267 - 0.00000 - 269 140s 5000 705 0.00000 28 322 - 0.00000 - 271 145s 5193 724 infeasible 31 - 0.00000 - 271 150s 5372 719 0.00000 31 313 - 0.00000 - 273 155s 5587 726 0.00000 33 236 - 0.00000 - 273 160s 5809 780 0.00000 40 236 - 0.00000 - 272 165s 6016 775 0.00000 32 251 - 0.00000 - 272 170s 6185 760 infeasible 33 - 0.00000 - 274 175s 6384 771 0.00000 28 325 - 0.00000 - 274 180s 6585 774 infeasible 33 - 0.00000 - 275 185s 6776 793 infeasible 37 - 0.00000 - 275 190s 6979 800 0.00000 26 305 - 0.00000 - 275 195s 7190 805 0.00000 33 296 - 0.00000 - 275 200s 7447 812 infeasible 37 - 0.00000 - 274 205s 7650 801 infeasible 36 - 0.00000 - 274 210s 7839 812 infeasible 34 - 0.00000 - 275 215s 8058 873 0.00000 42 230 - 0.00000 - 274 220s 8292 873 0.00000 43 248 - 0.00000 - 274 225s 8504 901 0.00000 40 303 - 0.00000 - 274 230s 8701 916 infeasible 38 - 0.00000 - 274 235s 8897 908 0.00000 36 299 - 0.00000 - 274 240s 9116 917 infeasible 43 - 0.00000 - 274 245s 9308 905 infeasible 41 - 0.00000 - 275 250s 9485 902 0.00000 42 319 - 0.00000 - 276 255s 9685 950 0.00000 37 284 - 0.00000 - 276 260s 9870 941 infeasible 41 - 0.00000 - 277 265s 10071 954 infeasible 41 - 0.00000 - 277 270s 10235 960 infeasible 34 - 0.00000 - 278 275s 10417 946 infeasible 36 - 0.00000 - 278 280s Cutting planes: Gomory: 2 Clique: 5 Zero half: 7 Explored 10438 nodes (2932285 simplex iterations) in 280.52 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