current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:27 2012 Optimize a model with 69509 rows, 16621 columns and 223835 nonzeros Presolve time: 0.22s Presolved: 69509 rows, 16621 columns, 223835 nonzeros Variable types: 0 continuous, 16621 integer (16621 binary) Root relaxation: objective 0.000000e+00, 609 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 (1000 simplex iterations) in 0.37 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 -- 89 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:28 2012 Optimize a model with 34454 rows, 8611 columns and 110660 nonzeros Presolve time: 0.15s Presolved: 34454 rows, 8611 columns, 110660 nonzeros Variable types: 0 continuous, 8611 integer (8611 binary) Root relaxation: objective 0.000000e+00, 591 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 (995 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:28 2012 Optimize a model with 17316 rows, 4695 columns and 55330 nonzeros Presolve time: 0.07s Presolved: 17316 rows, 4695 columns, 55330 nonzeros Variable types: 0 continuous, 4695 integer (4695 binary) Root relaxation: objective 0.000000e+00, 377 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 (689 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:29 2012 Optimize a model with 8747 rows, 2737 columns and 27665 nonzeros Presolve time: 0.03s Presolved: 8747 rows, 2737 columns, 27665 nonzeros Variable types: 0 continuous, 2737 integer (2737 binary) Root relaxation: objective 0.000000e+00, 384 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 (703 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:29 2012 Optimize a model with 4073 rows, 1669 columns and 12575 nonzeros Presolve time: 0.01s Presolved: 4073 rows, 1669 columns, 12575 nonzeros Variable types: 0 continuous, 1669 integer (1669 binary) Root relaxation: objective 0.000000e+00, 395 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 (1893 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: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:29 2012 Optimize a model with 1736 rows, 1135 columns and 5030 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1558 rows, 957 columns, 4674 nonzeros Variable types: 0 continuous, 957 integer (957 binary) Root relaxation: objective 0.000000e+00, 184 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 178 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (776 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:29 2012 Optimize a model with 2515 rows, 1313 columns and 7545 nonzeros Presolve time: 0.01s Presolved: 2515 rows, 1313 columns, 7545 nonzeros Variable types: 0 continuous, 1313 integer (1313 binary) Root relaxation: objective 0.000000e+00, 399 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 356 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4105 simplex iterations) in 0.47 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:57:30 2012 Optimize a model with 3294 rows, 1491 columns and 10060 nonzeros Presolve time: 0.01s Presolved: 3294 rows, 1491 columns, 10060 nonzeros Variable types: 0 continuous, 1491 integer (1491 binary) Root relaxation: objective 0.000000e+00, 402 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 340 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 438 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 2s 0 0 0.00000 0 249 - 0.00000 - - 3s 0 0 0.00000 0 234 - 0.00000 - - 3s 0 0 0.00000 0 229 - 0.00000 - - 3s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 216 - 0.00000 - - 4s 0 0 0.00000 0 216 - 0.00000 - - 5s 0 0 0.00000 0 234 - 0.00000 - - 5s 0 0 0.00000 0 327 - 0.00000 - - 5s 0 0 0.00000 0 190 - 0.00000 - - 6s 0 2 0.00000 0 190 - 0.00000 - - 6s 804 57 0.00000 24 480 - 0.00000 - 68.9 10s 810 61 0.00000 3 288 - 0.00000 - 68.4 15s 816 65 0.00000 17 256 - 0.00000 - 67.9 20s 821 68 0.00000 24 228 - 0.00000 - 67.5 25s 1142 128 0.00000 22 278 - 0.00000 - 156 30s 1652 246 infeasible 29 - 0.00000 - 159 35s 2205 335 0.00000 33 271 - 0.00000 - 159 40s 2752 416 0.00000 30 300 - 0.00000 - 159 45s 3313 489 0.00000 33 292 - 0.00000 - 158 50s 3811 545 infeasible 31 - 0.00000 - 160 55s 4354 646 0.00000 28 298 - 0.00000 - 160 60s 4919 709 infeasible 30 - 0.00000 - 159 65s 5420 736 0.00000 30 278 - 0.00000 - 161 70s 5944 776 infeasible 31 - 0.00000 - 161 75s 6519 869 infeasible 30 - 0.00000 - 160 80s 7101 907 0.00000 31 298 - 0.00000 - 159 85s 7625 863 infeasible 34 - 0.00000 - 160 90s 8135 859 infeasible 33 - 0.00000 - 161 95s 8645 855 0.00000 36 298 - 0.00000 - 161 100s 9176 890 0.00000 29 323 - 0.00000 - 161 105s 9747 901 infeasible 35 - 0.00000 - 161 110s 10339 971 infeasible 30 - 0.00000 - 160 115s 10839 989 infeasible 31 - 0.00000 - 161 120s 11368 966 infeasible 34 - 0.00000 - 161 125s 11895 933 0.00000 30 345 - 0.00000 - 161 130s 12492 934 infeasible 27 - 0.00000 - 161 135s 13060 970 0.00000 31 378 - 0.00000 - 161 140s 13620 979 infeasible 31 - 0.00000 - 161 145s 14157 940 infeasible 36 - 0.00000 - 161 150s 14675 952 infeasible 39 - 0.00000 - 161 155s 15164 963 infeasible 33 - 0.00000 - 162 160s 15705 972 infeasible 36 - 0.00000 - 162 165s 16211 920 infeasible 37 - 0.00000 - 162 170s 16764 915 0.00000 29 304 - 0.00000 - 162 175s 17331 900 infeasible 37 - 0.00000 - 162 180s 17857 864 0.00000 27 333 - 0.00000 - 162 185s 18409 850 0.00000 29 300 - 0.00000 - 162 190s 18978 865 0.00000 32 306 - 0.00000 - 162 195s 19487 836 0.00000 27 375 - 0.00000 - 162 200s 20018 845 infeasible 30 - 0.00000 - 163 205s 20522 815 infeasible 34 - 0.00000 - 163 210s 21041 810 0.00000 32 296 - 0.00000 - 163 215s 21589 838 infeasible 37 - 0.00000 - 163 220s 22122 821 0.00000 35 274 - 0.00000 - 163 225s 22621 825 0.00000 34 304 - 0.00000 - 163 230s 23181 827 infeasible 33 - 0.00000 - 163 235s 23715 807 infeasible 32 - 0.00000 - 163 240s 24267 811 infeasible 37 - 0.00000 - 163 245s 24824 784 0.00000 32 320 - 0.00000 - 163 250s 25414 768 infeasible 29 - 0.00000 - 163 255s 25947 793 infeasible 38 - 0.00000 - 163 260s 26481 777 infeasible 35 - 0.00000 - 163 265s 27039 763 0.00000 33 318 - 0.00000 - 163 270s 27554 776 0.00000 32 288 - 0.00000 - 163 275s 28147 747 infeasible 33 - 0.00000 - 163 280s 28709 755 infeasible 43 - 0.00000 - 163 285s 29254 750 infeasible 33 - 0.00000 - 163 290s 29810 752 0.00000 35 292 - 0.00000 - 163 295s Cutting planes: Zero half: 23 Explored 29860 nodes (4926417 simplex iterations) in 295.37 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5