current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:44:09 2012 Optimize a model with 81031 rows, 12119 columns and 253672 nonzeros Presolve time: 0.23s Presolved: 81031 rows, 12119 columns, 253672 nonzeros Variable types: 0 continuous, 12119 integer (12119 binary) Root relaxation: objective 0.000000e+00, 350 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 (740 simplex iterations) in 0.44 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:44:11 2012 Optimize a model with 40590 rows, 6606 columns and 126836 nonzeros Presolve time: 0.15s Presolved: 40590 rows, 6606 columns, 126836 nonzeros Variable types: 0 continuous, 6606 integer (6606 binary) Root relaxation: objective 0.000000e+00, 454 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 (859 simplex iterations) in 0.26 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:44:11 2012 Optimize a model with 19823 rows, 3775 columns and 61704 nonzeros Presolve time: 0.07s Presolved: 19823 rows, 3775 columns, 61704 nonzeros Variable types: 0 continuous, 3775 integer (3775 binary) Root relaxation: objective 0.000000e+00, 420 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 (840 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 17:44:12 2012 Optimize a model with 9986 rows, 2434 columns and 30852 nonzeros Presolve time: 0.03s Presolved: 9986 rows, 2434 columns, 30852 nonzeros Variable types: 0 continuous, 2434 integer (2434 binary) Root relaxation: objective 0.000000e+00, 312 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 (1233 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:44:12 2012 Optimize a model with 4521 rows, 1689 columns and 13712 nonzeros Presolve time: 0.01s Presolved: 4521 rows, 1689 columns, 13712 nonzeros Variable types: 0 continuous, 1689 integer (1689 binary) Root relaxation: objective 0.000000e+00, 321 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 292 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 2s 0 0 0.00000 0 501 - 0.00000 - - 2s 0 0 0.00000 0 493 - 0.00000 - - 3s 0 0 0.00000 0 480 - 0.00000 - - 6s 0 0 0.00000 0 486 - 0.00000 - - 7s 0 0 0.00000 0 478 - 0.00000 - - 8s 0 0 0.00000 0 483 - 0.00000 - - 9s 0 0 0.00000 0 490 - 0.00000 - - 10s 0 0 0.00000 0 489 - 0.00000 - - 11s 0 2 0.00000 0 487 - 0.00000 - - 12s Cutting planes: Clique: 23 Zero half: 20 Explored 7 nodes (56004 simplex iterations) in 12.93 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 17:44:25 2012 Optimize a model with 6707 rows, 1987 columns and 20568 nonzeros Presolve time: 0.02s Presolved: 6707 rows, 1987 columns, 20568 nonzeros Variable types: 0 continuous, 1987 integer (1987 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 190 - 0.00000 - - 0s 0 0 0.00000 0 185 - 0.00000 - - 0s 0 0 0.00000 0 317 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 319 - 0.00000 - - 5s 0 0 0.00000 0 289 - 0.00000 - - 6s 0 0 0.00000 0 286 - 0.00000 - - 7s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 350 - 0.00000 - - 9s 0 2 0.00000 0 307 - 0.00000 - - 10s * 634 0 64 0.0000000 0.00000 0.0% 47.8 13s Cutting planes: Clique: 10 Zero half: 13 Explored 635 nodes (85007 simplex iterations) in 13.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:44:38 2012 Optimize a model with 5614 rows, 1838 columns and 17140 nonzeros Presolve time: 0.01s Presolved: 5614 rows, 1838 columns, 17140 nonzeros Variable types: 0 continuous, 1838 integer (1838 binary) Root relaxation: objective 0.000000e+00, 310 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 296 - 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 407 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 3s 0 0 0.00000 0 307 - 0.00000 - - 4s 0 0 0.00000 0 335 - 0.00000 - - 5s 0 0 0.00000 0 381 - 0.00000 - - 6s 0 0 0.00000 0 381 - 0.00000 - - 7s 0 2 0.00000 0 381 - 0.00000 - - 8s 44 23 0.00000 21 240 - 0.00000 - 315 10s 324 53 0.00000 25 357 - 0.00000 - 193 15s 572 58 0.00000 24 305 - 0.00000 - 187 20s 813 60 0.00000 14 358 - 0.00000 - 189 25s 904 69 0.00000 19 409 - 0.00000 - 189 30s 907 71 0.00000 9 373 - 0.00000 - 188 36s 909 72 0.00000 14 373 - 0.00000 - 188 40s 911 74 0.00000 5 348 - 0.00000 - 187 45s 913 75 0.00000 17 318 - 0.00000 - 187 50s 921 80 0.00000 15 393 - 0.00000 - 245 55s 958 93 0.00000 21 380 - 0.00000 - 248 60s 1055 78 0.00000 28 342 - 0.00000 - 260 65s 1160 67 0.00000 28 341 - 0.00000 - 271 70s 1278 71 infeasible 31 - 0.00000 - 278 75s 1374 89 0.00000 22 368 - 0.00000 - 286 80s 1479 108 0.00000 26 363 - 0.00000 - 293 85s 1581 114 infeasible 25 - 0.00000 - 301 90s 1685 134 infeasible 36 - 0.00000 - 304 95s 1789 132 infeasible 34 - 0.00000 - 310 100s 1881 136 0.00000 34 338 - 0.00000 - 314 105s 1975 134 infeasible 30 - 0.00000 - 320 110s 2082 133 infeasible 27 - 0.00000 - 323 115s 2185 140 infeasible 34 - 0.00000 - 327 120s 2298 149 infeasible 33 - 0.00000 - 330 125s 2412 161 infeasible 30 - 0.00000 - 331 130s 2513 168 0.00000 26 354 - 0.00000 - 335 135s 2624 173 infeasible 28 - 0.00000 - 337 140s 2724 171 infeasible 38 - 0.00000 - 340 145s 2831 160 infeasible 25 - 0.00000 - 342 150s 2934 151 infeasible 28 - 0.00000 - 345 155s 3027 160 infeasible 32 - 0.00000 - 346 160s 3125 156 0.00000 22 377 - 0.00000 - 348 165s 3223 166 infeasible 26 - 0.00000 - 351 170s 3317 180 0.00000 26 352 - 0.00000 - 353 175s 3407 172 infeasible 29 - 0.00000 - 356 180s 3502 157 0.00000 26 376 - 0.00000 - 358 185s 3606 155 0.00000 23 377 - 0.00000 - 359 190s 3698 145 infeasible 27 - 0.00000 - 361 195s 3794 141 0.00000 27 355 - 0.00000 - 363 200s 3876 137 infeasible 26 - 0.00000 - 366 205s 3967 138 infeasible 35 - 0.00000 - 368 210s 4060 125 infeasible 29 - 0.00000 - 370 215s 4164 121 0.00000 25 376 - 0.00000 - 371 220s 4264 117 infeasible 25 - 0.00000 - 372 225s 4359 124 infeasible 30 - 0.00000 - 373 230s 4450 111 infeasible 26 - 0.00000 - 374 235s 4551 108 0.00000 30 350 - 0.00000 - 375 240s 4660 113 infeasible 28 - 0.00000 - 375 245s 4756 113 infeasible 35 - 0.00000 - 377 250s 4846 99 infeasible 26 - 0.00000 - 378 255s 4948 111 0.00000 29 343 - 0.00000 - 379 260s 5044 97 infeasible 31 - 0.00000 - 380 265s Cutting planes: Clique: 5 Zero half: 7 Explored 5113 nodes (1990783 simplex iterations) in 269.29 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