current bounds on the number of colors: 0 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:17:11 2012 Optimize a model with 24998 rows, 2542 columns and 76502 nonzeros Presolve time: 0.10s Presolved: 24998 rows, 2542 columns, 76502 nonzeros Variable types: 0 continuous, 2542 integer (2542 binary) Root relaxation: objective 0.000000e+00, 151 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 (381 simplex iterations) in 0.16 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:17:12 2012 Optimize a model with 12098 rows, 1672 columns and 36932 nonzeros Presolve time: 0.04s Presolved: 12098 rows, 1672 columns, 36932 nonzeros Variable types: 0 continuous, 1672 integer (1672 binary) Root relaxation: objective 0.000000e+00, 126 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 23 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1264 simplex iterations) in 0.15 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:17:12 2012 Optimize a model with 6078 rows, 1266 columns and 18466 nonzeros Presolve time: 0.02s Presolved: 6078 rows, 1266 columns, 18466 nonzeros Variable types: 0 continuous, 1266 integer (1266 binary) Root relaxation: objective 0.000000e+00, 117 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 74 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3031 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:17:13 2012 Optimize a model with 8658 rows, 1440 columns and 26380 nonzeros Presolve time: 0.02s Presolved: 8658 rows, 1440 columns, 26380 nonzeros Variable types: 0 continuous, 1440 integer (1440 binary) Root relaxation: objective 0.000000e+00, 125 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 54 - 0.00000 - - 0s 0 0 0.00000 0 44 - 0.00000 - - 0s 0 0 0.00000 0 172 - 0.00000 - - 1s 0 0 0.00000 0 215 - 0.00000 - - 1s 0 0 0.00000 0 223 - 0.00000 - - 2s 0 0 0.00000 0 155 - 0.00000 - - 4s 0 0 0.00000 0 177 - 0.00000 - - 6s 0 0 0.00000 0 190 - 0.00000 - - 7s 0 0 0.00000 0 190 - 0.00000 - - 8s 0 2 0.00000 0 190 - 0.00000 - - 9s 10 6 0.00000 7 197 - 0.00000 - 398 10s 491 7 infeasible 18 - 0.00000 - 118 15s 814 20 0.00000 18 149 - 0.00000 - 131 20s 1111 14 0.00000 0 44 - 0.00000 - 139 25s 1115 17 0.00000 0 170 - 0.00000 - 138 32s 1117 18 0.00000 0 195 - 0.00000 - 138 37s 1118 19 0.00000 0 163 - 0.00000 - 138 40s 1120 20 0.00000 0 267 - 0.00000 - 137 45s 1125 23 0.00000 12 186 - 0.00000 - 182 50s 1209 11 0.00000 21 168 - 0.00000 - 181 55s 1416 16 0.00000 22 147 - 0.00000 - 184 60s 1663 7 infeasible 23 - 0.00000 - 184 65s Cutting planes: Clique: 44 Explored 1861 nodes (379027 simplex iterations) in 69.17 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:18:22 2012 Optimize a model with 10378 rows, 1556 columns and 31656 nonzeros Presolve time: 0.03s Presolved: 10378 rows, 1556 columns, 31656 nonzeros Variable types: 0 continuous, 1556 integer (1556 binary) Root relaxation: objective 0.000000e+00, 128 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 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1636 simplex iterations) in 0.15 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:18:22 2012 Optimize a model with 9518 rows, 1498 columns and 29018 nonzeros Presolve time: 0.03s Presolved: 9518 rows, 1498 columns, 29018 nonzeros Variable types: 0 continuous, 1498 integer (1498 binary) Root relaxation: objective 0.000000e+00, 133 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 40 - 0.00000 - - 0s 0 0 0.00000 0 33 - 0.00000 - - 0s 0 0 0.00000 0 61 - 0.00000 - - 1s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 0 0.00000 0 56 - 0.00000 - - 2s 0 0 0.00000 0 43 - 0.00000 - - 3s 0 0 0.00000 0 34 - 0.00000 - - 4s * 0 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Clique: 22 Zero half: 21 Explored 0 nodes (26344 simplex iterations) in 4.42 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: 11