| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.58 | 1800.02 |
| 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705575-1338120950.opb. 0.00/0.00 c Instance file HOME/instance-3705575-1338120950.opb 0.00/0.00 c File size is 2627492 bytes. 0.19/0.21 c Cost Offset: -16038 0.19/0.21 c Highest Coefficient sum: 108144 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.22 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.25 c | Problem Type: Optimization | 0.19/0.25 c | Objective Function: Cardinality Constraint | 0.19/0.25 c | | 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.25 c | | | value type | expCls impCls Lit/impCl | 0.19/0.25 c =============================================================================== 0.19/0.29 c | 0.30 | 0 | -16037 lb | 0 0 0.00 | 0.28/0.33 c | 0.33 | 0 | -16036 lb | 0 0 0.00 | 0.28/0.36 c | 0.36 | 0 | -16035 lb | 0 0 0.00 | 0.28/0.39 c | 0.39 | 0 | -16034 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | -16033 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | -16032 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | -16031 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | -16030 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | -16029 lb | 0 0 0.00 | 0.49/0.58 c | 0.59 | 0 | -16028 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | -16027 lb | 0 0 0.00 | 0.59/0.65 c | 0.66 | 0 | -16026 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | -16025 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | -16024 lb | 0 0 0.00 | 0.69/0.76 c | 0.77 | 0 | -16023 lb | 0 0 0.00 | 0.79/0.80 c | 0.81 | 0 | -16022 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | -16021 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | -16020 lb | 0 0 0.00 | 0.88/0.92 c | 0.92 | 0 | -16019 lb | 0 0 0.00 | 0.88/0.95 c | 0.96 | 0 | -16018 lb | 0 0 0.00 | 0.88/0.99 c | 1.00 | 0 | -16017 lb | 0 0 0.00 | 1.00/1.04 c | 1.04 | 0 | -16016 lb | 0 0 0.00 | 1.00/1.08 c | 1.08 | 0 | -16015 lb | 0 0 0.00 | 1.10/1.12 c | 1.12 | 0 | -16014 lb | 0 0 0.00 | 1.10/1.16 c | 1.16 | 0 | -16013 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | -16012 lb | 0 0 0.00 | 1.19/1.24 c | 1.24 | 0 | -16011 lb | 0 0 0.00 | 1.19/1.28 c | 1.29 | 0 | -16010 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | -16009 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | -16008 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | -16007 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | -16006 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | -16005 lb | 0 0 0.00 | 1.48/1.54 c | 1.55 | 0 | -16004 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | -16003 lb | 0 0 0.00 | 1.58/1.63 c | 1.64 | 0 | -16002 lb | 0 0 0.00 | 1.58/1.68 c | 1.68 | 0 | -16001 lb | 0 0 0.00 | 1.69/1.72 c | 1.73 | 0 | -16000 lb | 0 0 0.00 | 1.69/1.77 c | 1.77 | 0 | -15999 lb | 0 0 0.00 | 1.79/1.81 c | 1.82 | 0 | -15998 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | -15997 lb | 0 0 0.00 | 1.89/1.90 c | 1.91 | 0 | -15996 lb | 0 0 0.00 | 1.89/1.95 c | 1.95 | 0 | -15995 lb | 0 0 0.00 | 1.99/2.00 c | 2.00 | 0 | -15994 lb | 0 0 0.00 | 1.99/2.04 c | 2.05 | 0 | -15993 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | -15992 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | -15991 lb | 0 0 0.00 | 2.09/2.18 c | 2.19 | 0 | -15990 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | -15989 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | -15988 lb | 0 0 0.00 | 2.28/2.32 c | 2.33 | 0 | -15987 lb | 0 0 0.00 | 2.28/2.37 c | 2.38 | 0 | -15986 lb | 0 0 0.00 | 2.38/2.42 c | 2.42 | 0 | -15985 lb | 0 0 0.00 | 2.38/2.47 c | 2.47 | 0 | -15984 lb | 0 0 0.00 | 2.49/2.51 c | 2.52 | 0 | -15983 lb | 0 0 0.00 | 2.49/2.56 c | 2.57 | 0 | -15982 lb | 0 0 0.00 | 2.59/2.61 c | 2.61 | 0 | -15981 lb | 0 0 0.00 | 2.59/2.66 c | 2.66 | 0 | -15980 lb | 0 0 0.00 | 2.69/2.71 c | 2.71 | 0 | -15979 lb | 0 0 0.00 | 2.69/2.75 c | 2.76 | 0 | -15978 lb | 0 0 0.00 | 2.79/2.80 c | 2.81 | 0 | -15977 lb | 0 0 0.00 | 2.79/2.85 c | 2.85 | 0 | -15976 lb | 0 0 0.00 | 2.88/2.90 c | 2.90 | 0 | -15975 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | -15974 lb | 0 0 0.00 | 2.98/3.00 c | 3.00 | 0 | -15973 lb | 0 0 0.00 | 2.98/3.05 c | 3.05 | 0 | -15972 lb | 0 0 0.00 | 3.08/3.10 c | 3.10 | 0 | -15971 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | -15970 lb | 0 0 0.00 | 3.08/3.20 c | 3.20 | 0 | -15969 lb | 0 0 0.00 | 3.20/3.25 c | 3.25 | 0 | -15968 lb | 0 0 0.00 | 3.20/3.30 c | 3.30 | 0 | -15967 lb | 0 0 0.00 | 3.30/3.35 c | 3.35 | 0 | -15966 lb | 0 0 0.00 | 3.39/3.40 c | 3.40 | 0 | -15965 lb | 0 0 0.00 | 3.39/3.45 c | 3.45 | 0 | -15964 lb | 0 0 0.00 | 3.49/3.50 c | 3.50 | 0 | -15963 lb | 0 0 0.00 | 3.49/3.55 c | 3.55 | 0 | -15962 lb | 0 0 0.00 | 3.59/3.60 c | 3.60 | 0 | -15961 lb | 0 0 0.00 | 3.59/3.65 c | 3.65 | 0 | -15960 lb | 0 0 0.00 | 3.68/3.70 c | 3.70 | 0 | -15959 lb | 0 0 0.00 | 3.68/3.75 c | 3.75 | 0 | -15958 lb | 0 0 0.00 | 3.78/3.80 c | 3.80 | 0 | -15957 lb | 0 0 0.00 | 3.78/3.85 c | 3.85 | 0 | -15956 lb | 0 0 0.00 | 3.88/3.90 c | 3.91 | 0 | -15955 lb | 0 0 0.00 | 3.88/3.95 c | 3.96 | 0 | -15954 lb | 0 0 0.00 | 3.98/4.01 c | 4.01 | 0 | -15953 lb | 0 0 0.00 | 3.98/4.06 c | 4.06 | 0 | -15952 lb | 0 0 0.00 | 4.09/4.11 c | 4.12 | 0 | -15951 lb | 0 0 0.00 | 4.09/4.17 c | 4.17 | 0 | -15950 lb | 0 0 0.00 | 4.19/4.22 c | 4.22 | 0 | -15949 lb | 0 0 0.00 | 4.19/4.28 c | 4.28 | 0 | -15948 lb | 0 0 0.00 | 4.29/4.33 c | 4.33 | 0 | -15947 lb | 0 0 0.00 | 4.29/4.38 c | 4.39 | 0 | -15946 lb | 0 0 0.00 | 4.39/4.44 c | 4.44 | 0 | -15945 lb | 0 0 0.00 | 4.39/4.49 c | 4.49 | 0 | -15944 lb | 0 0 0.00 | 4.48/4.54 c | 4.55 | 0 | -15943 lb | 0 0 0.00 | 4.58/4.60 c | 4.60 | 0 | -15942 lb | 0 0 0.00 | 4.58/4.65 c | 4.66 | 0 | -15941 lb | 0 0 0.00 | 4.68/4.71 c | 4.71 | 0 | -15940 lb | 0 0 0.00 | 4.68/4.78 c | 4.76 | 0 | -15939 lb | 0 0 0.00 | 4.79/4.82 c | 4.82 | 0 | -15938 lb | 0 0 0.00 | 4.79/4.87 c | 4.87 | 0 | -15937 lb | 0 0 0.00 | 4.89/4.92 c | 4.93 | 0 | -15936 lb | 0 0 0.00 | 4.89/4.98 c | 4.98 | 0 | -15935 lb | 0 0 0.00 | 4.99/5.03 c | 5.04 | 0 | -15934 lb | 0 0 0.00 | 4.99/5.09 c | 5.09 | 0 | -15933 lb | 0 0 0.00 | 5.09/5.14 c | 5.14 | 0 | -15932 lb | 0 0 0.00 | 5.19/5.20 c | 5.20 | 0 | -15931 lb | 0 0 0.00 | 5.19/5.25 c | 5.26 | 0 | -15930 lb | 0 0 0.00 | 5.29/5.31 c | 5.31 | 0 | -15929 lb | 0 0 0.00 | 5.29/5.37 c | 5.37 | 0 | -15928 lb | 0 0 0.00 | 5.39/5.42 c | 5.42 | 0 | -15927 lb | 0 0 0.00 | 5.39/5.48 c | 5.48 | 0 | -15926 lb | 0 0 0.00 | 5.49/5.53 c | 5.54 | 0 | -15925 lb | 0 0 0.00 | 5.49/5.59 c | 5.60 | 0 | -15924 lb | 0 0 0.00 | 5.59/5.65 c | 5.65 | 0 | -15923 lb | 0 0 0.00 | 5.69/5.71 c | 5.71 | 0 | -15922 lb | 0 0 0.00 | 5.69/5.76 c | 5.77 | 0 | -15921 lb | 0 0 0.00 | 5.79/5.82 c | 5.82 | 0 | -15920 lb | 0 0 0.00 | 5.79/5.88 c | 5.88 | 0 | -15919 lb | 0 0 0.00 | 5.89/5.94 c | 5.94 | 0 | -15918 lb | 0 0 0.00 | 5.98/6.00 c | 6.00 | 0 | -15917 lb | 0 0 0.00 | 5.98/6.05 c | 6.06 | 0 | -15916 lb | 0 0 0.00 | 6.08/6.11 c | 6.12 | 0 | -15915 lb | 0 0 0.00 | 6.08/6.17 c | 6.17 | 0 | -15914 lb | 0 0 0.00 | 6.18/6.23 c | 6.23 | 0 | -15913 lb | 0 0 0.00 | 6.18/6.29 c | 6.29 | 0 | -15912 lb | 0 0 0.00 | 6.29/6.35 c | 6.35 | 0 | -15911 lb | 0 0 0.00 | 6.39/6.41 c | 6.41 | 0 | -15910 lb | 0 0 0.00 | 6.39/6.47 c | 6.47 | 0 | -15909 lb | 0 0 0.00 | 6.49/6.52 c | 6.53 | 0 | -15908 lb | 0 0 0.00 | 6.49/6.58 c | 6.59 | 0 | -15907 lb | 0 0 0.00 | 6.59/6.64 c | 6.64 | 0 | -15906 lb | 0 0 0.00 | 6.69/6.70 c | 6.70 | 0 | -15905 lb | 0 0 0.00 | 6.69/6.76 c | 6.76 | 0 | -15904 lb | 0 0 0.00 | 6.78/6.82 c | 6.82 | 0 | -15903 lb | 0 0 0.00 | 6.78/6.88 c | 6.88 | 0 | -15902 lb | 0 0 0.00 | 6.88/6.94 c | 6.94 | 0 | -15901 lb | 0 0 0.00 | 6.98/7.00 c | 7.01 | 0 | -15900 lb | 0 0 0.00 | 6.98/7.06 c | 7.07 | 0 | -15899 lb | 0 0 0.00 | 7.08/7.12 c | 7.13 | 0 | -15898 lb | 0 0 0.00 | 7.08/7.18 c | 7.19 | 0 | -15897 lb | 0 0 0.00 | 7.19/7.25 c | 7.25 | 0 | -15896 lb | 0 0 0.00 | 7.28/7.31 c | 7.31 | 0 | -15895 lb | 0 0 0.00 | 7.28/7.37 c | 7.37 | 0 | -15894 lb | 0 0 0.00 | 7.38/7.43 c | 7.43 | 0 | -15893 lb | 0 0 0.00 | 7.38/7.49 c | 7.50 | 0 | -15892 lb | 0 0 0.00 | 7.48/7.56 c | 7.56 | 0 | -15891 lb | 0 0 0.00 | 7.60/7.62 c | 7.62 | 0 | -15890 lb | 0 0 0.00 | 7.60/7.68 c | 7.69 | 0 | -15889 lb | 0 0 0.00 | 7.70/7.74 c | 7.75 | 0 | -15888 lb | 0 0 0.00 | 7.79/7.81 c | 7.81 | 0 | -15887 lb | 0 0 0.00 | 7.79/7.87 c | 7.88 | 0 | -15886 lb | 0 0 0.00 | 7.89/7.94 c | 7.94 | 0 | -15885 lb | 0 0 0.00 | 7.99/8.00 c | 8.00 | 0 | -15884 lb | 0 0 0.00 | 7.99/8.06 c | 8.06 | 0 | -15883 lb | 0 0 0.00 | 8.09/8.13 c | 8.13 | 0 | -15882 lb | 0 0 0.00 | 8.09/8.19 c | 8.19 | 0 | -15881 lb | 0 0 0.00 | 8.18/8.25 c | 8.26 | 0 | -15880 lb | 0 0 0.00 | 8.28/8.32 c | 8.32 | 0 | -15879 lb | 0 0 0.00 | 8.28/8.38 c | 8.39 | 0 | -15878 lb | 0 0 0.00 | 8.38/8.45 c | 8.45 | 0 | -15877 lb | 0 0 0.00 | 8.48/8.51 c | 8.52 | 0 | -15876 lb | 0 0 0.00 | 8.48/8.58 c | 8.58 | 0 | -15875 lb | 0 0 0.00 | 8.59/8.65 c | 8.65 | 0 | -15874 lb | 0 0 0.00 | 8.69/8.71 c | 8.72 | 0 | -15873 lb | 0 0 0.00 | 8.69/8.78 c | 8.78 | 0 | -15872 lb | 0 0 0.00 | 8.79/8.85 c | 8.85 | 0 | -15871 lb | 0 0 0.00 | 8.89/8.91 c | 8.91 | 0 | -15870 lb | 0 0 0.00 | 8.89/8.98 c | 8.98 | 0 | -15869 lb | 0 0 0.00 | 8.98/9.04 c | 9.04 | 0 | -15868 lb | 0 0 0.00 | 9.08/9.11 c | 9.11 | 0 | -15867 lb | 0 0 0.00 | 9.08/9.18 c | 9.18 | 0 | -15866 lb | 0 0 0.00 | 9.19/9.24 c | 9.25 | 0 | -15865 lb | 0 0 0.00 | 9.29/9.31 c | 9.31 | 0 | -15864 lb | 0 0 0.00 | 9.29/9.38 c | 9.38 | 0 | -15863 lb | 0 0 0.00 | 9.39/9.45 c | 9.45 | 0 | -15862 lb | 0 0 0.00 | 9.49/9.51 c | 9.51 | 0 | -15861 lb | 0 0 0.00 | 9.49/9.58 c | 9.58 | 0 | -15860 lb | 0 0 0.00 | 9.58/9.64 c | 9.65 | 0 | -15859 lb | 0 0 0.00 | 9.68/9.71 c | 9.72 | 0 | -15858 lb | 0 0 0.00 | 9.68/9.78 c | 9.78 | 0 | -15857 lb | 0 0 0.00 | 9.79/9.85 c | 9.85 | 0 | -15856 lb | 0 0 0.00 | 9.89/9.92 c | 9.92 | 0 | -15855 lb | 0 0 0.00 | 9.89/9.99 c | 9.99 | 0 | -15854 lb | 0 0 0.00 | 9.98/10.05 c | 10.06 | 0 | -15853 lb | 0 0 0.00 | 10.08/10.12 c | 10.13 | 0 | -15852 lb | 0 0 0.00 | 10.08/10.19 c | 10.20 | 0 | -15851 lb | 0 0 0.00 | 10.19/10.26 c | 10.26 | 0 | -15850 lb | 0 0 0.00 | 10.29/10.33 c | 10.34 | 0 | -15849 lb | 0 0 0.00 | 10.39/10.40 c | 10.40 | 0 | -15848 lb | 0 0 0.00 | 10.39/10.47 c | 10.48 | 0 | -15847 lb | 0 0 0.00 | 10.49/10.54 c | 10.55 | 0 | -15846 lb | 0 0 0.00 | 10.58/10.62 c | 10.62 | 0 | -15845 lb | 0 0 0.00 | 10.58/10.69 c | 10.69 | 0 | -15844 lb | 0 0 0.00 | 10.68/10.76 c | 10.76 | 0 | -15843 lb | 0 0 0.00 | 10.78/10.83 c | 10.83 | 0 | -15842 lb | 0 0 0.00 | 10.78/10.90 c | 10.90 | 0 | -15841 lb | 0 0 0.00 | 10.90/10.97 c | 10.97 | 0 | -15840 lb | 0 0 0.00 | 10.99/11.05 c | 11.05 | 0 | -15839 lb | 0 0 0.00 | 11.09/11.12 c | 11.12 | 0 | -15838 lb | 0 0 0.00 | 11.09/11.19 c | 11.19 | 0 | -15837 lb | 0 0 0.00 | 11.18/11.26 c | 11.27 | 0 | -15836 lb | 0 0 0.00 | 11.28/11.33 c | 11.34 | 0 | -15835 lb | 0 0 0.00 | 11.39/11.41 c | 11.41 | 0 | -15834 lb | 0 0 0.00 | 11.39/11.48 c | 11.48 | 0 | -15833 lb | 0 0 0.00 | 11.49/11.55 c | 11.55 | 0 | -15832 lb | 0 0 0.00 | 11.59/11.63 c | 11.63 | 0 | -15831 lb | 0 0 0.00 | 11.69/11.70 c | 11.70 | 0 | -15830 lb | 0 0 0.00 | 11.69/11.77 c | 11.78 | 0 | -15829 lb | 0 0 0.00 | 11.79/11.85 c | 11.85 | 0 | -15828 lb | 0 0 0.00 | 11.89/11.92 c | 11.92 | 0 | -15827 lb | 0 0 0.00 | 11.89/11.99 c | 12.00 | 0 | -15826 lb | 0 0 0.00 | 11.99/12.07 c | 12.07 | 0 | -15825 lb | 0 0 0.00 | 12.09/12.14 c | 12.14 | 0 | -15824 lb | 0 0 0.00 | 12.18/12.22 c | 12.22 | 0 | -15823 lb | 0 0 0.00 | 12.18/12.29 c | 12.29 | 0 | -15822 lb | 0 0 0.00 | 12.28/12.36 c | 12.37 | 0 | -15821 lb | 0 0 0.00 | 12.38/12.44 c | 12.44 | 0 | -15820 lb | 0 0 0.00 | 12.48/12.52 c | 12.52 | 0 | -15819 lb | 0 0 0.00 | 12.48/12.59 c | 12.59 | 0 | -15818 lb | 0 0 0.00 | 12.58/12.67 c | 12.67 | 0 | -15817 lb | 0 0 0.00 | 12.69/12.74 c | 12.75 | 0 | -15816 lb | 0 0 0.00 | 12.79/12.82 c | 12.82 | 0 | -15815 lb | 0 0 0.00 | 12.79/12.89 c | 12.90 | 0 | -15814 lb | 0 0 0.00 | 12.89/12.97 c | 12.97 | 0 | -15813 lb | 0 0 0.00 | 12.99/13.05 c | 13.05 | 0 | -15812 lb | 0 0 0.00 | 13.09/13.13 c | 13.13 | 0 | -15811 lb | 0 0 0.00 | 13.09/13.20 c | 13.21 | 0 | -15810 lb | 0 0 0.00 | 13.19/13.28 c | 13.29 | 0 | -15809 lb | 0 0 0.00 | 13.28/13.36 c | 13.36 | 0 | -15808 lb | 0 0 0.00 | 13.39/13.44 c | 13.44 | 0 | -15807 lb | 0 0 0.00 | 13.49/13.51 c | 13.52 | 0 | -15806 lb | 0 0 0.00 | 13.49/13.59 c | 13.60 | 0 | -15805 lb | 0 0 0.00 | 13.58/13.67 c | 13.67 | 0 | -15804 lb | 0 0 0.00 | 13.68/13.75 c | 13.75 | 0 | -15803 lb | 0 0 0.00 | 13.78/13.82 c | 13.83 | 0 | -15802 lb | 0 0 0.00 | 13.88/13.90 c | 13.90 | 0 | -15801 lb | 0 0 0.00 | 13.88/13.98 c | 13.98 | 0 | -15800 lb | 0 0 0.00 | 13.98/14.06 c | 14.06 | 0 | -15799 lb | 0 0 0.00 | 14.08/14.14 c | 14.14 | 0 | -15798 lb | 0 0 0.00 | 14.19/14.22 c | 14.22 | 0 | -15797 lb | 0 0 0.00 | 14.19/14.30 c | 14.30 | 0 | -15796 lb | 0 0 0.00 | 14.29/14.38 c | 14.38 | 0 | -15795 lb | 0 0 0.00 | 14.39/14.47 c | 14.48 | 0 | -15794 lb | 0 0 0.00 | 14.49/14.57 c | 14.57 | 0 | -15793 lb | 0 0 0.00 | 14.59/14.67 c | 14.67 | 0 | -15792 lb | 0 0 0.00 | 14.69/14.76 c | 14.77 | 0 | -15791 lb | 0 0 0.00 | 14.79/14.86 c | 14.87 | 0 | -15790 lb | 0 0 0.00 | 14.89/14.96 c | 14.96 | 0 | -15789 lb | 0 0 0.00 | 14.98/15.06 c | 15.06 | 0 | -15788 lb | 0 0 0.00 | 15.08/15.15 c | 15.16 | 0 | -15787 lb | 0 0 0.00 | 15.18/15.25 c | 15.26 | 0 | -15786 lb | 0 0 0.00 | 15.29/15.35 c | 15.35 | 0 | -15785 lb | 0 0 0.00 | 15.39/15.45 c | 15.45 | 0 | -15784 lb | 0 0 0.00 | 15.48/15.55 c | 15.55 | 0 | -15783 lb | 0 0 0.00 | 15.58/15.65 c | 15.65 | 0 | -15782 lb | 0 0 0.00 | 15.68/15.75 c | 15.75 | 0 | -15781 lb | 0 0 0.00 | 15.79/15.85 c | 15.85 | 0 | -15780 lb | 0 0 0.00 | 15.89/15.94 c | 15.95 | 0 | -15779 lb | 0 0 0.00 | 15.99/16.05 c | 16.05 | 0 | -15778 lb | 0 0 0.00 | 16.09/16.15 c | 16.15 | 0 | -15777 lb | 0 0 0.00 | 16.19/16.25 c | 16.25 | 0 | -15776 lb | 0 0 0.00 | 16.29/16.35 c | 16.36 | 0 | -15775 lb | 0 0 0.00 | 16.39/16.46 c | 16.46 | 0 | -15774 lb | 0 0 0.00 | 16.49/16.56 c | 16.56 | 0 | -15773 lb | 0 0 0.00 | 16.59/16.66 c | 16.66 | 0 | -15772 lb | 0 0 0.00 | 16.69/16.77 c | 16.77 | 0 | -15771 lb | 0 0 0.00 | 16.79/16.87 c | 16.87 | 0 | -15770 lb | 0 0 0.00 | 16.88/16.97 c | 16.98 | 0 | -15769 lb | 0 0 0.00 | 16.98/17.08 c | 17.08 | 0 | -15768 lb | 0 0 0.00 | 17.08/17.18 c | 17.19 | 0 | -15767 lb | 0 0 0.00 | 17.18/17.29 c | 17.29 | 0 | -15766 lb | 0 0 0.00 | 17.28/17.39 c | 17.39 | 0 | -15765 lb | 0 0 0.00 | 17.38/17.49 c | 17.50 | 0 | -15764 lb | 0 0 0.00 | 17.49/17.60 c | 17.60 | 0 | -15763 lb | 0 0 0.00 | 17.68/17.70 c | 17.71 | 0 | -15762 lb | 0 0 0.00 | 17.78/17.81 c | 17.81 | 0 | -15761 lb | 0 0 0.00 | 17.88/17.92 c | 17.92 | 0 | -15760 lb | 0 0 0.00 | 17.99/18.02 c | 18.02 | 0 | -15759 lb | 0 0 0.00 | 18.09/18.13 c | 18.13 | 0 | -15758 lb | 0 0 0.00 | 18.19/18.23 c | 18.23 | 0 | -15757 lb | 0 0 0.00 | 18.28/18.34 c | 18.34 | 0 | -15756 lb | 0 0 0.00 | 18.38/18.44 c | 18.44 | 0 | -15755 lb | 0 0 0.00 | 18.48/18.55 c | 18.55 | 0 | -15754 lb | 0 0 0.00 | 18.59/18.65 c | 18.66 | 0 | -15753 lb | 0 0 0.00 | 18.69/18.76 c | 18.76 | 0 | -15752 lb | 0 0 0.00 | 18.78/18.87 c | 18.87 | 0 | -15751 lb | 0 0 0.00 | 18.88/18.97 c | 18.98 | 0 | -15750 lb | 0 0 0.00 | 18.98/19.08 c | 19.08 | 0 | -15749 lb | 0 0 0.00 | 19.08/19.18 c | 19.19 | 0 | -15748 lb | 0 0 0.00 | 19.19/19.29 c | 19.29 | 0 | -15747 lb | 0 0 0.00 | 19.39/19.40 c | 19.40 | 0 | -15746 lb | 0 0 0.00 | 19.49/19.51 c | 19.51 | 0 | -15745 lb | 0 0 0.00 | 19.59/19.62 c | 19.62 | 0 | -15744 lb | 0 0 0.00 | 19.69/19.73 c | 19.73 | 0 | -15743 lb | 0 0 0.00 | 19.79/19.84 c | 19.84 | 0 | -15742 lb | 0 0 0.00 | 19.88/19.95 c | 19.95 | 0 | -15741 lb | 0 0 0.00 | 19.98/20.05 c | 20.06 | 0 | -15740 lb | 0 0 0.00 | 20.08/20.16 c | 20.17 | 0 | -15739 lb | 0 0 0.00 | 20.19/20.27 c | 20.28 | 0 | -15738 lb | 0 0 0.00 | 20.29/20.38 c | 20.39 | 0 | -15737 lb | 0 0 0.00 | 20.38/20.49 c | 20.50 | 0 | -15736 lb | 0 0 0.00 | 20.58/20.60 c | 20.61 | 0 | -15735 lb | 0 0 0.00 | 20.68/20.71 c | 20.72 | 0 | -15734 lb | 0 0 0.00 | 20.79/20.82 c | 20.83 | 0 | -15733 lb | 0 0 0.00 | 20.89/20.94 c | 20.94 | 0 | -15732 lb | 0 0 0.00 | 20.98/21.05 c | 21.05 | 0 | -15731 lb | 0 0 0.00 | 21.09/21.16 c | 21.16 | 0 | -15730 lb | 0 0 0.00 | 21.19/21.27 c | 21.27 | 0 | -15729 lb | 0 0 0.00 | 21.29/21.38 c | 21.38 | 0 | -15728 lb | 0 0 0.00 | 21.38/21.49 c | 21.50 | 0 | -15727 lb | 0 0 0.00 | 21.58/21.60 c | 21.61 | 0 | -15726 lb | 0 0 0.00 | 21.68/21.71 c | 21.72 | 0 | -15725 lb | 0 0 0.00 | 21.78/21.83 c | 21.83 | 0 | -15724 lb | 0 0 0.00 | 21.89/21.94 c | 21.94 | 0 | -15723 lb | 0 0 0.00 | 21.99/22.05 c | 22.06 | 0 | -15722 lb | 0 0 0.00 | 22.08/22.16 c | 22.17 | 0 | -15721 lb | 0 0 0.00 | 22.18/22.28 c | 22.28 | 0 | -15720 lb | 0 0 0.00 | 22.28/22.39 c | 22.39 | 0 | -15719 lb | 0 0 0.00 | 22.48/22.50 c | 22.50 | 0 | -15718 lb | 0 0 0.00 | 22.58/22.62 c | 22.62 | 0 | -15717 lb | 0 0 0.00 | 22.68/22.73 c | 22.73 | 0 | -15716 lb | 0 0 0.00 | 22.78/22.84 c | 22.84 | 0 | -15715 lb | 0 0 0.00 | 22.88/22.96 c | 22.96 | 0 | -15714 lb | 0 0 0.00 | 22.99/23.07 c | 23.07 | 0 | -15713 lb | 0 0 0.00 | 23.09/23.18 c | 23.19 | 0 | -15712 lb | 0 0 0.00 | 23.28/23.30 c | 23.30 | 0 | -15711 lb | 0 0 0.00 | 23.39/23.41 c | 23.41 | 0 | -15710 lb | 0 0 0.00 | 23.49/23.53 c | 23.53 | 0 | -15709 lb | 0 0 0.00 | 23.59/23.64 c | 23.64 | 0 | -15708 lb | 0 0 0.00 | 23.69/23.76 c | 23.76 | 0 | -15707 lb | 0 0 0.00 | 23.79/23.87 c | 23.88 | 0 | -15706 lb | 0 0 0.00 | 23.89/23.99 c | 23.99 | 0 | -15705 lb | 0 0 0.00 | 24.09/24.10 c | 24.11 | 0 | -15704 lb | 0 0 0.00 | 24.19/24.22 c | 24.22 | 0 | -15703 lb | 0 0 0.00 | 24.28/24.33 c | 24.34 | 0 | -15702 lb | 0 0 0.00 | 24.38/24.45 c | 24.45 | 0 | -15701 lb | 0 0 0.00 | 24.48/24.56 c | 24.57 | 0 | -15700 lb | 0 0 0.00 | 24.58/24.68 c | 24.68 | 0 | -15699 lb | 0 0 0.00 | 24.78/24.80 c | 24.80 | 0 | -15698 lb | 0 0 0.00 | 24.88/24.91 c | 24.91 | 0 | -15697 lb | 0 0 0.00 | 24.99/25.03 c | 25.03 | 0 | -15696 lb | 0 0 0.00 | 25.09/25.14 c | 25.15 | 0 | -15695 lb | 0 0 0.00 | 25.19/25.26 c | 25.27 | 0 | -15694 lb | 0 0 0.00 | 25.29/25.38 c | 25.38 | 0 | -15693 lb | 0 0 0.00 | 25.49/25.50 c | 25.50 | 0 | -15692 lb | 0 0 0.00 | 25.59/25.61 c | 25.62 | 0 | -15691 lb | 0 0 0.00 | 25.69/25.73 c | 25.73 | 0 | -15690 lb | 0 0 0.00 | 25.78/25.85 c | 25.86 | 0 | -15689 lb | 0 0 0.00 | 25.88/25.97 c | 25.97 | 0 | -15688 lb | 0 0 0.00 | 25.98/26.08 c | 26.09 | 0 | -15687 lb | 0 0 0.00 | 26.18/26.20 c | 26.21 | 0 | -15686 lb | 0 0 0.00 | 26.29/26.32 c | 26.33 | 0 | -15685 lb | 0 0 0.00 | 26.39/26.44 c | 26.45 | 0 | -15684 lb | 0 0 0.00 | 26.48/26.56 c | 26.57 | 0 | -15683 lb | 0 0 0.00 | 26.58/26.68 c | 26.69 | 0 | -15682 lb | 0 0 0.00 | 26.78/26.81 c | 26.81 | 0 | -15681 lb | 0 0 0.00 | 26.88/26.93 c | 26.93 | 0 | -15680 lb | 0 0 0.00 | 26.98/27.05 c | 27.05 | 0 | -15679 lb | 0 0 0.00 | 27.08/27.17 c | 27.18 | 0 | -15678 lb | 0 0 0.00 | 27.18/27.29 c | 27.30 | 0 | -15677 lb | 0 0 0.00 | 27.39/27.42 c | 27.42 | 0 | -15676 lb | 0 0 0.00 | 27.49/27.54 c | 27.54 | 0 | -15675 lb | 0 0 0.00 | 27.58/27.67 c | 27.67 | 0 | -15674 lb | 0 0 0.00 | 27.68/27.79 c | 27.79 | 0 | -15673 lb | 0 0 0.00 | 27.88/27.91 c | 27.91 | 0 | -15672 lb | 0 0 0.00 | 27.98/28.03 c | 28.04 | 0 | -15671 lb | 0 0 0.00 | 28.08/28.15 c | 28.15 | 0 | -15670 lb | 0 0 0.00 | 28.18/28.27 c | 28.27 | 0 | -15669 lb | 0 0 0.00 | 28.28/28.39 c | 28.39 | 0 | -15668 lb | 0 0 0.00 | 28.48/28.52 c | 28.52 | 0 | -15667 lb | 0 0 0.00 | 28.58/28.64 c | 28.64 | 0 | -15666 lb | 0 0 0.00 | 28.69/28.76 c | 28.77 | 0 | -15665 lb | 0 0 0.00 | 28.79/28.89 c | 28.89 | 0 | -15664 lb | 0 0 0.00 | 28.98/29.01 c | 29.01 | 0 | -15663 lb | 0 0 0.00 | 29.08/29.14 c | 29.14 | 0 | -15662 lb | 0 0 0.00 | 29.18/29.26 c | 29.26 | 0 | -15661 lb | 0 0 0.00 | 29.28/29.38 c | 29.39 | 0 | -15660 lb | 0 0 0.00 | 29.48/29.51 c | 29.51 | 0 | -15659 lb | 0 0 0.00 | 29.59/29.63 c | 29.64 | 0 | -15658 lb | 0 0 0.00 | 29.68/29.76 c | 29.76 | 0 | -15657 lb | 0 0 0.00 | 29.78/29.88 c | 29.89 | 0 | -15656 lb | 0 0 0.00 | 29.98/30.01 c | 30.01 | 0 | -15655 lb | 0 0 0.00 | 30.08/30.13 c | 30.14 | 0 | -15654 lb | 0 0 0.00 | 30.19/30.26 c | 30.26 | 0 | -15653 lb | 0 0 0.00 | 30.29/30.38 c | 30.39 | 0 | -15652 lb | 0 0 0.00 | 30.49/30.51 c | 30.51 | 0 | -15651 lb | 0 0 0.00 | 30.59/30.64 c | 30.64 | 0 | -15650 lb | 0 0 0.00 | 30.69/30.76 c | 30.77 | 0 | -15649 lb | 0 0 0.00 | 30.79/30.89 c | 30.89 | 0 | -15648 lb | 0 0 0.00 | 30.98/31.01 c | 31.02 | 0 | -15647 lb | 0 0 0.00 | 31.08/31.14 c | 31.14 | 0 | -15646 lb | 0 0 0.00 | 31.18/31.27 c | 31.27 | 0 | -15645 lb | 0 0 0.00 | 31.38/31.41 c | 31.41 | 0 | -15644 lb | 0 0 0.00 | 31.49/31.54 c | 31.54 | 0 | -15643 lb | 0 0 0.00 | 31.59/31.67 c | 31.67 | 0 | -15642 lb | 0 0 0.00 | 31.69/31.79 c | 31.80 | 0 | -15641 lb | 0 0 0.00 | 31.89/31.92 c | 31.92 | 0 | -15640 lb | 0 0 0.00 | 31.98/32.04 c | 32.05 | 0 | -15639 lb | 0 0 0.00 | 32.08/32.17 c | 32.18 | 0 | -15638 lb | 0 0 0.00 | 32.28/32.30 c | 32.30 | 0 | -15637 lb | 0 0 0.00 | 32.38/32.43 c | 32.43 | 0 | -15636 lb | 0 0 0.00 | 32.48/32.56 c | 32.56 | 0 | -15635 lb | 0 0 0.00 | 32.58/32.68 c | 32.69 | 0 | -15634 lb | 0 0 0.00 | 32.78/32.81 c | 32.82 | 0 | -15633 lb | 0 0 0.00 | 32.89/32.94 c | 32.94 | 0 | -15632 lb | 0 0 0.00 | 32.99/33.07 c | 33.07 | 0 | -15631 lb | 0 0 0.00 | 33.18/33.20 c | 33.20 | 0 | -15630 lb | 0 0 0.00 | 33.28/33.33 c | 33.33 | 0 | -15629 lb | 0 0 0.00 | 33.38/33.46 c | 33.46 | 0 | -15628 lb | 0 0 0.00 | 33.48/33.59 c | 33.59 | 0 | -15627 lb | 0 0 0.00 | 33.68/33.71 c | 33.72 | 0 | -15626 lb | 0 0 0.00 | 33.79/33.84 c | 33.85 | 0 | -15625 lb | 0 0 0.00 | 33.89/33.98 c | 33.98 | 0 | -15624 lb | 0 0 0.00 | 34.09/34.10 c | 34.11 | 0 | -15623 lb | 0 0 0.00 | 34.19/34.23 c | 34.24 | 0 | -15622 lb | 0 0 0.00 | 34.28/34.36 c | 34.37 | 0 | -15621 lb | 0 0 0.00 | 34.38/34.49 c | 34.50 | 0 | -15620 lb | 0 0 0.00 | 34.58/34.63 c | 34.63 | 0 | -15619 lb | 0 0 0.00 | 34.68/34.76 c | 34.76 | 0 | -15618 lb | 0 0 0.00 | 34.78/34.89 c | 34.90 | 0 | -15617 lb | 0 0 0.00 | 34.98/35.03 c | 35.03 | 0 | -15616 lb | 0 0 0.00 | 35.09/35.16 c | 35.16 | 0 | -15615 lb | 0 0 0.00 | 35.19/35.29 c | 35.29 | 0 | -15614 lb | 0 0 0.00 | 35.38/35.42 c | 35.42 | 0 | -15613 lb | 0 0 0.00 | 35.48/35.55 c | 35.55 | 0 | -15612 lb | 0 0 0.00 | 35.58/35.68 c | 35.69 | 0 | -15611 lb | 0 0 0.00 | 35.78/35.82 c | 35.82 | 0 | -15610 lb | 0 0 0.00 | 35.89/35.95 c | 35.95 | 0 | -15609 lb | 0 0 0.00 | 35.98/36.08 c | 36.09 | 0 | -15608 lb | 0 0 0.00 | 36.19/36.22 c | 36.22 | 0 | -15607 lb | 0 0 0.00 | 36.29/36.35 c | 36.36 | 0 | -15606 lb | 0 0 0.00 | 36.38/36.49 c | 36.49 | 0 | -15605 lb | 0 0 0.00 | 36.58/36.62 c | 36.62 | 0 | -15604 lb | 0 0 0.00 | 36.68/36.75 c | 36.76 | 0 | -15603 lb | 0 0 0.00 | 36.78/36.89 c | 36.89 | 0 | -15602 lb | 0 0 0.00 | 36.98/37.03 c | 37.03 | 0 | -15601 lb | 0 0 0.00 | 37.08/37.17 c | 37.17 | 0 | -15600 lb | 0 0 0.00 | 37.18/37.30 c | 37.30 | 0 | -15599 lb | 0 0 0.00 | 37.39/37.44 c | 37.44 | 0 | -15598 lb | 0 0 0.00 | 37.48/37.58 c | 37.58 | 0 | -15597 lb | 0 0 0.00 | 37.68/37.72 c | 37.72 | 0 | -15596 lb | 0 0 0.00 | 37.78/37.86 c | 37.86 | 0 | -15595 lb | 0 0 0.00 | 37.88/37.99 c | 38.00 | 0 | -15594 lb | 0 0 0.00 | 38.08/38.13 c | 38.13 | 0 | -15593 lb | 0 0 0.00 | 38.18/38.27 c | 38.27 | 0 | -15592 lb | 0 0 0.00 | 38.38/38.41 c | 38.41 | 0 | -15591 lb | 0 0 0.00 | 38.49/38.55 c | 38.55 | 0 | -15590 lb | 0 0 0.00 | 38.58/38.69 c | 38.69 | 0 | -15589 lb | 0 0 0.00 | 38.78/38.83 c | 38.83 | 0 | -15588 lb | 0 0 0.00 | 38.88/38.97 c | 38.97 | 0 | -15587 lb | 0 0 0.00 | 39.08/39.11 c | 39.11 | 0 | -15586 lb | 0 0 0.00 | 39.18/39.24 c | 39.25 | 0 | -15585 lb | 0 0 0.00 | 39.28/39.38 c | 39.39 | 0 | -15584 lb | 0 0 0.00 | 39.48/39.52 c | 39.52 | 0 | -15583 lb | 0 0 0.00 | 39.58/39.66 c | 39.66 | 0 | -15582 lb | 0 0 0.00 | 39.78/39.80 c | 39.80 | 0 | -15581 lb | 0 0 0.00 | 39.88/39.94 c | 39.95 | 0 | -15580 lb | 0 0 0.00 | 39.98/40.08 c | 40.08 | 0 | -15579 lb | 0 0 0.00 | 40.18/40.21 c | 40.22 | 0 | -15578 lb | 0 0 0.00 | 40.28/40.35 c | 40.35 | 0 | -15577 lb | 0 0 0.00 | 40.38/40.49 c | 40.49 | 0 | -15576 lb | 0 0 0.00 | 40.59/40.63 c | 40.63 | 0 | -15575 lb | 0 0 0.00 | 40.69/40.77 c | 40.78 | 0 | -15574 lb | 0 0 0.00 | 40.88/40.91 c | 40.91 | 0 | -15573 lb | 0 0 0.00 | 40.98/41.05 c | 41.06 | 0 | -15572 lb | 0 0 0.00 | 41.08/41.20 c | 41.20 | 0 | -15571 lb | 0 0 0.00 | 41.28/41.34 c | 41.34 | 0 | -15570 lb | 0 0 0.00 | 41.38/41.48 c | 41.48 | 0 | -15569 lb | 0 0 0.00 | 41.58/41.62 c | 41.62 | 0 | -15568 lb | 0 0 0.00 | 41.69/41.76 c | 41.77 | 0 | -15567 lb | 0 0 0.00 | 41.88/41.91 c | 41.91 | 0 | -15566 lb | 0 0 0.00 | 41.98/42.05 c | 42.06 | 0 | -15565 lb | 0 0 0.00 | 42.18/42.20 c | 42.20 | 0 | -15564 lb | 0 0 0.00 | 42.28/42.34 c | 42.34 | 0 | -15563 lb | 0 0 0.00 | 42.38/42.49 c | 42.49 | 0 | -15562 lb | 0 0 0.00 | 42.58/42.63 c | 42.63 | 0 | -15561 lb | 0 0 0.00 | 42.68/42.77 c | 42.78 | 0 | -15560 lb | 0 0 0.00 | 42.89/42.92 c | 42.92 | 0 | -15559 lb | 0 0 0.00 | 42.98/43.06 c | 43.06 | 0 | -15558 lb | 0 0 0.00 | 43.18/43.20 c | 43.21 | 0 | -15557 lb | 0 0 0.00 | 43.28/43.35 c | 43.35 | 0 | -15556 lb | 0 0 0.00 | 43.48/43.50 c | 43.50 | 0 | -15555 lb | 0 0 0.00 | 43.58/43.65 c | 43.65 | 0 | -15554 lb | 0 0 0.00 | 43.68/43.79 c | 43.80 | 0 | -15553 lb | 0 0 0.00 | 43.88/43.94 c | 43.95 | 0 | -15552 lb | 0 0 0.00 | 43.98/44.09 c | 44.09 | 0 | -15551 lb | 0 0 0.00 | 44.18/44.24 c | 44.24 | 0 | -15550 lb | 0 0 0.00 | 44.28/44.38 c | 44.38 | 0 | -15549 lb | 0 0 0.00 | 44.48/44.53 c | 44.53 | 0 | -15548 lb | 0 0 0.00 | 44.58/44.67 c | 44.67 | 0 | -15547 lb | 0 0 0.00 | 44.78/44.82 c | 44.82 | 0 | -15546 lb | 0 0 0.00 | 44.88/44.96 c | 44.97 | 0 | -15545 lb | 0 0 0.00 | 45.09/45.11 c | 45.12 | 0 | -15544 lb | 0 0 0.00 | 45.18/45.26 c | 45.26 | 0 | -15543 lb | 0 0 0.00 | 45.38/45.41 c | 45.41 | 0 | -15542 lb | 0 0 0.00 | 45.48/45.55 c | 45.56 | 0 | -15541 lb | 0 0 0.00 | 45.68/45.70 c | 45.71 | 0 | -15540 lb | 0 0 0.00 | 45.78/45.85 c | 45.85 | 0 | -15539 lb | 0 0 0.00 | 45.98/46.00 c | 46.00 | 0 | -15538 lb | 0 0 0.00 | 46.09/46.15 c | 46.15 | 0 | -15537 lb | 0 0 0.00 | 46.28/46.30 c | 46.30 | 0 | -15536 lb | 0 0 0.00 | 46.38/46.45 c | 46.45 | 0 | -15535 lb | 0 0 0.00 | 46.48/46.59 c | 46.60 | 0 | -15534 lb | 0 0 0.00 | 46.68/46.75 c | 46.75 | 0 | -15533 lb | 0 0 0.00 | 46.78/46.89 c | 46.90 | 0 | -15532 lb | 0 0 0.00 | 46.98/47.05 c | 47.05 | 0 | -15531 lb | 0 0 0.00 | 47.08/47.20 c | 47.20 | 0 | -15530 lb | 0 0 0.00 | 47.28/47.35 c | 47.35 | 0 | -15529 lb | 0 0 0.00 | 47.48/47.50 c | 47.50 | 0 | -15528 lb | 0 0 0.00 | 47.57/47.65 c | 47.65 | 0 | -15527 lb | 0 0 0.00 | 47.78/47.80 c | 47.80 | 0 | -15526 lb | 0 0 0.00 | 47.88/47.95 c | 47.95 | 0 | -15525 lb | 0 0 0.00 | 48.08/48.10 c | 48.10 | 0 | -15524 lb | 0 0 0.00 | 48.18/48.25 c | 48.26 | 0 | -15523 lb | 0 0 0.00 | 48.39/48.41 c | 48.41 | 0 | -15522 lb | 0 0 0.00 | 48.48/48.56 c | 48.56 | 0 | -15521 lb | 0 0 0.00 | 48.68/48.71 c | 48.71 | 0 | -15520 lb | 0 0 0.00 | 48.78/48.86 c | 48.86 | 0 | -15519 lb | 0 0 0.00 | 48.98/49.01 c | 49.02 | 0 | -15518 lb | 0 0 0.00 | 49.08/49.16 c | 49.17 | 0 | -15517 lb | 0 0 0.00 | 49.27/49.32 c | 49.32 | 0 | -15516 lb | 0 0 0.00 | 49.39/49.47 c | 49.47 | 0 | -15515 lb | 0 0 0.00 | 49.58/49.62 c | 49.62 | 0 | -15514 lb | 0 0 0.00 | 49.68/49.77 c | 49.78 | 0 | -15513 lb | 0 0 0.00 | 49.88/49.93 c | 49.93 | 0 | -15512 lb | 0 0 0.00 | 49.98/50.08 c | 50.08 | 0 | -15511 lb | 0 0 0.00 | 50.18/50.23 c | 50.23 | 0 | -15510 lb | 0 0 0.00 | 50.28/50.38 c | 50.38 | 0 | -15509 lb | 0 0 0.00 | 50.49/50.53 c | 50.54 | 0 | -15508 lb | 0 0 0.00 | 50.59/50.68 c | 50.69 | 0 | -15507 lb | 0 0 0.00 | 50.78/50.84 c | 50.85 | 0 | -15506 lb | 0 0 0.00 | 50.88/50.99 c | 51.00 | 0 | -15505 lb | 0 0 0.00 | 51.08/51.15 c | 51.15 | 0 | -15504 lb | 0 0 0.00 | 51.18/51.30 c | 51.30 | 0 | -15503 lb | 0 0 0.00 | 51.38/51.45 c | 51.46 | 0 | -15502 lb | 0 0 0.00 | 51.59/51.61 c | 51.61 | 0 | -15501 lb | 0 0 0.00 | 51.69/51.76 c | 51.77 | 0 | -15500 lb | 0 0 0.00 | 51.88/51.92 c | 51.92 | 0 | -15499 lb | 0 0 0.00 | 51.98/52.07 c | 52.08 | 0 | -15498 lb | 0 0 0.00 | 52.18/52.23 c | 52.23 | 0 | -15497 lb | 0 0 0.00 | 52.28/52.38 c | 52.38 | 0 | -15496 lb | 0 0 0.00 | 52.48/52.54 c | 52.54 | 0 | -15495 lb | 0 0 0.00 | 52.58/52.69 c | 52.70 | 0 | -15494 lb | 0 0 0.00 | 52.78/52.85 c | 52.85 | 0 | -15493 lb | 0 0 0.00 | 52.98/53.01 c | 53.01 | 0 | -15492 lb | 0 0 0.00 | 53.08/53.16 c | 53.17 | 0 | -15491 lb | 0 0 0.00 | 53.28/53.32 c | 53.32 | 0 | -15490 lb | 0 0 0.00 | 53.37/53.48 c | 53.48 | 0 | -15489 lb | 0 0 0.00 | 53.57/53.64 c | 53.64 | 0 | -15488 lb | 0 0 0.00 | 53.68/53.80 c | 53.80 | 0 | -15487 lb | 0 0 0.00 | 53.89/53.95 c | 53.96 | 0 | -15486 lb | 0 0 0.00 | 54.08/54.11 c | 54.11 | 0 | -15485 lb | 0 0 0.00 | 54.18/54.27 c | 54.27 | 0 | -15484 lb | 0 0 0.00 | 54.38/54.43 c | 54.43 | 0 | -15483 lb | 0 0 0.00 | 54.48/54.59 c | 54.59 | 0 | -15482 lb | 0 0 0.00 | 54.68/54.74 c | 54.75 | 0 | -15481 lb | 0 0 0.00 | 54.89/54.90 c | 54.91 | 0 | -15480 lb | 0 0 0.00 | 54.99/55.06 c | 55.07 | 0 | -15479 lb | 0 0 0.00 | 55.18/55.23 c | 55.23 | 0 | -15478 lb | 0 0 0.00 | 55.28/55.39 c | 55.40 | 0 | -15477 lb | 0 0 0.00 | 55.48/55.56 c | 55.56 | 0 | -15476 lb | 0 0 0.00 | 55.68/55.71 c | 55.72 | 0 | -15475 lb | 0 0 0.00 | 55.78/55.88 c | 55.88 | 0 | -15474 lb | 0 0 0.00 | 55.98/56.04 c | 56.04 | 0 | -15473 lb | 0 0 0.00 | 56.17/56.20 c | 56.21 | 0 | -15472 lb | 0 0 0.00 | 56.27/56.36 c | 56.37 | 0 | -15471 lb | 0 0 0.00 | 56.48/56.53 c | 56.53 | 0 | -15470 lb | 0 0 0.00 | 56.68/56.70 c | 56.70 | 0 | -15469 lb | 0 0 0.00 | 56.78/56.86 c | 56.86 | 0 | -15468 lb | 0 0 0.00 | 56.98/57.03 c | 57.03 | 0 | -15467 lb | 0 0 0.00 | 57.09/57.18 c | 57.18 | 0 | -15466 lb | 0 0 0.00 | 57.28/57.34 c | 57.34 | 0 | -15465 lb | 0 0 0.00 | 57.48/57.50 c | 57.50 | 0 | -15464 lb | 0 0 0.00 | 57.58/57.66 c | 57.66 | 0 | -15463 lb | 0 0 0.00 | 57.77/57.84 c | 57.84 | 0 | -15462 lb | 0 0 0.00 | 57.97/58.01 c | 58.01 | 0 | -15461 lb | 0 0 0.00 | 58.08/58.18 c | 58.19 | 0 | -15460 lb | 0 0 0.00 | 58.29/58.35 c | 58.36 | 0 | -15459 lb | 0 0 0.00 | 58.48/58.55 c | 58.55 | 0 | -15458 lb | 0 0 0.00 | 58.68/58.73 c | 58.73 | 0 | -15457 lb | 0 0 0.00 | 58.88/58.91 c | 58.91 | 0 | -15456 lb | 0 0 0.00 | 58.98/59.08 c | 59.09 | 0 | -15455 lb | 0 0 0.00 | 59.18/59.26 c | 59.27 | 0 | -15454 lb | 0 0 0.00 | 59.38/59.47 c | 59.47 | 0 | -15453 lb | 0 0 0.00 | 59.58/59.69 c | 59.69 | 0 | -15452 lb | 0 0 0.00 | 59.88/59.92 c | 59.93 | 0 | -15451 lb | 0 0 0.00 | 60.08/60.14 c | 60.14 | 0 | -15450 lb | 0 0 0.00 | 60.38/60.44 c | 60.45 | 0 | -15449 lb | 0 0 0.00 | 60.78/60.80 c | 60.80 | 0 | -15448 lb | 0 0 0.00 | 61.07/61.13 c | 61.13 | 0 | -15447 lb | 0 0 0.00 | 61.27/61.31 c | 61.31 | 0 | -15446 lb | 0 0 0.00 | 61.48/61.51 c | 61.51 | 0 | -15445 lb | 0 0 0.00 | 62.17/62.26 c | 62.26 | 0 | -15444 lb | 0 0 0.00 | 62.47/62.59 c | 62.60 | 0 | -15443 lb | 0 0 0.00 | 65.57/65.67 c | 65.67 | 0 | -15442 lb | 0 0 0.00 | 67.18/67.22 c | 67.22 | 0 | -15441 lb | 0 0 0.00 | 68.68/68.71 c | 68.71 | 0 | -15440 lb | 0 0 0.00 | 69.29/69.34 c | 69.34 | 0 | -15439 lb | 0 0 0.00 | 69.88/69.93 c | 69.94 | 0 | -15438 lb | 0 0 0.00 | 73.27/73.39 c | 73.40 | 0 | -15437 lb | 0 0 0.00 | 81.67/81.72 c | 81.72 | 0 | -15436 lb | 0 0 0.00 | 81.88/81.97 c | 81.97 | 0 | -15435 lb | 0 0 0.00 | 82.18/82.29 c | 82.29 | 0 | -15434 lb | 0 0 0.00 | 82.97/83.00 c | 83.01 | 0 | -15433 lb | 0 0 0.00 | 83.37/83.47 c | 83.47 | 0 | -15432 lb | 0 0 0.00 | 84.27/84.37 c | 84.38 | 0 | -15431 lb | 0 0 0.00 | 84.47/84.58 c | 84.58 | 0 | -15430 lb | 0 0 0.00 | 85.07/85.11 c | 85.11 | 0 | -15429 lb | 0 0 0.00 | 87.37/87.43 c | 87.43 | 0 | -15428 lb | 0 0 0.00 | 87.77/87.90 c | 87.90 | 0 | -15427 lb | 0 0 0.00 | 88.17/88.22 c | 88.23 | 0 | -15426 lb | 0 0 0.00 | 110.36/110.42 c | 110.43 | 0 | -15425 lb | 0 0 0.00 | 111.16/111.25 c | 111.25 | 0 | -15424 lb | 0 0 0.00 | 113.05/113.15 c | 113.16 | 0 | -15423 lb | 0 0 0.00 | 114.05/114.19 c | 114.20 | 0 | -15422 lb | 0 0 0.00 | 116.46/116.59 c | 116.59 | 0 | -15421 lb | 0 0 0.00 | 116.75/116.80 c | 116.80 | 0 | -15420 lb | 0 0 0.00 | 117.46/117.59 c | 117.59 | 0 | -15419 lb | 0 0 0.00 | 119.56/119.62 c | 119.62 | 0 | -15418 lb | 0 0 0.00 | 120.46/120.52 c | 120.52 | 0 | -15417 lb | 0 0 0.00 | 122.86/122.90 c | 122.90 | 0 | -15416 lb | 0 0 0.00 | 125.95/126.05 c | 126.06 | 0 | -15415 lb | 0 0 0.00 | 130.05/130.16 c | 130.16 | 0 | -15414 lb | 0 0 0.00 | 130.25/130.33 c | 130.34 | 0 | -15413 lb | 0 0 0.00 | 132.45/132.58 c | 132.59 | 0 | -15412 lb | 0 0 0.00 | 138.24/138.33 c | 138.34 | 0 | -15411 lb | 0 0 0.00 | 142.14/142.23 c | 142.23 | 0 | -15410 lb | 0 0 0.00 | 142.34/142.41 c | 142.41 | 0 | -15409 lb | 0 0 0.00 | 142.44/142.57 c | 142.57 | 0 | -15408 lb | 0 0 0.00 | 143.24/143.37 c | 143.37 | 0 | -15407 lb | 0 0 0.00 | 143.44/143.56 c | 143.57 | 0 | -15406 lb | 0 0 0.00 | 143.64/143.75 c | 143.75 | 0 | -15405 lb | 0 0 0.00 | 143.84/143.92 c | 143.93 | 0 | -15404 lb | 0 0 0.00 | 143.95/144.10 c | 144.10 | 0 | -15403 lb | 0 0 0.00 | 144.24/144.32 c | 144.32 | 0 | -15402 lb | 0 0 0.00 | 144.34/144.49 c | 144.50 | 0 | -15401 lb | 0 0 0.00 | 144.64/144.77 c | 144.77 | 0 | -15400 lb | 0 0 0.00 | 146.03/146.13 c | 146.14 | 0 | -15399 lb | 0 0 0.00 | 146.63/146.72 c | 146.72 | 0 | -15398 lb | 0 0 0.00 | 151.03/151.17 c | 151.18 | 0 | -15397 lb | 0 0 0.00 | 151.23/151.35 c | 151.35 | 0 | -15396 lb | 0 0 0.00 | 151.44/151.50 c | 151.51 | 0 | -15395 lb | 0 0 0.00 | 151.54/151.68 c | 151.68 | 0 | -15394 lb | 0 0 0.00 | 199.70/199.80 c | 199.80 | 0 | -15393 lb | 0 0 0.00 | 269.54/269.75 c | 269.76 | 0 | -15392 lb | 0 0 0.00 | 270.93/271.14 c | 271.14 | 0 | -15391 lb | 0 0 0.00 | 274.03/274.28 c | 274.29 | 0 | -15390 lb | 0 0 0.00 | 274.23/274.45 c | 274.46 | 0 | -15389 lb | 0 0 0.00 | 274.43/274.61 c | 274.62 | 0 | -15388 lb | 0 0 0.00 | 274.53/274.78 c | 274.79 | 0 | -15387 lb | 0 0 0.00 | 274.73/274.96 c | 274.96 | 0 | -15386 lb | 0 0 0.00 | 456.60/456.80 c | 456.80 | 0 | -15385 lb | 0 0 0.00 | 1799.58/1800.00 c =============================================================================== 1799.58/1800.00 c Wall Clock Time: 1800.00 s 1799.58/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-3705575-1338120950/watcher-3705575-1338120950 -o /tmp/evaluation-result-3705575-1338120950/solver-3705575-1338120950 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705575-1338120950.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.01 2.00 3/177 5953 /proc/meminfo: memFree=29302988/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=6988 CPUtime=0 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) R 5951 5953 2698 0 -1 4202496 587 0 0 0 0 0 0 0 20 0 1 0 278219386 7155712 539 33554432000 4194304 5963574 140736963165952 140733705284488 5178752 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 1747 545 160 432 0 670 0 [startup+0.0269579 s] /proc/loadavg: 2.04 2.01 2.00 3/177 5953 /proc/meminfo: memFree=29302988/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=10876 CPUtime=0.02 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) R 5951 5953 2698 0 -1 4202496 1590 0 0 0 2 0 0 0 20 0 1 0 278219386 11137024 1542 33554432000 4194304 5963574 140736963165952 140736963164472 4344432 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 2719 1542 234 432 0 1642 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10876 [startup+0.100305 s] /proc/loadavg: 2.04 2.01 2.00 3/177 5953 /proc/meminfo: memFree=29302988/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=19576 CPUtime=0.08 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) R 5951 5953 2698 0 -1 4202496 4043 0 0 0 8 0 0 0 20 0 1 0 278219386 20045824 3841 33554432000 4194304 5963574 140736963165952 140736963164472 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 4894 3842 452 432 0 3817 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19576 [startup+0.300187 s] /proc/loadavg: 2.04 2.01 2.00 3/177 5953 /proc/meminfo: memFree=29302988/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=104988 CPUtime=0.28 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 12237 0 0 0 26 2 0 0 20 0 2 0 278219386 107507712 10167 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 26247 10167 190 432 0 25812 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 104988 [startup+0.700207 s] /proc/loadavg: 2.04 2.01 2.00 3/177 5953 /proc/meminfo: memFree=29302988/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=101292 CPUtime=0.69 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 18398 0 0 0 65 4 0 0 20 0 2 0 278219386 103723008 13953 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 25323 13953 192 432 0 24888 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 101292 [startup+1.50037 s] /proc/loadavg: 2.04 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29247164/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=101292 CPUtime=1.48 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 23888 0 0 0 143 5 0 0 20 0 2 0 278219386 103723008 15720 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 25323 15720 192 432 0 24888 0 [pid=5953/tid=5955] ppid=5951 vsize=101292 CPUtime=1.26 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 17963 0 0 0 122 4 0 0 20 0 2 0 278219408 103723008 15720 33554432000 4194304 5963574 140736963165952 140194821378368 5141661 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 101292 [startup+3.10037 s] /proc/loadavg: 2.04 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29238360/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=101292 CPUtime=3.08 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 34119 0 0 0 301 7 0 0 20 0 2 0 278219386 103723008 18218 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 25323 18218 192 432 0 24888 0 [pid=5953/tid=5955] ppid=5951 vsize=101292 CPUtime=2.86 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 28194 0 0 0 280 6 0 0 20 0 2 0 278219408 103723008 18218 33554432000 4194304 5963574 140736963165952 140194821388824 5129920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 101292 [startup+6.30037 s] /proc/loadavg: 2.04 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29210272/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=166828 CPUtime=6.29 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 55987 0 0 0 617 12 0 0 20 0 2 0 278219386 170831872 24586 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 41707 24604 192 432 0 41272 0 [pid=5953/tid=5955] ppid=5951 vsize=166828 CPUtime=6.05 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 50089 0 0 0 595 10 0 0 20 0 2 0 278219408 170831872 24612 33554432000 4194304 5963574 140736963165952 140194821388824 5179125 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 166828 [startup+12.7004 s] /proc/loadavg: 2.03 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29169864/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=166828 CPUtime=12.69 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 95598 0 0 0 1249 20 0 0 20 0 2 0 278219386 170831872 34619 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 41707 34619 192 432 0 41272 0 [pid=5953/tid=5955] ppid=5951 vsize=166828 CPUtime=12.43 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 89673 0 0 0 1225 18 0 0 20 0 2 0 278219408 170831872 34619 33554432000 4194304 5963574 140736963165952 140194821388824 5134809 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 166828 [startup+25.5004 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29106868/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=232364 CPUtime=25.49 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 144975 0 0 0 2520 29 0 0 20 0 2 0 278219386 237940736 48733 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 58091 48733 194 432 0 57656 0 [pid=5953/tid=5955] ppid=5951 vsize=232364 CPUtime=25.2 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 139050 0 0 0 2493 27 0 0 20 0 2 0 278219408 237940736 48733 33554432000 4194304 5963574 140736963165952 140194821388632 5133477 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 232364 [startup+51.1004 s] /proc/loadavg: 2.02 2.01 2.00 3/179 5955 /proc/meminfo: memFree=29017752/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=363552 CPUtime=51.08 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 220275 0 0 0 5062 46 0 0 20 0 2 0 278219386 372277248 72578 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 90888 72578 194 432 0 90453 0 [pid=5953/tid=5955] ppid=5951 vsize=363552 CPUtime=50.73 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 214350 0 0 0 5028 45 0 0 20 0 2 0 278219408 372277248 72578 33554432000 4194304 5963574 140736963165952 140194821388632 4374795 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 363552 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5994 /proc/meminfo: memFree=29499960/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=363552 CPUtime=102.27 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 256680 0 0 0 10173 54 0 0 20 0 2 0 278219386 372277248 85405 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 90888 85405 195 432 0 90453 0 [pid=5953/tid=5955] ppid=5951 vsize=363552 CPUtime=101.79 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 250755 0 0 0 10126 53 0 0 20 0 2 0 278219408 372277248 85405 33554432000 4194304 5963574 140736963165952 140194821388824 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 363552 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 5994 /proc/meminfo: memFree=29339472/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=429088 CPUtime=162.23 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 259508 0 0 0 16167 56 0 0 20 0 2 0 278219386 439386112 87878 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 107272 87878 195 432 0 106837 0 [pid=5953/tid=5955] ppid=5951 vsize=429088 CPUtime=161.6 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 253583 0 0 0 16104 56 0 0 20 0 2 0 278219408 439386112 87878 33554432000 4194304 5963574 140736963165952 140194821388824 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 429088 [startup+222.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 5995 /proc/meminfo: memFree=29213268/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=429088 CPUtime=222.18 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 263291 0 0 0 22161 57 0 0 20 0 2 0 278219386 439386112 92348 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 107272 92348 195 432 0 106837 0 [pid=5953/tid=5955] ppid=5951 vsize=429088 CPUtime=221.4 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 257366 0 0 0 22082 58 0 0 20 0 2 0 278219408 439386112 92348 33554432000 4194304 5963574 140736963165952 140194821388216 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 429088 [startup+282.3 s] /proc/loadavg: 2.07 2.03 2.00 3/180 5998 /proc/meminfo: memFree=29115204/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=429088 CPUtime=282.13 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 266197 0 0 0 28156 57 0 0 20 0 2 0 278219386 439386112 95515 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 107272 95515 195 432 0 106837 0 [pid=5953/tid=5955] ppid=5951 vsize=429088 CPUtime=281.21 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 260272 0 0 0 28061 60 0 0 20 0 2 0 278219408 439386112 95515 33554432000 4194304 5963574 140736963165952 140194821388824 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 429088 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 5998 /proc/meminfo: memFree=28976356/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=429088 CPUtime=342.12 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 266197 0 0 0 34155 57 0 0 20 0 2 0 278219386 439386112 95515 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 107272 95515 195 432 0 106837 0 [pid=5953/tid=5955] ppid=5951 vsize=429088 CPUtime=341.05 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 260272 0 0 0 34044 61 0 0 20 0 2 0 278219408 439386112 95515 33554432000 4194304 5963574 140736963165952 140194821388824 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 429088 [startup+402.3 s] /proc/loadavg: 2.06 2.03 2.00 3/179 5998 /proc/meminfo: memFree=28867448/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=429088 CPUtime=402.12 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 266378 0 0 0 40154 58 0 0 20 0 2 0 278219386 439386112 95696 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 107272 95696 195 432 0 106837 0 [pid=5953/tid=5955] ppid=5951 vsize=429088 CPUtime=400.9 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 260453 0 0 0 40028 62 0 0 20 0 2 0 278219408 439386112 95696 33554432000 4194304 5963574 140736963165952 140194821388824 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 429088 [startup+462.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 5998 /proc/meminfo: memFree=28758420/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=494624 CPUtime=462.11 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 6005 /proc/meminfo: memFree=26967220/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1421.94 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 303164 0 0 0 142102 92 0 0 20 0 2 0 278219386 640712704 133835 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 133835 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1418.27 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 297239 0 0 0 141715 112 0 0 20 0 2 0 278219408 640712704 133835 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 625696 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/180 6008 /proc/meminfo: memFree=26925144/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1481.92 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 304010 0 0 0 148098 94 0 0 20 0 2 0 278219386 640712704 134681 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 134681 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1478.11 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 298085 0 0 0 147697 114 0 0 20 0 2 0 278219408 640712704 134681 33554432000 4194304 5963574 140736963165952 140194821388328 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 625696 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 6008 /proc/meminfo: memFree=26902700/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1541.91 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 304723 0 0 0 154096 95 0 0 20 0 2 0 278219386 640712704 135394 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 135394 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1537.96 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 298798 0 0 0 153679 117 0 0 20 0 2 0 278219408 640712704 135394 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 625696 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 6008 /proc/meminfo: memFree=26861184/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1601.91 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 305450 0 0 0 160094 97 0 0 20 0 2 0 278219386 640712704 136121 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 136121 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1597.81 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 299525 0 0 0 159662 119 0 0 20 0 2 0 278219408 640712704 136121 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 625696 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 6008 /proc/meminfo: memFree=26705360/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1661.9 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 306316 0 0 0 166092 98 0 0 20 0 2 0 278219386 640712704 136987 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 136987 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1657.65 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 300391 0 0 0 165644 121 0 0 20 0 2 0 278219408 640712704 136987 33554432000 4194304 5963574 140736963165952 140194821388088 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 625696 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6008 /proc/meminfo: memFree=26639400/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1721.89 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 307210 0 0 0 172090 99 0 0 20 0 2 0 278219386 640712704 137881 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 137881 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1717.5 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 301285 0 0 0 171627 123 0 0 20 0 2 0 278219408 640712704 137881 33554432000 4194304 5963574 140736963165952 140194821388328 4400055 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 625696 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6009 /proc/meminfo: memFree=26643192/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1781.87 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 307912 0 0 0 178087 100 0 0 20 0 2 0 278219386 640712704 138583 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138583 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1777.35 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 301987 0 0 0 177609 126 0 0 20 0 2 0 278219408 640712704 138583 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 625696 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.08 2.02 2.01 3/178 6009 /proc/meminfo: memFree=26618928/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1791.48 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308026 0 0 0 179048 100 0 0 20 0 2 0 278219386 640712704 138697 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138697 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1786.93 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302101 0 0 0 178567 126 0 0 20 0 2 0 278219408 640712704 138697 33554432000 4194304 5963574 140736963165952 140194821388328 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 625696 [startup+1795.1 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26594228/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1794.69 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308061 0 0 0 179368 101 0 0 20 0 2 0 278219386 640712704 138732 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138732 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1790.12 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302136 0 0 0 178886 126 0 0 20 0 2 0 278219408 640712704 138732 33554432000 4194304 5963574 140736963165952 140194821388328 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 625696 [startup+1798.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26618680/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1797.88 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308119 0 0 0 179687 101 0 0 20 0 2 0 278219386 640712704 138790 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138790 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1793.3 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302194 0 0 0 179204 126 0 0 20 0 2 0 278219408 640712704 138790 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 625696 [startup+1799.1 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26618556/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1798.68 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308132 0 0 0 179767 101 0 0 20 0 2 0 278219386 640712704 138803 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138803 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1794.1 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302207 0 0 0 179284 126 0 0 20 0 2 0 278219408 640712704 138803 33554432000 4194304 5963574 140736963165952 140194821388280 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (KiB) 625696 [startup+1799.5 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26593980/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1799.09 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308139 0 0 0 179808 101 0 0 20 0 2 0 278219386 640712704 138810 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138810 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1794.51 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302214 0 0 0 179325 126 0 0 20 0 2 0 278219408 640712704 138810 33554432000 4194304 5963574 140736963165952 140194821388280 4399971 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.09 Current children cumulated vsize (KiB) 625696 [startup+1799.9 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26593980/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1799.48 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308144 0 0 0 179847 101 0 0 20 0 2 0 278219386 640712704 138815 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138815 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1794.9 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302219 0 0 0 179364 126 0 0 20 0 2 0 278219408 640712704 138815 33554432000 4194304 5963574 140736963165952 140194821388328 4400044 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (KiB) 625696 [startup+1800 s] /proc/loadavg: 2.07 2.02 2.00 3/178 6009 /proc/meminfo: memFree=26593980/32873844 swapFree=7628/7628 [pid=5953] ppid=5951 vsize=625696 CPUtime=1799.58 cores=1,3,5,7 /proc/5953/stat : 5953 (wbo1.7) S 5951 5953 2698 0 -1 4202496 308146 0 0 0 179857 101 0 0 20 0 2 0 278219386 640712704 138817 33554432000 4194304 5963574 140736963165952 140736963165472 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5953/statm: 156424 138817 195 432 0 155989 0 [pid=5953/tid=5955] ppid=5951 vsize=625696 CPUtime=1795 cores=1,3,5,7 /proc/5953/task/5955/stat : 5955 (wbo1.7) R 5951 5953 2698 0 -1 4202560 302221 0 0 0 179374 126 0 0 20 0 2 0 278219408 640712704 138817 33554432000 4194304 5963574 140736963165952 140194821388328 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 625696 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5953 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=948278 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=305801 # CPU time returned by wait4() is 1795.25 # while last known CPU time is 1799.58 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.02 CPU time (s): 1799.58 CPU user time (s): 1798.57 CPU system time (s): 1.01 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 625696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.95 system time used= 1.3058 maximum resident set size= 555268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 308146 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= 169 involuntary context switches= 2155 runsolver used 3.88641 second user time and 8.65568 second system time The end
Begin job on node145 at 2012-05-27 14:15:50 IDJOB=3705575 IDBENCH=90633 IDSOLVER=2283 FILE ID=node145/3705575-1338120950 RUNJOBID= node145-1338087553-2715 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_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705575-1338120950/watcher-3705575-1338120950 -o /tmp/evaluation-result-3705575-1338120950/solver-3705575-1338120950 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705575-1338120950.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 149bc47a65ee9b475f97ab5e9dc95355 RANDOM SEED=1764642661 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: 29303632 kB Buffers: 296356 kB Cached: 1713404 kB SwapCached: 0 kB Active: 1388000 kB Inactive: 1364808 kB Active(anon): 734356 kB Inactive(anon): 10912 kB Active(file): 653644 kB Inactive(file): 1353896 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7776 kB Writeback: 0 kB AnonPages: 752512 kB Mapped: 14848 kB Shmem: 200 kB Slab: 673668 kB SReclaimable: 115252 kB SUnreclaim: 558416 kB KernelStack: 1448 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 161852 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 710656 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:45:50