current bounds on the number of colors: 0 -- 172 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:46:06 2012 Optimize a model with 64930 rows, 15545 columns and 209066 nonzeros Presolve time: 0.20s Presolved: 64930 rows, 15545 columns, 209066 nonzeros Variable types: 0 continuous, 15545 integer (15545 binary) Root relaxation: objective 0.000000e+00, 648 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 (1002 simplex iterations) in 0.35 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 -- 86 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:46:07 2012 Optimize a model with 32551 rows, 8149 columns and 104533 nonzeros Presolve time: 0.15s Presolved: 32551 rows, 8149 columns, 104533 nonzeros Variable types: 0 continuous, 8149 integer (8149 binary) Root relaxation: objective 0.000000e+00, 517 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 (879 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 21:46:08 2012 Optimize a model with 15985 rows, 4365 columns and 51051 nonzeros Presolve time: 0.06s Presolved: 15985 rows, 4365 columns, 51051 nonzeros Variable types: 0 continuous, 4365 integer (4365 binary) Root relaxation: objective 0.000000e+00, 367 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 (658 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:46:08 2012 Optimize a model with 7702 rows, 2473 columns and 24310 nonzeros Presolve time: 0.02s Presolved: 7702 rows, 2473 columns, 24310 nonzeros Variable types: 0 continuous, 2473 integer (2473 binary) Root relaxation: objective 0.000000e+00, 357 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 (675 simplex iterations) in 0.04 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 21:46:08 2012 Optimize a model with 3937 rows, 1613 columns and 12155 nonzeros Presolve time: 0.01s Presolved: 3937 rows, 1613 columns, 12155 nonzeros Variable types: 0 continuous, 1613 integer (1613 binary) Root relaxation: objective 0.000000e+00, 375 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 117 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2800 simplex iterations) in 0.13 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 21:46:08 2012 Optimize a model with 1678 rows, 1097 columns and 4862 nonzeros Presolve removed 172 rows and 172 columns Presolve time: 0.00s Presolved: 1506 rows, 925 columns, 4518 nonzeros Variable types: 0 continuous, 925 integer (925 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 172 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (743 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 21:46:08 2012 Optimize a model with 2431 rows, 1269 columns and 7293 nonzeros Presolve time: 0.01s Presolved: 2431 rows, 1269 columns, 7293 nonzeros Variable types: 0 continuous, 1269 integer (1269 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.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5336 simplex iterations) in 0.47 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 21:46:09 2012 Optimize a model with 3184 rows, 1441 columns and 9724 nonzeros Presolve time: 0.01s Presolved: 3184 rows, 1441 columns, 9724 nonzeros Variable types: 0 continuous, 1441 integer (1441 binary) Root relaxation: objective 0.000000e+00, 384 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 322 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 315 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 2s 0 0 0.00000 0 381 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 2 0.00000 0 396 - 0.00000 - - 3s 234 28 infeasible 13 - 0.00000 - 119 5s 717 40 0.00000 14 406 - 0.00000 - 118 10s 722 43 0.00000 6 345 - 0.00000 - 117 15s 729 48 infeasible 11 - 0.00000 - 171 20s 1225 81 infeasible 21 - 0.00000 - 168 25s 1699 71 infeasible 28 - 0.00000 - 173 30s 2159 57 0.00000 19 284 - 0.00000 - 176 35s 2629 61 0.00000 24 310 - 0.00000 - 177 40s 3088 88 infeasible 22 - 0.00000 - 179 45s 3534 112 infeasible 24 - 0.00000 - 181 50s 4008 122 0.00000 21 298 - 0.00000 - 181 55s 4462 130 0.00000 26 305 - 0.00000 - 183 60s 4897 111 infeasible 23 - 0.00000 - 184 65s 5342 102 infeasible 25 - 0.00000 - 185 70s 5758 74 infeasible 24 - 0.00000 - 186 75s 6234 64 infeasible 22 - 0.00000 - 185 80s 6690 34 infeasible 25 - 0.00000 - 185 85s Cutting planes: Clique: 1 Zero half: 26 Explored 7065 nodes (1339375 simplex iterations) in 89.67 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