current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:46 2012 Optimize a model with 126047 rows, 24181 columns and 400501 nonzeros Presolve time: 0.44s Presolved: 126047 rows, 24181 columns, 400501 nonzeros Variable types: 0 continuous, 24181 integer (24181 binary) Root relaxation: objective 0.000000e+00, 573 iterations, 0.16 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 (1199 simplex iterations) in 0.86 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:49 2012 Optimize a model with 62543 rows, 12571 columns and 198379 nonzeros Presolve time: 0.18s Presolved: 62543 rows, 12571 columns, 198379 nonzeros Variable types: 0 continuous, 12571 integer (12571 binary) Root relaxation: objective 0.000000e+00, 596 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 (1017 simplex iterations) in 0.30 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:50 2012 Optimize a model with 30791 rows, 6766 columns and 97318 nonzeros Presolve time: 0.13s Presolved: 30791 rows, 6766 columns, 97318 nonzeros Variable types: 0 continuous, 6766 integer (6766 binary) Root relaxation: objective 0.000000e+00, 449 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 (876 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:50 2012 Optimize a model with 15503 rows, 3971 columns and 48659 nonzeros Presolve time: 0.05s Presolved: 15503 rows, 3971 columns, 48659 nonzeros Variable types: 0 continuous, 3971 integer (3971 binary) Root relaxation: objective 0.000000e+00, 454 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 (903 simplex iterations) in 0.09 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:50 2012 Optimize a model with 7271 rows, 2466 columns and 22458 nonzeros Presolve time: 0.02s Presolved: 7271 rows, 2466 columns, 22458 nonzeros Variable types: 0 continuous, 2466 integer (2466 binary) Root relaxation: objective 0.000000e+00, 449 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 (2378 simplex iterations) in 0.18 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:51 2012 Optimize a model with 3743 rows, 1821 columns and 11229 nonzeros Presolve time: 0.01s Presolved: 3743 rows, 1821 columns, 11229 nonzeros Variable types: 0 continuous, 1821 integer (1821 binary) Root relaxation: objective 0.000000e+00, 500 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 332 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (8046 simplex iterations) in 1.11 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:39:52 2012 Optimize a model with 4919 rows, 2036 columns and 14972 nonzeros Presolve time: 0.01s Presolved: 4919 rows, 2036 columns, 14972 nonzeros Variable types: 0 continuous, 2036 integer (2036 binary) Root relaxation: objective 0.000000e+00, 488 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 424 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 521 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 3s 0 0 0.00000 0 409 - 0.00000 - - 4s 0 0 0.00000 0 409 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 6s 0 0 0.00000 0 402 - 0.00000 - - 7s 0 0 0.00000 0 396 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 9s 0 2 0.00000 0 396 - 0.00000 - - 10s 240 42 0.00000 9 468 - 0.00000 - 219 15s 494 84 0.00000 8 406 - 0.00000 - 205 20s 711 97 0.00000 9 404 - 0.00000 - 202 25s 713 99 0.00000 10 410 - 0.00000 - 201 31s 715 100 0.00000 13 420 - 0.00000 - 201 37s 716 101 0.00000 19 394 - 0.00000 - 200 40s 718 102 0.00000 19 384 - 0.00000 - 200 45s 720 103 0.00000 15 378 - 0.00000 - 199 52s 721 104 0.00000 9 378 - 0.00000 - 199 55s 728 109 0.00000 16 495 - 0.00000 - 303 60s 753 119 0.00000 28 388 - 0.00000 - 306 65s 842 89 infeasible 25 - 0.00000 - 316 70s 938 65 infeasible 25 - 0.00000 - 328 75s 1046 33 infeasible 26 - 0.00000 - 332 80s 1149 36 0.00000 23 452 - 0.00000 - 340 85s 1236 35 infeasible 26 - 0.00000 - 346 90s 1340 35 infeasible 25 - 0.00000 - 351 95s 1445 40 infeasible 28 - 0.00000 - 352 100s 1544 31 0.00000 19 440 - 0.00000 - 357 105s 1650 45 0.00000 28 423 - 0.00000 - 358 110s 1767 20 infeasible 27 - 0.00000 - 358 115s 1929 46 infeasible 30 - 0.00000 - 350 120s 2090 43 0.00000 26 420 - 0.00000 - 346 125s 2205 38 infeasible 27 - 0.00000 - 347 130s 2333 60 infeasible 26 - 0.00000 - 346 135s 2426 55 infeasible 23 - 0.00000 - 350 140s 2539 48 0.00000 34 408 - 0.00000 - 352 145s 2662 47 infeasible 27 - 0.00000 - 353 150s 2802 63 infeasible 29 - 0.00000 - 351 155s 2933 50 0.00000 28 466 - 0.00000 - 352 160s 3038 41 infeasible 34 - 0.00000 - 354 165s 3160 37 0.00000 25 441 - 0.00000 - 354 170s 3272 49 infeasible 27 - 0.00000 - 355 175s 3370 43 0.00000 22 447 - 0.00000 - 358 180s 3491 42 infeasible 34 - 0.00000 - 357 185s 3601 24 0.00000 25 406 - 0.00000 - 358 190s 3718 31 infeasible 33 - 0.00000 - 359 195s 3843 26 infeasible 34 - 0.00000 - 359 200s 3933 20 0.00000 28 506 - 0.00000 - 362 205s 4048 13 infeasible 27 - 0.00000 - 362 210s 4140 39 0.00000 25 384 - 0.00000 - 363 215s 4272 83 infeasible 25 - 0.00000 - 361 220s 4398 85 infeasible 31 - 0.00000 - 361 225s 4518 97 infeasible 28 - 0.00000 - 361 230s 4638 107 infeasible 25 - 0.00000 - 361 235s 4746 101 infeasible 27 - 0.00000 - 361 240s 4859 96 infeasible 27 - 0.00000 - 362 245s 4950 73 infeasible 28 - 0.00000 - 364 250s 5035 66 0.00000 24 420 - 0.00000 - 366 255s 5116 51 infeasible 25 - 0.00000 - 368 260s 5210 49 0.00000 25 519 - 0.00000 - 369 265s 5306 47 infeasible 30 - 0.00000 - 370 270s 5401 28 infeasible 28 - 0.00000 - 372 275s 5491 24 infeasible 26 - 0.00000 - 373 280s 5577 20 0.00000 26 404 - 0.00000 - 375 285s 5680 13 infeasible 24 - 0.00000 - 375 290s Cutting planes: Gomory: 2 Clique: 1 Zero half: 41 Explored 5715 nodes (2204455 simplex iterations) in 291.57 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:44:44 2012 Optimize a model with 6095 rows, 2251 columns and 18715 nonzeros Presolve time: 0.02s Explored 0 nodes (0 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound -, gap - optimal solution found: number of colors: 6