current bounds on the number of colors: 0 -- 182 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:00 2012 Optimize a model with 78806 rows, 17426 columns and 252434 nonzeros Presolve time: 0.24s Presolved: 78806 rows, 17426 columns, 252434 nonzeros Variable types: 0 continuous, 17426 integer (17426 binary) Root relaxation: objective 0.000000e+00, 685 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 (1117 simplex iterations) in 0.43 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:01 2012 Optimize a model with 39062 rows, 9054 columns and 124830 nonzeros Presolve time: 0.15s Presolved: 39062 rows, 9054 columns, 124830 nonzeros Variable types: 0 continuous, 9054 integer (9054 binary) Root relaxation: objective 0.000000e+00, 528 iterations, 0.03 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 (888 simplex iterations) in 0.23 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:02 2012 Optimize a model with 19190 rows, 4868 columns and 61028 nonzeros Presolve time: 0.08s Presolved: 19190 rows, 4868 columns, 61028 nonzeros Variable types: 0 continuous, 4868 integer (4868 binary) Root relaxation: objective 0.000000e+00, 406 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 (747 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:02 2012 Optimize a model with 9686 rows, 2866 columns and 30514 nonzeros Presolve time: 0.03s Presolved: 9686 rows, 2866 columns, 30514 nonzeros Variable types: 0 continuous, 2866 integer (2866 binary) Root relaxation: objective 0.000000e+00, 388 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 (704 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:02 2012 Optimize a model with 4502 rows, 1774 columns and 13870 nonzeros Presolve time: 0.01s Presolved: 4502 rows, 1774 columns, 13870 nonzeros Variable types: 0 continuous, 1774 integer (1774 binary) Root relaxation: objective 0.000000e+00, 405 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 185 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4686 simplex iterations) in 0.38 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:03 2012 Optimize a model with 1910 rows, 1228 columns and 5548 nonzeros Presolve removed 182 rows and 182 columns Presolve time: 0.00s Presolved: 1728 rows, 1046 columns, 5184 nonzeros Variable types: 0 continuous, 1046 integer (1046 binary) Root relaxation: objective 0.000000e+00, 190 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (785 simplex iterations) in 0.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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:03 2012 Optimize a model with 2774 rows, 1410 columns and 8322 nonzeros Presolve time: 0.01s Presolved: 2774 rows, 1410 columns, 8322 nonzeros Variable types: 0 continuous, 1410 integer (1410 binary) Root relaxation: objective 0.000000e+00, 401 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 362 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4838 simplex iterations) in 0.58 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:03:03 2012 Optimize a model with 3638 rows, 1592 columns and 11096 nonzeros Presolve time: 0.01s Presolved: 3638 rows, 1592 columns, 11096 nonzeros Variable types: 0 continuous, 1592 integer (1592 binary) Root relaxation: objective 0.000000e+00, 430 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 346 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 494 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 6s 0 0 0.00000 0 262 - 0.00000 - - 6s 0 2 0.00000 0 262 - 0.00000 - - 6s 341 76 0.00000 10 328 - 0.00000 - 144 10s 805 96 0.00000 13 324 - 0.00000 - 137 16s 808 98 0.00000 15 309 - 0.00000 - 137 20s 811 100 0.00000 13 286 - 0.00000 - 136 26s 814 102 0.00000 13 276 - 0.00000 - 136 30s 946 98 0.00000 23 408 - 0.00000 - 212 35s 1214 69 infeasible 24 - 0.00000 - 220 40s 1460 79 infeasible 23 - 0.00000 - 227 45s 1724 73 infeasible 23 - 0.00000 - 231 50s 1994 67 infeasible 22 - 0.00000 - 232 55s 2209 52 infeasible 24 - 0.00000 - 238 60s 2456 45 0.00000 25 348 - 0.00000 - 240 65s 2705 38 infeasible 26 - 0.00000 - 242 70s 2949 40 infeasible 27 - 0.00000 - 243 75s 3221 32 infeasible 24 - 0.00000 - 243 80s 3458 23 infeasible 30 - 0.00000 - 244 85s 3710 25 0.00000 22 434 - 0.00000 - 244 90s 3962 15 0.00000 25 312 - 0.00000 - 246 95s 4208 23 infeasible 22 - 0.00000 - 246 100s 4489 36 infeasible 26 - 0.00000 - 245 105s 4788 23 infeasible 26 - 0.00000 - 244 110s 5050 17 infeasible 24 - 0.00000 - 244 115s 5293 14 infeasible 27 - 0.00000 - 244 120s 5515 8 0.00000 20 388 - 0.00000 - 245 125s Cutting planes: Zero half: 30 Explored 5654 nodes (1443012 simplex iterations) in 128.47 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5