current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:21:49 2012 Optimize a model with 69256 rows, 16273 columns and 222728 nonzeros Presolve time: 0.21s Presolved: 69256 rows, 16273 columns, 222728 nonzeros Variable types: 0 continuous, 16273 integer (16273 binary) Root relaxation: objective 0.000000e+00, 615 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 (992 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:21:50 2012 Optimize a model with 34716 rows, 8529 columns and 111364 nonzeros Presolve time: 0.15s Presolved: 34716 rows, 8529 columns, 111364 nonzeros Variable types: 0 continuous, 8529 integer (8529 binary) Root relaxation: objective 0.000000e+00, 572 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 (958 simplex iterations) in 0.23 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:21:51 2012 Optimize a model with 17446 rows, 4657 columns and 55682 nonzeros Presolve time: 0.07s Presolved: 17446 rows, 4657 columns, 55682 nonzeros Variable types: 0 continuous, 4657 integer (4657 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (704 simplex iterations) in 0.10 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:21:51 2012 Optimize a model with 8811 rows, 2721 columns and 27841 nonzeros Presolve time: 0.03s Presolved: 8811 rows, 2721 columns, 27841 nonzeros Variable types: 0 continuous, 2721 integer (2721 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (723 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:21:51 2012 Optimize a model with 4101 rows, 1665 columns and 12655 nonzeros Presolve time: 0.01s Presolved: 4101 rows, 1665 columns, 12655 nonzeros Variable types: 0 continuous, 1665 integer (1665 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 (2658 simplex iterations) in 0.17 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 23:21:51 2012 Optimize a model with 1746 rows, 1137 columns and 5062 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1570 rows, 961 columns, 4710 nonzeros Variable types: 0 continuous, 961 integer (961 binary) Root relaxation: objective 0.000000e+00, 184 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 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (744 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 23:21:52 2012 Optimize a model with 2531 rows, 1313 columns and 7593 nonzeros Presolve time: 0.01s Presolved: 2531 rows, 1313 columns, 7593 nonzeros Variable types: 0 continuous, 1313 integer (1313 binary) Root relaxation: objective 0.000000e+00, 403 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 262 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6799 simplex iterations) in 0.70 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 23:21:52 2012 Optimize a model with 3316 rows, 1489 columns and 10124 nonzeros Presolve time: 0.01s Presolved: 3316 rows, 1489 columns, 10124 nonzeros Variable types: 0 continuous, 1489 integer (1489 binary) Root relaxation: objective 0.000000e+00, 405 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 334 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 290 - 0.00000 - - 3s 0 2 0.00000 0 290 - 0.00000 - - 3s 320 72 0.00000 19 288 - 0.00000 - 106 5s 608 105 0.00000 15 272 - 0.00000 - 90.5 10s 611 107 0.00000 13 395 - 0.00000 - 90.1 15s 616 110 0.00000 10 360 - 0.00000 - 89.4 20s 679 116 0.00000 24 389 - 0.00000 - 174 25s 1130 105 0.00000 23 286 - 0.00000 - 172 30s 1536 73 infeasible 29 - 0.00000 - 179 35s 1999 236 0.00000 25 296 - 0.00000 - 177 40s 2488 319 0.00000 24 286 - 0.00000 - 175 45s 2927 346 0.00000 29 294 - 0.00000 - 178 50s 3382 371 infeasible 32 - 0.00000 - 179 55s 3848 395 infeasible 33 - 0.00000 - 179 60s 4249 388 infeasible 36 - 0.00000 - 182 65s 4692 391 0.00000 28 284 - 0.00000 - 183 70s 5167 378 infeasible 31 - 0.00000 - 182 75s 5610 349 infeasible 32 - 0.00000 - 183 80s 6059 392 infeasible 33 - 0.00000 - 183 85s 6532 443 infeasible 30 - 0.00000 - 182 90s 6976 451 infeasible 41 - 0.00000 - 183 95s 7394 425 0.00000 31 344 - 0.00000 - 184 100s 7841 454 infeasible 42 - 0.00000 - 184 105s 8243 430 infeasible 33 - 0.00000 - 185 110s 8683 498 infeasible 28 - 0.00000 - 185 115s 9124 569 0.00000 31 302 - 0.00000 - 185 120s 9508 653 0.00000 32 310 - 0.00000 - 185 125s 9895 684 0.00000 33 292 - 0.00000 - 186 130s 10309 714 infeasible 36 - 0.00000 - 186 135s 10727 739 infeasible 35 - 0.00000 - 186 140s 11148 772 infeasible 36 - 0.00000 - 186 145s 11581 793 0.00000 30 296 - 0.00000 - 186 150s 12054 836 infeasible 32 - 0.00000 - 186 155s 12432 824 infeasible 32 - 0.00000 - 187 160s 12874 830 0.00000 27 349 - 0.00000 - 187 165s 13297 797 0.00000 33 308 - 0.00000 - 187 170s 13693 791 infeasible 33 - 0.00000 - 188 175s 14082 732 infeasible 32 - 0.00000 - 188 180s 14457 715 0.00000 31 302 - 0.00000 - 189 185s 14850 716 infeasible 29 - 0.00000 - 190 190s 15289 715 0.00000 36 278 - 0.00000 - 190 195s 15701 717 infeasible 28 - 0.00000 - 190 200s 16170 714 infeasible 37 - 0.00000 - 190 205s 16590 724 infeasible 33 - 0.00000 - 190 210s 17090 711 infeasible 38 - 0.00000 - 189 215s 17486 717 0.00000 30 298 - 0.00000 - 190 220s 17880 783 0.00000 29 310 - 0.00000 - 190 225s 18222 783 infeasible 36 - 0.00000 - 190 230s 18586 777 infeasible 29 - 0.00000 - 191 235s 19022 805 0.00000 33 300 - 0.00000 - 191 240s 19472 788 infeasible 30 - 0.00000 - 191 245s 19878 796 0.00000 30 302 - 0.00000 - 191 250s 20310 794 0.00000 29 318 - 0.00000 - 191 255s 20722 800 0.00000 26 286 - 0.00000 - 191 260s 21105 809 0.00000 32 334 - 0.00000 - 191 265s 21508 820 0.00000 28 327 - 0.00000 - 192 270s 21905 871 infeasible 34 - 0.00000 - 192 275s 22300 832 infeasible 32 - 0.00000 - 192 280s 22730 850 infeasible 27 - 0.00000 - 192 285s 23131 825 0.00000 29 323 - 0.00000 - 192 290s 23521 783 infeasible 37 - 0.00000 - 193 295s Cutting planes: Clique: 1 Zero half: 13 Explored 23530 nodes (4564181 simplex iterations) in 295.07 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: 5