current bounds on the number of colors: 0 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:30:29 2012 Optimize a model with 24477 rows, 2553 columns and 74965 nonzeros Presolve time: 0.10s Presolved: 24477 rows, 2553 columns, 74965 nonzeros Variable types: 0 continuous, 2553 integer (2553 binary) Root relaxation: objective 0.000000e+00, 143 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 (397 simplex iterations) in 0.16 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:30:29 2012 Optimize a model with 11847 rows, 1668 columns and 36190 nonzeros Presolve time: 0.04s Presolved: 11847 rows, 1668 columns, 36190 nonzeros Variable types: 0 continuous, 1668 integer (1668 binary) Root relaxation: objective 0.000000e+00, 135 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 18 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1301 simplex iterations) in 0.15 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:30:29 2012 Optimize a model with 5953 rows, 1255 columns and 18095 nonzeros Presolve time: 0.02s Presolved: 5953 rows, 1255 columns, 18095 nonzeros Variable types: 0 continuous, 1255 integer (1255 binary) Root relaxation: objective 0.000000e+00, 119 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 64 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 369 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 2 0.00000 0 366 - 0.00000 - - 8s Cutting planes: Clique: 75 Zero half: 24 Explored 3 nodes (37198 simplex iterations) in 8.89 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:30:39 2012 Optimize a model with 8479 rows, 1432 columns and 25850 nonzeros Presolve time: 0.02s Presolved: 8479 rows, 1432 columns, 25850 nonzeros Variable types: 0 continuous, 1432 integer (1432 binary) Root relaxation: objective 0.000000e+00, 132 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 40 - 0.00000 - - 0s 0 0 0.00000 0 91 - 0.00000 - - 0s 0 0 0.00000 0 141 - 0.00000 - - 1s 0 0 0.00000 0 181 - 0.00000 - - 1s 0 0 0.00000 0 157 - 0.00000 - - 2s 0 0 0.00000 0 190 - 0.00000 - - 3s 0 0 0.00000 0 197 - 0.00000 - - 4s 0 0 0.00000 0 137 - 0.00000 - - 5s 0 0 0.00000 0 139 - 0.00000 - - 6s 0 0 0.00000 0 139 - 0.00000 - - 7s 0 2 0.00000 0 139 - 0.00000 - - 7s 265 21 0.00000 18 114 - 0.00000 - 88.1 10s 605 49 0.00000 24 154 - 0.00000 - 89.1 15s 609 51 0.00000 16 146 - 0.00000 - 88.5 20s 613 54 0.00000 8 169 - 0.00000 - 87.9 26s 617 57 0.00000 17 162 - 0.00000 - 87.3 30s 656 67 infeasible 31 - 0.00000 - 171 35s 989 41 0.00000 34 134 - 0.00000 - 162 40s 1371 51 0.00000 27 136 - 0.00000 - 158 45s 1714 56 infeasible 33 - 0.00000 - 159 50s 2032 40 0.00000 30 118 - 0.00000 - 161 55s 2359 63 0.00000 35 123 - 0.00000 - 161 60s 2712 114 infeasible 35 - 0.00000 - 161 65s 3068 102 0.00000 35 128 - 0.00000 - 160 70s 3465 121 infeasible 36 - 0.00000 - 159 75s 3808 113 0.00000 28 147 - 0.00000 - 159 80s 4156 111 infeasible 34 - 0.00000 - 159 85s 4483 84 0.00000 35 135 - 0.00000 - 160 90s 4830 64 infeasible 35 - 0.00000 - 161 95s 5140 52 0.00000 30 129 - 0.00000 - 162 100s 5516 56 infeasible 39 - 0.00000 - 161 105s 5880 65 infeasible 39 - 0.00000 - 161 110s 6273 60 0.00000 37 130 - 0.00000 - 160 115s 6628 55 0.00000 31 138 - 0.00000 - 160 120s 6961 60 infeasible 32 - 0.00000 - 161 125s 7361 92 0.00000 33 122 - 0.00000 - 160 130s 7746 73 infeasible 32 - 0.00000 - 160 135s 8138 73 infeasible 39 - 0.00000 - 159 140s 8516 55 infeasible 36 - 0.00000 - 159 145s 8887 59 infeasible 34 - 0.00000 - 159 150s 9312 67 infeasible 37 - 0.00000 - 158 155s 9677 40 0.00000 38 142 - 0.00000 - 158 160s 10077 52 infeasible 37 - 0.00000 - 158 165s 10426 45 infeasible 33 - 0.00000 - 158 170s 10782 39 infeasible 37 - 0.00000 - 158 175s 11133 38 infeasible 38 - 0.00000 - 158 180s 11492 29 0.00000 33 146 - 0.00000 - 158 185s 11833 33 infeasible 36 - 0.00000 - 158 190s 12142 26 infeasible 31 - 0.00000 - 159 195s 12518 30 infeasible 36 - 0.00000 - 159 200s 12861 21 infeasible 34 - 0.00000 - 159 205s 13279 23 infeasible 38 - 0.00000 - 158 210s 13625 27 0.00000 34 156 - 0.00000 - 158 215s 13961 23 0.00000 34 129 - 0.00000 - 159 220s 14283 29 infeasible 38 - 0.00000 - 159 225s 14614 32 infeasible 37 - 0.00000 - 159 230s 14943 39 0.00000 38 124 - 0.00000 - 159 235s 15293 43 0.00000 40 133 - 0.00000 - 159 240s 15647 45 0.00000 37 140 - 0.00000 - 159 245s 15974 36 infeasible 35 - 0.00000 - 160 250s 16294 20 0.00000 35 144 - 0.00000 - 160 255s 16572 42 0.00000 31 127 - 0.00000 - 160 260s 17059 59 infeasible 36 - 0.00000 - 159 265s 17507 69 0.00000 38 113 - 0.00000 - 158 270s 17954 62 0.00000 43 105 - 0.00000 - 158 275s 18381 40 infeasible 37 - 0.00000 - 158 280s 18831 44 infeasible 30 - 0.00000 - 157 285s Cutting planes: Clique: 17 Zero half: 4 Explored 19209 nodes (3053123 simplex iterations) in 289.72 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: 10 -- 14 time exhausted Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:35:28 2012