current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:35 2012 Optimize a model with 125726 rows, 24178 columns and 399538 nonzeros Presolve time: 0.43s Presolved: 125726 rows, 24178 columns, 399538 nonzeros Variable types: 0 continuous, 24178 integer (24178 binary) Root relaxation: objective 0.000000e+00, 575 iterations, 0.16 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 (1033 simplex iterations) in 0.76 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:38 2012 Optimize a model with 62384 rows, 12568 columns and 197902 nonzeros Presolve time: 0.18s Presolved: 62384 rows, 12568 columns, 197902 nonzeros Variable types: 0 continuous, 12568 integer (12568 binary) Root relaxation: objective 0.000000e+00, 632 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 (1088 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:39 2012 Optimize a model with 30713 rows, 6763 columns and 97084 nonzeros Presolve time: 0.13s Presolved: 30713 rows, 6763 columns, 97084 nonzeros Variable types: 0 continuous, 6763 integer (6763 binary) Root relaxation: objective 0.000000e+00, 459 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 (893 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:39 2012 Optimize a model with 15464 rows, 3968 columns and 48542 nonzeros Presolve time: 0.05s Presolved: 15464 rows, 3968 columns, 48542 nonzeros Variable types: 0 continuous, 3968 integer (3968 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (870 simplex iterations) in 0.09 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:39 2012 Optimize a model with 7253 rows, 2463 columns and 22404 nonzeros Presolve time: 0.02s Presolved: 7253 rows, 2463 columns, 22404 nonzeros Variable types: 0 continuous, 2463 integer (2463 binary) Root relaxation: objective 0.000000e+00, 464 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 67 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4050 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% current bounds on the number of colors: 0 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:25:40 2012 Optimize a model with 3734 rows, 1818 columns and 11202 nonzeros Presolve time: 0.01s Presolved: 3734 rows, 1818 columns, 11202 nonzeros Variable types: 0 continuous, 1818 integer (1818 binary) Root relaxation: objective 0.000000e+00, 470 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 326 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9938 simplex iterations) in 1.24 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 15:25:41 2012 Optimize a model with 4907 rows, 2033 columns and 14936 nonzeros Presolve time: 0.01s Presolved: 4907 rows, 2033 columns, 14936 nonzeros Variable types: 0 continuous, 2033 integer (2033 binary) Root relaxation: objective 0.000000e+00, 481 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 422 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 590 - 0.00000 - - 2s 0 0 0.00000 0 381 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 4s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 354 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 7s 0 0 0.00000 0 369 - 0.00000 - - 8s 0 0 0.00000 0 374 - 0.00000 - - 10s 0 0 0.00000 0 356 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 11s 0 0 0.00000 0 346 - 0.00000 - - 12s 0 0 0.00000 0 346 - 0.00000 - - 14s 0 2 0.00000 0 346 - 0.00000 - - 15s 128 12 0.00000 14 502 - 0.00000 - 254 20s 337 21 0.00000 15 506 - 0.00000 - 226 25s 551 25 infeasible 19 - 0.00000 - 217 30s 845 21 0.00000 20 414 - 0.00000 - 197 35s 1005 25 0.00000 10 384 - 0.00000 - 200 41s 1007 27 0.00000 10 372 - 0.00000 - 200 46s 1009 28 0.00000 10 364 - 0.00000 - 199 53s 1010 29 0.00000 10 383 - 0.00000 - 199 56s 1012 30 0.00000 10 400 - 0.00000 - 199 63s 1013 31 0.00000 9 523 - 0.00000 - 198 66s 1015 32 0.00000 5 499 - 0.00000 - 198 71s 1042 32 infeasible 22 - 0.00000 - 277 75s 1139 17 infeasible 28 - 0.00000 - 288 80s 1233 19 0.00000 21 467 - 0.00000 - 298 85s 1320 10 infeasible 21 - 0.00000 - 308 90s 1411 9 infeasible 27 - 0.00000 - 317 95s 1495 9 infeasible 27 - 0.00000 - 326 100s Cutting planes: Clique: 4 Zero half: 14 Explored 1537 nodes (587973 simplex iterations) in 102.39 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 15:27:24 2012 Optimize a model with 6080 rows, 2248 columns and 18670 nonzeros Presolve time: 0.02s Presolved: 6080 rows, 2248 columns, 18670 nonzeros Variable types: 0 continuous, 2248 integer (2248 binary) Root relaxation: objective 0.000000e+00, 450 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 414 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 533 - 0.00000 - - 1s 0 0 0.00000 0 514 - 0.00000 - - 1s 0 0 0.00000 0 559 - 0.00000 - - 2s 0 0 0.00000 0 497 - 0.00000 - - 3s 0 0 0.00000 0 486 - 0.00000 - - 4s 0 0 0.00000 0 485 - 0.00000 - - 5s 0 0 0.00000 0 423 - 0.00000 - - 6s 0 0 0.00000 0 504 - 0.00000 - - 7s 0 0 0.00000 0 529 - 0.00000 - - 8s 0 0 0.00000 0 529 - 0.00000 - - 8s 0 2 0.00000 0 529 - 0.00000 - - 10s * 91 2 47 0.0000000 0.00000 0.0% 123 11s Cutting planes: Clique: 4 Zero half: 30 Explored 92 nodes (60489 simplex iterations) in 11.23 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