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