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