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