| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.8 | 1800.01 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb |
| MD5SUM | 8afe476b50af46eea541bd7c9433564e |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -590 |
| Best CPU time to get the best result obtained on this benchmark | 1797.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 40451 |
| Total number of constraints | 40950 |
| Number of constraints which are clauses | 40396 |
| Number of constraints which are cardinality constraints (but not clauses) | 553 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40128 |
| Number of terms in the objective function | 25674 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 94248 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 180 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 144192 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727871-1338671395.opb. 0.00/0.00 c Instance file HOME/instance-3727871-1338671395.opb 0.00/0.00 c File size is 2722028 bytes. 0.18/0.22 c Cost Offset: -94248 0.18/0.22 c Highest Coefficient sum: 144192 0.18/0.22 c ============================[ Problem Statistics ]============================= 0.18/0.22 c | | 0.18/0.22 c | Parsing time: 0.23 s | 0.18/0.22 c | Number Variables: 40451 | 0.18/0.22 c | Number Clauses: 40396 | 0.18/0.22 c | Number Cardinality: 553 | 0.18/0.22 c | Number PB Constraints: 1 | 0.18/0.22 c | | 0.18/0.26 c | Problem Type: Optimization | 0.18/0.26 c | Objective Function: PB Constraint | 0.18/0.26 c | | 0.18/0.26 c ============================[ Search Statistics ]============================== 0.18/0.26 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.26 c | | | value type | expCls impCls Lit/impCl | 0.18/0.26 c =============================================================================== 0.29/0.31 c | 0.31 | 0 | -94247 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | -94245 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | -94244 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | -94243 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | -94241 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | -94237 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | -94236 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | -94235 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | -94233 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | -94232 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | -94230 lb | 0 0 0.00 | 0.68/0.70 c | 0.70 | 0 | -94226 lb | 0 0 0.00 | 0.68/0.74 c | 0.74 | 0 | -94218 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | -94217 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | -94216 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | -94214 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | -94213 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | -94211 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | -94207 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | -94206 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | -94205 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | -94203 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | -94202 lb | 0 0 0.00 | 1.18/1.21 c | 1.21 | 0 | -94201 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | -94199 lb | 0 0 0.00 | 1.18/1.29 c | 1.30 | 0 | -94191 lb | 0 0 0.00 | 1.28/1.34 c | 1.34 | 0 | -94175 lb | 0 0 0.00 | 1.28/1.38 c | 1.38 | 0 | -94174 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | -94173 lb | 0 0 0.00 | 1.39/1.47 c | 1.47 | 0 | -94171 lb | 0 0 0.00 | 1.49/1.52 c | 1.52 | 0 | -94170 lb | 0 0 0.00 | 1.49/1.56 c | 1.56 | 0 | -94166 lb | 0 0 0.00 | 1.58/1.61 c | 1.61 | 0 | -94165 lb | 0 0 0.00 | 1.58/1.66 c | 1.66 | 0 | -94164 lb | 0 0 0.00 | 1.68/1.70 c | 1.71 | 0 | -94162 lb | 0 0 0.00 | 1.68/1.75 c | 1.75 | 0 | -94161 lb | 0 0 0.00 | 1.78/1.80 c | 1.80 | 0 | -94160 lb | 0 0 0.00 | 1.78/1.84 c | 1.84 | 0 | -94158 lb | 0 0 0.00 | 1.78/1.89 c | 1.89 | 0 | -94154 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | -94153 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | -94152 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | -94150 lb | 0 0 0.00 | 1.98/2.09 c | 2.09 | 0 | -94149 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | -94148 lb | 0 0 0.00 | 2.09/2.19 c | 2.19 | 0 | -94144 lb | 0 0 0.00 | 2.19/2.23 c | 2.24 | 0 | -94143 lb | 0 0 0.00 | 2.19/2.28 c | 2.29 | 0 | -94142 lb | 0 0 0.00 | 2.28/2.33 c | 2.34 | 0 | -94140 lb | 0 0 0.00 | 2.28/2.38 c | 2.39 | 0 | -94139 lb | 0 0 0.00 | 2.39/2.44 c | 2.44 | 0 | -94137 lb | 0 0 0.00 | 2.39/2.48 c | 2.49 | 0 | -94133 lb | 0 0 0.00 | 2.48/2.54 c | 2.54 | 0 | -94117 lb | 0 0 0.00 | 2.48/2.59 c | 2.59 | 0 | -94085 lb | 0 0 0.00 | 2.58/2.64 c | 2.64 | 0 | -94084 lb | 0 0 0.00 | 2.58/2.69 c | 2.69 | 0 | -94083 lb | 0 0 0.00 | 2.68/2.74 c | 2.74 | 0 | -94082 lb | 0 0 0.00 | 2.68/2.79 c | 2.79 | 0 | -94081 lb | 0 0 0.00 | 2.78/2.84 c | 2.84 | 0 | -94077 lb | 0 0 0.00 | 2.78/2.89 c | 2.89 | 0 | -94076 lb | 0 0 0.00 | 2.88/2.94 c | 2.94 | 0 | -94074 lb | 0 0 0.00 | 2.88/2.99 c | 3.00 | 0 | -94073 lb | 0 0 0.00 | 2.98/3.04 c | 3.05 | 0 | -94072 lb | 0 0 0.00 | 2.98/3.09 c | 3.10 | 0 | -94070 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | -94066 lb | 0 0 0.00 | 3.08/3.20 c | 3.20 | 0 | -94058 lb | 0 0 0.00 | 3.18/3.25 c | 3.25 | 0 | -94057 lb | 0 0 0.00 | 3.29/3.30 c | 3.31 | 0 | -94056 lb | 0 0 0.00 | 3.29/3.35 c | 3.36 | 0 | -94054 lb | 0 0 0.00 | 3.39/3.41 c | 3.41 | 0 | -94053 lb | 0 0 0.00 | 3.39/3.46 c | 3.46 | 0 | -94051 lb | 0 0 0.00 | 3.48/3.51 c | 3.51 | 0 | -94047 lb | 0 0 0.00 | 3.48/3.56 c | 3.57 | 0 | -94046 lb | 0 0 0.00 | 3.58/3.62 c | 3.62 | 0 | -94044 lb | 0 0 0.00 | 3.58/3.67 c | 3.67 | 0 | -94043 lb | 0 0 0.00 | 3.68/3.72 c | 3.72 | 0 | -94041 lb | 0 0 0.00 | 3.68/3.77 c | 3.78 | 0 | -94037 lb | 0 0 0.00 | 3.78/3.83 c | 3.83 | 0 | -94029 lb | 0 0 0.00 | 3.78/3.88 c | 3.88 | 0 | -94013 lb | 0 0 0.00 | 3.88/3.94 c | 3.94 | 0 | -94012 lb | 0 0 0.00 | 3.88/3.99 c | 3.99 | 0 | -94011 lb | 0 0 0.00 | 3.98/4.04 c | 4.04 | 0 | -94010 lb | 0 0 0.00 | 4.08/4.10 c | 4.10 | 0 | -94006 lb | 0 0 0.00 | 4.08/4.15 c | 4.15 | 0 | -94005 lb | 0 0 0.00 | 4.18/4.20 c | 4.21 | 0 | -94004 lb | 0 0 0.00 | 4.18/4.26 c | 4.26 | 0 | -94003 lb | 0 0 0.00 | 4.29/4.31 c | 4.32 | 0 | -94001 lb | 0 0 0.00 | 4.29/4.37 c | 4.37 | 0 | -93993 lb | 0 0 0.00 | 4.39/4.42 c | 4.43 | 0 | -93992 lb | 0 0 0.00 | 4.39/4.48 c | 4.48 | 0 | -93991 lb | 0 0 0.00 | 4.48/4.54 c | 4.54 | 0 | -93989 lb | 0 0 0.00 | 4.58/4.60 c | 4.60 | 0 | -93988 lb | 0 0 0.00 | 4.58/4.65 c | 4.66 | 0 | -93986 lb | 0 0 0.00 | 4.68/4.71 c | 4.71 | 0 | -93982 lb | 0 0 0.00 | 4.68/4.77 c | 4.77 | 0 | -93981 lb | 0 0 0.00 | 4.78/4.82 c | 4.82 | 0 | -93980 lb | 0 0 0.00 | 4.78/4.88 c | 4.88 | 0 | -93978 lb | 0 0 0.00 | 4.88/4.93 c | 4.94 | 0 | -93977 lb | 0 0 0.00 | 4.88/4.99 c | 4.99 | 0 | -93975 lb | 0 0 0.00 | 4.98/5.05 c | 5.05 | 0 | -93971 lb | 0 0 0.00 | 5.08/5.10 c | 5.11 | 0 | -93963 lb | 0 0 0.00 | 5.08/5.16 c | 5.16 | 0 | -93947 lb | 0 0 0.00 | 5.19/5.22 c | 5.22 | 0 | -93915 lb | 0 0 0.00 | 5.19/5.28 c | 5.28 | 0 | -93851 lb | 0 0 0.00 | 5.29/5.33 c | 5.33 | 0 | -93850 lb | 0 0 0.00 | 5.29/5.39 c | 5.39 | 0 | -93849 lb | 0 0 0.00 | 5.39/5.45 c | 5.45 | 0 | -93847 lb | 0 0 0.00 | 5.49/5.51 c | 5.51 | 0 | -93846 lb | 0 0 0.00 | 5.49/5.56 c | 5.57 | 0 | -93844 lb | 0 0 0.00 | 5.58/5.62 c | 5.63 | 0 | -93840 lb | 0 0 0.00 | 5.58/5.68 c | 5.68 | 0 | -93839 lb | 0 0 0.00 | 5.68/5.74 c | 5.74 | 0 | -93837 lb | 0 0 0.00 | 5.78/5.80 c | 5.80 | 0 | -93836 lb | 0 0 0.00 | 5.78/5.86 c | 5.86 | 0 | -93835 lb | 0 0 0.00 | 5.88/5.92 c | 5.92 | 0 | -93831 lb | 0 0 0.00 | 5.88/5.98 c | 5.98 | 0 | -93823 lb | 0 0 0.00 | 5.98/6.04 c | 6.04 | 0 | -93822 lb | 0 0 0.00 | 5.98/6.09 c | 6.10 | 0 | -93821 lb | 0 0 0.00 | 6.08/6.16 c | 6.16 | 0 | -93819 lb | 0 0 0.00 | 6.18/6.21 c | 6.22 | 0 | -93818 lb | 0 0 0.00 | 6.18/6.27 c | 6.28 | 0 | -93816 lb | 0 0 0.00 | 6.28/6.33 c | 6.34 | 0 | -93812 lb | 0 0 0.00 | 6.28/6.39 c | 6.40 | 0 | -93811 lb | 0 0 0.00 | 6.38/6.45 c | 6.46 | 0 | -93810 lb | 0 0 0.00 | 6.49/6.52 c | 6.52 | 0 | -93808 lb | 0 0 0.00 | 6.49/6.58 c | 6.58 | 0 | -93807 lb | 0 0 0.00 | 6.59/6.64 c | 6.64 | 0 | -93806 lb | 0 0 0.00 | 6.68/6.70 c | 6.70 | 0 | -93804 lb | 0 0 0.00 | 6.68/6.76 c | 6.76 | 0 | -93800 lb | 0 0 0.00 | 6.78/6.82 c | 6.82 | 0 | -93784 lb | 0 0 0.00 | 6.78/6.88 c | 6.88 | 0 | -93783 lb | 0 0 0.00 | 6.88/6.94 c | 6.95 | 0 | -93782 lb | 0 0 0.00 | 6.98/7.01 c | 7.01 | 0 | -93780 lb | 0 0 0.00 | 6.98/7.07 c | 7.07 | 0 | -93779 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | -93778 lb | 0 0 0.00 | 7.08/7.19 c | 7.20 | 0 | -93774 lb | 0 0 0.00 | 7.18/7.25 c | 7.26 | 0 | -93773 lb | 0 0 0.00 | 7.28/7.32 c | 7.32 | 0 | -93772 lb | 0 0 0.00 | 7.28/7.38 c | 7.38 | 0 | -93770 lb | 0 0 0.00 | 7.38/7.44 c | 7.44 | 0 | -93769 lb | 0 0 0.00 | 7.48/7.50 c | 7.51 | 0 | -93768 lb | 0 0 0.00 | 7.48/7.57 c | 7.57 | 0 | -93766 lb | 0 0 0.00 | 7.59/7.63 c | 7.63 | 0 | -93762 lb | 0 0 0.00 | 7.59/7.69 c | 7.70 | 0 | -93754 lb | 0 0 0.00 | 7.69/7.76 c | 7.76 | 0 | -93753 lb | 0 0 0.00 | 7.78/7.82 c | 7.82 | 0 | -93751 lb | 0 0 0.00 | 7.78/7.88 c | 7.89 | 0 | -93750 lb | 0 0 0.00 | 7.88/7.95 c | 7.95 | 0 | -93748 lb | 0 0 0.00 | 7.98/8.01 c | 8.01 | 0 | -93744 lb | 0 0 0.00 | 7.98/8.08 c | 8.08 | 0 | -93743 lb | 0 0 0.00 | 8.08/8.14 c | 8.14 | 0 | -93742 lb | 0 0 0.00 | 8.18/8.21 c | 8.21 | 0 | -93741 lb | 0 0 0.00 | 8.18/8.27 c | 8.27 | 0 | -93740 lb | 0 0 0.00 | 8.28/8.34 c | 8.34 | 0 | -93738 lb | 0 0 0.00 | 8.38/8.40 c | 8.40 | 0 | -93734 lb | 0 0 0.00 | 8.38/8.47 c | 8.47 | 0 | -93726 lb | 0 0 0.00 | 8.48/8.53 c | 8.53 | 0 | -93710 lb | 0 0 0.00 | 8.58/8.60 c | 8.60 | 0 | -93708 lb | 0 0 0.00 | 8.58/8.66 c | 8.66 | 0 | -93707 lb | 0 0 0.00 | 8.68/8.73 c | 8.73 | 0 | -93706 lb | 0 0 0.00 | 8.68/8.79 c | 8.80 | 0 | -93704 lb | 0 0 0.00 | 8.78/8.86 c | 8.86 | 0 | -93700 lb | 0 0 0.00 | 8.88/8.93 c | 8.93 | 0 | -93699 lb | 0 0 0.00 | 8.88/8.99 c | 9.00 | 0 | -93698 lb | 0 0 0.00 | 8.98/9.06 c | 9.06 | 0 | -93696 lb | 0 0 0.00 | 9.08/9.13 c | 9.13 | 0 | -93695 lb | 0 0 0.00 | 9.08/9.19 c | 9.19 | 0 | -93693 lb | 0 0 0.00 | 9.18/9.26 c | 9.26 | 0 | -93689 lb | 0 0 0.00 | 9.28/9.33 c | 9.33 | 0 | -93688 lb | 0 0 0.00 | 9.28/9.39 c | 9.40 | 0 | -93687 lb | 0 0 0.00 | 9.38/9.46 c | 9.46 | 0 | -93685 lb | 0 0 0.00 | 9.48/9.53 c | 9.53 | 0 | -93683 lb | 0 0 0.00 | 9.58/9.60 c | 9.60 | 0 | -93679 lb | 0 0 0.00 | 9.58/9.67 c | 9.67 | 0 | -93678 lb | 0 0 0.00 | 9.68/9.73 c | 9.73 | 0 | -93677 lb | 0 0 0.00 | 9.79/9.80 c | 9.80 | 0 | -93675 lb | 0 0 0.00 | 9.79/9.87 c | 9.87 | 0 | -93674 lb | 0 0 0.00 | 9.89/9.94 c | 9.94 | 0 | -93672 lb | 0 0 0.00 | 9.98/10.01 c | 10.01 | 0 | -93668 lb | 0 0 0.00 | 9.98/10.08 c | 10.08 | 0 | -93660 lb | 0 0 0.00 | 10.08/10.15 c | 10.15 | 0 | -93644 lb | 0 0 0.00 | 10.18/10.22 c | 10.22 | 0 | -93643 lb | 0 0 0.00 | 10.18/10.28 c | 10.29 | 0 | -93642 lb | 0 0 0.00 | 10.28/10.35 c | 10.36 | 0 | -93640 lb | 0 0 0.00 | 10.38/10.42 c | 10.43 | 0 | -93639 lb | 0 0 0.00 | 10.38/10.49 c | 10.50 | 0 | -93637 lb | 0 0 0.00 | 10.48/10.56 c | 10.56 | 0 | -93633 lb | 0 0 0.00 | 10.58/10.63 c | 10.64 | 0 | -93632 lb | 0 0 0.00 | 10.68/10.70 c | 10.71 | 0 | -93631 lb | 0 0 0.00 | 10.68/10.78 c | 10.78 | 0 | -93629 lb | 0 0 0.00 | 10.78/10.84 c | 10.85 | 0 | -93625 lb | 0 0 0.00 | 10.88/10.92 c | 10.92 | 0 | -93617 lb | 0 0 0.00 | 10.88/10.99 c | 10.99 | 0 | -93616 lb | 0 0 0.00 | 10.98/11.06 c | 11.06 | 0 | -93615 lb | 0 0 0.00 | 11.08/11.13 c | 11.13 | 0 | -93614 lb | 0 0 0.00 | 11.18/11.20 c | 11.20 | 0 | -93612 lb | 0 0 0.00 | 11.18/11.27 c | 11.28 | 0 | -93608 lb | 0 0 0.00 | 11.28/11.35 c | 11.35 | 0 | -93607 lb | 0 0 0.00 | 11.38/11.42 c | 11.42 | 0 | -93606 lb | 0 0 0.00 | 11.38/11.49 c | 11.49 | 0 | -93604 lb | 0 0 0.00 | 11.48/11.56 c | 11.56 | 0 | -93603 lb | 0 0 0.00 | 11.58/11.64 c | 11.64 | 0 | -93602 lb | 0 0 0.00 | 11.68/11.71 c | 11.71 | 0 | -93600 lb | 0 0 0.00 | 11.68/11.78 c | 11.78 | 0 | -93596 lb | 0 0 0.00 | 11.78/11.85 c | 11.86 | 0 | -93588 lb | 0 0 0.00 | 11.88/11.93 c | 11.93 | 0 | -93572 lb | 0 0 0.00 | 11.88/12.00 c | 12.00 | 0 | -93540 lb | 0 0 0.00 | 11.98/12.08 c | 12.08 | 0 | -93476 lb | 0 0 0.00 | 12.09/12.15 c | 12.15 | 0 | -93348 lb | 0 0 0.00 | 12.18/12.22 c | 12.23 | 0 | -93347 lb | 0 0 0.00 | 12.28/12.30 c | 12.30 | 0 | -93346 lb | 0 0 0.00 | 12.28/12.37 c | 12.38 | 0 | -93344 lb | 0 0 0.00 | 12.38/12.45 c | 12.45 | 0 | -93343 lb | 0 0 0.00 | 12.48/12.52 c | 12.53 | 0 | -93341 lb | 0 0 0.00 | 12.58/12.60 c | 12.60 | 0 | -93337 lb | 0 0 0.00 | 12.58/12.67 c | 12.68 | 0 | -93336 lb | 0 0 0.00 | 12.68/12.75 c | 12.75 | 0 | -93334 lb | 0 0 0.00 | 12.78/12.82 c | 12.83 | 0 | -93332 lb | 0 0 0.00 | 12.88/12.90 c | 12.90 | 0 | -93324 lb | 0 0 0.00 | 12.88/12.98 c | 12.98 | 0 | -93323 lb | 0 0 0.00 | 12.98/13.05 c | 13.05 | 0 | -93322 lb | 0 0 0.00 | 13.09/13.13 c | 13.13 | 0 | -93320 lb | 0 0 0.00 | 13.19/13.20 c | 13.21 | 0 | -93319 lb | 0 0 0.00 | 13.19/13.28 c | 13.28 | 0 | -93317 lb | 0 0 0.00 | 13.28/13.36 c | 13.36 | 0 | -93313 lb | 0 0 0.00 | 13.38/13.43 c | 13.44 | 0 | -93312 lb | 0 0 0.00 | 13.48/13.51 c | 13.51 | 0 | -93311 lb | 0 0 0.00 | 13.48/13.59 c | 13.59 | 0 | -93309 lb | 0 0 0.00 | 13.58/13.67 c | 13.67 | 0 | -93308 lb | 0 0 0.00 | 13.68/13.74 c | 13.75 | 0 | -93307 lb | 0 0 0.00 | 13.78/13.82 c | 13.82 | 0 | -93305 lb | 0 0 0.00 | 13.88/13.90 c | 13.90 | 0 | -93301 lb | 0 0 0.00 | 13.88/13.98 c | 13.98 | 0 | -93293 lb | 0 0 0.00 | 13.98/14.06 c | 14.06 | 0 | -93292 lb | 0 0 0.00 | 14.08/14.13 c | 14.13 | 0 | -93291 lb | 0 0 0.00 | 14.19/14.21 c | 14.21 | 0 | -93289 lb | 0 0 0.00 | 14.19/14.29 c | 14.29 | 0 | -93288 lb | 0 0 0.00 | 14.29/14.37 c | 14.37 | 0 | -93287 lb | 0 0 0.00 | 14.38/14.45 c | 14.45 | 0 | -93286 lb | 0 0 0.00 | 14.48/14.53 c | 14.53 | 0 | -93285 lb | 0 0 0.00 | 14.58/14.61 c | 14.61 | 0 | -93283 lb | 0 0 0.00 | 14.58/14.69 c | 14.69 | 0 | -93282 lb | 0 0 0.00 | 14.68/14.77 c | 14.77 | 0 | -93281 lb | 0 0 0.00 | 14.78/14.85 c | 14.85 | 0 | -93279 lb | 0 0 0.00 | 14.87/14.93 c | 14.93 | 0 | -93275 lb | 0 0 0.00 | 14.97/15.01 c | 15.01 | 0 | -93267 lb | 0 0 0.00 | 14.97/15.09 c | 15.09 | 0 | -93265 lb | 0 0 0.00 | 15.08/15.17 c | 15.17 | 0 | -93264 lb | 0 0 0.00 | 15.18/15.25 c | 15.26 | 0 | -93262 lb | 0 0 0.00 | 15.28/15.34 c | 15.34 | 0 | -93258 lb | 0 0 0.00 | 15.38/15.42 c | 15.42 | 0 | -93257 lb | 0 0 0.00 | 15.48/15.50 c | 15.50 | 0 | -93256 lb | 0 0 0.00 | 15.48/15.58 c | 15.59 | 0 | -93255 lb | 0 0 0.00 | 15.58/15.66 c | 15.67 | 0 | -93254 lb | 0 0 0.00 | 15.68/15.75 c | 15.75 | 0 | -93250 lb | 0 0 0.00 | 15.78/15.83 c | 15.83 | 0 | -93242 lb | 0 0 0.00 | 15.88/15.92 c | 15.92 | 0 | -93226 lb | 0 0 0.00 | 15.98/16.00 c | 16.00 | 0 | -93194 lb | 0 0 0.00 | 15.98/16.08 c | 16.08 | 0 | -93192 lb | 0 0 0.00 | 16.08/16.16 c | 16.16 | 0 | -93191 lb | 0 0 0.00 | 16.18/16.25 c | 16.25 | 0 | -93190 lb | 0 0 0.00 | 16.28/16.33 c | 16.33 | 0 | -93188 lb | 0 0 0.00 | 16.38/16.42 c | 16.42 | 0 | -93184 lb | 0 0 0.00 | 16.38/16.50 c | 16.50 | 0 | -93183 lb | 0 0 0.00 | 16.48/16.58 c | 16.59 | 0 | -93182 lb | 0 0 0.00 | 16.58/16.67 c | 16.67 | 0 | -93180 lb | 0 0 0.00 | 16.68/16.75 c | 16.75 | 0 | -93179 lb | 0 0 0.00 | 16.78/16.84 c | 16.84 | 0 | -93178 lb | 0 0 0.00 | 16.88/16.92 c | 16.92 | 0 | -93176 lb | 0 0 0.00 | 16.98/17.01 c | 17.01 | 0 | -93172 lb | 0 0 0.00 | 16.98/17.09 c | 17.09 | 0 | -93164 lb | 0 0 0.00 | 17.08/17.18 c | 17.18 | 0 | -93162 lb | 0 0 0.00 | 17.17/17.26 c | 17.27 | 0 | -93161 lb | 0 0 0.00 | 17.27/17.35 c | 17.35 | 0 | -93160 lb | 0 0 0.00 | 17.38/17.44 c | 17.44 | 0 | -93158 lb | 0 0 0.00 | 17.49/17.52 c | 17.53 | 0 | -93157 lb | 0 0 0.00 | 17.59/17.61 c | 17.61 | 0 | -93155 lb | 0 0 0.00 | 17.68/17.70 c | 17.70 | 0 | -93154 lb | 0 0 0.00 | 17.68/17.78 c | 17.79 | 0 | -93152 lb | 0 0 0.00 | 17.78/17.87 c | 17.87 | 0 | -93148 lb | 0 0 0.00 | 17.88/17.96 c | 17.96 | 0 | -93140 lb | 0 0 0.00 | 17.98/18.04 c | 18.05 | 0 | -93124 lb | 0 0 0.00 | 18.08/18.13 c | 18.13 | 0 | -93123 lb | 0 0 0.00 | 18.18/18.22 c | 18.22 | 0 | -93122 lb | 0 0 0.00 | 18.28/18.30 c | 18.31 | 0 | -93120 lb | 0 0 0.00 | 18.28/18.39 c | 18.39 | 0 | -93119 lb | 0 0 0.00 | 18.38/18.48 c | 18.48 | 0 | -93118 lb | 0 0 0.00 | 18.48/18.57 c | 18.57 | 0 | -93116 lb | 0 0 0.00 | 18.58/18.65 c | 18.66 | 0 | -93112 lb | 0 0 0.00 | 18.68/18.74 c | 18.75 | 0 | -93111 lb | 0 0 0.00 | 18.78/18.83 c | 18.83 | 0 | -93110 lb | 0 0 0.00 | 18.87/18.92 c | 18.92 | 0 | -93108 lb | 0 0 0.00 | 18.98/19.01 c | 19.01 | 0 | -93107 lb | 0 0 0.00 | 19.08/19.10 c | 19.10 | 0 | -93103 lb | 0 0 0.00 | 19.08/19.19 c | 19.19 | 0 | -93095 lb | 0 0 0.00 | 19.18/19.28 c | 19.28 | 0 | -93094 lb | 0 0 0.00 | 19.28/19.36 c | 19.37 | 0 | -93093 lb | 0 0 0.00 | 19.38/19.46 c | 19.46 | 0 | -93091 lb | 0 0 0.00 | 19.48/19.54 c | 19.55 | 0 | -93090 lb | 0 0 0.00 | 19.58/19.64 c | 19.64 | 0 | -93089 lb | 0 0 0.00 | 19.68/19.73 c | 19.73 | 0 | -93087 lb | 0 0 0.00 | 19.78/19.82 c | 19.82 | 0 | -93083 lb | 0 0 0.00 | 19.87/19.91 c | 19.91 | 0 | -93082 lb | 0 0 0.00 | 19.98/20.00 c | 20.00 | 0 | -93081 lb | 0 0 0.00 | 19.98/20.09 c | 20.09 | 0 | -93079 lb | 0 0 0.00 | 20.08/20.19 c | 20.19 | 0 | -93078 lb | 0 0 0.00 | 20.18/20.28 c | 20.28 | 0 | -93077 lb | 0 0 0.00 | 20.27/20.37 c | 20.37 | 0 | -93075 lb | 0 0 0.00 | 20.37/20.46 c | 20.46 | 0 | -93071 lb | 0 0 0.00 | 20.47/20.55 c | 20.56 | 0 | -93063 lb | 0 0 0.00 | 20.58/20.65 c | 20.65 | 0 | -93047 lb | 0 0 0.00 | 20.68/20.74 c | 20.74 | 0 | -93015 lb | 0 0 0.00 | 20.78/20.83 c | 20.84 | 0 | -93014 lb | 0 0 0.00 | 20.88/20.93 c | 20.93 | 0 | -93013 lb | 0 0 0.00 | 20.97/21.02 c | 21.02 | 0 | -93011 lb | 0 0 0.00 | 21.07/21.11 c | 21.11 | 0 | -93010 lb | 0 0 0.00 | 21.17/21.20 c | 21.21 | 0 | -93009 lb | 0 0 0.00 | 21.27/21.30 c | 21.30 | 0 | -93007 lb | 0 0 0.00 | 21.27/21.39 c | 21.39 | 0 | -93006 lb | 0 0 0.00 | 21.38/21.48 c | 21.48 | 0 | -93004 lb | 0 0 0.00 | 21.48/21.58 c | 21.58 | 0 | -93003 lb | 0 0 0.00 | 21.58/21.67 c | 21.67 | 0 | -93002 lb | 0 0 0.00 | 21.68/21.77 c | 21.77 | 0 | -93000 lb | 0 0 0.00 | 21.78/21.86 c | 21.86 | 0 | -92999 lb | 0 0 0.00 | 21.88/21.95 c | 21.96 | 0 | -92998 lb | 0 0 0.00 | 21.98/22.05 c | 22.05 | 0 | -92996 lb | 0 0 0.00 | 22.08/22.14 c | 22.14 | 0 | -92995 lb | 0 0 0.00 | 22.17/22.24 c | 22.24 | 0 | -92994 lb | 0 0 0.00 | 22.27/22.33 c | 22.33 | 0 | -92992 lb | 0 0 0.00 | 22.37/22.43 c | 22.43 | 0 | -92988 lb | 0 0 0.00 | 22.47/22.52 c | 22.53 | 0 | -92987 lb | 0 0 0.00 | 22.57/22.62 c | 22.62 | 0 | -92986 lb | 0 0 0.00 | 22.68/22.71 c | 22.72 | 0 | -92984 lb | 0 0 0.00 | 22.78/22.81 c | 22.81 | 0 | -92983 lb | 0 0 0.00 | 22.88/22.91 c | 22.91 | 0 | -92982 lb | 0 0 0.00 | 22.88/23.00 c | 23.00 | 0 | -92978 lb | 0 0 0.00 | 22.99/23.10 c | 23.10 | 0 | -92970 lb | 0 0 0.00 | 23.08/23.19 c | 23.19 | 0 | -92954 lb | 0 0 0.00 | 23.18/23.29 c | 23.29 | 0 | -92952 lb | 0 0 0.00 | 23.27/23.38 c | 23.39 | 0 | -92951 lb | 0 0 0.00 | 23.37/23.48 c | 23.48 | 0 | -92950 lb | 0 0 0.00 | 23.48/23.58 c | 23.58 | 0 | -92948 lb | 0 0 0.00 | 23.58/23.68 c | 23.68 | 0 | -92947 lb | 0 0 0.00 | 23.68/23.78 c | 23.78 | 0 | -92946 lb | 0 0 0.00 | 23.78/23.87 c | 23.88 | 0 | -92945 lb | 0 0 0.00 | 23.88/23.97 c | 23.97 | 0 | -92944 lb | 0 0 0.00 | 23.98/24.07 c | 24.07 | 0 | -92942 lb | 0 0 0.00 | 24.09/24.17 c | 24.17 | 0 | -92938 lb | 0 0 0.00 | 24.18/24.27 c | 24.27 | 0 | -92930 lb | 0 0 0.00 | 24.28/24.37 c | 24.37 | 0 | -92929 lb | 0 0 0.00 | 24.37/24.47 c | 24.47 | 0 | -92928 lb | 0 0 0.00 | 24.47/24.57 c | 24.57 | 0 | -92926 lb | 0 0 0.00 | 24.57/24.67 c | 24.67 | 0 | -92925 lb | 0 0 0.00 | 24.67/24.76 c | 24.77 | 0 | -92924 lb | 0 0 0.00 | 24.77/24.86 c | 24.86 | 0 | -92920 lb | 0 0 0.00 | 24.88/24.96 c | 24.96 | 0 | -92919 lb | 0 0 0.00 | 24.98/25.06 c | 25.07 | 0 | -92918 lb | 0 0 0.00 | 25.08/25.17 c | 25.17 | 0 | -92916 lb | 0 0 0.00 | 25.19/25.27 c | 25.27 | 0 | -92915 lb | 0 0 0.00 | 25.28/25.37 c | 25.37 | 0 | -92914 lb | 0 0 0.00 | 25.38/25.47 c | 25.47 | 0 | -92912 lb | 0 0 0.00 | 25.47/25.57 c | 25.57 | 0 | -92904 lb | 0 0 0.00 | 25.57/25.67 c | 25.68 | 0 | -92872 lb | 0 0 0.00 | 25.68/25.78 c | 25.78 | 0 | -92871 lb | 0 0 0.00 | 25.78/25.88 c | 25.88 | 0 | -92869 lb | 0 0 0.00 | 25.88/25.98 c | 25.99 | 0 | -92868 lb | 0 0 0.00 | 25.98/26.09 c | 26.09 | 0 | -92867 lb | 0 0 0.00 | 26.08/26.19 c | 26.19 | 0 | -92866 lb | 0 0 0.00 | 26.18/26.29 c | 26.30 | 0 | -92865 lb | 0 0 0.00 | 26.28/26.40 c | 26.40 | 0 | -92864 lb | 0 0 0.00 | 26.47/26.50 c | 26.50 | 0 | -92862 lb | 0 0 0.00 | 26.57/26.60 c | 26.60 | 0 | -92854 lb | 0 0 0.00 | 26.68/26.71 c | 26.71 | 0 | -92853 lb | 0 0 0.00 | 26.78/26.81 c | 26.81 | 0 | -92851 lb | 0 0 0.00 | 26.88/26.91 c | 26.92 | 0 | -92850 lb | 0 0 0.00 | 26.98/27.02 c | 27.02 | 0 | -92849 lb | 0 0 0.00 | 27.08/27.12 c | 27.13 | 0 | -92847 lb | 0 0 0.00 | 27.18/27.23 c | 27.23 | 0 | -92843 lb | 0 0 0.00 | 27.28/27.33 c | 27.34 | 0 | -92842 lb | 0 0 0.00 | 27.38/27.44 c | 27.44 | 0 | -92841 lb | 0 0 0.00 | 27.48/27.54 c | 27.54 | 0 | -92839 lb | 0 0 0.00 | 27.57/27.64 c | 27.65 | 0 | -92837 lb | 0 0 0.00 | 27.67/27.75 c | 27.75 | 0 | -92833 lb | 0 0 0.00 | 27.77/27.85 c | 27.86 | 0 | -92832 lb | 0 0 0.00 | 27.87/27.96 c | 27.96 | 0 | -92830 lb | 0 0 0.00 | 27.97/28.07 c | 28.07 | 0 | -92829 lb | 0 0 0.00 | 28.07/28.17 c | 28.17 | 0 | -92827 lb | 0 0 0.00 | 28.17/28.28 c | 28.28 | 0 | -92823 lb | 0 0 0.00 | 28.27/28.38 c | 28.39 | 0 | -92822 lb | 0 0 0.00 | 28.38/28.49 c | 28.50 | 0 | -92820 lb | 0 0 0.00 | 28.58/28.62 c | 28.62 | 0 | -92819 lb | 0 0 0.00 | 28.67/28.74 c | 28.75 | 0 | -92818 lb | 0 0 0.00 | 28.77/28.87 c | 28.87 | 0 | -92817 lb | 0 0 0.00 | 28.87/28.99 c | 29.00 | 0 | -92816 lb | 0 0 0.00 | 29.07/29.12 c | 29.12 | 0 | -92814 lb | 0 0 0.00 | 29.17/29.25 c | 29.25 | 0 | -92812 lb | 0 0 0.00 | 29.27/29.38 c | 29.38 | 0 | -92811 lb | 0 0 0.00 | 29.47/29.50 c | 29.50 | 0 | -92810 lb | 0 0 0.00 | 29.59/29.63 c | 29.64 | 0 | -92809 lb | 0 0 0.00 | 29.68/29.76 c | 29.77 | 0 | -92805 lb | 0 0 0.00 | 29.78/29.89 c | 29.90 | 0 | -92797 lb | 0 0 0.00 | 29.97/30.03 c | 30.03 | 0 | -92796 lb | 0 0 0.00 | 30.07/30.16 c | 30.16 | 0 | -92795 lb | 0 0 0.00 | 30.17/30.29 c | 30.29 | 0 | -92794 lb | 0 0 0.00 | 30.37/30.42 c | 30.42 | 0 | -92792 lb | 0 0 0.00 | 30.47/30.55 c | 30.55 | 0 | -92790 lb | 0 0 0.00 | 30.58/30.69 c | 30.69 | 0 | -92789 lb | 0 0 0.00 | 30.78/30.82 c | 30.82 | 0 | -92787 lb | 0 0 0.00 | 30.87/30.96 c | 30.96 | 0 | -92783 lb | 0 0 0.00 | 30.97/31.09 c | 31.09 | 0 | -92779 lb | 0 0 0.00 | 31.17/31.22 c | 31.23 | 0 | -92778 lb | 0 0 0.00 | 31.27/31.36 c | 31.36 | 0 | -92777 lb | 0 0 0.00 | 31.38/31.49 c | 31.50 | 0 | -92776 lb | 0 0 0.00 | 31.58/31.63 c | 31.63 | 0 | -92774 lb | 0 0 0.00 | 31.67/31.76 c | 31.77 | 0 | -92773 lb | 0 0 0.00 | 31.78/31.90 c | 31.90 | 0 | -92772 lb | 0 0 0.00 | 31.97/32.04 c | 32.04 | 0 | -92771 lb | 0 0 0.00 | 32.07/32.17 c | 32.17 | 0 | -92769 lb | 0 0 0.00 | 32.27/32.31 c | 32.31 | 0 | -92765 lb | 0 0 0.00 | 32.37/32.45 c | 32.45 | 0 | -92761 lb | 0 0 0.00 | 32.47/32.58 c | 32.59 | 0 | -92745 lb | 0 0 0.00 | 32.67/32.72 c | 32.72 | 0 | -92744 lb | 0 0 0.00 | 32.78/32.86 c | 32.86 | 0 | -92743 lb | 0 0 0.00 | 32.88/33.00 c | 33.00 | 0 | -92741 lb | 0 0 0.00 | 33.07/33.14 c | 33.14 | 0 | -92740 lb | 0 0 0.00 | 33.17/33.28 c | 33.28 | 0 | -92739 lb | 0 0 0.00 | 33.37/33.42 c | 33.42 | 0 | -92737 lb | 0 0 0.00 | 33.47/33.57 c | 33.57 | 0 | -92735 lb | 0 0 0.00 | 33.67/33.70 c | 33.70 | 0 | -92734 lb | 0 0 0.00 | 33.77/33.85 c | 33.85 | 0 | -92733 lb | 0 0 0.00 | 33.87/33.99 c | 33.99 | 0 | -92731 lb | 0 0 0.00 | 34.07/34.13 c | 34.13 | 0 | -92730 lb | 0 0 0.00 | 34.17/34.27 c | 34.27 | 0 | -92729 lb | 0 0 0.00 | 34.37/34.41 c | 34.41 | 0 | -92727 lb | 0 0 0.00 | 34.47/34.55 c | 34.55 | 0 | -92723 lb | 0 0 0.00 | 34.57/34.68 c | 34.68 | 0 | -92715 lb | 0 0 0.00 | 34.77/34.84 c | 34.84 | 0 | -92707 lb | 0 0 0.00 | 34.87/34.98 c | 34.98 | 0 | -92706 lb | 0 0 0.00 | 35.08/35.13 c | 35.13 | 0 | -92704 lb | 0 0 0.00 | 35.18/35.27 c | 35.27 | 0 | -92703 lb | 0 0 0.00 | 35.37/35.42 c | 35.42 | 0 | -92701 lb | 0 0 0.00 | 35.47/35.56 c | 35.56 | 0 | -92699 lb | 0 0 0.00 | 35.67/35.71 c | 35.71 | 0 | -92697 lb | 0 0 0.00 | 35.77/35.84 c | 35.85 | 0 | -92695 lb | 0 0 0.00 | 35.87/35.99 c | 35.99 | 0 | -92694 lb | 0 0 0.00 | 36.07/36.13 c | 36.13 | 0 | -92692 lb | 0 0 0.00 | 36.18/36.27 c | 36.27 | 0 | -92690 lb | 0 0 0.00 | 36.37/36.41 c | 36.41 | 0 | -92689 lb | 0 0 0.00 | 36.47/36.56 c | 36.56 | 0 | -92687 lb | 0 0 0.00 | 36.67/36.70 c | 36.71 | 0 | -92685 lb | 0 0 0.00 | 36.77/36.85 c | 36.85 | 0 | -92681 lb | 0 0 0.00 | 36.87/36.99 c | 36.99 | 0 | -92680 lb | 0 0 0.00 | 37.07/37.13 c | 37.14 | 0 | -92679 lb | 0 0 0.00 | 37.17/37.28 c | 37.28 | 0 | -92678 lb | 0 0 0.00 | 37.37/37.42 c | 37.42 | 0 | -92677 lb | 0 0 0.00 | 37.47/37.56 c | 37.56 | 0 | -92676 lb | 0 0 0.00 | 37.67/37.71 c | 37.71 | 0 | -92675 lb | 0 0 0.00 | 37.77/37.85 c | 37.85 | 0 | -92673 lb | 0 0 0.00 | 37.87/37.99 c | 37.99 | 0 | -92669 lb | 0 0 0.00 | 38.07/38.14 c | 38.14 | 0 | -92661 lb | 0 0 0.00 | 38.17/38.28 c | 38.28 | 0 | -92653 lb | 0 0 0.00 | 38.38/38.43 c | 38.43 | 0 | -92637 lb | 0 0 0.00 | 38.48/38.57 c | 38.57 | 0 | -92635 lb | 0 0 0.00 | 38.67/38.72 c | 38.72 | 0 | -92633 lb | 0 0 0.00 | 38.77/38.86 c | 38.87 | 0 | -92632 lb | 0 0 0.00 | 38.96/39.01 c | 39.01 | 0 | -92631 lb | 0 0 0.00 | 39.06/39.15 c | 39.16 | 0 | -92629 lb | 0 0 0.00 | 39.27/39.30 c | 39.30 | 0 | -92627 lb | 0 0 0.00 | 39.37/39.45 c | 39.45 | 0 | -92623 lb | 0 0 0.00 | 39.48/39.60 c | 39.60 | 0 | -92622 lb | 0 0 0.00 | 39.67/39.74 c | 39.74 | 0 | -92621 lb | 0 0 0.00 | 39.77/39.89 c | 39.90 | 0 | -92620 lb | 0 0 0.00 | 39.97/40.04 c | 40.04 | 0 | -92618 lb | 0 0 0.00 | 40.07/40.19 c | 40.20 | 0 | -92617 lb | 0 0 0.00 | 40.27/40.34 c | 40.34 | 0 | -92615 lb | 0 0 0.00 | 40.37/40.49 c | 40.50 | 0 | -92611 lb | 0 0 0.00 | 40.58/40.64 c | 40.65 | 0 | -92607 lb | 0 0 0.00 | 40.67/40.79 c | 40.79 | 0 | -92606 lb | 0 0 0.00 | 40.87/40.94 c | 40.95 | 0 | -92605 lb | 0 0 0.00 | 41.07/41.10 c | 41.10 | 0 | -92603 lb | 0 0 0.00 | 41.17/41.25 c | 41.25 | 0 | -92601 lb | 0 0 0.00 | 41.26/41.39 c | 41.39 | 0 | -92599 lb | 0 0 0.00 | 41.47/41.54 c | 41.54 | 0 | -92598 lb | 0 0 0.00 | 41.57/41.70 c | 41.70 | 0 | -92597 lb | 0 0 0.00 | 41.78/41.85 c | 41.85 | 0 | -92593 lb | 0 0 0.00 | 41.87/41.99 c | 42.00 | 0 | -92589 lb | 0 0 0.00 | 42.07/42.14 c | 42.15 | 0 | -92588 lb | 0 0 0.00 | 42.17/42.29 c | 42.30 | 0 | -92587 lb | 0 0 0.00 | 42.37/42.44 c | 42.45 | 0 | -92586 lb | 0 0 0.00 | 42.57/42.60 c | 42.60 | 0 | -92585 lb | 0 0 0.00 | 42.67/42.75 c | 42.75 | 0 | -92583 lb | 0 0 0.00 | 42.77/42.90 c | 42.90 | 0 | -92582 lb | 0 0 0.00 | 42.97/43.05 c | 43.06 | 0 | -92580 lb | 0 0 0.00 | 43.16/43.21 c | 43.21 | 0 | -92578 lb | 0 0 0.00 | 43.26/43.36 c | 43.36 | 0 | -92576 lb | 0 0 0.00 | 43.47/43.51 c | 43.51 | 0 | -92574 lb | 0 0 0.00 | 43.57/43.66 c | 43.66 | 0 | -92573 lb | 0 0 0.00 | 43.77/43.81 c | 43.81 | 0 | -92572 lb | 0 0 0.00 | 43.88/43.96 c | 43.97 | 0 | -92571 lb | 0 0 0.00 | 44.07/44.12 c | 44.12 | 0 | -92569 lb | 0 0 0.00 | 44.17/44.27 c | 44.27 | 0 | -92567 lb | 0 0 0.00 | 44.37/44.42 c | 44.42 | 0 | -92563 lb | 0 0 0.00 | 44.47/44.57 c | 44.57 | 0 | -92559 lb | 0 0 0.00 | 44.67/44.72 c | 44.72 | 0 | -92558 lb | 0 0 0.00 | 44.77/44.87 c | 44.88 | 0 | -92557 lb | 0 0 0.00 | 44.97/45.02 c | 45.02 | 0 | -92556 lb | 0 0 0.00 | 45.07/45.18 c | 45.18 | 0 | -92555 lb | 0 0 0.00 | 45.26/45.33 c | 45.33 | 0 | -92553 lb | 0 0 0.00 | 45.36/45.48 c | 45.48 | 0 | -92552 lb | 0 0 0.00 | 45.56/45.64 c | 45.64 | 0 | -92551 lb | 0 0 0.00 | 45.67/45.79 c | 45.79 | 0 | -92549 lb | 0 0 0.00 | 45.87/45.94 c | 45.95 | 0 | -92547 lb | 0 0 0.00 | 45.97/46.10 c | 46.10 | 0 | -92543 lb | 0 0 0.00 | 46.18/46.26 c | 46.26 | 0 | -92539 lb | 0 0 0.00 | 46.37/46.41 c | 46.41 | 0 | -92535 lb | 0 0 0.00 | 46.47/46.57 c | 46.57 | 0 | -92531 lb | 0 0 0.00 | 46.67/46.72 c | 46.72 | 0 | -92530 lb | 0 0 0.00 | 46.77/46.88 c | 46.88 | 0 | -92529 lb | 0 0 0.00 | 46.97/47.03 c | 47.03 | 0 | -92528 lb | 0 0 0.00 | 47.07/47.19 c | 47.19 | 0 | -92526 lb | 0 0 0.00 | 47.28/47.34 c | 47.34 | 0 | -92524 lb | 0 0 0.00 | 47.47/47.50 c | 47.50 | 0 | -92523 lb | 0 0 0.00 | 47.57/47.65 c | 47.66 | 0 | -92522 lb | 0 0 0.00 | 47.77/47.81 c | 47.81 | 0 | -92520 lb | 0 0 0.00 | 47.87/47.96 c | 47.97 | 0 | -92518 lb | 0 0 0.00 | 48.07/48.12 c | 48.12 | 0 | -92514 lb | 0 0 0.00 | 48.17/48.28 c | 48.28 | 0 | -92510 lb | 0 0 0.00 | 48.37/48.43 c | 48.44 | 0 | -92509 lb | 0 0 0.00 | 48.46/48.59 c | 48.59 | 0 | -92508 lb | 0 0 0.00 | 48.66/48.75 c | 48.75 | 0 | -92507 lb | 0 0 0.00 | 48.86/48.90 c | 48.91 | 0 | -92505 lb | 0 0 0.00 | 48.96/49.06 c | 49.06 | 0 | -92503 lb | 0 0 0.00 | 49.17/49.22 c | 49.22 | 0 | -92502 lb | 0 0 0.00 | 49.27/49.38 c | 49.38 | 0 | -92501 lb | 0 0 0.00 | 49.48/49.54 c | 49.54 | 0 | -92500 lb | 0 0 0.00 | 49.67/49.70 c | 49.70 | 0 | -92499 lb | 0 0 0.00 | 49.77/49.85 c | 49.85 | 0 | -92497 lb | 0 0 0.00 | 49.97/50.01 c | 50.01 | 0 | -92489 lb | 0 0 0.00 | 50.07/50.17 c | 50.17 | 0 | -92481 lb | 0 0 0.00 | 50.27/50.33 c | 50.33 | 0 | -92465 lb | 0 0 0.00 | 50.37/50.49 c | 50.49 | 0 | -92449 lb | 0 0 0.00 | 50.57/50.65 c | 50.66 | 0 | -92448 lb | 0 0 0.00 | 50.76/50.81 c | 50.82 | 0 | -92447 lb | 0 0 0.00 | 50.86/50.97 c | 50.98 | 0 | -92446 lb | 0 0 0.00 | 51.06/51.13 c | 51.13 | 0 | -92445 lb | 0 0 0.00 | 51.16/51.29 c | 51.30 | 0 | -92443 lb | 0 0 0.00 | 51.36/51.45 c | 51.46 | 0 | -92442 lb | 0 0 0.00 | 51.58/51.62 c | 51.62 | 0 | -92441 lb | 0 0 0.00 | 51.68/51.78 c | 51.78 | 0 | -92437 lb | 0 0 0.00 | 51.87/51.94 c | 51.95 | 0 | -92433 lb | 0 0 0.00 | 52.07/52.10 c | 52.11 | 0 | -92432 lb | 0 0 0.00 | 52.17/52.27 c | 52.27 | 0 | -92431 lb | 0 0 0.00 | 52.37/52.43 c | 52.43 | 0 | -92430 lb | 0 0 0.00 | 52.46/52.59 c | 52.59 | 0 | -92428 lb | 0 0 0.00 | 52.67/52.76 c | 52.76 | 0 | -92426 lb | 0 0 0.00 | 52.86/52.92 c | 52.92 | 0 | -92425 lb | 0 0 0.00 | 52.96/53.08 c | 53.08 | 0 | -92424 lb | 0 0 0.00 | 53.16/53.25 c | 53.25 | 0 | -92423 lb | 0 0 0.00 | 53.36/53.41 c | 53.41 | 0 | -92422 lb | 0 0 0.00 | 53.46/53.57 c | 53.57 | 0 | -92420 lb | 0 0 0.00 | 53.66/53.73 c | 53.73 | 0 | -92418 lb | 0 0 0.00 | 53.77/53.90 c | 53.90 | 0 | -92414 lb | 0 0 0.00 | 53.96/54.06 c | 54.06 | 0 | -92413 lb | 0 0 0.00 | 54.16/54.22 c | 54.22 | 0 | -92412 lb | 0 0 0.00 | 54.26/54.39 c | 54.39 | 0 | -92411 lb | 0 0 0.00 | 54.47/54.55 c | 54.55 | 0 | -92410 lb | 0 0 0.00 | 54.67/54.72 c | 54.72 | 0 | -92408 lb | 0 0 0.00 | 54.76/54.88 c | 54.88 | 0 | -92406 lb | 0 0 0.00 | 54.97/55.05 c | 55.05 | 0 | -92405 lb | 0 0 0.00 | 55.16/55.21 c | 55.22 | 0 | -92404 lb | 0 0 0.00 | 55.26/55.38 c | 55.38 | 0 | -92403 lb | 0 0 0.00 | 55.46/55.55 c | 55.55 | 0 | -92399 lb | 0 0 0.00 | 55.66/55.71 c | 55.71 | 0 | -92395 lb | 0 0 0.00 | 55.77/55.88 c | 55.88 | 0 | -92394 lb | 0 0 0.00 | 55.97/56.04 c | 56.05 | 0 | -92393 lb | 0 0 0.00 | 56.16/56.21 c | 56.21 | 0 | -92392 lb | 0 0 0.00 | 56.26/56.38 c | 56.38 | 0 | -92391 lb | 0 0 0.00 | 56.46/56.54 c | 56.55 | 0 | -92389 lb | 0 0 0.00 | 56.66/56.71 c | 56.71 | 0 | -92387 lb | 0 0 0.00 | 56.76/56.88 c | 56.88 | 0 | -92386 lb | 0 0 0.00 | 56.96/57.05 c | 57.05 | 0 | -92384 lb | 0 0 0.00 | 57.17/57.22 c | 57.22 | 0 | -92382 lb | 0 0 0.00 | 57.27/57.39 c | 57.39 | 0 | -92378 lb | 0 0 0.00 | 57.47/57.55 c | 57.55 | 0 | -92374 lb | 0 0 0.00 | 57.66/57.72 c | 57.72 | 0 | -92358 lb | 0 0 0.00 | 57.76/57.89 c | 57.89 | 0 | -92342 lb | 0 0 0.00 | 57.96/58.05 c | 58.06 | 0 | -92310 lb | 0 0 0.00 | 58.17/58.22 c | 58.22 | 0 | -92278 lb | 0 0 0.00 | 58.28/58.39 c | 58.39 | 0 | -92277 lb | 0 0 0.00 | 58.47/58.56 c | 58.56 | 0 | -92276 lb | 0 0 0.00 | 58.67/58.73 c | 58.73 | 0 | -92275 lb | 0 0 0.00 | 58.86/58.90 c | 58.90 | 0 | -92274 lb | 0 0 0.00 | 58.96/59.07 c | 59.07 | 0 | -92273 lb | 0 0 0.00 | 59.16/59.24 c | 59.24 | 0 | -92272 lb | 0 0 0.00 | 59.37/59.41 c | 59.41 | 0 | -92271 lb | 0 0 0.00 | 59.46/59.58 c | 59.58 | 0 | -92267 lb | 0 0 0.00 | 59.66/59.74 c | 59.75 | 0 | -92266 lb | 0 0 0.00 | 59.86/59.92 c | 59.92 | 0 | -92265 lb | 0 0 0.00 | 59.96/60.09 c | 60.09 | 0 | -92263 lb | 0 0 0.00 | 60.17/60.26 c | 60.26 | 0 | -92261 lb | 0 0 0.00 | 60.37/60.43 c | 60.43 | 0 | -92260 lb | 0 0 0.00 | 60.57/60.60 c | 60.60 | 0 | -92259 lb | 0 0 0.00 | 60.67/60.77 c | 60.77 | 0 | -92258 lb | 0 0 0.00 | 60.86/60.94 c | 60.95 | 0 | -92257 lb | 0 0 0.00 | 61.06/61.12 c | 61.12 | 0 | -92255 lb | 0 0 0.00 | 61.16/61.29 c | 61.29 | 0 | -92251 lb | 0 0 0.00 | 61.36/61.46 c | 61.46 | 0 | -92247 lb | 0 0 0.00 | 61.57/61.64 c | 61.64 | 0 | -92239 lb | 0 0 0.00 | 61.76/61.82 c | 61.82 | 0 | -92231 lb | 0 0 0.00 | 61.86/61.99 c | 61.99 | 0 | -92230 lb | 0 0 0.00 | 62.06/62.16 c | 62.16 | 0 | -92229 lb | 0 0 0.00 | 62.27/62.34 c | 62.34 | 0 | -92228 lb | 0 0 0.00 | 62.47/62.51 c | 62.51 | 0 | -92227 lb | 0 0 0.00 | 62.57/62.68 c | 62.69 | 0 | -92225 lb | 0 0 0.00 | 62.76/62.86 c | 62.86 | 0 | -92224 lb | 0 0 0.00 | 62.96/63.03 c | 63.03 | 0 | -92223 lb | 0 0 0.00 | 63.16/63.21 c | 63.21 | 0 | -92221 lb | 0 0 0.00 | 63.26/63.38 c | 63.38 | 0 | -92219 lb | 0 0 0.00 | 63.47/63.55 c | 63.55 | 0 | -92215 lb | 0 0 0.00 | 63.67/63.73 c | 63.73 | 0 | -92211 lb | 0 0 0.00 | 63.86/63.90 c | 63.91 | 0 | -92210 lb | 0 0 0.00 | 63.96/64.08 c | 64.08 | 0 | -92209 lb | 0 0 0.00 | 64.16/64.26 c | 64.26 | 0 | -92207 lb | 0 0 0.00 | 64.36/64.43 c | 64.44 | 0 | -92206 lb | 0 0 0.00 | 64.56/64.61 c | 64.61 | 0 | -92205 lb | 0 0 0.00 | 64.66/64.79 c | 64.79 | 0 | -92203 lb | 0 0 0.00 | 64.87/64.96 c | 64.97 | 0 | -92201 lb | 0 0 0.00 | 65.07/65.14 c | 65.15 | 0 | -92197 lb | 0 0 0.00 | 65.27/65.32 c | 65.32 | 0 | -92193 lb | 0 0 0.00 | 65.46/65.50 c | 65.50 | 0 | -92185 lb | 0 0 0.00 | 65.56/65.68 c | 65.68 | 0 | -92169 lb | 0 0 0.00 | 65.76/65.86 c | 65.86 | 0 | -92153 lb | 0 0 0.00 | 65.97/66.04 c | 66.04 | 0 | -92152 lb | 0 0 0.00 | 66.16/66.21 c | 66.22 | 0 | -92151 lb | 0 0 0.00 | 66.36/66.40 c | 66.40 | 0 | -92150 lb | 0 0 0.00 | 66.46/66.58 c | 66.58 | 0 | -92149 lb | 0 0 0.00 | 66.66/66.76 c | 66.76 | 0 | -92148 lb | 0 0 0.00 | 66.86/66.94 c | 66.94 | 0 | -92147 lb | 0 0 0.00 | 67.07/67.12 c | 67.12 | 0 | -92143 lb | 0 0 0.00 | 67.26/67.30 c | 67.30 | 0 | -92142 lb | 0 0 0.00 | 67.36/67.48 c | 67.48 | 0 | -92141 lb | 0 0 0.00 | 67.56/67.66 c | 67.66 | 0 | -92140 lb | 0 0 0.00 | 67.76/67.84 c | 67.84 | 0 | -92139 lb | 0 0 0.00 | 67.96/68.02 c | 68.02 | 0 | -92138 lb | 0 0 0.00 | 68.07/68.20 c | 68.20 | 0 | -92137 lb | 0 0 0.00 | 68.26/68.39 c | 68.39 | 0 | -92135 lb | 0 0 0.00 | 68.46/68.56 c | 68.57 | 0 | -92133 lb | 0 0 0.00 | 68.66/68.75 c | 68.75 | 0 | -92125 lb | 0 0 0.00 | 68.86/68.93 c | 68.93 | 0 | -92124 lb | 0 0 0.00 | 69.06/69.12 c | 69.12 | 0 | -92123 lb | 0 0 0.00 | 69.17/69.30 c | 69.30 | 0 | -92122 lb | 0 0 0.00 | 69.36/69.48 c | 69.48 | 0 | -92121 lb | 0 0 0.00 | 69.56/69.66 c | 69.67 | 0 | -92119 lb | 0 0 0.00 | 69.76/69.85 c | 69.85 | 0 | -92117 lb | 0 0 0.00 | 69.97/70.03 c | 70.03 | 0 | -92116 lb | 0 0 0.00 | 70.16/70.22 c | 70.22 | 0 | -92115 lb | 0 0 0.00 | 70.37/70.40 c | 70.41 | 0 | -92113 lb | 0 0 0.00 | 70.46/70.59 c | 70.59 | 0 | -92109 lb | 0 0 0.00 | 70.66/70.78 c | 70.78 | 0 | -92105 lb | 0 0 0.00 | 70.86/70.97 c | 70.97 | 0 | -92104 lb | 0 0 0.00 | 71.07/71.15 c | 71.15 | 0 | -92103 lb | 0 0 0.00 | 71.27/71.34 c | 71.34 | 0 | -92102 lb | 0 0 0.00 | 71.47/71.52 c | 71.53 | 0 | -92101 lb | 0 0 0.00 | 71.66/71.71 c | 71.72 | 0 | -92099 lb | 0 0 0.00 | 71.86/71.90 c | 71.90 | 0 | -92097 lb | 0 0 0.00 | 71.96/72.09 c | 72.09 | 0 | -92096 lb | 0 0 0.00 | 72.16/72.28 c | 72.28 | 0 | -92094 lb | 0 0 0.00 | 72.36/72.47 c | 72.47 | 0 | -92092 lb | 0 0 0.00 | 72.57/72.65 c | 72.66 | 0 | -92088 lb | 0 0 0.00 | 72.76/72.85 c | 72.85 | 0 | -92084 lb | 0 0 0.00 | 72.96/73.03 c | 73.03 | 0 | -92076 lb | 0 0 0.00 | 73.16/73.22 c | 73.22 | 0 | -92068 lb | 0 0 0.00 | 73.36/73.40 c | 73.41 | 0 | -92052 lb | 0 0 0.00 | 73.46/73.60 c | 73.60 | 0 | -92020 lb | 0 0 0.00 | 73.67/73.79 c | 73.79 | 0 | -91988 lb | 0 0 0.00 | 73.86/73.98 c | 73.99 | 0 | -91924 lb | 0 0 0.00 | 74.06/74.18 c | 74.18 | 0 | -91860 lb | 0 0 0.00 | 74.26/74.37 c | 74.37 | 0 | -91859 lb | 0 0 0.00 | 74.46/74.56 c | 74.56 | 0 | -91858 lb | 0 0 0.00 | 74.67/74.76 c | 74.76 | 0 | -91857 lb | 0 0 0.00 | 74.86/74.95 c | 74.96 | 0 | -91856 lb | 0 0 0.00 | 75.06/75.15 c | 75.15 | 0 | -91854 lb | 0 0 0.00 | 75.26/75.34 c | 75.35 | 0 | -91853 lb | 0 0 0.00 | 75.46/75.54 c | 75.54 | 0 | -91852 lb | 0 0 0.00 | 75.66/75.74 c | 75.74 | 0 | -91850 lb | 0 0 0.00 | 75.87/75.93 c | 75.93 | 0 | -91848 lb | 0 0 0.00 | 76.06/76.12 c | 76.13 | 0 | -91844 lb | 0 0 0.00 | 76.26/76.32 c | 76.32 | 0 | -91840 lb | 0 0 0.00 | 76.46/76.52 c | 76.52 | 0 | -91838 lb | 0 0 0.00 | 76.66/76.71 c | 76.71 | 0 | -91837 lb | 0 0 0.00 | 76.76/76.90 c | 76.90 | 0 | -91835 lb | 0 0 0.00 | 76.96/77.09 c | 77.09 | 0 | -91833 lb | 0 0 0.00 | 77.16/77.29 c | 77.29 | 0 | -91832 lb | 0 0 0.00 | 77.36/77.48 c | 77.48 | 0 | -91831 lb | 0 0 0.00 | 77.56/77.67 c | 77.67 | 0 | -91829 lb | 0 0 0.00 | 77.76/77.87 c | 77.87 | 0 | -91827 lb | 0 0 0.00 | 77.97/78.06 c | 78.06 | 0 | -91826 lb | 0 0 0.00 | 78.16/78.26 c | 78.26 | 0 | -91825 lb | 0 0 0.00 | 78.36/78.45 c | 78.45 | 0 | -91824 lb | 0 0 0.00 | 78.56/78.65 c | 78.65 | 0 | -91822 lb | 0 0 0.00 | 78.76/78.84 c | 78.84 | 0 | -91821 lb | 0 0 0.00 | 78.96/79.04 c | 79.04 | 0 | -91820 lb | 0 0 0.00 | 79.16/79.24 c | 79.24 | 0 | -91819 lb | 0 0 0.00 | 79.36/79.43 c | 79.44 | 0 | -91817 lb | 0 0 0.00 | 79.56/79.63 c | 79.63 | 0 | -91813 lb | 0 0 0.00 | 79.75/79.83 c | 79.83 | 0 | -91809 lb | 0 0 0.00 | 79.95/80.03 c | 80.03 | 0 | -91808 lb | 0 0 0.00 | 80.17/80.22 c | 80.23 | 0 | -91807 lb | 0 0 0.00 | 80.36/80.42 c | 80.42 | 0 | -91805 lb | 0 0 0.00 | 80.56/80.62 c | 80.62 | 0 | -91803 lb | 0 0 0.00 | 80.76/80.82 c | 80.82 | 0 | -91802 lb | 0 0 0.00 | 80.96/81.02 c | 81.02 | 0 | -91801 lb | 0 0 0.00 | 81.16/81.21 c | 81.21 | 0 | -91800 lb | 0 0 0.00 | 81.36/81.41 c | 81.41 | 0 | -91796 lb | 0 0 0.00 | 81.56/81.61 c | 81.61 | 0 | -91788 lb | 0 0 0.00 | 81.76/81.80 c | 81.80 | 0 | -91772 lb | 0 0 0.00 | 81.95/82.00 c | 82.01 | 0 | -91756 lb | 0 0 0.00 | 82.15/82.20 c | 82.20 | 0 | -91754 lb | 0 0 0.00 | 82.26/82.40 c | 82.40 | 0 | -91753 lb | 0 0 0.00 | 82.56/82.60 c | 82.60 | 0 | -91752 lb | 0 0 0.00 | 82.76/82.80 c | 82.80 | 0 | -91751 lb | 0 0 0.00 | 82.96/83.00 c | 83.00 | 0 | -91749 lb | 0 0 0.00 | 83.16/83.20 c | 83.20 | 0 | -91748 lb | 0 0 0.00 | 83.36/83.41 c | 83.41 | 0 | -91747 lb | 0 0 0.00 | 83.57/83.60 c | 83.61 | 0 | -91746 lb | 0 0 0.00 | 83.76/83.81 c | 83.81 | 0 | -91745 lb | 0 0 0.00 | 83.96/84.01 c | 84.01 | 0 | -91744 lb | 0 0 0.00 | 84.16/84.21 c | 84.21 | 0 | -91743 lb | 0 0 0.00 | 84.35/84.40 c | 84.40 | 0 | -91741 lb | 0 0 0.00 | 84.45/84.60 c | 84.60 | 0 | -91737 lb | 0 0 0.00 | 84.76/84.80 c | 84.80 | 0 | -91733 lb | 0 0 0.00 | 84.96/85.00 c | 85.00 | 0 | -91725 lb | 0 0 0.00 | 85.16/85.20 c | 85.20 | 0 | -91724 lb | 0 0 0.00 | 85.36/85.41 c | 85.41 | 0 | -91723 lb | 0 0 0.00 | 85.56/85.61 c | 85.61 | 0 | -91722 lb | 0 0 0.00 | 85.77/85.81 c | 85.81 | 0 | -91720 lb | 0 0 0.00 | 85.96/86.01 c | 86.01 | 0 | -91719 lb | 0 0 0.00 | 86.16/86.21 c | 86.21 | 0 | -91718 lb | 0 0 0.00 | 86.35/86.41 c | 86.41 | 0 | -91717 lb | 0 0 0.00 | 86.55/86.62 c | 86.62 | 0 | -91713 lb | 0 0 0.00 | 86.77/86.82 c | 86.82 | 0 | -91712 lb | 0 0 0.00 | 86.96/87.03 c | 87.03 | 0 | -91711 lb | 0 0 0.00 | 87.16/87.23 c | 87.23 | 0 | -91710 lb | 0 0 0.00 | 87.36/87.43 c | 87.43 | 0 | -91708 lb | 0 0 0.00 | 87.56/87.63 c | 87.64 | 0 | -91707 lb | 0 0 0.00 | 87.76/87.84 c | 87.84 | 0 | -91706 lb | 0 0 0.00 | 87.96/88.04 c | 88.04 | 0 | -91705 lb | 0 0 0.00 | 88.16/88.24 c | 88.24 | 0 | -91703 lb | 0 0 0.00 | 88.35/88.45 c | 88.45 | 0 | -91701 lb | 0 0 0.00 | 88.55/88.65 c | 88.65 | 0 | -91693 lb | 0 0 0.00 | 88.76/88.86 c | 88.86 | 0 | -91661 lb | 0 0 0.00 | 88.96/89.06 c | 89.06 | 0 | -91660 lb | 0 0 0.00 | 89.16/89.28 c | 89.28 | 0 | -91659 lb | 0 0 0.00 | 89.36/89.48 c | 89.48 | 0 | -91657 lb | 0 0 0.00 | 89.56/89.68 c | 89.68 | 0 | -91656 lb | 0 0 0.00 | 89.76/89.89 c | 89.90 | 0 | -91655 lb | 0 0 0.00 | 89.96/90.09 c | 90.10 | 0 | -91654 lb | 0 0 0.00 | 90.26/90.30 c | 90.31 | 0 | -91653 lb | 0 0 0.00 | 90.46/90.51 c | 90.51 | 0 | -91652 lb | 0 0 0.00 | 90.66/90.73 c | 90.73 | 0 | -91651 lb | 0 0 0.00 | 90.86/90.93 c | 90.93 | 0 | -91650 lb | 0 0 0.00 | 91.06/91.13 c | 91.13 | 0 | -91648 lb | 0 0 0.00 | 91.26/91.34 c | 91.34 | 0 | -91646 lb | 0 0 0.00 | 91.46/91.54 c | 91.54 | 0 | -91638 lb | 0 0 0.00 | 91.66/91.75 c | 91.75 | 0 | -91637 lb | 0 0 0.00 | 91.85/91.95 c | 91.95 | 0 | -91635 lb | 0 0 0.00 | 92.05/92.17 c | 92.17 | 0 | -91633 lb | 0 0 0.00 | 92.26/92.37 c | 92.37 | 0 | -91632 lb | 0 0 0.00 | 92.46/92.58 c | 92.58 | 0 | -91631 lb | 0 0 0.00 | 92.66/92.78 c | 92.78 | 0 | -91629 lb | 0 0 0.00 | 92.86/92.99 c | 93.00 | 0 | -91627 lb | 0 0 0.00 | 93.06/93.20 c | 93.20 | 0 | -91623 lb | 0 0 0.00 | 93.36/93.40 c | 93.41 | 0 | -91622 lb | 0 0 0.00 | 93.56/93.62 c | 93.62 | 0 | -91621 lb | 0 0 0.00 | 93.76/93.82 c | 93.83 | 0 | -91619 lb | 0 0 0.00 | 93.96/94.04 c | 94.04 | 0 | -91617 lb | 0 0 0.00 | 94.16/94.25 c | 94.25 | 0 | -91613 lb | 0 0 0.00 | 94.36/94.46 c | 94.46 | 0 | -91612 lb | 0 0 0.00 | 94.56/94.68 c | 94.68 | 0 | -91610 lb | 0 0 0.00 | 94.75/94.88 c | 94.88 | 0 | -91609 lb | 0 0 0.00 | 95.05/95.10 c | 95.10 | 0 | -91607 lb | 0 0 0.00 | 95.26/95.30 c | 95.31 | 0 | -91603 lb | 0 0 0.00 | 95.36/95.49 c | 95.50 | 0 | -91602 lb | 0 0 0.00 | 95.56/95.70 c | 95.70 | 0 | -91600 lb | 0 0 0.00 | 95.85/95.93 c | 95.93 | 0 | -91598 lb | 0 0 0.00 | 96.05/96.15 c | 96.15 | 0 | -91596 lb | 0 0 0.00 | 96.25/96.36 c | 96.37 | 0 | -91595 lb | 0 0 0.00 | 96.45/96.57 c | 96.57 | 0 | -91579 lb | 0 0 0.00 | 96.66/96.79 c | 96.79 | 0 | -91578 lb | 0 0 0.00 | 96.96/97.01 c | 97.01 | 0 | -91577 lb | 0 0 0.00 | 97.15/97.22 c | 97.23 | 0 | -91576 lb | 0 0 0.00 | 97.35/97.43 c | 97.43 | 0 | -91575 lb | 0 0 0.00 | 97.55/97.65 c | 97.65 | 0 | -91574 lb | 0 0 0.00 | 97.76/97.85 c | 97.86 | 0 | -91572 lb | 0 0 0.00 | 97.95/98.08 c | 98.08 | 0 | -91570 lb | 0 0 0.00 | 98.15/98.29 c | 98.29 | 0 | -91569 lb | 0 0 0.00 | 98.46/98.51 c | 98.52 | 0 | -91568 lb | 0 0 0.00 | 98.66/98.72 c | 98.72 | 0 | -91566 lb | 0 0 0.00 | 98.86/98.94 c | 98.94 | 0 | -91564 lb | 0 0 0.00 | 99.05/99.16 c | 99.16 | 0 | -91562 lb | 0 0 0.00 | 99.25/99.37 c | 99.37 | 0 | -91561 lb | 0 0 0.00 | 99.45/99.60 c | 99.60 | 0 | -91560 lb | 0 0 0.00 | 99.75/99.81 c | 99.81 | 0 | -91559 lb | 0 0 0.00 | 99.96/100.03 c | 100.03 | 0 | -91558 lb | 0 0 0.00 | 100.15/100.24 c | 100.24 | 0 | -91556 lb | 0 0 0.00 | 100.36/100.46 c | 100.47 | 0 | -91554 lb | 0 0 0.00 | 100.56/100.68 c | 100.68 | 0 | -91550 lb | 0 0 0.00 | 100.86/100.90 c | 100.90 | 0 | -91546 lb | 0 0 0.00 | 101.06/101.11 c | 101.11 | 0 | -91538 lb | 0 0 0.00 | 101.25/101.33 c | 101.33 | 0 | -91530 lb | 0 0 0.00 | 101.45/101.54 c | 101.55 | 0 | -91529 lb | 0 0 0.00 | 101.65/101.76 c | 101.76 | 0 | -91525 lb | 0 0 0.00 | 101.85/101.98 c | 101.98 | 0 | -91521 lb | 0 0 0.00 | 102.05/102.20 c | 102.20 | 0 | -91513 lb | 0 0 0.00 | 102.35/102.42 c | 102.42 | 0 | -91505 lb | 0 0 0.00 | 102.55/102.63 c | 102.64 | 0 | -91503 lb | 0 0 0.00 | 102.76/102.85 c | 102.86 | 0 | -91501 lb | 0 0 0.00 | 102.96/103.07 c | 103.07 | 0 | -91497 lb | 0 0 0.00 | 103.15/103.29 c | 103.29 | 0 | -91496 lb | 0 0 0.00 | 103.45/103.51 c | 103.51 | 0 | -91495 lb | 0 0 0.00 | 103.65/103.72 c | 103.73 | 0 | -91494 lb | 0 0 0.00 | 103.85/103.95 c | 103.95 | 0 | -91493 lb | 0 0 0.00 | 104.05/104.16 c | 104.17 | 0 | -91491 lb | 0 0 0.00 | 104.25/104.40 c | 104.40 | 0 | -91489 lb | 0 0 0.00 | 104.55/104.61 c | 104.61 | 0 | -91488 lb | 0 0 0.00 | 104.75/104.83 c | 104.83 | 0 | -91487 lb | 0 0 0.00 | 104.96/105.05 c | 105.05 | 0 | -91483 lb | 0 0 0.00 | 105.16/105.27 c | 105.28 | 0 | -91479 lb | 0 0 0.00 | 105.36/105.49 c | 105.49 | 0 | -91477 lb | 0 0 0.00 | 105.65/105.71 c | 105.71 | 0 | -91473 lb | 0 0 0.00 | 105.85/105.93 c | 105.93 | 0 | -91469 lb | 0 0 0.00 | 106.05/106.15 c | 106.15 | 0 | -91461 lb | 0 0 0.00 | 106.25/106.37 c | 106.37 | 0 | -91453 lb | 0 0 0.00 | 106.45/106.59 c | 106.59 | 0 | -91437 lb | 0 0 0.00 | 106.75/106.80 c | 106.81 | 0 | -91405 lb | 0 0 0.00 | 106.95/107.03 c | 107.03 | 0 | -91373 lb | 0 0 0.00 | 107.15/107.24 c | 107.24 | 0 | -91309 lb | 0 0 0.00 | 107.35/107.47 c | 107.47 | 0 | -91245 lb | 0 0 0.00 | 107.55/107.68 c | 107.69 | 0 | -91244 lb | 0 0 0.00 | 107.85/107.91 c | 107.92 | 0 | -91243 lb | 0 0 0.00 | 108.05/108.13 c | 108.13 | 0 | -91242 lb | 0 0 0.00 | 108.25/108.36 c | 108.36 | 0 | -91241 lb | 0 0 0.00 | 108.45/108.58 c | 108.58 | 0 | -91240 lb | 0 0 0.00 | 108.65/108.80 c | 108.80 | 0 | -91238 lb | 0 0 0.00 | 108.95/109.02 c | 109.02 | 0 | -91236 lb | 0 0 0.00 | 109.15/109.24 c | 109.25 | 0 | -91235 lb | 0 0 0.00 | 109.35/109.47 c | 109.47 | 0 | -91234 lb | 0 0 0.00 | 109.55/109.69 c | 109.69 | 0 | -91232 lb | 0 0 0.00 | 109.86/109.91 c | 109.91 | 0 | -91228 lb | 0 0 0.00 | 110.05/110.14 c | 110.14 | 0 | -91224 lb | 0 0 0.00 | 110.25/110.36 c | 110.36 | 0 | -91223 lb | 0 0 0.00 | 110.45/110.58 c | 110.59 | 0 | -91222 lb | 0 0 0.00 | 110.75/110.80 c | 110.81 | 0 | -91220 lb | 0 0 0.00 | 110.96/111.04 c | 111.04 | 0 | -91218 lb | 0 0 0.00 | 111.15/111.26 c | 111.26 | 0 | -91216 lb | 0 0 0.00 | 111.35/111.49 c | 111.49 | 0 | -91208 lb | 0 0 0.00 | 111.65/111.72 c | 111.72 | 0 | -91200 lb | 0 0 0.00 | 111.85/111.94 c | 111.94 | 0 | -91199 lb | 0 0 0.00 | 112.05/112.17 c | 112.17 | 0 | -91198 lb | 0 0 0.00 | 112.25/112.39 c | 112.39 | 0 | -91197 lb | 0 0 0.00 | 112.55/112.62 c | 112.62 | 0 | -91196 lb | 0 0 0.00 | 112.75/112.84 c | 112.84 | 0 | -91194 lb | 0 0 0.00 | 112.95/113.06 c | 113.06 | 0 | -91193 lb | 0 0 0.00 | 113.15/113.29 c | 113.30 | 0 | -91192 lb | 0 0 0.00 | 113.45/113.50 c | 113.51 | 0 | -91190 lb | 0 0 0.00 | 113.65/113.73 c | 113.73 | 0 | -91062 lb | 0 0 0.00 | 113.85/113.95 c | 113.95 | 0 | -90934 lb | 0 0 0.00 | 114.05/114.18 c | 114.18 | 0 | -90933 lb | 0 0 0.00 | 114.36/114.41 c | 114.41 | 0 | -90932 lb | 0 0 0.00 | 114.55/114.64 c | 114.64 | 0 | -90931 lb | 0 0 0.00 | 114.75/114.87 c | 114.87 | 0 | -90930 lb | 0 0 0.00 | 114.95/115.09 c | 115.09 | 0 | -90928 lb | 0 0 0.00 | 115.25/115.33 c | 115.33 | 0 | -90926 lb | 0 0 0.00 | 115.46/115.55 c | 115.55 | 0 | -90925 lb | 0 0 0.00 | 115.64/115.79 c | 115.79 | 0 | -90924 lb | 0 0 0.00 | 115.94/116.01 c | 116.01 | 0 | -90923 lb | 0 0 0.00 | 116.15/116.24 c | 116.24 | 0 | -90922 lb | 0 0 0.00 | 116.35/116.47 c | 116.47 | 0 | -90921 lb | 0 0 0.00 | 116.65/116.71 c | 116.71 | 0 | -90920 lb | 0 0 0.00 | 116.85/116.93 c | 116.93 | 0 | -90916 lb | 0 0 0.00 | 117.05/117.16 c | 117.16 | 0 | -90912 lb | 0 0 0.00 | 117.25/117.38 c | 117.39 | 0 | -90904 lb | 0 0 0.00 | 117.56/117.61 c | 117.61 | 0 | -90896 lb | 0 0 0.00 | 117.75/117.84 c | 117.84 | 0 | -90895 lb | 0 0 0.00 | 117.95/118.07 c | 118.07 | 0 | -90894 lb | 0 0 0.00 | 118.25/118.30 c | 118.30 | 0 | -90893 lb | 0 0 0.00 | 118.45/118.52 c | 118.53 | 0 | -90891 lb | 0 0 0.00 | 118.65/118.75 c | 118.76 | 0 | -90889 lb | 0 0 0.00 | 118.85/118.98 c | 118.98 | 0 | -90888 lb | 0 0 0.00 | 119.15/119.21 c | 119.21 | 0 | -90887 lb | 0 0 0.00 | 119.34/119.44 c | 119.44 | 0 | -90886 lb | 0 0 0.00 | 119.54/119.67 c | 119.67 | 0 | -90885 lb | 0 0 0.00 | 119.85/119.90 c | 119.91 | 0 | -90884 lb | 0 0 0.00 | 120.04/120.13 c | 120.13 | 0 | -90883 lb | 0 0 0.00 | 120.25/120.36 c | 120.36 | 0 | -90882 lb | 0 0 0.00 | 120.45/120.59 c | 120.59 | 0 | -90878 lb | 0 0 0.00 | 120.75/120.82 c | 120.83 | 0 | -90877 lb | 0 0 0.00 | 120.95/121.06 c | 121.06 | 0 | -90876 lb | 0 0 0.00 | 121.15/121.28 c | 121.29 | 0 | -90874 lb | 0 0 0.00 | 121.45/121.52 c | 121.52 | 0 | -90872 lb | 0 0 0.00 | 121.65/121.75 c | 121.75 | 0 | -90870 lb | 0 0 0.00 | 121.85/121.99 c | 121.99 | 0 | -90869 lb | 0 0 0.00 | 122.14/122.21 c | 122.22 | 0 | -90867 lb | 0 0 0.00 | 122.34/122.45 c | 122.45 | 0 | -90863 lb | 0 0 0.00 | 122.54/122.69 c | 122.69 | 0 | -90859 lb | 0 0 0.00 | 122.85/122.91 c | 122.92 | 0 | -90851 lb | 0 0 0.00 | 123.06/123.15 c | 123.16 | 0 | -90843 lb | 0 0 0.00 | 123.25/123.39 c | 123.39 | 0 | -90841 lb | 0 0 0.00 | 123.55/123.63 c | 123.63 | 0 | -90837 lb | 0 0 0.00 | 123.75/123.85 c | 123.85 | 0 | -90836 lb | 0 0 0.00 | 123.95/124.08 c | 124.08 | 0 | -90834 lb | 0 0 0.00 | 124.25/124.32 c | 124.33 | 0 | -90832 lb | 0 0 0.00 | 124.44/124.55 c | 124.55 | 0 | -90828 lb | 0 0 0.00 | 124.75/124.80 c | 124.80 | 0 | -90824 lb | 0 0 0.00 | 124.95/125.02 c | 125.02 | 0 | -90823 lb | 0 0 0.00 | 125.15/125.26 c | 125.26 | 0 | -90822 lb | 0 0 0.00 | 125.35/125.49 c | 125.50 | 0 | -90821 lb | 0 0 0.00 | 125.64/125.73 c | 125.73 | 0 | -90820 lb | 0 0 0.00 | 125.85/125.97 c | 125.97 | 0 | -90819 lb | 0 0 0.00 | 126.15/126.20 c | 126.20 | 0 | -90818 lb | 0 0 0.00 | 126.36/126.44 c | 126.44 | 0 | -90817 lb | 0 0 0.00 | 126.55/126.67 c | 126.67 | 0 | -90813 lb | 0 0 0.00 | 126.85/126.91 c | 126.91 | 0 | -90809 lb | 0 0 0.00 | 127.05/127.14 c | 127.14 | 0 | -90801 lb | 0 0 0.00 | 127.25/127.37 c | 127.38 | 0 | -90785 lb | 0 0 0.00 | 127.55/127.61 c | 127.61 | 0 | -90783 lb | 0 0 0.00 | 127.75/127.85 c | 127.86 | 0 | -90781 lb | 0 0 0.00 | 127.95/128.08 c | 128.09 | 0 | -90780 lb | 0 0 0.00 | 128.25/128.32 c | 128.32 | 0 | -90778 lb | 0 0 0.00 | 128.45/128.56 c | 128.57 | 0 | -90776 lb | 0 0 0.00 | 128.65/128.79 c | 128.79 | 0 | -90775 lb | 0 0 0.00 | 128.94/129.03 c | 129.03 | 0 | -90774 lb | 0 0 0.00 | 129.14/129.27 c | 129.27 | 0 | -90773 lb | 0 0 0.00 | 129.45/129.51 c | 129.51 | 0 | -90771 lb | 0 0 0.00 | 129.66/129.75 c | 129.75 | 0 | -90769 lb | 0 0 0.00 | 129.85/129.98 c | 129.98 | 0 | -90765 lb | 0 0 0.00 | 130.15/130.22 c | 130.23 | 0 | -90761 lb | 0 0 0.00 | 130.35/130.45 c | 130.46 | 0 | -90760 lb | 0 0 0.00 | 130.65/130.71 c | 130.71 | 0 | -90758 lb | 0 0 0.00 | 130.85/130.94 c | 130.94 | 0 | -90742 lb | 0 0 0.00 | 131.04/131.17 c | 131.18 | 0 | -90740 lb | 0 0 0.00 | 131.34/131.42 c | 131.42 | 0 | -90738 lb | 0 0 0.00 | 131.54/131.66 c | 131.66 | 0 | -90737 lb | 0 0 0.00 | 131.74/131.89 c | 131.90 | 0 | -90736 lb | 0 0 0.00 | 132.05/132.13 c | 132.13 | 0 | -90735 lb | 0 0 0.00 | 132.25/132.37 c | 132.38 | 0 | -90734 lb | 0 0 0.00 | 132.55/132.61 c | 132.61 | 0 | -90732 lb | 0 0 0.00 | 132.75/132.84 c | 132.85 | 0 | -90728 lb | 0 0 0.00 | 132.95/133.09 c | 133.09 | 0 | -90724 lb | 0 0 0.00 | 133.24/133.32 c | 133.32 | 0 | -90716 lb | 0 0 0.00 | 133.44/133.57 c | 133.57 | 0 | -90708 lb | 0 0 0.00 | 133.75/133.80 c | 133.81 | 0 | -90706 lb | 0 0 0.00 | 133.94/134.05 c | 134.05 | 0 | -90704 lb | 0 0 0.00 | 134.15/134.28 c | 134.29 | 0 | -90703 lb | 0 0 0.00 | 134.44/134.52 c | 134.53 | 0 | -90702 lb | 0 0 0.00 | 134.64/134.76 c | 134.77 | 0 | -90670 lb | 0 0 0.00 | 134.95/135.01 c | 135.01 | 0 | -90638 lb | 0 0 0.00 | 135.16/135.25 c | 135.25 | 0 | -90636 lb | 0 0 0.00 | 135.35/135.49 c | 135.49 | 0 | -90635 lb | 0 0 0.00 | 135.65/135.73 c | 135.74 | 0 | -90634 lb | 0 0 0.00 | 135.84/135.98 c | 135.98 | 0 | -90633 lb | 0 0 0.00 | 136.14/136.22 c | 136.22 | 0 | -90632 lb | 0 0 0.00 | 136.35/136.46 c | 136.46 | 0 | -90631 lb | 0 0 0.00 | 136.65/136.70 c | 136.70 | 0 | -90629 lb | 0 0 0.00 | 136.85/136.94 c | 136.94 | 0 | -90627 lb | 0 0 0.00 | 137.05/137.18 c | 137.18 | 0 | -90623 lb | 0 0 0.00 | 137.35/137.42 c | 137.42 | 0 | -90619 lb | 0 0 0.00 | 137.54/137.66 c | 137.66 | 0 | -90611 lb | 0 0 0.00 | 137.84/137.90 c | 137.90 | 0 | -90603 lb | 0 0 0.00 | 138.04/138.14 c | 138.15 | 0 | -90602 lb | 0 0 0.00 | 138.24/138.39 c | 138.39 | 0 | -90601 lb | 0 0 0.00 | 138.55/138.63 c | 138.63 | 0 | -90600 lb | 0 0 0.00 | 138.74/138.88 c | 138.88 | 0 | -90599 lb | 0 0 0.00 | 139.05/139.12 c | 139.12 | 0 | -90597 lb | 0 0 0.00 | 139.25/139.38 c | 139.38 | 0 | -90595 lb | 0 0 0.00 | 139.55/139.63 c | 139.63 | 0 | -90593 lb | 0 0 0.00 | 139.74/139.87 c | 139.87 | 0 | -90592 lb | 0 0 0.00 | 140.04/140.12 c | 140.12 | 0 | -90591 lb | 0 0 0.00 | 140.25/140.36 c | 140.37 | 0 | -90590 lb | 0 0 0.00 | 140.55/140.61 c | 140.61 | 0 | -90588 lb | 0 0 0.00 | 140.75/140.85 c | 140.85 | 0 | -90586 lb | 0 0 0.00 | 140.95/141.09 c | 141.09 | 0 | -90582 lb | 0 0 0.00 | 141.25/141.34 c | 141.34 | 0 | -90578 lb | 0 0 0.00 | 141.45/141.58 c | 141.59 | 0 | -90577 lb | 0 0 0.00 | 141.75/141.83 c | 141.83 | 0 | -90576 lb | 0 0 0.00 | 141.94/142.08 c | 142.08 | 0 | -90575 lb | 0 0 0.00 | 142.24/142.33 c | 142.33 | 0 | -90573 lb | 0 0 0.00 | 142.44/142.58 c | 142.58 | 0 | -90571 lb | 0 0 0.00 | 142.74/142.82 c | 142.82 | 0 | -90563 lb | 0 0 0.00 | 142.95/143.07 c | 143.07 | 0 | -90555 lb | 0 0 0.00 | 143.24/143.31 c | 143.31 | 0 | -90551 lb | 0 0 0.00 | 143.44/143.56 c | 143.56 | 0 | -90543 lb | 0 0 0.00 | 143.74/143.81 c | 143.81 | 0 | -90535 lb | 0 0 0.00 | 143.95/144.06 c | 144.06 | 0 | -90534 lb | 0 0 0.00 | 144.24/144.31 c | 144.31 | 0 | -90533 lb | 0 0 0.00 | 144.44/144.55 c | 144.55 | 0 | -90532 lb | 0 0 0.00 | 144.74/144.80 c | 144.80 | 0 | -90531 lb | 0 0 0.00 | 144.94/145.04 c | 145.04 | 0 | -90529 lb | 0 0 0.00 | 145.15/145.28 c | 145.28 | 0 | -90528 lb | 0 0 0.00 | 145.44/145.53 c | 145.53 | 0 | -90527 lb | 0 0 0.00 | 145.64/145.77 c | 145.77 | 0 | -90526 lb | 0 0 0.00 | 145.95/146.02 c | 146.02 | 0 | -90525 lb | 0 0 0.00 | 146.15/146.27 c | 146.27 | 0 | -90523 lb | 0 0 0.00 | 146.45/146.52 c | 146.52 | 0 | -90521 lb | 0 0 0.00 | 146.64/146.76 c | 146.76 | 0 | -90517 lb | 0 0 0.00 | 146.94/147.01 c | 147.01 | 0 | -90513 lb | 0 0 0.00 | 147.14/147.26 c | 147.26 | 0 | -90512 lb | 0 0 0.00 | 147.44/147.51 c | 147.51 | 0 | -90511 lb | 0 0 0.00 | 147.64/147.76 c | 147.76 | 0 | -90510 lb | 0 0 0.00 | 147.94/148.01 c | 148.01 | 0 | -90508 lb | 0 0 0.00 | 148.14/148.26 c | 148.26 | 0 | -90506 lb | 0 0 0.00 | 148.45/148.51 c | 148.51 | 0 | -90505 lb | 0 0 0.00 | 148.64/148.76 c | 148.76 | 0 | -90504 lb | 0 0 0.00 | 148.94/149.01 c | 149.01 | 0 | -90503 lb | 0 0 0.00 | 149.15/149.26 c | 149.26 | 0 | -90501 lb | 0 0 0.00 | 149.45/149.51 c | 149.51 | 0 | -90499 lb | 0 0 0.00 | 149.64/149.76 c | 149.76 | 0 | -90495 lb | 0 0 0.00 | 149.94/150.01 c | 150.01 | 0 | -90491 lb | 0 0 0.00 | 150.14/150.27 c | 150.28 | 0 | -90483 lb | 0 0 0.00 | 150.44/150.53 c | 150.53 | 0 | -90475 lb | 0 0 0.00 | 150.65/150.77 c | 150.78 | 0 | -90459 lb | 0 0 0.00 | 150.94/151.03 c | 151.03 | 0 | -90443 lb | 0 0 0.00 | 151.14/151.28 c | 151.28 | 0 | -90411 lb | 0 0 0.00 | 151.44/151.53 c | 151.53 | 0 | -90379 lb | 0 0 0.00 | 151.65/151.78 c | 151.78 | 0 | -90378 lb | 0 0 0.00 | 151.94/152.03 c | 152.03 | 0 | -90377 lb | 0 0 0.00 | 152.14/152.28 c | 152.28 | 0 | -90376 lb | 0 0 0.00 | 152.44/152.53 c | 152.53 | 0 | -90374 lb | 0 0 0.00 | 152.64/152.79 c | 152.79 | 0 | -90372 lb | 0 0 0.00 | 152.94/153.05 c | 153.06 | 0 | -90371 lb | 0 0 0.00 | 153.24/153.31 c | 153.31 | 0 | -90370 lb | 0 0 0.00 | 153.44/153.58 c | 153.58 | 0 | -90369 lb | 0 0 0.00 | 153.74/153.83 c | 153.84 | 0 | -90368 lb | 0 0 0.00 | 153.95/154.09 c | 154.09 | 0 | -90367 lb | 0 0 0.00 | 154.24/154.36 c | 154.37 | 0 | -90366 lb | 0 0 0.00 | 154.53/154.63 c | 154.63 | 0 | -90365 lb | 0 0 0.00 | 154.73/154.89 c | 154.90 | 0 | -90364 lb | 0 0 0.00 | 155.05/155.15 c | 155.15 | 0 | -90360 lb | 0 0 0.00 | 155.34/155.41 c | 155.41 | 0 | -90356 lb | 0 0 0.00 | 155.54/155.67 c | 155.67 | 0 | -90352 lb | 0 0 0.00 | 155.84/155.93 c | 155.93 | 0 | -90348 lb | 0 0 0.00 | 156.05/156.19 c | 156.19 | 0 | -90344 lb | 0 0 0.00 | 156.34/156.45 c | 156.46 | 0 | -90340 lb | 0 0 0.00 | 156.64/156.70 c | 156.70 | 0 | -90336 lb | 0 0 0.00 | 156.84/156.97 c | 156.97 | 0 | -90332 lb | 0 0 0.00 | 157.15/157.24 c | 157.24 | 0 | -90328 lb | 0 0 0.00 | 157.44/157.50 c | 157.50 | 0 | -90324 lb | 0 0 0.00 | 157.84/157.95 c | 157.95 | 0 | -90320 lb | 0 0 0.00 | 160.14/160.29 c | 160.29 | 0 | -90316 lb | 0 0 0.00 | 160.44/160.56 c | 160.56 | 0 | -90308 lb | 0 0 0.00 | 160.73/160.82 c | 160.82 | 0 | -90307 lb | 0 0 0.00 | 160.93/161.09 c | 161.09 | 0 | -90306 lb | 0 0 0.00 | 161.23/161.34 c | 161.35 | 0 | -90305 lb | 0 0 0.00 | 161.54/161.60 c | 161.61 | 0 | -90303 lb | 0 0 0.00 | 161.73/161.86 c | 161.87 | 0 | -90302 lb | 0 0 0.00 | 162.04/162.13 c | 162.13 | 0 | -90301 lb | 0 0 0.00 | 162.34/162.40 c | 162.40 | 0 | -90300 lb | 0 0 0.00 | 162.54/162.67 c | 162.67 | 0 | -90299 lb | 0 0 0.00 | 162.84/162.94 c | 162.94 | 0 | -90298 lb | 0 0 0.00 | 163.04/163.19 c | 163.19 | 0 | -90297 lb | 0 0 0.00 | 163.34/163.45 c | 163.45 | 0 | -90296 lb | 0 0 0.00 | 163.64/163.71 c | 163.71 | 0 | -90294 lb | 0 0 0.00 | 163.85/163.97 c | 163.97 | 0 | -90292 lb | 0 0 0.00 | 164.14/164.23 c | 164.23 | 0 | -90288 lb | 0 0 0.00 | 164.34/164.49 c | 164.49 | 0 | -90284 lb | 0 0 0.00 | 164.64/164.76 c | 164.77 | 0 | -90280 lb | 0 0 0.00 | 164.95/165.03 c | 165.04 | 0 | -90276 lb | 0 0 0.00 | 165.24/165.31 c | 165.31 | 0 | -90272 lb | 0 0 0.00 | 171.34/171.47 c | 171.47 | 0 | -90268 lb | 0 0 0.00 | 181.83/181.94 c | 181.94 | 0 | -90264 lb | 0 0 0.00 | 186.14/186.28 c | 186.28 | 0 | -90260 lb | 0 0 0.00 | 186.43/186.51 c | 186.51 | 0 | -90228 lb | 0 0 0.00 | 186.63/186.75 c | 186.75 | 0 | -90196 lb | 0 0 0.00 | 186.94/187.03 c | 187.03 | 0 | -90164 lb | 0 0 0.00 | 187.23/187.30 c | 187.30 | 0 | -90132 lb | 0 0 0.00 | 187.43/187.56 c | 187.56 | 0 | -90116 lb | 0 0 0.00 | 187.73/187.83 c | 187.84 | 0 | -90100 lb | 0 0 0.00 | 188.04/188.11 c | 188.11 | 0 | -90084 lb | 0 0 0.00 | 188.23/188.39 c | 188.39 | 0 | -90068 lb | 0 0 0.00 | 188.53/188.67 c | 188.67 | 0 | -90036 lb | 0 0 0.00 | 188.83/188.94 c | 188.94 | 0 | -90004 lb | 0 0 0.00 | 189.14/189.22 c | 189.22 | 0 | -89972 lb | 0 0 0.00 | 189.33/189.48 c | 189.49 | 0 | -89940 lb | 0 0 0.00 | 189.63/189.77 c | 189.77 | 0 | -89908 lb | 0 0 0.00 | 189.93/190.03 c | 190.03 | 0 | -89907 lb | 0 0 0.00 | 190.14/190.30 c | 190.30 | 0 | -89906 lb | 0 0 0.00 | 190.43/190.58 c | 190.58 | 0 | -89905 lb | 0 0 0.00 | 190.73/190.83 c | 190.84 | 0 | -89904 lb | 0 0 0.00 | 191.03/191.11 c | 191.12 | 0 | -89903 lb | 0 0 0.00 | 191.24/191.38 c | 191.38 | 0 | -89901 lb | 0 0 0.00 | 191.53/191.65 c | 191.66 | 0 | -89899 lb | 0 0 0.00 | 191.83/191.93 c | 191.94 | 0 | -89897 lb | 0 0 0.00 | 192.13/192.21 c | 192.21 | 0 | -89895 lb | 0 0 0.00 | 192.34/192.49 c | 192.50 | 0 | -89893 lb | 0 0 0.00 | 192.63/192.76 c | 192.76 | 0 | -89891 lb | 0 0 0.00 | 192.93/193.02 c | 193.03 | 0 | -89890 lb | 0 0 0.00 | 193.23/193.32 c | 193.32 | 0 | -89886 lb | 0 0 0.00 | 193.43/193.60 c | 193.60 | 0 | -89882 lb | 0 0 0.00 | 193.73/193.86 c | 193.86 | 0 | -89881 lb | 0 0 0.00 | 194.03/194.17 c | 194.17 | 0 | -89880 lb | 0 0 0.00 | 194.33/194.45 c | 194.45 | 0 | -89879 lb | 0 0 0.00 | 194.63/194.73 c | 194.73 | 0 | -89878 lb | 0 0 0.00 | 194.82/194.99 c | 194.99 | 0 | -89874 lb | 0 0 0.00 | 195.12/195.29 c | 195.29 | 0 | -89858 lb | 0 0 0.00 | 195.53/195.60 c | 195.60 | 0 | -89842 lb | 0 0 0.00 | 195.73/195.89 c | 195.89 | 0 | -89826 lb | 0 0 0.00 | 196.03/196.19 c | 196.19 | 0 | -89810 lb | 0 0 0.00 | 201.43/201.54 c | 201.54 | 0 | -89794 lb | 0 0 0.00 | 201.73/201.86 c | 201.86 | 0 | -89762 lb | 0 0 0.00 | 202.03/202.17 c | 202.17 | 0 | -89730 lb | 0 0 0.00 | 202.33/202.47 c | 202.47 | 0 | -89698 lb | 0 0 0.00 | 205.53/205.62 c | 205.62 | 0 | -89666 lb | 0 0 0.00 | 205.73/205.89 c | 205.90 | 0 | -89658 lb | 0 0 0.00 | 206.03/206.19 c | 206.19 | 0 | -89657 lb | 0 0 0.00 | 206.32/206.48 c | 206.48 | 0 | -89656 lb | 0 0 0.00 | 206.63/206.76 c | 206.76 | 0 | -89655 lb | 0 0 0.00 | 206.93/207.06 c | 207.06 | 0 | -89654 lb | 0 0 0.00 | 207.53/207.61 c | 207.61 | 0 | -89653 lb | 0 0 0.00 | 207.74/207.89 c | 207.90 | 0 | -89652 lb | 0 0 0.00 | 208.03/208.19 c | 208.19 | 0 | -89651 lb | 0 0 0.00 | 208.43/208.52 c | 208.52 | 0 | -89650 lb | 0 0 0.00 | 208.72/208.88 c | 208.88 | 0 | -89649 lb | 0 0 0.00 | 209.02/209.17 c | 209.18 | 0 | -89647 lb | 0 0 0.00 | 209.32/209.45 c | 209.45 | 0 | -89645 lb | 0 0 0.00 | 209.62/209.73 c | 209.73 | 0 | -89643 lb | 0 0 0.00 | 209.93/210.01 c | 210.01 | 0 | -89641 lb | 0 0 0.00 | 210.22/210.33 c | 210.33 | 0 | -89639 lb | 0 0 0.00 | 210.52/210.64 c | 210.64 | 0 | -89637 lb | 0 0 0.00 | 210.82/210.94 c | 210.95 | 0 | -89635 lb | 0 0 0.00 | 216.32/216.43 c | 216.44 | 0 | -89633 lb | 0 0 0.00 | 217.92/218.08 c | 218.08 | 0 | -89631 lb | 0 0 0.00 | 381.79/382.04 c | 382.04 | 0 | -89629 lb | 0 0 0.00 | 755.81/756.25 c | 756.25 | 0 | -89627 lb | 0 0 0.00 | 761.71/762.20 c | 762.20 | 0 | -89625 lb | 0 0 0.00 | 1799.41/1800.00 c =============================================================================== 1799.41/1800.00 c Wall Clock Time: 1800.00 s 1799.41/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727871-1338671395/watcher-3727871-1338671395 -o /tmp/evaluation-result-3727871-1338671395/solver-3727871-1338671395 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727871-1338671395.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.15 3/175 17899 /proc/meminfo: memFree=27757112/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=6556 CPUtime=0 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) R 17897 17899 17516 0 -1 4202496 477 0 0 0 0 0 0 0 20 0 1 0 333265400 6713344 429 33554432000 4194304 5964350 140733226532832 140734788345480 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 1639 429 155 433 0 538 0 [startup+0.051147 s] /proc/loadavg: 2.00 2.00 2.15 3/175 17899 /proc/meminfo: memFree=27757112/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=15440 CPUtime=0.04 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) R 17897 17899 17516 0 -1 4202496 2664 0 0 0 4 0 0 0 20 0 1 0 333265400 15810560 2502 33554432000 4194304 5964350 140733226532832 140733226530824 4352338 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 3860 2502 301 433 0 2759 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15440 [startup+0.100341 s] /proc/loadavg: 2.00 2.00 2.15 3/175 17899 /proc/meminfo: memFree=27757112/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=19360 CPUtime=0.09 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) R 17897 17899 17516 0 -1 4202496 3978 0 0 0 9 0 0 0 20 0 1 0 333265400 19824640 3776 33554432000 4194304 5964350 140733226532832 140733226530824 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 4840 3776 444 433 0 3739 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19360 [startup+0.300178 s] /proc/loadavg: 2.00 2.00 2.15 3/175 17899 /proc/meminfo: memFree=27757112/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=110172 CPUtime=0.29 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 11562 0 0 0 28 1 0 0 20 0 2 0 333265400 112816128 10280 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 27543 10280 186 433 0 27107 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 110172 [startup+0.700209 s] /proc/loadavg: 2.00 2.00 2.15 3/175 17899 /proc/meminfo: memFree=27757112/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=102052 CPUtime=0.68 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 18291 0 0 0 66 2 0 0 20 0 2 0 333265400 104501248 14629 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 25513 14629 194 433 0 25077 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 102052 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 2.15 3/177 17901 /proc/meminfo: memFree=27697832/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=102052 CPUtime=1.49 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 24119 0 0 0 145 4 0 0 20 0 2 0 333265400 104501248 15638 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 25513 15638 194 433 0 25077 0 [pid=17899/tid=17901] ppid=17897 vsize=102052 CPUtime=1.25 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 18109 0 0 0 122 3 0 0 20 0 2 0 333265423 104501248 15638 33554432000 4194304 5964350 140733226532832 140052925854016 4419207 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 102052 [startup+3.10033 s] /proc/loadavg: 2.00 2.00 2.15 3/177 17901 /proc/meminfo: memFree=27689120/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=102052 CPUtime=3.08 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 35598 0 0 0 303 5 0 0 20 0 2 0 333265400 104501248 18072 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 25513 18072 194 433 0 25077 0 [pid=17899/tid=17901] ppid=17897 vsize=102052 CPUtime=2.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 29588 0 0 0 280 5 0 0 20 0 2 0 333265423 104501248 18072 33554432000 4194304 5964350 140733226532832 140052925864472 4571521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 102052 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.15 3/177 17901 /proc/meminfo: memFree=27665312/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=167588 CPUtime=6.28 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 53961 0 0 0 619 9 0 0 20 0 2 0 333265400 171610112 24281 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 41897 24281 194 433 0 41461 0 [pid=17899/tid=17901] ppid=17897 vsize=167588 CPUtime=6.05 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 47951 0 0 0 596 9 0 0 20 0 2 0 333265423 171610112 24281 33554432000 4194304 5964350 140733226532832 140052925864472 5130940 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 167588 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.15 3/178 17904 /proc/meminfo: memFree=27626724/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=167588 CPUtime=12.68 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 86792 0 0 0 1252 16 0 0 20 0 2 0 333265400 171610112 33421 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 41897 33421 194 433 0 41461 0 [pid=17899/tid=17901] ppid=17897 vsize=167588 CPUtime=12.45 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 80782 0 0 0 1229 16 0 0 20 0 2 0 333265423 171610112 33421 33554432000 4194304 5964350 140733226532832 140052925864472 5139086 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 167588 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.15 3/178 17904 /proc/meminfo: memFree=27558672/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=233124 CPUtime=25.47 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 149746 0 0 0 2517 30 0 0 20 0 2 0 333265400 238718976 49365 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 58281 49365 194 433 0 57845 0 [pid=17899/tid=17901] ppid=17897 vsize=233124 CPUtime=25.25 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 143736 0 0 0 2495 30 0 0 20 0 2 0 333265423 238718976 49365 33554432000 4194304 5964350 140733226532832 140052925864344 5139038 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 233124 [startup+51.1004 s] /proc/loadavg: 2.06 2.01 2.15 3/178 17904 /proc/meminfo: memFree=27454956/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=367552 CPUtime=51.06 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 235549 0 0 0 5058 48 0 0 20 0 2 0 333265400 376373248 74775 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 91888 74775 197 433 0 91452 0 [pid=17899/tid=17901] ppid=17897 vsize=367552 CPUtime=50.84 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 229539 0 0 0 5036 48 0 0 20 0 2 0 333265423 376373248 74775 33554432000 4194304 5964350 140733226532832 140052925864472 5142429 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 367552 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.14 3/177 17905 /proc/meminfo: memFree=27306136/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=498624 CPUtime=102.26 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 384738 0 0 0 10148 78 0 0 20 0 2 0 333265400 510590976 111182 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 124656 111182 198 433 0 124220 0 [pid=17899/tid=17901] ppid=17897 vsize=498624 CPUtime=102.04 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 378728 0 0 0 10124 80 0 0 20 0 2 0 333265423 510590976 111182 33554432000 4194304 5964350 140733226532832 140052925864472 5139038 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 498624 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.13 3/177 17905 /proc/meminfo: memFree=27115800/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=629696 CPUtime=162.24 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 519479 0 0 0 16117 107 0 0 20 0 2 0 333265400 644808704 150639 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 157424 150639 198 433 0 156988 0 [pid=17899/tid=17901] ppid=17897 vsize=629696 CPUtime=162.03 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 513469 0 0 0 16094 109 0 0 20 0 2 0 333265423 644808704 150639 33554432000 4194304 5964350 140733226532832 140052925864472 5122387 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 629696 [startup+222.3 s] /proc/loadavg: 2.13 2.04 2.13 3/177 17905 /proc/meminfo: memFree=27066824/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=695232 CPUtime=222.22 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 560622 0 0 0 22105 117 0 0 20 0 2 0 333265400 711917568 162013 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 173808 162013 198 433 0 173372 0 [pid=17899/tid=17901] ppid=17897 vsize=695232 CPUtime=222.02 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 554612 0 0 0 22082 120 0 0 20 0 2 0 333265423 711917568 162013 33554432000 4194304 5964350 140733226532832 140052925864776 4400548 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 695232 [startup+282.3 s] /proc/loadavg: 2.05 2.03 2.12 3/177 17905 /proc/meminfo: memFree=27064708/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=695232 CPUtime=282.16 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 560662 0 0 0 28099 117 0 0 20 0 2 0 333265400 711917568 162013 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 173808 162013 198 433 0 173372 0 [pid=17899/tid=17901] ppid=17897 vsize=695232 CPUtime=281.99 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 554652 0 0 0 28078 121 0 0 20 0 2 0 333265423 711917568 162013 33554432000 4194304 5964350 140733226532832 140052925864776 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 695232 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.11 3/177 17905 /proc/meminfo: memFree=27024560/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=695232 CPUtime=342.12 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 562810 0 0 0 34094 118 0 0 20 0 2 0 333265400 711917568 165613 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 173808 165613 198 433 0 173372 0 [pid=17899/tid=17901] ppid=17897 vsize=695232 CPUtime=341.96 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 556800 0 0 0 34072 124 0 0 20 0 2 0 333265423 711917568 165613 33554432000 4194304 5964350 140733226532832 140052925863736 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 695232 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.10 3/177 17906 /proc/meminfo: memFree=26993032/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=760768 CPUtime=402.07 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 569182 0 0 0 40087 120 0 0 20 0 2 0 333265400 779026432 173473 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 190192 173473 198 433 0 189756 0 [pid=17899/tid=17901] ppid=17897 vsize=760768 CPUtime=401.93 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 563172 0 0 0 40067 126 0 0 20 0 2 0 333265423 779026432 173473 33554432000 4194304 5964350 140733226532832 140052925863864 4400035 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 760768 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.09 3/177 17906 /proc/meminfo: memFree=26963740/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=760768 CPUtime=462.02 cores=1,3,5,7 ################ # More data... # ################ /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 579673 0 0 0 130036 149 0 0 20 0 2 0 333265423 846135296 192506 33554432000 4194304 5964350 140733226532832 140052925864472 4399976 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 826304 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.03 3/177 17915 /proc/meminfo: memFree=26728356/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1361.79 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 586066 0 0 0 136049 130 0 0 20 0 2 0 333265400 846135296 192889 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 192889 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1361.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 580056 0 0 0 136035 150 0 0 20 0 2 0 333265423 846135296 192889 33554432000 4194304 5964350 140733226532832 140052925863864 4399976 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 826304 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.03 3/177 17915 /proc/meminfo: memFree=26653352/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1421.79 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 586285 0 0 0 142049 130 0 0 20 0 2 0 333265400 846135296 193106 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 193106 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1421.86 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 580275 0 0 0 142035 151 0 0 20 0 2 0 333265423 846135296 193106 33554432000 4194304 5964350 140733226532832 140052925863800 4400035 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 826304 [startup+1482.3 s] /proc/loadavg: 2.03 2.02 2.03 3/177 17915 /proc/meminfo: memFree=26579776/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1481.77 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 586613 0 0 0 148047 130 0 0 20 0 2 0 333265400 846135296 193433 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 193433 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1481.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 580603 0 0 0 148033 152 0 0 20 0 2 0 333265423 846135296 193433 33554432000 4194304 5964350 140733226532832 140052925863800 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 826304 [startup+1542.3 s] /proc/loadavg: 2.12 2.05 2.03 3/177 17954 /proc/meminfo: memFree=26627420/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1541.76 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 588657 0 0 0 154044 132 0 0 20 0 2 0 333265400 846135296 195477 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 195477 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1541.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 582647 0 0 0 154030 155 0 0 20 0 2 0 333265423 846135296 195477 33554432000 4194304 5964350 140733226532832 140052925863976 4400448 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 826304 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 2.02 3/177 17954 /proc/meminfo: memFree=26243976/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1601.74 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 590768 0 0 0 160039 135 0 0 20 0 2 0 333265400 846135296 197998 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 197998 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1601.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 584758 0 0 0 160025 160 0 0 20 0 2 0 333265423 846135296 197998 33554432000 4194304 5964350 140733226532832 140052925863928 4400410 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 826304 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.02 3/177 17955 /proc/meminfo: memFree=25930964/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=826304 CPUtime=1661.74 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 592849 0 0 0 166036 138 0 0 20 0 2 0 333265400 846135296 200088 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 206576 200088 198 433 0 206140 0 [pid=17899/tid=17901] ppid=17897 vsize=826304 CPUtime=1661.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 586839 0 0 0 166022 163 0 0 20 0 2 0 333265423 846135296 200088 33554432000 4194304 5964350 140733226532832 140052925863736 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 826304 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.01 3/177 17955 /proc/meminfo: memFree=25665728/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1721.72 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 595145 0 0 0 172032 140 0 0 20 0 2 0 333265400 913244160 202384 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 202384 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1721.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 589135 0 0 0 172019 166 0 0 20 0 2 0 333265423 913244160 202384 33554432000 4194304 5964350 140733226532832 140052925863928 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 891840 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.01 3/177 17955 /proc/meminfo: memFree=25390260/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1781.71 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597165 0 0 0 178030 141 0 0 20 0 2 0 333265400 913244160 204402 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204402 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1781.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591155 0 0 0 178016 169 0 0 20 0 2 0 333265423 913244160 204402 33554432000 4194304 5964350 140733226532832 140052925863800 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 891840 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.11 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25315604/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1791.32 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597407 0 0 0 178990 142 0 0 20 0 2 0 333265400 913244160 204644 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204644 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1791.46 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591397 0 0 0 178977 169 0 0 20 0 2 0 333265423 913244160 204644 33554432000 4194304 5964350 140733226532832 140052925863736 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 891840 [startup+1795.1 s] /proc/loadavg: 2.10 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25292768/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1794.52 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597478 0 0 0 179310 142 0 0 20 0 2 0 333265400 913244160 204715 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204715 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1794.66 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591468 0 0 0 179297 169 0 0 20 0 2 0 333265423 913244160 204715 33554432000 4194304 5964350 140733226532832 140052925863928 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 891840 [startup+1798.3 s] /proc/loadavg: 2.10 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25278188/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1797.71 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597622 0 0 0 179629 142 0 0 20 0 2 0 333265400 913244160 204859 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204859 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1797.85 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591612 0 0 0 179616 169 0 0 20 0 2 0 333265423 913244160 204859 33554432000 4194304 5964350 140733226532832 140052925863928 4400377 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 891840 [startup+1799.1 s] /proc/loadavg: 2.09 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25277692/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1798.51 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597625 0 0 0 179709 142 0 0 20 0 2 0 333265400 913244160 204862 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204862 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1798.65 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591615 0 0 0 179696 169 0 0 20 0 2 0 333265423 913244160 204862 33554432000 4194304 5964350 140733226532832 140052925863736 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (KiB) 891840 [startup+1799.5 s] /proc/loadavg: 2.09 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25265216/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1798.92 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597627 0 0 0 179750 142 0 0 20 0 2 0 333265400 913244160 204864 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204864 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1799.06 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591617 0 0 0 179737 169 0 0 20 0 2 0 333265423 913244160 204864 33554432000 4194304 5964350 140733226532832 140052925863736 4400462 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.92 Current children cumulated vsize (KiB) 891840 [startup+1799.9 s] /proc/loadavg: 2.09 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25265216/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1799.31 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597628 0 0 0 179789 142 0 0 20 0 2 0 333265400 913244160 204865 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204865 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1799.45 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591618 0 0 0 179776 169 0 0 20 0 2 0 333265423 913244160 204865 33554432000 4194304 5964350 140733226532832 140052925863736 4400035 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.31 Current children cumulated vsize (KiB) 891840 [startup+1800 s] /proc/loadavg: 2.09 2.04 2.02 3/177 17955 /proc/meminfo: memFree=25265216/32873852 swapFree=6856/6856 [pid=17899] ppid=17897 vsize=891840 CPUtime=1799.41 cores=1,3,5,7 /proc/17899/stat : 17899 (wbo1.72) S 17897 17899 17516 0 -1 4202496 597628 0 0 0 179799 142 0 0 20 0 2 0 333265400 913244160 204865 33554432000 4194304 5964350 140733226532832 140733226532352 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17899/statm: 222960 204865 198 433 0 222524 0 [pid=17899/tid=17901] ppid=17897 vsize=891840 CPUtime=1799.55 cores=1,3,5,7 /proc/17899/task/17901/stat : 17901 (wbo1.72) R 17897 17899 17516 0 -1 4202560 591618 0 0 0 179786 169 0 0 20 0 2 0 333265423 913244160 204865 33554432000 4194304 5964350 140733226532832 140052925863736 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 891840 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.8 CPU user time (s): 1798.09 CPU system time (s): 1.71774 CPU usage (%): 99.9885 Max. virtual memory (cumulated for all children) (KiB): 891840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 1.71774 maximum resident set size= 819468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 597630 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 287 involuntary context switches= 2080 runsolver used 3.00954 second user time and 8.72567 second system time The end
Begin job on node128 at 2012-06-02 23:09:55 IDJOB=3727871 IDBENCH=90464 IDSOLVER=2313 FILE ID=node128/3727871-1338671395 RUNJOBID= node128-1338669311-17714 PBS_JOBID= 14636502 Free space on /tmp= 70428 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727871-1338671395/watcher-3727871-1338671395 -o /tmp/evaluation-result-3727871-1338671395/solver-3727871-1338671395 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727871-1338671395.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8afe476b50af46eea541bd7c9433564e RANDOM SEED=651496294 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 27756740 kB Buffers: 524920 kB Cached: 3424240 kB SwapCached: 784 kB Active: 2077192 kB Inactive: 2148552 kB Active(anon): 267488 kB Inactive(anon): 11368 kB Active(file): 1809704 kB Inactive(file): 2137184 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106552 kB Dirty: 8188 kB Writeback: 0 kB AnonPages: 282528 kB Mapped: 14796 kB Shmem: 200 kB Slab: 752388 kB SReclaimable: 194752 kB SUnreclaim: 557636 kB KernelStack: 1456 kB PageTables: 4452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 154248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70396 MiB End job on node128 at 2012-06-02 23:39:55