current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:44:53 2012 Optimize a model with 119251 rows, 23701 columns and 379692 nonzeros Presolve time: 0.41s Presolved: 119251 rows, 23701 columns, 379692 nonzeros Variable types: 0 continuous, 23701 integer (23701 binary) Root relaxation: objective 0.000000e+00, 592 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 (1360 simplex iterations) in 0.83 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:44:55 2012 Optimize a model with 59732 rows, 12412 columns and 189846 nonzeros Presolve time: 0.18s Presolved: 59732 rows, 12412 columns, 189846 nonzeros Variable types: 0 continuous, 12412 integer (12412 binary) Root relaxation: objective 0.000000e+00, 632 iterations, 0.04 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 (1082 simplex iterations) in 0.30 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 14:44:56 2012 Optimize a model with 29411 rows, 6661 columns and 93132 nonzeros Presolve time: 0.12s Presolved: 29411 rows, 6661 columns, 93132 nonzeros Variable types: 0 continuous, 6661 integer (6661 binary) Root relaxation: objective 0.000000e+00, 468 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 (881 simplex iterations) in 0.18 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 14:44:57 2012 Optimize a model with 14812 rows, 3892 columns and 46566 nonzeros Presolve time: 0.05s Presolved: 14812 rows, 3892 columns, 46566 nonzeros Variable types: 0 continuous, 3892 integer (3892 binary) Root relaxation: objective 0.000000e+00, 445 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 (847 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:44:57 2012 Optimize a model with 6951 rows, 2401 columns and 21492 nonzeros Presolve time: 0.02s Presolved: 6951 rows, 2401 columns, 21492 nonzeros Variable types: 0 continuous, 2401 integer (2401 binary) Root relaxation: objective 0.000000e+00, 462 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 (3531 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:44:58 2012 Optimize a model with 3582 rows, 1762 columns and 10746 nonzeros Presolve time: 0.01s Presolved: 3582 rows, 1762 columns, 10746 nonzeros Variable types: 0 continuous, 1762 integer (1762 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 426 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6433 simplex iterations) in 0.94 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 14:44:59 2012 Optimize a model with 4705 rows, 1975 columns and 14328 nonzeros Presolve time: 0.01s Presolved: 4705 rows, 1975 columns, 14328 nonzeros Variable types: 0 continuous, 1975 integer (1975 binary) Root relaxation: objective 0.000000e+00, 485 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 410 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 538 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 2 0.00000 0 388 - 0.00000 - - 7s 122 30 0.00000 12 498 - 0.00000 - 224 10s 396 59 0.00000 15 412 - 0.00000 - 202 15s 652 68 infeasible 18 - 0.00000 - 200 20s 914 73 0.00000 14 368 - 0.00000 - 199 25s 1103 80 0.00000 16 392 - 0.00000 - 200 30s 1105 82 0.00000 13 382 - 0.00000 - 200 36s 1107 83 0.00000 19 380 - 0.00000 - 199 40s 1109 84 0.00000 16 387 - 0.00000 - 199 45s 1111 86 0.00000 6 397 - 0.00000 - 199 51s 1112 86 0.00000 11 366 - 0.00000 - 198 55s 1114 88 0.00000 15 359 - 0.00000 - 198 61s 1164 89 0.00000 24 470 - 0.00000 - 276 65s 1288 50 infeasible 28 - 0.00000 - 284 70s 1411 19 infeasible 34 - 0.00000 - 291 75s 1523 11 0.00000 25 470 - 0.00000 - 299 80s 1637 11 infeasible 28 - 0.00000 - 305 85s 1773 19 infeasible 29 - 0.00000 - 306 90s 1895 11 0.00000 24 434 - 0.00000 - 310 95s 2006 12 0.00000 23 520 - 0.00000 - 313 100s Cutting planes: Clique: 1 Zero half: 21 Explored 2093 nodes (702984 simplex iterations) in 103.82 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 14:46:43 2012 Optimize a model with 5828 rows, 2188 columns and 17910 nonzeros Presolve time: 0.02s Presolved: 5828 rows, 2188 columns, 17910 nonzeros Variable types: 0 continuous, 2188 integer (2188 binary) Root relaxation: objective 0.000000e+00, 463 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 386 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 466 - 0.00000 - - 1s 0 0 0.00000 0 461 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Zero half: 181 Explored 0 nodes (21798 simplex iterations) in 3.36 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