current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:29 2012 Optimize a model with 115185 rows, 23145 columns and 366975 nonzeros Presolve time: 0.39s Presolved: 115185 rows, 23145 columns, 366975 nonzeros Variable types: 0 continuous, 23145 integer (23145 binary) Root relaxation: objective 0.000000e+00, 805 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 (1274 simplex iterations) in 0.66 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:32 2012 Optimize a model with 57150 rows, 12015 columns and 181740 nonzeros Presolve time: 0.17s Presolved: 57150 rows, 12015 columns, 181740 nonzeros Variable types: 0 continuous, 12015 integer (12015 binary) Root relaxation: objective 0.000000e+00, 811 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 (1299 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:33 2012 Optimize a model with 28680 rows, 6555 columns and 90870 nonzeros Presolve time: 0.12s Presolved: 28680 rows, 6555 columns, 90870 nonzeros Variable types: 0 continuous, 6555 integer (6555 binary) Root relaxation: objective 0.000000e+00, 485 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 (912 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:33 2012 Optimize a model with 14445 rows, 3825 columns and 45435 nonzeros Presolve time: 0.05s Presolved: 14445 rows, 3825 columns, 45435 nonzeros Variable types: 0 continuous, 3825 integer (3825 binary) Root relaxation: objective 0.000000e+00, 438 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 (833 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:33 2012 Optimize a model with 6780 rows, 2355 columns and 20970 nonzeros Presolve time: 0.02s Presolved: 6780 rows, 2355 columns, 20970 nonzeros Variable types: 0 continuous, 2355 integer (2355 binary) Root relaxation: objective 0.000000e+00, 452 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 (1150 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:32:33 2012 Optimize a model with 3495 rows, 1725 columns and 10485 nonzeros Presolve time: 0.01s Presolved: 3495 rows, 1725 columns, 10485 nonzeros Variable types: 0 continuous, 1725 integer (1725 binary) Root relaxation: objective 0.000000e+00, 482 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 416 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7045 simplex iterations) in 1.02 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 13:32:35 2012 Optimize a model with 4590 rows, 1935 columns and 13980 nonzeros Presolve time: 0.01s Presolved: 4590 rows, 1935 columns, 13980 nonzeros Variable types: 0 continuous, 1935 integer (1935 binary) Root relaxation: objective 0.000000e+00, 465 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 410 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 479 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 383 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 9s 0 0 0.00000 0 366 - 0.00000 - - 10s 0 0 0.00000 0 364 - 0.00000 - - 10s 0 0 0.00000 0 372 - 0.00000 - - 11s 0 0 0.00000 0 373 - 0.00000 - - 11s 0 0 0.00000 0 372 - 0.00000 - - 12s 0 2 0.00000 0 366 - 0.00000 - - 12s 109 53 infeasible 20 - 0.00000 - 200 15s 471 94 0.00000 18 382 - 0.00000 - 169 20s 705 114 0.00000 12 380 - 0.00000 - 166 28s 706 114 0.00000 19 368 - 0.00000 - 166 30s 709 116 0.00000 5 356 - 0.00000 - 165 36s 711 118 0.00000 13 381 - 0.00000 - 164 41s 713 119 0.00000 14 342 - 0.00000 - 164 47s 715 120 0.00000 18 326 - 0.00000 - 164 52s 718 122 0.00000 27 330 - 0.00000 - 163 55s 727 128 0.00000 14 454 - 0.00000 - 283 60s 801 144 infeasible 23 - 0.00000 - 283 65s 969 120 infeasible 26 - 0.00000 - 282 70s 1093 73 0.00000 21 423 - 0.00000 - 292 75s 1278 80 infeasible 24 - 0.00000 - 292 80s 1456 74 infeasible 22 - 0.00000 - 292 85s 1659 85 infeasible 22 - 0.00000 - 289 90s 1795 73 0.00000 21 422 - 0.00000 - 293 95s 1977 75 infeasible 26 - 0.00000 - 292 100s 2172 76 0.00000 22 390 - 0.00000 - 290 105s 2309 61 infeasible 19 - 0.00000 - 293 110s 2458 62 infeasible 21 - 0.00000 - 296 115s 2618 58 0.00000 21 378 - 0.00000 - 296 120s 2806 50 infeasible 24 - 0.00000 - 296 125s 2968 66 0.00000 19 378 - 0.00000 - 296 130s 3121 59 infeasible 23 - 0.00000 - 298 135s 3301 57 infeasible 26 - 0.00000 - 298 140s 3454 50 infeasible 23 - 0.00000 - 299 145s 3605 43 0.00000 22 453 - 0.00000 - 300 150s 3754 28 infeasible 20 - 0.00000 - 302 155s 3891 7 infeasible 26 - 0.00000 - 304 160s Cutting planes: Gomory: 1 Zero half: 22 Explored 3995 nodes (1300872 simplex iterations) in 163.69 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:35:18 2012 Optimize a model with 5685 rows, 2145 columns and 17475 nonzeros Presolve time: 0.02s Presolved: 5685 rows, 2145 columns, 17475 nonzeros Variable types: 0 continuous, 2145 integer (2145 binary) Root relaxation: objective 0.000000e+00, 440 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 390 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 511 - 0.00000 - - 1s 0 0 0.00000 0 517 - 0.00000 - - 1s 0 0 0.00000 0 515 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Gomory: 8 Zero half: 176 Explored 0 nodes (18817 simplex iterations) in 3.11 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% optimal solution found: number of colors: 5