| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.62 | 1800.01 |
| 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705581-1338119207.opb. 0.00/0.00 c Instance file HOME/instance-3705581-1338119207.opb 0.00/0.00 c File size is 2643991 bytes. 0.19/0.21 c Cost Offset: -16038 0.19/0.21 c Highest Coefficient sum: 204087 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.21 s | 0.19/0.21 c | Number Variables: 40451 | 0.19/0.21 c | Number Clauses: 40396 | 0.19/0.21 c | Number Cardinality: 553 | 0.19/0.21 c | Number PB Constraints: 1 | 0.19/0.21 c | | 0.19/0.24 c | Problem Type: Optimization | 0.19/0.24 c | Objective Function: Cardinality Constraint | 0.19/0.24 c | | 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.24 c | | | value type | expCls impCls Lit/impCl | 0.19/0.24 c =============================================================================== 0.19/0.28 c | 0.28 | 0 | -16037 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | -16036 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | -16035 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | -16034 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | -16033 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | -16032 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | -16031 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | -16030 lb | 0 0 0.00 | 0.49/0.54 c | 0.52 | 0 | -16029 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | -16028 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | -16027 lb | 0 0 0.00 | 0.59/0.61 c | 0.62 | 0 | -16026 lb | 0 0 0.00 | 0.59/0.64 c | 0.65 | 0 | -16025 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | -16024 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | -16023 lb | 0 0 0.00 | 0.68/0.74 c | 0.75 | 0 | -16022 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | -16021 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | -16020 lb | 0 0 0.00 | 0.78/0.84 c | 0.85 | 0 | -16019 lb | 0 0 0.00 | 0.78/0.88 c | 0.88 | 0 | -16018 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | -16017 lb | 0 0 0.00 | 0.88/0.94 c | 0.95 | 0 | -16016 lb | 0 0 0.00 | 0.88/0.98 c | 0.98 | 0 | -16015 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | -16014 lb | 0 0 0.00 | 0.99/1.05 c | 1.06 | 0 | -16013 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | -16012 lb | 0 0 0.00 | 1.08/1.13 c | 1.13 | 0 | -16011 lb | 0 0 0.00 | 1.08/1.17 c | 1.17 | 0 | -16010 lb | 0 0 0.00 | 1.18/1.21 c | 1.21 | 0 | -16009 lb | 0 0 0.00 | 1.18/1.24 c | 1.25 | 0 | -16008 lb | 0 0 0.00 | 1.18/1.28 c | 1.29 | 0 | -16007 lb | 0 0 0.00 | 1.29/1.32 c | 1.33 | 0 | -16006 lb | 0 0 0.00 | 1.29/1.36 c | 1.37 | 0 | -16005 lb | 0 0 0.00 | 1.38/1.40 c | 1.41 | 0 | -16004 lb | 0 0 0.00 | 1.38/1.44 c | 1.45 | 0 | -16003 lb | 0 0 0.00 | 1.38/1.48 c | 1.49 | 0 | -16002 lb | 0 0 0.00 | 1.48/1.52 c | 1.53 | 0 | -16001 lb | 0 0 0.00 | 1.48/1.56 c | 1.56 | 0 | -16000 lb | 0 0 0.00 | 1.58/1.60 c | 1.61 | 0 | -15999 lb | 0 0 0.00 | 1.58/1.64 c | 1.65 | 0 | -15998 lb | 0 0 0.00 | 1.58/1.68 c | 1.69 | 0 | -15997 lb | 0 0 0.00 | 1.68/1.73 c | 1.73 | 0 | -15996 lb | 0 0 0.00 | 1.68/1.77 c | 1.77 | 0 | -15995 lb | 0 0 0.00 | 1.78/1.81 c | 1.81 | 0 | -15994 lb | 0 0 0.00 | 1.78/1.85 c | 1.85 | 0 | -15993 lb | 0 0 0.00 | 1.78/1.89 c | 1.90 | 0 | -15992 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | -15991 lb | 0 0 0.00 | 1.88/1.98 c | 1.98 | 0 | -15990 lb | 0 0 0.00 | 1.98/2.02 c | 2.02 | 0 | -15989 lb | 0 0 0.00 | 1.98/2.06 c | 2.07 | 0 | -15988 lb | 0 0 0.00 | 2.08/2.10 c | 2.11 | 0 | -15987 lb | 0 0 0.00 | 2.08/2.15 c | 2.15 | 0 | -15986 lb | 0 0 0.00 | 2.08/2.19 c | 2.19 | 0 | -15985 lb | 0 0 0.00 | 2.18/2.23 c | 2.24 | 0 | -15984 lb | 0 0 0.00 | 2.18/2.27 c | 2.28 | 0 | -15983 lb | 0 0 0.00 | 2.29/2.32 c | 2.32 | 0 | -15982 lb | 0 0 0.00 | 2.29/2.36 c | 2.36 | 0 | -15981 lb | 0 0 0.00 | 2.38/2.40 c | 2.41 | 0 | -15980 lb | 0 0 0.00 | 2.38/2.45 c | 2.45 | 0 | -15979 lb | 0 0 0.00 | 2.38/2.49 c | 2.49 | 0 | -15978 lb | 0 0 0.00 | 2.48/2.53 c | 2.54 | 0 | -15977 lb | 0 0 0.00 | 2.48/2.58 c | 2.58 | 0 | -15976 lb | 0 0 0.00 | 2.58/2.62 c | 2.62 | 0 | -15975 lb | 0 0 0.00 | 2.58/2.66 c | 2.67 | 0 | -15974 lb | 0 0 0.00 | 2.68/2.71 c | 2.71 | 0 | -15973 lb | 0 0 0.00 | 2.68/2.75 c | 2.75 | 0 | -15972 lb | 0 0 0.00 | 2.68/2.79 c | 2.80 | 0 | -15971 lb | 0 0 0.00 | 2.78/2.84 c | 2.84 | 0 | -15970 lb | 0 0 0.00 | 2.78/2.88 c | 2.89 | 0 | -15969 lb | 0 0 0.00 | 2.88/2.93 c | 2.93 | 0 | -15968 lb | 0 0 0.00 | 2.88/2.97 c | 2.98 | 0 | -15967 lb | 0 0 0.00 | 2.98/3.02 c | 3.02 | 0 | -15966 lb | 0 0 0.00 | 2.98/3.06 c | 3.06 | 0 | -15965 lb | 0 0 0.00 | 3.08/3.10 c | 3.11 | 0 | -15964 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | -15963 lb | 0 0 0.00 | 3.08/3.19 c | 3.20 | 0 | -15962 lb | 0 0 0.00 | 3.19/3.24 c | 3.24 | 0 | -15961 lb | 0 0 0.00 | 3.19/3.28 c | 3.29 | 0 | -15960 lb | 0 0 0.00 | 3.29/3.33 c | 3.33 | 0 | -15959 lb | 0 0 0.00 | 3.29/3.37 c | 3.38 | 0 | -15958 lb | 0 0 0.00 | 3.38/3.42 c | 3.42 | 0 | -15957 lb | 0 0 0.00 | 3.38/3.47 c | 3.47 | 0 | -15956 lb | 0 0 0.00 | 3.48/3.51 c | 3.52 | 0 | -15955 lb | 0 0 0.00 | 3.48/3.56 c | 3.56 | 0 | -15954 lb | 0 0 0.00 | 3.58/3.60 c | 3.61 | 0 | -15953 lb | 0 0 0.00 | 3.58/3.65 c | 3.65 | 0 | -15952 lb | 0 0 0.00 | 3.68/3.70 c | 3.70 | 0 | -15951 lb | 0 0 0.00 | 3.68/3.75 c | 3.75 | 0 | -15950 lb | 0 0 0.00 | 3.68/3.79 c | 3.80 | 0 | -15949 lb | 0 0 0.00 | 3.78/3.84 c | 3.85 | 0 | -15948 lb | 0 0 0.00 | 3.78/3.89 c | 3.89 | 0 | -15947 lb | 0 0 0.00 | 3.88/3.94 c | 3.94 | 0 | -15946 lb | 0 0 0.00 | 3.88/3.98 c | 3.99 | 0 | -15945 lb | 0 0 0.00 | 3.98/4.03 c | 4.04 | 0 | -15944 lb | 0 0 0.00 | 3.98/4.08 c | 4.08 | 0 | -15943 lb | 0 0 0.00 | 4.08/4.13 c | 4.13 | 0 | -15942 lb | 0 0 0.00 | 4.08/4.18 c | 4.18 | 0 | -15941 lb | 0 0 0.00 | 4.18/4.22 c | 4.23 | 0 | -15940 lb | 0 0 0.00 | 4.18/4.27 c | 4.28 | 0 | -15939 lb | 0 0 0.00 | 4.29/4.32 c | 4.32 | 0 | -15938 lb | 0 0 0.00 | 4.29/4.37 c | 4.37 | 0 | -15937 lb | 0 0 0.00 | 4.39/4.42 c | 4.42 | 0 | -15936 lb | 0 0 0.00 | 4.39/4.47 c | 4.47 | 0 | -15935 lb | 0 0 0.00 | 4.48/4.52 c | 4.52 | 0 | -15934 lb | 0 0 0.00 | 4.48/4.56 c | 4.57 | 0 | -15933 lb | 0 0 0.00 | 4.58/4.61 c | 4.62 | 0 | -15932 lb | 0 0 0.00 | 4.58/4.66 c | 4.66 | 0 | -15931 lb | 0 0 0.00 | 4.68/4.71 c | 4.71 | 0 | -15930 lb | 0 0 0.00 | 4.68/4.76 c | 4.76 | 0 | -15929 lb | 0 0 0.00 | 4.78/4.81 c | 4.81 | 0 | -15928 lb | 0 0 0.00 | 4.78/4.86 c | 4.86 | 0 | -15927 lb | 0 0 0.00 | 4.88/4.91 c | 4.91 | 0 | -15926 lb | 0 0 0.00 | 4.88/4.96 c | 4.96 | 0 | -15925 lb | 0 0 0.00 | 4.98/5.01 c | 5.01 | 0 | -15924 lb | 0 0 0.00 | 4.98/5.06 c | 5.06 | 0 | -15923 lb | 0 0 0.00 | 5.08/5.11 c | 5.11 | 0 | -15922 lb | 0 0 0.00 | 5.08/5.16 c | 5.16 | 0 | -15921 lb | 0 0 0.00 | 5.18/5.21 c | 5.21 | 0 | -15920 lb | 0 0 0.00 | 5.18/5.26 c | 5.26 | 0 | -15919 lb | 0 0 0.00 | 5.28/5.31 c | 5.32 | 0 | -15918 lb | 0 0 0.00 | 5.28/5.36 c | 5.37 | 0 | -15917 lb | 0 0 0.00 | 5.39/5.41 c | 5.42 | 0 | -15916 lb | 0 0 0.00 | 5.39/5.47 c | 5.47 | 0 | -15915 lb | 0 0 0.00 | 5.49/5.52 c | 5.52 | 0 | -15914 lb | 0 0 0.00 | 5.49/5.57 c | 5.57 | 0 | -15913 lb | 0 0 0.00 | 5.58/5.62 c | 5.62 | 0 | -15912 lb | 0 0 0.00 | 5.58/5.67 c | 5.67 | 0 | -15911 lb | 0 0 0.00 | 5.68/5.72 c | 5.73 | 0 | -15910 lb | 0 0 0.00 | 5.68/5.78 c | 5.78 | 0 | -15909 lb | 0 0 0.00 | 5.78/5.83 c | 5.83 | 0 | -15908 lb | 0 0 0.00 | 5.78/5.88 c | 5.88 | 0 | -15907 lb | 0 0 0.00 | 5.88/5.93 c | 5.94 | 0 | -15906 lb | 0 0 0.00 | 5.88/5.98 c | 5.99 | 0 | -15905 lb | 0 0 0.00 | 5.98/6.04 c | 6.04 | 0 | -15904 lb | 0 0 0.00 | 5.98/6.09 c | 6.09 | 0 | -15903 lb | 0 0 0.00 | 6.08/6.14 c | 6.15 | 0 | -15902 lb | 0 0 0.00 | 6.08/6.19 c | 6.20 | 0 | -15901 lb | 0 0 0.00 | 6.18/6.25 c | 6.25 | 0 | -15900 lb | 0 0 0.00 | 6.28/6.30 c | 6.30 | 0 | -15899 lb | 0 0 0.00 | 6.28/6.36 c | 6.36 | 0 | -15898 lb | 0 0 0.00 | 6.38/6.41 c | 6.42 | 0 | -15897 lb | 0 0 0.00 | 6.38/6.47 c | 6.47 | 0 | -15896 lb | 0 0 0.00 | 6.49/6.52 c | 6.52 | 0 | -15895 lb | 0 0 0.00 | 6.49/6.57 c | 6.58 | 0 | -15894 lb | 0 0 0.00 | 6.59/6.63 c | 6.63 | 0 | -15893 lb | 0 0 0.00 | 6.59/6.68 c | 6.69 | 0 | -15892 lb | 0 0 0.00 | 6.68/6.74 c | 6.74 | 0 | -15891 lb | 0 0 0.00 | 6.68/6.79 c | 6.80 | 0 | -15890 lb | 0 0 0.00 | 6.78/6.85 c | 6.85 | 0 | -15889 lb | 0 0 0.00 | 6.88/6.90 c | 6.91 | 0 | -15888 lb | 0 0 0.00 | 6.88/6.96 c | 6.96 | 0 | -15887 lb | 0 0 0.00 | 6.98/7.01 c | 7.01 | 0 | -15886 lb | 0 0 0.00 | 6.98/7.07 c | 7.07 | 0 | -15885 lb | 0 0 0.00 | 7.08/7.12 c | 7.12 | 0 | -15884 lb | 0 0 0.00 | 7.08/7.18 c | 7.18 | 0 | -15883 lb | 0 0 0.00 | 7.17/7.23 c | 7.24 | 0 | -15882 lb | 0 0 0.00 | 7.17/7.29 c | 7.29 | 0 | -15881 lb | 0 0 0.00 | 7.28/7.34 c | 7.35 | 0 | -15880 lb | 0 0 0.00 | 7.38/7.40 c | 7.40 | 0 | -15879 lb | 0 0 0.00 | 7.38/7.46 c | 7.46 | 0 | -15878 lb | 0 0 0.00 | 7.48/7.51 c | 7.52 | 0 | -15877 lb | 0 0 0.00 | 7.48/7.57 c | 7.57 | 0 | -15876 lb | 0 0 0.00 | 7.58/7.63 c | 7.63 | 0 | -15875 lb | 0 0 0.00 | 7.58/7.68 c | 7.68 | 0 | -15874 lb | 0 0 0.00 | 7.68/7.74 c | 7.74 | 0 | -15873 lb | 0 0 0.00 | 7.68/7.80 c | 7.80 | 0 | -15872 lb | 0 0 0.00 | 7.77/7.85 c | 7.86 | 0 | -15871 lb | 0 0 0.00 | 7.88/7.91 c | 7.92 | 0 | -15870 lb | 0 0 0.00 | 7.88/7.97 c | 7.97 | 0 | -15869 lb | 0 0 0.00 | 7.98/8.03 c | 8.03 | 0 | -15868 lb | 0 0 0.00 | 7.98/8.08 c | 8.09 | 0 | -15867 lb | 0 0 0.00 | 8.08/8.14 c | 8.15 | 0 | -15866 lb | 0 0 0.00 | 8.18/8.20 c | 8.21 | 0 | -15865 lb | 0 0 0.00 | 8.18/8.26 c | 8.26 | 0 | -15864 lb | 0 0 0.00 | 8.27/8.32 c | 8.32 | 0 | -15863 lb | 0 0 0.00 | 8.27/8.37 c | 8.38 | 0 | -15862 lb | 0 0 0.00 | 8.37/8.43 c | 8.44 | 0 | -15861 lb | 0 0 0.00 | 8.37/8.49 c | 8.50 | 0 | -15860 lb | 0 0 0.00 | 8.47/8.55 c | 8.55 | 0 | -15859 lb | 0 0 0.00 | 8.57/8.61 c | 8.61 | 0 | -15858 lb | 0 0 0.00 | 8.57/8.67 c | 8.67 | 0 | -15857 lb | 0 0 0.00 | 8.68/8.73 c | 8.73 | 0 | -15856 lb | 0 0 0.00 | 8.68/8.79 c | 8.79 | 0 | -15855 lb | 0 0 0.00 | 8.78/8.84 c | 8.85 | 0 | -15854 lb | 0 0 0.00 | 8.88/8.91 c | 8.91 | 0 | -15853 lb | 0 0 0.00 | 8.88/8.96 c | 8.97 | 0 | -15852 lb | 0 0 0.00 | 8.98/9.03 c | 9.03 | 0 | -15851 lb | 0 0 0.00 | 8.98/9.08 c | 9.09 | 0 | -15850 lb | 0 0 0.00 | 9.08/9.14 c | 9.15 | 0 | -15849 lb | 0 0 0.00 | 9.18/9.20 c | 9.21 | 0 | -15848 lb | 0 0 0.00 | 9.18/9.26 c | 9.27 | 0 | -15847 lb | 0 0 0.00 | 9.28/9.32 c | 9.33 | 0 | -15846 lb | 0 0 0.00 | 9.28/9.38 c | 9.39 | 0 | -15845 lb | 0 0 0.00 | 9.38/9.44 c | 9.45 | 0 | -15844 lb | 0 0 0.00 | 9.48/9.51 c | 9.51 | 0 | -15843 lb | 0 0 0.00 | 9.48/9.57 c | 9.57 | 0 | -15842 lb | 0 0 0.00 | 9.57/9.63 c | 9.63 | 0 | -15841 lb | 0 0 0.00 | 9.57/9.69 c | 9.69 | 0 | -15840 lb | 0 0 0.00 | 9.68/9.75 c | 9.76 | 0 | -15839 lb | 0 0 0.00 | 9.79/9.81 c | 9.82 | 0 | -15838 lb | 0 0 0.00 | 9.79/9.87 c | 9.88 | 0 | -15837 lb | 0 0 0.00 | 9.88/9.94 c | 9.94 | 0 | -15836 lb | 0 0 0.00 | 9.97/10.00 c | 10.00 | 0 | -15835 lb | 0 0 0.00 | 9.97/10.06 c | 10.06 | 0 | -15834 lb | 0 0 0.00 | 10.08/10.12 c | 10.13 | 0 | -15833 lb | 0 0 0.00 | 10.08/10.18 c | 10.19 | 0 | -15832 lb | 0 0 0.00 | 10.18/10.25 c | 10.25 | 0 | -15831 lb | 0 0 0.00 | 10.28/10.31 c | 10.31 | 0 | -15830 lb | 0 0 0.00 | 10.28/10.37 c | 10.38 | 0 | -15829 lb | 0 0 0.00 | 10.38/10.43 c | 10.44 | 0 | -15828 lb | 0 0 0.00 | 10.48/10.50 c | 10.50 | 0 | -15827 lb | 0 0 0.00 | 10.48/10.56 c | 10.56 | 0 | -15826 lb | 0 0 0.00 | 10.58/10.62 c | 10.63 | 0 | -15825 lb | 0 0 0.00 | 10.58/10.69 c | 10.69 | 0 | -15824 lb | 0 0 0.00 | 10.68/10.75 c | 10.75 | 0 | -15823 lb | 0 0 0.00 | 10.78/10.81 c | 10.82 | 0 | -15822 lb | 0 0 0.00 | 10.78/10.88 c | 10.88 | 0 | -15821 lb | 0 0 0.00 | 10.88/10.94 c | 10.94 | 0 | -15820 lb | 0 0 0.00 | 10.99/11.00 c | 11.01 | 0 | -15819 lb | 0 0 0.00 | 10.99/11.07 c | 11.07 | 0 | -15818 lb | 0 0 0.00 | 11.08/11.13 c | 11.14 | 0 | -15817 lb | 0 0 0.00 | 11.08/11.20 c | 11.20 | 0 | -15816 lb | 0 0 0.00 | 11.18/11.26 c | 11.27 | 0 | -15815 lb | 0 0 0.00 | 11.28/11.33 c | 11.33 | 0 | -15814 lb | 0 0 0.00 | 11.28/11.39 c | 11.39 | 0 | -15813 lb | 0 0 0.00 | 11.38/11.46 c | 11.46 | 0 | -15812 lb | 0 0 0.00 | 11.48/11.52 c | 11.52 | 0 | -15811 lb | 0 0 0.00 | 11.48/11.59 c | 11.59 | 0 | -15810 lb | 0 0 0.00 | 11.58/11.65 c | 11.65 | 0 | -15809 lb | 0 0 0.00 | 11.68/11.72 c | 11.72 | 0 | -15808 lb | 0 0 0.00 | 11.68/11.78 c | 11.78 | 0 | -15807 lb | 0 0 0.00 | 11.77/11.85 c | 11.85 | 0 | -15806 lb | 0 0 0.00 | 11.87/11.91 c | 11.92 | 0 | -15805 lb | 0 0 0.00 | 11.87/11.98 c | 11.98 | 0 | -15804 lb | 0 0 0.00 | 11.98/12.04 c | 12.05 | 0 | -15803 lb | 0 0 0.00 | 12.08/12.11 c | 12.11 | 0 | -15802 lb | 0 0 0.00 | 12.08/12.18 c | 12.18 | 0 | -15801 lb | 0 0 0.00 | 12.18/12.24 c | 12.25 | 0 | -15800 lb | 0 0 0.00 | 12.28/12.31 c | 12.32 | 0 | -15799 lb | 0 0 0.00 | 12.28/12.38 c | 12.38 | 0 | -15798 lb | 0 0 0.00 | 12.38/12.44 c | 12.45 | 0 | -15797 lb | 0 0 0.00 | 12.48/12.51 c | 12.52 | 0 | -15796 lb | 0 0 0.00 | 12.48/12.58 c | 12.58 | 0 | -15795 lb | 0 0 0.00 | 12.58/12.66 c | 12.67 | 0 | -15794 lb | 0 0 0.00 | 12.68/12.77 c | 12.77 | 0 | -15793 lb | 0 0 0.00 | 12.78/12.86 c | 12.86 | 0 | -15792 lb | 0 0 0.00 | 12.88/12.94 c | 12.95 | 0 | -15791 lb | 0 0 0.00 | 12.98/13.03 c | 13.03 | 0 | -15790 lb | 0 0 0.00 | 13.08/13.12 c | 13.13 | 0 | -15789 lb | 0 0 0.00 | 13.18/13.21 c | 13.21 | 0 | -15788 lb | 0 0 0.00 | 13.28/13.30 c | 13.30 | 0 | -15787 lb | 0 0 0.00 | 13.28/13.39 c | 13.40 | 0 | -15786 lb | 0 0 0.00 | 13.37/13.48 c | 13.49 | 0 | -15785 lb | 0 0 0.00 | 13.47/13.57 c | 13.57 | 0 | -15784 lb | 0 0 0.00 | 13.58/13.66 c | 13.66 | 0 | -15783 lb | 0 0 0.00 | 13.68/13.75 c | 13.75 | 0 | -15782 lb | 0 0 0.00 | 13.78/13.84 c | 13.84 | 0 | -15781 lb | 0 0 0.00 | 13.88/13.94 c | 13.94 | 0 | -15780 lb | 0 0 0.00 | 13.97/14.03 c | 14.03 | 0 | -15779 lb | 0 0 0.00 | 14.07/14.13 c | 14.13 | 0 | -15778 lb | 0 0 0.00 | 14.18/14.23 c | 14.23 | 0 | -15777 lb | 0 0 0.00 | 14.28/14.32 c | 14.33 | 0 | -15776 lb | 0 0 0.00 | 14.38/14.42 c | 14.43 | 0 | -15775 lb | 0 0 0.00 | 14.48/14.52 c | 14.53 | 0 | -15774 lb | 0 0 0.00 | 14.58/14.62 c | 14.63 | 0 | -15773 lb | 0 0 0.00 | 14.68/14.73 c | 14.73 | 0 | -15772 lb | 0 0 0.00 | 14.77/14.82 c | 14.82 | 0 | -15771 lb | 0 0 0.00 | 14.87/14.92 c | 14.92 | 0 | -15770 lb | 0 0 0.00 | 14.97/15.01 c | 15.01 | 0 | -15769 lb | 0 0 0.00 | 15.07/15.10 c | 15.10 | 0 | -15768 lb | 0 0 0.00 | 15.07/15.19 c | 15.20 | 0 | -15767 lb | 0 0 0.00 | 15.18/15.28 c | 15.29 | 0 | -15766 lb | 0 0 0.00 | 15.29/15.38 c | 15.39 | 0 | -15765 lb | 0 0 0.00 | 15.39/15.48 c | 15.48 | 0 | -15764 lb | 0 0 0.00 | 15.48/15.57 c | 15.57 | 0 | -15763 lb | 0 0 0.00 | 15.58/15.66 c | 15.66 | 0 | -15762 lb | 0 0 0.00 | 15.68/15.76 c | 15.76 | 0 | -15761 lb | 0 0 0.00 | 15.78/15.86 c | 15.86 | 0 | -15760 lb | 0 0 0.00 | 15.88/15.96 c | 15.96 | 0 | -15759 lb | 0 0 0.00 | 15.98/16.06 c | 16.06 | 0 | -15758 lb | 0 0 0.00 | 16.08/16.16 c | 16.16 | 0 | -15757 lb | 0 0 0.00 | 16.18/16.26 c | 16.26 | 0 | -15756 lb | 0 0 0.00 | 16.28/16.36 c | 16.36 | 0 | -15755 lb | 0 0 0.00 | 16.38/16.47 c | 16.47 | 0 | -15754 lb | 0 0 0.00 | 16.48/16.56 c | 16.56 | 0 | -15753 lb | 0 0 0.00 | 16.57/16.65 c | 16.66 | 0 | -15752 lb | 0 0 0.00 | 16.67/16.74 c | 16.75 | 0 | -15751 lb | 0 0 0.00 | 16.77/16.84 c | 16.85 | 0 | -15750 lb | 0 0 0.00 | 16.87/16.94 c | 16.94 | 0 | -15749 lb | 0 0 0.00 | 16.98/17.03 c | 17.03 | 0 | -15748 lb | 0 0 0.00 | 17.08/17.13 c | 17.13 | 0 | -15747 lb | 0 0 0.00 | 17.18/17.22 c | 17.23 | 0 | -15746 lb | 0 0 0.00 | 17.28/17.32 c | 17.32 | 0 | -15745 lb | 0 0 0.00 | 17.38/17.41 c | 17.41 | 0 | -15744 lb | 0 0 0.00 | 17.48/17.51 c | 17.52 | 0 | -15743 lb | 0 0 0.00 | 17.58/17.60 c | 17.61 | 0 | -15742 lb | 0 0 0.00 | 17.67/17.70 c | 17.70 | 0 | -15741 lb | 0 0 0.00 | 17.77/17.80 c | 17.81 | 0 | -15740 lb | 0 0 0.00 | 17.88/17.90 c | 17.91 | 0 | -15739 lb | 0 0 0.00 | 17.98/18.00 c | 18.00 | 0 | -15738 lb | 0 0 0.00 | 17.98/18.09 c | 18.10 | 0 | -15737 lb | 0 0 0.00 | 18.08/18.19 c | 18.20 | 0 | -15736 lb | 0 0 0.00 | 18.18/18.29 c | 18.30 | 0 | -15735 lb | 0 0 0.00 | 18.28/18.39 c | 18.39 | 0 | -15734 lb | 0 0 0.00 | 18.38/18.49 c | 18.49 | 0 | -15733 lb | 0 0 0.00 | 18.48/18.59 c | 18.59 | 0 | -15732 lb | 0 0 0.00 | 18.58/18.68 c | 18.69 | 0 | -15731 lb | 0 0 0.00 | 18.68/18.78 c | 18.78 | 0 | -15730 lb | 0 0 0.00 | 18.78/18.88 c | 18.89 | 0 | -15729 lb | 0 0 0.00 | 18.88/18.98 c | 18.98 | 0 | -15728 lb | 0 0 0.00 | 18.98/19.07 c | 19.08 | 0 | -15727 lb | 0 0 0.00 | 19.08/19.17 c | 19.18 | 0 | -15726 lb | 0 0 0.00 | 19.18/19.27 c | 19.28 | 0 | -15725 lb | 0 0 0.00 | 19.28/19.37 c | 19.37 | 0 | -15724 lb | 0 0 0.00 | 19.38/19.47 c | 19.47 | 0 | -15723 lb | 0 0 0.00 | 19.48/19.57 c | 19.58 | 0 | -15722 lb | 0 0 0.00 | 19.58/19.67 c | 19.67 | 0 | -15721 lb | 0 0 0.00 | 19.68/19.77 c | 19.77 | 0 | -15720 lb | 0 0 0.00 | 19.78/19.86 c | 19.87 | 0 | -15719 lb | 0 0 0.00 | 19.87/19.97 c | 19.97 | 0 | -15718 lb | 0 0 0.00 | 19.97/20.07 c | 20.07 | 0 | -15717 lb | 0 0 0.00 | 20.08/20.17 c | 20.17 | 0 | -15716 lb | 0 0 0.00 | 20.18/20.27 c | 20.28 | 0 | -15715 lb | 0 0 0.00 | 20.28/20.37 c | 20.38 | 0 | -15714 lb | 0 0 0.00 | 20.38/20.47 c | 20.48 | 0 | -15713 lb | 0 0 0.00 | 20.48/20.57 c | 20.57 | 0 | -15712 lb | 0 0 0.00 | 20.58/20.68 c | 20.68 | 0 | -15711 lb | 0 0 0.00 | 20.67/20.78 c | 20.78 | 0 | -15710 lb | 0 0 0.00 | 20.78/20.87 c | 20.88 | 0 | -15709 lb | 0 0 0.00 | 20.88/20.97 c | 20.98 | 0 | -15708 lb | 0 0 0.00 | 20.97/21.08 c | 21.08 | 0 | -15707 lb | 0 0 0.00 | 21.07/21.18 c | 21.18 | 0 | -15706 lb | 0 0 0.00 | 21.17/21.28 c | 21.28 | 0 | -15705 lb | 0 0 0.00 | 21.27/21.38 c | 21.39 | 0 | -15704 lb | 0 0 0.00 | 21.37/21.48 c | 21.49 | 0 | -15703 lb | 0 0 0.00 | 21.47/21.58 c | 21.59 | 0 | -15702 lb | 0 0 0.00 | 21.57/21.68 c | 21.69 | 0 | -15701 lb | 0 0 0.00 | 21.68/21.79 c | 21.80 | 0 | -15700 lb | 0 0 0.00 | 21.78/21.90 c | 21.90 | 0 | -15699 lb | 0 0 0.00 | 21.98/22.00 c | 22.01 | 0 | -15698 lb | 0 0 0.00 | 22.08/22.11 c | 22.12 | 0 | -15697 lb | 0 0 0.00 | 22.18/22.22 c | 22.23 | 0 | -15696 lb | 0 0 0.00 | 22.28/22.33 c | 22.34 | 0 | -15695 lb | 0 0 0.00 | 22.37/22.44 c | 22.45 | 0 | -15694 lb | 0 0 0.00 | 22.47/22.55 c | 22.56 | 0 | -15693 lb | 0 0 0.00 | 22.57/22.66 c | 22.66 | 0 | -15692 lb | 0 0 0.00 | 22.67/22.76 c | 22.76 | 0 | -15691 lb | 0 0 0.00 | 22.78/22.86 c | 22.87 | 0 | -15690 lb | 0 0 0.00 | 22.88/22.97 c | 22.97 | 0 | -15689 lb | 0 0 0.00 | 22.98/23.07 c | 23.07 | 0 | -15688 lb | 0 0 0.00 | 23.08/23.17 c | 23.18 | 0 | -15687 lb | 0 0 0.00 | 23.18/23.28 c | 23.29 | 0 | -15686 lb | 0 0 0.00 | 23.27/23.38 c | 23.39 | 0 | -15685 lb | 0 0 0.00 | 23.37/23.49 c | 23.49 | 0 | -15684 lb | 0 0 0.00 | 23.47/23.59 c | 23.59 | 0 | -15683 lb | 0 0 0.00 | 23.57/23.69 c | 23.70 | 0 | -15682 lb | 0 0 0.00 | 23.77/23.80 c | 23.80 | 0 | -15681 lb | 0 0 0.00 | 23.88/23.90 c | 23.90 | 0 | -15680 lb | 0 0 0.00 | 23.98/24.01 c | 24.01 | 0 | -15679 lb | 0 0 0.00 | 24.09/24.11 c | 24.11 | 0 | -15678 lb | 0 0 0.00 | 24.19/24.21 c | 24.22 | 0 | -15677 lb | 0 0 0.00 | 24.28/24.32 c | 24.32 | 0 | -15676 lb | 0 0 0.00 | 24.38/24.43 c | 24.43 | 0 | -15675 lb | 0 0 0.00 | 24.48/24.53 c | 24.54 | 0 | -15674 lb | 0 0 0.00 | 24.58/24.63 c | 24.64 | 0 | -15673 lb | 0 0 0.00 | 24.68/24.74 c | 24.75 | 0 | -15672 lb | 0 0 0.00 | 24.78/24.85 c | 24.85 | 0 | -15671 lb | 0 0 0.00 | 24.88/24.95 c | 24.96 | 0 | -15670 lb | 0 0 0.00 | 24.97/25.06 c | 25.07 | 0 | -15669 lb | 0 0 0.00 | 25.07/25.17 c | 25.17 | 0 | -15668 lb | 0 0 0.00 | 25.18/25.27 c | 25.28 | 0 | -15667 lb | 0 0 0.00 | 25.28/25.38 c | 25.38 | 0 | -15666 lb | 0 0 0.00 | 25.37/25.48 c | 25.49 | 0 | -15665 lb | 0 0 0.00 | 25.47/25.59 c | 25.59 | 0 | -15664 lb | 0 0 0.00 | 25.67/25.70 c | 25.70 | 0 | -15663 lb | 0 0 0.00 | 25.77/25.80 c | 25.80 | 0 | -15662 lb | 0 0 0.00 | 25.87/25.91 c | 25.92 | 0 | -15661 lb | 0 0 0.00 | 25.97/26.02 c | 26.02 | 0 | -15660 lb | 0 0 0.00 | 26.08/26.12 c | 26.13 | 0 | -15659 lb | 0 0 0.00 | 26.18/26.24 c | 26.24 | 0 | -15658 lb | 0 0 0.00 | 26.28/26.34 c | 26.35 | 0 | -15657 lb | 0 0 0.00 | 26.38/26.45 c | 26.45 | 0 | -15656 lb | 0 0 0.00 | 26.47/26.56 c | 26.57 | 0 | -15655 lb | 0 0 0.00 | 26.57/26.67 c | 26.68 | 0 | -15654 lb | 0 0 0.00 | 26.67/26.78 c | 26.78 | 0 | -15653 lb | 0 0 0.00 | 26.77/26.89 c | 26.89 | 0 | -15652 lb | 0 0 0.00 | 26.97/27.00 c | 27.00 | 0 | -15651 lb | 0 0 0.00 | 27.07/27.11 c | 27.11 | 0 | -15650 lb | 0 0 0.00 | 27.17/27.22 c | 27.22 | 0 | -15649 lb | 0 0 0.00 | 27.28/27.32 c | 27.33 | 0 | -15648 lb | 0 0 0.00 | 27.38/27.44 c | 27.44 | 0 | -15647 lb | 0 0 0.00 | 27.48/27.54 c | 27.55 | 0 | -15646 lb | 0 0 0.00 | 27.58/27.65 c | 27.66 | 0 | -15645 lb | 0 0 0.00 | 27.68/27.76 c | 27.77 | 0 | -15644 lb | 0 0 0.00 | 27.78/27.88 c | 27.88 | 0 | -15643 lb | 0 0 0.00 | 27.88/27.98 c | 27.99 | 0 | -15642 lb | 0 0 0.00 | 27.97/28.10 c | 28.10 | 0 | -15641 lb | 0 0 0.00 | 28.17/28.21 c | 28.21 | 0 | -15640 lb | 0 0 0.00 | 28.27/28.32 c | 28.32 | 0 | -15639 lb | 0 0 0.00 | 28.37/28.43 c | 28.43 | 0 | -15638 lb | 0 0 0.00 | 28.48/28.54 c | 28.54 | 0 | -15637 lb | 0 0 0.00 | 28.58/28.65 c | 28.66 | 0 | -15636 lb | 0 0 0.00 | 28.67/28.76 c | 28.77 | 0 | -15635 lb | 0 0 0.00 | 28.78/28.88 c | 28.88 | 0 | -15634 lb | 0 0 0.00 | 28.88/28.99 c | 29.00 | 0 | -15633 lb | 0 0 0.00 | 29.07/29.11 c | 29.11 | 0 | -15632 lb | 0 0 0.00 | 29.17/29.22 c | 29.22 | 0 | -15631 lb | 0 0 0.00 | 29.27/29.33 c | 29.33 | 0 | -15630 lb | 0 0 0.00 | 29.37/29.44 c | 29.45 | 0 | -15629 lb | 0 0 0.00 | 29.47/29.55 c | 29.56 | 0 | -15628 lb | 0 0 0.00 | 29.58/29.67 c | 29.67 | 0 | -15627 lb | 0 0 0.00 | 29.68/29.78 c | 29.78 | 0 | -15626 lb | 0 0 0.00 | 29.87/29.90 c | 29.90 | 0 | -15625 lb | 0 0 0.00 | 29.97/30.01 c | 30.01 | 0 | -15624 lb | 0 0 0.00 | 30.07/30.12 c | 30.12 | 0 | -15623 lb | 0 0 0.00 | 30.17/30.24 c | 30.24 | 0 | -15622 lb | 0 0 0.00 | 30.27/30.35 c | 30.35 | 0 | -15621 lb | 0 0 0.00 | 30.37/30.46 c | 30.47 | 0 | -15620 lb | 0 0 0.00 | 30.47/30.57 c | 30.58 | 0 | -15619 lb | 0 0 0.00 | 30.57/30.69 c | 30.69 | 0 | -15618 lb | 0 0 0.00 | 30.78/30.80 c | 30.81 | 0 | -15617 lb | 0 0 0.00 | 30.87/30.92 c | 30.92 | 0 | -15616 lb | 0 0 0.00 | 30.97/31.03 c | 31.04 | 0 | -15615 lb | 0 0 0.00 | 31.08/31.15 c | 31.15 | 0 | -15614 lb | 0 0 0.00 | 31.18/31.26 c | 31.27 | 0 | -15613 lb | 0 0 0.00 | 31.28/31.38 c | 31.38 | 0 | -15612 lb | 0 0 0.00 | 31.48/31.50 c | 31.50 | 0 | -15611 lb | 0 0 0.00 | 31.57/31.62 c | 31.62 | 0 | -15610 lb | 0 0 0.00 | 31.67/31.73 c | 31.73 | 0 | -15609 lb | 0 0 0.00 | 31.78/31.85 c | 31.86 | 0 | -15608 lb | 0 0 0.00 | 31.88/31.97 c | 31.97 | 0 | -15607 lb | 0 0 0.00 | 31.98/32.08 c | 32.09 | 0 | -15606 lb | 0 0 0.00 | 32.18/32.20 c | 32.20 | 0 | -15605 lb | 0 0 0.00 | 32.28/32.32 c | 32.33 | 0 | -15604 lb | 0 0 0.00 | 32.38/32.44 c | 32.44 | 0 | -15603 lb | 0 0 0.00 | 32.47/32.56 c | 32.56 | 0 | -15602 lb | 0 0 0.00 | 32.57/32.68 c | 32.68 | 0 | -15601 lb | 0 0 0.00 | 32.77/32.81 c | 32.81 | 0 | -15600 lb | 0 0 0.00 | 32.88/32.93 c | 32.93 | 0 | -15599 lb | 0 0 0.00 | 32.97/33.04 c | 33.05 | 0 | -15598 lb | 0 0 0.00 | 33.08/33.17 c | 33.17 | 0 | -15597 lb | 0 0 0.00 | 33.18/33.28 c | 33.29 | 0 | -15596 lb | 0 0 0.00 | 33.37/33.40 c | 33.41 | 0 | -15595 lb | 0 0 0.00 | 33.47/33.52 c | 33.53 | 0 | -15594 lb | 0 0 0.00 | 33.57/33.65 c | 33.65 | 0 | -15593 lb | 0 0 0.00 | 33.67/33.76 c | 33.77 | 0 | -15592 lb | 0 0 0.00 | 33.77/33.88 c | 33.89 | 0 | -15591 lb | 0 0 0.00 | 33.98/34.01 c | 34.01 | 0 | -15590 lb | 0 0 0.00 | 34.08/34.13 c | 34.13 | 0 | -15589 lb | 0 0 0.00 | 34.17/34.25 c | 34.25 | 0 | -15588 lb | 0 0 0.00 | 34.27/34.37 c | 34.37 | 0 | -15587 lb | 0 0 0.00 | 34.37/34.49 c | 34.50 | 0 | -15586 lb | 0 0 0.00 | 34.57/34.61 c | 34.62 | 0 | -15585 lb | 0 0 0.00 | 34.67/34.74 c | 34.74 | 0 | -15584 lb | 0 0 0.00 | 34.77/34.86 c | 34.86 | 0 | -15583 lb | 0 0 0.00 | 34.98/35.00 c | 35.00 | 0 | -15582 lb | 0 0 0.00 | 35.08/35.13 c | 35.14 | 0 | -15581 lb | 0 0 0.00 | 35.27/35.30 c | 35.30 | 0 | -15580 lb | 0 0 0.00 | 35.37/35.42 c | 35.42 | 0 | -15579 lb | 0 0 0.00 | 35.47/35.55 c | 35.55 | 0 | -15578 lb | 0 0 0.00 | 35.57/35.67 c | 35.67 | 0 | -15577 lb | 0 0 0.00 | 35.67/35.79 c | 35.79 | 0 | -15576 lb | 0 0 0.00 | 35.87/35.91 c | 35.92 | 0 | -15575 lb | 0 0 0.00 | 35.97/36.05 c | 36.05 | 0 | -15574 lb | 0 0 0.00 | 36.07/36.20 c | 36.20 | 0 | -15573 lb | 0 0 0.00 | 36.28/36.39 c | 36.39 | 0 | -15572 lb | 0 0 0.00 | 36.48/36.59 c | 36.60 | 0 | -15571 lb | 0 0 0.00 | 36.77/36.83 c | 36.83 | 0 | -15570 lb | 0 0 0.00 | 36.87/36.98 c | 36.98 | 0 | -15569 lb | 0 0 0.00 | 37.07/37.14 c | 37.14 | 0 | -15568 lb | 0 0 0.00 | 37.17/37.27 c | 37.28 | 0 | -15567 lb | 0 0 0.00 | 37.28/37.39 c | 37.40 | 0 | -15566 lb | 0 0 0.00 | 37.47/37.52 c | 37.53 | 0 | -15565 lb | 0 0 0.00 | 37.57/37.64 c | 37.65 | 0 | -15564 lb | 0 0 0.00 | 37.67/37.77 c | 37.77 | 0 | -15563 lb | 0 0 0.00 | 37.77/37.89 c | 37.90 | 0 | -15562 lb | 0 0 0.00 | 37.97/38.02 c | 38.02 | 0 | -15561 lb | 0 0 0.00 | 38.07/38.14 c | 38.14 | 0 | -15560 lb | 0 0 0.00 | 38.17/38.27 c | 38.27 | 0 | -15559 lb | 0 0 0.00 | 38.27/38.40 c | 38.40 | 0 | -15558 lb | 0 0 0.00 | 38.48/38.52 c | 38.52 | 0 | -15557 lb | 0 0 0.00 | 38.58/38.65 c | 38.65 | 0 | -15556 lb | 0 0 0.00 | 38.68/38.77 c | 38.77 | 0 | -15555 lb | 0 0 0.00 | 38.88/38.91 c | 38.91 | 0 | -15554 lb | 0 0 0.00 | 38.98/39.06 c | 39.06 | 0 | -15553 lb | 0 0 0.00 | 39.18/39.24 c | 39.24 | 0 | -15552 lb | 0 0 0.00 | 39.38/39.45 c | 39.45 | 0 | -15551 lb | 0 0 0.00 | 39.58/39.68 c | 39.69 | 0 | -15550 lb | 0 0 0.00 | 39.77/39.82 c | 39.83 | 0 | -15549 lb | 0 0 0.00 | 39.87/39.98 c | 39.98 | 0 | -15548 lb | 0 0 0.00 | 40.07/40.11 c | 40.12 | 0 | -15547 lb | 0 0 0.00 | 40.17/40.26 c | 40.27 | 0 | -15546 lb | 0 0 0.00 | 40.37/40.45 c | 40.45 | 0 | -15545 lb | 0 0 0.00 | 40.47/40.58 c | 40.58 | 0 | -15544 lb | 0 0 0.00 | 40.68/40.71 c | 40.71 | 0 | -15543 lb | 0 0 0.00 | 40.77/40.84 c | 40.84 | 0 | -15542 lb | 0 0 0.00 | 40.87/40.97 c | 40.97 | 0 | -15541 lb | 0 0 0.00 | 41.07/41.11 c | 41.11 | 0 | -15540 lb | 0 0 0.00 | 41.17/41.26 c | 41.27 | 0 | -15539 lb | 0 0 0.00 | 41.37/41.44 c | 41.45 | 0 | -15538 lb | 0 0 0.00 | 41.67/41.76 c | 41.77 | 0 | -15537 lb | 0 0 0.00 | 41.97/42.03 c | 42.04 | 0 | -15536 lb | 0 0 0.00 | 42.37/42.40 c | 42.41 | 0 | -15535 lb | 0 0 0.00 | 42.47/42.54 c | 42.55 | 0 | -15534 lb | 0 0 0.00 | 42.57/42.69 c | 42.69 | 0 | -15533 lb | 0 0 0.00 | 42.78/42.84 c | 42.84 | 0 | -15532 lb | 0 0 0.00 | 42.88/42.98 c | 42.98 | 0 | -15531 lb | 0 0 0.00 | 43.07/43.13 c | 43.14 | 0 | -15530 lb | 0 0 0.00 | 43.27/43.32 c | 43.33 | 0 | -15529 lb | 0 0 0.00 | 43.47/43.54 c | 43.55 | 0 | -15528 lb | 0 0 0.00 | 43.77/43.80 c | 43.80 | 0 | -15527 lb | 0 0 0.00 | 44.07/44.15 c | 44.16 | 0 | -15526 lb | 0 0 0.00 | 44.57/44.60 c | 44.60 | 0 | -15525 lb | 0 0 0.00 | 44.87/44.92 c | 44.92 | 0 | -15524 lb | 0 0 0.00 | 44.98/45.06 c | 45.06 | 0 | -15523 lb | 0 0 0.00 | 45.27/45.31 c | 45.31 | 0 | -15522 lb | 0 0 0.00 | 45.47/45.53 c | 45.53 | 0 | -15521 lb | 0 0 0.00 | 45.57/45.66 c | 45.67 | 0 | -15520 lb | 0 0 0.00 | 45.77/45.80 c | 45.80 | 0 | -15519 lb | 0 0 0.00 | 45.87/45.96 c | 45.96 | 0 | -15518 lb | 0 0 0.00 | 46.08/46.16 c | 46.16 | 0 | -15517 lb | 0 0 0.00 | 46.18/46.29 c | 46.30 | 0 | -15516 lb | 0 0 0.00 | 46.37/46.45 c | 46.45 | 0 | -15515 lb | 0 0 0.00 | 46.47/46.58 c | 46.59 | 0 | -15514 lb | 0 0 0.00 | 46.67/46.72 c | 46.72 | 0 | -15513 lb | 0 0 0.00 | 46.77/46.87 c | 46.88 | 0 | -15512 lb | 0 0 0.00 | 46.97/47.01 c | 47.01 | 0 | -15511 lb | 0 0 0.00 | 47.07/47.15 c | 47.15 | 0 | -15510 lb | 0 0 0.00 | 47.17/47.28 c | 47.29 | 0 | -15509 lb | 0 0 0.00 | 47.37/47.44 c | 47.44 | 0 | -15508 lb | 0 0 0.00 | 47.47/47.57 c | 47.58 | 0 | -15507 lb | 0 0 0.00 | 47.67/47.70 c | 47.71 | 0 | -15506 lb | 0 0 0.00 | 47.77/47.84 c | 47.84 | 0 | -15505 lb | 0 0 0.00 | 47.87/47.97 c | 47.98 | 0 | -15504 lb | 0 0 0.00 | 48.07/48.11 c | 48.12 | 0 | -15503 lb | 0 0 0.00 | 48.47/48.53 c | 48.53 | 0 | -15502 lb | 0 0 0.00 | 48.77/48.83 c | 48.83 | 0 | -15501 lb | 0 0 0.00 | 49.16/49.23 c | 49.23 | 0 | -15500 lb | 0 0 0.00 | 49.47/49.59 c | 49.60 | 0 | -15499 lb | 0 0 0.00 | 49.87/49.97 c | 49.98 | 0 | -15498 lb | 0 0 0.00 | 50.17/50.24 c | 50.24 | 0 | -15497 lb | 0 0 0.00 | 50.37/50.50 c | 50.50 | 0 | -15496 lb | 0 0 0.00 | 50.87/50.90 c | 50.91 | 0 | -15495 lb | 0 0 0.00 | 51.17/51.24 c | 51.25 | 0 | -15494 lb | 0 0 0.00 | 51.68/51.74 c | 51.75 | 0 | -15493 lb | 0 0 0.00 | 51.87/51.97 c | 51.97 | 0 | -15492 lb | 0 0 0.00 | 52.27/52.31 c | 52.31 | 0 | -15491 lb | 0 0 0.00 | 52.47/52.57 c | 52.58 | 0 | -15490 lb | 0 0 0.00 | 52.77/52.89 c | 52.90 | 0 | -15489 lb | 0 0 0.00 | 53.16/53.24 c | 53.25 | 0 | -15488 lb | 0 0 0.00 | 53.46/53.52 c | 53.52 | 0 | -15487 lb | 0 0 0.00 | 53.96/54.05 c | 54.06 | 0 | -15486 lb | 0 0 0.00 | 54.57/54.66 c | 54.66 | 0 | -15485 lb | 0 0 0.00 | 54.98/55.00 c | 55.01 | 0 | -15484 lb | 0 0 0.00 | 55.27/55.39 c | 55.39 | 0 | -15483 lb | 0 0 0.00 | 55.47/55.55 c | 55.56 | 0 | -15482 lb | 0 0 0.00 | 55.87/55.93 c | 55.93 | 0 | -15481 lb | 0 0 0.00 | 56.17/56.29 c | 56.30 | 0 | -15480 lb | 0 0 0.00 | 56.67/56.77 c | 56.78 | 0 | -15479 lb | 0 0 0.00 | 57.07/57.16 c | 57.16 | 0 | -15478 lb | 0 0 0.00 | 57.37/57.43 c | 57.44 | 0 | -15477 lb | 0 0 0.00 | 57.86/57.96 c | 57.96 | 0 | -15476 lb | 0 0 0.00 | 58.37/58.47 c | 58.47 | 0 | -15475 lb | 0 0 0.00 | 58.67/58.72 c | 58.73 | 0 | -15474 lb | 0 0 0.00 | 58.87/58.97 c | 58.97 | 0 | -15473 lb | 0 0 0.00 | 59.07/59.13 c | 59.14 | 0 | -15472 lb | 0 0 0.00 | 59.27/59.36 c | 59.37 | 0 | -15471 lb | 0 0 0.00 | 59.47/59.56 c | 59.56 | 0 | -15470 lb | 0 0 0.00 | 59.67/59.79 c | 59.79 | 0 | -15469 lb | 0 0 0.00 | 59.96/60.07 c | 60.07 | 0 | -15468 lb | 0 0 0.00 | 60.37/60.46 c | 60.47 | 0 | -15467 lb | 0 0 0.00 | 60.76/60.82 c | 60.82 | 0 | -15466 lb | 0 0 0.00 | 61.16/61.24 c | 61.24 | 0 | -15465 lb | 0 0 0.00 | 63.16/63.26 c | 63.27 | 0 | -15464 lb | 0 0 0.00 | 63.56/63.64 c | 63.64 | 0 | -15463 lb | 0 0 0.00 | 63.77/63.80 c | 63.81 | 0 | -15462 lb | 0 0 0.00 | 63.96/64.03 c | 64.03 | 0 | -15461 lb | 0 0 0.00 | 64.27/64.31 c | 64.32 | 0 | -15460 lb | 0 0 0.00 | 64.57/64.63 c | 64.63 | 0 | -15459 lb | 0 0 0.00 | 64.78/64.82 c | 64.83 | 0 | -15458 lb | 0 0 0.00 | 64.88/64.99 c | 65.00 | 0 | -15457 lb | 0 0 0.00 | 65.17/65.20 c | 65.20 | 0 | -15456 lb | 0 0 0.00 | 65.27/65.39 c | 65.40 | 0 | -15455 lb | 0 0 0.00 | 65.47/65.57 c | 65.57 | 0 | -15454 lb | 0 0 0.00 | 65.77/65.87 c | 65.87 | 0 | -15453 lb | 0 0 0.00 | 65.97/66.06 c | 66.06 | 0 | -15452 lb | 0 0 0.00 | 66.27/66.35 c | 66.35 | 0 | -15451 lb | 0 0 0.00 | 66.67/66.74 c | 66.75 | 0 | -15450 lb | 0 0 0.00 | 66.87/67.00 c | 67.00 | 0 | -15449 lb | 0 0 0.00 | 67.07/67.15 c | 67.15 | 0 | -15448 lb | 0 0 0.00 | 67.26/67.32 c | 67.32 | 0 | -15447 lb | 0 0 0.00 | 67.36/67.49 c | 67.49 | 0 | -15446 lb | 0 0 0.00 | 67.67/67.71 c | 67.71 | 0 | -15445 lb | 0 0 0.00 | 67.87/67.91 c | 67.91 | 0 | -15444 lb | 0 0 0.00 | 68.17/68.21 c | 68.22 | 0 | -15443 lb | 0 0 0.00 | 68.46/68.59 c | 68.59 | 0 | -15442 lb | 0 0 0.00 | 68.66/68.77 c | 68.77 | 0 | -15441 lb | 0 0 0.00 | 68.96/69.00 c | 69.00 | 0 | -15440 lb | 0 0 0.00 | 69.27/69.30 c | 69.31 | 0 | -15439 lb | 0 0 0.00 | 69.56/69.66 c | 69.66 | 0 | -15438 lb | 0 0 0.00 | 69.96/70.02 c | 70.03 | 0 | -15437 lb | 0 0 0.00 | 70.27/70.33 c | 70.34 | 0 | -15436 lb | 0 0 0.00 | 70.66/70.72 c | 70.72 | 0 | -15435 lb | 0 0 0.00 | 70.96/71.04 c | 71.04 | 0 | -15434 lb | 0 0 0.00 | 71.47/71.58 c | 71.58 | 0 | -15433 lb | 0 0 0.00 | 71.76/71.84 c | 71.84 | 0 | -15432 lb | 0 0 0.00 | 72.47/72.54 c | 72.55 | 0 | -15431 lb | 0 0 0.00 | 72.67/72.77 c | 72.77 | 0 | -15430 lb | 0 0 0.00 | 73.07/73.13 c | 73.13 | 0 | -15429 lb | 0 0 0.00 | 73.37/73.48 c | 73.48 | 0 | -15428 lb | 0 0 0.00 | 73.67/73.76 c | 73.76 | 0 | -15427 lb | 0 0 0.00 | 74.06/74.15 c | 74.15 | 0 | -15426 lb | 0 0 0.00 | 74.36/74.49 c | 74.49 | 0 | -15425 lb | 0 0 0.00 | 74.67/74.76 c | 74.77 | 0 | -15424 lb | 0 0 0.00 | 75.06/75.19 c | 75.20 | 0 | -15423 lb | 0 0 0.00 | 75.46/75.52 c | 75.53 | 0 | -15422 lb | 0 0 0.00 | 75.66/75.75 c | 75.76 | 0 | -15421 lb | 0 0 0.00 | 75.86/75.93 c | 75.93 | 0 | -15420 lb | 0 0 0.00 | 76.06/76.12 c | 76.12 | 0 | -15419 lb | 0 0 0.00 | 76.16/76.28 c | 76.28 | 0 | -15418 lb | 0 0 0.00 | 76.36/76.43 c | 76.43 | 0 | -15417 lb | 0 0 0.00 | 76.67/76.78 c | 76.78 | 0 | -15416 lb | 0 0 0.00 | 76.87/76.95 c | 76.95 | 0 | -15415 lb | 0 0 0.00 | 77.06/77.15 c | 77.16 | 0 | -15414 lb | 0 0 0.00 | 77.26/77.33 c | 77.33 | 0 | -15413 lb | 0 0 0.00 | 77.36/77.49 c | 77.49 | 0 | -15412 lb | 0 0 0.00 | 77.56/77.65 c | 77.65 | 0 | -15411 lb | 0 0 0.00 | 77.76/77.85 c | 77.85 | 0 | -15410 lb | 0 0 0.00 | 77.97/78.01 c | 78.01 | 0 | -15409 lb | 0 0 0.00 | 78.07/78.17 c | 78.17 | 0 | -15408 lb | 0 0 0.00 | 79.26/79.39 c | 79.39 | 0 | -15407 lb | 0 0 0.00 | 79.66/79.78 c | 79.79 | 0 | -15406 lb | 0 0 0.00 | 79.86/79.97 c | 79.97 | 0 | -15405 lb | 0 0 0.00 | 80.16/80.24 c | 80.25 | 0 | -15404 lb | 0 0 0.00 | 80.36/80.50 c | 80.50 | 0 | -15403 lb | 0 0 0.00 | 80.67/80.74 c | 80.75 | 0 | -15402 lb | 0 0 0.00 | 80.97/81.08 c | 81.08 | 0 | -15401 lb | 0 0 0.00 | 81.27/81.37 c | 81.38 | 0 | -15400 lb | 0 0 0.00 | 81.86/81.94 c | 81.94 | 0 | -15399 lb | 0 0 0.00 | 82.16/82.24 c | 82.24 | 0 | -15398 lb | 0 0 0.00 | 82.47/82.57 c | 82.58 | 0 | -15397 lb | 0 0 0.00 | 82.76/82.85 c | 82.86 | 0 | -15396 lb | 0 0 0.00 | 83.06/83.15 c | 83.15 | 0 | -15395 lb | 0 0 0.00 | 83.26/83.36 c | 83.37 | 0 | -15394 lb | 0 0 0.00 | 83.66/83.78 c | 83.78 | 0 | -15393 lb | 0 0 0.00 | 97.95/98.09 c | 98.09 | 0 | -15392 lb | 0 0 0.00 | 98.26/98.36 c | 98.36 | 0 | -15391 lb | 0 0 0.00 | 98.46/98.50 c | 98.50 | 0 | -15390 lb | 0 0 0.00 | 98.66/98.77 c | 98.77 | 0 | -15389 lb | 0 0 0.00 | 98.96/99.01 c | 99.01 | 0 | -15388 lb | 0 0 0.00 | 99.35/99.44 c | 99.44 | 0 | -15387 lb | 0 0 0.00 | 99.55/99.62 c | 99.62 | 0 | -15386 lb | 0 0 0.00 | 99.85/99.92 c | 99.93 | 0 | -15385 lb | 0 0 0.00 | 100.15/100.22 c | 100.22 | 0 | -15384 lb | 0 0 0.00 | 100.56/100.61 c | 100.61 | 0 | -15383 lb | 0 0 0.00 | 100.86/100.91 c | 100.91 | 0 | -15382 lb | 0 0 0.00 | 101.16/101.28 c | 101.28 | 0 | -15381 lb | 0 0 0.00 | 101.66/101.73 c | 101.74 | 0 | -15380 lb | 0 0 0.00 | 101.85/101.92 c | 101.93 | 0 | -15379 lb | 0 0 0.00 | 102.16/102.29 c | 102.29 | 0 | -15378 lb | 0 0 0.00 | 102.46/102.58 c | 102.58 | 0 | -15377 lb | 0 0 0.00 | 102.76/102.80 c | 102.80 | 0 | -15376 lb | 0 0 0.00 | 103.26/103.32 c | 103.32 | 0 | -15375 lb | 0 0 0.00 | 103.36/103.47 c | 103.47 | 0 | -15374 lb | 0 0 0.00 | 103.65/103.70 c | 103.71 | 0 | -15373 lb | 0 0 0.00 | 103.85/103.96 c | 103.97 | 0 | -15372 lb | 0 0 0.00 | 104.06/104.18 c | 104.18 | 0 | -15371 lb | 0 0 0.00 | 104.47/104.59 c | 104.59 | 0 | -15370 lb | 0 0 0.00 | 104.76/104.86 c | 104.86 | 0 | -15369 lb | 0 0 0.00 | 104.96/105.05 c | 105.06 | 0 | -15368 lb | 0 0 0.00 | 105.26/105.30 c | 105.31 | 0 | -15367 lb | 0 0 0.00 | 105.46/105.51 c | 105.51 | 0 | -15366 lb | 0 0 0.00 | 105.65/105.72 c | 105.72 | 0 | -15365 lb | 0 0 0.00 | 106.05/106.12 c | 106.12 | 0 | -15364 lb | 0 0 0.00 | 106.36/106.48 c | 106.48 | 0 | -15363 lb | 0 0 0.00 | 106.86/106.96 c | 106.97 | 0 | -15362 lb | 0 0 0.00 | 107.15/107.21 c | 107.21 | 0 | -15361 lb | 0 0 0.00 | 107.25/107.36 c | 107.36 | 0 | -15360 lb | 0 0 0.00 | 107.76/107.87 c | 107.87 | 0 | -15359 lb | 0 0 0.00 | 107.95/108.06 c | 108.07 | 0 | -15358 lb | 0 0 0.00 | 108.25/108.30 c | 108.30 | 0 | -15357 lb | 0 0 0.00 | 108.45/108.50 c | 108.51 | 0 | -15356 lb | 0 0 0.00 | 108.76/108.84 c | 108.84 | 0 | -15355 lb | 0 0 0.00 | 108.95/109.08 c | 109.09 | 0 | -15354 lb | 0 0 0.00 | 109.35/109.47 c | 109.48 | 0 | -15353 lb | 0 0 0.00 | 109.65/109.70 c | 109.71 | 0 | -15352 lb | 0 0 0.00 | 109.75/109.89 c | 109.89 | 0 | -15351 lb | 0 0 0.00 | 110.05/110.18 c | 110.18 | 0 | -15350 lb | 0 0 0.00 | 110.65/110.75 c | 110.76 | 0 | -15349 lb | 0 0 0.00 | 111.16/111.24 c | 111.25 | 0 | -15348 lb | 0 0 0.00 | 111.46/111.50 c | 111.50 | 0 | -15347 lb | 0 0 0.00 | 111.56/111.67 c | 111.67 | 0 | -15346 lb | 0 0 0.00 | 111.76/111.85 c | 111.86 | 0 | -15345 lb | 0 0 0.00 | 112.26/112.31 c | 112.31 | 0 | -15344 lb | 0 0 0.00 | 112.45/112.53 c | 112.53 | 0 | -15343 lb | 0 0 0.00 | 112.65/112.71 c | 112.72 | 0 | -15342 lb | 0 0 0.00 | 112.85/112.94 c | 112.94 | 0 | -15341 lb | 0 0 0.00 | 113.05/113.14 c | 113.15 | 0 | -15340 lb | 0 0 0.00 | 113.65/113.75 c | 113.76 | 0 | -15339 lb | 0 0 0.00 | 113.85/113.97 c | 113.97 | 0 | -15338 lb | 0 0 0.00 | 114.15/114.24 c | 114.24 | 0 | -15337 lb | 0 0 0.00 | 114.35/114.43 c | 114.44 | 0 | -15336 lb | 0 0 0.00 | 114.55/114.62 c | 114.62 | 0 | -15335 lb | 0 0 0.00 | 114.75/114.80 c | 114.80 | 0 | -15334 lb | 0 0 0.00 | 114.95/115.03 c | 115.04 | 0 | -15333 lb | 0 0 0.00 | 115.15/115.22 c | 115.23 | 0 | -15332 lb | 0 0 0.00 | 115.36/115.41 c | 115.41 | 0 | -15331 lb | 0 0 0.00 | 115.45/115.57 c | 115.58 | 0 | -15330 lb | 0 0 0.00 | 115.65/115.77 c | 115.78 | 0 | -15329 lb | 0 0 0.00 | 115.85/115.93 c | 115.93 | 0 | -15328 lb | 0 0 0.00 | 116.05/116.11 c | 116.11 | 0 | -15327 lb | 0 0 0.00 | 116.15/116.29 c | 116.30 | 0 | -15326 lb | 0 0 0.00 | 116.35/116.48 c | 116.49 | 0 | -15325 lb | 0 0 0.00 | 116.56/116.66 c | 116.67 | 0 | -15324 lb | 0 0 0.00 | 116.76/116.85 c | 116.85 | 0 | -15323 lb | 0 0 0.00 | 121.66/121.77 c | 121.77 | 0 | -15322 lb | 0 0 0.00 | 121.85/121.95 c | 121.95 | 0 | -15321 lb | 0 0 0.00 | 121.96/122.10 c | 122.10 | 0 | -15320 lb | 0 0 0.00 | 122.15/122.28 c | 122.28 | 0 | -15319 lb | 0 0 0.00 | 122.35/122.47 c | 122.47 | 0 | -15318 lb | 0 0 0.00 | 122.75/122.83 c | 122.83 | 0 | -15317 lb | 0 0 0.00 | 122.95/123.00 c | 123.00 | 0 | -15316 lb | 0 0 0.00 | 123.06/123.20 c | 123.20 | 0 | -15315 lb | 0 0 0.00 | 123.25/123.37 c | 123.38 | 0 | -15314 lb | 0 0 0.00 | 123.75/123.85 c | 123.85 | 0 | -15313 lb | 0 0 0.00 | 123.95/124.02 c | 124.02 | 0 | -15312 lb | 0 0 0.00 | 124.15/124.23 c | 124.23 | 0 | -15311 lb | 0 0 0.00 | 124.35/124.44 c | 124.44 | 0 | -15310 lb | 0 0 0.00 | 124.55/124.66 c | 124.66 | 0 | -15309 lb | 0 0 0.00 | 124.75/124.89 c | 124.90 | 0 | -15308 lb | 0 0 0.00 | 125.26/125.31 c | 125.32 | 0 | -15307 lb | 0 0 0.00 | 125.45/125.53 c | 125.53 | 0 | -15306 lb | 0 0 0.00 | 125.65/125.79 c | 125.80 | 0 | -15305 lb | 0 0 0.00 | 125.95/126.09 c | 126.09 | 0 | -15304 lb | 0 0 0.00 | 126.65/126.78 c | 126.79 | 0 | -15303 lb | 0 0 0.00 | 126.85/126.95 c | 126.95 | 0 | -15302 lb | 0 0 0.00 | 127.75/127.85 c | 127.86 | 0 | -15301 lb | 0 0 0.00 | 127.94/128.02 c | 128.03 | 0 | -15300 lb | 0 0 0.00 | 128.25/128.36 c | 128.37 | 0 | -15299 lb | 0 0 0.00 | 128.45/128.59 c | 128.59 | 0 | -15298 lb | 0 0 0.00 | 128.95/129.00 c | 129.00 | 0 | -15297 lb | 0 0 0.00 | 129.05/129.18 c | 129.19 | 0 | -15296 lb | 0 0 0.00 | 129.35/129.40 c | 129.40 | 0 | -15295 lb | 0 0 0.00 | 129.85/129.93 c | 129.93 | 0 | -15294 lb | 0 0 0.00 | 130.05/130.14 c | 130.15 | 0 | -15293 lb | 0 0 0.00 | 130.35/130.44 c | 130.44 | 0 | -15292 lb | 0 0 0.00 | 130.55/130.62 c | 130.62 | 0 | -15291 lb | 0 0 0.00 | 130.76/130.81 c | 130.81 | 0 | -15290 lb | 0 0 0.00 | 132.35/132.40 c | 132.40 | 0 | -15289 lb | 0 0 0.00 | 132.65/132.74 c | 132.75 | 0 | -15288 lb | 0 0 0.00 | 133.35/133.48 c | 133.49 | 0 | -15287 lb | 0 0 0.00 | 133.55/133.68 c | 133.69 | 0 | -15286 lb | 0 0 0.00 | 133.84/133.92 c | 133.92 | 0 | -15285 lb | 0 0 0.00 | 134.05/134.15 c | 134.15 | 0 | -15284 lb | 0 0 0.00 | 134.34/134.40 c | 134.40 | 0 | -15283 lb | 0 0 0.00 | 134.54/134.64 c | 134.64 | 0 | -15282 lb | 0 0 0.00 | 135.04/135.11 c | 135.11 | 0 | -15281 lb | 0 0 0.00 | 135.35/135.47 c | 135.47 | 0 | -15280 lb | 0 0 0.00 | 135.55/135.66 c | 135.66 | 0 | -15279 lb | 0 0 0.00 | 135.75/135.84 c | 135.85 | 0 | -15278 lb | 0 0 0.00 | 135.95/136.05 c | 136.05 | 0 | -15277 lb | 0 0 0.00 | 136.26/136.35 c | 136.36 | 0 | -15276 lb | 0 0 0.00 | 136.45/136.56 c | 136.57 | 0 | -15275 lb | 0 0 0.00 | 136.95/137.03 c | 137.04 | 0 | -15274 lb | 0 0 0.00 | 137.15/137.25 c | 137.26 | 0 | -15273 lb | 0 0 0.00 | 137.35/137.43 c | 137.44 | 0 | -15272 lb | 0 0 0.00 | 137.65/137.78 c | 137.78 | 0 | -15271 lb | 0 0 0.00 | 137.85/137.97 c | 137.97 | 0 | -15270 lb | 0 0 0.00 | 138.05/138.19 c | 138.19 | 0 | -15269 lb | 0 0 0.00 | 138.34/138.40 c | 138.40 | 0 | -15268 lb | 0 0 0.00 | 138.55/138.69 c | 138.70 | 0 | -15267 lb | 0 0 0.00 | 138.74/138.88 c | 138.88 | 0 | -15266 lb | 0 0 0.00 | 139.04/139.11 c | 139.12 | 0 | -15265 lb | 0 0 0.00 | 139.15/139.29 c | 139.30 | 0 | -15264 lb | 0 0 0.00 | 139.75/139.88 c | 139.88 | 0 | -15263 lb | 0 0 0.00 | 139.95/140.05 c | 140.05 | 0 | -15262 lb | 0 0 0.00 | 140.15/140.22 c | 140.23 | 0 | -15261 lb | 0 0 0.00 | 140.35/140.44 c | 140.44 | 0 | -15260 lb | 0 0 0.00 | 140.55/140.62 c | 140.62 | 0 | -15259 lb | 0 0 0.00 | 140.75/140.84 c | 140.85 | 0 | -15258 lb | 0 0 0.00 | 140.95/141.02 c | 141.02 | 0 | -15257 lb | 0 0 0.00 | 141.55/141.66 c | 141.66 | 0 | -15256 lb | 0 0 0.00 | 142.05/142.17 c | 142.18 | 0 | -15255 lb | 0 0 0.00 | 142.34/142.44 c | 142.44 | 0 | -15254 lb | 0 0 0.00 | 142.64/142.71 c | 142.71 | 0 | -15253 lb | 0 0 0.00 | 142.85/142.99 c | 143.00 | 0 | -15252 lb | 0 0 0.00 | 143.15/143.28 c | 143.28 | 0 | -15251 lb | 0 0 0.00 | 143.45/143.51 c | 143.51 | 0 | -15250 lb | 0 0 0.00 | 143.55/143.69 c | 143.69 | 0 | -15249 lb | 0 0 0.00 | 144.35/144.42 c | 144.43 | 0 | -15248 lb | 0 0 0.00 | 144.75/144.80 c | 144.80 | 0 | -15247 lb | 0 0 0.00 | 144.84/144.99 c | 144.99 | 0 | -15246 lb | 0 0 0.00 | 145.05/145.19 c | 145.20 | 0 | -15245 lb | 0 0 0.00 | 145.24/145.38 c | 145.39 | 0 | -15244 lb | 0 0 0.00 | 145.64/145.72 c | 145.72 | 0 | -15243 lb | 0 0 0.00 | 145.85/145.93 c | 145.93 | 0 | -15242 lb | 0 0 0.00 | 146.05/146.14 c | 146.14 | 0 | -15241 lb | 0 0 0.00 | 146.25/146.34 c | 146.34 | 0 | -15240 lb | 0 0 0.00 | 146.44/146.58 c | 146.58 | 0 | -15239 lb | 0 0 0.00 | 146.74/146.81 c | 146.81 | 0 | -15238 lb | 0 0 0.00 | 146.94/147.00 c | 147.00 | 0 | -15237 lb | 0 0 0.00 | 147.04/147.19 c | 147.19 | 0 | -15236 lb | 0 0 0.00 | 147.35/147.41 c | 147.42 | 0 | -15235 lb | 0 0 0.00 | 147.55/147.60 c | 147.61 | 0 | -15234 lb | 0 0 0.00 | 147.95/148.02 c | 148.03 | 0 | -15233 lb | 0 0 0.00 | 148.15/148.24 c | 148.24 | 0 | -15232 lb | 0 0 0.00 | 148.35/148.48 c | 148.48 | 0 | -15231 lb | 0 0 0.00 | 148.95/149.03 c | 149.03 | 0 | -15230 lb | 0 0 0.00 | 149.15/149.26 c | 149.26 | 0 | -15229 lb | 0 0 0.00 | 149.34/149.47 c | 149.48 | 0 | -15228 lb | 0 0 0.00 | 149.55/149.67 c | 149.67 | 0 | -15227 lb | 0 0 0.00 | 149.74/149.88 c | 149.88 | 0 | -15226 lb | 0 0 0.00 | 150.04/150.13 c | 150.13 | 0 | -15225 lb | 0 0 0.00 | 150.24/150.32 c | 150.32 | 0 | -15224 lb | 0 0 0.00 | 150.45/150.53 c | 150.53 | 0 | -15223 lb | 0 0 0.00 | 150.65/150.76 c | 150.76 | 0 | -15222 lb | 0 0 0.00 | 150.95/151.00 c | 151.01 | 0 | -15221 lb | 0 0 0.00 | 151.15/151.25 c | 151.25 | 0 | -15220 lb | 0 0 0.00 | 151.34/151.45 c | 151.46 | 0 | -15219 lb | 0 0 0.00 | 173.94/174.06 c | 174.06 | 0 | -15218 lb | 0 0 0.00 | 174.24/174.32 c | 174.33 | 0 | -15217 lb | 0 0 0.00 | 174.34/174.48 c | 174.49 | 0 | -15216 lb | 0 0 0.00 | 174.64/174.72 c | 174.72 | 0 | -15215 lb | 0 0 0.00 | 174.74/174.89 c | 174.89 | 0 | -15214 lb | 0 0 0.00 | 174.94/175.09 c | 175.09 | 0 | -15213 lb | 0 0 0.00 | 175.34/175.41 c | 175.41 | 0 | -15212 lb | 0 0 0.00 | 175.64/175.78 c | 175.78 | 0 | -15211 lb | 0 0 0.00 | 176.04/176.15 c | 176.16 | 0 | -15210 lb | 0 0 0.00 | 176.24/176.35 c | 176.35 | 0 | -15209 lb | 0 0 0.00 | 176.44/176.58 c | 176.58 | 0 | -15208 lb | 0 0 0.00 | 176.74/176.82 c | 176.83 | 0 | -15207 lb | 0 0 0.00 | 177.04/177.12 c | 177.13 | 0 | -15206 lb | 0 0 0.00 | 177.34/177.42 c | 177.42 | 0 | -15205 lb | 0 0 0.00 | 177.64/177.73 c | 177.74 | 0 | -15204 lb | 0 0 0.00 | 177.84/177.94 c | 177.94 | 0 | -15203 lb | 0 0 0.00 | 178.24/178.34 c | 178.34 | 0 | -15202 lb | 0 0 0.00 | 178.44/178.52 c | 178.52 | 0 | -15201 lb | 0 0 0.00 | 178.74/178.81 c | 178.81 | 0 | -15200 lb | 0 0 0.00 | 178.94/179.04 c | 179.04 | 0 | -15199 lb | 0 0 0.00 | 179.14/179.29 c | 179.29 | 0 | -15198 lb | 0 0 0.00 | 179.44/179.55 c | 179.55 | 0 | -15197 lb | 0 0 0.00 | 179.74/179.88 c | 179.89 | 0 | -15196 lb | 0 0 0.00 | 180.14/180.23 c | 180.24 | 0 | -15195 lb | 0 0 0.00 | 180.44/180.58 c | 180.58 | 0 | -15194 lb | 0 0 0.00 | 180.84/180.93 c | 180.94 | 0 | -15193 lb | 0 0 0.00 | 181.14/181.26 c | 181.26 | 0 | -15192 lb | 0 0 0.00 | 181.53/181.61 c | 181.62 | 0 | -15191 lb | 0 0 0.00 | 181.83/181.91 c | 181.91 | 0 | -15190 lb | 0 0 0.00 | 182.03/182.13 c | 182.13 | 0 | -15189 lb | 0 0 0.00 | 182.23/182.35 c | 182.36 | 0 | -15188 lb | 0 0 0.00 | 182.44/182.55 c | 182.56 | 0 | -15187 lb | 0 0 0.00 | 182.93/183.02 c | 183.03 | 0 | -15186 lb | 0 0 0.00 | 183.54/183.63 c | 183.63 | 0 | -15185 lb | 0 0 0.00 | 183.83/183.95 c | 183.95 | 0 | -15184 lb | 0 0 0.00 | 186.63/186.78 c | 186.79 | 0 | -15183 lb | 0 0 0.00 | 222.52/222.62 c | 222.62 | 0 | -15182 lb | 0 0 0.00 | 1303.41/1303.78 c | 1303.78 | 0 | -15181 lb | 0 0 0.00 | 1304.32/1304.67 c | 1304.67 | 0 | -15180 lb | 0 0 0.00 | 1799.62/1800.00 c =============================================================================== 1799.62/1800.00 c Wall Clock Time: 1800.00 s 1799.62/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-3705581-1338119207/watcher-3705581-1338119207 -o /tmp/evaluation-result-3705581-1338119207/solver-3705581-1338119207 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705581-1338119207.opb running on 4 cores: 0,2,4,6 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/177 5876 /proc/meminfo: memFree=29728800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=7360 CPUtime=0 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) R 5874 5876 2698 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 278045078 7536640 602 33554432000 4194304 5963574 140734703168752 140735229683112 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 1840 602 163 432 0 759 0 [startup+0.0464501 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5876 /proc/meminfo: memFree=29728800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=12828 CPUtime=0.04 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) R 5874 5876 2698 0 -1 4202496 2071 0 0 0 4 0 0 0 20 0 1 0 278045078 13135872 2024 33554432000 4194304 5963574 140734703168752 140735229683112 4344320 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 3207 2026 308 432 0 2126 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12828 [startup+0.100275 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5876 /proc/meminfo: memFree=29728800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=19592 CPUtime=0.09 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) R 5874 5876 2698 0 -1 4202496 4073 0 0 0 9 0 0 0 20 0 1 0 278045078 20062208 3872 33554432000 4194304 5963574 140734703168752 140735229683112 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 4898 3872 461 432 0 3817 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19592 [startup+0.300164 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5876 /proc/meminfo: memFree=29728800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=105000 CPUtime=0.29 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 13186 0 0 0 28 1 0 0 20 0 2 0 278045078 107520000 11113 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 26250 11113 191 432 0 25815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 105000 [startup+0.700189 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5876 /proc/meminfo: memFree=29728800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=101304 CPUtime=0.68 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 17840 0 0 0 66 2 0 0 20 0 2 0 278045078 103735296 13931 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 25326 13931 192 432 0 24891 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 101304 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29675048/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=101304 CPUtime=1.48 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 25169 0 0 0 145 3 0 0 20 0 2 0 278045078 103735296 15856 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 25326 15856 192 432 0 24891 0 [pid=5876/tid=5878] ppid=5874 vsize=101304 CPUtime=1.27 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 19239 0 0 0 124 3 0 0 20 0 2 0 278045099 103735296 15856 33554432000 4194304 5963574 140734703168752 140013290309976 5138318 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 101304 [startup+3.10028 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29660592/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=101304 CPUtime=3.08 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 36860 0 0 0 304 4 0 0 20 0 2 0 278045078 103735296 18947 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 25326 18947 192 432 0 24891 0 [pid=5876/tid=5878] ppid=5874 vsize=101304 CPUtime=2.86 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 30930 0 0 0 282 4 0 0 20 0 2 0 278045099 103735296 18947 33554432000 4194304 5963574 140734703168752 140013290310168 5130053 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 101304 [startup+6.30026 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29626116/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=166840 CPUtime=6.28 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 58823 0 0 0 620 8 0 0 20 0 2 0 278045078 170844160 25451 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 41710 25451 192 432 0 41275 0 [pid=5876/tid=5878] ppid=5874 vsize=166840 CPUtime=6.05 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 52893 0 0 0 598 7 0 0 20 0 2 0 278045099 170844160 25451 33554432000 4194304 5963574 140734703168752 140013290309976 5141661 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 166840 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29558728/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=166840 CPUtime=12.68 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 107528 0 0 0 1252 16 0 0 20 0 2 0 278045078 170844160 37046 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 41710 37046 193 432 0 41275 0 [pid=5876/tid=5878] ppid=5874 vsize=166840 CPUtime=12.43 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 101598 0 0 0 1228 15 0 0 20 0 2 0 278045099 170844160 37046 33554432000 4194304 5963574 140734703168752 140013290310168 5138270 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 166840 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29443544/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=232376 CPUtime=25.47 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 164853 0 0 0 2521 26 0 0 20 0 2 0 278045078 237953024 52303 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 58094 52303 194 432 0 57659 0 [pid=5876/tid=5878] ppid=5874 vsize=232376 CPUtime=25.2 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 158923 0 0 0 2495 25 0 0 20 0 2 0 278045099 237953024 52303 33554432000 4194304 5963574 140734703168752 140013290310168 5138270 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 232376 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5878 /proc/meminfo: memFree=29296824/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=363448 CPUtime=51.07 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 230971 0 0 0 5068 39 0 0 20 0 2 0 278045078 372170752 73375 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 90862 73375 195 432 0 90427 0 [pid=5876/tid=5878] ppid=5874 vsize=363448 CPUtime=50.73 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 225041 0 0 0 5035 38 0 0 20 0 2 0 278045099 372170752 73375 33554432000 4194304 5963574 140734703168752 140013290310168 4403124 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 363448 [startup+102.306 s] /proc/loadavg: 2.06 2.01 2.00 3/179 5878 /proc/meminfo: memFree=29103412/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=428984 CPUtime=102.27 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 284291 0 0 0 10178 49 0 0 20 0 2 0 278045078 439279616 88371 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 107246 88371 195 432 0 106811 0 [pid=5876/tid=5878] ppid=5874 vsize=428984 CPUtime=101.8 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 278361 0 0 0 10131 49 0 0 20 0 2 0 278045099 439279616 88371 33554432000 4194304 5963574 140734703168752 140013290310168 5130053 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 428984 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5879 /proc/meminfo: memFree=28849056/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=494520 CPUtime=162.24 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 361085 0 0 0 16161 63 0 0 20 0 2 0 278045078 506388480 106856 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 123630 106856 195 432 0 123195 0 [pid=5876/tid=5878] ppid=5874 vsize=494520 CPUtime=161.63 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 355155 0 0 0 16099 64 0 0 20 0 2 0 278045099 506388480 106856 33554432000 4194304 5963574 140734703168752 140013290310472 4399968 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 494520 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 5882 /proc/meminfo: memFree=28711364/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=494520 CPUtime=222.22 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 369474 0 0 0 22157 65 0 0 20 0 2 0 278045078 506388480 115077 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 123630 115077 195 432 0 123195 0 [pid=5876/tid=5878] ppid=5874 vsize=494520 CPUtime=221.47 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 363544 0 0 0 22080 67 0 0 20 0 2 0 278045099 506388480 115077 33554432000 4194304 5963574 140734703168752 140013290309624 4480384 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 494520 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5882 /proc/meminfo: memFree=28577540/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=560056 CPUtime=282.22 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 372698 0 0 0 28156 66 0 0 20 0 2 0 278045078 573497344 119741 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 140014 119741 195 432 0 139579 0 [pid=5876/tid=5878] ppid=5874 vsize=560056 CPUtime=281.32 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 366768 0 0 0 28063 69 0 0 20 0 2 0 278045099 573497344 119741 33554432000 4194304 5963574 140734703168752 140013290310008 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 560056 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5882 /proc/meminfo: memFree=28474648/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=560056 CPUtime=342.18 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 374214 0 0 0 34151 67 0 0 20 0 2 0 278045078 573497344 121521 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 140014 121521 195 432 0 139579 0 [pid=5876/tid=5878] ppid=5874 vsize=560056 CPUtime=341.14 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 368284 0 0 0 34043 71 0 0 20 0 2 0 278045099 573497344 121521 33554432000 4194304 5963574 140734703168752 140013290309432 4399537 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 560056 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5882 /proc/meminfo: memFree=28303992/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=560056 CPUtime=402.16 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 377993 0 0 0 40145 71 0 0 20 0 2 0 278045078 573497344 125272 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 140014 125272 195 432 0 139579 0 [pid=5876/tid=5878] ppid=5874 vsize=560056 CPUtime=400.96 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 372063 0 0 0 40020 76 0 0 20 0 2 0 278045099 573497344 125272 33554432000 4194304 5963574 140734703168752 140013290309624 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 560056 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5883 /proc/meminfo: memFree=28228892/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=560056 CPUtime=462.14 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/180 5915 /proc/meminfo: memFree=27492316/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1422 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433419 0 0 0 142095 105 0 0 20 0 2 0 278045078 774823936 180929 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 180929 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1418.35 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427489 0 0 0 141710 125 0 0 20 0 2 0 278045099 774823936 180929 33554432000 4194304 5963574 140734703168752 140013290310168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 756664 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5915 /proc/meminfo: memFree=27459620/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1481.98 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433419 0 0 0 148093 105 0 0 20 0 2 0 278045078 774823936 180929 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 180929 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1478.19 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427489 0 0 0 147693 126 0 0 20 0 2 0 278045099 774823936 180929 33554432000 4194304 5963574 140734703168752 140013290310168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 756664 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5915 /proc/meminfo: memFree=27474680/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1541.97 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433435 0 0 0 154092 105 0 0 20 0 2 0 278045078 774823936 181239 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 181239 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1538.03 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427505 0 0 0 153676 127 0 0 20 0 2 0 278045099 774823936 181239 33554432000 4194304 5963574 140734703168752 140013290310168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 756664 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5915 /proc/meminfo: memFree=27416288/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1601.96 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433435 0 0 0 160091 105 0 0 20 0 2 0 278045078 774823936 182479 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182479 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1597.88 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427505 0 0 0 159660 128 0 0 20 0 2 0 278045099 774823936 182479 33554432000 4194304 5963574 140734703168752 140013290310168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 756664 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5916 /proc/meminfo: memFree=27415456/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1661.95 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 166090 105 0 0 20 0 2 0 278045078 774823936 182697 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182697 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1657.72 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 165643 129 0 0 20 0 2 0 278045099 774823936 182697 33554432000 4194304 5963574 140734703168752 140013290310168 4399474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 756664 [startup+1722.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 5916 /proc/meminfo: memFree=27414120/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1721.94 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 172089 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1717.57 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 171627 130 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 756664 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29051800/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1781.93 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 178088 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1777.41 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 177610 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 756664 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29022156/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1791.53 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179048 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1786.99 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 178568 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 756664 [startup+1795.1 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29007704/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1794.73 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179368 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1790.19 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 178888 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 756664 [startup+1798.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29005472/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1797.92 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179687 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1793.37 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 179206 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 756664 [startup+1799.1 s] /proc/loadavg: 2.01 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29005472/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1798.72 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179767 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1794.17 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 179286 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.72 Current children cumulated vsize (KiB) 756664 [startup+1799.5 s] /proc/loadavg: 2.01 2.01 2.00 3/179 5955 /proc/meminfo: memFree=28997348/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1799.13 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179808 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1794.57 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 179326 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.13 Current children cumulated vsize (KiB) 756664 [startup+1799.9 s] /proc/loadavg: 2.01 2.01 2.00 3/179 5955 /proc/meminfo: memFree=28997348/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1799.52 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179847 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1794.97 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 179366 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (KiB) 756664 [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 5955 /proc/meminfo: memFree=28997348/32873844 swapFree=7628/7628 [pid=5876] ppid=5874 vsize=756664 CPUtime=1799.62 cores=0,2,4,6 /proc/5876/stat : 5876 (wbo1.7) S 5874 5876 2698 0 -1 4202496 433489 0 0 0 179857 105 0 0 20 0 2 0 278045078 774823936 182945 33554432000 4194304 5963574 140734703168752 140734703168272 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5876/statm: 189166 182945 195 432 0 188731 0 [pid=5876/tid=5878] ppid=5874 vsize=756664 CPUtime=1795.07 cores=0,2,4,6 /proc/5876/task/5878/stat : 5878 (wbo1.7) R 5874 5876 2698 0 -1 4202560 427559 0 0 0 179376 131 0 0 20 0 2 0 278045099 774823936 182945 33554432000 4194304 5963574 140734703168752 140013290310168 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (KiB) 756664 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5876 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=972274 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=328797 # CPU time returned by wait4() is 1795.3 # while last known CPU time is 1799.62 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.62 CPU user time (s): 1798.57 CPU system time (s): 1.05 CPU usage (%): 99.9786 Max. virtual memory (cumulated for all children) (KiB): 756664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.97 system time used= 1.3288 maximum resident set size= 731780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 433489 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= 107 involuntary context switches= 2056 runsolver used 2.89456 second user time and 7.58185 second system time The end
Begin job on node145 at 2012-05-27 13:46:47 IDJOB=3705581 IDBENCH=90451 IDSOLVER=2283 FILE ID=node145/3705581-1338119207 RUNJOBID= node145-1338087553-2714 PBS_JOBID= 14624445 Free space on /tmp= 71548 MiB SOLVER NAME= wbo 1.7 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.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705581-1338119207/watcher-3705581-1338119207 -o /tmp/evaluation-result-3705581-1338119207/solver-3705581-1338119207 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705581-1338119207.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cd63af4b43031b31fea6da5a72b06e90 RANDOM SEED=1724187340 node145.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 : 2667.149 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 : 5334.29 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 : 2667.149 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 : 2667.149 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 : 5313.38 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 : 2667.149 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 : 2667.149 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 : 2667.149 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 : 2667.149 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 : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29729072 kB Buffers: 295792 kB Cached: 1713008 kB SwapCached: 0 kB Active: 966480 kB Inactive: 1364536 kB Active(anon): 313708 kB Inactive(anon): 10912 kB Active(file): 652772 kB Inactive(file): 1353624 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 8028 kB Writeback: 0 kB AnonPages: 329604 kB Mapped: 14916 kB Shmem: 200 kB Slab: 673664 kB SReclaimable: 115272 kB SUnreclaim: 558392 kB KernelStack: 1456 kB PageTables: 4580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 160468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 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= 71540 MiB End job on node145 at 2012-05-27 14:16:47