current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:41:02 2012 Optimize a model with 83398 rows, 12077 columns and 260702 nonzeros Presolve time: 0.24s Presolved: 83398 rows, 12077 columns, 260702 nonzeros Variable types: 0 continuous, 12077 integer (12077 binary) Root relaxation: objective 0.000000e+00, 375 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 (800 simplex iterations) in 0.46 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 16:41:03 2012 Optimize a model with 41773 rows, 6601 columns and 130351 nonzeros Presolve time: 0.16s Presolved: 41773 rows, 6601 columns, 130351 nonzeros Variable types: 0 continuous, 6601 integer (6601 binary) Root relaxation: objective 0.000000e+00, 354 iterations, 0.04 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 (692 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 16:41:04 2012 Optimize a model with 20398 rows, 3789 columns and 63414 nonzeros Presolve time: 0.07s Presolved: 20398 rows, 3789 columns, 63414 nonzeros Variable types: 0 continuous, 3789 integer (3789 binary) Root relaxation: objective 0.000000e+00, 418 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 (1009 simplex iterations) in 0.14 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 16:41:05 2012 Optimize a model with 10273 rows, 2457 columns and 31707 nonzeros Presolve time: 0.03s Presolved: 10273 rows, 2457 columns, 31707 nonzeros Variable types: 0 continuous, 2457 integer (2457 binary) Root relaxation: objective 0.000000e+00, 316 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 (725 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:41:05 2012 Optimize a model with 4648 rows, 1717 columns and 14092 nonzeros Presolve time: 0.01s Presolved: 4648 rows, 1717 columns, 14092 nonzeros Variable types: 0 continuous, 1717 integer (1717 binary) Root relaxation: objective 0.000000e+00, 322 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 297 - 0.00000 - - 0s 0 0 0.00000 0 487 - 0.00000 - - 2s 0 0 0.00000 0 505 - 0.00000 - - 2s 0 0 0.00000 0 484 - 0.00000 - - 3s 0 0 0.00000 0 490 - 0.00000 - - 4s 0 0 0.00000 0 495 - 0.00000 - - 5s 0 0 0.00000 0 498 - 0.00000 - - 6s 0 0 0.00000 0 498 - 0.00000 - - 6s 0 2 0.00000 0 498 - 0.00000 - - 7s Cutting planes: Clique: 19 Zero half: 20 Explored 9 nodes (41724 simplex iterations) in 8.25 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 16:41:13 2012 Optimize a model with 6898 rows, 2013 columns and 21138 nonzeros Presolve time: 0.02s Presolved: 6898 rows, 2013 columns, 21138 nonzeros Variable types: 0 continuous, 2013 integer (2013 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 202 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 299 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 5s 0 0 0.00000 0 347 - 0.00000 - - 6s 0 0 0.00000 0 297 - 0.00000 - - 8s 0 0 0.00000 0 347 - 0.00000 - - 9s 0 0 0.00000 0 347 - 0.00000 - - 10s 0 2 0.00000 0 347 - 0.00000 - - 11s 703 75 0.00000 26 325 - 0.00000 - 58.2 16s 706 77 0.00000 28 219 - 0.00000 - 57.9 20s 710 80 0.00000 7 231 - 0.00000 - 57.6 26s 718 85 0.00000 14 312 - 0.00000 - 119 30s * 791 55 50 0.0000000 0.00000 0.0% 122 33s Cutting planes: Clique: 5 Zero half: 7 Explored 792 nodes (149869 simplex iterations) in 33.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:41:47 2012 Optimize a model with 5773 rows, 1865 columns and 17615 nonzeros Presolve time: 0.02s Presolved: 5773 rows, 1865 columns, 17615 nonzeros Variable types: 0 continuous, 1865 integer (1865 binary) Root relaxation: objective 0.000000e+00, 311 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 288 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 4s 0 0 0.00000 0 268 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 6s 0 0 0.00000 0 268 - 0.00000 - - 8s 0 0 0.00000 0 266 - 0.00000 - - 8s 0 0 0.00000 0 262 - 0.00000 - - 10s 0 0 0.00000 0 260 - 0.00000 - - 11s 0 0 0.00000 0 254 - 0.00000 - - 12s 0 0 0.00000 0 297 - 0.00000 - - 13s 0 0 0.00000 0 270 - 0.00000 - - 14s 0 0 0.00000 0 398 - 0.00000 - - 15s 0 0 0.00000 0 400 - 0.00000 - - 17s 0 0 0.00000 0 400 - 0.00000 - - 17s 0 2 0.00000 0 400 - 0.00000 - - 18s 20 14 0.00000 16 324 - 0.00000 - 532 20s 190 16 infeasible 18 - 0.00000 - 265 25s 366 13 0.00000 15 312 - 0.00000 - 255 30s 530 16 infeasible 16 - 0.00000 - 254 35s 705 15 0.00000 14 378 - 0.00000 - 250 40s 894 36 infeasible 32 - 0.00000 - 240 45s 905 39 0.00000 5 390 - 0.00000 - 238 53s 906 39 0.00000 17 382 - 0.00000 - 238 56s 908 41 0.00000 9 386 - 0.00000 - 237 61s 910 42 0.00000 5 385 - 0.00000 - 237 66s 913 44 0.00000 17 378 - 0.00000 - 236 70s 978 59 0.00000 22 399 - 0.00000 - 296 75s 1079 47 infeasible 33 - 0.00000 - 306 80s 1173 49 0.00000 23 387 - 0.00000 - 315 85s 1265 60 0.00000 21 364 - 0.00000 - 323 90s 1362 85 infeasible 27 - 0.00000 - 328 95s 1455 100 infeasible 32 - 0.00000 - 334 100s 1536 95 infeasible 28 - 0.00000 - 342 105s 1628 113 0.00000 29 374 - 0.00000 - 346 110s 1714 115 infeasible 32 - 0.00000 - 352 115s 1810 117 infeasible 27 - 0.00000 - 355 120s 1883 114 0.00000 28 374 - 0.00000 - 362 125s 1965 108 infeasible 28 - 0.00000 - 367 130s 2049 124 infeasible 24 - 0.00000 - 369 135s 2131 136 infeasible 25 - 0.00000 - 373 140s 2212 133 infeasible 21 - 0.00000 - 377 145s 2306 137 0.00000 21 374 - 0.00000 - 378 150s 2395 142 0.00000 22 344 - 0.00000 - 381 155s 2488 139 0.00000 19 367 - 0.00000 - 382 160s 2582 149 infeasible 23 - 0.00000 - 384 165s 2678 153 infeasible 27 - 0.00000 - 384 170s 2763 148 infeasible 26 - 0.00000 - 387 175s 2838 143 0.00000 23 353 - 0.00000 - 390 180s 2921 140 infeasible 28 - 0.00000 - 392 185s 3000 131 infeasible 31 - 0.00000 - 395 190s 3099 136 infeasible 32 - 0.00000 - 394 195s 3175 130 0.00000 20 363 - 0.00000 - 397 200s 3259 132 infeasible 30 - 0.00000 - 398 205s 3347 126 0.00000 25 398 - 0.00000 - 399 210s 3427 116 infeasible 25 - 0.00000 - 401 215s 3497 110 0.00000 24 356 - 0.00000 - 404 220s 3590 107 infeasible 22 - 0.00000 - 405 225s 3672 97 0.00000 20 366 - 0.00000 - 406 230s 3759 96 0.00000 21 388 - 0.00000 - 407 235s 3846 103 infeasible 22 - 0.00000 - 408 240s 3928 97 infeasible 24 - 0.00000 - 409 245s 4022 101 0.00000 19 386 - 0.00000 - 409 250s Cutting planes: Gomory: 1 Clique: 8 Zero half: 11 Explored 4103 nodes (1768417 simplex iterations) in 253.73 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