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