current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:42:15 2012 Optimize a model with 94090 rows, 19786 columns and 300506 nonzeros Presolve time: 0.31s Presolved: 94090 rows, 19786 columns, 300506 nonzeros Variable types: 0 continuous, 19786 integer (19786 binary) Root relaxation: objective 0.000000e+00, 784 iterations, 0.09 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 (1210 simplex iterations) in 0.53 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:42:17 2012 Optimize a model with 46658 rows, 10280 columns and 148704 nonzeros Presolve time: 0.16s Presolved: 46658 rows, 10280 columns, 148704 nonzeros Variable types: 0 continuous, 10280 integer (10280 binary) Root relaxation: objective 0.000000e+00, 494 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 (875 simplex iterations) in 0.25 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:42:18 2012 Optimize a model with 23426 rows, 5624 columns and 74352 nonzeros Presolve time: 0.09s Presolved: 23426 rows, 5624 columns, 74352 nonzeros Variable types: 0 continuous, 5624 integer (5624 binary) Root relaxation: objective 0.000000e+00, 428 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 (788 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:42:18 2012 Optimize a model with 11810 rows, 3296 columns and 37176 nonzeros Presolve time: 0.04s Presolved: 11810 rows, 3296 columns, 37176 nonzeros Variable types: 0 continuous, 3296 integer (3296 binary) Root relaxation: objective 0.000000e+00, 410 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 (761 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 06:42:19 2012 Optimize a model with 6002 rows, 2132 columns and 18588 nonzeros Presolve time: 0.02s Presolved: 6002 rows, 2132 columns, 18588 nonzeros Variable types: 0 continuous, 2132 integer (2132 binary) Root relaxation: objective 0.000000e+00, 430 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 (1896 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:42:19 2012 Optimize a model with 3098 rows, 1550 columns and 9294 nonzeros Presolve time: 0.01s Presolved: 3098 rows, 1550 columns, 9294 nonzeros Variable types: 0 continuous, 1550 integer (1550 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 384 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5299 simplex iterations) in 0.74 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 06:42:20 2012 Optimize a model with 4066 rows, 1744 columns and 12392 nonzeros Presolve time: 0.01s Presolved: 4066 rows, 1744 columns, 12392 nonzeros Variable types: 0 continuous, 1744 integer (1744 binary) Root relaxation: objective 0.000000e+00, 448 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 382 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 351 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 5s 0 2 0.00000 0 344 - 0.00000 - - 6s 240 26 infeasible 14 - 0.00000 - 188 10s 607 25 0.00000 15 425 - 0.00000 - 178 15s 706 37 0.00000 9 349 - 0.00000 - 175 21s 708 39 0.00000 6 318 - 0.00000 - 175 25s 710 40 0.00000 7 321 - 0.00000 - 174 30s 712 41 0.00000 14 300 - 0.00000 - 174 36s 734 54 0.00000 20 372 - 0.00000 - 259 40s 915 26 0.00000 25 358 - 0.00000 - 266 45s 1058 29 0.00000 22 417 - 0.00000 - 279 50s 1247 40 infeasible 32 - 0.00000 - 279 55s 1430 57 infeasible 27 - 0.00000 - 281 60s 1610 57 infeasible 21 - 0.00000 - 283 65s 1770 61 0.00000 22 416 - 0.00000 - 287 70s 1949 68 0.00000 22 453 - 0.00000 - 288 75s 2106 63 infeasible 26 - 0.00000 - 291 80s 2322 63 0.00000 21 352 - 0.00000 - 290 85s 2506 63 0.00000 17 489 - 0.00000 - 290 90s 2689 74 infeasible 26 - 0.00000 - 291 95s 2884 87 0.00000 27 364 - 0.00000 - 291 100s 3074 61 infeasible 27 - 0.00000 - 292 105s 3236 71 infeasible 32 - 0.00000 - 294 110s 3401 56 infeasible 28 - 0.00000 - 295 115s 3575 50 infeasible 24 - 0.00000 - 296 120s 3729 28 infeasible 29 - 0.00000 - 298 125s 3896 33 infeasible 25 - 0.00000 - 299 130s 4036 23 0.00000 20 457 - 0.00000 - 301 135s 4171 14 0.00000 22 435 - 0.00000 - 303 140s 4324 1 infeasible 20 - 0.00000 - 305 145s Cutting planes: Zero half: 29 Explored 4326 nodes (1363145 simplex iterations) in 145.05 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 06:44:45 2012 Optimize a model with 5034 rows, 1938 columns and 15490 nonzeros Presolve time: 0.01s Presolved: 5034 rows, 1938 columns, 15490 nonzeros Variable types: 0 continuous, 1938 integer (1938 binary) Root relaxation: objective 0.000000e+00, 405 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 124 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3596 simplex iterations) in 0.28 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