current bounds on the number of colors: 0 -- 171 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:36:28 2012 Optimize a model with 65196 rows, 15300 columns and 209610 nonzeros Presolve time: 0.20s Presolved: 65196 rows, 15300 columns, 209610 nonzeros Variable types: 0 continuous, 15300 integer (15300 binary) Root relaxation: objective 0.000000e+00, 665 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 (1087 simplex iterations) in 0.36 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:36:29 2012 Optimize a model with 32301 rows, 7947 columns and 103572 nonzeros Presolve time: 0.14s Presolved: 32301 rows, 7947 columns, 103572 nonzeros Variable types: 0 continuous, 7947 integer (7947 binary) Root relaxation: objective 0.000000e+00, 457 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 (813 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:36:30 2012 Optimize a model with 16236 rows, 4356 columns and 51786 nonzeros Presolve time: 0.06s Presolved: 16236 rows, 4356 columns, 51786 nonzeros Variable types: 0 continuous, 4356 integer (4356 binary) Root relaxation: objective 0.000000e+00, 396 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 (729 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 21:36:30 2012 Optimize a model with 7821 rows, 2475 columns and 24660 nonzeros Presolve time: 0.02s Presolved: 7821 rows, 2475 columns, 24660 nonzeros Variable types: 0 continuous, 2475 integer (2475 binary) Root relaxation: objective 0.000000e+00, 360 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 (641 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:36:30 2012 Optimize a model with 3996 rows, 1620 columns and 12330 nonzeros Presolve time: 0.01s Presolved: 3996 rows, 1620 columns, 12330 nonzeros Variable types: 0 continuous, 1620 integer (1620 binary) Root relaxation: objective 0.000000e+00, 397 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 (3724 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:36:31 2012 Optimize a model with 1701 rows, 1107 columns and 4932 nonzeros Presolve removed 171 rows and 171 columns Presolve time: 0.00s Presolved: 1530 rows, 936 columns, 4590 nonzeros Variable types: 0 continuous, 936 integer (936 binary) Root relaxation: objective 0.000000e+00, 180 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 171 - 0.00000 - - 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:36:31 2012 Optimize a model with 2466 rows, 1278 columns and 7398 nonzeros Presolve time: 0.01s Presolved: 2466 rows, 1278 columns, 7398 nonzeros Variable types: 0 continuous, 1278 integer (1278 binary) Root relaxation: objective 0.000000e+00, 392 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 342 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4184 simplex iterations) in 0.44 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:36:31 2012 Optimize a model with 3231 rows, 1449 columns and 9864 nonzeros Presolve time: 0.01s Presolved: 3231 rows, 1449 columns, 9864 nonzeros Variable types: 0 continuous, 1449 integer (1449 binary) Root relaxation: objective 0.000000e+00, 413 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 334 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 462 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 3s 0 0 0.00000 0 232 - 0.00000 - - 3s 0 0 0.00000 0 236 - 0.00000 - - 4s 0 0 0.00000 0 230 - 0.00000 - - 4s 0 0 0.00000 0 218 - 0.00000 - - 4s 0 0 0.00000 0 218 - 0.00000 - - 5s 0 0 0.00000 0 218 - 0.00000 - - 5s 0 2 0.00000 0 218 - 0.00000 - - 5s 704 88 0.00000 18 466 - 0.00000 - 97.6 10s 710 92 0.00000 13 409 - 0.00000 - 96.8 15s 1031 24 0.00000 25 290 - 0.00000 - 150 20s 1474 43 infeasible 26 - 0.00000 - 161 25s 1936 43 infeasible 30 - 0.00000 - 166 30s 2349 40 0.00000 25 298 - 0.00000 - 171 35s 2773 34 infeasible 30 - 0.00000 - 174 40s 3233 24 infeasible 27 - 0.00000 - 175 45s 3695 8 infeasible 26 - 0.00000 - 175 50s Cutting planes: Clique: 1 Zero half: 9 Explored 3972 nodes (746271 simplex iterations) in 52.87 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