current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:00 2012 Optimize a model with 81250 rows, 11842 columns and 254040 nonzeros Presolve time: 0.23s Presolved: 81250 rows, 11842 columns, 254040 nonzeros Variable types: 0 continuous, 11842 integer (11842 binary) Root relaxation: objective 0.000000e+00, 372 iterations, 0.09 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 (794 simplex iterations) in 0.45 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:01 2012 Optimize a model with 40143 rows, 6403 columns and 125280 nonzeros Presolve time: 0.15s Presolved: 40143 rows, 6403 columns, 125280 nonzeros Variable types: 0 continuous, 6403 integer (6403 binary) Root relaxation: objective 0.000000e+00, 447 iterations, 0.05 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 (862 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:02 2012 Optimize a model with 20145 rows, 3757 columns and 62640 nonzeros Presolve time: 0.07s Presolved: 20145 rows, 3757 columns, 62640 nonzeros Variable types: 0 continuous, 3757 integer (3757 binary) Root relaxation: objective 0.000000e+00, 411 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 (784 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:02 2012 Optimize a model with 10146 rows, 2434 columns and 31320 nonzeros Presolve time: 0.03s Presolved: 10146 rows, 2434 columns, 31320 nonzeros Variable types: 0 continuous, 2434 integer (2434 binary) Root relaxation: objective 0.000000e+00, 303 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 (996 simplex iterations) in 0.07 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:02 2012 Optimize a model with 4591 rows, 1699 columns and 13920 nonzeros Presolve time: 0.01s Presolved: 4591 rows, 1699 columns, 13920 nonzeros Variable types: 0 continuous, 1699 integer (1699 binary) Root relaxation: objective 0.000000e+00, 315 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 294 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 482 - 0.00000 - - 2s 0 0 0.00000 0 490 - 0.00000 - - 2s 0 0 0.00000 0 474 - 0.00000 - - 3s 0 0 0.00000 0 476 - 0.00000 - - 4s 0 0 0.00000 0 471 - 0.00000 - - 5s 0 0 0.00000 0 467 - 0.00000 - - 6s 0 0 0.00000 0 484 - 0.00000 - - 6s 0 0 0.00000 0 482 - 0.00000 - - 7s 0 0 0.00000 0 476 - 0.00000 - - 8s 0 0 0.00000 0 473 - 0.00000 - - 9s 0 0 0.00000 0 476 - 0.00000 - - 9s 0 0 0.00000 0 473 - 0.00000 - - 10s 0 2 0.00000 0 473 - 0.00000 - - 11s Cutting planes: Clique: 21 Zero half: 17 Explored 21 nodes (71097 simplex iterations) in 13.21 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:53:16 2012 Optimize a model with 6813 rows, 1993 columns and 20880 nonzeros Presolve time: 0.02s Presolved: 6813 rows, 1993 columns, 20880 nonzeros Variable types: 0 continuous, 1993 integer (1993 binary) Root relaxation: objective 0.000000e+00, 309 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 270 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 201 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 264 - 0.00000 - - 5s 0 0 0.00000 0 288 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 7s 0 0 0.00000 0 362 - 0.00000 - - 8s 0 2 0.00000 0 362 - 0.00000 - - 9s 8 8 0.00000 5 270 - 0.00000 - 612 10s 613 94 0.00000 14 184 - 0.00000 - 66.6 15s 616 96 0.00000 12 347 - 0.00000 - 66.3 20s 731 144 0.00000 51 252 - 0.00000 - 130 25s * 940 5 57 0.0000000 0.00000 0.0% 128 27s Cutting planes: Clique: 6 Zero half: 6 Explored 941 nodes (167089 simplex iterations) in 27.01 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 15:53:43 2012 Optimize a model with 5702 rows, 1846 columns and 17400 nonzeros Presolve time: 0.01s Presolved: 5702 rows, 1846 columns, 17400 nonzeros Variable types: 0 continuous, 1846 integer (1846 binary) Root relaxation: objective 0.000000e+00, 309 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 269 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 442 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 254 - 0.00000 - - 6s 0 0 0.00000 0 256 - 0.00000 - - 7s 0 0 0.00000 0 254 - 0.00000 - - 8s 0 0 0.00000 0 248 - 0.00000 - - 9s 0 0 0.00000 0 244 - 0.00000 - - 10s 0 0 0.00000 0 244 - 0.00000 - - 11s 0 0 0.00000 0 250 - 0.00000 - - 12s 0 0 0.00000 0 255 - 0.00000 - - 13s 0 0 0.00000 0 255 - 0.00000 - - 14s 0 2 0.00000 0 255 - 0.00000 - - 15s 97 47 0.00000 17 365 - 0.00000 - 287 20s 346 47 0.00000 17 366 - 0.00000 - 213 25s 557 60 infeasible 30 - 0.00000 - 213 30s 703 56 0.00000 11 284 - 0.00000 - 209 35s 706 58 0.00000 11 400 - 0.00000 - 208 41s 708 60 0.00000 23 238 - 0.00000 - 208 46s 710 61 0.00000 20 257 - 0.00000 - 207 51s 712 62 0.00000 14 344 - 0.00000 - 206 57s 714 64 0.00000 11 356 - 0.00000 - 206 62s 715 64 0.00000 14 354 - 0.00000 - 206 65s 718 66 0.00000 13 330 - 0.00000 - 205 70s 825 82 0.00000 24 337 - 0.00000 - 314 75s 947 75 0.00000 17 356 - 0.00000 - 316 80s 1063 99 infeasible 24 - 0.00000 - 321 85s 1173 137 0.00000 23 378 - 0.00000 - 326 90s 1280 140 infeasible 25 - 0.00000 - 332 95s 1389 141 infeasible 23 - 0.00000 - 337 100s 1503 161 infeasible 30 - 0.00000 - 339 105s 1607 173 0.00000 25 351 - 0.00000 - 344 110s 1708 182 0.00000 25 352 - 0.00000 - 348 115s 1795 173 infeasible 24 - 0.00000 - 355 120s 1906 180 0.00000 24 344 - 0.00000 - 356 125s 2023 183 infeasible 24 - 0.00000 - 356 130s 2119 177 0.00000 24 357 - 0.00000 - 360 135s 2232 186 0.00000 22 358 - 0.00000 - 361 140s 2325 193 0.00000 26 324 - 0.00000 - 365 145s 2429 191 infeasible 30 - 0.00000 - 366 150s 2528 198 infeasible 21 - 0.00000 - 368 155s 2648 226 infeasible 32 - 0.00000 - 367 160s 2753 233 0.00000 28 352 - 0.00000 - 368 165s 2871 245 infeasible 28 - 0.00000 - 368 170s 2970 242 infeasible 29 - 0.00000 - 370 175s 3056 250 infeasible 27 - 0.00000 - 372 180s 3159 257 0.00000 23 376 - 0.00000 - 374 185s 3275 265 infeasible 26 - 0.00000 - 373 190s 3383 281 infeasible 28 - 0.00000 - 374 195s 3495 293 infeasible 29 - 0.00000 - 374 200s 3599 303 infeasible 31 - 0.00000 - 375 205s 3702 310 0.00000 25 250 - 0.00000 - 376 210s 3801 305 infeasible 28 - 0.00000 - 377 215s 3891 311 0.00000 21 366 - 0.00000 - 379 220s 3999 321 0.00000 28 341 - 0.00000 - 379 225s 4103 317 infeasible 25 - 0.00000 - 380 230s 4222 330 0.00000 27 338 - 0.00000 - 379 235s 4331 337 infeasible 27 - 0.00000 - 380 240s 4447 331 0.00000 27 351 - 0.00000 - 380 245s 4545 339 infeasible 27 - 0.00000 - 381 250s 4644 334 infeasible 32 - 0.00000 - 382 255s Cutting planes: Clique: 3 Zero half: 8 Explored 4646 nodes (1858333 simplex iterations) in 255.18 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