current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:40:13 2012 Optimize a model with 72559 rows, 16057 columns and 232377 nonzeros Presolve time: 0.22s Presolved: 72559 rows, 16057 columns, 232377 nonzeros Variable types: 0 continuous, 16057 integer (16057 binary) Root relaxation: objective 0.000000e+00, 655 iterations, 0.06 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 (1070 simplex iterations) in 0.39 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:40:15 2012 Optimize a model with 35951 rows, 8357 columns and 114853 nonzeros Presolve time: 0.15s Presolved: 35951 rows, 8357 columns, 114853 nonzeros Variable types: 0 continuous, 8357 integer (8357 binary) Root relaxation: objective 0.000000e+00, 455 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 (830 simplex iterations) in 0.22 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:40:15 2012 Optimize a model with 17647 rows, 4507 columns and 56091 nonzeros Presolve time: 0.07s Presolved: 17647 rows, 4507 columns, 56091 nonzeros Variable types: 0 continuous, 4507 integer (4507 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 (742 simplex iterations) in 0.10 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:40:16 2012 Optimize a model with 8495 rows, 2582 columns and 26710 nonzeros Presolve time: 0.03s Presolved: 8495 rows, 2582 columns, 26710 nonzeros Variable types: 0 continuous, 2582 integer (2582 binary) Root relaxation: objective 0.000000e+00, 371 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 (703 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:40:16 2012 Optimize a model with 4335 rows, 1707 columns and 13355 nonzeros Presolve time: 0.01s Presolved: 4335 rows, 1707 columns, 13355 nonzeros Variable types: 0 continuous, 1707 integer (1707 binary) Root relaxation: objective 0.000000e+00, 378 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 102 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2936 simplex iterations) in 0.17 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 Fri Dec 14 22:40:16 2012 Optimize a model with 1839 rows, 1182 columns and 5342 nonzeros Presolve removed 175 rows and 175 columns Presolve time: 0.00s Presolved: 1664 rows, 1007 columns, 4992 nonzeros Variable types: 0 continuous, 1007 integer (1007 binary) Root relaxation: objective 0.000000e+00, 183 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 175 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (747 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 Fri Dec 14 22:40:16 2012 Optimize a model with 2671 rows, 1357 columns and 8013 nonzeros Presolve time: 0.01s Presolved: 2671 rows, 1357 columns, 8013 nonzeros Variable types: 0 continuous, 1357 integer (1357 binary) Root relaxation: objective 0.000000e+00, 393 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 348 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4547 simplex iterations) in 0.52 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 Fri Dec 14 22:40:17 2012 Optimize a model with 3503 rows, 1532 columns and 10684 nonzeros Presolve time: 0.01s Presolved: 3503 rows, 1532 columns, 10684 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 403 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 338 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 277 - 0.00000 - - 3s 0 0 0.00000 0 264 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 4s 0 0 0.00000 0 252 - 0.00000 - - 5s 0 2 0.00000 0 252 - 0.00000 - - 5s 580 51 0.00000 17 306 - 0.00000 - 128 10s 608 64 0.00000 10 282 - 0.00000 - 125 15s 612 66 0.00000 10 252 - 0.00000 - 124 20s 753 36 infeasible 23 - 0.00000 - 203 25s 1010 17 infeasible 26 - 0.00000 - 215 30s 1276 11 infeasible 25 - 0.00000 - 222 35s 1577 14 infeasible 26 - 0.00000 - 222 40s Cutting planes: Clique: 1 Zero half: 22 Explored 1728 nodes (428766 simplex iterations) in 42.56 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