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