current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:12:14 2012 Optimize a model with 62998 rows, 14618 columns and 202354 nonzeros Presolve time: 0.19s Presolved: 62998 rows, 14618 columns, 202354 nonzeros Variable types: 0 continuous, 14618 integer (14618 binary) Root relaxation: objective 0.000000e+00, 710 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 (1127 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:12:15 2012 Optimize a model with 31204 rows, 7604 columns and 99958 nonzeros Presolve time: 0.14s Presolved: 31204 rows, 7604 columns, 99958 nonzeros Variable types: 0 continuous, 7604 integer (7604 binary) Root relaxation: objective 0.000000e+00, 537 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 (909 simplex iterations) in 0.21 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:12:16 2012 Optimize a model with 15307 rows, 4097 columns and 48760 nonzeros Presolve time: 0.06s Presolved: 15307 rows, 4097 columns, 48760 nonzeros Variable types: 0 continuous, 4097 integer (4097 binary) Root relaxation: objective 0.000000e+00, 366 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 (654 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:12:16 2012 Optimize a model with 7737 rows, 2427 columns and 24380 nonzeros Presolve time: 0.02s Presolved: 7737 rows, 2427 columns, 24380 nonzeros Variable types: 0 continuous, 2427 integer (2427 binary) Root relaxation: objective 0.000000e+00, 354 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 (674 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 20:12:16 2012 Optimize a model with 3952 rows, 1592 columns and 12190 nonzeros Presolve time: 0.01s Presolved: 3952 rows, 1592 columns, 12190 nonzeros Variable types: 0 continuous, 1592 integer (1592 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.00000 0 304 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1847 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:12:16 2012 Optimize a model with 1681 rows, 1091 columns and 4876 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1514 rows, 924 columns, 4542 nonzeros Variable types: 0 continuous, 924 integer (924 binary) Root relaxation: objective 0.000000e+00, 175 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 167 - 0.00000 - - 0s Explored 0 nodes (708 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 20:12:16 2012 Optimize a model with 2438 rows, 1258 columns and 7314 nonzeros Presolve time: 0.01s Presolved: 2438 rows, 1258 columns, 7314 nonzeros Variable types: 0 continuous, 1258 integer (1258 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 332 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4192 simplex iterations) in 0.40 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 20:12:17 2012 Optimize a model with 3195 rows, 1425 columns and 9752 nonzeros Presolve time: 0.01s Presolved: 3195 rows, 1425 columns, 9752 nonzeros Variable types: 0 continuous, 1425 integer (1425 binary) Root relaxation: objective 0.000000e+00, 372 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 320 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 0s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 2 0.00000 0 373 - 0.00000 - - 2s 375 53 infeasible 24 - 0.00000 - 119 5s 606 77 0.00000 17 288 - 0.00000 - 115 10s 611 81 0.00000 14 239 - 0.00000 - 114 15s 615 83 0.00000 6 341 - 0.00000 - 113 20s 781 98 infeasible 33 - 0.00000 - 192 25s 1126 76 infeasible 30 - 0.00000 - 197 30s 1530 78 0.00000 29 369 - 0.00000 - 192 35s 1872 144 infeasible 26 - 0.00000 - 195 40s 2203 145 0.00000 27 292 - 0.00000 - 197 45s 2532 116 infeasible 32 - 0.00000 - 200 50s 2890 132 infeasible 28 - 0.00000 - 199 55s 3270 137 infeasible 28 - 0.00000 - 199 60s 3619 116 infeasible 29 - 0.00000 - 199 65s 3992 148 infeasible 26 - 0.00000 - 198 70s 4379 143 0.00000 24 298 - 0.00000 - 198 75s 4770 158 infeasible 40 - 0.00000 - 197 80s 5172 194 infeasible 29 - 0.00000 - 197 85s 5586 174 infeasible 33 - 0.00000 - 196 90s 6009 245 infeasible 41 - 0.00000 - 194 95s 6382 198 infeasible 43 - 0.00000 - 195 100s 6793 173 infeasible 39 - 0.00000 - 194 105s 7141 135 0.00000 31 292 - 0.00000 - 195 110s 7530 119 0.00000 28 344 - 0.00000 - 194 115s 7867 90 infeasible 32 - 0.00000 - 195 120s 8220 97 0.00000 22 268 - 0.00000 - 195 125s 8598 77 0.00000 22 352 - 0.00000 - 195 130s 8904 47 infeasible 40 - 0.00000 - 196 135s 9278 33 infeasible 30 - 0.00000 - 196 140s 9602 19 infeasible 31 - 0.00000 - 197 145s 9924 18 infeasible 33 - 0.00000 - 197 150s 10268 18 0.00000 31 284 - 0.00000 - 197 155s Cutting planes: Clique: 1 Zero half: 26 Explored 10524 nodes (2090873 simplex iterations) in 158.43 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