current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:04:55 2012 Optimize a model with 58944 rows, 9111 columns and 184640 nonzeros Presolve time: 0.18s Presolved: 58944 rows, 9111 columns, 184640 nonzeros Variable types: 0 continuous, 9111 integer (9111 binary) Root relaxation: objective 0.000000e+00, 316 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 (678 simplex iterations) in 0.34 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:04:56 2012 Optimize a model with 29536 rows, 5015 columns and 92320 nonzeros Presolve time: 0.13s Presolved: 29536 rows, 5015 columns, 92320 nonzeros Variable types: 0 continuous, 5015 integer (5015 binary) Root relaxation: objective 0.000000e+00, 305 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 (671 simplex iterations) in 0.21 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:04:56 2012 Optimize a model with 14832 rows, 2967 columns and 46160 nonzeros Presolve time: 0.05s Presolved: 14832 rows, 2967 columns, 46160 nonzeros Variable types: 0 continuous, 2967 integer (2967 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 (534 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 01:04:56 2012 Optimize a model with 7480 rows, 1943 columns and 23080 nonzeros Presolve time: 0.02s Presolved: 7480 rows, 1943 columns, 23080 nonzeros Variable types: 0 continuous, 1943 integer (1943 binary) Root relaxation: objective 0.000000e+00, 273 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 (1316 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:04:57 2012 Optimize a model with 3804 rows, 1431 columns and 11540 nonzeros Presolve time: 0.01s Presolved: 3804 rows, 1431 columns, 11540 nonzeros Variable types: 0 continuous, 1431 integer (1431 binary) Root relaxation: objective 0.000000e+00, 285 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 158 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 411 - 0.00000 - - 3s 0 0 0.00000 0 407 - 0.00000 - - 4s 0 0 0.00000 0 403 - 0.00000 - - 5s 0 0 0.00000 0 409 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 8s 0 0 0.00000 0 412 - 0.00000 - - 9s 0 0 0.00000 0 403 - 0.00000 - - 10s 0 0 0.00000 0 401 - 0.00000 - - 11s 0 0 0.00000 0 402 - 0.00000 - - 12s 0 0 0.00000 0 402 - 0.00000 - - 13s 0 2 0.00000 0 402 - 0.00000 - - 14s Cutting planes: Clique: 27 Zero half: 7 Explored 9 nodes (56412 simplex iterations) in 14.60 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 01:05:11 2012 Optimize a model with 5642 rows, 1687 columns and 17310 nonzeros Presolve time: 0.01s Presolved: 5642 rows, 1687 columns, 17310 nonzeros Variable types: 0 continuous, 1687 integer (1687 binary) Root relaxation: objective 0.000000e+00, 269 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 236 - 0.00000 - - 0s 0 0 0.00000 0 233 - 0.00000 - - 0s 0 0 0.00000 0 287 - 0.00000 - - 1s 0 0 0.00000 0 307 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 15 Zero half: 72 Explored 0 nodes (18170 simplex iterations) in 2.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:05:14 2012 Optimize a model with 4723 rows, 1559 columns and 14425 nonzeros Presolve time: 0.01s Presolved: 4723 rows, 1559 columns, 14425 nonzeros Variable types: 0 continuous, 1559 integer (1559 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 254 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 245 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 5s 0 0 0.00000 0 277 - 0.00000 - - 5s 0 2 0.00000 0 277 - 0.00000 - - 6s 209 52 0.00000 21 216 - 0.00000 - 177 10s 524 72 0.00000 29 289 - 0.00000 - 166 15s 817 73 0.00000 26 216 - 0.00000 - 171 20s 906 83 0.00000 8 324 - 0.00000 - 169 25s 909 85 0.00000 8 327 - 0.00000 - 169 31s 912 87 0.00000 12 313 - 0.00000 - 168 36s 915 89 0.00000 8 333 - 0.00000 - 167 41s 918 91 0.00000 15 259 - 0.00000 - 167 46s 923 95 0.00000 12 314 - 0.00000 - 226 50s 963 107 0.00000 24 283 - 0.00000 - 227 55s 1129 72 infeasible 27 - 0.00000 - 235 60s 1286 53 infeasible 29 - 0.00000 - 245 65s 1426 37 infeasible 27 - 0.00000 - 255 70s 1565 36 0.00000 21 325 - 0.00000 - 262 75s 1681 42 0.00000 24 308 - 0.00000 - 272 80s 1805 40 infeasible 25 - 0.00000 - 278 85s 1955 44 infeasible 25 - 0.00000 - 281 90s 2137 50 infeasible 32 - 0.00000 - 281 95s 2268 35 0.00000 21 300 - 0.00000 - 286 100s 2422 47 0.00000 26 320 - 0.00000 - 288 105s 2552 43 infeasible 24 - 0.00000 - 293 110s 2684 61 infeasible 30 - 0.00000 - 296 115s 2807 54 infeasible 22 - 0.00000 - 300 120s 2951 52 infeasible 24 - 0.00000 - 302 125s 3088 61 infeasible 31 - 0.00000 - 304 130s 3222 73 infeasible 25 - 0.00000 - 306 135s 3359 78 infeasible 24 - 0.00000 - 308 140s 3514 83 infeasible 24 - 0.00000 - 309 145s 3668 71 infeasible 26 - 0.00000 - 310 150s 3826 85 0.00000 25 293 - 0.00000 - 310 155s 3984 79 infeasible 22 - 0.00000 - 311 160s 4138 79 infeasible 26 - 0.00000 - 311 165s 4272 67 infeasible 25 - 0.00000 - 312 170s 4412 67 infeasible 30 - 0.00000 - 314 175s 4574 71 infeasible 27 - 0.00000 - 313 180s 4730 99 0.00000 30 296 - 0.00000 - 313 185s 4878 89 0.00000 22 304 - 0.00000 - 314 190s 5023 96 infeasible 23 - 0.00000 - 315 195s 5201 100 infeasible 26 - 0.00000 - 314 200s 5335 94 infeasible 26 - 0.00000 - 315 205s 5484 93 0.00000 28 308 - 0.00000 - 315 210s 5638 89 infeasible 26 - 0.00000 - 316 215s 5798 91 infeasible 28 - 0.00000 - 316 220s 5945 88 infeasible 31 - 0.00000 - 316 225s 6072 81 0.00000 24 308 - 0.00000 - 318 230s 6222 73 0.00000 22 308 - 0.00000 - 318 235s 6376 69 infeasible 25 - 0.00000 - 318 240s 6530 67 0.00000 24 313 - 0.00000 - 318 245s 6665 70 0.00000 24 309 - 0.00000 - 319 250s 6788 71 0.00000 20 322 - 0.00000 - 320 255s 6914 75 0.00000 28 300 - 0.00000 - 321 260s 7052 67 infeasible 28 - 0.00000 - 322 265s 7173 62 infeasible 26 - 0.00000 - 323 270s 7318 57 infeasible 25 - 0.00000 - 323 275s Cutting planes: Clique: 11 Zero half: 11 Explored 7440 nodes (2444915 simplex iterations) in 279.47 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