current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:32 2012 Optimize a model with 111137 rows, 22295 columns and 354011 nonzeros Presolve time: 0.37s Presolved: 111137 rows, 22295 columns, 354011 nonzeros Variable types: 0 continuous, 22295 integer (22295 binary) Root relaxation: objective 0.000000e+00, 912 iterations, 0.13 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 (1475 simplex iterations) in 0.69 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:34 2012 Optimize a model with 55133 rows, 11583 columns and 175287 nonzeros Presolve time: 0.16s Presolved: 55133 rows, 11583 columns, 175287 nonzeros Variable types: 0 continuous, 11583 integer (11583 binary) Root relaxation: objective 0.000000e+00, 741 iterations, 0.06 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 (1256 simplex iterations) in 0.31 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:35 2012 Optimize a model with 27131 rows, 6227 columns and 85925 nonzeros Presolve time: 0.11s Presolved: 27131 rows, 6227 columns, 85925 nonzeros Variable types: 0 continuous, 6227 integer (6227 binary) Root relaxation: objective 0.000000e+00, 496 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 (937 simplex iterations) in 0.17 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:35 2012 Optimize a model with 13130 rows, 3549 columns and 41244 nonzeros Presolve time: 0.04s Presolved: 13130 rows, 3549 columns, 41244 nonzeros Variable types: 0 continuous, 3549 integer (3549 binary) Root relaxation: objective 0.000000e+00, 425 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 (823 simplex iterations) in 0.07 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:35 2012 Optimize a model with 6668 rows, 2313 columns and 20622 nonzeros Presolve time: 0.02s Presolved: 6668 rows, 2313 columns, 20622 nonzeros Variable types: 0 continuous, 2313 integer (2313 binary) Root relaxation: objective 0.000000e+00, 433 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 (1815 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:36 2012 Optimize a model with 3437 rows, 1695 columns and 10311 nonzeros Presolve time: 0.01s Presolved: 3437 rows, 1695 columns, 10311 nonzeros Variable types: 0 continuous, 1695 integer (1695 binary) Root relaxation: objective 0.000000e+00, 465 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 362 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5914 simplex iterations) in 0.79 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:36:36 2012 Optimize a model with 4514 rows, 1901 columns and 13748 nonzeros Presolve time: 0.01s Presolved: 4514 rows, 1901 columns, 13748 nonzeros Variable types: 0 continuous, 1901 integer (1901 binary) Root relaxation: objective 0.000000e+00, 473 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 400 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 2 0.00000 0 369 - 0.00000 - - 6s 218 50 0.00000 17 366 - 0.00000 - 185 10s 583 85 0.00000 15 372 - 0.00000 - 167 15s 923 83 infeasible 14 - 0.00000 - 166 20s 1114 100 0.00000 20 555 - 0.00000 - 163 25s 1116 101 0.00000 15 372 - 0.00000 - 162 30s 1118 103 0.00000 19 368 - 0.00000 - 162 35s 1121 105 0.00000 16 332 - 0.00000 - 162 40s 1123 106 0.00000 15 358 - 0.00000 - 161 46s 1192 114 infeasible 22 - 0.00000 - 224 50s 1341 67 infeasible 28 - 0.00000 - 235 55s 1459 22 infeasible 20 - 0.00000 - 249 60s 1589 28 0.00000 18 372 - 0.00000 - 256 65s 1714 35 infeasible 26 - 0.00000 - 264 70s 1843 28 infeasible 20 - 0.00000 - 271 75s 1974 19 infeasible 22 - 0.00000 - 276 80s 2113 20 infeasible 25 - 0.00000 - 280 85s 2253 34 0.00000 23 494 - 0.00000 - 285 90s 2383 26 infeasible 23 - 0.00000 - 290 95s 2529 16 infeasible 23 - 0.00000 - 292 100s 2680 31 infeasible 27 - 0.00000 - 295 105s 2808 33 infeasible 23 - 0.00000 - 298 110s 2965 39 0.00000 27 431 - 0.00000 - 300 115s 3101 33 infeasible 25 - 0.00000 - 303 120s 3211 25 infeasible 26 - 0.00000 - 307 125s 3355 15 infeasible 21 - 0.00000 - 308 130s 3464 2 0.00000 18 380 - 0.00000 - 311 135s Cutting planes: Zero half: 11 Explored 3519 nodes (1134165 simplex iterations) in 136.65 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:38:53 2012 Optimize a model with 5591 rows, 2107 columns and 17185 nonzeros Presolve time: 0.02s Presolved: 5591 rows, 2107 columns, 17185 nonzeros Variable types: 0 continuous, 2107 integer (2107 binary) Root relaxation: objective 0.000000e+00, 449 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 186 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 0.00000 0 550 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Gomory: 2 Clique: 2 Zero half: 103 Explored 0 nodes (20018 simplex iterations) in 2.46 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: 5