current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:27:16 2012 Optimize a model with 58424 rows, 9848 columns and 183848 nonzeros Presolve time: 0.18s Presolved: 58424 rows, 9848 columns, 183848 nonzeros Variable types: 0 continuous, 9848 integer (9848 binary) Root relaxation: objective 0.000000e+00, 351 iterations, 0.07 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 (662 simplex iterations) in 0.33 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:27:17 2012 Optimize a model with 28844 rows, 5292 columns and 90552 nonzeros Presolve time: 0.13s Presolved: 28844 rows, 5292 columns, 90552 nonzeros Variable types: 0 continuous, 5292 integer (5292 binary) Root relaxation: objective 0.000000e+00, 315 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 (618 simplex iterations) in 0.19 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:27:17 2012 Optimize a model with 14054 rows, 3014 columns and 43904 nonzeros Presolve time: 0.05s Presolved: 14054 rows, 3014 columns, 43904 nonzeros Variable types: 0 continuous, 3014 integer (3014 binary) Root relaxation: objective 0.000000e+00, 272 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 (568 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:27:17 2012 Optimize a model with 7094 rows, 1942 columns and 21952 nonzeros Presolve time: 0.02s Presolved: 7094 rows, 1942 columns, 21952 nonzeros Variable types: 0 continuous, 1942 integer (1942 binary) Root relaxation: objective 0.000000e+00, 275 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 (630 simplex iterations) in 0.04 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 05:27:18 2012 Optimize a model with 3614 rows, 1406 columns and 10976 nonzeros Presolve time: 0.01s Presolved: 3614 rows, 1406 columns, 10976 nonzeros Variable types: 0 continuous, 1406 integer (1406 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.00000 0 194 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 389 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 383 - 0.00000 - - 5s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 7s 0 0 0.00000 0 383 - 0.00000 - - 8s 0 0 0.00000 0 380 - 0.00000 - - 8s 0 0 0.00000 0 377 - 0.00000 - - 9s 0 0 0.00000 0 395 - 0.00000 - - 10s 0 0 0.00000 0 398 - 0.00000 - - 11s 0 0 0.00000 0 396 - 0.00000 - - 11s 0 2 0.00000 0 396 - 0.00000 - - 12s Cutting planes: Clique: 14 Zero half: 20 Explored 15 nodes (49727 simplex iterations) in 13.06 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 05:27:31 2012 Optimize a model with 5354 rows, 1674 columns and 16464 nonzeros Presolve time: 0.01s Presolved: 5354 rows, 1674 columns, 16464 nonzeros Variable types: 0 continuous, 1674 integer (1674 binary) Root relaxation: objective 0.000000e+00, 290 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 118 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3158 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:27:31 2012 Optimize a model with 4484 rows, 1540 columns and 13720 nonzeros Presolve time: 0.01s Presolved: 4484 rows, 1540 columns, 13720 nonzeros Variable types: 0 continuous, 1540 integer (1540 binary) Root relaxation: objective 0.000000e+00, 275 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 260 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 220 - 0.00000 - - 1s 0 0 0.00000 0 289 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 0 0.00000 0 317 - 0.00000 - - 3s 0 2 0.00000 0 317 - 0.00000 - - 4s 49 37 infeasible 30 - 0.00000 - 223 5s 711 126 0.00000 20 192 - 0.00000 - 109 10s 715 129 0.00000 24 303 - 0.00000 - 108 15s 720 132 0.00000 13 295 - 0.00000 - 107 21s 724 135 0.00000 6 332 - 0.00000 - 107 25s 732 140 0.00000 25 313 - 0.00000 - 105 30s 909 120 infeasible 30 - 0.00000 - 202 35s 1219 57 infeasible 29 - 0.00000 - 207 40s 1522 56 infeasible 27 - 0.00000 - 210 45s 1802 62 0.00000 30 264 - 0.00000 - 214 50s 2032 72 0.00000 25 277 - 0.00000 - 221 55s 2285 61 0.00000 28 270 - 0.00000 - 225 60s 2563 65 0.00000 29 216 - 0.00000 - 225 65s 2855 93 infeasible 28 - 0.00000 - 225 70s 3110 116 0.00000 31 218 - 0.00000 - 228 75s 3389 115 infeasible 36 - 0.00000 - 228 80s 3603 99 0.00000 20 228 - 0.00000 - 232 85s 3868 104 infeasible 27 - 0.00000 - 233 90s 4148 112 infeasible 33 - 0.00000 - 234 95s 4380 78 infeasible 31 - 0.00000 - 237 100s 4583 75 infeasible 29 - 0.00000 - 239 105s 4870 102 infeasible 26 - 0.00000 - 239 110s 5164 116 0.00000 28 296 - 0.00000 - 238 115s 5434 110 0.00000 28 280 - 0.00000 - 238 120s 5691 121 infeasible 27 - 0.00000 - 238 125s 5930 126 0.00000 26 299 - 0.00000 - 240 130s 6181 119 0.00000 26 228 - 0.00000 - 240 135s 6417 95 infeasible 24 - 0.00000 - 241 140s 6664 114 0.00000 25 319 - 0.00000 - 242 145s 6898 120 infeasible 30 - 0.00000 - 243 150s 7116 118 infeasible 31 - 0.00000 - 244 155s 7368 136 infeasible 32 - 0.00000 - 245 160s 7658 132 0.00000 28 287 - 0.00000 - 244 165s 7905 117 0.00000 30 293 - 0.00000 - 245 170s 8146 122 infeasible 30 - 0.00000 - 245 175s 8374 115 infeasible 28 - 0.00000 - 246 180s 8638 137 0.00000 32 218 - 0.00000 - 246 185s 8876 115 infeasible 32 - 0.00000 - 247 190s 9131 112 infeasible 28 - 0.00000 - 247 195s 9364 101 0.00000 20 308 - 0.00000 - 248 200s 9547 110 0.00000 27 244 - 0.00000 - 249 205s 9744 103 0.00000 25 258 - 0.00000 - 250 210s 9979 108 infeasible 31 - 0.00000 - 251 215s 10234 117 infeasible 23 - 0.00000 - 251 220s 10503 116 0.00000 28 276 - 0.00000 - 251 225s 10692 105 infeasible 24 - 0.00000 - 252 230s 10896 113 infeasible 25 - 0.00000 - 253 235s 11106 109 infeasible 23 - 0.00000 - 253 240s 11333 130 0.00000 28 295 - 0.00000 - 254 245s 11567 146 infeasible 32 - 0.00000 - 254 250s 11807 146 0.00000 34 240 - 0.00000 - 254 255s 12041 160 0.00000 29 283 - 0.00000 - 254 260s 12327 136 infeasible 28 - 0.00000 - 254 265s 12578 151 0.00000 26 294 - 0.00000 - 254 270s 12897 132 0.00000 30 309 - 0.00000 - 253 275s 13109 130 0.00000 25 307 - 0.00000 - 253 280s Cutting planes: Clique: 4 Zero half: 15 Explored 13252 nodes (3388028 simplex iterations) in 283.34 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