current bounds on the number of colors: 0 -- 188 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:07:29 2012 Optimize a model with 89582 rows, 18623 columns and 285854 nonzeros Presolve time: 0.28s Presolved: 89582 rows, 18623 columns, 285854 nonzeros Variable types: 0 continuous, 18623 integer (18623 binary) Root relaxation: objective 0.000000e+00, 840 iterations, 0.10 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 (1303 simplex iterations) in 0.51 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:07:31 2012 Optimize a model with 44885 rows, 9787 columns and 142927 nonzeros Presolve time: 0.15s Presolved: 44885 rows, 9787 columns, 142927 nonzeros Variable types: 0 continuous, 9787 integer (9787 binary) Root relaxation: objective 0.000000e+00, 664 iterations, 0.05 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 (1101 simplex iterations) in 0.26 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:07:31 2012 Optimize a model with 22061 rows, 5275 columns and 69943 nonzeros Presolve time: 0.09s Presolved: 22061 rows, 5275 columns, 69943 nonzeros Variable types: 0 continuous, 5275 integer (5275 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (742 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:07:32 2012 Optimize a model with 10649 rows, 3019 columns and 33451 nonzeros Presolve time: 0.03s Presolved: 10649 rows, 3019 columns, 33451 nonzeros Variable types: 0 continuous, 3019 integer (3019 binary) Root relaxation: objective 0.000000e+00, 391 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.06 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 04:07:32 2012 Optimize a model with 4943 rows, 1891 columns and 15205 nonzeros Presolve time: 0.01s Presolved: 4943 rows, 1891 columns, 15205 nonzeros Variable types: 0 continuous, 1891 integer (1891 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.00000 0 216 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4572 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:07:32 2012 Optimize a model with 2090 rows, 1327 columns and 6082 nonzeros Presolve removed 188 rows and 188 columns Presolve time: 0.01s Presolved: 1902 rows, 1139 columns, 5706 nonzeros Variable types: 0 continuous, 1139 integer (1139 binary) Root relaxation: objective 0.000000e+00, 199 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 188 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (819 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 04:07:32 2012 Optimize a model with 3041 rows, 1515 columns and 9123 nonzeros Presolve time: 0.01s Presolved: 3041 rows, 1515 columns, 9123 nonzeros Variable types: 0 continuous, 1515 integer (1515 binary) Root relaxation: objective 0.000000e+00, 422 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 374 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5097 simplex iterations) in 0.71 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 04:07:33 2012 Optimize a model with 3992 rows, 1703 columns and 12164 nonzeros Presolve time: 0.01s Presolved: 3992 rows, 1703 columns, 12164 nonzeros Variable types: 0 continuous, 1703 integer (1703 binary) Root relaxation: objective 0.000000e+00, 432 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 366 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 339 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 339 - 0.00000 - - 5s 0 2 0.00000 0 324 - 0.00000 - - 5s 390 36 0.00000 18 333 - 0.00000 - 145 10s 706 39 0.00000 18 332 - 0.00000 - 134 16s 708 41 0.00000 5 326 - 0.00000 - 134 20s 711 43 0.00000 16 319 - 0.00000 - 133 25s 714 45 0.00000 16 299 - 0.00000 - 133 31s 809 30 infeasible 24 - 0.00000 - 228 35s 998 50 0.00000 19 346 - 0.00000 - 242 40s 1249 57 infeasible 26 - 0.00000 - 245 45s 1494 46 infeasible 26 - 0.00000 - 246 50s 1716 32 infeasible 24 - 0.00000 - 248 55s 1958 58 infeasible 27 - 0.00000 - 248 60s 2209 69 infeasible 23 - 0.00000 - 248 65s 2449 71 infeasible 28 - 0.00000 - 249 70s 2694 56 infeasible 24 - 0.00000 - 251 75s 2904 48 0.00000 26 361 - 0.00000 - 254 80s 3128 30 0.00000 20 446 - 0.00000 - 256 85s 3352 20 infeasible 25 - 0.00000 - 257 90s 3555 9 infeasible 19 - 0.00000 - 259 95s 3734 8 0.00000 22 392 - 0.00000 - 262 100s Cutting planes: Gomory: 1 Clique: 1 Zero half: 14 Explored 3787 nodes (1035508 simplex iterations) in 101.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