| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.76 | 1800 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb |
| MD5SUM | cd63af4b43031b31fea6da5a72b06e90 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.81472 |
| 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 | 16038 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 16038 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 204087 |
| 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-3727882-1338671365.opb. 0.00/0.00 c Instance file HOME/instance-3727882-1338671365.opb 0.00/0.00 c File size is 2643991 bytes. 0.18/0.21 c Cost Offset: -16038 0.18/0.21 c Highest Coefficient sum: 204087 0.18/0.22 c ============================[ Problem Statistics ]============================= 0.18/0.22 c | | 0.18/0.22 c | Parsing time: 0.22 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.25 c | Problem Type: Optimization | 0.18/0.25 c | Objective Function: Cardinality Constraint | 0.18/0.25 c | | 0.18/0.25 c ============================[ Search Statistics ]============================== 0.18/0.25 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.25 c | | | value type | expCls impCls Lit/impCl | 0.18/0.25 c =============================================================================== 0.18/0.29 c | 0.30 | 0 | -16037 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | -16036 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | -16035 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | -16034 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | -16033 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | -16032 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | -16031 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | -16030 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | -16029 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | -16028 lb | 0 0 0.00 | 0.59/0.62 c | 0.63 | 0 | -16027 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | -16026 lb | 0 0 0.00 | 0.59/0.69 c | 0.70 | 0 | -16025 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | -16024 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | -16023 lb | 0 0 0.00 | 0.79/0.80 c | 0.81 | 0 | -16022 lb | 0 0 0.00 | 0.79/0.84 c | 0.85 | 0 | -16021 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | -16020 lb | 0 0 0.00 | 0.88/0.92 c | 0.92 | 0 | -16019 lb | 0 0 0.00 | 0.88/0.96 c | 0.96 | 0 | -16018 lb | 0 0 0.00 | 0.88/0.99 c | 1.00 | 0 | -16017 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | -16016 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | -16015 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | -16014 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | -16013 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | -16012 lb | 0 0 0.00 | 1.19/1.24 c | 1.25 | 0 | -16011 lb | 0 0 0.00 | 1.19/1.28 c | 1.28 | 0 | -16010 lb | 0 0 0.00 | 1.28/1.33 c | 1.33 | 0 | -16009 lb | 0 0 0.00 | 1.28/1.37 c | 1.37 | 0 | -16008 lb | 0 0 0.00 | 1.38/1.41 c | 1.42 | 0 | -16007 lb | 0 0 0.00 | 1.38/1.45 c | 1.46 | 0 | -16006 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | -16005 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | -16004 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | -16003 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | -16002 lb | 0 0 0.00 | 1.59/1.67 c | 1.68 | 0 | -16001 lb | 0 0 0.00 | 1.68/1.72 c | 1.72 | 0 | -16000 lb | 0 0 0.00 | 1.68/1.76 c | 1.77 | 0 | -15999 lb | 0 0 0.00 | 1.78/1.81 c | 1.81 | 0 | -15998 lb | 0 0 0.00 | 1.78/1.85 c | 1.86 | 0 | -15997 lb | 0 0 0.00 | 1.88/1.90 c | 1.90 | 0 | -15996 lb | 0 0 0.00 | 1.88/1.95 c | 1.95 | 0 | -15995 lb | 0 0 0.00 | 1.88/1.99 c | 2.00 | 0 | -15994 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | -15993 lb | 0 0 0.00 | 1.98/2.09 c | 2.09 | 0 | -15992 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | -15991 lb | 0 0 0.00 | 2.09/2.18 c | 2.19 | 0 | -15990 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | -15989 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | -15988 lb | 0 0 0.00 | 2.28/2.32 c | 2.33 | 0 | -15987 lb | 0 0 0.00 | 2.28/2.37 c | 2.38 | 0 | -15986 lb | 0 0 0.00 | 2.39/2.42 c | 2.42 | 0 | -15985 lb | 0 0 0.00 | 2.39/2.47 c | 2.47 | 0 | -15984 lb | 0 0 0.00 | 2.49/2.52 c | 2.52 | 0 | -15983 lb | 0 0 0.00 | 2.49/2.56 c | 2.57 | 0 | -15982 lb | 0 0 0.00 | 2.59/2.61 c | 2.62 | 0 | -15981 lb | 0 0 0.00 | 2.59/2.66 c | 2.66 | 0 | -15980 lb | 0 0 0.00 | 2.69/2.71 c | 2.71 | 0 | -15979 lb | 0 0 0.00 | 2.69/2.76 c | 2.76 | 0 | -15978 lb | 0 0 0.00 | 2.79/2.80 c | 2.81 | 0 | -15977 lb | 0 0 0.00 | 2.79/2.85 c | 2.86 | 0 | -15976 lb | 0 0 0.00 | 2.88/2.90 c | 2.91 | 0 | -15975 lb | 0 0 0.00 | 2.88/2.95 c | 2.96 | 0 | -15974 lb | 0 0 0.00 | 2.98/3.00 c | 3.00 | 0 | -15973 lb | 0 0 0.00 | 2.98/3.05 c | 3.05 | 0 | -15972 lb | 0 0 0.00 | 3.08/3.10 c | 3.10 | 0 | -15971 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | -15970 lb | 0 0 0.00 | 3.08/3.20 c | 3.20 | 0 | -15969 lb | 0 0 0.00 | 3.19/3.25 c | 3.25 | 0 | -15968 lb | 0 0 0.00 | 3.19/3.30 c | 3.30 | 0 | -15967 lb | 0 0 0.00 | 3.29/3.35 c | 3.35 | 0 | -15966 lb | 0 0 0.00 | 3.39/3.40 c | 3.40 | 0 | -15965 lb | 0 0 0.00 | 3.39/3.45 c | 3.45 | 0 | -15964 lb | 0 0 0.00 | 3.48/3.50 c | 3.50 | 0 | -15963 lb | 0 0 0.00 | 3.48/3.55 c | 3.55 | 0 | -15962 lb | 0 0 0.00 | 3.58/3.60 c | 3.60 | 0 | -15961 lb | 0 0 0.00 | 3.58/3.65 c | 3.65 | 0 | -15960 lb | 0 0 0.00 | 3.68/3.70 c | 3.71 | 0 | -15959 lb | 0 0 0.00 | 3.68/3.75 c | 3.76 | 0 | -15958 lb | 0 0 0.00 | 3.78/3.80 c | 3.81 | 0 | -15957 lb | 0 0 0.00 | 3.78/3.86 c | 3.86 | 0 | -15956 lb | 0 0 0.00 | 3.88/3.91 c | 3.91 | 0 | -15955 lb | 0 0 0.00 | 3.88/3.96 c | 3.96 | 0 | -15954 lb | 0 0 0.00 | 3.98/4.01 c | 4.02 | 0 | -15953 lb | 0 0 0.00 | 3.98/4.06 c | 4.07 | 0 | -15952 lb | 0 0 0.00 | 4.09/4.12 c | 4.12 | 0 | -15951 lb | 0 0 0.00 | 4.09/4.17 c | 4.18 | 0 | -15950 lb | 0 0 0.00 | 4.18/4.23 c | 4.23 | 0 | -15949 lb | 0 0 0.00 | 4.18/4.28 c | 4.29 | 0 | -15948 lb | 0 0 0.00 | 4.29/4.33 c | 4.34 | 0 | -15947 lb | 0 0 0.00 | 4.29/4.39 c | 4.39 | 0 | -15946 lb | 0 0 0.00 | 4.39/4.44 c | 4.45 | 0 | -15945 lb | 0 0 0.00 | 4.48/4.50 c | 4.50 | 0 | -15944 lb | 0 0 0.00 | 4.48/4.55 c | 4.56 | 0 | -15943 lb | 0 0 0.00 | 4.58/4.61 c | 4.61 | 0 | -15942 lb | 0 0 0.00 | 4.68/4.74 c | 4.67 | 0 | -15941 lb | 0 0 0.00 | 4.68/4.74 c | 4.72 | 0 | -15940 lb | 0 0 0.00 | 4.68/4.77 c | 4.78 | 0 | -15939 lb | 0 0 0.00 | 4.79/4.83 c | 4.83 | 0 | -15938 lb | 0 0 0.00 | 4.79/4.88 c | 4.89 | 0 | -15937 lb | 0 0 0.00 | 4.89/4.94 c | 4.94 | 0 | -15936 lb | 0 0 0.00 | 4.89/4.99 c | 5.00 | 0 | -15935 lb | 0 0 0.00 | 4.99/5.05 c | 5.05 | 0 | -15934 lb | 0 0 0.00 | 5.08/5.10 c | 5.11 | 0 | -15933 lb | 0 0 0.00 | 5.08/5.16 c | 5.16 | 0 | -15932 lb | 0 0 0.00 | 5.18/5.21 c | 5.22 | 0 | -15931 lb | 0 0 0.00 | 5.18/5.27 c | 5.27 | 0 | -15930 lb | 0 0 0.00 | 5.28/5.33 c | 5.33 | 0 | -15929 lb | 0 0 0.00 | 5.28/5.38 c | 5.39 | 0 | -15928 lb | 0 0 0.00 | 5.39/5.44 c | 5.44 | 0 | -15927 lb | 0 0 0.00 | 5.39/5.50 c | 5.50 | 0 | -15926 lb | 0 0 0.00 | 5.49/5.55 c | 5.56 | 0 | -15925 lb | 0 0 0.00 | 5.58/5.61 c | 5.62 | 0 | -15924 lb | 0 0 0.00 | 5.58/5.67 c | 5.67 | 0 | -15923 lb | 0 0 0.00 | 5.68/5.73 c | 5.73 | 0 | -15922 lb | 0 0 0.00 | 5.68/5.78 c | 5.79 | 0 | -15921 lb | 0 0 0.00 | 5.79/5.84 c | 5.85 | 0 | -15920 lb | 0 0 0.00 | 5.89/5.90 c | 5.91 | 0 | -15919 lb | 0 0 0.00 | 5.89/5.96 c | 5.96 | 0 | -15918 lb | 0 0 0.00 | 5.99/6.02 c | 6.02 | 0 | -15917 lb | 0 0 0.00 | 5.99/6.08 c | 6.08 | 0 | -15916 lb | 0 0 0.00 | 6.09/6.13 c | 6.14 | 0 | -15915 lb | 0 0 0.00 | 6.09/6.19 c | 6.20 | 0 | -15914 lb | 0 0 0.00 | 6.19/6.25 c | 6.26 | 0 | -15913 lb | 0 0 0.00 | 6.28/6.31 c | 6.32 | 0 | -15912 lb | 0 0 0.00 | 6.28/6.37 c | 6.38 | 0 | -15911 lb | 0 0 0.00 | 6.38/6.43 c | 6.43 | 0 | -15910 lb | 0 0 0.00 | 6.38/6.49 c | 6.50 | 0 | -15909 lb | 0 0 0.00 | 6.49/6.55 c | 6.55 | 0 | -15908 lb | 0 0 0.00 | 6.59/6.61 c | 6.62 | 0 | -15907 lb | 0 0 0.00 | 6.59/6.67 c | 6.68 | 0 | -15906 lb | 0 0 0.00 | 6.69/6.73 c | 6.74 | 0 | -15905 lb | 0 0 0.00 | 6.69/6.79 c | 6.80 | 0 | -15904 lb | 0 0 0.00 | 6.78/6.85 c | 6.86 | 0 | -15903 lb | 0 0 0.00 | 6.88/6.91 c | 6.92 | 0 | -15902 lb | 0 0 0.00 | 6.88/6.97 c | 6.98 | 0 | -15901 lb | 0 0 0.00 | 6.98/7.04 c | 7.04 | 0 | -15900 lb | 0 0 0.00 | 7.08/7.10 c | 7.10 | 0 | -15899 lb | 0 0 0.00 | 7.08/7.16 c | 7.16 | 0 | -15898 lb | 0 0 0.00 | 7.18/7.22 c | 7.22 | 0 | -15897 lb | 0 0 0.00 | 7.18/7.29 c | 7.29 | 0 | -15896 lb | 0 0 0.00 | 7.28/7.35 c | 7.35 | 0 | -15895 lb | 0 0 0.00 | 7.38/7.41 c | 7.41 | 0 | -15894 lb | 0 0 0.00 | 7.38/7.47 c | 7.47 | 0 | -15893 lb | 0 0 0.00 | 7.48/7.53 c | 7.54 | 0 | -15892 lb | 0 0 0.00 | 7.48/7.60 c | 7.60 | 0 | -15891 lb | 0 0 0.00 | 7.59/7.66 c | 7.67 | 0 | -15890 lb | 0 0 0.00 | 7.68/7.72 c | 7.73 | 0 | -15889 lb | 0 0 0.00 | 7.68/7.79 c | 7.79 | 0 | -15888 lb | 0 0 0.00 | 7.79/7.85 c | 7.85 | 0 | -15887 lb | 0 0 0.00 | 7.89/7.91 c | 7.92 | 0 | -15886 lb | 0 0 0.00 | 7.89/7.98 c | 7.98 | 0 | -15885 lb | 0 0 0.00 | 7.99/8.04 c | 8.04 | 0 | -15884 lb | 0 0 0.00 | 8.08/8.11 c | 8.11 | 0 | -15883 lb | 0 0 0.00 | 8.08/8.17 c | 8.17 | 0 | -15882 lb | 0 0 0.00 | 8.18/8.23 c | 8.24 | 0 | -15881 lb | 0 0 0.00 | 8.28/8.30 c | 8.30 | 0 | -15880 lb | 0 0 0.00 | 8.28/8.36 c | 8.36 | 0 | -15879 lb | 0 0 0.00 | 8.38/8.42 c | 8.43 | 0 | -15878 lb | 0 0 0.00 | 8.38/8.49 c | 8.49 | 0 | -15877 lb | 0 0 0.00 | 8.48/8.56 c | 8.56 | 0 | -15876 lb | 0 0 0.00 | 8.58/8.62 c | 8.62 | 0 | -15875 lb | 0 0 0.00 | 8.58/8.69 c | 8.69 | 0 | -15874 lb | 0 0 0.00 | 8.69/8.75 c | 8.76 | 0 | -15873 lb | 0 0 0.00 | 8.79/8.82 c | 8.82 | 0 | -15872 lb | 0 0 0.00 | 8.79/8.89 c | 8.89 | 0 | -15871 lb | 0 0 0.00 | 8.89/8.95 c | 8.96 | 0 | -15870 lb | 0 0 0.00 | 8.99/9.02 c | 9.02 | 0 | -15869 lb | 0 0 0.00 | 8.99/9.09 c | 9.09 | 0 | -15868 lb | 0 0 0.00 | 9.08/9.15 c | 9.16 | 0 | -15867 lb | 0 0 0.00 | 9.18/9.22 c | 9.22 | 0 | -15866 lb | 0 0 0.00 | 9.18/9.29 c | 9.29 | 0 | -15865 lb | 0 0 0.00 | 9.28/9.36 c | 9.36 | 0 | -15864 lb | 0 0 0.00 | 9.38/9.42 c | 9.43 | 0 | -15863 lb | 0 0 0.00 | 9.38/9.49 c | 9.49 | 0 | -15862 lb | 0 0 0.00 | 9.48/9.56 c | 9.56 | 0 | -15861 lb | 0 0 0.00 | 9.59/9.62 c | 9.63 | 0 | -15860 lb | 0 0 0.00 | 9.59/9.69 c | 9.70 | 0 | -15859 lb | 0 0 0.00 | 9.69/9.76 c | 9.76 | 0 | -15858 lb | 0 0 0.00 | 9.79/9.83 c | 9.83 | 0 | -15857 lb | 0 0 0.00 | 9.79/9.90 c | 9.90 | 0 | -15856 lb | 0 0 0.00 | 9.89/9.97 c | 9.97 | 0 | -15855 lb | 0 0 0.00 | 9.98/10.03 c | 10.04 | 0 | -15854 lb | 0 0 0.00 | 10.08/10.11 c | 10.11 | 0 | -15853 lb | 0 0 0.00 | 10.08/10.18 c | 10.18 | 0 | -15852 lb | 0 0 0.00 | 10.18/10.25 c | 10.25 | 0 | -15851 lb | 0 0 0.00 | 10.28/10.32 c | 10.32 | 0 | -15850 lb | 0 0 0.00 | 10.28/10.38 c | 10.39 | 0 | -15849 lb | 0 0 0.00 | 10.38/10.45 c | 10.46 | 0 | -15848 lb | 0 0 0.00 | 10.48/10.52 c | 10.53 | 0 | -15847 lb | 0 0 0.00 | 10.48/10.59 c | 10.60 | 0 | -15846 lb | 0 0 0.00 | 10.58/10.66 c | 10.67 | 0 | -15845 lb | 0 0 0.00 | 10.69/10.73 c | 10.74 | 0 | -15844 lb | 0 0 0.00 | 10.78/10.81 c | 10.81 | 0 | -15843 lb | 0 0 0.00 | 10.78/10.88 c | 10.88 | 0 | -15842 lb | 0 0 0.00 | 10.89/10.95 c | 10.95 | 0 | -15841 lb | 0 0 0.00 | 10.99/11.02 c | 11.03 | 0 | -15840 lb | 0 0 0.00 | 10.99/11.09 c | 11.10 | 0 | -15839 lb | 0 0 0.00 | 11.08/11.16 c | 11.17 | 0 | -15838 lb | 0 0 0.00 | 11.19/11.24 c | 11.24 | 0 | -15837 lb | 0 0 0.00 | 11.29/11.31 c | 11.31 | 0 | -15836 lb | 0 0 0.00 | 11.29/11.38 c | 11.39 | 0 | -15835 lb | 0 0 0.00 | 11.38/11.45 c | 11.46 | 0 | -15834 lb | 0 0 0.00 | 11.48/11.53 c | 11.53 | 0 | -15833 lb | 0 0 0.00 | 11.58/11.60 c | 11.60 | 0 | -15832 lb | 0 0 0.00 | 11.58/11.67 c | 11.68 | 0 | -15831 lb | 0 0 0.00 | 11.68/11.74 c | 11.75 | 0 | -15830 lb | 0 0 0.00 | 11.79/11.82 c | 11.82 | 0 | -15829 lb | 0 0 0.00 | 11.79/11.89 c | 11.90 | 0 | -15828 lb | 0 0 0.00 | 11.89/11.97 c | 11.97 | 0 | -15827 lb | 0 0 0.00 | 11.99/12.04 c | 12.04 | 0 | -15826 lb | 0 0 0.00 | 12.09/12.11 c | 12.12 | 0 | -15825 lb | 0 0 0.00 | 12.09/12.19 c | 12.19 | 0 | -15824 lb | 0 0 0.00 | 12.18/12.26 c | 12.26 | 0 | -15823 lb | 0 0 0.00 | 12.28/12.33 c | 12.34 | 0 | -15822 lb | 0 0 0.00 | 12.38/12.41 c | 12.41 | 0 | -15821 lb | 0 0 0.00 | 12.38/12.48 c | 12.49 | 0 | -15820 lb | 0 0 0.00 | 12.49/12.56 c | 12.56 | 0 | -15819 lb | 0 0 0.00 | 12.59/12.63 c | 12.63 | 0 | -15818 lb | 0 0 0.00 | 12.68/12.71 c | 12.71 | 0 | -15817 lb | 0 0 0.00 | 12.68/12.78 c | 12.79 | 0 | -15816 lb | 0 0 0.00 | 12.78/12.86 c | 12.86 | 0 | -15815 lb | 0 0 0.00 | 12.88/12.94 c | 12.94 | 0 | -15814 lb | 0 0 0.00 | 12.98/13.01 c | 13.01 | 0 | -15813 lb | 0 0 0.00 | 12.98/13.09 c | 13.09 | 0 | -15812 lb | 0 0 0.00 | 13.09/13.16 c | 13.17 | 0 | -15811 lb | 0 0 0.00 | 13.19/13.24 c | 13.24 | 0 | -15810 lb | 0 0 0.00 | 13.28/13.32 c | 13.32 | 0 | -15809 lb | 0 0 0.00 | 13.28/13.39 c | 13.40 | 0 | -15808 lb | 0 0 0.00 | 13.38/13.47 c | 13.47 | 0 | -15807 lb | 0 0 0.00 | 13.48/13.55 c | 13.55 | 0 | -15806 lb | 0 0 0.00 | 13.58/13.62 c | 13.63 | 0 | -15805 lb | 0 0 0.00 | 13.68/13.70 c | 13.71 | 0 | -15804 lb | 0 0 0.00 | 13.68/13.78 c | 13.78 | 0 | -15803 lb | 0 0 0.00 | 13.78/13.86 c | 13.86 | 0 | -15802 lb | 0 0 0.00 | 13.88/13.94 c | 13.94 | 0 | -15801 lb | 0 0 0.00 | 13.98/14.01 c | 14.02 | 0 | -15800 lb | 0 0 0.00 | 13.98/14.09 c | 14.10 | 0 | -15799 lb | 0 0 0.00 | 14.08/14.17 c | 14.18 | 0 | -15798 lb | 0 0 0.00 | 14.19/14.25 c | 14.25 | 0 | -15797 lb | 0 0 0.00 | 14.29/14.33 c | 14.33 | 0 | -15796 lb | 0 0 0.00 | 14.38/14.41 c | 14.41 | 0 | -15795 lb | 0 0 0.00 | 14.48/14.51 c | 14.51 | 0 | -15794 lb | 0 0 0.00 | 14.58/14.63 c | 14.63 | 0 | -15793 lb | 0 0 0.00 | 14.68/14.73 c | 14.74 | 0 | -15792 lb | 0 0 0.00 | 14.78/14.84 c | 14.84 | 0 | -15791 lb | 0 0 0.00 | 14.89/14.94 c | 14.95 | 0 | -15790 lb | 0 0 0.00 | 14.99/15.05 c | 15.05 | 0 | -15789 lb | 0 0 0.00 | 15.08/15.16 c | 15.16 | 0 | -15788 lb | 0 0 0.00 | 15.18/15.26 c | 15.26 | 0 | -15787 lb | 0 0 0.00 | 15.29/15.37 c | 15.38 | 0 | -15786 lb | 0 0 0.00 | 15.39/15.48 c | 15.48 | 0 | -15785 lb | 0 0 0.00 | 15.48/15.58 c | 15.59 | 0 | -15784 lb | 0 0 0.00 | 15.58/15.69 c | 15.70 | 0 | -15783 lb | 0 0 0.00 | 15.78/15.80 c | 15.80 | 0 | -15782 lb | 0 0 0.00 | 15.88/15.91 c | 15.91 | 0 | -15781 lb | 0 0 0.00 | 15.99/16.02 c | 16.02 | 0 | -15780 lb | 0 0 0.00 | 16.09/16.13 c | 16.13 | 0 | -15779 lb | 0 0 0.00 | 16.18/16.25 c | 16.25 | 0 | -15778 lb | 0 0 0.00 | 16.28/16.36 c | 16.37 | 0 | -15777 lb | 0 0 0.00 | 16.39/16.48 c | 16.48 | 0 | -15776 lb | 0 0 0.00 | 16.58/16.60 c | 16.60 | 0 | -15775 lb | 0 0 0.00 | 16.68/16.72 c | 16.72 | 0 | -15774 lb | 0 0 0.00 | 16.78/16.84 c | 16.84 | 0 | -15773 lb | 0 0 0.00 | 16.88/16.96 c | 16.96 | 0 | -15772 lb | 0 0 0.00 | 16.99/17.07 c | 17.07 | 0 | -15771 lb | 0 0 0.00 | 17.08/17.18 c | 17.19 | 0 | -15770 lb | 0 0 0.00 | 17.18/17.29 c | 17.30 | 0 | -15769 lb | 0 0 0.00 | 17.38/17.40 c | 17.41 | 0 | -15768 lb | 0 0 0.00 | 17.49/17.51 c | 17.52 | 0 | -15767 lb | 0 0 0.00 | 17.59/17.62 c | 17.63 | 0 | -15766 lb | 0 0 0.00 | 17.68/17.74 c | 17.75 | 0 | -15765 lb | 0 0 0.00 | 17.78/17.86 c | 17.86 | 0 | -15764 lb | 0 0 0.00 | 17.88/17.97 c | 17.97 | 0 | -15763 lb | 0 0 0.00 | 17.98/18.08 c | 18.08 | 0 | -15762 lb | 0 0 0.00 | 18.08/18.19 c | 18.20 | 0 | -15761 lb | 0 0 0.00 | 18.28/18.31 c | 18.32 | 0 | -15760 lb | 0 0 0.00 | 18.38/18.43 c | 18.43 | 0 | -15759 lb | 0 0 0.00 | 18.48/18.55 c | 18.55 | 0 | -15758 lb | 0 0 0.00 | 18.59/18.67 c | 18.67 | 0 | -15757 lb | 0 0 0.00 | 18.69/18.79 c | 18.79 | 0 | -15756 lb | 0 0 0.00 | 18.88/18.91 c | 18.91 | 0 | -15755 lb | 0 0 0.00 | 18.98/19.03 c | 19.04 | 0 | -15754 lb | 0 0 0.00 | 19.08/19.15 c | 19.15 | 0 | -15753 lb | 0 0 0.00 | 19.19/19.26 c | 19.26 | 0 | -15752 lb | 0 0 0.00 | 19.29/19.37 c | 19.37 | 0 | -15751 lb | 0 0 0.00 | 19.38/19.49 c | 19.49 | 0 | -15750 lb | 0 0 0.00 | 19.58/19.60 c | 19.61 | 0 | -15749 lb | 0 0 0.00 | 19.69/19.71 c | 19.72 | 0 | -15748 lb | 0 0 0.00 | 19.79/19.83 c | 19.84 | 0 | -15747 lb | 0 0 0.00 | 19.88/19.94 c | 19.95 | 0 | -15746 lb | 0 0 0.00 | 19.98/20.06 c | 20.06 | 0 | -15745 lb | 0 0 0.00 | 20.08/20.17 c | 20.18 | 0 | -15744 lb | 0 0 0.00 | 20.18/20.29 c | 20.30 | 0 | -15743 lb | 0 0 0.00 | 20.38/20.40 c | 20.41 | 0 | -15742 lb | 0 0 0.00 | 20.48/20.52 c | 20.52 | 0 | -15741 lb | 0 0 0.00 | 20.58/20.64 c | 20.65 | 0 | -15740 lb | 0 0 0.00 | 20.68/20.76 c | 20.77 | 0 | -15739 lb | 0 0 0.00 | 20.79/20.88 c | 20.88 | 0 | -15738 lb | 0 0 0.00 | 20.89/20.99 c | 21.00 | 0 | -15737 lb | 0 0 0.00 | 21.08/21.11 c | 21.12 | 0 | -15736 lb | 0 0 0.00 | 21.18/21.23 c | 21.24 | 0 | -15735 lb | 0 0 0.00 | 21.28/21.35 c | 21.35 | 0 | -15734 lb | 0 0 0.00 | 21.38/21.46 c | 21.47 | 0 | -15733 lb | 0 0 0.00 | 21.48/21.59 c | 21.59 | 0 | -15732 lb | 0 0 0.00 | 21.68/21.70 c | 21.71 | 0 | -15731 lb | 0 0 0.00 | 21.78/21.82 c | 21.82 | 0 | -15730 lb | 0 0 0.00 | 21.88/21.94 c | 21.95 | 0 | -15729 lb | 0 0 0.00 | 21.99/22.06 c | 22.06 | 0 | -15728 lb | 0 0 0.00 | 22.08/22.18 c | 22.18 | 0 | -15727 lb | 0 0 0.00 | 22.18/22.29 c | 22.30 | 0 | -15726 lb | 0 0 0.00 | 22.38/22.42 c | 22.42 | 0 | -15725 lb | 0 0 0.00 | 22.48/22.53 c | 22.54 | 0 | -15724 lb | 0 0 0.00 | 22.58/22.65 c | 22.66 | 0 | -15723 lb | 0 0 0.00 | 22.68/22.78 c | 22.78 | 0 | -15722 lb | 0 0 0.00 | 22.78/22.89 c | 22.90 | 0 | -15721 lb | 0 0 0.00 | 22.99/23.01 c | 23.02 | 0 | -15720 lb | 0 0 0.00 | 23.09/23.13 c | 23.14 | 0 | -15719 lb | 0 0 0.00 | 23.18/23.26 c | 23.26 | 0 | -15718 lb | 0 0 0.00 | 23.28/23.38 c | 23.38 | 0 | -15717 lb | 0 0 0.00 | 23.48/23.50 c | 23.50 | 0 | -15716 lb | 0 0 0.00 | 23.58/23.62 c | 23.63 | 0 | -15715 lb | 0 0 0.00 | 23.68/23.74 c | 23.75 | 0 | -15714 lb | 0 0 0.00 | 23.78/23.86 c | 23.87 | 0 | -15713 lb | 0 0 0.00 | 23.88/23.99 c | 23.99 | 0 | -15712 lb | 0 0 0.00 | 24.09/24.11 c | 24.12 | 0 | -15711 lb | 0 0 0.00 | 24.19/24.23 c | 24.24 | 0 | -15710 lb | 0 0 0.00 | 24.28/24.35 c | 24.36 | 0 | -15709 lb | 0 0 0.00 | 24.38/24.47 c | 24.48 | 0 | -15708 lb | 0 0 0.00 | 24.58/24.60 c | 24.60 | 0 | -15707 lb | 0 0 0.00 | 24.68/24.72 c | 24.73 | 0 | -15706 lb | 0 0 0.00 | 24.78/24.84 c | 24.85 | 0 | -15705 lb | 0 0 0.00 | 24.88/24.97 c | 24.97 | 0 | -15704 lb | 0 0 0.00 | 24.98/25.09 c | 25.09 | 0 | -15703 lb | 0 0 0.00 | 25.19/25.21 c | 25.22 | 0 | -15702 lb | 0 0 0.00 | 25.29/25.34 c | 25.34 | 0 | -15701 lb | 0 0 0.00 | 25.38/25.46 c | 25.47 | 0 | -15700 lb | 0 0 0.00 | 25.48/25.59 c | 25.59 | 0 | -15699 lb | 0 0 0.00 | 25.68/25.72 c | 25.72 | 0 | -15698 lb | 0 0 0.00 | 25.78/25.85 c | 25.86 | 0 | -15697 lb | 0 0 0.00 | 25.88/25.98 c | 25.98 | 0 | -15696 lb | 0 0 0.00 | 26.08/26.11 c | 26.12 | 0 | -15695 lb | 0 0 0.00 | 26.18/26.24 c | 26.25 | 0 | -15694 lb | 0 0 0.00 | 26.29/26.38 c | 26.38 | 0 | -15693 lb | 0 0 0.00 | 26.48/26.50 c | 26.50 | 0 | -15692 lb | 0 0 0.00 | 26.58/26.63 c | 26.63 | 0 | -15691 lb | 0 0 0.00 | 26.68/26.75 c | 26.76 | 0 | -15690 lb | 0 0 0.00 | 26.78/26.88 c | 26.89 | 0 | -15689 lb | 0 0 0.00 | 26.98/27.01 c | 27.01 | 0 | -15688 lb | 0 0 0.00 | 27.08/27.13 c | 27.14 | 0 | -15687 lb | 0 0 0.00 | 27.18/27.26 c | 27.27 | 0 | -15686 lb | 0 0 0.00 | 27.28/27.39 c | 27.39 | 0 | -15685 lb | 0 0 0.00 | 27.48/27.51 c | 27.52 | 0 | -15684 lb | 0 0 0.00 | 27.58/27.64 c | 27.64 | 0 | -15683 lb | 0 0 0.00 | 27.68/27.76 c | 27.77 | 0 | -15682 lb | 0 0 0.00 | 27.78/27.89 c | 27.89 | 0 | -15681 lb | 0 0 0.00 | 27.98/28.01 c | 28.02 | 0 | -15680 lb | 0 0 0.00 | 28.08/28.15 c | 28.15 | 0 | -15679 lb | 0 0 0.00 | 28.18/28.27 c | 28.27 | 0 | -15678 lb | 0 0 0.00 | 28.38/28.40 c | 28.40 | 0 | -15677 lb | 0 0 0.00 | 28.49/28.53 c | 28.53 | 0 | -15676 lb | 0 0 0.00 | 28.59/28.66 c | 28.66 | 0 | -15675 lb | 0 0 0.00 | 28.68/28.78 c | 28.79 | 0 | -15674 lb | 0 0 0.00 | 28.88/28.91 c | 28.91 | 0 | -15673 lb | 0 0 0.00 | 28.98/29.04 c | 29.05 | 0 | -15672 lb | 0 0 0.00 | 29.08/29.17 c | 29.18 | 0 | -15671 lb | 0 0 0.00 | 29.27/29.30 c | 29.30 | 0 | -15670 lb | 0 0 0.00 | 29.37/29.43 c | 29.44 | 0 | -15669 lb | 0 0 0.00 | 29.48/29.56 c | 29.57 | 0 | -15668 lb | 0 0 0.00 | 29.59/29.69 c | 29.69 | 0 | -15667 lb | 0 0 0.00 | 29.78/29.82 c | 29.82 | 0 | -15666 lb | 0 0 0.00 | 29.88/29.95 c | 29.95 | 0 | -15665 lb | 0 0 0.00 | 29.98/30.08 c | 30.08 | 0 | -15664 lb | 0 0 0.00 | 30.18/30.21 c | 30.21 | 0 | -15663 lb | 0 0 0.00 | 30.28/30.34 c | 30.34 | 0 | -15662 lb | 0 0 0.00 | 30.38/30.47 c | 30.48 | 0 | -15661 lb | 0 0 0.00 | 30.58/30.60 c | 30.60 | 0 | -15660 lb | 0 0 0.00 | 30.69/30.73 c | 30.73 | 0 | -15659 lb | 0 0 0.00 | 30.79/30.87 c | 30.87 | 0 | -15658 lb | 0 0 0.00 | 30.98/31.00 c | 31.00 | 0 | -15657 lb | 0 0 0.00 | 31.08/31.13 c | 31.13 | 0 | -15656 lb | 0 0 0.00 | 31.18/31.26 c | 31.27 | 0 | -15655 lb | 0 0 0.00 | 31.38/31.40 c | 31.40 | 0 | -15654 lb | 0 0 0.00 | 31.48/31.53 c | 31.53 | 0 | -15653 lb | 0 0 0.00 | 31.58/31.66 c | 31.67 | 0 | -15652 lb | 0 0 0.00 | 31.68/31.80 c | 31.80 | 0 | -15651 lb | 0 0 0.00 | 31.89/31.93 c | 31.93 | 0 | -15650 lb | 0 0 0.00 | 31.98/32.06 c | 32.07 | 0 | -15649 lb | 0 0 0.00 | 32.18/32.20 c | 32.20 | 0 | -15648 lb | 0 0 0.00 | 32.28/32.33 c | 32.34 | 0 | -15647 lb | 0 0 0.00 | 32.38/32.46 c | 32.46 | 0 | -15646 lb | 0 0 0.00 | 32.58/32.60 c | 32.60 | 0 | -15645 lb | 0 0 0.00 | 32.68/32.73 c | 32.73 | 0 | -15644 lb | 0 0 0.00 | 32.78/32.87 c | 32.87 | 0 | -15643 lb | 0 0 0.00 | 32.89/33.00 c | 33.01 | 0 | -15642 lb | 0 0 0.00 | 33.08/33.14 c | 33.14 | 0 | -15641 lb | 0 0 0.00 | 33.18/33.27 c | 33.28 | 0 | -15640 lb | 0 0 0.00 | 33.38/33.41 c | 33.41 | 0 | -15639 lb | 0 0 0.00 | 33.48/33.54 c | 33.55 | 0 | -15638 lb | 0 0 0.00 | 33.58/33.68 c | 33.68 | 0 | -15637 lb | 0 0 0.00 | 33.77/33.82 c | 33.82 | 0 | -15636 lb | 0 0 0.00 | 33.87/33.95 c | 33.96 | 0 | -15635 lb | 0 0 0.00 | 33.99/34.09 c | 34.09 | 0 | -15634 lb | 0 0 0.00 | 34.18/34.23 c | 34.23 | 0 | -15633 lb | 0 0 0.00 | 34.28/34.37 c | 34.37 | 0 | -15632 lb | 0 0 0.00 | 34.48/34.51 c | 34.51 | 0 | -15631 lb | 0 0 0.00 | 34.58/34.64 c | 34.65 | 0 | -15630 lb | 0 0 0.00 | 34.68/34.78 c | 34.79 | 0 | -15629 lb | 0 0 0.00 | 34.88/34.92 c | 34.92 | 0 | -15628 lb | 0 0 0.00 | 34.98/35.06 c | 35.06 | 0 | -15627 lb | 0 0 0.00 | 35.08/35.19 c | 35.20 | 0 | -15626 lb | 0 0 0.00 | 35.28/35.34 c | 35.34 | 0 | -15625 lb | 0 0 0.00 | 35.38/35.47 c | 35.48 | 0 | -15624 lb | 0 0 0.00 | 35.58/35.61 c | 35.62 | 0 | -15623 lb | 0 0 0.00 | 35.68/35.75 c | 35.76 | 0 | -15622 lb | 0 0 0.00 | 35.78/35.89 c | 35.90 | 0 | -15621 lb | 0 0 0.00 | 35.98/36.03 c | 36.04 | 0 | -15620 lb | 0 0 0.00 | 36.08/36.17 c | 36.17 | 0 | -15619 lb | 0 0 0.00 | 36.29/36.31 c | 36.31 | 0 | -15618 lb | 0 0 0.00 | 36.38/36.45 c | 36.45 | 0 | -15617 lb | 0 0 0.00 | 36.48/36.59 c | 36.59 | 0 | -15616 lb | 0 0 0.00 | 36.68/36.73 c | 36.74 | 0 | -15615 lb | 0 0 0.00 | 36.78/36.88 c | 36.88 | 0 | -15614 lb | 0 0 0.00 | 36.98/37.02 c | 37.02 | 0 | -15613 lb | 0 0 0.00 | 37.08/37.16 c | 37.16 | 0 | -15612 lb | 0 0 0.00 | 37.28/37.30 c | 37.31 | 0 | -15611 lb | 0 0 0.00 | 37.38/37.45 c | 37.45 | 0 | -15610 lb | 0 0 0.00 | 37.47/37.59 c | 37.59 | 0 | -15609 lb | 0 0 0.00 | 37.68/37.74 c | 37.74 | 0 | -15608 lb | 0 0 0.00 | 37.78/37.88 c | 37.88 | 0 | -15607 lb | 0 0 0.00 | 37.98/38.02 c | 38.03 | 0 | -15606 lb | 0 0 0.00 | 38.07/38.16 c | 38.17 | 0 | -15605 lb | 0 0 0.00 | 38.27/38.31 c | 38.31 | 0 | -15604 lb | 0 0 0.00 | 38.39/38.46 c | 38.46 | 0 | -15603 lb | 0 0 0.00 | 38.58/38.60 c | 38.61 | 0 | -15602 lb | 0 0 0.00 | 38.67/38.75 c | 38.76 | 0 | -15601 lb | 0 0 0.00 | 38.88/38.91 c | 38.91 | 0 | -15600 lb | 0 0 0.00 | 38.98/39.05 c | 39.06 | 0 | -15599 lb | 0 0 0.00 | 39.18/39.20 c | 39.20 | 0 | -15598 lb | 0 0 0.00 | 39.28/39.35 c | 39.35 | 0 | -15597 lb | 0 0 0.00 | 39.38/39.49 c | 39.50 | 0 | -15596 lb | 0 0 0.00 | 39.59/39.64 c | 39.64 | 0 | -15595 lb | 0 0 0.00 | 39.68/39.79 c | 39.79 | 0 | -15594 lb | 0 0 0.00 | 39.88/39.94 c | 39.94 | 0 | -15593 lb | 0 0 0.00 | 39.98/40.09 c | 40.09 | 0 | -15592 lb | 0 0 0.00 | 40.17/40.23 c | 40.24 | 0 | -15591 lb | 0 0 0.00 | 40.27/40.39 c | 40.39 | 0 | -15590 lb | 0 0 0.00 | 40.48/40.53 c | 40.54 | 0 | -15589 lb | 0 0 0.00 | 40.59/40.68 c | 40.68 | 0 | -15588 lb | 0 0 0.00 | 40.78/40.83 c | 40.83 | 0 | -15587 lb | 0 0 0.00 | 40.88/40.98 c | 40.99 | 0 | -15586 lb | 0 0 0.00 | 41.08/41.13 c | 41.13 | 0 | -15585 lb | 0 0 0.00 | 41.18/41.28 c | 41.28 | 0 | -15584 lb | 0 0 0.00 | 41.38/41.43 c | 41.44 | 0 | -15583 lb | 0 0 0.00 | 41.57/41.60 c | 41.60 | 0 | -15582 lb | 0 0 0.00 | 41.68/41.76 c | 41.76 | 0 | -15581 lb | 0 0 0.00 | 41.88/41.95 c | 41.96 | 0 | -15580 lb | 0 0 0.00 | 42.08/42.10 c | 42.10 | 0 | -15579 lb | 0 0 0.00 | 42.18/42.25 c | 42.26 | 0 | -15578 lb | 0 0 0.00 | 42.38/42.40 c | 42.41 | 0 | -15577 lb | 0 0 0.00 | 42.47/42.56 c | 42.56 | 0 | -15576 lb | 0 0 0.00 | 42.67/42.71 c | 42.71 | 0 | -15575 lb | 0 0 0.00 | 42.79/42.87 c | 42.88 | 0 | -15574 lb | 0 0 0.00 | 42.98/43.05 c | 43.05 | 0 | -15573 lb | 0 0 0.00 | 43.18/43.26 c | 43.26 | 0 | -15572 lb | 0 0 0.00 | 43.38/43.49 c | 43.49 | 0 | -15571 lb | 0 0 0.00 | 43.68/43.75 c | 43.75 | 0 | -15570 lb | 0 0 0.00 | 43.88/43.92 c | 43.92 | 0 | -15569 lb | 0 0 0.00 | 44.08/44.11 c | 44.11 | 0 | -15568 lb | 0 0 0.00 | 44.18/44.27 c | 44.27 | 0 | -15567 lb | 0 0 0.00 | 44.38/44.42 c | 44.42 | 0 | -15566 lb | 0 0 0.00 | 44.47/44.58 c | 44.58 | 0 | -15565 lb | 0 0 0.00 | 44.67/44.73 c | 44.73 | 0 | -15564 lb | 0 0 0.00 | 44.77/44.88 c | 44.88 | 0 | -15563 lb | 0 0 0.00 | 44.98/45.03 c | 45.04 | 0 | -15562 lb | 0 0 0.00 | 45.08/45.19 c | 45.19 | 0 | -15561 lb | 0 0 0.00 | 45.27/45.34 c | 45.34 | 0 | -15560 lb | 0 0 0.00 | 45.48/45.50 c | 45.50 | 0 | -15559 lb | 0 0 0.00 | 45.58/45.65 c | 45.66 | 0 | -15558 lb | 0 0 0.00 | 45.78/45.81 c | 45.81 | 0 | -15557 lb | 0 0 0.00 | 45.88/45.96 c | 45.96 | 0 | -15556 lb | 0 0 0.00 | 46.08/46.11 c | 46.12 | 0 | -15555 lb | 0 0 0.00 | 46.18/46.28 c | 46.28 | 0 | -15554 lb | 0 0 0.00 | 46.38/46.46 c | 46.46 | 0 | -15553 lb | 0 0 0.00 | 46.58/46.66 c | 46.67 | 0 | -15552 lb | 0 0 0.00 | 46.88/46.90 c | 46.90 | 0 | -15551 lb | 0 0 0.00 | 47.07/47.16 c | 47.16 | 0 | -15550 lb | 0 0 0.00 | 47.28/47.32 c | 47.33 | 0 | -15549 lb | 0 0 0.00 | 47.47/47.50 c | 47.51 | 0 | -15548 lb | 0 0 0.00 | 47.57/47.67 c | 47.67 | 0 | -15547 lb | 0 0 0.00 | 47.78/47.85 c | 47.85 | 0 | -15546 lb | 0 0 0.00 | 47.98/48.06 c | 48.06 | 0 | -15545 lb | 0 0 0.00 | 48.18/48.22 c | 48.22 | 0 | -15544 lb | 0 0 0.00 | 48.29/48.38 c | 48.38 | 0 | -15543 lb | 0 0 0.00 | 48.48/48.54 c | 48.54 | 0 | -15542 lb | 0 0 0.00 | 48.68/48.70 c | 48.70 | 0 | -15541 lb | 0 0 0.00 | 48.78/48.86 c | 48.87 | 0 | -15540 lb | 0 0 0.00 | 48.98/49.05 c | 49.05 | 0 | -15539 lb | 0 0 0.00 | 49.18/49.26 c | 49.26 | 0 | -15538 lb | 0 0 0.00 | 49.48/49.59 c | 49.60 | 0 | -15537 lb | 0 0 0.00 | 49.77/49.88 c | 49.88 | 0 | -15536 lb | 0 0 0.00 | 50.18/50.27 c | 50.27 | 0 | -15535 lb | 0 0 0.00 | 50.38/50.44 c | 50.44 | 0 | -15534 lb | 0 0 0.00 | 50.58/50.61 c | 50.62 | 0 | -15533 lb | 0 0 0.00 | 50.68/50.79 c | 50.80 | 0 | -15532 lb | 0 0 0.00 | 50.88/50.96 c | 50.97 | 0 | -15531 lb | 0 0 0.00 | 51.08/51.15 c | 51.15 | 0 | -15530 lb | 0 0 0.00 | 51.28/51.36 c | 51.36 | 0 | -15529 lb | 0 0 0.00 | 51.58/51.60 c | 51.61 | 0 | -15528 lb | 0 0 0.00 | 51.78/51.89 c | 51.89 | 0 | -15527 lb | 0 0 0.00 | 52.18/52.25 c | 52.26 | 0 | -15526 lb | 0 0 0.00 | 52.68/52.71 c | 52.71 | 0 | -15525 lb | 0 0 0.00 | 52.97/53.05 c | 53.05 | 0 | -15524 lb | 0 0 0.00 | 53.17/53.21 c | 53.22 | 0 | -15523 lb | 0 0 0.00 | 53.37/53.49 c | 53.49 | 0 | -15522 lb | 0 0 0.00 | 53.67/53.73 c | 53.73 | 0 | -15521 lb | 0 0 0.00 | 53.79/53.90 c | 53.90 | 0 | -15520 lb | 0 0 0.00 | 53.98/54.06 c | 54.07 | 0 | -15519 lb | 0 0 0.00 | 54.18/54.25 c | 54.26 | 0 | -15518 lb | 0 0 0.00 | 54.37/54.48 c | 54.48 | 0 | -15517 lb | 0 0 0.00 | 54.57/54.65 c | 54.65 | 0 | -15516 lb | 0 0 0.00 | 54.77/54.83 c | 54.84 | 0 | -15515 lb | 0 0 0.00 | 54.88/55.00 c | 55.00 | 0 | -15514 lb | 0 0 0.00 | 55.07/55.16 c | 55.17 | 0 | -15513 lb | 0 0 0.00 | 55.27/55.35 c | 55.35 | 0 | -15512 lb | 0 0 0.00 | 55.47/55.52 c | 55.52 | 0 | -15511 lb | 0 0 0.00 | 55.57/55.68 c | 55.69 | 0 | -15510 lb | 0 0 0.00 | 55.77/55.85 c | 55.85 | 0 | -15509 lb | 0 0 0.00 | 55.99/56.04 c | 56.04 | 0 | -15508 lb | 0 0 0.00 | 56.18/56.20 c | 56.20 | 0 | -15507 lb | 0 0 0.00 | 56.28/56.36 c | 56.37 | 0 | -15506 lb | 0 0 0.00 | 56.48/56.53 c | 56.53 | 0 | -15505 lb | 0 0 0.00 | 56.58/56.69 c | 56.70 | 0 | -15504 lb | 0 0 0.00 | 56.78/56.86 c | 56.87 | 0 | -15503 lb | 0 0 0.00 | 57.18/57.29 c | 57.30 | 0 | -15502 lb | 0 0 0.00 | 57.58/57.61 c | 57.62 | 0 | -15501 lb | 0 0 0.00 | 57.98/58.03 c | 58.03 | 0 | -15500 lb | 0 0 0.00 | 58.38/58.41 c | 58.42 | 0 | -15499 lb | 0 0 0.00 | 58.78/58.81 c | 58.81 | 0 | -15498 lb | 0 0 0.00 | 59.08/59.10 c | 59.10 | 0 | -15497 lb | 0 0 0.00 | 59.28/59.38 c | 59.38 | 0 | -15496 lb | 0 0 0.00 | 59.77/59.80 c | 59.80 | 0 | -15495 lb | 0 0 0.00 | 60.07/60.16 c | 60.17 | 0 | -15494 lb | 0 0 0.00 | 60.57/60.67 c | 60.67 | 0 | -15493 lb | 0 0 0.00 | 60.87/60.92 c | 60.92 | 0 | -15492 lb | 0 0 0.00 | 61.17/61.28 c | 61.28 | 0 | -15491 lb | 0 0 0.00 | 61.48/61.57 c | 61.57 | 0 | -15490 lb | 0 0 0.00 | 61.87/61.91 c | 61.91 | 0 | -15489 lb | 0 0 0.00 | 62.17/62.27 c | 62.28 | 0 | -15488 lb | 0 0 0.00 | 62.47/62.57 c | 62.58 | 0 | -15487 lb | 0 0 0.00 | 63.08/63.11 c | 63.11 | 0 | -15486 lb | 0 0 0.00 | 63.68/63.71 c | 63.72 | 0 | -15485 lb | 0 0 0.00 | 63.98/64.08 c | 64.08 | 0 | -15484 lb | 0 0 0.00 | 64.38/64.48 c | 64.48 | 0 | -15483 lb | 0 0 0.00 | 64.58/64.68 c | 64.68 | 0 | -15482 lb | 0 0 0.00 | 64.98/65.07 c | 65.07 | 0 | -15481 lb | 0 0 0.00 | 65.37/65.45 c | 65.46 | 0 | -15480 lb | 0 0 0.00 | 65.88/65.94 c | 65.94 | 0 | -15479 lb | 0 0 0.00 | 66.27/66.35 c | 66.35 | 0 | -15478 lb | 0 0 0.00 | 66.57/66.64 c | 66.64 | 0 | -15477 lb | 0 0 0.00 | 67.08/67.17 c | 67.18 | 0 | -15476 lb | 0 0 0.00 | 67.58/67.69 c | 67.69 | 0 | -15475 lb | 0 0 0.00 | 67.88/67.97 c | 67.97 | 0 | -15474 lb | 0 0 0.00 | 68.18/68.24 c | 68.25 | 0 | -15473 lb | 0 0 0.00 | 68.38/68.44 c | 68.44 | 0 | -15472 lb | 0 0 0.00 | 68.68/68.70 c | 68.70 | 0 | -15471 lb | 0 0 0.00 | 68.88/68.92 c | 68.93 | 0 | -15470 lb | 0 0 0.00 | 69.07/69.18 c | 69.18 | 0 | -15469 lb | 0 0 0.00 | 69.37/69.48 c | 69.48 | 0 | -15468 lb | 0 0 0.00 | 69.77/69.89 c | 69.90 | 0 | -15467 lb | 0 0 0.00 | 70.17/70.27 c | 70.27 | 0 | -15466 lb | 0 0 0.00 | 70.67/70.70 c | 70.71 | 0 | -15465 lb | 0 0 0.00 | 72.58/72.65 c | 72.65 | 0 | -15464 lb | 0 0 0.00 | 72.97/73.05 c | 73.05 | 0 | -15463 lb | 0 0 0.00 | 73.17/73.24 c | 73.25 | 0 | -15462 lb | 0 0 0.00 | 73.37/73.49 c | 73.50 | 0 | -15461 lb | 0 0 0.00 | 73.78/73.80 c | 73.81 | 0 | -15460 lb | 0 0 0.00 | 74.08/74.14 c | 74.14 | 0 | -15459 lb | 0 0 0.00 | 74.28/74.36 c | 74.36 | 0 | -15458 lb | 0 0 0.00 | 74.47/74.56 c | 74.57 | 0 | -15457 lb | 0 0 0.00 | 74.68/74.80 c | 74.80 | 0 | -15456 lb | 0 0 0.00 | 74.97/75.02 c | 75.03 | 0 | -15455 lb | 0 0 0.00 | 75.17/75.23 c | 75.23 | 0 | -15454 lb | 0 0 0.00 | 75.47/75.55 c | 75.56 | 0 | -15453 lb | 0 0 0.00 | 75.67/75.78 c | 75.78 | 0 | -15452 lb | 0 0 0.00 | 75.97/76.09 c | 76.09 | 0 | -15451 lb | 0 0 0.00 | 76.47/76.50 c | 76.51 | 0 | -15450 lb | 0 0 0.00 | 76.67/76.79 c | 76.79 | 0 | -15449 lb | 0 0 0.00 | 76.88/76.97 c | 76.97 | 0 | -15448 lb | 0 0 0.00 | 77.07/77.17 c | 77.17 | 0 | -15447 lb | 0 0 0.00 | 77.27/77.37 c | 77.37 | 0 | -15446 lb | 0 0 0.00 | 77.58/77.62 c | 77.62 | 0 | -15445 lb | 0 0 0.00 | 77.78/77.85 c | 77.86 | 0 | -15444 lb | 0 0 0.00 | 78.08/78.17 c | 78.18 | 0 | -15443 lb | 0 0 0.00 | 78.47/78.57 c | 78.58 | 0 | -15442 lb | 0 0 0.00 | 78.67/78.78 c | 78.78 | 0 | -15441 lb | 0 0 0.00 | 78.97/79.04 c | 79.04 | 0 | -15440 lb | 0 0 0.00 | 79.27/79.37 c | 79.37 | 0 | -15439 lb | 0 0 0.00 | 79.67/79.74 c | 79.75 | 0 | -15438 lb | 0 0 0.00 | 80.07/80.13 c | 80.13 | 0 | -15437 lb | 0 0 0.00 | 80.37/80.46 c | 80.47 | 0 | -15436 lb | 0 0 0.00 | 80.78/80.87 c | 80.88 | 0 | -15435 lb | 0 0 0.00 | 81.17/81.21 c | 81.22 | 0 | -15434 lb | 0 0 0.00 | 81.67/81.76 c | 81.77 | 0 | -15433 lb | 0 0 0.00 | 81.97/82.05 c | 82.05 | 0 | -15432 lb | 0 0 0.00 | 82.67/82.75 c | 82.76 | 0 | -15431 lb | 0 0 0.00 | 82.97/83.01 c | 83.02 | 0 | -15430 lb | 0 0 0.00 | 83.27/83.39 c | 83.39 | 0 | -15429 lb | 0 0 0.00 | 83.67/83.76 c | 83.77 | 0 | -15428 lb | 0 0 0.00 | 83.98/84.07 c | 84.07 | 0 | -15427 lb | 0 0 0.00 | 84.38/84.48 c | 84.48 | 0 | -15426 lb | 0 0 0.00 | 84.77/84.84 c | 84.84 | 0 | -15425 lb | 0 0 0.00 | 85.07/85.14 c | 85.14 | 0 | -15424 lb | 0 0 0.00 | 85.47/85.59 c | 85.59 | 0 | -15423 lb | 0 0 0.00 | 85.87/85.94 c | 85.94 | 0 | -15422 lb | 0 0 0.00 | 86.17/86.20 c | 86.20 | 0 | -15421 lb | 0 0 0.00 | 86.37/86.40 c | 86.41 | 0 | -15420 lb | 0 0 0.00 | 86.57/86.63 c | 86.63 | 0 | -15419 lb | 0 0 0.00 | 86.77/86.82 c | 86.82 | 0 | -15418 lb | 0 0 0.00 | 86.98/87.01 c | 87.01 | 0 | -15417 lb | 0 0 0.00 | 87.27/87.38 c | 87.39 | 0 | -15416 lb | 0 0 0.00 | 87.47/87.58 c | 87.59 | 0 | -15415 lb | 0 0 0.00 | 87.77/87.82 c | 87.82 | 0 | -15414 lb | 0 0 0.00 | 87.98/88.02 c | 88.03 | 0 | -15413 lb | 0 0 0.00 | 88.17/88.22 c | 88.22 | 0 | -15412 lb | 0 0 0.00 | 88.37/88.42 c | 88.42 | 0 | -15411 lb | 0 0 0.00 | 88.57/88.65 c | 88.65 | 0 | -15410 lb | 0 0 0.00 | 88.77/88.84 c | 88.84 | 0 | -15409 lb | 0 0 0.00 | 88.98/89.04 c | 89.04 | 0 | -15408 lb | 0 0 0.00 | 90.18/90.22 c | 90.22 | 0 | -15407 lb | 0 0 0.00 | 90.57/90.63 c | 90.64 | 0 | -15406 lb | 0 0 0.00 | 90.77/90.85 c | 90.86 | 0 | -15405 lb | 0 0 0.00 | 91.07/91.15 c | 91.16 | 0 | -15404 lb | 0 0 0.00 | 91.37/91.43 c | 91.43 | 0 | -15403 lb | 0 0 0.00 | 91.67/91.70 c | 91.71 | 0 | -15402 lb | 0 0 0.00 | 91.97/92.06 c | 92.07 | 0 | -15401 lb | 0 0 0.00 | 92.28/92.39 c | 92.39 | 0 | -15400 lb | 0 0 0.00 | 92.87/92.96 c | 92.96 | 0 | -15399 lb | 0 0 0.00 | 93.17/93.29 c | 93.29 | 0 | -15398 lb | 0 0 0.00 | 93.57/93.64 c | 93.64 | 0 | -15397 lb | 0 0 0.00 | 93.87/93.95 c | 93.96 | 0 | -15396 lb | 0 0 0.00 | 94.17/94.28 c | 94.28 | 0 | -15395 lb | 0 0 0.00 | 94.47/94.52 c | 94.53 | 0 | -15394 lb | 0 0 0.00 | 94.86/94.95 c | 94.96 | 0 | -15393 lb | 0 0 0.00 | 108.47/108.55 c | 108.56 | 0 | -15392 lb | 0 0 0.00 | 108.77/108.85 c | 108.86 | 0 | -15391 lb | 0 0 0.00 | 108.97/109.02 c | 109.03 | 0 | -15390 lb | 0 0 0.00 | 109.27/109.32 c | 109.33 | 0 | -15389 lb | 0 0 0.00 | 109.47/109.59 c | 109.59 | 0 | -15388 lb | 0 0 0.00 | 109.97/110.04 c | 110.04 | 0 | -15387 lb | 0 0 0.00 | 110.16/110.26 c | 110.26 | 0 | -15386 lb | 0 0 0.00 | 110.56/110.60 c | 110.60 | 0 | -15385 lb | 0 0 0.00 | 110.86/110.92 c | 110.92 | 0 | -15384 lb | 0 0 0.00 | 111.27/111.33 c | 111.33 | 0 | -15383 lb | 0 0 0.00 | 111.57/111.65 c | 111.66 | 0 | -15382 lb | 0 0 0.00 | 111.97/112.05 c | 112.05 | 0 | -15381 lb | 0 0 0.00 | 112.46/112.52 c | 112.52 | 0 | -15380 lb | 0 0 0.00 | 112.66/112.75 c | 112.75 | 0 | -15379 lb | 0 0 0.00 | 113.06/113.13 c | 113.14 | 0 | -15378 lb | 0 0 0.00 | 113.36/113.46 c | 113.46 | 0 | -15377 lb | 0 0 0.00 | 113.67/113.70 c | 113.71 | 0 | -15376 lb | 0 0 0.00 | 114.17/114.24 c | 114.24 | 0 | -15375 lb | 0 0 0.00 | 114.37/114.43 c | 114.43 | 0 | -15374 lb | 0 0 0.00 | 114.66/114.70 c | 114.70 | 0 | -15373 lb | 0 0 0.00 | 114.86/114.98 c | 114.99 | 0 | -15372 lb | 0 0 0.00 | 115.16/115.23 c | 115.24 | 0 | -15371 lb | 0 0 0.00 | 115.56/115.66 c | 115.67 | 0 | -15370 lb | 0 0 0.00 | 115.86/115.96 c | 115.97 | 0 | -15369 lb | 0 0 0.00 | 116.06/116.19 c | 116.19 | 0 | -15368 lb | 0 0 0.00 | 116.36/116.47 c | 116.47 | 0 | -15367 lb | 0 0 0.00 | 116.66/116.70 c | 116.71 | 0 | -15366 lb | 0 0 0.00 | 116.86/116.94 c | 116.95 | 0 | -15365 lb | 0 0 0.00 | 117.26/117.36 c | 117.37 | 0 | -15364 lb | 0 0 0.00 | 117.67/117.75 c | 117.75 | 0 | -15363 lb | 0 0 0.00 | 118.17/118.24 c | 118.24 | 0 | -15362 lb | 0 0 0.00 | 118.46/118.52 c | 118.52 | 0 | -15361 lb | 0 0 0.00 | 118.67/118.71 c | 118.71 | 0 | -15360 lb | 0 0 0.00 | 119.16/119.23 c | 119.24 | 0 | -15359 lb | 0 0 0.00 | 119.36/119.46 c | 119.46 | 0 | -15358 lb | 0 0 0.00 | 119.66/119.73 c | 119.73 | 0 | -15357 lb | 0 0 0.00 | 119.87/119.97 c | 119.97 | 0 | -15356 lb | 0 0 0.00 | 120.26/120.33 c | 120.34 | 0 | -15355 lb | 0 0 0.00 | 120.56/120.61 c | 120.61 | 0 | -15354 lb | 0 0 0.00 | 120.97/121.02 c | 121.03 | 0 | -15353 lb | 0 0 0.00 | 121.16/121.28 c | 121.28 | 0 | -15352 lb | 0 0 0.00 | 121.46/121.50 c | 121.50 | 0 | -15351 lb | 0 0 0.00 | 121.76/121.81 c | 121.82 | 0 | -15350 lb | 0 0 0.00 | 122.26/122.39 c | 122.40 | 0 | -15349 lb | 0 0 0.00 | 122.86/122.90 c | 122.90 | 0 | -15348 lb | 0 0 0.00 | 123.07/123.18 c | 123.19 | 0 | -15347 lb | 0 0 0.00 | 123.26/123.38 c | 123.39 | 0 | -15346 lb | 0 0 0.00 | 123.56/123.60 c | 123.61 | 0 | -15345 lb | 0 0 0.00 | 123.96/124.07 c | 124.07 | 0 | -15344 lb | 0 0 0.00 | 124.26/124.32 c | 124.33 | 0 | -15343 lb | 0 0 0.00 | 124.46/124.53 c | 124.54 | 0 | -15342 lb | 0 0 0.00 | 124.66/124.79 c | 124.80 | 0 | -15341 lb | 0 0 0.00 | 124.96/125.03 c | 125.03 | 0 | -15340 lb | 0 0 0.00 | 125.56/125.65 c | 125.65 | 0 | -15339 lb | 0 0 0.00 | 125.76/125.89 c | 125.90 | 0 | -15338 lb | 0 0 0.00 | 126.16/126.20 c | 126.20 | 0 | -15337 lb | 0 0 0.00 | 126.36/126.42 c | 126.42 | 0 | -15336 lb | 0 0 0.00 | 126.56/126.64 c | 126.64 | 0 | -15335 lb | 0 0 0.00 | 126.76/126.86 c | 126.86 | 0 | -15334 lb | 0 0 0.00 | 127.06/127.13 c | 127.13 | 0 | -15333 lb | 0 0 0.00 | 127.26/127.35 c | 127.35 | 0 | -15332 lb | 0 0 0.00 | 127.46/127.56 c | 127.57 | 0 | -15331 lb | 0 0 0.00 | 127.66/127.76 c | 127.76 | 0 | -15330 lb | 0 0 0.00 | 127.86/127.99 c | 128.00 | 0 | -15329 lb | 0 0 0.00 | 128.06/128.18 c | 128.18 | 0 | -15328 lb | 0 0 0.00 | 128.26/128.39 c | 128.40 | 0 | -15327 lb | 0 0 0.00 | 128.56/128.61 c | 128.62 | 0 | -15326 lb | 0 0 0.00 | 128.76/128.84 c | 128.84 | 0 | -15325 lb | 0 0 0.00 | 128.96/129.05 c | 129.05 | 0 | -15324 lb | 0 0 0.00 | 129.16/129.27 c | 129.27 | 0 | -15323 lb | 0 0 0.00 | 133.75/133.86 c | 133.87 | 0 | -15322 lb | 0 0 0.00 | 133.95/134.08 c | 134.08 | 0 | -15321 lb | 0 0 0.00 | 134.15/134.25 c | 134.26 | 0 | -15320 lb | 0 0 0.00 | 134.35/134.46 c | 134.47 | 0 | -15319 lb | 0 0 0.00 | 134.55/134.68 c | 134.68 | 0 | -15318 lb | 0 0 0.00 | 134.95/135.06 c | 135.06 | 0 | -15317 lb | 0 0 0.00 | 135.15/135.26 c | 135.26 | 0 | -15316 lb | 0 0 0.00 | 135.35/135.49 c | 135.49 | 0 | -15315 lb | 0 0 0.00 | 135.55/135.69 c | 135.69 | 0 | -15314 lb | 0 0 0.00 | 136.06/136.18 c | 136.18 | 0 | -15313 lb | 0 0 0.00 | 136.26/136.38 c | 136.38 | 0 | -15312 lb | 0 0 0.00 | 136.55/136.63 c | 136.63 | 0 | -15311 lb | 0 0 0.00 | 136.75/136.86 c | 136.87 | 0 | -15310 lb | 0 0 0.00 | 137.05/137.12 c | 137.12 | 0 | -15309 lb | 0 0 0.00 | 137.25/137.38 c | 137.38 | 0 | -15308 lb | 0 0 0.00 | 137.75/137.81 c | 137.81 | 0 | -15307 lb | 0 0 0.00 | 137.95/138.05 c | 138.05 | 0 | -15306 lb | 0 0 0.00 | 138.25/138.34 c | 138.34 | 0 | -15305 lb | 0 0 0.00 | 138.56/138.65 c | 138.66 | 0 | -15304 lb | 0 0 0.00 | 139.25/139.34 c | 139.35 | 0 | -15303 lb | 0 0 0.00 | 139.45/139.54 c | 139.54 | 0 | -15302 lb | 0 0 0.00 | 140.34/140.42 c | 140.42 | 0 | -15301 lb | 0 0 0.00 | 140.54/140.62 c | 140.62 | 0 | -15300 lb | 0 0 0.00 | 140.84/140.98 c | 140.98 | 0 | -15299 lb | 0 0 0.00 | 141.14/141.22 c | 141.23 | 0 | -15298 lb | 0 0 0.00 | 141.54/141.65 c | 141.66 | 0 | -15297 lb | 0 0 0.00 | 141.75/141.87 c | 141.87 | 0 | -15296 lb | 0 0 0.00 | 142.04/142.11 c | 142.12 | 0 | -15295 lb | 0 0 0.00 | 142.54/142.64 c | 142.64 | 0 | -15294 lb | 0 0 0.00 | 142.74/142.89 c | 142.89 | 0 | -15293 lb | 0 0 0.00 | 143.14/143.20 c | 143.21 | 0 | -15292 lb | 0 0 0.00 | 143.35/143.42 c | 143.42 | 0 | -15291 lb | 0 0 0.00 | 143.55/143.63 c | 143.63 | 0 | -15290 lb | 0 0 0.00 | 145.05/145.13 c | 145.13 | 0 | -15289 lb | 0 0 0.00 | 145.34/145.49 c | 145.49 | 0 | -15288 lb | 0 0 0.00 | 146.15/146.21 c | 146.22 | 0 | -15287 lb | 0 0 0.00 | 146.34/146.44 c | 146.44 | 0 | -15286 lb | 0 0 0.00 | 146.64/146.70 c | 146.71 | 0 | -15285 lb | 0 0 0.00 | 146.84/146.95 c | 146.96 | 0 | -15284 lb | 0 0 0.00 | 147.14/147.23 c | 147.23 | 0 | -15283 lb | 0 0 0.00 | 147.35/147.49 c | 147.50 | 0 | -15282 lb | 0 0 0.00 | 147.84/147.98 c | 147.99 | 0 | -15281 lb | 0 0 0.00 | 148.24/148.36 c | 148.36 | 0 | -15280 lb | 0 0 0.00 | 148.45/148.58 c | 148.58 | 0 | -15279 lb | 0 0 0.00 | 148.64/148.79 c | 148.79 | 0 | -15278 lb | 0 0 0.00 | 148.94/149.02 c | 149.03 | 0 | -15277 lb | 0 0 0.00 | 149.24/149.35 c | 149.35 | 0 | -15276 lb | 0 0 0.00 | 149.45/149.59 c | 149.59 | 0 | -15275 lb | 0 0 0.00 | 149.94/150.06 c | 150.07 | 0 | -15274 lb | 0 0 0.00 | 150.23/150.32 c | 150.32 | 0 | -15273 lb | 0 0 0.00 | 150.43/150.52 c | 150.53 | 0 | -15272 lb | 0 0 0.00 | 150.73/150.89 c | 150.89 | 0 | -15271 lb | 0 0 0.00 | 151.03/151.10 c | 151.10 | 0 | -15270 lb | 0 0 0.00 | 151.24/151.35 c | 151.36 | 0 | -15269 lb | 0 0 0.00 | 151.44/151.58 c | 151.59 | 0 | -15268 lb | 0 0 0.00 | 151.84/151.90 c | 151.91 | 0 | -15267 lb | 0 0 0.00 | 152.03/152.12 c | 152.12 | 0 | -15266 lb | 0 0 0.00 | 152.23/152.39 c | 152.39 | 0 | -15265 lb | 0 0 0.00 | 152.53/152.60 c | 152.60 | 0 | -15264 lb | 0 0 0.00 | 153.03/153.19 c | 153.19 | 0 | -15263 lb | 0 0 0.00 | 153.23/153.39 c | 153.39 | 0 | -15262 lb | 0 0 0.00 | 153.53/153.60 c | 153.60 | 0 | -15261 lb | 0 0 0.00 | 153.73/153.84 c | 153.84 | 0 | -15260 lb | 0 0 0.00 | 153.94/154.05 c | 154.05 | 0 | -15259 lb | 0 0 0.00 | 154.23/154.30 c | 154.31 | 0 | -15258 lb | 0 0 0.00 | 154.43/154.51 c | 154.51 | 0 | -15257 lb | 0 0 0.00 | 155.04/155.14 c | 155.14 | 0 | -15256 lb | 0 0 0.00 | 155.53/155.66 c | 155.67 | 0 | -15255 lb | 0 0 0.00 | 155.83/155.95 c | 155.95 | 0 | -15254 lb | 0 0 0.00 | 156.14/156.24 c | 156.25 | 0 | -15253 lb | 0 0 0.00 | 156.44/156.55 c | 156.55 | 0 | -15252 lb | 0 0 0.00 | 156.74/156.85 c | 156.86 | 0 | -15251 lb | 0 0 0.00 | 157.03/157.11 c | 157.11 | 0 | -15250 lb | 0 0 0.00 | 157.24/157.32 c | 157.32 | 0 | -15249 lb | 0 0 0.00 | 157.93/158.03 c | 158.04 | 0 | -15248 lb | 0 0 0.00 | 158.34/158.42 c | 158.42 | 0 | -15247 lb | 0 0 0.00 | 158.54/158.64 c | 158.65 | 0 | -15246 lb | 0 0 0.00 | 158.74/158.88 c | 158.88 | 0 | -15245 lb | 0 0 0.00 | 159.03/159.10 c | 159.10 | 0 | -15244 lb | 0 0 0.00 | 159.34/159.45 c | 159.46 | 0 | -15243 lb | 0 0 0.00 | 159.53/159.69 c | 159.69 | 0 | -15242 lb | 0 0 0.00 | 159.83/159.93 c | 159.93 | 0 | -15241 lb | 0 0 0.00 | 160.03/160.16 c | 160.16 | 0 | -15240 lb | 0 0 0.00 | 160.33/160.43 c | 160.43 | 0 | -15239 lb | 0 0 0.00 | 160.53/160.68 c | 160.69 | 0 | -15238 lb | 0 0 0.00 | 160.82/160.90 c | 160.91 | 0 | -15237 lb | 0 0 0.00 | 161.02/161.12 c | 161.12 | 0 | -15236 lb | 0 0 0.00 | 161.23/161.36 c | 161.37 | 0 | -15235 lb | 0 0 0.00 | 161.43/161.58 c | 161.58 | 0 | -15234 lb | 0 0 0.00 | 161.93/162.01 c | 162.02 | 0 | -15233 lb | 0 0 0.00 | 162.13/162.25 c | 162.25 | 0 | -15232 lb | 0 0 0.00 | 162.43/162.52 c | 162.53 | 0 | -15231 lb | 0 0 0.00 | 162.93/163.08 c | 163.08 | 0 | -15230 lb | 0 0 0.00 | 163.23/163.33 c | 163.33 | 0 | -15229 lb | 0 0 0.00 | 163.42/163.57 c | 163.58 | 0 | -15228 lb | 0 0 0.00 | 163.62/163.80 c | 163.80 | 0 | -15227 lb | 0 0 0.00 | 163.93/164.04 c | 164.04 | 0 | -15226 lb | 0 0 0.00 | 164.23/164.31 c | 164.32 | 0 | -15225 lb | 0 0 0.00 | 164.43/164.53 c | 164.53 | 0 | -15224 lb | 0 0 0.00 | 164.63/164.77 c | 164.78 | 0 | -15223 lb | 0 0 0.00 | 164.93/165.03 c | 165.03 | 0 | -15222 lb | 0 0 0.00 | 165.22/165.30 c | 165.30 | 0 | -15221 lb | 0 0 0.00 | 165.42/165.57 c | 165.58 | 0 | -15220 lb | 0 0 0.00 | 165.72/165.81 c | 165.81 | 0 | -15219 lb | 0 0 0.00 | 186.91/187.02 c | 187.02 | 0 | -15218 lb | 0 0 0.00 | 187.20/187.32 c | 187.32 | 0 | -15217 lb | 0 0 0.00 | 187.40/187.50 c | 187.50 | 0 | -15216 lb | 0 0 0.00 | 187.60/187.76 c | 187.76 | 0 | -15215 lb | 0 0 0.00 | 187.80/187.95 c | 187.96 | 0 | -15214 lb | 0 0 0.00 | 188.01/188.18 c | 188.19 | 0 | -15213 lb | 0 0 0.00 | 188.40/188.53 c | 188.53 | 0 | -15212 lb | 0 0 0.00 | 188.80/188.91 c | 188.92 | 0 | -15211 lb | 0 0 0.00 | 189.20/189.30 c | 189.31 | 0 | -15210 lb | 0 0 0.00 | 189.40/189.53 c | 189.53 | 0 | -15209 lb | 0 0 0.00 | 189.60/189.78 c | 189.79 | 0 | -15208 lb | 0 0 0.00 | 189.90/190.06 c | 190.06 | 0 | -15207 lb | 0 0 0.00 | 190.20/190.39 c | 190.40 | 0 | -15206 lb | 0 0 0.00 | 190.60/190.71 c | 190.72 | 0 | -15205 lb | 0 0 0.00 | 190.90/191.06 c | 191.06 | 0 | -15204 lb | 0 0 0.00 | 191.09/191.29 c | 191.29 | 0 | -15203 lb | 0 0 0.00 | 191.59/191.70 c | 191.71 | 0 | -15202 lb | 0 0 0.00 | 191.79/191.91 c | 191.92 | 0 | -15201 lb | 0 0 0.00 | 192.09/192.22 c | 192.23 | 0 | -15200 lb | 0 0 0.00 | 192.30/192.48 c | 192.49 | 0 | -15199 lb | 0 0 0.00 | 192.59/192.76 c | 192.76 | 0 | -15198 lb | 0 0 0.00 | 192.89/193.04 c | 193.05 | 0 | -15197 lb | 0 0 0.00 | 193.29/193.40 c | 193.40 | 0 | -15196 lb | 0 0 0.00 | 193.59/193.76 c | 193.77 | 0 | -15195 lb | 0 0 0.00 | 193.99/194.13 c | 194.13 | 0 | -15194 lb | 0 0 0.00 | 194.39/194.51 c | 194.51 | 0 | -15193 lb | 0 0 0.00 | 194.69/194.85 c | 194.85 | 0 | -15192 lb | 0 0 0.00 | 195.09/195.23 c | 195.24 | 0 | -15191 lb | 0 0 0.00 | 195.39/195.55 c | 195.55 | 0 | -15190 lb | 0 0 0.00 | 195.60/195.80 c | 195.80 | 0 | -15189 lb | 0 0 0.00 | 195.89/196.04 c | 196.04 | 0 | -15188 lb | 0 0 0.00 | 196.09/196.27 c | 196.28 | 0 | -15187 lb | 0 0 0.00 | 196.60/196.74 c | 196.75 | 0 | -15186 lb | 0 0 0.00 | 197.20/197.35 c | 197.35 | 0 | -15185 lb | 0 0 0.00 | 197.50/197.69 c | 197.69 | 0 | -15184 lb | 0 0 0.00 | 200.19/200.30 c | 200.30 | 0 | -15183 lb | 0 0 0.00 | 235.06/235.27 c | 235.28 | 0 | -15182 lb | 0 0 0.00 | 1494.26/1494.73 c | 1494.74 | 0 | -15181 lb | 0 0 0.00 | 1495.35/1495.85 c | 1495.86 | 0 | -15180 lb | 0 0 0.00 | 1799.49/1800.00 c =============================================================================== 1799.49/1800.00 c Wall Clock Time: 1800.00 s 1799.49/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-3727882-1338671365/watcher-3727882-1338671365 -o /tmp/evaluation-result-3727882-1338671365/solver-3727882-1338671365 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727882-1338671365.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.00 3/176 18594 /proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=7364 CPUtime=0 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 333261392 7540736 603 33554432000 4194304 5964350 140736259924384 140735692345464 4395569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 1841 605 161 433 0 759 0 [startup+0.029251 s] /proc/loadavg: 2.00 2.00 2.00 3/176 18594 /proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=11880 CPUtime=0.02 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 1703 0 0 0 2 0 0 0 20 0 1 0 333261392 12165120 1656 33554432000 4194304 5964350 140736259924384 140735692345464 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 2970 1656 243 433 0 1888 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11880 [startup+0.100241 s] /proc/loadavg: 2.00 2.00 2.00 3/176 18594 /proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=19596 CPUtime=0.09 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 4043 0 0 0 9 0 0 0 20 0 1 0 333261392 20066304 3842 33554432000 4194304 5964350 140736259924384 140735692345464 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 4899 3843 452 433 0 3817 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19596 [startup+0.300184 s] /proc/loadavg: 2.00 2.00 2.00 3/176 18594 /proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=105004 CPUtime=0.29 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 11888 0 0 0 27 2 0 0 20 0 2 0 333261392 107524096 9816 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 26251 9816 190 433 0 25815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 105004 [startup+0.700208 s] /proc/loadavg: 2.00 2.00 2.00 3/176 18594 /proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=101308 CPUtime=0.69 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 17547 0 0 0 67 2 0 0 20 0 2 0 333261392 103739392 13638 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 25327 13638 191 433 0 24891 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 101308 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=27639700/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=101308 CPUtime=1.48 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 23761 0 0 0 145 3 0 0 20 0 2 0 333261392 103739392 15693 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 25327 15693 191 433 0 24891 0 [pid=18594/tid=18597] ppid=18592 vsize=101308 CPUtime=1.26 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 17831 0 0 0 123 3 0 0 20 0 2 0 333261414 103739392 15693 33554432000 4194304 5964350 140736259924384 140247757965848 5130762 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 101308 [startup+3.10036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=27618744/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=101308 CPUtime=3.08 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 34377 0 0 0 303 5 0 0 20 0 2 0 333261392 103739392 18100 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 25327 18100 191 433 0 24891 0 [pid=18594/tid=18597] ppid=18592 vsize=101308 CPUtime=2.86 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 28447 0 0 0 281 5 0 0 20 0 2 0 333261414 103739392 18100 33554432000 4194304 5964350 140736259924384 140247757965656 4376171 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 101308 [startup+6.30036 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=27565296/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=166844 CPUtime=6.28 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 53079 0 0 0 619 9 0 0 20 0 2 0 333261392 170848256 24565 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 41711 24565 191 433 0 41275 0 [pid=18594/tid=18597] ppid=18592 vsize=166844 CPUtime=6.06 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 47149 0 0 0 598 8 0 0 20 0 2 0 333261414 170848256 24565 33554432000 4194304 5964350 140736259924384 140247757965848 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 166844 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=27478552/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=166844 CPUtime=12.68 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 97427 0 0 0 1250 18 0 0 20 0 2 0 333261392 170848256 34628 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 41711 34628 191 433 0 41275 0 [pid=18594/tid=18597] ppid=18592 vsize=166844 CPUtime=12.46 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 91497 0 0 0 1229 17 0 0 20 0 2 0 333261414 170848256 34628 33554432000 4194304 5964350 140736259924384 140247757965656 5130914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 166844 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18597 /proc/meminfo: memFree=27334840/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=232380 CPUtime=25.48 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 150763 0 0 0 2521 27 0 0 20 0 2 0 333261392 237957120 48901 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 58095 48901 193 433 0 57659 0 [pid=18594/tid=18597] ppid=18592 vsize=232380 CPUtime=25.26 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 144833 0 0 0 2499 27 0 0 20 0 2 0 333261414 237957120 48901 33554432000 4194304 5964350 140736259924384 140247757965848 5133593 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 232380 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18600 /proc/meminfo: memFree=27143972/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=297916 CPUtime=51.08 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 224395 0 0 0 5064 44 0 0 20 0 2 0 333261392 305065984 68613 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 74479 68613 195 433 0 74043 0 [pid=18594/tid=18597] ppid=18592 vsize=297916 CPUtime=50.86 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 218465 0 0 0 5042 44 0 0 20 0 2 0 333261414 305065984 68613 33554432000 4194304 5964350 140736259924384 140247757966152 5122387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 297916 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18601 /proc/meminfo: memFree=26883384/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=363452 CPUtime=102.28 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 273324 0 0 0 10172 56 0 0 20 0 2 0 333261392 372174848 85510 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 90863 85510 195 433 0 90427 0 [pid=18594/tid=18597] ppid=18592 vsize=363452 CPUtime=102.06 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 267394 0 0 0 10149 57 0 0 20 0 2 0 333261414 372174848 85510 33554432000 4194304 5964350 140736259924384 140247757966152 4400396 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 363452 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18601 /proc/meminfo: memFree=26680304/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=494524 CPUtime=162.23 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 352156 0 0 0 16149 74 0 0 20 0 2 0 333261392 506392576 107126 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 123631 107126 195 433 0 123195 0 [pid=18594/tid=18597] ppid=18592 vsize=494524 CPUtime=162.02 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 346226 0 0 0 16126 76 0 0 20 0 2 0 333261414 506392576 107126 33554432000 4194304 5964350 140736259924384 140247757966152 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 494524 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18601 /proc/meminfo: memFree=26646544/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=494524 CPUtime=222.17 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 367876 0 0 0 22140 77 0 0 20 0 2 0 333261392 506392576 114486 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 123631 114486 195 433 0 123195 0 [pid=18594/tid=18597] ppid=18592 vsize=494524 CPUtime=221.98 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 361946 0 0 0 22118 80 0 0 20 0 2 0 333261414 506392576 114486 33554432000 4194304 5964350 140736259924384 140247757965112 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 494524 [startup+282.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 18601 /proc/meminfo: memFree=26616436/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=560060 CPUtime=282.13 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 372315 0 0 0 28134 79 0 0 20 0 2 0 333261392 573501440 119915 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 140015 119915 195 433 0 139579 0 [pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=281.95 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 366385 0 0 0 28112 83 0 0 20 0 2 0 333261414 573501440 119915 33554432000 4194304 5964350 140736259924384 140247757965688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 560060 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18601 /proc/meminfo: memFree=26607704/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=560060 CPUtime=342.1 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 372596 0 0 0 34131 79 0 0 20 0 2 0 333261392 573501440 120177 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 140015 120177 195 433 0 139579 0 [pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=341.94 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 366666 0 0 0 34110 84 0 0 20 0 2 0 333261414 573501440 120177 33554432000 4194304 5964350 140736259924384 140247757965688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 560060 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18602 /proc/meminfo: memFree=26581712/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=560060 CPUtime=402.09 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 375808 0 0 0 40128 81 0 0 20 0 2 0 333261392 573501440 123389 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 140015 123389 195 433 0 139579 0 [pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=401.94 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 369878 0 0 0 40107 87 0 0 20 0 2 0 333261414 573501440 123389 33554432000 4194304 5964350 140736259924384 140247757965304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 560060 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18602 /proc/meminfo: memFree=26525144/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=560060 CPUtime=462.09 cores=1,3,5,7 ################ # More data... # ################ /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 405290 0 0 0 130049 136 0 0 20 0 2 0 333261414 707719168 159861 33554432000 4194304 5964350 140736259924384 140247757965304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 691132 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18612 /proc/meminfo: memFree=26340948/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=691132 CPUtime=1361.88 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 413621 0 0 0 136066 122 0 0 20 0 2 0 333261392 707719168 162262 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 172783 162262 195 433 0 172347 0 [pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1361.84 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 407691 0 0 0 136042 142 0 0 20 0 2 0 333261414 707719168 162262 33554432000 4194304 5964350 140736259924384 140247757965112 4400704 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 691132 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18612 /proc/meminfo: memFree=26333392/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=691132 CPUtime=1421.88 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 415555 0 0 0 142064 124 0 0 20 0 2 0 333261392 707719168 164196 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 172783 164196 195 433 0 172347 0 [pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1421.85 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 409625 0 0 0 142040 145 0 0 20 0 2 0 333261414 707719168 164196 33554432000 4194304 5964350 140736259924384 140247757965304 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 691132 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18612 /proc/meminfo: memFree=26324464/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=691132 CPUtime=1481.86 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 417793 0 0 0 148058 128 0 0 20 0 2 0 333261392 707719168 166434 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 172783 166434 195 433 0 172347 0 [pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1481.84 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 411863 0 0 0 148034 150 0 0 20 0 2 0 333261414 707719168 166434 33554432000 4194304 5964350 140736259924384 140247757965304 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 691132 [startup+1542.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 18612 /proc/meminfo: memFree=26263764/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1541.85 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432670 0 0 0 154053 132 0 0 20 0 2 0 333261392 774828032 181580 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 181580 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1541.84 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426740 0 0 0 154029 155 0 0 20 0 2 0 333261414 774828032 181580 33554432000 4194304 5964350 140736259924384 140247757965848 4400462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 756668 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 18612 /proc/meminfo: memFree=26262832/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1601.82 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 160050 132 0 0 20 0 2 0 333261392 774828032 181816 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 181816 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1601.83 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 160027 156 0 0 20 0 2 0 333261414 774828032 181816 33554432000 4194304 5964350 140736259924384 140247757965848 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 756668 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.00 3/179 18613 /proc/meminfo: memFree=26258024/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1661.81 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 166049 132 0 0 20 0 2 0 333261392 774828032 183050 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183050 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1661.82 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 166025 157 0 0 20 0 2 0 333261414 774828032 183050 33554432000 4194304 5964350 140736259924384 140247757965848 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 756668 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.00 3/179 18613 /proc/meminfo: memFree=26251692/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1721.8 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 172048 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1721.82 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 172024 158 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 756668 [startup+1782.3 s] /proc/loadavg: 2.05 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26238796/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1781.8 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 178048 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1781.82 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 178023 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4387903 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 756668 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26237804/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1791.4 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179008 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1791.43 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 178984 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 756668 [startup+1795.1 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26237432/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1794.6 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179328 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1794.63 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179304 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 756668 [startup+1798.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26237184/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1797.79 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179647 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1797.82 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179623 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 756668 [startup+1799.1 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26237060/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1798.59 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179727 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1798.62 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179703 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (KiB) 756668 [startup+1799.5 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1799 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179768 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.03 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179744 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400751 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799 Current children cumulated vsize (KiB) 756668 [startup+1799.9 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1799.39 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179807 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.42 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179783 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (KiB) 756668 [startup+1800 s] /proc/loadavg: 2.04 2.04 2.00 3/179 18613 /proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628 [pid=18594] ppid=18592 vsize=756668 CPUtime=1799.49 cores=1,3,5,7 /proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179817 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18594/statm: 189167 183150 195 433 0 188731 0 [pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.52 cores=1,3,5,7 /proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179793 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (KiB) 756668 Child status: 255 Real time (s): 1800 CPU time (s): 1799.76 CPU user time (s): 1798.15 CPU system time (s): 1.61375 CPU usage (%): 99.9864 Max. virtual memory (cumulated for all children) (KiB): 756668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.15 system time used= 1.61375 maximum resident set size= 732608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 432688 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= 237 involuntary context switches= 1854 runsolver used 2.96555 second user time and 9.06762 second system time The end
Begin job on node144 at 2012-06-02 23:09:25 IDJOB=3727882 IDBENCH=90451 IDSOLVER=2313 FILE ID=node144/3727882-1338671365 RUNJOBID= node144-1338667764-18356 PBS_JOBID= 14636488 Free space on /tmp= 70828 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727882-1338671365/watcher-3727882-1338671365 -o /tmp/evaluation-result-3727882-1338671365/solver-3727882-1338671365 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727882-1338671365.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cd63af4b43031b31fea6da5a72b06e90 RANDOM SEED=1299084838 node144.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.196 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.39 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.196 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.196 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.54 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.196 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.196 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.90 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.196 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.92 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.196 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.196 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: 32873844 kB MemFree: 27746320 kB Buffers: 622348 kB Cached: 3611224 kB SwapCached: 464 kB Active: 2404688 kB Inactive: 1857828 kB Active(anon): 12244 kB Inactive(anon): 11196 kB Active(file): 2392444 kB Inactive(file): 1846632 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108376 kB Dirty: 16308 kB Writeback: 0 kB AnonPages: 28184 kB Mapped: 15220 kB Shmem: 172 kB Slab: 724280 kB SReclaimable: 166028 kB SUnreclaim: 558252 kB KernelStack: 1432 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 138188 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 70828 MiB End job on node144 at 2012-06-02 23:39:25