current bounds on the number of colors: 0 -- 56 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:45:02 2012 Optimize a model with 22176 rows, 2358 columns and 67928 nonzeros Presolve time: 0.09s Presolved: 22176 rows, 2358 columns, 67928 nonzeros Variable types: 0 continuous, 2358 integer (2358 binary) Root relaxation: objective 0.000000e+00, 144 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 (522 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:45:03 2012 Optimize a model with 11116 rows, 1574 columns and 33964 nonzeros Presolve time: 0.03s Presolved: 11116 rows, 1574 columns, 33964 nonzeros Variable types: 0 continuous, 1574 integer (1574 binary) Root relaxation: objective 0.000000e+00, 120 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 24 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1097 simplex iterations) in 0.13 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:45:03 2012 Optimize a model with 5586 rows, 1182 columns and 16982 nonzeros Presolve time: 0.01s Presolved: 5586 rows, 1182 columns, 16982 nonzeros Variable types: 0 continuous, 1182 integer (1182 binary) Root relaxation: objective 0.000000e+00, 112 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 68 - 0.00000 - - 0s 0 0 0.00000 0 54 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3644 simplex iterations) in 0.52 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: 7 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:45:04 2012 Optimize a model with 7956 rows, 1350 columns and 24260 nonzeros Presolve time: 0.02s Presolved: 7956 rows, 1350 columns, 24260 nonzeros Variable types: 0 continuous, 1350 integer (1350 binary) Root relaxation: objective 0.000000e+00, 120 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 54 - 0.00000 - - 0s 0 0 0.00000 0 53 - 0.00000 - - 0s 0 0 0.00000 0 149 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 0 0.00000 0 165 - 0.00000 - - 3s 0 0 0.00000 0 218 - 0.00000 - - 4s 0 0 0.00000 0 122 - 0.00000 - - 5s 0 0 0.00000 0 263 - 0.00000 - - 6s 0 0 0.00000 0 236 - 0.00000 - - 7s 0 0 0.00000 0 141 - 0.00000 - - 8s 0 0 0.00000 0 207 - 0.00000 - - 9s 0 0 0.00000 0 207 - 0.00000 - - 9s 0 2 0.00000 0 207 - 0.00000 - - 10s 429 13 0.00000 16 139 - 0.00000 - 114 15s 905 21 0.00000 0 149 - 0.00000 - 112 21s 908 23 0.00000 0 81 - 0.00000 - 111 25s 911 25 0.00000 0 204 - 0.00000 - 111 30s 914 27 0.00000 0 207 - 0.00000 - 111 36s 940 39 0.00000 24 156 - 0.00000 - 169 40s 1331 17 0.00000 27 127 - 0.00000 - 161 45s 1695 15 0.00000 30 121 - 0.00000 - 161 50s 2050 8 0.00000 18 168 - 0.00000 - 161 55s 2425 9 infeasible 28 - 0.00000 - 161 60s 2788 4 0.00000 21 180 - 0.00000 - 160 65s Cutting planes: Gomory: 1 Clique: 45 Zero half: 2 Explored 2993 nodes (528287 simplex iterations) in 67.67 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: 10 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:46:12 2012 Optimize a model with 9536 rows, 1462 columns and 29112 nonzeros Presolve time: 0.03s Presolved: 9536 rows, 1462 columns, 29112 nonzeros Variable types: 0 continuous, 1462 integer (1462 binary) Root relaxation: objective 0.000000e+00, 118 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 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1047 simplex iterations) in 0.11 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: 10 -- 12 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:46:12 2012 Optimize a model with 8746 rows, 1406 columns and 26686 nonzeros Presolve time: 0.02s Presolved: 8746 rows, 1406 columns, 26686 nonzeros Variable types: 0 continuous, 1406 integer (1406 binary) Root relaxation: objective 0.000000e+00, 119 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 44 - 0.00000 - - 0s 0 0 0.00000 0 56 - 0.00000 - - 0s Explored 0 nodes (1717 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% optimal solution found: number of colors: 11