current bounds on the number of colors: 0 -- 215 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:35:39 2012 Optimize a model with 125298 rows, 24174 columns and 398254 nonzeros Presolve time: 0.44s Presolved: 125298 rows, 24174 columns, 398254 nonzeros Variable types: 0 continuous, 24174 integer (24174 binary) Root relaxation: objective 0.000000e+00, 568 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 (1028 simplex iterations) in 0.78 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:35:41 2012 Optimize a model with 62172 rows, 12564 columns and 197266 nonzeros Presolve time: 0.18s Presolved: 62172 rows, 12564 columns, 197266 nonzeros Variable types: 0 continuous, 12564 integer (12564 binary) Root relaxation: objective 0.000000e+00, 676 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 (1189 simplex iterations) in 0.32 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:35:42 2012 Optimize a model with 30609 rows, 6759 columns and 96772 nonzeros Presolve time: 0.13s Presolved: 30609 rows, 6759 columns, 96772 nonzeros Variable types: 0 continuous, 6759 integer (6759 binary) Root relaxation: objective 0.000000e+00, 501 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 (928 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:35:43 2012 Optimize a model with 15412 rows, 3964 columns and 48386 nonzeros Presolve time: 0.05s Presolved: 15412 rows, 3964 columns, 48386 nonzeros Variable types: 0 continuous, 3964 integer (3964 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 (871 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:35:43 2012 Optimize a model with 7229 rows, 2459 columns and 22332 nonzeros Presolve time: 0.02s Presolved: 7229 rows, 2459 columns, 22332 nonzeros Variable types: 0 continuous, 2459 integer (2459 binary) Root relaxation: objective 0.000000e+00, 455 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 (1870 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:35:43 2012 Optimize a model with 3722 rows, 1814 columns and 11166 nonzeros Presolve time: 0.01s Presolved: 3722 rows, 1814 columns, 11166 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 517 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 338 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7806 simplex iterations) in 1.13 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:35:45 2012 Optimize a model with 4891 rows, 2029 columns and 14888 nonzeros Presolve time: 0.01s Presolved: 4891 rows, 2029 columns, 14888 nonzeros Variable types: 0 continuous, 2029 integer (2029 binary) Root relaxation: objective 0.000000e+00, 491 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 410 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 574 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 386 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 9s 0 0 0.00000 0 373 - 0.00000 - - 10s 0 0 0.00000 0 382 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 12s 0 2 0.00000 0 377 - 0.00000 - - 13s 14 12 infeasible 12 - 0.00000 - 520 15s 195 27 infeasible 14 - 0.00000 - 260 20s 410 39 0.00000 13 454 - 0.00000 - 237 25s 640 39 infeasible 18 - 0.00000 - 225 30s 837 31 infeasible 15 - 0.00000 - 223 35s 905 45 0.00000 7 406 - 0.00000 - 223 44s 906 45 0.00000 9 424 - 0.00000 - 222 47s 907 46 0.00000 9 405 - 0.00000 - 222 50s 909 47 0.00000 10 389 - 0.00000 - 222 56s 910 48 0.00000 12 380 - 0.00000 - 221 60s 912 49 0.00000 9 376 - 0.00000 - 221 65s 913 50 0.00000 8 384 - 0.00000 - 221 70s 921 55 0.00000 14 388 - 0.00000 - 308 75s 937 62 infeasible 22 - 0.00000 - 308 80s 999 53 infeasible 21 - 0.00000 - 317 85s 1082 41 infeasible 23 - 0.00000 - 326 90s 1170 37 0.00000 25 500 - 0.00000 - 334 95s 1253 30 0.00000 18 493 - 0.00000 - 343 100s 1340 23 0.00000 22 400 - 0.00000 - 350 105s 1418 11 infeasible 21 - 0.00000 - 356 110s 1509 14 0.00000 22 536 - 0.00000 - 361 115s 1572 9 infeasible 24 - 0.00000 - 369 120s Cutting planes: Gomory: 1 Zero half: 9 Explored 1616 nodes (673875 simplex iterations) in 123.06 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:37:48 2012 Optimize a model with 6060 rows, 2244 columns and 18610 nonzeros Presolve time: 0.02s Presolved: 6060 rows, 2244 columns, 18610 nonzeros Variable types: 0 continuous, 2244 integer (2244 binary) Root relaxation: objective 0.000000e+00, 454 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 258 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (18152 simplex iterations) in 2.60 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