current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:18:27 2012 Optimize a model with 110263 rows, 21989 columns and 351084 nonzeros Presolve time: 0.37s Presolved: 110263 rows, 21989 columns, 351084 nonzeros Variable types: 0 continuous, 21989 integer (21989 binary) Root relaxation: objective 0.000000e+00, 515 iterations, 0.14 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 (949 simplex iterations) in 0.66 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:18:29 2012 Optimize a model with 55234 rows, 11534 columns and 175542 nonzeros Presolve time: 0.17s Presolved: 55234 rows, 11534 columns, 175542 nonzeros Variable types: 0 continuous, 11534 integer (11534 binary) Root relaxation: objective 0.000000e+00, 503 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 (894 simplex iterations) in 0.27 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:18:30 2012 Optimize a model with 27180 rows, 6204 columns and 86050 nonzeros Presolve time: 0.11s Presolved: 27180 rows, 6204 columns, 86050 nonzeros Variable types: 0 continuous, 6204 integer (6204 binary) Root relaxation: objective 0.000000e+00, 432 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 (846 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:18:31 2012 Optimize a model with 13153 rows, 3539 columns and 41304 nonzeros Presolve time: 0.04s Presolved: 13153 rows, 3539 columns, 41304 nonzeros Variable types: 0 continuous, 3539 integer (3539 binary) Root relaxation: objective 0.000000e+00, 436 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 (842 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:18:31 2012 Optimize a model with 6679 rows, 2309 columns and 20652 nonzeros Presolve time: 0.02s Presolved: 6679 rows, 2309 columns, 20652 nonzeros Variable types: 0 continuous, 2309 integer (2309 binary) Root relaxation: objective 0.000000e+00, 447 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 (1789 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 11:18:31 2012 Optimize a model with 3442 rows, 1694 columns and 10326 nonzeros Presolve time: 0.01s Presolved: 3442 rows, 1694 columns, 10326 nonzeros Variable types: 0 continuous, 1694 integer (1694 binary) Root relaxation: objective 0.000000e+00, 479 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 320 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6989 simplex iterations) in 0.90 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:18:32 2012 Optimize a model with 4521 rows, 1899 columns and 13768 nonzeros Presolve time: 0.01s Presolved: 4521 rows, 1899 columns, 13768 nonzeros Variable types: 0 continuous, 1899 integer (1899 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 396 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 1s 0 0 0.00000 0 559 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 385 - 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 350 - 0.00000 - - 7s 0 0 0.00000 0 358 - 0.00000 - - 8s 0 0 0.00000 0 358 - 0.00000 - - 8s 0 2 0.00000 0 358 - 0.00000 - - 9s 2 3 0.00000 1 534 - 0.00000 - 1510 10s 299 17 0.00000 13 397 - 0.00000 - 169 15s 603 46 0.00000 23 383 - 0.00000 - 166 21s 605 48 0.00000 18 386 - 0.00000 - 165 27s 606 48 0.00000 4 346 - 0.00000 - 165 30s 609 50 0.00000 9 387 - 0.00000 - 164 37s 610 51 0.00000 7 334 - 0.00000 - 164 40s 612 52 0.00000 7 346 - 0.00000 - 164 45s 614 54 0.00000 18 368 - 0.00000 - 163 51s 616 55 0.00000 18 428 - 0.00000 - 162 56s 665 56 infeasible 20 - 0.00000 - 322 60s 766 27 infeasible 23 - 0.00000 - 334 65s 880 20 0.00000 20 500 - 0.00000 - 338 70s 969 5 infeasible 18 - 0.00000 - 349 75s Cutting planes: Gomory: 1 Clique: 3 Zero half: 12 Explored 1003 nodes (409304 simplex iterations) in 77.03 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:19:49 2012 Optimize a model with 5600 rows, 2104 columns and 17210 nonzeros Presolve time: 0.02s Presolved: 5600 rows, 2104 columns, 17210 nonzeros Variable types: 0 continuous, 2104 integer (2104 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 384 - 0.00000 - - 0s 0 0 0.00000 0 331 - 0.00000 - - 1s Cutting planes: Clique: 14 Zero half: 1 Explored 0 nodes (9116 simplex iterations) in 1.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% optimal solution found: number of colors: 5