| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? (TO) | 1800.09 | 1800.62 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb |
| MD5SUM | 149bc47a65ee9b475f97ab5e9dc95355 |
| 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 | -57 |
| Best CPU time to get the best result obtained on this benchmark | 200.271 |
| 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 | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 108144 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-3727876-1338671824.opb. 0.00/0.00 c Instance file HOME/instance-3727876-1338671824.opb 0.00/0.00 c File size is 2627492 bytes. 0.18/0.22 c Cost Offset: -16038 0.18/0.22 c Highest Coefficient sum: 108144 0.18/0.23 c ============================[ Problem Statistics ]============================= 0.18/0.23 c | | 0.18/0.23 c | Parsing time: 0.23 s | 0.18/0.23 c | Number Variables: 40451 | 0.18/0.23 c | Number Clauses: 40396 | 0.18/0.23 c | Number Cardinality: 553 | 0.18/0.23 c | Number PB Constraints: 1 | 0.18/0.23 c | | 0.18/0.26 c | Problem Type: Optimization | 0.18/0.26 c | Objective Function: Cardinality Constraint | 0.18/0.26 c | | 0.18/0.26 c ============================[ Search Statistics ]============================== 0.18/0.26 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.26 c | | | value type | expCls impCls Lit/impCl | 0.18/0.26 c =============================================================================== 0.29/0.30 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.41 c | 0.42 | 0 | -16033 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | -16032 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | -16031 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | -16030 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | -16029 lb | 0 0 0.00 | 0.49/0.56 c | 0.57 | 0 | -16028 lb | 0 0 0.00 | 0.49/0.59 c | 0.60 | 0 | -16027 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | -16026 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | -16025 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | -16024 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | -16023 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | -16022 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | -16021 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | -16020 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | -16019 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | -16018 lb | 0 0 0.00 | 0.89/0.92 c | 0.93 | 0 | -16017 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | -16016 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | -16015 lb | 0 0 0.00 | 0.99/1.02 c | 1.03 | 0 | -16014 lb | 0 0 0.00 | 0.99/1.06 c | 1.06 | 0 | -16013 lb | 0 0 0.00 | 0.99/1.09 c | 1.10 | 0 | -16012 lb | 0 0 0.00 | 1.09/1.13 c | 1.13 | 0 | -16011 lb | 0 0 0.00 | 1.09/1.16 c | 1.17 | 0 | -16010 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | -16009 lb | 0 0 0.00 | 1.19/1.24 c | 1.24 | 0 | -16008 lb | 0 0 0.00 | 1.19/1.27 c | 1.28 | 0 | -16007 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | -16006 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | -16005 lb | 0 0 0.00 | 1.29/1.38 c | 1.39 | 0 | -16004 lb | 0 0 0.00 | 1.39/1.42 c | 1.42 | 0 | -16003 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | -16002 lb | 0 0 0.00 | 1.39/1.49 c | 1.50 | 0 | -16001 lb | 0 0 0.00 | 1.49/1.53 c | 1.53 | 0 | -16000 lb | 0 0 0.00 | 1.49/1.57 c | 1.57 | 0 | -15999 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | -15998 lb | 0 0 0.00 | 1.59/1.64 c | 1.65 | 0 | -15997 lb | 0 0 0.00 | 1.59/1.68 c | 1.68 | 0 | -15996 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | -15995 lb | 0 0 0.00 | 1.69/1.76 c | 1.76 | 0 | -15994 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | -15993 lb | 0 0 0.00 | 1.79/1.83 c | 1.84 | 0 | -15992 lb | 0 0 0.00 | 1.79/1.87 c | 1.88 | 0 | -15991 lb | 0 0 0.00 | 1.88/1.91 c | 1.92 | 0 | -15990 lb | 0 0 0.00 | 1.88/1.95 c | 1.95 | 0 | -15989 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | -15988 lb | 0 0 0.00 | 1.98/2.03 c | 2.03 | 0 | -15987 lb | 0 0 0.00 | 1.98/2.07 c | 2.07 | 0 | -15986 lb | 0 0 0.00 | 2.10/2.11 c | 2.11 | 0 | -15985 lb | 0 0 0.00 | 2.10/2.14 c | 2.15 | 0 | -15984 lb | 0 0 0.00 | 2.10/2.18 c | 2.19 | 0 | -15983 lb | 0 0 0.00 | 2.20/2.22 c | 2.23 | 0 | -15982 lb | 0 0 0.00 | 2.20/2.26 c | 2.27 | 0 | -15981 lb | 0 0 0.00 | 2.29/2.30 c | 2.30 | 0 | -15980 lb | 0 0 0.00 | 2.29/2.34 c | 2.34 | 0 | -15979 lb | 0 0 0.00 | 2.29/2.38 c | 2.38 | 0 | -15978 lb | 0 0 0.00 | 2.39/2.42 c | 2.42 | 0 | -15977 lb | 0 0 0.00 | 2.39/2.46 c | 2.46 | 0 | -15976 lb | 0 0 0.00 | 2.49/2.50 c | 2.50 | 0 | -15975 lb | 0 0 0.00 | 2.49/2.54 c | 2.54 | 0 | -15974 lb | 0 0 0.00 | 2.49/2.58 c | 2.58 | 0 | -15973 lb | 0 0 0.00 | 2.59/2.62 c | 2.62 | 0 | -15972 lb | 0 0 0.00 | 2.59/2.66 c | 2.67 | 0 | -15971 lb | 0 0 0.00 | 2.69/2.70 c | 2.71 | 0 | -15970 lb | 0 0 0.00 | 2.69/2.74 c | 2.75 | 0 | -15969 lb | 0 0 0.00 | 2.69/2.78 c | 2.79 | 0 | -15968 lb | 0 0 0.00 | 2.78/2.82 c | 2.83 | 0 | -15967 lb | 0 0 0.00 | 2.78/2.87 c | 2.87 | 0 | -15966 lb | 0 0 0.00 | 2.88/2.91 c | 2.91 | 0 | -15965 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | -15964 lb | 0 0 0.00 | 2.88/2.99 c | 2.99 | 0 | -15963 lb | 0 0 0.00 | 2.99/3.03 c | 3.03 | 0 | -15962 lb | 0 0 0.00 | 2.99/3.07 c | 3.08 | 0 | -15961 lb | 0 0 0.00 | 3.09/3.11 c | 3.12 | 0 | -15960 lb | 0 0 0.00 | 3.09/3.16 c | 3.16 | 0 | -15959 lb | 0 0 0.00 | 3.09/3.20 c | 3.20 | 0 | -15958 lb | 0 0 0.00 | 3.20/3.24 c | 3.24 | 0 | -15957 lb | 0 0 0.00 | 3.20/3.28 c | 3.29 | 0 | -15956 lb | 0 0 0.00 | 3.29/3.32 c | 3.33 | 0 | -15955 lb | 0 0 0.00 | 3.29/3.37 c | 3.37 | 0 | -15954 lb | 0 0 0.00 | 3.39/3.41 c | 3.41 | 0 | -15953 lb | 0 0 0.00 | 3.39/3.45 c | 3.46 | 0 | -15952 lb | 0 0 0.00 | 3.48/3.50 c | 3.50 | 0 | -15951 lb | 0 0 0.00 | 3.48/3.54 c | 3.54 | 0 | -15950 lb | 0 0 0.00 | 3.48/3.59 c | 3.59 | 0 | -15949 lb | 0 0 0.00 | 3.59/3.63 c | 3.63 | 0 | -15948 lb | 0 0 0.00 | 3.59/3.67 c | 3.68 | 0 | -15947 lb | 0 0 0.00 | 3.69/3.72 c | 3.72 | 0 | -15946 lb | 0 0 0.00 | 3.69/3.76 c | 3.77 | 0 | -15945 lb | 0 0 0.00 | 3.79/3.81 c | 3.81 | 0 | -15944 lb | 0 0 0.00 | 3.79/3.85 c | 3.85 | 0 | -15943 lb | 0 0 0.00 | 3.79/3.89 c | 3.90 | 0 | -15942 lb | 0 0 0.00 | 3.89/3.94 c | 3.94 | 0 | -15941 lb | 0 0 0.00 | 3.89/3.98 c | 3.99 | 0 | -15940 lb | 0 0 0.00 | 3.99/4.03 c | 4.03 | 0 | -15939 lb | 0 0 0.00 | 3.99/4.07 c | 4.08 | 0 | -15938 lb | 0 0 0.00 | 4.09/4.12 c | 4.12 | 0 | -15937 lb | 0 0 0.00 | 4.09/4.16 c | 4.16 | 0 | -15936 lb | 0 0 0.00 | 4.18/4.20 c | 4.21 | 0 | -15935 lb | 0 0 0.00 | 4.18/4.25 c | 4.25 | 0 | -15934 lb | 0 0 0.00 | 4.18/4.29 c | 4.30 | 0 | -15933 lb | 0 0 0.00 | 4.30/4.34 c | 4.34 | 0 | -15932 lb | 0 0 0.00 | 4.30/4.38 c | 4.39 | 0 | -15931 lb | 0 0 0.00 | 4.40/4.43 c | 4.43 | 0 | -15930 lb | 0 0 0.00 | 4.40/4.47 c | 4.48 | 0 | -15929 lb | 0 0 0.00 | 4.49/4.52 c | 4.52 | 0 | -15928 lb | 0 0 0.00 | 4.49/4.56 c | 4.57 | 0 | -15927 lb | 0 0 0.00 | 4.59/4.61 c | 4.62 | 0 | -15926 lb | 0 0 0.00 | 4.59/4.66 c | 4.66 | 0 | -15925 lb | 0 0 0.00 | 4.69/4.70 c | 4.71 | 0 | -15924 lb | 0 0 0.00 | 4.69/4.75 c | 4.75 | 0 | -15923 lb | 0 0 0.00 | 4.89/4.94 c | 4.80 | 0 | -15922 lb | 0 0 0.00 | 4.89/4.94 c | 4.85 | 0 | -15921 lb | 0 0 0.00 | 4.89/4.94 c | 4.89 | 0 | -15920 lb | 0 0 0.00 | 4.89/4.94 c | 4.94 | 0 | -15919 lb | 0 0 0.00 | 4.89/4.98 c | 4.99 | 0 | -15918 lb | 0 0 0.00 | 4.99/5.03 c | 5.04 | 0 | -15917 lb | 0 0 0.00 | 4.99/5.08 c | 5.08 | 0 | -15916 lb | 0 0 0.00 | 5.09/5.13 c | 5.13 | 0 | -15915 lb | 0 0 0.00 | 5.09/5.17 c | 5.18 | 0 | -15914 lb | 0 0 0.00 | 5.19/5.22 c | 5.22 | 0 | -15913 lb | 0 0 0.00 | 5.19/5.27 c | 5.27 | 0 | -15912 lb | 0 0 0.00 | 5.28/5.32 c | 5.32 | 0 | -15911 lb | 0 0 0.00 | 5.28/5.36 c | 5.37 | 0 | -15910 lb | 0 0 0.00 | 5.40/5.41 c | 5.42 | 0 | -15909 lb | 0 0 0.00 | 5.40/5.46 c | 5.46 | 0 | -15908 lb | 0 0 0.00 | 5.50/5.51 c | 5.51 | 0 | -15907 lb | 0 0 0.00 | 5.50/5.55 c | 5.56 | 0 | -15906 lb | 0 0 0.00 | 5.59/5.60 c | 5.61 | 0 | -15905 lb | 0 0 0.00 | 5.59/5.65 c | 5.65 | 0 | -15904 lb | 0 0 0.00 | 5.69/5.70 c | 5.70 | 0 | -15903 lb | 0 0 0.00 | 5.69/5.75 c | 5.75 | 0 | -15902 lb | 0 0 0.00 | 5.79/5.80 c | 5.80 | 0 | -15901 lb | 0 0 0.00 | 5.79/5.85 c | 5.85 | 0 | -15900 lb | 0 0 0.00 | 5.79/5.89 c | 5.90 | 0 | -15899 lb | 0 0 0.00 | 5.89/5.94 c | 5.95 | 0 | -15898 lb | 0 0 0.00 | 5.89/5.99 c | 6.00 | 0 | -15897 lb | 0 0 0.00 | 5.99/6.04 c | 6.04 | 0 | -15896 lb | 0 0 0.00 | 5.99/6.09 c | 6.09 | 0 | -15895 lb | 0 0 0.00 | 6.09/6.14 c | 6.14 | 0 | -15894 lb | 0 0 0.00 | 6.09/6.19 c | 6.19 | 0 | -15893 lb | 0 0 0.00 | 6.19/6.24 c | 6.24 | 0 | -15892 lb | 0 0 0.00 | 6.19/6.29 c | 6.29 | 0 | -15891 lb | 0 0 0.00 | 6.29/6.34 c | 6.34 | 0 | -15890 lb | 0 0 0.00 | 6.29/6.39 c | 6.40 | 0 | -15889 lb | 0 0 0.00 | 6.39/6.44 c | 6.45 | 0 | -15888 lb | 0 0 0.00 | 6.39/6.49 c | 6.50 | 0 | -15887 lb | 0 0 0.00 | 6.49/6.54 c | 6.55 | 0 | -15886 lb | 0 0 0.00 | 6.49/6.60 c | 6.60 | 0 | -15885 lb | 0 0 0.00 | 6.59/6.65 c | 6.65 | 0 | -15884 lb | 0 0 0.00 | 6.68/6.70 c | 6.70 | 0 | -15883 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | -15882 lb | 0 0 0.00 | 6.79/6.80 c | 6.80 | 0 | -15881 lb | 0 0 0.00 | 6.79/6.85 c | 6.85 | 0 | -15880 lb | 0 0 0.00 | 6.89/6.90 c | 6.91 | 0 | -15879 lb | 0 0 0.00 | 6.89/6.96 c | 6.96 | 0 | -15878 lb | 0 0 0.00 | 6.99/7.01 c | 7.01 | 0 | -15877 lb | 0 0 0.00 | 6.99/7.06 c | 7.06 | 0 | -15876 lb | 0 0 0.00 | 7.09/7.11 c | 7.12 | 0 | -15875 lb | 0 0 0.00 | 7.09/7.16 c | 7.17 | 0 | -15874 lb | 0 0 0.00 | 7.18/7.22 c | 7.22 | 0 | -15873 lb | 0 0 0.00 | 7.18/7.27 c | 7.27 | 0 | -15872 lb | 0 0 0.00 | 7.29/7.32 c | 7.33 | 0 | -15871 lb | 0 0 0.00 | 7.29/7.37 c | 7.38 | 0 | -15870 lb | 0 0 0.00 | 7.39/7.43 c | 7.43 | 0 | -15869 lb | 0 0 0.00 | 7.39/7.48 c | 7.48 | 0 | -15868 lb | 0 0 0.00 | 7.49/7.53 c | 7.54 | 0 | -15867 lb | 0 0 0.00 | 7.49/7.59 c | 7.59 | 0 | -15866 lb | 0 0 0.00 | 7.59/7.64 c | 7.65 | 0 | -15865 lb | 0 0 0.00 | 7.59/7.69 c | 7.70 | 0 | -15864 lb | 0 0 0.00 | 7.70/7.75 c | 7.75 | 0 | -15863 lb | 0 0 0.00 | 7.79/7.80 c | 7.81 | 0 | -15862 lb | 0 0 0.00 | 7.79/7.85 c | 7.86 | 0 | -15861 lb | 0 0 0.00 | 7.89/7.91 c | 7.91 | 0 | -15860 lb | 0 0 0.00 | 7.89/7.96 c | 7.96 | 0 | -15859 lb | 0 0 0.00 | 7.99/8.02 c | 8.02 | 0 | -15858 lb | 0 0 0.00 | 7.99/8.07 c | 8.07 | 0 | -15857 lb | 0 0 0.00 | 8.09/8.13 c | 8.13 | 0 | -15856 lb | 0 0 0.00 | 8.09/8.18 c | 8.18 | 0 | -15855 lb | 0 0 0.00 | 8.19/8.23 c | 8.24 | 0 | -15854 lb | 0 0 0.00 | 8.19/8.29 c | 8.29 | 0 | -15853 lb | 0 0 0.00 | 8.29/8.34 c | 8.35 | 0 | -15852 lb | 0 0 0.00 | 8.39/8.40 c | 8.40 | 0 | -15851 lb | 0 0 0.00 | 8.39/8.45 c | 8.46 | 0 | -15850 lb | 0 0 0.00 | 8.49/8.51 c | 8.51 | 0 | -15849 lb | 0 0 0.00 | 8.49/8.57 c | 8.57 | 0 | -15848 lb | 0 0 0.00 | 8.58/8.62 c | 8.62 | 0 | -15847 lb | 0 0 0.00 | 8.58/8.68 c | 8.68 | 0 | -15846 lb | 0 0 0.00 | 8.69/8.73 c | 8.74 | 0 | -15845 lb | 0 0 0.00 | 8.69/8.79 c | 8.79 | 0 | -15844 lb | 0 0 0.00 | 8.80/8.85 c | 8.85 | 0 | -15843 lb | 0 0 0.00 | 8.89/8.90 c | 8.91 | 0 | -15842 lb | 0 0 0.00 | 8.89/8.96 c | 8.96 | 0 | -15841 lb | 0 0 0.00 | 8.99/9.02 c | 9.02 | 0 | -15840 lb | 0 0 0.00 | 8.99/9.08 c | 9.08 | 0 | -15839 lb | 0 0 0.00 | 9.09/9.13 c | 9.14 | 0 | -15838 lb | 0 0 0.00 | 9.09/9.19 c | 9.19 | 0 | -15837 lb | 0 0 0.00 | 9.18/9.25 c | 9.25 | 0 | -15836 lb | 0 0 0.00 | 9.28/9.30 c | 9.31 | 0 | -15835 lb | 0 0 0.00 | 9.28/9.36 c | 9.37 | 0 | -15834 lb | 0 0 0.00 | 9.39/9.42 c | 9.42 | 0 | -15833 lb | 0 0 0.00 | 9.39/9.48 c | 9.48 | 0 | -15832 lb | 0 0 0.00 | 9.49/9.53 c | 9.54 | 0 | -15831 lb | 0 0 0.00 | 9.49/9.59 c | 9.60 | 0 | -15830 lb | 0 0 0.00 | 9.59/9.65 c | 9.65 | 0 | -15829 lb | 0 0 0.00 | 9.69/9.71 c | 9.71 | 0 | -15828 lb | 0 0 0.00 | 9.69/9.77 c | 9.77 | 0 | -15827 lb | 0 0 0.00 | 9.79/9.83 c | 9.83 | 0 | -15826 lb | 0 0 0.00 | 9.79/9.88 c | 9.89 | 0 | -15825 lb | 0 0 0.00 | 9.89/9.94 c | 9.95 | 0 | -15824 lb | 0 0 0.00 | 9.98/10.00 c | 10.00 | 0 | -15823 lb | 0 0 0.00 | 9.98/10.06 c | 10.06 | 0 | -15822 lb | 0 0 0.00 | 10.09/10.12 c | 10.12 | 0 | -15821 lb | 0 0 0.00 | 10.09/10.18 c | 10.18 | 0 | -15820 lb | 0 0 0.00 | 10.19/10.24 c | 10.24 | 0 | -15819 lb | 0 0 0.00 | 10.29/10.30 c | 10.30 | 0 | -15818 lb | 0 0 0.00 | 10.29/10.36 c | 10.36 | 0 | -15817 lb | 0 0 0.00 | 10.38/10.42 c | 10.42 | 0 | -15816 lb | 0 0 0.00 | 10.38/10.48 c | 10.48 | 0 | -15815 lb | 0 0 0.00 | 10.48/10.54 c | 10.54 | 0 | -15814 lb | 0 0 0.00 | 10.58/10.60 c | 10.60 | 0 | -15813 lb | 0 0 0.00 | 10.58/10.66 c | 10.66 | 0 | -15812 lb | 0 0 0.00 | 10.69/10.72 c | 10.72 | 0 | -15811 lb | 0 0 0.00 | 10.69/10.78 c | 10.78 | 0 | -15810 lb | 0 0 0.00 | 10.79/10.84 c | 10.84 | 0 | -15809 lb | 0 0 0.00 | 10.89/10.90 c | 10.91 | 0 | -15808 lb | 0 0 0.00 | 10.89/10.96 c | 10.97 | 0 | -15807 lb | 0 0 0.00 | 10.99/11.02 c | 11.03 | 0 | -15806 lb | 0 0 0.00 | 10.99/11.09 c | 11.09 | 0 | -15805 lb | 0 0 0.00 | 11.09/11.15 c | 11.15 | 0 | -15804 lb | 0 0 0.00 | 11.18/11.21 c | 11.21 | 0 | -15803 lb | 0 0 0.00 | 11.18/11.27 c | 11.27 | 0 | -15802 lb | 0 0 0.00 | 11.28/11.33 c | 11.33 | 0 | -15801 lb | 0 0 0.00 | 11.28/11.39 c | 11.40 | 0 | -15800 lb | 0 0 0.00 | 11.38/11.46 c | 11.46 | 0 | -15799 lb | 0 0 0.00 | 11.48/11.52 c | 11.52 | 0 | -15798 lb | 0 0 0.00 | 11.48/11.58 c | 11.59 | 0 | -15797 lb | 0 0 0.00 | 11.59/11.64 c | 11.65 | 0 | -15796 lb | 0 0 0.00 | 11.69/11.71 c | 11.71 | 0 | -15795 lb | 0 0 0.00 | 11.69/11.78 c | 11.78 | 0 | -15794 lb | 0 0 0.00 | 11.79/11.86 c | 11.86 | 0 | -15793 lb | 0 0 0.00 | 11.89/11.93 c | 11.94 | 0 | -15792 lb | 0 0 0.00 | 12.00/12.01 c | 12.01 | 0 | -15791 lb | 0 0 0.00 | 12.00/12.08 c | 12.09 | 0 | -15790 lb | 0 0 0.00 | 12.10/12.16 c | 12.16 | 0 | -15789 lb | 0 0 0.00 | 12.19/12.23 c | 12.24 | 0 | -15788 lb | 0 0 0.00 | 12.29/12.31 c | 12.31 | 0 | -15787 lb | 0 0 0.00 | 12.29/12.39 c | 12.39 | 0 | -15786 lb | 0 0 0.00 | 12.39/12.46 c | 12.47 | 0 | -15785 lb | 0 0 0.00 | 12.49/12.54 c | 12.54 | 0 | -15784 lb | 0 0 0.00 | 12.59/12.62 c | 12.62 | 0 | -15783 lb | 0 0 0.00 | 12.59/12.69 c | 12.70 | 0 | -15782 lb | 0 0 0.00 | 12.69/12.77 c | 12.77 | 0 | -15781 lb | 0 0 0.00 | 12.79/12.85 c | 12.85 | 0 | -15780 lb | 0 0 0.00 | 12.89/12.92 c | 12.93 | 0 | -15779 lb | 0 0 0.00 | 12.98/13.00 c | 13.01 | 0 | -15778 lb | 0 0 0.00 | 12.98/13.08 c | 13.08 | 0 | -15777 lb | 0 0 0.00 | 13.09/13.16 c | 13.16 | 0 | -15776 lb | 0 0 0.00 | 13.20/13.24 c | 13.24 | 0 | -15775 lb | 0 0 0.00 | 13.29/13.32 c | 13.32 | 0 | -15774 lb | 0 0 0.00 | 13.29/13.39 c | 13.40 | 0 | -15773 lb | 0 0 0.00 | 13.39/13.47 c | 13.48 | 0 | -15772 lb | 0 0 0.00 | 13.49/13.55 c | 13.56 | 0 | -15771 lb | 0 0 0.00 | 13.59/13.63 c | 13.64 | 0 | -15770 lb | 0 0 0.00 | 13.69/13.71 c | 13.72 | 0 | -15769 lb | 0 0 0.00 | 13.69/13.79 c | 13.80 | 0 | -15768 lb | 0 0 0.00 | 13.79/13.87 c | 13.88 | 0 | -15767 lb | 0 0 0.00 | 13.89/13.95 c | 13.96 | 0 | -15766 lb | 0 0 0.00 | 13.98/14.03 c | 14.04 | 0 | -15765 lb | 0 0 0.00 | 14.08/14.11 c | 14.12 | 0 | -15764 lb | 0 0 0.00 | 14.08/14.20 c | 14.20 | 0 | -15763 lb | 0 0 0.00 | 14.19/14.28 c | 14.28 | 0 | -15762 lb | 0 0 0.00 | 14.29/14.36 c | 14.36 | 0 | -15761 lb | 0 0 0.00 | 14.38/14.44 c | 14.44 | 0 | -15760 lb | 0 0 0.00 | 14.48/14.52 c | 14.52 | 0 | -15759 lb | 0 0 0.00 | 14.59/14.60 c | 14.60 | 0 | -15758 lb | 0 0 0.00 | 14.59/14.68 c | 14.68 | 0 | -15757 lb | 0 0 0.00 | 14.69/14.76 c | 14.76 | 0 | -15756 lb | 0 0 0.00 | 14.79/14.84 c | 14.84 | 0 | -15755 lb | 0 0 0.00 | 14.89/14.92 c | 14.93 | 0 | -15754 lb | 0 0 0.00 | 14.99/15.00 c | 15.01 | 0 | -15753 lb | 0 0 0.00 | 14.99/15.09 c | 15.09 | 0 | -15752 lb | 0 0 0.00 | 15.09/15.17 c | 15.17 | 0 | -15751 lb | 0 0 0.00 | 15.19/15.25 c | 15.25 | 0 | -15750 lb | 0 0 0.00 | 15.29/15.33 c | 15.33 | 0 | -15749 lb | 0 0 0.00 | 15.39/15.41 c | 15.41 | 0 | -15748 lb | 0 0 0.00 | 15.39/15.49 c | 15.50 | 0 | -15747 lb | 0 0 0.00 | 15.48/15.58 c | 15.58 | 0 | -15746 lb | 0 0 0.00 | 15.59/15.66 c | 15.66 | 0 | -15745 lb | 0 0 0.00 | 15.69/15.74 c | 15.75 | 0 | -15744 lb | 0 0 0.00 | 15.79/15.83 c | 15.83 | 0 | -15743 lb | 0 0 0.00 | 15.89/15.91 c | 15.91 | 0 | -15742 lb | 0 0 0.00 | 15.89/15.99 c | 16.00 | 0 | -15741 lb | 0 0 0.00 | 15.99/16.08 c | 16.08 | 0 | -15740 lb | 0 0 0.00 | 16.09/16.16 c | 16.16 | 0 | -15739 lb | 0 0 0.00 | 16.19/16.24 c | 16.25 | 0 | -15738 lb | 0 0 0.00 | 16.29/16.33 c | 16.33 | 0 | -15737 lb | 0 0 0.00 | 16.39/16.41 c | 16.41 | 0 | -15736 lb | 0 0 0.00 | 16.39/16.50 c | 16.50 | 0 | -15735 lb | 0 0 0.00 | 16.49/16.58 c | 16.58 | 0 | -15734 lb | 0 0 0.00 | 16.59/16.66 c | 16.67 | 0 | -15733 lb | 0 0 0.00 | 16.69/16.75 c | 16.75 | 0 | -15732 lb | 0 0 0.00 | 16.79/16.83 c | 16.84 | 0 | -15731 lb | 0 0 0.00 | 16.89/16.92 c | 16.92 | 0 | -15730 lb | 0 0 0.00 | 16.99/17.00 c | 17.01 | 0 | -15729 lb | 0 0 0.00 | 16.99/17.09 c | 17.09 | 0 | -15728 lb | 0 0 0.00 | 17.08/17.17 c | 17.18 | 0 | -15727 lb | 0 0 0.00 | 17.18/17.26 c | 17.26 | 0 | -15726 lb | 0 0 0.00 | 17.28/17.34 c | 17.35 | 0 | -15725 lb | 0 0 0.00 | 17.38/17.43 c | 17.43 | 0 | -15724 lb | 0 0 0.00 | 17.49/17.51 c | 17.52 | 0 | -15723 lb | 0 0 0.00 | 17.49/17.60 c | 17.60 | 0 | -15722 lb | 0 0 0.00 | 17.59/17.69 c | 17.69 | 0 | -15721 lb | 0 0 0.00 | 17.68/17.77 c | 17.77 | 0 | -15720 lb | 0 0 0.00 | 17.78/17.86 c | 17.86 | 0 | -15719 lb | 0 0 0.00 | 17.88/17.94 c | 17.95 | 0 | -15718 lb | 0 0 0.00 | 17.99/18.03 c | 18.03 | 0 | -15717 lb | 0 0 0.00 | 18.09/18.11 c | 18.12 | 0 | -15716 lb | 0 0 0.00 | 18.19/18.20 c | 18.20 | 0 | -15715 lb | 0 0 0.00 | 18.19/18.29 c | 18.29 | 0 | -15714 lb | 0 0 0.00 | 18.29/18.37 c | 18.38 | 0 | -15713 lb | 0 0 0.00 | 18.39/18.46 c | 18.46 | 0 | -15712 lb | 0 0 0.00 | 18.49/18.55 c | 18.55 | 0 | -15711 lb | 0 0 0.00 | 18.59/18.64 c | 18.64 | 0 | -15710 lb | 0 0 0.00 | 18.69/18.72 c | 18.73 | 0 | -15709 lb | 0 0 0.00 | 18.79/18.81 c | 18.81 | 0 | -15708 lb | 0 0 0.00 | 18.89/18.90 c | 18.90 | 0 | -15707 lb | 0 0 0.00 | 18.89/18.99 c | 18.99 | 0 | -15706 lb | 0 0 0.00 | 18.99/19.07 c | 19.08 | 0 | -15705 lb | 0 0 0.00 | 19.09/19.16 c | 19.16 | 0 | -15704 lb | 0 0 0.00 | 19.19/19.25 c | 19.25 | 0 | -15703 lb | 0 0 0.00 | 19.29/19.34 c | 19.34 | 0 | -15702 lb | 0 0 0.00 | 19.39/19.42 c | 19.43 | 0 | -15701 lb | 0 0 0.00 | 19.49/19.51 c | 19.52 | 0 | -15700 lb | 0 0 0.00 | 19.59/19.60 c | 19.60 | 0 | -15699 lb | 0 0 0.00 | 19.59/19.69 c | 19.69 | 0 | -15698 lb | 0 0 0.00 | 19.69/19.78 c | 19.78 | 0 | -15697 lb | 0 0 0.00 | 19.80/19.87 c | 19.87 | 0 | -15696 lb | 0 0 0.00 | 19.89/19.95 c | 19.96 | 0 | -15695 lb | 0 0 0.00 | 19.99/20.04 c | 20.05 | 0 | -15694 lb | 0 0 0.00 | 20.09/20.13 c | 20.14 | 0 | -15693 lb | 0 0 0.00 | 20.19/20.22 c | 20.23 | 0 | -15692 lb | 0 0 0.00 | 20.29/20.31 c | 20.32 | 0 | -15691 lb | 0 0 0.00 | 20.39/20.40 c | 20.41 | 0 | -15690 lb | 0 0 0.00 | 20.39/20.49 c | 20.50 | 0 | -15689 lb | 0 0 0.00 | 20.48/20.58 c | 20.59 | 0 | -15688 lb | 0 0 0.00 | 20.58/20.67 c | 20.67 | 0 | -15687 lb | 0 0 0.00 | 20.68/20.76 c | 20.77 | 0 | -15686 lb | 0 0 0.00 | 20.79/20.85 c | 20.86 | 0 | -15685 lb | 0 0 0.00 | 20.89/20.94 c | 20.95 | 0 | -15684 lb | 0 0 0.00 | 20.98/21.04 c | 21.04 | 0 | -15683 lb | 0 0 0.00 | 21.08/21.13 c | 21.13 | 0 | -15682 lb | 0 0 0.00 | 21.18/21.22 c | 21.23 | 0 | -15681 lb | 0 0 0.00 | 21.28/21.31 c | 21.32 | 0 | -15680 lb | 0 0 0.00 | 21.39/21.41 c | 21.41 | 0 | -15679 lb | 0 0 0.00 | 21.49/21.50 c | 21.50 | 0 | -15678 lb | 0 0 0.00 | 21.49/21.59 c | 21.59 | 0 | -15677 lb | 0 0 0.00 | 21.59/21.69 c | 21.69 | 0 | -15676 lb | 0 0 0.00 | 21.69/21.78 c | 21.78 | 0 | -15675 lb | 0 0 0.00 | 21.79/21.87 c | 21.88 | 0 | -15674 lb | 0 0 0.00 | 21.89/21.97 c | 21.97 | 0 | -15673 lb | 0 0 0.00 | 21.99/22.06 c | 22.06 | 0 | -15672 lb | 0 0 0.00 | 22.08/22.15 c | 22.16 | 0 | -15671 lb | 0 0 0.00 | 22.18/22.24 c | 22.25 | 0 | -15670 lb | 0 0 0.00 | 22.28/22.33 c | 22.34 | 0 | -15669 lb | 0 0 0.00 | 22.38/22.43 c | 22.43 | 0 | -15668 lb | 0 0 0.00 | 22.48/22.52 c | 22.52 | 0 | -15667 lb | 0 0 0.00 | 22.58/22.61 c | 22.61 | 0 | -15666 lb | 0 0 0.00 | 22.68/22.70 c | 22.71 | 0 | -15665 lb | 0 0 0.00 | 22.78/22.80 c | 22.80 | 0 | -15664 lb | 0 0 0.00 | 22.78/22.89 c | 22.89 | 0 | -15663 lb | 0 0 0.00 | 22.89/22.99 c | 22.99 | 0 | -15662 lb | 0 0 0.00 | 22.99/23.08 c | 23.08 | 0 | -15661 lb | 0 0 0.00 | 23.09/23.17 c | 23.18 | 0 | -15660 lb | 0 0 0.00 | 23.19/23.27 c | 23.27 | 0 | -15659 lb | 0 0 0.00 | 23.29/23.36 c | 23.36 | 0 | -15658 lb | 0 0 0.00 | 23.38/23.46 c | 23.46 | 0 | -15657 lb | 0 0 0.00 | 23.48/23.55 c | 23.55 | 0 | -15656 lb | 0 0 0.00 | 23.58/23.64 c | 23.65 | 0 | -15655 lb | 0 0 0.00 | 23.68/23.74 c | 23.74 | 0 | -15654 lb | 0 0 0.00 | 23.78/23.83 c | 23.83 | 0 | -15653 lb | 0 0 0.00 | 23.88/23.92 c | 23.93 | 0 | -15652 lb | 0 0 0.00 | 23.98/24.02 c | 24.02 | 0 | -15651 lb | 0 0 0.00 | 24.09/24.12 c | 24.12 | 0 | -15650 lb | 0 0 0.00 | 24.19/24.21 c | 24.21 | 0 | -15649 lb | 0 0 0.00 | 24.28/24.31 c | 24.31 | 0 | -15648 lb | 0 0 0.00 | 24.39/24.40 c | 24.40 | 0 | -15647 lb | 0 0 0.00 | 24.39/24.49 c | 24.50 | 0 | -15646 lb | 0 0 0.00 | 24.49/24.59 c | 24.60 | 0 | -15645 lb | 0 0 0.00 | 24.59/24.69 c | 24.70 | 0 | -15644 lb | 0 0 0.00 | 24.69/24.79 c | 24.80 | 0 | -15643 lb | 0 0 0.00 | 24.79/24.89 c | 24.89 | 0 | -15642 lb | 0 0 0.00 | 24.88/24.98 c | 24.99 | 0 | -15641 lb | 0 0 0.00 | 24.98/25.08 c | 25.08 | 0 | -15640 lb | 0 0 0.00 | 25.08/25.17 c | 25.18 | 0 | -15639 lb | 0 0 0.00 | 25.19/25.27 c | 25.27 | 0 | -15638 lb | 0 0 0.00 | 25.29/25.37 c | 25.37 | 0 | -15637 lb | 0 0 0.00 | 25.38/25.46 c | 25.47 | 0 | -15636 lb | 0 0 0.00 | 25.48/25.56 c | 25.56 | 0 | -15635 lb | 0 0 0.00 | 25.58/25.66 c | 25.66 | 0 | -15634 lb | 0 0 0.00 | 25.69/25.75 c | 25.76 | 0 | -15633 lb | 0 0 0.00 | 25.79/25.85 c | 25.85 | 0 | -15632 lb | 0 0 0.00 | 25.89/25.95 c | 25.95 | 0 | -15631 lb | 0 0 0.00 | 25.99/26.04 c | 26.05 | 0 | -15630 lb | 0 0 0.00 | 26.09/26.14 c | 26.14 | 0 | -15629 lb | 0 0 0.00 | 26.19/26.24 c | 26.24 | 0 | -15628 lb | 0 0 0.00 | 26.29/26.34 c | 26.34 | 0 | -15627 lb | 0 0 0.00 | 26.39/26.43 c | 26.44 | 0 | -15626 lb | 0 0 0.00 | 26.49/26.53 c | 26.54 | 0 | -15625 lb | 0 0 0.00 | 26.58/26.63 c | 26.63 | 0 | -15624 lb | 0 0 0.00 | 26.68/26.73 c | 26.73 | 0 | -15623 lb | 0 0 0.00 | 26.78/26.82 c | 26.83 | 0 | -15622 lb | 0 0 0.00 | 26.88/26.92 c | 26.93 | 0 | -15621 lb | 0 0 0.00 | 26.98/27.02 c | 27.02 | 0 | -15620 lb | 0 0 0.00 | 27.08/27.12 c | 27.12 | 0 | -15619 lb | 0 0 0.00 | 27.18/27.22 c | 27.22 | 0 | -15618 lb | 0 0 0.00 | 27.29/27.32 c | 27.32 | 0 | -15617 lb | 0 0 0.00 | 27.39/27.42 c | 27.42 | 0 | -15616 lb | 0 0 0.00 | 27.49/27.52 c | 27.52 | 0 | -15615 lb | 0 0 0.00 | 27.59/27.62 c | 27.62 | 0 | -15614 lb | 0 0 0.00 | 27.68/27.71 c | 27.72 | 0 | -15613 lb | 0 0 0.00 | 27.78/27.81 c | 27.82 | 0 | -15612 lb | 0 0 0.00 | 27.88/27.91 c | 27.92 | 0 | -15611 lb | 0 0 0.00 | 27.98/28.01 c | 28.02 | 0 | -15610 lb | 0 0 0.00 | 28.08/28.11 c | 28.12 | 0 | -15609 lb | 0 0 0.00 | 28.18/28.21 c | 28.22 | 0 | -15608 lb | 0 0 0.00 | 28.28/28.31 c | 28.32 | 0 | -15607 lb | 0 0 0.00 | 28.38/28.41 c | 28.42 | 0 | -15606 lb | 0 0 0.00 | 28.49/28.51 c | 28.52 | 0 | -15605 lb | 0 0 0.00 | 28.59/28.61 c | 28.62 | 0 | -15604 lb | 0 0 0.00 | 28.68/28.72 c | 28.72 | 0 | -15603 lb | 0 0 0.00 | 28.78/28.82 c | 28.82 | 0 | -15602 lb | 0 0 0.00 | 28.88/28.92 c | 28.93 | 0 | -15601 lb | 0 0 0.00 | 28.99/29.02 c | 29.03 | 0 | -15600 lb | 0 0 0.00 | 29.09/29.13 c | 29.13 | 0 | -15599 lb | 0 0 0.00 | 29.18/29.23 c | 29.23 | 0 | -15598 lb | 0 0 0.00 | 29.28/29.33 c | 29.34 | 0 | -15597 lb | 0 0 0.00 | 29.38/29.44 c | 29.44 | 0 | -15596 lb | 0 0 0.00 | 29.48/29.54 c | 29.54 | 0 | -15595 lb | 0 0 0.00 | 29.59/29.64 c | 29.65 | 0 | -15594 lb | 0 0 0.00 | 29.69/29.75 c | 29.75 | 0 | -15593 lb | 0 0 0.00 | 29.79/29.85 c | 29.85 | 0 | -15592 lb | 0 0 0.00 | 29.89/29.95 c | 29.96 | 0 | -15591 lb | 0 0 0.00 | 29.99/30.06 c | 30.06 | 0 | -15590 lb | 0 0 0.00 | 30.09/30.16 c | 30.17 | 0 | -15589 lb | 0 0 0.00 | 30.19/30.27 c | 30.27 | 0 | -15588 lb | 0 0 0.00 | 30.29/30.37 c | 30.37 | 0 | -15587 lb | 0 0 0.00 | 30.39/30.47 c | 30.48 | 0 | -15586 lb | 0 0 0.00 | 30.49/30.58 c | 30.58 | 0 | -15585 lb | 0 0 0.00 | 30.58/30.68 c | 30.68 | 0 | -15584 lb | 0 0 0.00 | 30.69/30.79 c | 30.79 | 0 | -15583 lb | 0 0 0.00 | 30.79/30.89 c | 30.89 | 0 | -15582 lb | 0 0 0.00 | 30.88/30.99 c | 30.99 | 0 | -15581 lb | 0 0 0.00 | 31.08/31.10 c | 31.10 | 0 | -15580 lb | 0 0 0.00 | 31.18/31.20 c | 31.20 | 0 | -15579 lb | 0 0 0.00 | 31.28/31.30 c | 31.30 | 0 | -15578 lb | 0 0 0.00 | 31.38/31.40 c | 31.40 | 0 | -15577 lb | 0 0 0.00 | 31.48/31.50 c | 31.51 | 0 | -15576 lb | 0 0 0.00 | 31.59/31.61 c | 31.61 | 0 | -15575 lb | 0 0 0.00 | 31.69/31.71 c | 31.72 | 0 | -15574 lb | 0 0 0.00 | 31.79/31.82 c | 31.82 | 0 | -15573 lb | 0 0 0.00 | 31.89/31.92 c | 31.93 | 0 | -15572 lb | 0 0 0.00 | 31.99/32.03 c | 32.03 | 0 | -15571 lb | 0 0 0.00 | 32.09/32.13 c | 32.14 | 0 | -15570 lb | 0 0 0.00 | 32.19/32.24 c | 32.24 | 0 | -15569 lb | 0 0 0.00 | 32.28/32.35 c | 32.35 | 0 | -15568 lb | 0 0 0.00 | 32.38/32.45 c | 32.45 | 0 | -15567 lb | 0 0 0.00 | 32.48/32.56 c | 32.56 | 0 | -15566 lb | 0 0 0.00 | 32.58/32.66 c | 32.67 | 0 | -15565 lb | 0 0 0.00 | 32.68/32.77 c | 32.77 | 0 | -15564 lb | 0 0 0.00 | 32.78/32.87 c | 32.88 | 0 | -15563 lb | 0 0 0.00 | 32.89/32.98 c | 32.98 | 0 | -15562 lb | 0 0 0.00 | 32.99/33.09 c | 33.09 | 0 | -15561 lb | 0 0 0.00 | 33.08/33.19 c | 33.20 | 0 | -15560 lb | 0 0 0.00 | 33.29/33.30 c | 33.30 | 0 | -15559 lb | 0 0 0.00 | 33.39/33.41 c | 33.41 | 0 | -15558 lb | 0 0 0.00 | 33.49/33.51 c | 33.52 | 0 | -15557 lb | 0 0 0.00 | 33.58/33.62 c | 33.62 | 0 | -15556 lb | 0 0 0.00 | 33.68/33.73 c | 33.73 | 0 | -15555 lb | 0 0 0.00 | 33.78/33.84 c | 33.84 | 0 | -15554 lb | 0 0 0.00 | 33.88/33.94 c | 33.95 | 0 | -15553 lb | 0 0 0.00 | 33.99/34.05 c | 34.06 | 0 | -15552 lb | 0 0 0.00 | 34.09/34.16 c | 34.16 | 0 | -15551 lb | 0 0 0.00 | 34.18/34.27 c | 34.27 | 0 | -15550 lb | 0 0 0.00 | 34.28/34.37 c | 34.38 | 0 | -15549 lb | 0 0 0.00 | 34.38/34.48 c | 34.48 | 0 | -15548 lb | 0 0 0.00 | 34.48/34.59 c | 34.59 | 0 | -15547 lb | 0 0 0.00 | 34.58/34.70 c | 34.70 | 0 | -15546 lb | 0 0 0.00 | 34.78/34.80 c | 34.81 | 0 | -15545 lb | 0 0 0.00 | 34.89/34.91 c | 34.92 | 0 | -15544 lb | 0 0 0.00 | 34.99/35.02 c | 35.02 | 0 | -15543 lb | 0 0 0.00 | 35.09/35.13 c | 35.13 | 0 | -15542 lb | 0 0 0.00 | 35.19/35.24 c | 35.24 | 0 | -15541 lb | 0 0 0.00 | 35.28/35.35 c | 35.35 | 0 | -15540 lb | 0 0 0.00 | 35.38/35.46 c | 35.46 | 0 | -15539 lb | 0 0 0.00 | 35.48/35.57 c | 35.57 | 0 | -15538 lb | 0 0 0.00 | 35.59/35.68 c | 35.69 | 0 | -15537 lb | 0 0 0.00 | 35.68/35.79 c | 35.80 | 0 | -15536 lb | 0 0 0.00 | 35.88/35.90 c | 35.90 | 0 | -15535 lb | 0 0 0.00 | 35.98/36.01 c | 36.01 | 0 | -15534 lb | 0 0 0.00 | 36.08/36.12 c | 36.12 | 0 | -15533 lb | 0 0 0.00 | 36.19/36.23 c | 36.23 | 0 | -15532 lb | 0 0 0.00 | 36.28/36.34 c | 36.34 | 0 | -15531 lb | 0 0 0.00 | 36.38/36.45 c | 36.45 | 0 | -15530 lb | 0 0 0.00 | 36.48/36.56 c | 36.56 | 0 | -15529 lb | 0 0 0.00 | 36.58/36.67 c | 36.67 | 0 | -15528 lb | 0 0 0.00 | 36.68/36.78 c | 36.78 | 0 | -15527 lb | 0 0 0.00 | 36.78/36.89 c | 36.89 | 0 | -15526 lb | 0 0 0.00 | 36.97/37.00 c | 37.01 | 0 | -15525 lb | 0 0 0.00 | 37.07/37.11 c | 37.12 | 0 | -15524 lb | 0 0 0.00 | 37.18/37.22 c | 37.23 | 0 | -15523 lb | 0 0 0.00 | 37.29/37.33 c | 37.34 | 0 | -15522 lb | 0 0 0.00 | 37.38/37.44 c | 37.45 | 0 | -15521 lb | 0 0 0.00 | 37.48/37.55 c | 37.56 | 0 | -15520 lb | 0 0 0.00 | 37.58/37.66 c | 37.67 | 0 | -15519 lb | 0 0 0.00 | 37.68/37.78 c | 37.78 | 0 | -15518 lb | 0 0 0.00 | 37.78/37.89 c | 37.89 | 0 | -15517 lb | 0 0 0.00 | 37.98/38.00 c | 38.00 | 0 | -15516 lb | 0 0 0.00 | 38.08/38.11 c | 38.11 | 0 | -15515 lb | 0 0 0.00 | 38.18/38.22 c | 38.23 | 0 | -15514 lb | 0 0 0.00 | 38.28/38.33 c | 38.34 | 0 | -15513 lb | 0 0 0.00 | 38.38/38.44 c | 38.45 | 0 | -15512 lb | 0 0 0.00 | 38.48/38.56 c | 38.56 | 0 | -15511 lb | 0 0 0.00 | 38.57/38.67 c | 38.67 | 0 | -15510 lb | 0 0 0.00 | 38.67/38.78 c | 38.78 | 0 | -15509 lb | 0 0 0.00 | 38.77/38.89 c | 38.90 | 0 | -15508 lb | 0 0 0.00 | 38.97/39.00 c | 39.01 | 0 | -15507 lb | 0 0 0.00 | 39.07/39.12 c | 39.12 | 0 | -15506 lb | 0 0 0.00 | 39.17/39.23 c | 39.23 | 0 | -15505 lb | 0 0 0.00 | 39.27/39.34 c | 39.34 | 0 | -15504 lb | 0 0 0.00 | 39.37/39.45 c | 39.46 | 0 | -15503 lb | 0 0 0.00 | 39.48/39.57 c | 39.57 | 0 | -15502 lb | 0 0 0.00 | 39.58/39.68 c | 39.68 | 0 | -15501 lb | 0 0 0.00 | 39.67/39.79 c | 39.80 | 0 | -15500 lb | 0 0 0.00 | 39.87/39.91 c | 39.91 | 0 | -15499 lb | 0 0 0.00 | 39.97/40.02 c | 40.03 | 0 | -15498 lb | 0 0 0.00 | 40.08/40.13 c | 40.14 | 0 | -15497 lb | 0 0 0.00 | 40.18/40.25 c | 40.25 | 0 | -15496 lb | 0 0 0.00 | 40.28/40.36 c | 40.37 | 0 | -15495 lb | 0 0 0.00 | 40.38/40.48 c | 40.48 | 0 | -15494 lb | 0 0 0.00 | 40.48/40.59 c | 40.60 | 0 | -15493 lb | 0 0 0.00 | 40.68/40.71 c | 40.71 | 0 | -15492 lb | 0 0 0.00 | 40.78/40.82 c | 40.83 | 0 | -15491 lb | 0 0 0.00 | 40.88/40.94 c | 40.94 | 0 | -15490 lb | 0 0 0.00 | 40.98/41.05 c | 41.06 | 0 | -15489 lb | 0 0 0.00 | 41.08/41.17 c | 41.17 | 0 | -15488 lb | 0 0 0.00 | 41.17/41.29 c | 41.29 | 0 | -15487 lb | 0 0 0.00 | 41.37/41.40 c | 41.40 | 0 | -15486 lb | 0 0 0.00 | 41.47/41.51 c | 41.52 | 0 | -15485 lb | 0 0 0.00 | 41.57/41.63 c | 41.63 | 0 | -15484 lb | 0 0 0.00 | 41.68/41.75 c | 41.75 | 0 | -15483 lb | 0 0 0.00 | 41.78/41.86 c | 41.87 | 0 | -15482 lb | 0 0 0.00 | 41.87/41.98 c | 41.98 | 0 | -15481 lb | 0 0 0.00 | 41.97/42.09 c | 42.10 | 0 | -15480 lb | 0 0 0.00 | 42.18/42.21 c | 42.22 | 0 | -15479 lb | 0 0 0.00 | 42.28/42.33 c | 42.34 | 0 | -15478 lb | 0 0 0.00 | 42.38/42.45 c | 42.45 | 0 | -15477 lb | 0 0 0.00 | 42.48/42.57 c | 42.57 | 0 | -15476 lb | 0 0 0.00 | 42.58/42.68 c | 42.69 | 0 | -15475 lb | 0 0 0.00 | 42.78/42.80 c | 42.81 | 0 | -15474 lb | 0 0 0.00 | 42.88/42.92 c | 42.93 | 0 | -15473 lb | 0 0 0.00 | 42.98/43.04 c | 43.05 | 0 | -15472 lb | 0 0 0.00 | 43.08/43.16 c | 43.16 | 0 | -15471 lb | 0 0 0.00 | 43.18/43.28 c | 43.28 | 0 | -15470 lb | 0 0 0.00 | 43.37/43.40 c | 43.41 | 0 | -15469 lb | 0 0 0.00 | 43.48/43.52 c | 43.53 | 0 | -15468 lb | 0 0 0.00 | 43.58/43.64 c | 43.65 | 0 | -15467 lb | 0 0 0.00 | 43.68/43.75 c | 43.76 | 0 | -15466 lb | 0 0 0.00 | 43.78/43.87 c | 43.87 | 0 | -15465 lb | 0 0 0.00 | 43.88/43.99 c | 43.99 | 0 | -15464 lb | 0 0 0.00 | 44.07/44.11 c | 44.11 | 0 | -15463 lb | 0 0 0.00 | 44.17/44.23 c | 44.24 | 0 | -15462 lb | 0 0 0.00 | 44.27/44.36 c | 44.36 | 0 | -15461 lb | 0 0 0.00 | 44.37/44.49 c | 44.49 | 0 | -15460 lb | 0 0 0.00 | 44.57/44.61 c | 44.62 | 0 | -15459 lb | 0 0 0.00 | 44.67/44.76 c | 44.77 | 0 | -15458 lb | 0 0 0.00 | 44.87/44.90 c | 44.90 | 0 | -15457 lb | 0 0 0.00 | 44.98/45.03 c | 45.04 | 0 | -15456 lb | 0 0 0.00 | 45.08/45.16 c | 45.17 | 0 | -15455 lb | 0 0 0.00 | 45.27/45.30 c | 45.30 | 0 | -15454 lb | 0 0 0.00 | 45.38/45.45 c | 45.46 | 0 | -15453 lb | 0 0 0.00 | 45.58/45.62 c | 45.63 | 0 | -15452 lb | 0 0 0.00 | 45.77/45.81 c | 45.81 | 0 | -15451 lb | 0 0 0.00 | 45.87/45.97 c | 45.98 | 0 | -15450 lb | 0 0 0.00 | 46.18/46.22 c | 46.22 | 0 | -15449 lb | 0 0 0.00 | 46.47/46.51 c | 46.52 | 0 | -15448 lb | 0 0 0.00 | 46.67/46.78 c | 46.78 | 0 | -15447 lb | 0 0 0.00 | 46.87/46.91 c | 46.92 | 0 | -15446 lb | 0 0 0.00 | 46.97/47.06 c | 47.07 | 0 | -15445 lb | 0 0 0.00 | 47.67/47.72 c | 47.73 | 0 | -15444 lb | 0 0 0.00 | 47.87/47.99 c | 48.00 | 0 | -15443 lb | 0 0 0.00 | 50.77/50.87 c | 50.88 | 0 | -15442 lb | 0 0 0.00 | 52.17/52.29 c | 52.30 | 0 | -15441 lb | 0 0 0.00 | 53.57/53.66 c | 53.67 | 0 | -15440 lb | 0 0 0.00 | 54.16/54.22 c | 54.23 | 0 | -15439 lb | 0 0 0.00 | 54.66/54.74 c | 54.74 | 0 | -15438 lb | 0 0 0.00 | 57.86/57.97 c | 57.98 | 0 | -15437 lb | 0 0 0.00 | 65.65/65.79 c | 65.80 | 0 | -15436 lb | 0 0 0.00 | 65.86/65.98 c | 65.99 | 0 | -15435 lb | 0 0 0.00 | 66.15/66.25 c | 66.25 | 0 | -15434 lb | 0 0 0.00 | 66.75/66.87 c | 66.87 | 0 | -15433 lb | 0 0 0.00 | 67.15/67.26 c | 67.26 | 0 | -15432 lb | 0 0 0.00 | 67.95/68.07 c | 68.08 | 0 | -15431 lb | 0 0 0.00 | 68.15/68.22 c | 68.22 | 0 | -15430 lb | 0 0 0.00 | 68.55/68.67 c | 68.68 | 0 | -15429 lb | 0 0 0.00 | 70.75/70.84 c | 70.84 | 0 | -15428 lb | 0 0 0.00 | 71.15/71.24 c | 71.24 | 0 | -15427 lb | 0 0 0.00 | 71.45/71.50 c | 71.51 | 0 | -15426 lb | 0 0 0.00 | 92.93/93.00 c | 93.00 | 0 | -15425 lb | 0 0 0.00 | 93.63/93.73 c | 93.73 | 0 | -15424 lb | 0 0 0.00 | 95.33/95.46 c | 95.47 | 0 | -15423 lb | 0 0 0.00 | 96.32/96.40 c | 96.40 | 0 | -15422 lb | 0 0 0.00 | 98.52/98.66 c | 98.67 | 0 | -15421 lb | 0 0 0.00 | 98.72/98.81 c | 98.82 | 0 | -15420 lb | 0 0 0.00 | 99.42/99.51 c | 99.51 | 0 | -15419 lb | 0 0 0.00 | 101.32/101.42 c | 101.43 | 0 | -15418 lb | 0 0 0.00 | 102.12/102.23 c | 102.23 | 0 | -15417 lb | 0 0 0.00 | 104.32/104.49 c | 104.49 | 0 | -15416 lb | 0 0 0.00 | 107.22/107.39 c | 107.39 | 0 | -15415 lb | 0 0 0.00 | 111.12/111.24 c | 111.24 | 0 | -15414 lb | 0 0 0.00 | 111.21/111.36 c | 111.37 | 0 | -15413 lb | 0 0 0.00 | 113.31/113.44 c | 113.45 | 0 | -15412 lb | 0 0 0.00 | 118.61/118.77 c | 118.77 | 0 | -15411 lb | 0 0 0.00 | 122.21/122.36 c | 122.37 | 0 | -15410 lb | 0 0 0.00 | 122.31/122.49 c | 122.49 | 0 | -15409 lb | 0 0 0.00 | 122.51/122.60 c | 122.60 | 0 | -15408 lb | 0 0 0.00 | 123.21/123.33 c | 123.33 | 0 | -15407 lb | 0 0 0.00 | 123.31/123.47 c | 123.48 | 0 | -15406 lb | 0 0 0.00 | 123.51/123.60 c | 123.61 | 0 | -15405 lb | 0 0 0.00 | 123.61/123.73 c | 123.74 | 0 | -15404 lb | 0 0 0.00 | 123.71/123.85 c | 123.86 | 0 | -15403 lb | 0 0 0.00 | 123.91/124.02 c | 124.02 | 0 | -15402 lb | 0 0 0.00 | 124.01/124.14 c | 124.14 | 0 | -15401 lb | 0 0 0.00 | 124.21/124.35 c | 124.35 | 0 | -15400 lb | 0 0 0.00 | 125.41/125.59 c | 125.59 | 0 | -15399 lb | 0 0 0.00 | 125.90/126.09 c | 126.09 | 0 | -15398 lb | 0 0 0.00 | 130.30/130.49 c | 130.49 | 0 | -15397 lb | 0 0 0.00 | 130.50/130.61 c | 130.61 | 0 | -15396 lb | 0 0 0.00 | 130.59/130.72 c | 130.73 | 0 | -15395 lb | 0 0 0.00 | 130.70/130.85 c | 130.85 | 0 | -15394 lb | 0 0 0.00 | 177.65/177.86 c | 177.86 | 0 | -15393 lb | 0 0 0.00 | 247.13/247.32 c | 247.32 | 0 | -15392 lb | 0 0 0.00 | 248.44/248.64 c | 248.64 | 0 | -15391 lb | 0 0 0.00 | 251.43/251.68 c | 251.68 | 0 | -15390 lb | 0 0 0.00 | 251.63/251.80 c | 251.81 | 0 | -15389 lb | 0 0 0.00 | 251.73/251.92 c | 251.93 | 0 | -15388 lb | 0 0 0.00 | 251.83/252.04 c | 252.04 | 0 | -15387 lb | 0 0 0.00 | 251.93/252.17 c | 252.17 | 0 | -15386 lb | 0 0 0.00 | 419.00/419.21 c | 419.21 | 0 | -15385 lb | 0 0 0.00 | 1800.09/1800.61 c =============================================================================== 1800.09/1800.61 c Wall Clock Time: 1800.62 s 1800.09/1800.61 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-3727876-1338671824/watcher-3727876-1338671824 -o /tmp/evaluation-result-3727876-1338671824/solver-3727876-1338671824 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727876-1338671824.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 1.99 2/177 30889 /proc/meminfo: memFree=28017424/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=6848 CPUtime=0 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) R 30887 30889 30511 0 -1 4202496 562 0 0 0 0 0 0 0 20 0 1 0 333308122 7012352 514 33554432000 4194304 5964350 140734852509200 140734500821832 4395326 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 1712 515 158 433 0 634 0 [startup+0.094021 s] /proc/loadavg: 2.00 2.00 1.99 2/177 30889 /proc/meminfo: memFree=28017424/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=19212 CPUtime=0.08 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) R 30887 30889 30511 0 -1 4202496 3918 0 0 0 8 0 0 0 20 0 1 0 333308122 19673088 3716 33554432000 4194304 5964350 140734852509200 140734852507800 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 4803 3716 414 433 0 3725 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19212 [startup+0.100257 s] /proc/loadavg: 2.00 2.00 1.99 2/177 30889 /proc/meminfo: memFree=28017424/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=19344 CPUtime=0.09 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) R 30887 30889 30511 0 -1 4202496 3977 0 0 0 9 0 0 0 20 0 1 0 333308122 19808256 3775 33554432000 4194304 5964350 140734852509200 140734852507800 4344688 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 4836 3775 432 433 0 3758 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19344 [startup+0.300267 s] /proc/loadavg: 2.00 2.00 1.99 2/177 30889 /proc/meminfo: memFree=28017424/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=107084 CPUtime=0.29 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 11178 0 0 0 27 2 0 0 20 0 2 0 333308122 109654016 9586 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 26771 9586 183 433 0 26335 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 107084 [startup+0.700276 s] /proc/loadavg: 2.00 2.00 1.99 2/177 30889 /proc/meminfo: memFree=28017424/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=101296 CPUtime=0.69 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 18406 0 0 0 66 3 0 0 20 0 2 0 333308122 103727104 13961 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 25324 13961 191 433 0 24888 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 101296 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 1.99 3/179 30891 /proc/meminfo: memFree=27958244/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=101296 CPUtime=1.49 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 24781 0 0 0 145 4 0 0 20 0 2 0 333308122 103727104 15179 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 25324 15183 191 433 0 24888 0 [pid=30889/tid=30891] ppid=30887 vsize=101296 CPUtime=1.25 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 18865 0 0 0 123 2 0 0 20 0 2 0 333308145 103727104 15189 33554432000 4194304 5964350 140734852509200 140014143646232 4395119 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 101296 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 1.99 3/179 30891 /proc/meminfo: memFree=27947456/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=101296 CPUtime=3.09 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 37351 0 0 0 303 6 0 0 20 0 2 0 333308122 103727104 19162 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 25324 19162 191 433 0 24888 0 [pid=30889/tid=30891] ppid=30887 vsize=101296 CPUtime=2.85 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 31425 0 0 0 280 5 0 0 20 0 2 0 333308145 103727104 19162 33554432000 4194304 5964350 140734852509200 140014143646104 5139005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 101296 [startup+6.30031 s] /proc/loadavg: 2.00 2.00 1.99 3/179 30891 /proc/meminfo: memFree=27918624/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=166832 CPUtime=6.29 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 63115 0 0 0 619 10 0 0 20 0 2 0 333308122 170835968 26766 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 41708 26766 191 433 0 41272 0 [pid=30889/tid=30891] ppid=30887 vsize=166832 CPUtime=6.04 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 57189 0 0 0 595 9 0 0 20 0 2 0 333308145 170835968 26766 33554432000 4194304 5964350 140734852509200 140014143646232 4396183 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 166832 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.99 3/179 30891 /proc/meminfo: memFree=27867040/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=232368 CPUtime=12.69 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 109423 0 0 0 1251 18 0 0 20 0 2 0 333308122 237944832 38974 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 58092 38974 193 433 0 57656 0 [pid=30889/tid=30891] ppid=30887 vsize=232368 CPUtime=12.42 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 103497 0 0 0 1225 17 0 0 20 0 2 0 333308145 237944832 38974 33554432000 4194304 5964350 140734852509200 140014143646232 5179179 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 232368 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.99 3/179 30891 /proc/meminfo: memFree=27798912/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=298020 CPUtime=25.48 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 166878 0 0 0 2521 27 0 0 20 0 2 0 333308122 305172480 55851 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 74505 55851 194 433 0 74069 0 [pid=30889/tid=30891] ppid=30887 vsize=298020 CPUtime=25.19 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 160952 0 0 0 2493 26 0 0 20 0 2 0 333308145 305172480 55851 33554432000 4194304 5964350 140734852509200 140014143646232 5135577 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 298020 [startup+51.1003 s] /proc/loadavg: 2.06 2.01 2.00 3/179 30891 /proc/meminfo: memFree=27698532/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=363556 CPUtime=51.07 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 245739 0 0 0 5067 40 0 0 20 0 2 0 333308122 372281344 79857 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 90889 79857 195 433 0 90453 0 [pid=30889/tid=30891] ppid=30887 vsize=363556 CPUtime=50.71 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 239813 0 0 0 5032 39 0 0 20 0 2 0 333308145 372281344 79857 33554432000 4194304 5964350 140734852509200 140014143646536 4390798 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 363556 [startup+102.306 s] /proc/loadavg: 2.02 2.01 2.00 3/179 30891 /proc/meminfo: memFree=27665400/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=102.22 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 258394 0 0 0 10180 42 0 0 20 0 2 0 333308122 439390208 87482 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 87482 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=101.75 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 252468 0 0 0 10133 42 0 0 20 0 2 0 333308145 439390208 87482 33554432000 4194304 5964350 140734852509200 140014143646232 5142429 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 429092 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 30891 /proc/meminfo: memFree=27664996/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=162.16 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 259758 0 0 0 16173 43 0 0 20 0 2 0 333308122 439390208 87529 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 87529 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=161.54 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 253832 0 0 0 16110 44 0 0 20 0 2 0 333308145 439390208 87529 33554432000 4194304 5964350 140734852509200 140014143646232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 429092 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/180 30895 /proc/meminfo: memFree=27645472/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=222.14 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 263699 0 0 0 22170 44 0 0 20 0 2 0 333308122 439390208 92182 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 92182 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=221.37 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 257773 0 0 0 22092 45 0 0 20 0 2 0 333308145 439390208 92182 33554432000 4194304 5964350 140734852509200 140014143645624 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 429092 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 30895 /proc/meminfo: memFree=27613580/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=282.12 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 266562 0 0 0 28168 44 0 0 20 0 2 0 333308122 439390208 95339 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 95339 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=281.21 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 260636 0 0 0 28074 47 0 0 20 0 2 0 333308145 439390208 95339 33554432000 4194304 5964350 140734852509200 140014143646232 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 429092 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30895 /proc/meminfo: memFree=27611512/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=342.12 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 266562 0 0 0 34168 44 0 0 20 0 2 0 333308122 439390208 95339 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 95339 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=341.06 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 260636 0 0 0 34058 48 0 0 20 0 2 0 333308145 439390208 95339 33554432000 4194304 5964350 140734852509200 140014143646232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 429092 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30895 /proc/meminfo: memFree=27607604/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=429092 CPUtime=402.1 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 266955 0 0 0 40166 44 0 0 20 0 2 0 333308122 439390208 96243 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 107273 96243 195 433 0 106837 0 [pid=30889/tid=30891] ppid=30887 vsize=429092 CPUtime=400.91 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 261029 0 0 0 40042 49 0 0 20 0 2 0 333308145 439390208 96243 33554432000 4194304 5964350 140734852509200 140014143646232 4389005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 429092 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30895 /proc/meminfo: memFree=27584972/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=494628 CPUtime=462.09 cores=0,2,4,6 ################ # More data... # ################ [pid=30889/tid=30891] ppid=30887 vsize=560164 CPUtime=1059.15 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 286864 0 0 0 105840 75 0 0 20 0 2 0 333308145 573607936 123144 33554432000 4194304 5964350 140734852509200 140014143645496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 560164 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 30900 /proc/meminfo: memFree=27423652/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=560164 CPUtime=1121.93 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 293697 0 0 0 112133 60 0 0 20 0 2 0 333308122 573607936 124051 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 140041 124051 195 433 0 139605 0 [pid=30889/tid=30891] ppid=30887 vsize=560164 CPUtime=1119 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 287771 0 0 0 111825 75 0 0 20 0 2 0 333308145 573607936 124051 33554432000 4194304 5964350 140734852509200 140014143645496 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 560164 [startup+1182.3 s] /proc/loadavg: 2.11 2.03 2.01 3/179 30940 /proc/meminfo: memFree=27635932/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=560164 CPUtime=1181.93 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 298939 0 0 0 118128 65 0 0 20 0 2 0 333308122 573607936 129287 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 140041 129287 195 433 0 139605 0 [pid=30889/tid=30891] ppid=30887 vsize=560164 CPUtime=1178.85 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 293013 0 0 0 117804 81 0 0 20 0 2 0 333308145 573607936 129287 33554432000 4194304 5964350 140734852509200 140014143645688 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 560164 [startup+1242.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 30940 /proc/meminfo: memFree=27294172/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1241.87 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 303183 0 0 0 124120 67 0 0 20 0 2 0 333308122 640716800 134545 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 134545 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1238.65 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 297257 0 0 0 123781 84 0 0 20 0 2 0 333308145 640716800 134545 33554432000 4194304 5964350 140734852509200 140014143645688 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 625700 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 30940 /proc/meminfo: memFree=27044856/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1301.86 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 304376 0 0 0 130118 68 0 0 20 0 2 0 333308122 640716800 136090 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 136090 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1298.49 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 298450 0 0 0 129763 86 0 0 20 0 2 0 333308145 640716800 136090 33554432000 4194304 5964350 140734852509200 140014143645688 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 625700 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 30940 /proc/meminfo: memFree=26764052/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1361.85 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 305443 0 0 0 136116 69 0 0 20 0 2 0 333308122 640716800 137157 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 137157 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1358.33 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 299517 0 0 0 135745 88 0 0 20 0 2 0 333308145 640716800 137157 33554432000 4194304 5964350 140734852509200 140014143645688 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 625700 [startup+1422.31 s] /proc/loadavg: 2.06 2.02 2.00 3/180 30943 /proc/meminfo: memFree=26479452/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1421.85 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 306501 0 0 0 142115 70 0 0 20 0 2 0 333308122 640716800 138215 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 138215 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1418.19 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 300575 0 0 0 141729 90 0 0 20 0 2 0 333308145 640716800 138215 33554432000 4194304 5964350 140734852509200 140014143645736 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 625700 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 30944 /proc/meminfo: memFree=26224892/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1481.84 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 307646 0 0 0 148113 71 0 0 20 0 2 0 333308122 640716800 139360 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 139360 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1478.03 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 301720 0 0 0 147712 91 0 0 20 0 2 0 333308145 640716800 139360 33554432000 4194304 5964350 140734852509200 140014143645688 4399832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 625700 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 30944 /proc/meminfo: memFree=26076036/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1541.83 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 308639 0 0 0 154111 72 0 0 20 0 2 0 333308122 640716800 140353 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 140353 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1537.87 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 302713 0 0 0 153694 93 0 0 20 0 2 0 333308145 640716800 140353 33554432000 4194304 5964350 140734852509200 140014143645736 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 625700 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 30944 /proc/meminfo: memFree=25694768/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1601.82 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 309756 0 0 0 160109 73 0 0 20 0 2 0 333308122 640716800 141469 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 141469 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1597.72 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 303830 0 0 0 159677 95 0 0 20 0 2 0 333308145 640716800 141469 33554432000 4194304 5964350 140734852509200 140014143645736 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 625700 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 30944 /proc/meminfo: memFree=25484840/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1661.81 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 311064 0 0 0 166107 74 0 0 20 0 2 0 333308122 640716800 142776 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 142776 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1657.56 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 305138 0 0 0 165659 97 0 0 20 0 2 0 333308145 640716800 142776 33554432000 4194304 5964350 140734852509200 140014143645560 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 625700 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 30944 /proc/meminfo: memFree=25265840/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1721.8 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 312169 0 0 0 172105 75 0 0 20 0 2 0 333308122 640716800 143881 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 143881 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1717.41 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 306243 0 0 0 171642 99 0 0 20 0 2 0 333308145 640716800 143881 33554432000 4194304 5964350 140734852509200 140014143645496 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 625700 [startup+1782.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 30945 /proc/meminfo: memFree=25033752/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=625700 CPUtime=1781.79 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 312985 0 0 0 178103 76 0 0 20 0 2 0 333308122 640716800 144697 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 156425 144697 195 433 0 155989 0 [pid=30889/tid=30891] ppid=30887 vsize=625700 CPUtime=1777.26 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 307059 0 0 0 177624 102 0 0 20 0 2 0 333308145 640716800 144697 33554432000 4194304 5964350 140734852509200 140014143645736 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 625700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.02 2.02 2.00 3/179 30945 /proc/meminfo: memFree=24922544/32873844 swapFree=7112/7112 [pid=30889] ppid=30887 vsize=629348 CPUtime=1800.09 cores=0,2,4,6 /proc/30889/stat : 30889 (wbo1.72) S 30887 30889 30511 0 -1 4202496 313426 0 0 0 179933 76 0 0 20 0 2 0 333308122 644452352 145649 33554432000 4194304 5964350 140734852509200 140734852508720 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30889/statm: 157337 145649 195 433 0 156901 0 [pid=30889/tid=30891] ppid=30887 vsize=629348 CPUtime=1795.52 cores=0,2,4,6 /proc/30889/task/30891/stat : 30891 (wbo1.72) R 30887 30889 30511 0 -1 4202560 307500 0 0 0 179450 102 0 0 20 0 2 0 333308145 644452352 145649 33554432000 4194304 5964350 140734852509200 140014143645624 4378736 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 629348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30889 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=734158 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=48840 # CPU time returned by wait4() is 1795.78 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1799.33 CPU system time (s): 0.76 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 629348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.73 system time used= 1.04884 maximum resident set size= 582600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 313427 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= 234 involuntary context switches= 1866 runsolver used 3.48347 second user time and 9.28159 second system time The end
Begin job on node119 at 2012-06-02 23:17:04 IDJOB=3727876 IDBENCH=90633 IDSOLVER=2313 FILE ID=node119/3727876-1338671824 RUNJOBID= node119-1338667582-30607 PBS_JOBID= 14636522 Free space on /tmp= 70888 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727876-1338671824/watcher-3727876-1338671824 -o /tmp/evaluation-result-3727876-1338671824/solver-3727876-1338671824 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727876-1338671824.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 149bc47a65ee9b475f97ab5e9dc95355 RANDOM SEED=1504284099 node119.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.943 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 : 5333.88 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.943 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.943 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 : 5331.93 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.943 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.943 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.93 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.943 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.943 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.90 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.943 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: 28017804 kB Buffers: 388140 kB Cached: 2917212 kB SwapCached: 1936 kB Active: 2151368 kB Inactive: 1880416 kB Active(anon): 721936 kB Inactive(anon): 6636 kB Active(file): 1429432 kB Inactive(file): 1873780 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100224 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 735792 kB Mapped: 12480 kB Shmem: 0 kB Slab: 681380 kB SReclaimable: 123544 kB SUnreclaim: 557836 kB KernelStack: 1488 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 161552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 651264 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= 70860 MiB End job on node119 at 2012-06-02 23:47:07