Trace number 4443862

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2024-06-18SAT 70.0469 70.2224

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
MD5SUM2365fef7cfc1138f9264574544964d48
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.54101
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 450
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4443862-1721310220.opb (Picat 3.6#12)
69.92/70.19	s SATISFIABLE
69.92/70.19	v ~x1900 ~x3813 ~x1054 ~x208 ~x2970 x1901 ~x3814 ~x1055 ~x209 ~x2971 
69.92/70.19	v ~x1902 ~x3815 ~x1056 ~x210 ~x2972 ~x1903 x3816 ~x1057 x211 ~x2973 
69.92/70.19	v ~x1904 ~x3817 ~x1058 ~x212 ~x1905 ~x3818 ~x1059 ~x213 ~x2974 ~x1906 
69.92/70.19	v ~x3819 ~x1060 ~x214 ~x2975 ~x1907 x3820 ~x1061 ~x215 ~x2976 ~x1908 
69.92/70.19	v ~x3821 ~x1062 ~x216 ~x2977 ~x1909 ~x3822 ~x1063 ~x217 ~x2978 ~x1910 
69.92/70.19	v ~x3823 ~x1064 ~x218 ~x2979 ~x1911 ~x3824 ~x1065 ~x219 ~x2980 ~x1912 
69.92/70.19	v ~x3825 ~x1066 ~x220 ~x2981 ~x1913 ~x3826 ~x1067 ~x221 ~x2982 ~x1914 
69.92/70.19	v ~x3827 ~x1068 ~x222 ~x2983 ~x1915 ~x3828 ~x1069 ~x223 ~x2984 ~x1916 
69.92/70.19	v x3829 ~x1070 ~x224 ~x2985 ~x1917 ~x3830 ~x1071 ~x225 ~x2986 ~x1918 
69.92/70.19	v ~x3831 ~x1072 ~x226 ~x2987 ~x1919 ~x3832 ~x1073 ~x227 ~x2988 ~x1920 
69.92/70.19	v ~x3833 ~x1074 ~x228 ~x2989 ~x1921 ~x3834 ~x1075 ~x229 ~x2990 ~x1922 
69.92/70.19	v ~x3835 ~x1076 ~x230 ~x2991 ~x1923 ~x3836 ~x1077 ~x231 ~x2992 ~x1924 
69.92/70.19	v ~x3837 ~x1078 ~x232 ~x2993 ~x1925 ~x3838 ~x1079 ~x233 ~x2994 ~x1926 
69.92/70.19	v ~x3839 x1080 ~x234 ~x2995 ~x1927 ~x3840 ~x1081 ~x235 ~x2996 ~x1928 
69.92/70.19	v ~x3841 ~x1082 ~x236 ~x2997 ~x1929 ~x3842 ~x1083 ~x237 ~x2998 ~x1930 
69.92/70.19	v ~x3843 ~x1084 ~x238 ~x2999 ~x1931 ~x3844 ~x1085 ~x239 ~x3000 ~x1932 
69.92/70.19	v ~x3845 ~x1086 ~x240 ~x3001 ~x1933 ~x3846 ~x1087 ~x241 ~x3002 ~x1934 
69.92/70.19	v ~x3847 ~x1088 ~x242 ~x3003 ~x1935 ~x3848 ~x1089 ~x243 ~x3004 ~x1936 
69.92/70.19	v ~x3849 ~x1090 ~x244 ~x3005 ~x1937 ~x3850 ~x1091 ~x245 ~x3006 ~x1938 
69.92/70.19	v ~x3851 ~x1092 ~x246 ~x3007 ~x1939 ~x3852 ~x1093 ~x247 ~x3008 ~x1940 
69.92/70.19	v ~x3853 ~x1094 ~x248 ~x3009 ~x1941 ~x3854 ~x1095 ~x249 ~x3010 ~x1942 
69.92/70.19	v ~x3855 ~x1096 ~x250 ~x3011 ~x1943 ~x3856 ~x1097 ~x251 ~x3012 ~x1944 
69.92/70.19	v ~x3857 ~x1098 ~x252 ~x3013 ~x1945 ~x3858 ~x1099 ~x253 ~x3014 ~x1946 
69.92/70.19	v ~x3859 ~x1100 ~x254 ~x3015 ~x1947 ~x3860 ~x1101 ~x255 ~x3016 ~x1948 
69.92/70.19	v ~x3861 ~x1102 ~x256 ~x3017 ~x1949 ~x3862 ~x1103 ~x257 ~x3018 ~x1950 
69.92/70.19	v ~x3863 ~x1104 ~x258 ~x3019 ~x1951 ~x3864 ~x1105 ~x259 ~x3020 ~x1952 
69.92/70.19	v ~x3865 ~x1106 ~x260 ~x3021 x1953 ~x3866 ~x1107 ~x261 ~x3022 ~x1954 
69.92/70.19	v ~x3867 ~x1108 ~x262 ~x3023 ~x1955 ~x3868 x1109 ~x263 ~x3024 ~x1956 
69.92/70.19	v ~x3869 ~x1110 ~x264 ~x3025 ~x1957 ~x3870 ~x1111 x265 ~x3026 ~x1958 
69.92/70.19	v ~x3871 ~x1112 ~x266 ~x3027 ~x1959 ~x3872 ~x1113 ~x267 ~x3028 ~x1960 
69.92/70.19	v ~x3873 ~x1114 ~x268 ~x3029 ~x1961 ~x3874 ~x1115 ~x269 ~x3030 ~x1962 
69.92/70.19	v ~x3875 ~x1116 ~x270 ~x3031 ~x1963 ~x3876 ~x1117 ~x271 ~x3032 ~x1964 
69.92/70.19	v ~x3877 ~x1118 ~x272 ~x3033 ~x1965 ~x3878 ~x1119 ~x273 ~x3034 ~x1966 
69.92/70.19	v ~x3879 ~x1120 ~x274 ~x3035 ~x1967 ~x3880 ~x1121 ~x275 ~x3036 ~x1968 
69.92/70.19	v ~x3881 ~x1122 ~x276 ~x3037 ~x1969 ~x3882 ~x1123 ~x277 ~x3038 ~x1970 
69.92/70.19	v ~x3883 ~x1124 ~x278 ~x3039 ~x1971 ~x3884 ~x1125 ~x279 ~x3040 ~x1972 
69.92/70.19	v ~x3885 ~x1126 ~x280 ~x3041 ~x1973 ~x3886 ~x1127 ~x281 ~x3042 ~x1974 
69.92/70.19	v ~x3887 ~x1128 ~x282 ~x3043 ~x1975 ~x3888 ~x1129 ~x283 ~x3044 ~x1976 
69.92/70.19	v ~x3889 ~x1130 ~x284 ~x3045 ~x1977 ~x3890 ~x1131 ~x285 ~x3046 ~x1978 
69.92/70.19	v ~x3891 ~x1132 ~x286 ~x3047 ~x1979 ~x3892 ~x1133 ~x287 ~x3048 ~x1980 
69.92/70.19	v ~x3893 ~x1134 ~x288 ~x3049 ~x1981 ~x3894 ~x1135 ~x289 ~x3050 ~x1982 
69.92/70.19	v ~x3895 ~x1136 ~x290 ~x3051 ~x1983 ~x3896 ~x1137 ~x291 ~x3052 ~x1984 
69.92/70.19	v ~x3897 ~x1138 ~x292 ~x3053 ~x1985 ~x3898 ~x1139 ~x293 ~x3054 ~x1986 
69.92/70.19	v ~x3899 ~x1140 ~x294 ~x3055 ~x1987 ~x3900 ~x1141 ~x295 ~x3056 ~x1988 
69.92/70.19	v ~x3901 ~x1142 ~x296 ~x3057 ~x1989 ~x3902 ~x1143 ~x297 ~x3058 ~x1990 
69.92/70.19	v ~x3903 ~x1144 ~x298 ~x3059 ~x1991 ~x3904 ~x1145 ~x299 ~x3060 ~x1992 
69.92/70.19	v ~x3905 ~x1146 ~x300 ~x3061 ~x1993 ~x3906 ~x1147 ~x301 ~x3062 ~x1994 
69.92/70.19	v ~x3907 ~x1148 ~x302 ~x3063 ~x1995 ~x3908 ~x1149 ~x303 x3064 ~x1996 
69.92/70.19	v ~x3909 ~x1150 ~x304 ~x3065 ~x1997 ~x3910 ~x1151 ~x305 ~x3066 ~x1998 
69.92/70.19	v ~x3911 ~x1152 ~x306 ~x3067 ~x1999 ~x3912 ~x1153 ~x307 ~x3068 ~x2000 
69.92/70.19	v ~x3913 ~x1154 ~x308 ~x3069 ~x2001 ~x3914 ~x1155 ~x309 ~x3070 ~x2002 
69.92/70.19	v ~x3915 ~x1156 ~x310 ~x3071 ~x2003 ~x3916 ~x1157 ~x311 ~x3072 ~x2004 
69.92/70.19	v ~x3917 ~x1158 ~x312 ~x3073 ~x2005 ~x3918 ~x1159 ~x313 ~x3074 ~x2006 
69.92/70.19	v ~x3919 ~x1160 ~x314 ~x2007 ~x3075 ~x1161 ~x3920 ~x315 ~x3076 ~x2008 
69.92/70.19	v ~x3921 ~x1162 ~x316 ~x3077 ~x2009 ~x3922 ~x1163 ~x317 ~x3078 ~x2010 
69.92/70.19	v ~x3923 ~x1164 ~x318 ~x3079 ~x2011 ~x3924 ~x1165 ~x319 ~x3080 ~x2012 
69.92/70.19	v ~x3925 ~x1166 ~x320 ~x3081 ~x2013 ~x3926 ~x1167 ~x321 ~x3082 ~x2014 
69.92/70.19	v ~x3927 ~x1168 ~x322 ~x3083 ~x2015 ~x3928 x1169 ~x323 ~x3084 ~x2016 
69.92/70.19	v ~x3929 ~x1170 ~x324 ~x3085 ~x2017 ~x3930 ~x1171 ~x325 ~x3086 ~x2018 
69.92/70.19	v ~x3931 ~x1172 ~x326 ~x3087 ~x2019 ~x3932 ~x1173 ~x327 ~x3088 ~x2020 
69.92/70.19	v ~x3933 ~x1174 ~x328 ~x3089 ~x2021 ~x3934 ~x1175 ~x329 ~x3090 ~x2022 
69.92/70.19	v ~x3935 ~x1176 ~x330 ~x3091 ~x2023 ~x3936 ~x1177 ~x331 ~x3092 ~x2024 
69.92/70.19	v ~x3937 ~x1178 ~x332 ~x3093 ~x2025 ~x3938 ~x1179 x333 ~x3094 ~x2026 
69.92/70.19	v ~x3939 ~x1180 ~x334 x3095 ~x2027 ~x3940 ~x1181 ~x335 ~x3096 ~x2028 
69.92/70.19	v ~x3941 ~x1182 ~x336 ~x3097 ~x2029 ~x3942 ~x1183 ~x337 ~x3098 ~x2030 
69.92/70.19	v ~x3943 ~x1184 ~x338 ~x3099 ~x2031 ~x3944 ~x1185 ~x339 ~x3100 x2032 
69.92/70.19	v ~x3945 ~x1186 ~x340 ~x3101 ~x2033 ~x3946 ~x1187 ~x341 ~x3102 ~x2034 
69.92/70.19	v ~x3947 ~x1188 ~x342 ~x3103 ~x2035 ~x3948 ~x1189 ~x343 ~x3104 ~x2036 
69.92/70.19	v ~x3949 ~x1190 ~x344 ~x3105 ~x2037 ~x3950 ~x1191 ~x345 ~x3106 ~x2038 
69.92/70.19	v ~x3951 ~x1192 ~x346 ~x3107 ~x2039 ~x3952 ~x1193 ~x347 ~x3108 ~x2040 
69.92/70.19	v ~x3953 ~x1194 ~x348 ~x3109 ~x2041 ~x3954 ~x1195 ~x349 ~x3110 ~x2042 
69.92/70.19	v ~x3955 ~x1196 ~x350 ~x3111 ~x2043 ~x3956 ~x1197 ~x351 ~x3112 ~x2044 
69.92/70.19	v ~x3957 ~x1198 ~x352 ~x3113 ~x2045 ~x3958 ~x1199 ~x353 ~x3114 ~x2046 
69.92/70.19	v ~x3959 ~x1200 ~x354 ~x3115 ~x2047 ~x3960 ~x1201 ~x355 ~x3116 ~x2048 
69.92/70.19	v ~x3961 ~x1202 ~x356 ~x3117 ~x2049 ~x3962 ~x1203 ~x357 ~x3118 ~x2050 
69.92/70.19	v ~x3963 ~x1204 ~x358 ~x3119 ~x2051 ~x3964 ~x1205 ~x359 ~x3120 ~x2052 
69.92/70.19	v ~x3965 ~x1206 ~x360 ~x3121 ~x2053 ~x3966 ~x1207 ~x361 ~x3122 ~x2054 
69.92/70.19	v ~x3967 ~x1208 ~x362 ~x3123 ~x2055 ~x3968 ~x1209 ~x363 ~x3124 ~x2056 
69.92/70.19	v ~x3969 ~x1210 ~x364 ~x3125 ~x2057 ~x3970 ~x1211 ~x365 ~x3126 ~x2058 
69.92/70.19	v ~x3971 ~x1212 ~x366 ~x3127 ~x2059 ~x3972 ~x1213 ~x367 ~x3128 ~x2060 
69.92/70.19	v ~x3973 ~x1214 ~x368 ~x3129 ~x2061 ~x3974 ~x1215 ~x369 ~x3130 ~x2062 
69.92/70.19	v ~x3975 ~x1216 ~x370 ~x3131 ~x2063 ~x3976 ~x1217 ~x371 ~x3132 ~x2064 
69.92/70.19	v ~x3977 ~x1218 ~x372 ~x3133 ~x2065 ~x3978 ~x1219 ~x373 ~x3134 ~x2066 
69.92/70.19	v ~x3979 ~x1220 ~x374 ~x3135 ~x2067 ~x3980 ~x1221 ~x375 ~x3136 ~x2068 
69.92/70.19	v ~x3981 ~x1222 ~x376 ~x3137 ~x2069 ~x3982 ~x1223 ~x377 ~x3138 ~x2070 
69.92/70.19	v ~x3983 ~x1224 ~x378 ~x3139 ~x2071 ~x3984 ~x1225 ~x379 ~x3140 ~x2072 
69.92/70.19	v ~x3985 ~x1226 ~x380 ~x3141 ~x2073 ~x3986 ~x1227 ~x381 ~x3142 ~x2074 
69.92/70.19	v ~x3987 ~x1228 ~x382 ~x3143 ~x2075 ~x3988 ~x1229 ~x383 ~x3144 ~x2076 
69.92/70.19	v ~x3989 ~x1230 ~x384 ~x3145 ~x2077 ~x3990 ~x1231 x385 ~x3146 ~x2078 
69.92/70.19	v ~x3991 ~x1232 ~x386 ~x3147 ~x2079 ~x3992 ~x1233 ~x387 ~x3148 ~x2080 
69.92/70.19	v ~x3993 x1234 ~x388 ~x3149 ~x2081 ~x3994 ~x1235 ~x389 ~x3150 ~x2082 
69.92/70.19	v ~x3995 ~x1236 ~x390 ~x3151 ~x2083 ~x3996 ~x1237 ~x391 ~x3152 ~x2084 
69.92/70.19	v ~x3997 ~x1238 ~x392 ~x3153 ~x2085 ~x3998 ~x1239 ~x393 ~x3154 ~x2086 
69.92/70.19	v ~x3999 ~x1240 ~x394 ~x3155 ~x2087 ~x4000 ~x1241 ~x395 ~x3156 ~x2088 
69.92/70.19	v ~x4001 ~x1242 ~x396 ~x3157 ~x2089 ~x4002 ~x1243 ~x397 ~x3158 ~x2090 
69.92/70.19	v x4003 ~x1244 ~x398 ~x3159 ~x2091 ~x4004 ~x1245 ~x399 ~x3160 ~x2092 
69.92/70.19	v ~x4005 ~x1246 ~x400 ~x3161 ~x2093 ~x4006 ~x1247 ~x401 ~x3162 ~x2094 
69.92/70.19	v x4007 ~x1248 ~x402 ~x3163 x2095 ~x4008 ~x1249 ~x403 ~x3164 ~x2096 
69.92/70.19	v ~x4009 ~x1250 ~x404 ~x3165 ~x2097 ~x4010 ~x1251 ~x405 ~x3166 ~x2098 
69.92/70.19	v ~x4011 ~x1252 ~x406 ~x3167 ~x2099 ~x4012 ~x1253 ~x407 ~x3168 ~x2100 
69.92/70.19	v ~x4013 ~x1254 ~x408 ~x3169 ~x2101 ~x4014 ~x1255 ~x409 ~x3170 ~x2102 
69.92/70.19	v ~x4015 ~x1256 ~x410 ~x3171 ~x2103 x4016 ~x1257 ~x411 ~x3172 ~x2104 
69.92/70.19	v ~x4017 ~x1258 ~x412 ~x3173 ~x2105 ~x4018 ~x1259 ~x413 ~x3174 ~x2106 
69.92/70.20	v ~x4019 ~x1260 ~x414 ~x3175 ~x2107 ~x4020 ~x1261 ~x415 ~x3176 ~x2108 
69.92/70.20	v ~x4021 ~x1262 ~x416 ~x3177 ~x2109 ~x4022 ~x1263 ~x417 ~x3178 ~x2110 
69.92/70.20	v ~x4023 ~x1264 ~x418 ~x3179 ~x2111 ~x4024 ~x1265 ~x419 ~x3180 ~x2112 
69.92/70.20	v ~x4025 ~x1266 ~x420 ~x3181 ~x2113 ~x4026 ~x1267 ~x421 ~x3182 ~x2114 
69.92/70.20	v ~x4027 ~x1268 x422 ~x3183 ~x2115 ~x4028 ~x1269 ~x423 ~x3184 ~x2116 
69.92/70.20	v ~x4029 ~x1270 ~x424 ~x3185 ~x2117 ~x4030 ~x1271 ~x425 ~x3186 ~x2118 
69.92/70.20	v ~x4031 ~x1272 ~x426 ~x3187 ~x2119 ~x4032 ~x1273 ~x427 ~x3188 ~x2120 
69.92/70.20	v ~x4033 ~x1274 ~x428 ~x3189 ~x2121 ~x4034 ~x1275 ~x429 ~x3190 ~x2122 
69.92/70.20	v ~x4035 ~x1276 ~x430 ~x3191 ~x2123 ~x4036 ~x1277 ~x431 ~x3192 ~x2124 
69.92/70.20	v ~x4037 ~x1278 ~x432 ~x3193 ~x2125 ~x4038 ~x1279 ~x433 ~x3194 ~x2126 
69.92/70.20	v ~x4039 ~x1280 ~x434 ~x3195 ~x2127 ~x4040 ~x1281 ~x435 ~x3196 ~x2128 
69.92/70.20	v ~x4041 ~x1282 ~x436 ~x3197 ~x2129 ~x4042 ~x1283 ~x437 ~x3198 ~x2130 
69.92/70.20	v ~x4043 ~x1284 ~x438 ~x3199 ~x2131 ~x4044 ~x1285 ~x439 ~x3200 ~x2132 
69.92/70.20	v ~x4045 ~x1286 ~x440 ~x3201 ~x2133 ~x4046 ~x1287 ~x441 ~x3202 ~x2134 
69.92/70.20	v ~x4047 ~x1288 ~x442 ~x3203 ~x2135 ~x4048 ~x1289 ~x443 ~x3204 ~x2136 
69.92/70.20	v ~x4049 ~x1290 ~x444 ~x3205 ~x2137 ~x4050 ~x1291 ~x445 ~x3206 ~x2138 
69.92/70.20	v ~x4051 ~x1292 ~x446 ~x3207 ~x2139 ~x4052 ~x1293 ~x447 ~x3208 ~x2140 
69.92/70.20	v ~x4053 ~x1294 ~x448 ~x3209 ~x2141 ~x4054 ~x1295 ~x449 ~x3210 ~x2142 
69.92/70.20	v ~x4055 ~x1296 ~x450 ~x3211 ~x2143 ~x4056 ~x1297 ~x451 ~x3212 x2144 
69.92/70.20	v ~x4057 ~x1298 ~x452 ~x3213 ~x2145 ~x4058 ~x1299 ~x453 ~x3214 ~x2146 
69.92/70.20	v ~x4059 x1300 ~x454 ~x3215 ~x2147 ~x4060 ~x1301 ~x455 ~x3216 ~x2148 
69.92/70.20	v ~x4061 ~x1302 ~x456 ~x3217 ~x2149 ~x4062 ~x1303 ~x457 ~x3218 ~x2150 
69.92/70.20	v ~x4063 ~x1304 ~x458 ~x3219 ~x2151 ~x4064 ~x1305 ~x459 ~x3220 ~x2152 
69.92/70.20	v ~x4065 ~x1306 ~x460 ~x3221 ~x2153 ~x4066 x1307 ~x461 ~x3222 ~x2154 
69.92/70.20	v ~x4067 ~x1308 ~x462 ~x3223 ~x2155 ~x4068 ~x1309 ~x463 ~x3224 ~x2156 
69.92/70.20	v ~x4069 ~x1310 ~x464 ~x3225 ~x2157 ~x4070 ~x1311 ~x465 ~x3226 ~x2158 
69.92/70.20	v ~x4071 ~x1312 ~x466 ~x3227 ~x2159 ~x4072 ~x1313 ~x467 ~x3228 ~x2160 
69.92/70.20	v ~x4073 ~x1314 ~x468 ~x3229 ~x2161 ~x4074 ~x1315 ~x469 ~x3230 ~x2162 
69.92/70.20	v ~x4075 ~x1316 ~x470 ~x3231 ~x2163 ~x4076 ~x1317 ~x471 ~x3232 ~x2164 
69.92/70.20	v ~x4077 ~x1318 ~x472 ~x3233 ~x2165 ~x4078 ~x1319 ~x473 ~x3234 ~x2166 
69.92/70.20	v ~x4079 ~x1320 x474 ~x3235 ~x2167 ~x4080 ~x1321 ~x475 ~x3236 ~x2168 
69.92/70.20	v ~x4081 ~x1322 ~x476 ~x3237 ~x2169 ~x4082 ~x1323 ~x477 ~x3238 ~x2170 
69.92/70.20	v ~x4083 ~x1324 ~x478 ~x3239 ~x2171 ~x4084 ~x1325 ~x479 ~x3240 ~x2172 
69.92/70.20	v ~x4085 ~x1326 ~x480 ~x3241 ~x2173 ~x4086 ~x1327 ~x481 ~x3242 ~x2174 
69.92/70.20	v ~x4087 ~x1328 ~x482 ~x3243 ~x2175 ~x4088 ~x1329 ~x483 ~x3244 ~x2176 
69.92/70.20	v ~x4089 ~x1330 ~x484 ~x3245 ~x2177 ~x4090 ~x1331 ~x485 ~x3246 ~x2178 
69.92/70.20	v ~x4091 ~x1332 ~x486 ~x3247 ~x2179 ~x4092 ~x1333 ~x487 ~x3248 ~x2180 
69.92/70.20	v ~x4093 ~x1334 ~x488 ~x3249 x2181 ~x4094 ~x1335 ~x489 ~x3250 ~x2182 
69.92/70.20	v ~x4095 ~x1336 ~x490 ~x3251 ~x2183 ~x4096 ~x1337 ~x491 ~x3252 ~x2184 
69.92/70.20	v ~x4097 ~x1338 ~x492 ~x3253 ~x2185 ~x4098 ~x1339 ~x493 ~x3254 ~x2186 
69.92/70.20	v ~x4099 ~x1340 ~x494 ~x3255 ~x2187 ~x4100 ~x1341 ~x495 ~x3256 ~x2188 
69.92/70.20	v ~x4101 ~x1342 ~x496 ~x3257 ~x2189 ~x4102 ~x1343 ~x497 ~x3258 ~x2190 
69.92/70.20	v ~x4103 ~x1344 ~x498 ~x3259 ~x2191 ~x4104 ~x1345 ~x499 ~x3260 ~x2192 
69.92/70.20	v ~x4105 ~x1346 ~x500 ~x3261 ~x2193 ~x4106 ~x1347 ~x501 ~x3262 ~x2194 
69.92/70.20	v ~x4107 ~x1348 ~x502 ~x3263 ~x2195 ~x4108 ~x1349 ~x503 ~x3264 ~x2196 
69.92/70.20	v ~x4109 ~x1350 ~x504 ~x3265 ~x2197 ~x4110 ~x1351 ~x505 ~x3266 ~x2198 
69.92/70.20	v ~x4111 ~x1352 ~x506 ~x3267 ~x2199 ~x4112 ~x1353 ~x507 ~x3268 ~x2200 
69.92/70.20	v ~x4113 ~x1354 ~x508 ~x3269 ~x2201 ~x4114 ~x1355 ~x509 ~x3270 ~x2202 
69.92/70.20	v ~x4115 ~x1356 ~x510 ~x3271 ~x2203 ~x4116 ~x1357 ~x511 ~x3272 ~x2204 
69.92/70.20	v ~x4117 ~x1358 ~x512 ~x3273 ~x2205 x4118 ~x1359 ~x513 ~x3274 ~x2206 
69.92/70.20	v ~x4119 ~x1360 ~x514 ~x3275 ~x2207 ~x4120 ~x1361 ~x515 ~x3276 ~x2208 
69.92/70.20	v ~x4121 ~x1362 ~x516 ~x3277 ~x2209 ~x4122 ~x1363 ~x517 ~x3278 ~x2210 
69.92/70.20	v ~x4123 ~x1364 ~x518 ~x3279 ~x2211 ~x4124 ~x1365 ~x519 ~x3280 ~x2212 
69.92/70.20	v ~x4125 ~x1366 ~x520 ~x3281 ~x2213 ~x4126 ~x1367 ~x521 ~x3282 ~x2214 
69.92/70.20	v ~x4127 ~x1368 ~x522 ~x3283 ~x2215 ~x4128 ~x1369 ~x523 ~x3284 ~x2216 
69.92/70.20	v ~x4129 ~x1370 ~x524 ~x3285 ~x2217 ~x4130 ~x1371 ~x525 ~x3286 ~x2218 
69.92/70.20	v ~x4131 ~x1372 ~x526 ~x3287 ~x2219 ~x4132 ~x1373 ~x527 ~x3288 x2220 
69.92/70.20	v ~x4133 ~x1374 ~x528 ~x2 ~x3289 ~x2221 ~x4134 ~x1375 ~x529 ~x2501 
69.92/70.20	v ~x3290 ~x2222 ~x4135 ~x1376 ~x530 ~x3291 ~x2223 ~x4136 ~x1377 ~x531 
69.92/70.20	v ~x3 ~x3292 ~x2224 ~x4137 x1378 ~x532 ~x2502 ~x3293 ~x2225 ~x4138 
69.92/70.20	v ~x1379 ~x533 ~x5 ~x3294 ~x2226 ~x4139 ~x1380 ~x534 ~x2503 ~x3295 
69.92/70.20	v ~x2227 ~x4140 ~x1381 ~x535 ~x6 ~x3296 ~x2228 ~x4141 ~x1382 ~x536 
69.92/70.20	v ~x2504 ~x3297 ~x2229 ~x4142 ~x1383 ~x537 ~x7 ~x3298 ~x2230 ~x4143 
69.92/70.20	v ~x1384 ~x538 ~x2505 ~x3299 ~x2231 ~x4144 ~x1385 x539 ~x9 ~x3300 
69.92/70.20	v ~x4145 ~x1386 ~x540 ~x2506 ~x3301 ~x4146 ~x1387 ~x541 ~x2232 ~x11 
69.92/70.20	v ~x3302 ~x4147 ~x1388 ~x542 ~x2233 ~x2507 ~x3303 ~x4148 ~x1389 ~x543 
69.92/70.20	v ~x2234 ~x3304 ~x4149 ~x1390 ~x544 ~x2235 ~x3305 ~x12 x4150 ~x1391 
69.92/70.20	v ~x545 ~x2236 ~x3306 ~x2508 ~x4151 ~x1392 ~x546 ~x2237 ~x3307 ~x13 
69.92/70.20	v ~x4152 ~x1393 ~x547 ~x2238 ~x3308 ~x2509 ~x4153 ~x1394 ~x548 ~x2239 
69.92/70.20	v ~x3309 ~x14 ~x4154 ~x1395 ~x549 ~x2240 ~x3310 ~x2510 ~x4155 ~x1396 
69.92/70.20	v ~x550 ~x2241 ~x3311 ~x15 ~x4156 ~x1397 ~x551 ~x2242 ~x3312 ~x2511 
69.92/70.20	v ~x4157 ~x1398 ~x552 ~x2243 ~x3313 ~x16 ~x4158 ~x1399 ~x553 ~x2244 
69.92/70.20	v ~x3314 ~x2512 x4159 ~x1400 ~x554 ~x2245 ~x3315 ~x17 ~x4160 ~x1401 
69.92/70.20	v ~x555 ~x2246 ~x3316 ~x2513 ~x4161 ~x1402 ~x556 ~x2247 ~x3317 ~x18 
69.92/70.20	v ~x4162 ~x1403 ~x557 ~x2248 ~x3318 ~x2514 ~x4163 ~x1404 ~x558 ~x2249 
69.92/70.20	v ~x3319 ~x19 x4164 ~x1405 ~x559 ~x2250 ~x3320 ~x2515 ~x4165 ~x1406 
69.92/70.20	v ~x560 ~x2251 ~x3321 ~x21 ~x4166 ~x1407 ~x561 ~x2252 ~x3322 ~x2516 
69.92/70.20	v ~x4167 ~x1408 ~x562 ~x2253 ~x3323 ~x4168 ~x1409 ~x563 ~x2254 ~x3324 
69.92/70.20	v ~x4169 x1410 ~x564 ~x2255 ~x22 ~x3325 ~x4170 ~x1411 ~x565 ~x2256 
69.92/70.20	v ~x2517 ~x3326 ~x4171 ~x1412 ~x566 ~x2257 ~x23 ~x3327 ~x4172 ~x1413 
69.92/70.20	v ~x567 ~x2258 ~x2518 ~x3328 ~x4173 ~x1414 ~x568 ~x2259 ~x24 ~x3329 
69.92/70.20	v ~x4174 ~x1415 ~x569 ~x2260 ~x2519 ~x3330 ~x4175 ~x1416 ~x570 ~x2261 
69.92/70.20	v ~x26 ~x3331 ~x4176 ~x1417 ~x571 ~x2262 ~x2520 ~x3332 ~x4177 ~x1418 
69.92/70.20	v ~x572 ~x2263 ~x29 x3333 ~x4178 ~x1419 ~x573 ~x2264 ~x2521 ~x3334 
69.92/70.20	v ~x4179 ~x1420 ~x574 ~x2265 ~x30 ~x3335 ~x4180 ~x1421 ~x575 ~x2266 
69.92/70.20	v ~x2522 ~x3336 ~x4181 ~x1422 ~x576 ~x2267 ~x31 ~x3337 ~x4182 ~x1423 
69.92/70.20	v ~x577 ~x2268 ~x2523 ~x3338 ~x4183 ~x1424 ~x578 ~x2269 ~x32 ~x3339 
69.92/70.20	v ~x4184 ~x1425 ~x579 ~x2270 ~x2524 ~x3340 ~x4185 ~x1426 ~x580 ~x2271 
69.92/70.20	v ~x33 ~x3341 ~x4186 ~x1427 ~x581 ~x2272 ~x2525 ~x3342 ~x4187 ~x1428 
69.92/70.20	v ~x582 ~x2273 ~x34 ~x3343 ~x4188 ~x1429 ~x583 ~x2274 ~x2526 ~x3344 
69.92/70.20	v ~x4189 ~x1430 ~x584 ~x2275 ~x35 ~x3345 ~x4190 ~x1431 ~x585 ~x2276 
69.92/70.20	v ~x2527 ~x3346 ~x4191 ~x1432 ~x586 ~x2277 ~x36 ~x3347 ~x4192 ~x1433 
69.92/70.20	v ~x587 ~x2278 ~x2528 ~x3348 ~x4193 ~x1434 ~x588 ~x2279 ~x37 ~x3349 
69.92/70.20	v ~x4194 ~x1435 ~x589 ~x2280 ~x2529 ~x3350 ~x4195 ~x1436 ~x590 ~x2281 
69.92/70.20	v ~x38 ~x3351 ~x4196 ~x1437 ~x591 ~x2282 ~x2530 ~x3352 ~x4197 ~x1438 
69.92/70.20	v ~x592 ~x2283 ~x39 ~x3353 ~x4198 ~x1439 ~x593 ~x2284 ~x2531 x3354 
69.92/70.20	v ~x4199 ~x1440 ~x594 ~x2285 ~x40 ~x3355 ~x4200 ~x1441 ~x595 ~x2286 
69.92/70.20	v ~x2532 ~x3356 ~x4201 ~x1442 x596 x2287 ~x3357 ~x4202 ~x1443 ~x597 
69.92/70.20	v ~x2288 ~x41 ~x3358 ~x4203 ~x1444 ~x598 ~x2289 ~x2533 ~x3359 ~x4204 
69.92/70.20	v ~x1445 ~x599 ~x2290 ~x42 ~x3360 ~x4205 ~x1446 ~x600 ~x2291 ~x2534 
69.92/70.20	v ~x3361 ~x4206 ~x1447 ~x601 ~x2292 ~x43 ~x3362 ~x4207 ~x1448 ~x602 
69.92/70.20	v ~x2293 ~x2535 ~x3363 ~x4208 ~x1449 ~x603 ~x2294 ~x44 ~x3364 ~x4209 
69.92/70.20	v ~x1450 ~x604 ~x2295 ~x2536 ~x3365 x4210 ~x1451 ~x605 ~x2296 ~x45 
69.92/70.20	v ~x3366 x4211 ~x1452 ~x606 ~x2297 ~x2537 ~x3367 ~x4212 ~x1453 ~x607 
69.92/70.20	v ~x2298 ~x46 ~x3368 ~x4213 ~x1454 ~x608 ~x2299 ~x2538 ~x3369 ~x4214 
69.92/70.20	v ~x1455 ~x609 ~x2300 ~x47 ~x3370 ~x4215 x1456 ~x610 ~x2301 ~x2539 
69.92/70.20	v ~x3371 ~x4216 ~x1457 ~x611 ~x2302 ~x48 ~x3372 ~x4217 ~x1458 ~x612 
69.92/70.20	v ~x2303 ~x2540 ~x3373 ~x4218 ~x1459 ~x613 ~x2304 ~x49 ~x3374 ~x4219 
69.92/70.20	v ~x1460 ~x614 ~x2305 ~x2541 ~x3375 x4220 ~x1461 ~x615 ~x2306 ~x1 
69.92/70.20	v ~x3376 ~x4221 ~x1462 ~x616 ~x2307 ~x2542 ~x3377 ~x4222 ~x1463 ~x617 
69.92/70.20	v x2308 ~x2543 ~x3378 ~x4223 ~x1464 ~x618 ~x2309 x4 ~x3379 ~x4224 
69.92/70.20	v ~x1465 ~x619 ~x2310 ~x2544 ~x3380 ~x4225 ~x1466 ~x620 ~x2311 ~x2545 
69.92/70.20	v ~x3381 ~x4226 ~x1467 ~x621 ~x2312 ~x2546 ~x3382 ~x4227 ~x1468 ~x622 
69.92/70.20	v ~x2313 ~x2547 ~x3383 ~x4228 ~x1469 x623 ~x2314 ~x8 ~x3384 ~x4229 
69.92/70.20	v ~x1470 ~x624 ~x2315 ~x2548 ~x3385 ~x4230 ~x1471 ~x625 ~x2316 ~x2549 
69.92/70.20	v ~x3386 ~x4231 ~x1472 ~x626 ~x2317 ~x2550 ~x3387 ~x4232 ~x1473 ~x627 
69.92/70.20	v ~x2318 ~x2551 ~x3388 ~x4233 ~x1474 ~x628 ~x2319 ~x2552 ~x3389 ~x4234 
69.92/70.20	v ~x1475 ~x629 ~x2320 ~x2553 ~x3390 ~x4235 ~x1476 ~x630 ~x2321 ~x2554 
69.92/70.20	v ~x3391 ~x4236 ~x1477 ~x631 ~x2322 ~x2555 ~x3392 ~x4237 ~x1478 ~x632 
69.92/70.20	v ~x2323 ~x2556 ~x3393 ~x4238 ~x1479 ~x633 ~x2324 ~x2557 ~x3394 ~x4239 
69.92/70.20	v ~x1480 ~x634 ~x2325 ~x20 ~x3395 ~x4240 ~x1481 ~x635 ~x2326 ~x2558 
69.92/70.20	v x3396 ~x4241 ~x1482 ~x636 ~x2327 ~x2559 ~x3397 ~x4242 ~x1483 ~x637 
69.92/70.20	v ~x2328 ~x2560 ~x3398 ~x4243 ~x1484 ~x638 ~x2329 ~x2561 ~x3399 ~x4244 
69.92/70.20	v ~x1485 ~x639 ~x2330 ~x2562 ~x3400 ~x4245 ~x1486 ~x640 ~x2331 ~x25 
69.92/70.20	v ~x3401 ~x4246 ~x1487 ~x641 ~x2332 ~x2563 ~x3402 ~x4247 ~x1488 ~x642 
69.92/70.20	v ~x2333 ~x2564 ~x3403 ~x4248 ~x1489 ~x643 ~x2334 ~x27 ~x3404 ~x4249 
69.92/70.20	v ~x1490 ~x644 ~x2335 ~x2565 ~x3405 ~x4250 ~x1491 ~x645 ~x2336 ~x2566 
69.92/70.20	v ~x3406 ~x4251 ~x1492 ~x646 ~x2337 ~x2567 ~x3407 ~x4252 ~x1493 ~x647 
69.92/70.20	v ~x2338 ~x2568 ~x3408 ~x4253 ~x1494 ~x648 ~x2339 ~x2569 ~x3409 ~x4254 
69.92/70.20	v ~x1495 ~x649 ~x2340 ~x2570 ~x3410 ~x4255 ~x1496 ~x650 ~x2341 ~x2571 
69.92/70.20	v ~x3411 ~x4256 ~x1497 ~x651 ~x2342 ~x2572 ~x3412 ~x4257 ~x1498 ~x652 
69.92/70.20	v ~x2343 ~x2573 ~x3413 ~x4258 ~x1499 ~x653 ~x2344 ~x2574 ~x3414 ~x4259 
69.92/70.20	v ~x1500 ~x654 ~x2345 ~x2575 ~x3415 ~x4260 ~x1501 ~x655 ~x2346 ~x2576 
69.92/70.20	v ~x3416 ~x4261 ~x1502 ~x656 ~x2347 ~x2577 ~x3417 ~x4262 ~x1503 ~x657 
69.92/70.20	v ~x2348 ~x2578 ~x3418 ~x4263 ~x1504 ~x658 ~x2349 ~x2579 ~x3419 ~x4264 
69.92/70.20	v ~x1505 ~x659 ~x2350 ~x50 ~x3420 ~x4265 ~x1506 ~x660 ~x2351 ~x2580 
69.92/70.20	v ~x3421 ~x4266 ~x1507 ~x661 ~x2352 ~x2581 ~x3422 ~x4267 ~x1508 ~x662 
69.92/70.20	v ~x2353 ~x3423 ~x4268 ~x1509 ~x663 ~x2354 ~x2582 x3424 ~x4269 ~x1510 
69.92/70.20	v ~x664 ~x2355 ~x2583 ~x3425 ~x4270 ~x1511 ~x665 ~x2356 ~x2584 ~x3426 
69.92/70.20	v ~x4271 ~x1512 ~x666 ~x2357 ~x2585 ~x3427 ~x4272 ~x1513 ~x667 ~x2358 
69.92/70.20	v ~x2586 ~x3428 ~x4273 ~x1514 ~x668 ~x2359 x2587 ~x3429 ~x4274 ~x1515 
69.92/70.20	v ~x669 ~x2360 ~x2588 ~x3430 ~x4275 ~x1516 ~x670 ~x2361 ~x10 ~x3431 
69.92/70.20	v ~x4276 ~x1517 ~x671 ~x2362 ~x2589 ~x3432 ~x4277 ~x1518 ~x672 ~x2363 
69.92/70.20	v ~x2590 ~x3433 ~x4278 ~x1519 ~x673 ~x2364 ~x2591 ~x3434 ~x4279 ~x1520 
69.92/70.20	v ~x674 ~x2365 ~x2592 ~x3435 ~x4280 ~x1521 ~x675 x2366 ~x2593 ~x3436 
69.92/70.20	v ~x4281 ~x1522 ~x676 ~x2367 ~x2594 ~x3437 ~x4282 ~x1523 ~x677 ~x2368 
69.92/70.20	v ~x2595 ~x3438 ~x4283 ~x1524 ~x678 ~x2369 ~x2596 ~x3439 ~x4284 ~x1525 
69.92/70.20	v ~x679 ~x2370 ~x2597 ~x3440 ~x4285 ~x1526 ~x680 ~x2371 ~x2598 ~x3441 
69.92/70.20	v ~x4286 ~x1527 ~x681 ~x2372 ~x2599 ~x3442 ~x4287 ~x1528 ~x682 ~x2373 
69.92/70.20	v ~x2600 ~x3443 ~x4288 ~x1529 ~x683 ~x2374 ~x2601 ~x3444 ~x4289 ~x1530 
69.92/70.20	v ~x684 ~x2375 ~x28 ~x3445 ~x4290 ~x1531 ~x685 ~x2376 ~x2602 ~x3446 
69.92/70.20	v ~x4291 ~x1532 ~x686 ~x2377 ~x2603 ~x3447 ~x4292 ~x1533 ~x687 ~x2378 
69.92/70.20	v ~x2604 ~x3448 ~x4293 ~x1534 x688 ~x2379 ~x2605 ~x3449 ~x4294 ~x1535 
69.92/70.20	v ~x689 ~x2380 ~x2606 ~x3450 ~x4295 ~x1536 ~x690 ~x2381 ~x2607 ~x3451 
69.92/70.20	v ~x4296 ~x1537 ~x691 ~x2382 ~x2608 ~x3452 ~x4297 ~x1538 ~x692 ~x2383 
69.92/70.20	v ~x2609 ~x3453 ~x4298 ~x1539 ~x693 ~x2384 ~x2610 ~x3454 ~x4299 ~x1540 
69.92/70.20	v ~x694 ~x2385 ~x2611 ~x3455 ~x4300 ~x1541 ~x695 ~x2386 ~x2612 ~x3456 
69.92/70.20	v ~x4301 ~x1542 ~x696 ~x2387 ~x2613 ~x3457 ~x4302 ~x1543 ~x697 ~x2388 
69.92/70.20	v ~x2614 ~x3458 ~x4303 ~x1544 ~x698 ~x2389 ~x2615 ~x3459 ~x4304 ~x1545 
69.92/70.20	v ~x699 ~x2390 ~x2616 ~x3460 ~x4305 ~x1546 ~x700 ~x2391 ~x2617 ~x3461 
69.92/70.20	v ~x4306 ~x1547 ~x701 ~x2392 ~x2618 ~x3462 ~x4307 ~x1548 ~x702 ~x2393 
69.92/70.20	v ~x2619 ~x3463 ~x4308 x1549 ~x703 ~x2394 ~x2620 ~x3464 ~x4309 ~x1550 
69.92/70.20	v ~x704 ~x2395 ~x2621 ~x3465 ~x4310 ~x1551 ~x705 ~x2396 ~x2622 ~x3466 
69.92/70.20	v ~x4311 ~x1552 ~x706 ~x2397 ~x2623 ~x3467 ~x4312 ~x1553 ~x707 ~x2398 
69.92/70.20	v ~x2624 ~x3468 ~x4313 ~x1554 ~x708 ~x2399 ~x2625 ~x3469 ~x4314 ~x1555 
69.92/70.20	v ~x709 ~x2400 ~x2626 ~x3470 ~x4315 ~x1556 ~x710 ~x2401 ~x2627 ~x3471 
69.92/70.20	v ~x4316 ~x1557 ~x711 ~x2402 ~x2628 ~x3472 ~x4317 ~x1558 ~x712 ~x2403 
69.92/70.20	v x2629 ~x3473 ~x4318 ~x1559 ~x713 ~x2404 ~x2630 ~x3474 ~x4319 ~x1560 
69.92/70.20	v ~x714 ~x2405 ~x2631 ~x3475 ~x4320 ~x1561 ~x715 ~x2406 ~x2632 ~x3476 
69.92/70.20	v ~x4321 ~x1562 ~x716 ~x2407 ~x2633 ~x3477 ~x4322 ~x1563 ~x717 ~x2408 
69.92/70.20	v ~x2634 ~x3478 ~x4323 ~x1564 ~x718 ~x2409 ~x2635 ~x3479 ~x4324 ~x1565 
69.92/70.20	v ~x719 ~x2410 ~x2636 ~x3480 ~x4325 ~x1566 ~x720 ~x2411 x2637 ~x3481 
69.92/70.20	v ~x4326 ~x1567 ~x721 ~x2412 ~x2638 ~x3482 ~x4327 ~x1568 ~x722 ~x2413 
69.92/70.20	v ~x2639 ~x3483 ~x4328 ~x1569 ~x723 ~x2414 ~x2640 ~x3484 ~x4329 ~x1570 
69.92/70.20	v ~x724 ~x2415 x2641 ~x3485 ~x4330 ~x1571 ~x725 ~x2416 ~x2642 ~x3486 
69.92/70.20	v ~x4331 ~x1572 ~x726 x2417 ~x2643 ~x3487 ~x4332 ~x1573 ~x727 ~x2418 
69.92/70.20	v ~x2644 ~x3488 ~x4333 ~x1574 ~x728 ~x2419 ~x2645 ~x3489 ~x4334 ~x1575 
69.92/70.20	v ~x729 ~x2420 ~x2646 ~x3490 ~x4335 ~x1576 ~x730 ~x2421 ~x2647 ~x3491 
69.92/70.20	v ~x4336 ~x1577 ~x731 ~x2422 ~x2648 ~x3492 ~x4337 ~x1578 ~x732 ~x2423 
69.92/70.20	v ~x2649 ~x3493 ~x4338 ~x1579 ~x733 ~x2424 ~x2650 ~x3494 ~x4339 ~x1580 
69.92/70.20	v ~x734 ~x2425 ~x2651 ~x3495 ~x4340 ~x1581 ~x735 ~x2426 ~x2652 ~x3496 
69.92/70.20	v ~x4341 ~x1582 ~x736 ~x2427 ~x2653 ~x3497 ~x4342 ~x1583 ~x737 ~x2428 
69.92/70.20	v ~x2654 ~x3498 ~x1584 ~x4343 ~x738 ~x2429 ~x2655 ~x3499 ~x4344 ~x1585 
69.92/70.20	v ~x739 ~x2430 x2656 ~x3500 ~x4345 ~x1586 ~x740 ~x2431 ~x2657 ~x3501 
69.92/70.20	v ~x4346 ~x1587 ~x741 ~x2432 ~x2658 ~x4347 ~x1588 ~x742 ~x2433 ~x2659 
69.92/70.20	v ~x4348 ~x1589 ~x3502 ~x743 ~x2434 x2660 ~x4349 ~x1590 ~x3503 ~x744 
69.92/70.20	v ~x2435 ~x2661 ~x4350 ~x1591 ~x3504 ~x745 ~x2436 ~x2662 ~x4351 ~x1592 
69.92/70.20	v ~x3505 ~x746 ~x2437 ~x2663 ~x4352 x1593 ~x3506 x747 ~x2438 ~x2664 
69.92/70.20	v ~x4353 ~x1594 ~x3507 ~x748 ~x2439 ~x2665 ~x4354 ~x1595 ~x3508 ~x749 
69.92/70.20	v ~x2440 ~x2666 ~x4355 ~x1596 ~x3509 ~x750 ~x2441 ~x2667 ~x4356 ~x1597 
69.92/70.20	v ~x3510 ~x751 ~x2442 ~x2668 ~x4357 ~x1598 ~x3511 ~x752 ~x2443 ~x2669 
69.92/70.20	v ~x4358 ~x1599 ~x3512 ~x753 ~x2444 ~x2670 ~x4359 ~x1600 ~x3513 ~x754 
69.92/70.20	v ~x2445 ~x2671 ~x4360 ~x1601 ~x3514 ~x755 ~x2446 ~x2672 ~x4361 ~x1602 
69.92/70.20	v ~x3515 ~x756 ~x2447 ~x2673 ~x4362 ~x1603 ~x3516 ~x757 ~x2448 ~x2674 
69.92/70.20	v ~x4363 ~x1604 ~x3517 ~x758 ~x2449 ~x2675 ~x4364 ~x1605 ~x3518 ~x759 
69.92/70.20	v ~x2450 ~x2676 ~x4365 ~x1606 ~x3519 ~x760 ~x2451 ~x2677 ~x4366 ~x1607 
69.92/70.20	v ~x3520 ~x761 x2452 ~x2678 ~x4367 ~x1608 ~x3521 ~x762 ~x2453 ~x2679 
69.92/70.20	v ~x4368 ~x1609 ~x3522 ~x763 ~x2454 ~x2680 ~x4369 ~x1610 ~x3523 ~x764 
69.92/70.20	v ~x2455 ~x2681 ~x4370 ~x1611 ~x3524 ~x765 ~x2456 ~x2682 ~x4371 ~x1612 
69.92/70.20	v ~x3525 ~x766 ~x2457 ~x2683 ~x4372 ~x1613 ~x3526 ~x767 ~x2458 ~x2684 
69.92/70.20	v ~x4373 ~x1614 ~x3527 ~x768 ~x2459 ~x2685 ~x4374 ~x1615 ~x3528 ~x769 
69.92/70.20	v ~x2460 ~x2686 ~x4375 ~x1616 ~x3529 ~x770 ~x2461 ~x2687 ~x4376 ~x1617 
69.92/70.20	v ~x3530 ~x771 ~x2462 ~x2688 ~x4377 ~x1618 x3531 ~x772 ~x2463 ~x2689 
69.92/70.20	v ~x4378 ~x1619 ~x3532 ~x773 ~x2464 ~x2690 ~x4379 ~x1620 ~x3533 ~x774 
69.92/70.20	v ~x2465 ~x2691 ~x4380 ~x1621 ~x3534 ~x775 ~x2466 ~x2692 ~x4381 ~x1622 
69.92/70.20	v ~x3535 ~x776 ~x2467 ~x2693 ~x4382 ~x1623 ~x3536 ~x777 ~x2468 ~x2694 
69.92/70.20	v ~x4383 ~x1624 ~x3537 ~x778 ~x2469 ~x2695 ~x4384 ~x1625 ~x3538 ~x779 
69.92/70.20	v ~x2470 ~x2696 ~x4385 ~x1626 ~x3539 ~x780 ~x2471 ~x2697 ~x4386 x1627 
69.92/70.20	v ~x3540 ~x781 ~x2472 ~x2698 ~x4387 ~x1628 ~x3541 ~x782 ~x2473 ~x2699 
69.92/70.20	v ~x4388 ~x1629 ~x3542 ~x783 ~x2474 ~x2700 ~x4389 ~x1630 x3543 ~x784 
69.92/70.20	v ~x2475 ~x2701 ~x4390 ~x1631 ~x3544 ~x785 ~x2476 ~x2702 ~x4391 ~x1632 
69.92/70.20	v ~x3545 ~x786 ~x2477 ~x2703 ~x4392 ~x1633 ~x3546 ~x787 ~x2478 ~x2704 
69.92/70.20	v ~x4393 ~x1634 ~x3547 ~x788 ~x2479 ~x2705 ~x4394 ~x1635 ~x3548 ~x789 
69.92/70.20	v ~x2480 ~x2706 ~x4395 ~x1636 ~x3549 ~x790 ~x2481 ~x2707 ~x4396 ~x1637 
69.92/70.20	v x3550 ~x791 ~x2482 ~x2708 ~x4397 ~x1638 ~x3551 ~x792 ~x2483 ~x2709 
69.92/70.20	v ~x4398 ~x1639 ~x3552 ~x793 ~x2484 ~x4399 ~x1640 ~x3553 ~x794 ~x2485 
69.92/70.20	v ~x2710 ~x4400 ~x1641 ~x3554 ~x795 ~x2486 ~x2711 ~x4401 ~x1642 ~x3555 
69.92/70.20	v ~x796 ~x2487 ~x2712 ~x4402 ~x1643 ~x3556 ~x797 ~x2488 ~x2713 ~x4403 
69.92/70.20	v ~x1644 ~x3557 x798 ~x2489 ~x2714 ~x4404 ~x1645 ~x3558 ~x799 ~x2490 
69.92/70.20	v ~x2715 ~x4405 ~x1646 ~x3559 ~x800 ~x2491 ~x2716 ~x4406 ~x1647 ~x3560 
69.92/70.20	v ~x801 ~x2492 ~x2717 ~x4407 ~x1648 ~x3561 ~x802 ~x2493 ~x2718 ~x4408 
69.92/70.20	v ~x1649 ~x3562 ~x803 ~x2494 ~x2719 ~x4409 ~x1650 ~x3563 ~x804 ~x2495 
69.92/70.20	v ~x2720 ~x4410 ~x1651 ~x3564 ~x805 ~x2496 ~x2721 ~x4411 ~x1652 ~x3565 
69.92/70.20	v ~x806 ~x2497 ~x2722 x4412 ~x1653 ~x3566 ~x807 ~x2498 ~x2723 ~x4413 
69.92/70.20	v ~x1654 ~x3567 ~x808 ~x2499 ~x2724 ~x4414 ~x1655 ~x3568 ~x809 ~x2500 
69.92/70.20	v ~x2725 ~x4415 ~x1656 ~x3569 ~x810 ~x2726 ~x4416 ~x1657 ~x3570 ~x811 
69.92/70.20	v ~x2727 ~x4417 ~x1658 ~x3571 ~x812 ~x2728 ~x4418 ~x1659 ~x3572 ~x813 
69.92/70.20	v ~x2729 ~x4419 ~x1660 ~x3573 ~x814 ~x2730 ~x4420 ~x1661 ~x3574 ~x815 
69.92/70.20	v ~x2731 x4421 ~x1662 ~x3575 ~x816 ~x2732 ~x4422 ~x1663 ~x3576 ~x817 
69.92/70.20	v ~x2733 ~x4423 ~x1664 ~x3577 ~x818 ~x2734 ~x4424 ~x1665 ~x3578 ~x819 
69.92/70.20	v ~x2735 ~x4425 ~x1666 ~x3579 ~x820 ~x2736 ~x4426 ~x1667 ~x3580 ~x821 
69.92/70.20	v ~x2737 ~x4427 ~x1668 ~x3581 ~x822 ~x2738 ~x4428 ~x1669 ~x3582 ~x823 
69.92/70.20	v ~x2739 ~x4429 ~x1670 ~x3583 ~x824 ~x2740 ~x4430 x1671 ~x3584 ~x825 
69.92/70.20	v ~x2741 ~x4431 ~x1672 ~x3585 ~x826 ~x2742 ~x4432 ~x1673 ~x3586 ~x827 
69.92/70.20	v ~x2743 ~x4433 ~x1674 ~x3587 ~x828 ~x2744 ~x4434 ~x1675 ~x3588 ~x829 
69.92/70.20	v ~x2745 ~x4435 ~x1676 ~x3589 ~x830 ~x2746 ~x4436 ~x1677 ~x3590 ~x831 
69.92/70.20	v ~x2747 ~x4437 ~x1678 ~x3591 ~x832 ~x2748 ~x4438 ~x1679 ~x3592 ~x833 
69.92/70.20	v ~x2749 ~x4439 ~x1680 ~x3593 ~x834 ~x2750 ~x4440 ~x1681 ~x3594 ~x835 
69.92/70.20	v ~x2751 ~x4441 ~x1682 ~x3595 ~x836 ~x2752 ~x4442 ~x1683 ~x3596 ~x837 
69.92/70.20	v ~x2753 ~x4443 ~x1684 ~x3597 ~x838 ~x2754 ~x4444 ~x1685 ~x3598 ~x839 
69.92/70.20	v ~x2755 ~x4445 ~x1686 ~x3599 x840 ~x2756 ~x4446 ~x1687 ~x3600 ~x841 
69.92/70.20	v ~x2757 ~x4447 ~x1688 ~x3601 ~x842 ~x2758 ~x4448 ~x1689 ~x3602 ~x843 
69.92/70.20	v ~x2759 ~x4449 ~x1690 ~x3603 ~x844 ~x2760 ~x4450 ~x1691 ~x3604 ~x845 
69.92/70.20	v ~x2761 ~x4451 ~x1692 ~x3605 ~x846 ~x2762 ~x4452 ~x1693 ~x3606 ~x847 
69.92/70.20	v ~x2763 ~x4453 ~x1694 ~x3607 ~x848 ~x2764 ~x4454 ~x1695 ~x3608 ~x849 
69.92/70.20	v ~x2765 ~x4455 ~x1696 ~x3609 ~x850 ~x2766 ~x4456 ~x1697 ~x3610 ~x851 
69.92/70.20	v ~x2767 ~x4457 ~x1698 ~x3611 ~x852 ~x2768 ~x4458 ~x1699 ~x3612 ~x853 
69.92/70.20	v ~x2769 ~x4459 ~x1700 ~x3613 ~x854 ~x2770 ~x4460 ~x1701 ~x3614 ~x855 
69.92/70.20	v ~x2771 ~x4461 ~x1702 ~x3615 ~x856 ~x2772 ~x4462 ~x1703 ~x3616 ~x857 
69.92/70.20	v ~x2773 ~x4463 ~x1704 ~x3617 ~x858 ~x2774 ~x4464 ~x1705 ~x3618 ~x859 
69.92/70.20	v ~x2775 ~x4465 ~x1706 ~x3619 ~x860 ~x2776 ~x4466 ~x1707 ~x3620 ~x861 
69.92/70.20	v ~x2777 ~x4467 ~x1708 ~x3621 ~x862 ~x2778 ~x4468 ~x1709 ~x3622 ~x863 
69.92/70.20	v ~x2779 ~x4469 ~x1710 ~x3623 ~x864 ~x2780 ~x4470 ~x1711 ~x3624 ~x865 
69.92/70.20	v ~x2781 ~x4471 ~x1712 ~x3625 ~x866 ~x2782 ~x4472 x1713 ~x3626 ~x867 
69.92/70.20	v ~x2783 ~x4473 ~x1714 ~x3627 ~x868 ~x2784 x4474 ~x1715 ~x3628 ~x869 
69.92/70.20	v ~x2785 ~x4475 ~x1716 ~x3629 ~x870 ~x2786 ~x4476 ~x1717 ~x3630 ~x871 
69.92/70.20	v ~x2787 ~x4477 ~x1718 ~x3631 ~x872 ~x2788 ~x4478 ~x1719 ~x3632 ~x873 
69.92/70.20	v ~x2789 ~x4479 ~x1720 ~x3633 ~x874 ~x2790 ~x4480 ~x1721 ~x3634 ~x875 
69.92/70.20	v ~x2791 ~x4481 ~x1722 ~x3635 ~x876 ~x2792 ~x4482 ~x1723 ~x3636 ~x877 
69.92/70.20	v ~x2793 ~x4483 ~x1724 ~x3637 ~x878 ~x2794 ~x4484 ~x1725 ~x3638 ~x879 
69.92/70.20	v ~x2795 ~x4485 ~x1726 ~x3639 ~x880 ~x2796 ~x4486 ~x1727 ~x3640 ~x881 
69.92/70.20	v ~x2797 ~x4487 ~x1728 ~x3641 ~x882 ~x2798 ~x4488 ~x1729 ~x3642 ~x883 
69.92/70.20	v ~x2799 ~x4489 ~x1730 ~x3643 ~x884 ~x2800 ~x4490 ~x1731 ~x3644 ~x885 
69.92/70.20	v ~x2801 ~x4491 ~x1732 ~x3645 ~x886 ~x2802 ~x4492 ~x1733 ~x3646 ~x887 
69.92/70.20	v ~x2803 ~x4493 ~x1734 ~x3647 ~x888 ~x2804 ~x4494 ~x1735 ~x3648 ~x889 
69.92/70.20	v ~x2805 ~x4495 ~x1736 ~x3649 ~x890 ~x2806 ~x4496 ~x1737 ~x3650 ~x891 
69.92/70.20	v ~x2807 ~x4497 ~x1738 ~x3651 x892 ~x2808 ~x4498 ~x1739 ~x3652 ~x893 
69.92/70.20	v ~x2809 ~x4499 ~x1740 ~x3653 ~x894 ~x2810 ~x4500 ~x1741 ~x3654 ~x895 
69.92/70.20	v ~x2811 ~x51 ~x1742 ~x3655 ~x896 ~x2812 ~x52 ~x1743 ~x3656 ~x897 
69.92/70.20	v ~x2813 ~x53 ~x1744 ~x3657 ~x898 ~x2814 ~x54 ~x1745 ~x3658 ~x899 
69.92/70.20	v ~x2815 ~x55 ~x1746 ~x3659 ~x900 ~x2816 ~x56 ~x1747 ~x3660 ~x901 
69.92/70.20	v ~x2817 ~x57 ~x1748 ~x3661 ~x902 ~x2818 ~x58 ~x1749 ~x3662 ~x903 
69.92/70.20	v ~x2819 ~x59 ~x1750 ~x3663 ~x904 ~x2820 ~x60 ~x1751 ~x3664 ~x905 
69.92/70.20	v ~x2821 ~x61 ~x1752 ~x3665 ~x906 ~x2822 x62 ~x1753 ~x3666 ~x907 
69.92/70.20	v ~x2823 ~x63 ~x1754 ~x3667 ~x908 ~x2824 ~x64 ~x1755 ~x3668 ~x909 
69.92/70.20	v ~x2825 ~x65 ~x1756 ~x3669 ~x910 ~x2826 ~x66 ~x1757 ~x3670 ~x911 
69.92/70.20	v ~x2827 ~x67 ~x1758 ~x3671 ~x912 ~x2828 ~x68 ~x1759 ~x3672 ~x913 
69.92/70.20	v ~x2829 ~x69 ~x1760 ~x3673 ~x914 ~x2830 ~x70 ~x1761 ~x3674 ~x915 
69.92/70.20	v ~x2831 ~x71 ~x1762 ~x3675 ~x916 ~x2832 ~x72 ~x1763 ~x3676 ~x917 
69.92/70.20	v ~x2833 ~x73 ~x1764 ~x3677 ~x918 ~x2834 ~x74 ~x1765 ~x3678 ~x919 
69.92/70.20	v ~x2835 ~x75 ~x1766 ~x3679 ~x920 ~x2836 ~x76 ~x1767 ~x3680 ~x921 
69.92/70.20	v ~x2837 ~x77 x1768 ~x3681 ~x922 ~x2838 ~x78 ~x1769 ~x3682 ~x923 
69.92/70.20	v ~x2839 ~x79 ~x1770 ~x3683 ~x924 ~x2840 ~x80 ~x1771 ~x3684 ~x925 
69.92/70.20	v ~x2841 ~x81 ~x1772 ~x3685 ~x926 ~x2842 ~x82 ~x1773 ~x3686 ~x927 
69.92/70.20	v ~x2843 ~x83 ~x1774 ~x3687 ~x928 ~x2844 ~x84 ~x1775 ~x3688 ~x929 
69.92/70.20	v ~x2845 ~x85 ~x1776 ~x3689 ~x930 ~x2846 ~x86 ~x1777 ~x3690 ~x931 
69.92/70.20	v ~x2847 ~x87 ~x1778 ~x3691 ~x932 ~x2848 ~x88 ~x1779 ~x3692 ~x933 
69.92/70.20	v ~x2849 ~x89 ~x1780 ~x3693 ~x934 x2850 ~x90 ~x1781 ~x3694 ~x935 
69.92/70.20	v ~x2851 ~x91 ~x1782 ~x3695 ~x936 ~x2852 ~x92 ~x1783 ~x3696 ~x937 
69.92/70.20	v ~x2853 ~x93 ~x1784 ~x3697 ~x938 ~x2854 ~x94 ~x1785 ~x3698 ~x939 
69.92/70.20	v ~x2855 ~x95 ~x1786 ~x3699 ~x940 ~x2856 ~x96 ~x1787 ~x3700 x941 
69.92/70.20	v ~x2857 ~x97 ~x1788 ~x3701 ~x942 ~x2858 ~x98 ~x1789 ~x3702 ~x943 
69.92/70.20	v ~x2859 ~x99 ~x1790 ~x3703 ~x944 ~x2860 ~x100 ~x1791 ~x3704 ~x945 
69.92/70.20	v ~x2861 ~x101 ~x1792 ~x3705 ~x946 ~x2862 ~x102 ~x1793 ~x3706 ~x947 
69.92/70.20	v ~x2863 ~x103 ~x1794 ~x3707 ~x948 ~x2864 ~x104 ~x1795 ~x3708 ~x949 
69.92/70.20	v ~x2865 ~x105 ~x1796 ~x3709 ~x950 ~x2866 ~x106 ~x1797 ~x3710 ~x951 
69.92/70.20	v ~x2867 ~x107 ~x1798 ~x3711 ~x952 ~x2868 ~x108 ~x1799 ~x3712 ~x953 
69.92/70.20	v ~x2869 ~x109 ~x1800 ~x3713 ~x954 ~x2870 ~x110 ~x1801 ~x3714 ~x955 
69.92/70.20	v ~x2871 ~x111 ~x1802 ~x3715 ~x956 ~x2872 ~x112 ~x1803 ~x3716 ~x957 
69.92/70.20	v ~x2873 ~x113 ~x1804 ~x3717 ~x958 ~x2874 ~x1805 ~x3718 ~x959 ~x2875 
69.92/70.20	v ~x1806 ~x3719 ~x960 ~x114 ~x2876 ~x1807 ~x3720 ~x961 ~x115 ~x2877 
69.92/70.20	v ~x1808 ~x3721 ~x962 ~x116 ~x2878 ~x1809 ~x3722 ~x963 ~x117 ~x2879 
69.92/70.20	v ~x1810 ~x3723 x964 ~x118 ~x2880 ~x1811 ~x3724 ~x965 ~x119 ~x2881 
69.92/70.20	v ~x1812 ~x3725 ~x966 ~x120 ~x2882 ~x1813 ~x3726 ~x967 ~x121 ~x2883 
69.92/70.20	v ~x1814 ~x3727 ~x968 ~x122 ~x2884 ~x1815 ~x3728 ~x969 ~x123 ~x2885 
69.92/70.20	v ~x1816 ~x3729 ~x970 ~x124 ~x2886 ~x1817 ~x3730 ~x971 ~x125 ~x2887 
69.92/70.20	v ~x1818 ~x3731 ~x972 x126 ~x2888 ~x1819 ~x3732 ~x973 ~x127 ~x2889 
69.92/70.20	v ~x1820 ~x3733 ~x974 ~x128 x2890 ~x1821 ~x3734 ~x975 ~x129 ~x2891 
69.92/70.20	v ~x1822 ~x3735 ~x976 ~x130 ~x2892 ~x1823 ~x3736 ~x977 ~x131 ~x2893 
69.92/70.20	v ~x1824 ~x3737 ~x978 ~x132 ~x2894 x1825 ~x3738 ~x979 ~x133 ~x2895 
69.92/70.20	v ~x1826 ~x3739 ~x980 ~x134 ~x2896 ~x1827 ~x3740 ~x981 ~x135 ~x2897 
69.92/70.20	v ~x1828 ~x3741 ~x982 ~x136 ~x2898 ~x1829 ~x3742 ~x983 ~x137 ~x2899 
69.92/70.20	v ~x1830 ~x3743 ~x984 ~x138 ~x2900 ~x1831 ~x3744 ~x985 ~x139 ~x2901 
69.92/70.20	v ~x1832 ~x3745 ~x986 ~x140 ~x2902 ~x1833 ~x3746 ~x987 ~x141 ~x2903 
69.92/70.20	v ~x1834 ~x3747 ~x988 ~x142 ~x2904 ~x1835 x3748 ~x989 ~x143 ~x2905 
69.92/70.20	v ~x1836 ~x3749 ~x990 ~x144 ~x2906 ~x1837 ~x3750 ~x991 ~x145 ~x2907 
69.92/70.20	v ~x1838 ~x3751 ~x992 ~x146 ~x2908 ~x1839 ~x3752 ~x993 ~x147 ~x2909 
69.92/70.20	v ~x1840 ~x3753 ~x994 ~x148 ~x2910 ~x1841 ~x3754 ~x995 ~x149 ~x2911 
69.92/70.20	v ~x1842 ~x3755 ~x996 ~x150 ~x2912 ~x1843 ~x3756 ~x997 ~x151 ~x2913 
69.92/70.20	v ~x1844 ~x3757 ~x998 ~x152 ~x2914 ~x1845 ~x3758 ~x999 ~x153 ~x2915 
69.92/70.20	v ~x1846 ~x3759 ~x1000 ~x154 ~x2916 ~x1847 ~x3760 ~x1001 ~x155 ~x2917 
69.92/70.20	v ~x1848 ~x3761 ~x1002 ~x156 ~x2918 ~x1849 ~x3762 ~x1003 ~x157 ~x2919 
69.92/70.20	v ~x1850 ~x3763 ~x1004 ~x158 ~x2920 ~x1851 ~x3764 ~x1005 ~x159 ~x2921 
69.92/70.20	v ~x1852 ~x3765 ~x1006 ~x160 ~x2922 ~x1853 ~x3766 ~x1007 ~x161 ~x2923 
69.92/70.20	v ~x1854 ~x3767 ~x1008 ~x162 x2924 x1855 ~x3768 ~x1009 ~x163 ~x2925 
69.92/70.20	v ~x1856 ~x3769 ~x1010 ~x164 ~x2926 ~x1857 ~x3770 ~x1011 ~x165 ~x2927 
69.92/70.20	v ~x1858 ~x3771 ~x1012 ~x166 x2928 ~x1859 ~x3772 ~x1013 ~x167 ~x2929 
69.92/70.20	v ~x1860 ~x3773 ~x1014 ~x168 ~x2930 ~x1861 ~x3774 ~x1015 ~x169 ~x2931 
69.92/70.20	v ~x1862 ~x3775 ~x1016 ~x170 ~x2932 ~x1863 ~x3776 ~x1017 ~x171 x2933 
69.92/70.20	v ~x1864 ~x3777 ~x1018 ~x172 ~x2934 ~x1865 ~x3778 ~x1019 ~x173 x2935 
69.92/70.20	v ~x1866 ~x3779 ~x1020 ~x174 ~x2936 ~x1867 ~x3780 ~x1021 ~x175 x2937 
69.92/70.20	v ~x1868 ~x3781 ~x1022 ~x176 ~x2938 ~x1869 ~x3782 ~x1023 ~x177 ~x2939 
69.92/70.20	v ~x1870 ~x3783 ~x1024 ~x178 x2940 ~x1871 x3784 ~x1025 ~x179 ~x2941 
69.92/70.20	v ~x1872 ~x3785 ~x1026 ~x180 ~x2942 ~x1873 ~x3786 ~x1027 ~x181 ~x2943 
69.92/70.20	v ~x1874 ~x3787 ~x1028 ~x182 ~x2944 ~x1875 ~x3788 x1029 ~x183 ~x2945 
69.92/70.20	v ~x1876 ~x3789 ~x1030 ~x184 ~x2946 ~x1877 ~x3790 ~x1031 ~x185 ~x2947 
69.92/70.20	v ~x1878 ~x3791 ~x1032 x186 ~x2948 ~x1879 ~x3792 ~x1033 ~x187 ~x2949 
69.92/70.20	v ~x1880 ~x3793 ~x1034 ~x188 ~x2950 ~x1881 x3794 ~x1035 ~x189 ~x2951 
69.92/70.20	v ~x1882 ~x3795 ~x1036 ~x190 x2952 ~x1883 ~x3796 ~x1037 ~x191 ~x2953 
69.92/70.20	v ~x1884 ~x3797 ~x1038 ~x192 ~x2954 ~x1885 ~x3798 ~x1039 ~x193 x2955 
69.92/70.20	v ~x1886 ~x3799 ~x1040 ~x194 ~x2956 ~x1887 ~x3800 ~x1041 ~x195 ~x2957 
69.92/70.20	v ~x1888 ~x3801 ~x1042 ~x196 ~x2958 ~x1889 ~x3802 ~x1043 ~x197 ~x2959 
69.92/70.20	v ~x1890 x3803 ~x1044 ~x198 ~x2960 ~x1891 ~x3804 ~x1045 ~x199 ~x2961 
69.92/70.20	v ~x1892 ~x3805 ~x1046 ~x200 ~x2962 ~x1893 ~x3806 ~x1047 ~x201 ~x2963 
69.92/70.20	v ~x1894 ~x3807 ~x1048 ~x202 x2964 ~x1895 ~x3808 ~x1049 ~x203 ~x2965 
69.92/70.20	v ~x1896 ~x3809 ~x1050 ~x204 ~x2966 ~x1897 x3810 ~x1051 ~x205 ~x2967 
69.92/70.20	v ~x1898 ~x3811 ~x1052 ~x206 ~x2968 ~x1899 x3812 ~x1053 ~x207 x2969

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57729 MiB free)
  memory of node 1: 64510 MiB (57517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443862-1721310220/watcher-4443862-1721310220 -o /tmp/evaluation-result-4443862-1721310220/solver-4443862-1721310220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760 pb_picat HOME/instance-4443862-1721310220.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=987903, runsolver pid=987900
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.11 4.13 4.09 6/259 987904
/proc/meminfo: memFree=117953540/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=36428 CPUtime=0.09 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1173 0 0 0 9 0 0 0 20 0 1 0 183187356 2082414592 9107 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 9107 1489 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36428 KiB

[startup+0.205768 s]*
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=117900040/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=55064 CPUtime=0.19 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1183 0 0 0 19 0 0 0 20 0 1 0 183187356 2082414592 13766 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 13766 1489 439 0 503831 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55064 KiB

[startup+0.305602 s]*
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=117854900/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=71448 CPUtime=0.3 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1191 0 0 0 29 1 0 0 20 0 1 0 183187356 2082414592 17862 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 17862 1489 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 71448 KiB

[startup+0.700228 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=117799100/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=141080 CPUtime=0.68 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1226 0 0 0 66 2 0 0 20 0 1 0 183187356 2082414592 35270 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 35270 1489 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 141080 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=117460344/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=284444 CPUtime=1.48 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1297 0 0 0 143 5 0 0 20 0 1 0 183187356 2082414592 71111 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 71111 1489 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 284444 KiB

[startup+3.10547 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=116890128/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=571172 CPUtime=3.09 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1474 0 0 0 298 11 0 0 20 0 1 0 183187356 2082414592 142793 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 142793 1489 439 0 503831 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 571172 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.13 4.09 6/259 987905
/proc/meminfo: memFree=116819808/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=1130280 CPUtime=6.28 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 1757 0 0 0 604 24 0 0 20 0 1 0 183187356 2082414592 282570 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 282570 1489 439 0 503831 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 1130280 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 987951
/proc/meminfo: memFree=117801076/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=2033608 memory=1888052 CPUtime=12.66 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 2321 0 0 0 1227 39 0 0 20 0 1 0 183187356 2082414592 472013 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 508402 472013 1489 439 0 503831 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 1888052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 6/259 987955
/proc/meminfo: memFree=112486208/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=8230464 memory=4567900 CPUtime=25.43 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 7346 0 0 0 2445 98 0 0 20 0 1 0 183187356 8427995136 1141975 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 2057616 1141975 1537 439 0 2053045 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 8230464 KiB
Current children cumulated memory: 4567900 KiB

[startup+51.1056 s]
/proc/loadavg: 4.32 4.18 4.10 5/257 988019
/proc/meminfo: memFree=114297536/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7557220 memory=4443688 CPUtime=50.97 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 25164 0 0 0 4905 192 0 0 20 0 1 0 183187356 7738593280 1110922 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1889305 1110922 1726 439 0 1884734 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 7557220 KiB
Current children cumulated memory: 4443688 KiB

[startup+70.2223 s]
# the end of solver process 987903 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=67.8864 s, system=2.16052 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2003 s]
/proc/loadavg: 4.32 4.18 4.10 5/257 988019
/proc/meminfo: memFree=114297536/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7557220 memory=4445736 CPUtime=51.07 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 25165 0 0 0 4915 192 0 0 20 0 1 0 183187356 7738593280 1111434 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1889305 1111434 1726 439 0 1884734 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 7557220 KiB
Current children cumulated memory: 4445736 KiB

[startup+64.0001 s]*
/proc/loadavg: 4.46 4.22 4.12 5/259 988054
/proc/meminfo: memFree=114291272/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7191404 memory=4151472 CPUtime=63.84 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 41127 0 0 0 6176 208 0 0 20 0 1 0 183187356 7363997696 1037868 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1797851 1037868 1726 439 0 1793280 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 7191404 KiB
Current children cumulated memory: 4151472 KiB

[startup+67.2002 s]
/proc/loadavg: 4.46 4.22 4.12 5/259 988054
/proc/meminfo: memFree=114052348/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7584620 memory=4389212 CPUtime=67.02 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 42372 0 0 0 6489 213 0 0 20 0 1 0 183187356 7766650880 1097303 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1896155 1097303 1726 439 0 1891584 0
Current children cumulated CPU time: 67.02 s
Current children cumulated vsize: 7584620 KiB
Current children cumulated memory: 4389212 KiB

[startup+68.8002 s]
/proc/loadavg: 4.42 4.21 4.12 5/259 988054
/proc/meminfo: memFree=114039320/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7584620 memory=4397404 CPUtime=68.61 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 42394 0 0 0 6648 213 0 0 20 0 1 0 183187356 7766650880 1099351 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1896155 1099351 1726 439 0 1891584 0
Current children cumulated CPU time: 68.61 s
Current children cumulated vsize: 7584620 KiB
Current children cumulated memory: 4397404 KiB

[startup+69.6002 s]
/proc/loadavg: 4.42 4.21 4.12 5/259 988054
/proc/meminfo: memFree=114042016/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7584620 memory=4399452 CPUtime=69.41 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 42396 0 0 0 6728 213 0 0 20 0 1 0 183187356 7766650880 1099863 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1896155 1099863 1726 439 0 1891584 0
Current children cumulated CPU time: 69.41 s
Current children cumulated vsize: 7584620 KiB
Current children cumulated memory: 4399452 KiB

[startup+70.0002 s]*
/proc/loadavg: 4.42 4.21 4.12 5/259 988054
/proc/meminfo: memFree=114031864/131524600 swapFree=131071996/131071996
[pid=987903] ppid=987900 vsize=7584620 memory=4403548 CPUtime=69.82 cores=1,3
/proc/987903/stat : 987903 (pb_picat) R 987900 987903 984416 0 -1 4194304 42398 0 0 0 6769 213 0 0 20 0 1 0 183187356 7766650880 1100887 134679101440 4194304 5989780 140728266917040 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 40779776 140728266925080 140728266925156 140728266925156 140728266932172 0
/proc/987903/statm: 1896155 1100887 1726 439 0 1891584 0
Current children cumulated CPU time: 69.82 s
Current children cumulated vsize: 7584620 KiB
Current children cumulated memory: 4403548 KiB

[startup+70.2057 s]*
/proc/loadavg: 4.42 4.21 4.12 6/259 988054
/proc/meminfo: memFree=114036232/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 70.2224
CPU time (s): 70.0469
CPU user time (s): 67.8864
CPU system time (s): 2.16052
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 8230464
Max. memory (cumulated for all children) (KiB): 4702216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8864
system time used= 2.16052
maximum resident set size= 4702216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42405
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= 4
involuntary context switches= 91


# summary of solver processes directly reported to runsolver:
#   pid: 987903
#   total CPU time (s): 70.0469
#   total CPU user time (s): 67.8864
#   total CPU system time (s): 2.16052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134777 second user time and 0.358624 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-18 15:43:53
IDJOB=4443862
IDBENCH=147888
IDSOLVER=3068
FILE ID=nodeC025/4443862-1721310220
RUNJOBID= nodeC025-1721306176-984428
SLURM_JOB_ID= 7542640
Free space on /tmp= 889920 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443862-1721310220/watcher-4443862-1721310220 -o /tmp/evaluation-result-4443862-1721310220/solver-4443862-1721310220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760  pb_picat HOME/instance-4443862-1721310220.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 2365fef7cfc1138f9264574544964d48
RANDOM SEED=2128263134

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.627
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3645.872
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.914
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.218
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.628
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3679.442
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.207
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.926
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118017832 kB
MemAvailable:   124114164 kB
Buffers:          513164 kB
Cached:          6346052 kB
SwapCached:            0 kB
Active:          1066472 kB
Inactive:       11657272 kB
Active(anon):       1544 kB
Inactive(anon):  5900732 kB
Active(file):    1064928 kB
Inactive(file):  5756540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            107344 kB
Writeback:             0 kB
AnonPages:       5859240 kB
Mapped:           115212 kB
Shmem:             37720 kB
KReclaimable:     229020 kB
Slab:             356560 kB
SReclaimable:     229020 kB
SUnreclaim:       127540 kB
KernelStack:        4204 kB
PageTables:        20332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13443024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3549184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889924 MiB
End job on nodeC025 at 2024-07-18 15:45:03