current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:21 2012 Optimize a model with 48384 rows, 8704 columns and 152712 nonzeros Presolve time: 0.16s Presolved: 48384 rows, 8704 columns, 152712 nonzeros Variable types: 0 continuous, 8704 integer (8704 binary) Root relaxation: objective 0.000000e+00, 339 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 (623 simplex iterations) in 0.28 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:21 2012 Optimize a model with 23872 rows, 4672 columns and 75144 nonzeros Presolve time: 0.11s Presolved: 23872 rows, 4672 columns, 75144 nonzeros Variable types: 0 continuous, 4672 integer (4672 binary) Root relaxation: objective 0.000000e+00, 309 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 (579 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:22 2012 Optimize a model with 11616 rows, 2656 columns and 36360 nonzeros Presolve time: 0.04s Presolved: 11616 rows, 2656 columns, 36360 nonzeros Variable types: 0 continuous, 2656 integer (2656 binary) Root relaxation: objective 0.000000e+00, 257 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 (514 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:22 2012 Optimize a model with 5488 rows, 1648 columns and 16968 nonzeros Presolve time: 0.01s Presolved: 5488 rows, 1648 columns, 16968 nonzeros Variable types: 0 continuous, 1648 integer (1648 binary) Root relaxation: objective 0.000000e+00, 259 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 (1509 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:22 2012 Optimize a model with 2424 rows, 1144 columns and 7272 nonzeros Presolve time: 0.01s Presolved: 2424 rows, 1144 columns, 7272 nonzeros Variable types: 0 continuous, 1144 integer (1144 binary) Root relaxation: objective 0.000000e+00, 266 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 196 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4546 simplex iterations) in 0.46 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:19:23 2012 Optimize a model with 3956 rows, 1396 columns and 12120 nonzeros Presolve time: 0.01s Presolved: 3956 rows, 1396 columns, 12120 nonzeros Variable types: 0 continuous, 1396 integer (1396 binary) Root relaxation: objective 0.000000e+00, 279 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 213 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 265 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 227 - 0.00000 - - 3s 0 0 0.00000 0 217 - 0.00000 - - 3s 0 0 0.00000 0 233 - 0.00000 - - 4s 0 0 0.00000 0 247 - 0.00000 - - 4s 0 0 0.00000 0 247 - 0.00000 - - 4s 0 2 0.00000 0 247 - 0.00000 - - 5s 805 50 0.00000 22 308 - 0.00000 - 68.4 10s 810 53 0.00000 22 289 - 0.00000 - 68.0 15s 817 60 0.00000 15 251 - 0.00000 - 119 20s 1266 126 0.00000 34 204 - 0.00000 - 136 25s 1732 202 0.00000 31 255 - 0.00000 - 146 30s 2139 245 infeasible 36 - 0.00000 - 155 35s 2541 257 0.00000 35 264 - 0.00000 - 162 40s 2998 292 0.00000 33 218 - 0.00000 - 165 45s 3414 368 0.00000 36 253 - 0.00000 - 167 50s 3826 430 infeasible 32 - 0.00000 - 169 55s 4244 494 infeasible 39 - 0.00000 - 171 60s 4717 519 0.00000 40 202 - 0.00000 - 172 65s 5163 537 0.00000 38 243 - 0.00000 - 173 70s 5609 553 0.00000 35 204 - 0.00000 - 173 75s 6070 568 infeasible 37 - 0.00000 - 173 80s 6518 564 0.00000 32 226 - 0.00000 - 174 85s 6944 546 0.00000 35 260 - 0.00000 - 175 90s 7405 609 infeasible 38 - 0.00000 - 174 95s 7876 598 0.00000 33 248 - 0.00000 - 174 100s 8375 605 infeasible 36 - 0.00000 - 174 105s 8803 625 0.00000 31 218 - 0.00000 - 174 110s 9222 648 0.00000 35 228 - 0.00000 - 175 115s 9658 690 infeasible 34 - 0.00000 - 175 120s 10107 755 infeasible 35 - 0.00000 - 175 125s 10609 791 infeasible 32 - 0.00000 - 175 130s 11082 828 0.00000 38 207 - 0.00000 - 175 135s 11542 876 infeasible 37 - 0.00000 - 174 140s 11987 935 0.00000 35 261 - 0.00000 - 175 145s 12409 945 0.00000 37 202 - 0.00000 - 175 150s 12829 987 0.00000 27 259 - 0.00000 - 175 155s 13285 1003 infeasible 33 - 0.00000 - 175 160s 13718 1002 infeasible 38 - 0.00000 - 176 165s 14200 992 infeasible 30 - 0.00000 - 176 170s 14654 1034 infeasible 37 - 0.00000 - 176 175s 15144 1030 0.00000 42 212 - 0.00000 - 175 180s 15591 1013 0.00000 35 206 - 0.00000 - 175 185s 16005 1037 0.00000 34 208 - 0.00000 - 176 190s 16449 1027 infeasible 36 - 0.00000 - 176 195s 16890 1052 0.00000 32 271 - 0.00000 - 176 200s 17325 1051 infeasible 32 - 0.00000 - 176 205s 17749 1029 0.00000 30 220 - 0.00000 - 176 210s 18149 1049 infeasible 36 - 0.00000 - 176 215s 18617 1041 infeasible 31 - 0.00000 - 176 220s 19062 1036 0.00000 31 287 - 0.00000 - 176 225s 19504 1016 infeasible 34 - 0.00000 - 176 230s 19933 1013 infeasible 34 - 0.00000 - 177 235s 20406 1032 0.00000 38 225 - 0.00000 - 177 240s 20810 1028 infeasible 34 - 0.00000 - 177 245s 21217 1019 0.00000 40 243 - 0.00000 - 177 250s 21634 1024 infeasible 38 - 0.00000 - 177 255s 22072 1022 0.00000 33 271 - 0.00000 - 177 260s 22496 1018 0.00000 31 235 - 0.00000 - 178 265s 22925 995 0.00000 33 196 - 0.00000 - 178 270s 23336 1004 infeasible 34 - 0.00000 - 178 275s 23720 1008 0.00000 31 268 - 0.00000 - 178 280s 24199 1049 0.00000 37 188 - 0.00000 - 178 285s 24598 1036 infeasible 34 - 0.00000 - 178 290s 24975 1039 infeasible 35 - 0.00000 - 179 295s Cutting planes: Clique: 6 Zero half: 12 Explored 25108 nodes (4525299 simplex iterations) in 296.81 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:24:20 2012 Optimize a model with 4722 rows, 1522 columns and 14544 nonzeros Presolve time: 0.01s Presolved: 4722 rows, 1522 columns, 14544 nonzeros Variable types: 0 continuous, 1522 integer (1522 binary) Root relaxation: objective 0.000000e+00, 271 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 252 - 0.00000 - - 0s Explored 0 nodes (819 simplex iterations) in 0.04 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: 7