current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:10 2012 Optimize a model with 88801 rows, 12224 columns and 276982 nonzeros Presolve time: 0.25s Presolved: 88801 rows, 12224 columns, 276982 nonzeros Variable types: 0 continuous, 12224 integer (12224 binary) Root relaxation: objective 0.000000e+00, 348 iterations, 0.10 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 (761 simplex iterations) in 0.48 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:11 2012 Optimize a model with 44475 rows, 6711 columns and 138491 nonzeros Presolve time: 0.16s Presolved: 44475 rows, 6711 columns, 138491 nonzeros Variable types: 0 continuous, 6711 integer (6711 binary) Root relaxation: objective 0.000000e+00, 451 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 (995 simplex iterations) in 0.30 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:12 2012 Optimize a model with 21713 rows, 3880 columns and 67374 nonzeros Presolve time: 0.08s Presolved: 21713 rows, 3880 columns, 67374 nonzeros Variable types: 0 continuous, 3880 integer (3880 binary) Root relaxation: objective 0.000000e+00, 421 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 (828 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:13 2012 Optimize a model with 10931 rows, 2539 columns and 33687 nonzeros Presolve time: 0.03s Presolved: 10931 rows, 2539 columns, 33687 nonzeros Variable types: 0 continuous, 2539 integer (2539 binary) Root relaxation: objective 0.000000e+00, 309 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 (1068 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:13 2012 Optimize a model with 4941 rows, 1794 columns and 14972 nonzeros Presolve time: 0.01s Presolved: 4941 rows, 1794 columns, 14972 nonzeros Variable types: 0 continuous, 1794 integer (1794 binary) Root relaxation: objective 0.000000e+00, 328 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 202 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9912 simplex iterations) in 1.54 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: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:14:15 2012 Optimize a model with 7337 rows, 2092 columns and 22458 nonzeros Presolve time: 0.02s Presolved: 7337 rows, 2092 columns, 22458 nonzeros Variable types: 0 continuous, 2092 integer (2092 binary) Root relaxation: objective 0.000000e+00, 309 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 146 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 283 - 0.00000 - - 5s 0 0 0.00000 0 269 - 0.00000 - - 6s 0 0 0.00000 0 160 - 0.00000 - - 7s 0 0 0.00000 0 257 - 0.00000 - - 8s 0 0 0.00000 0 284 - 0.00000 - - 9s 0 0 0.00000 0 280 - 0.00000 - - 10s 0 0 0.00000 0 279 - 0.00000 - - 11s 0 0 0.00000 0 188 - 0.00000 - - 12s 0 0 0.00000 0 271 - 0.00000 - - 13s 0 0 0.00000 0 191 - 0.00000 - - 14s 0 2 0.00000 0 191 - 0.00000 - - 17s 132 85 0.00000 12 320 - 0.00000 - 165 20s 512 267 0.00000 19 328 - 0.00000 - 154 25s 605 332 0.00000 18 313 - 0.00000 - 153 33s 607 333 0.00000 13 309 - 0.00000 - 153 37s 609 334 0.00000 20 262 - 0.00000 - 152 41s 611 336 0.00000 13 269 - 0.00000 - 152 45s 613 337 0.00000 13 276 - 0.00000 - 151 50s 617 340 0.00000 35 256 - 0.00000 - 150 55s 626 344 0.00000 17 355 - 0.00000 - 269 60s 675 374 0.00000 41 313 - 0.00000 - 265 65s 855 352 infeasible 46 - 0.00000 - 266 70s 1025 364 0.00000 35 341 - 0.00000 - 264 75s 1224 366 0.00000 40 278 - 0.00000 - 262 80s 1407 324 0.00000 49 320 - 0.00000 - 266 85s 1678 255 infeasible 50 - 0.00000 - 261 90s 1887 252 0.00000 48 271 - 0.00000 - 262 95s 2081 276 0.00000 41 289 - 0.00000 - 262 100s 2290 293 infeasible 51 - 0.00000 - 263 105s 2479 300 0.00000 47 259 - 0.00000 - 265 110s 2709 340 infeasible 60 - 0.00000 - 262 115s 2958 431 0.00000 51 266 - 0.00000 - 258 120s 3179 446 infeasible 58 - 0.00000 - 259 125s 3417 464 0.00000 52 283 - 0.00000 - 257 130s 3666 543 infeasible 63 - 0.00000 - 255 135s 3892 563 0.00000 60 310 - 0.00000 - 256 140s 4100 585 0.00000 61 253 - 0.00000 - 258 145s 4318 593 infeasible 65 - 0.00000 - 258 150s 4566 625 infeasible 62 - 0.00000 - 258 155s 4828 635 infeasible 61 - 0.00000 - 258 160s 5055 642 infeasible 55 - 0.00000 - 258 165s 5320 705 0.00000 50 246 - 0.00000 - 257 170s 5549 728 infeasible 59 - 0.00000 - 257 175s 5804 773 infeasible 56 - 0.00000 - 257 180s 6061 806 infeasible 55 - 0.00000 - 256 185s 6358 843 infeasible 60 - 0.00000 - 255 190s 6627 840 infeasible 57 - 0.00000 - 255 195s 6863 854 infeasible 57 - 0.00000 - 255 200s 7138 873 infeasible 54 - 0.00000 - 254 205s 7394 857 infeasible 56 - 0.00000 - 254 210s 7624 845 0.00000 49 290 - 0.00000 - 255 215s 7863 852 infeasible 59 - 0.00000 - 255 220s 8137 854 infeasible 59 - 0.00000 - 254 225s 8388 857 0.00000 55 228 - 0.00000 - 254 230s 8623 848 infeasible 63 - 0.00000 - 254 235s 8891 890 infeasible 57 - 0.00000 - 254 240s 9135 928 0.00000 46 230 - 0.00000 - 254 245s 9400 985 0.00000 58 289 - 0.00000 - 253 250s 9647 1022 0.00000 63 260 - 0.00000 - 253 255s 9891 1046 0.00000 62 280 - 0.00000 - 253 260s 10111 1072 0.00000 62 281 - 0.00000 - 253 265s 10338 1107 infeasible 59 - 0.00000 - 254 270s 10585 1126 0.00000 57 279 - 0.00000 - 254 275s 10830 1147 0.00000 53 256 - 0.00000 - 254 280s 11074 1131 infeasible 56 - 0.00000 - 254 285s 11295 1114 0.00000 59 219 - 0.00000 - 254 290s Cutting planes: Clique: 4 Zero half: 5 Explored 11455 nodes (2996272 simplex iterations) in 293.51 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: 6 -- 9 time exhausted Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:19:08 2012