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