current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:44:27 2012 Optimize a model with 74405 rows, 16765 columns and 238609 nonzeros Presolve time: 0.23s Presolved: 74405 rows, 16765 columns, 238609 nonzeros Variable types: 0 continuous, 16765 integer (16765 binary) Root relaxation: objective 0.000000e+00, 761 iterations, 0.08 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 (1214 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:44:28 2012 Optimize a model with 36875 rows, 8710 columns and 117964 nonzeros Presolve time: 0.15s Presolved: 36875 rows, 8710 columns, 117964 nonzeros Variable types: 0 continuous, 8710 integer (8710 binary) Root relaxation: objective 0.000000e+00, 584 iterations, 0.04 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 (992 simplex iterations) in 0.24 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:44:29 2012 Optimize a model with 18527 rows, 4772 columns and 58982 nonzeros Presolve time: 0.07s Presolved: 18527 rows, 4772 columns, 58982 nonzeros Variable types: 0 continuous, 4772 integer (4772 binary) Root relaxation: objective 0.000000e+00, 381 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 (719 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:44:29 2012 Optimize a model with 9353 rows, 2803 columns and 29491 nonzeros Presolve time: 0.03s Presolved: 9353 rows, 2803 columns, 29491 nonzeros Variable types: 0 continuous, 2803 integer (2803 binary) Root relaxation: objective 0.000000e+00, 371 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 (694 simplex iterations) in 0.05 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 00:44:30 2012 Optimize a model with 4349 rows, 1729 columns and 13405 nonzeros Presolve time: 0.01s Presolved: 4349 rows, 1729 columns, 13405 nonzeros Variable types: 0 continuous, 1729 integer (1729 binary) Root relaxation: objective 0.000000e+00, 395 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1685 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 Sat Dec 15 00:44:30 2012 Optimize a model with 1847 rows, 1192 columns and 5362 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1668 rows, 1013 columns, 5004 nonzeros Variable types: 0 continuous, 1013 integer (1013 binary) Root relaxation: objective 0.000000e+00, 185 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 179 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (770 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 00:44:30 2012 Optimize a model with 2681 rows, 1371 columns and 8043 nonzeros Presolve time: 0.01s Presolved: 2681 rows, 1371 columns, 8043 nonzeros Variable types: 0 continuous, 1371 integer (1371 binary) Root relaxation: objective 0.000000e+00, 398 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 356 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 499 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 31 Clique: 1 Zero half: 474 Explored 0 nodes (7242 simplex iterations) in 1.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:44:31 2012 Optimize a model with 3515 rows, 1550 columns and 10724 nonzeros Presolve time: 0.01s Presolved: 3515 rows, 1550 columns, 10724 nonzeros Variable types: 0 continuous, 1550 integer (1550 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.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 5s 0 0 0.00000 0 296 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 6s 0 0 0.00000 0 293 - 0.00000 - - 6s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 0 0.00000 0 278 - 0.00000 - - 7s 0 0 0.00000 0 276 - 0.00000 - - 7s 0 0 0.00000 0 274 - 0.00000 - - 8s 0 0 0.00000 0 264 - 0.00000 - - 8s 0 0 0.00000 0 275 - 0.00000 - - 8s 0 0 0.00000 0 275 - 0.00000 - - 8s 0 2 0.00000 0 275 - 0.00000 - - 9s 70 32 0.00000 21 351 - 0.00000 - 160 10s 605 207 0.00000 18 266 - 0.00000 - 107 15s 609 209 0.00000 11 250 - 0.00000 - 107 20s 674 205 infeasible 26 - 0.00000 - 170 25s 1063 90 infeasible 35 - 0.00000 - 178 30s 1434 23 infeasible 31 - 0.00000 - 184 35s 1777 16 infeasible 28 - 0.00000 - 192 40s 2098 9 0.00000 25 334 - 0.00000 - 198 45s 2453 42 0.00000 31 310 - 0.00000 - 200 50s 2814 31 infeasible 30 - 0.00000 - 201 55s 3170 23 infeasible 29 - 0.00000 - 202 60s 3579 40 infeasible 32 - 0.00000 - 201 65s 3996 43 infeasible 28 - 0.00000 - 200 70s 4390 41 0.00000 27 309 - 0.00000 - 200 75s 4813 60 0.00000 30 357 - 0.00000 - 200 80s 5217 20 infeasible 29 - 0.00000 - 200 85s 5613 24 infeasible 36 - 0.00000 - 199 90s 5986 29 infeasible 33 - 0.00000 - 200 95s 6365 26 0.00000 29 294 - 0.00000 - 199 100s 6779 16 infeasible 28 - 0.00000 - 199 105s 7162 9 infeasible 33 - 0.00000 - 199 110s 7600 35 infeasible 26 - 0.00000 - 198 115s 7989 20 0.00000 33 316 - 0.00000 - 198 120s 8406 17 infeasible 24 - 0.00000 - 198 125s Cutting planes: Gomory: 1 Zero half: 15 Explored 8690 nodes (1811389 simplex iterations) in 129.01 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