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