0.00/0.01 c solving HOME/instance-4527980-1752245169.opb (Picat 3.9b11, 7/10/2025)
8.06/8.17 s SATISFIABLE
8.06/8.17 v ~x1325 ~x66 ~x1748 ~x482 ~x2170 x2593 ~x3016 ~x904 ~x3439 ~x1326
8.06/8.17 v ~x67 ~x1749 ~x483 ~x2171 ~x2594 ~x3017 ~x905 ~x3440 ~x1327 ~x68
8.06/8.17 v ~x1750 ~x484 ~x2172 ~x2595 ~x3018 ~x906 ~x3441 ~x1328 ~x69 ~x1751
8.06/8.17 v ~x485 ~x2173 ~x2596 ~x3019 ~x907 ~x3442 ~x1329 ~x1752 ~x486 ~x2174
8.06/8.17 v ~x2597 ~x3020 ~x908 ~x3443 ~x1330 ~x1753 ~x487 ~x2175 ~x2598 ~x3021
8.06/8.17 v ~x909 ~x3444 ~x1331 ~x1754 ~x488 ~x2176 ~x2599 ~x3022 ~x910 ~x3445
8.06/8.17 v ~x1332 ~x1755 ~x489 ~x2177 ~x2600 ~x3023 ~x911 ~x3446 ~x1333 ~x1756
8.06/8.17 v ~x490 ~x2178 ~x2601 ~x3024 ~x912 ~x3447 ~x70 ~x1334 ~x1757 ~x491
8.06/8.17 v ~x2179 ~x2602 ~x3025 ~x913 ~x3448 x71 ~x1335 ~x1758 ~x492 ~x2180
8.06/8.17 v ~x2603 ~x3026 ~x914 ~x3449 ~x72 ~x1336 ~x1759 ~x493 ~x2181 ~x2604
8.06/8.17 v ~x3027 ~x915 ~x3450 x73 ~x1337 ~x1760 ~x494 ~x2182 ~x2605 ~x3028
8.06/8.17 v ~x916 ~x3451 ~x74 ~x1338 ~x1761 ~x495 ~x2183 ~x2606 ~x3029 ~x917
8.06/8.17 v ~x3452 x75 ~x1339 ~x1762 ~x496 ~x2184 ~x2607 ~x3030 ~x918 ~x3453
8.06/8.17 v ~x76 ~x1340 ~x1763 ~x497 ~x2185 ~x2608 ~x3031 ~x919 ~x3454 ~x77
8.06/8.17 v ~x1341 ~x1764 x498 ~x2186 ~x2609 ~x3032 ~x920 ~x3455 ~x78 ~x1342
8.06/8.17 v ~x1765 ~x499 ~x2187 ~x2610 ~x3033 ~x921 ~x3456 ~x79 ~x1343 ~x1766
8.06/8.17 v ~x500 ~x2188 ~x2611 ~x3034 ~x922 ~x3457 ~x80 ~x1344 ~x1767 ~x501
8.06/8.17 v ~x2189 ~x2612 ~x3035 ~x923 ~x3458 ~x81 ~x1345 ~x1768 ~x502 ~x2190
8.06/8.17 v ~x2613 ~x3036 ~x924 ~x3459 ~x82 ~x1346 ~x1769 ~x503 ~x2191 ~x2614
8.06/8.17 v ~x3037 ~x925 ~x3460 ~x83 ~x1347 ~x1770 ~x504 ~x2192 ~x2615 ~x3038
8.06/8.17 v ~x926 ~x3461 ~x84 ~x1348 ~x1771 ~x505 ~x2193 ~x2616 ~x3039 ~x927
8.06/8.17 v ~x3462 ~x85 ~x1349 ~x1772 ~x506 ~x2194 ~x2617 ~x3040 ~x928 ~x3463
8.06/8.17 v ~x86 ~x1350 ~x1773 ~x507 x2195 ~x2618 ~x3041 ~x929 ~x3464 ~x87
8.06/8.17 v ~x1351 ~x1774 ~x508 ~x2196 ~x2619 ~x3042 ~x930 ~x3465 ~x88 ~x1352
8.06/8.17 v ~x1775 ~x509 ~x2197 ~x2620 ~x3043 ~x931 ~x3466 ~x89 ~x1353 ~x1776
8.06/8.17 v ~x510 ~x2198 ~x2621 ~x3044 ~x932 ~x3467 ~x90 ~x1354 ~x1777 ~x511
8.06/8.17 v ~x2199 ~x2622 ~x3045 ~x933 ~x3468 ~x91 x1355 ~x1778 ~x512 ~x2200
8.06/8.17 v ~x2623 ~x3046 ~x934 ~x3469 ~x92 ~x1356 ~x1779 ~x513 ~x2201 ~x2624
8.06/8.17 v ~x3047 ~x935 ~x3470 ~x93 ~x1357 ~x1780 ~x514 ~x2202 ~x2625 ~x3048
8.06/8.17 v ~x936 ~x3471 ~x94 ~x1358 ~x1781 ~x515 ~x2203 ~x2626 ~x3049 ~x937
8.06/8.17 v ~x3472 ~x95 ~x1359 ~x1782 ~x516 ~x2204 ~x2627 ~x3050 ~x938 ~x3473
8.06/8.17 v ~x96 ~x1360 ~x1783 ~x517 ~x2205 ~x2628 ~x3051 ~x939 ~x3474 ~x97
8.06/8.17 v ~x1361 ~x1784 ~x518 ~x2206 ~x2629 ~x3052 ~x940 ~x3475 ~x98 ~x1362
8.06/8.17 v x1785 ~x519 ~x2207 ~x2630 ~x3053 ~x941 ~x3476 ~x99 ~x1363 ~x1786
8.06/8.17 v ~x520 ~x2208 ~x2631 ~x3054 ~x942 ~x3477 ~x100 ~x1364 ~x1787 ~x521
8.06/8.17 v ~x2209 ~x2632 ~x3055 ~x943 ~x3478 ~x101 ~x1365 ~x1788 ~x522 ~x2210
8.06/8.17 v ~x2633 ~x3056 ~x944 ~x3479 ~x102 ~x1366 ~x1789 ~x523 ~x2211 ~x2634
8.06/8.17 v ~x3057 ~x945 ~x3480 ~x103 ~x1367 ~x1790 ~x524 ~x2212 ~x2635 ~x3058
8.06/8.17 v ~x946 ~x3481 ~x104 ~x1368 ~x1791 ~x525 ~x2213 ~x2636 ~x3059 ~x947
8.06/8.17 v ~x3482 ~x105 ~x1369 ~x1792 ~x526 ~x2214 ~x2637 ~x3060 ~x948 ~x3483
8.06/8.17 v ~x106 ~x1370 ~x1793 ~x527 ~x2215 ~x2638 ~x3061 ~x949 ~x3484 ~x107
8.06/8.17 v ~x1371 ~x1794 ~x528 ~x2216 ~x2639 ~x3062 ~x950 ~x3485 ~x108 ~x1372
8.06/8.17 v ~x1795 ~x529 ~x2217 ~x2640 ~x3063 ~x951 x3486 ~x109 ~x1373 ~x1796
8.06/8.17 v ~x530 ~x2218 ~x2641 ~x3064 ~x952 ~x3487 ~x110 ~x1374 ~x1797 ~x531
8.06/8.17 v ~x2219 ~x2642 ~x3065 ~x953 ~x3488 ~x111 ~x1375 ~x1798 ~x532 ~x2220
8.06/8.17 v ~x2643 x3066 ~x954 ~x3489 ~x112 ~x1376 ~x1799 ~x533 ~x2221 ~x2644
8.06/8.17 v ~x3067 ~x955 ~x3490 ~x113 ~x1377 ~x1800 ~x534 ~x2222 ~x2645 ~x3068
8.06/8.17 v ~x956 ~x3491 ~x114 ~x1378 ~x1801 ~x535 ~x2223 ~x2646 ~x3069 ~x957
8.06/8.17 v ~x3492 ~x115 ~x1379 ~x1802 ~x536 ~x2224 ~x2647 ~x3070 ~x958 ~x3493
8.06/8.17 v ~x116 ~x1380 ~x1803 ~x537 ~x2225 ~x2648 ~x3071 ~x959 ~x3494 ~x117
8.06/8.17 v ~x1381 ~x1804 ~x538 ~x2226 ~x2649 ~x3072 ~x960 ~x3495 ~x118 ~x1382
8.06/8.17 v ~x1805 ~x539 ~x2227 ~x2650 ~x3073 ~x961 ~x3496 ~x119 ~x1383 ~x1806
8.06/8.17 v ~x540 ~x2228 ~x2651 ~x3074 ~x962 ~x3497 ~x120 ~x1384 ~x1807 ~x541
8.06/8.17 v ~x2229 ~x2652 ~x3075 ~x963 ~x3498 ~x121 ~x1385 ~x1808 ~x542 ~x2230
8.06/8.17 v ~x2653 ~x3076 ~x964 ~x3499 ~x122 ~x1386 ~x1809 ~x543 ~x2231 ~x2654
8.06/8.17 v ~x3077 ~x965 ~x3500 ~x123 ~x1387 ~x1810 ~x544 ~x2232 ~x2655 ~x3078
8.06/8.17 v ~x966 ~x3501 ~x124 ~x1388 ~x1811 ~x545 ~x2233 ~x2656 ~x3079 ~x967
8.06/8.17 v ~x3502 ~x125 ~x1389 ~x1812 ~x546 ~x2234 ~x2657 ~x3080 ~x968 ~x3503
8.06/8.17 v ~x126 ~x1390 ~x1813 ~x547 ~x2235 ~x2658 ~x3081 ~x969 ~x3504 ~x127
8.06/8.17 v ~x1391 ~x1814 ~x548 ~x2236 ~x2659 ~x3082 ~x970 ~x3505 ~x128 ~x1392
8.06/8.17 v ~x1815 ~x549 ~x2237 ~x2660 ~x3083 ~x971 ~x3506 ~x129 ~x1393 ~x1816
8.06/8.17 v ~x550 ~x2238 ~x2661 ~x3084 ~x972 ~x3507 ~x130 ~x1394 ~x1817 ~x551
8.06/8.17 v ~x2239 ~x2662 ~x3085 ~x973 ~x3508 ~x131 ~x1395 ~x1818 ~x552 ~x2240
8.06/8.17 v ~x2663 ~x3086 ~x974 ~x3509 ~x132 ~x1396 ~x1819 ~x2241 ~x2664 ~x3087
8.06/8.17 v ~x975 ~x3510 ~x133 ~x1397 ~x1820 ~x2242 ~x2665 ~x553 ~x3088 ~x976
8.06/8.17 v ~x3511 ~x134 ~x1398 ~x1821 ~x2243 ~x2666 ~x554 ~x3089 ~x977 ~x3512
8.06/8.17 v ~x135 ~x1399 ~x1822 ~x2244 ~x2667 ~x555 ~x3090 ~x978 ~x3513 ~x136
8.06/8.17 v ~x1400 ~x1823 ~x2245 ~x2668 ~x556 ~x3091 ~x979 ~x3514 ~x137 ~x1401
8.06/8.17 v ~x1824 ~x2246 ~x2669 ~x557 ~x3092 ~x980 ~x3515 ~x138 ~x1402 ~x1825
8.06/8.17 v ~x2247 x2670 ~x558 ~x3093 ~x981 ~x3516 ~x1403 ~x1826 ~x2248 ~x2671
8.06/8.17 v ~x559 ~x3094 ~x982 ~x3517 ~x1404 ~x139 ~x1827 ~x2249 x2672 ~x560
8.06/8.17 v ~x3095 ~x983 ~x3518 ~x1405 ~x140 ~x1828 ~x2250 ~x2673 x561 ~x3096
8.06/8.17 v ~x984 ~x3519 ~x1406 ~x141 ~x1829 ~x2251 ~x2674 ~x562 ~x3097 x985
8.06/8.17 v ~x3520 ~x1407 ~x142 ~x1830 ~x2252 ~x2675 x563 ~x3098 ~x986 ~x3521
8.06/8.17 v ~x1408 ~x143 ~x1831 ~x2253 ~x2676 ~x564 ~x3099 ~x987 ~x3522 ~x1409
8.06/8.17 v ~x144 ~x1832 ~x2254 ~x2677 x565 ~x3100 ~x988 ~x3523 ~x1410 x145
8.06/8.17 v ~x1833 ~x2255 ~x2678 ~x566 ~x3101 ~x989 ~x3524 ~x1411 ~x146 ~x1834
8.06/8.17 v ~x2256 ~x2679 ~x567 ~x3102 ~x990 ~x3525 ~x1412 ~x147 ~x1835 ~x2257
8.06/8.17 v ~x2680 ~x568 ~x3103 ~x991 ~x3526 ~x1413 ~x148 ~x1836 ~x2258 ~x2681
8.06/8.17 v ~x569 ~x3104 ~x992 ~x3527 ~x1414 ~x149 ~x1837 ~x2259 ~x2682 ~x570
8.06/8.17 v ~x3105 ~x993 ~x3528 ~x1415 ~x150 ~x1838 ~x2260 ~x2683 ~x571 ~x3106
8.06/8.17 v ~x994 ~x3529 ~x1416 ~x151 ~x1839 ~x2261 ~x2684 ~x572 ~x3107 ~x995
8.06/8.17 v ~x3530 ~x1417 ~x152 ~x1840 ~x2262 ~x2685 ~x573 ~x3108 ~x996 ~x3531
8.06/8.17 v ~x1418 ~x153 ~x1841 x2263 ~x2686 ~x574 ~x3109 ~x997 ~x3532 ~x1419
8.06/8.17 v ~x154 ~x1842 ~x2264 ~x2687 ~x575 ~x3110 ~x998 ~x3533 ~x1420 ~x155
8.06/8.17 v ~x1843 ~x2265 ~x2688 ~x576 ~x3111 ~x999 ~x3534 ~x1421 ~x156 ~x1844
8.06/8.17 v ~x2266 ~x2689 ~x577 ~x3112 ~x1000 ~x3535 ~x1422 ~x157 ~x1845 ~x2267
8.06/8.17 v ~x2690 ~x578 ~x3113 ~x1001 ~x3536 x1423 ~x158 ~x1846 ~x2268 ~x2691
8.06/8.17 v ~x579 ~x3114 ~x1002 ~x3537 ~x1424 ~x159 ~x1847 ~x2269 ~x2692 ~x580
8.06/8.17 v ~x3115 ~x1003 ~x3538 ~x1425 ~x160 ~x1848 ~x2270 ~x2693 ~x581 ~x3116
8.06/8.17 v ~x1004 x3539 ~x1426 ~x161 ~x1849 ~x2271 ~x2694 ~x582 ~x3117 ~x1005
8.06/8.17 v ~x3540 ~x1427 ~x162 ~x1850 ~x2272 ~x2695 ~x583 ~x3118 ~x1006 ~x3541
8.06/8.17 v ~x1428 ~x163 ~x1851 ~x2273 ~x2696 ~x584 ~x3119 ~x1007 ~x3542 ~x1429
8.06/8.17 v ~x164 ~x1852 ~x2274 ~x2697 ~x585 ~x3120 ~x1008 ~x3543 ~x1430 ~x165
8.06/8.17 v ~x1853 ~x2275 ~x2698 ~x586 ~x3121 ~x1009 ~x3544 ~x1431 ~x166 ~x1854
8.06/8.17 v ~x2276 ~x2699 ~x587 ~x3122 ~x1010 ~x3545 ~x1432 ~x167 x1855 ~x2277
8.06/8.17 v ~x2700 ~x588 ~x3123 ~x1011 ~x3546 ~x1433 ~x168 ~x1856 ~x2278 ~x2701
8.06/8.17 v ~x589 ~x3124 ~x1012 ~x3547 ~x1434 ~x169 ~x1857 ~x2279 ~x2702 ~x590
8.06/8.17 v ~x3125 ~x1013 ~x3548 ~x1435 ~x170 ~x1858 ~x2280 ~x2703 ~x591 ~x3126
8.06/8.17 v ~x1014 ~x3549 ~x1436 ~x171 ~x1859 ~x2281 ~x2704 ~x592 ~x3127 ~x1015
8.06/8.17 v ~x3550 ~x1437 ~x172 ~x1860 ~x2282 ~x2705 ~x593 ~x3128 ~x1016 ~x3551
8.06/8.17 v ~x1438 ~x173 ~x1861 ~x2283 ~x2706 ~x594 ~x3129 ~x1017 ~x3552 ~x1439
8.06/8.17 v ~x174 ~x1862 ~x2284 ~x2707 ~x595 ~x3130 ~x1018 ~x3553 ~x1440 ~x175
8.06/8.17 v ~x1863 ~x2285 ~x2708 ~x596 ~x3131 ~x1019 ~x3554 ~x1441 ~x176 ~x1864
8.06/8.17 v ~x2286 ~x2709 ~x597 ~x3132 ~x1020 ~x3555 ~x1442 ~x177 ~x1865 ~x2287
8.06/8.17 v ~x2710 ~x598 ~x3133 ~x1021 ~x3556 ~x1443 ~x178 ~x1866 ~x2288 ~x2711
8.06/8.17 v ~x599 x3134 ~x1022 ~x3557 ~x1444 ~x179 ~x1867 ~x2289 ~x2712 ~x600
8.06/8.17 v ~x3135 ~x1023 ~x3558 ~x1445 ~x180 ~x1868 ~x2290 ~x2713 ~x601 ~x3136
8.06/8.17 v ~x1024 ~x3559 ~x1446 ~x181 ~x1869 ~x2291 ~x2714 ~x602 ~x3137 ~x1025
8.06/8.17 v ~x3560 ~x1447 ~x182 ~x1870 ~x2292 ~x2715 ~x603 ~x3138 ~x1026 ~x3561
8.06/8.17 v ~x1448 ~x183 ~x1871 ~x2293 ~x2716 ~x604 ~x3139 ~x1027 ~x3562 ~x1449
8.06/8.17 v ~x184 ~x1872 ~x2294 ~x2717 ~x605 ~x3140 ~x1028 ~x3563 ~x1450 ~x185
8.06/8.17 v ~x1873 ~x2295 ~x2718 ~x606 ~x3141 ~x1029 ~x3564 ~x1451 ~x186 ~x1874
8.06/8.17 v ~x2296 ~x2719 ~x607 ~x3142 ~x1030 ~x3565 ~x1452 ~x187 ~x1875 ~x2297
8.06/8.17 v ~x2720 ~x608 ~x3143 ~x1031 ~x3566 ~x1453 ~x188 ~x1876 ~x2298 ~x2721
8.06/8.17 v ~x609 ~x3144 ~x1032 ~x3567 ~x1454 ~x189 ~x1877 ~x2299 ~x2722 ~x610
8.06/8.17 v ~x3145 ~x1033 ~x3568 ~x1455 ~x190 ~x1878 ~x2300 ~x2723 ~x611 ~x3146
8.06/8.17 v ~x1034 ~x3569 ~x1456 ~x191 ~x1879 ~x2301 ~x2724 ~x612 ~x3147 ~x1035
8.06/8.17 v ~x3570 ~x1457 ~x192 ~x1880 ~x2302 ~x2725 ~x613 ~x3148 ~x1036 ~x3571
8.06/8.17 v ~x1458 ~x193 ~x1881 ~x2303 ~x2726 ~x614 ~x3149 ~x1037 ~x3572 ~x1459
8.06/8.17 v ~x194 ~x1882 ~x2304 ~x2727 ~x615 ~x3150 ~x1038 ~x3573 ~x1460 ~x195
8.06/8.17 v ~x1883 ~x2305 ~x2728 ~x616 ~x3151 ~x1039 ~x3574 ~x1461 ~x196 ~x1884
8.06/8.17 v ~x2306 ~x2729 ~x617 ~x3152 ~x1040 ~x3575 ~x1462 ~x197 ~x1885 ~x2307
8.06/8.17 v ~x2730 ~x618 ~x3153 ~x1041 ~x3576 ~x1463 ~x198 ~x1886 ~x2308 ~x2731
8.06/8.17 v ~x619 ~x3154 ~x1042 ~x3577 ~x1464 ~x199 ~x1887 ~x2309 ~x2732 ~x620
8.06/8.17 v ~x3155 ~x1043 ~x3578 ~x1465 ~x200 ~x1888 ~x2310 ~x2733 ~x621 ~x3156
8.06/8.17 v ~x1044 ~x3579 ~x1466 ~x201 ~x1889 ~x2311 ~x2734 ~x622 ~x3157 ~x1045
8.06/8.17 v ~x3580 ~x1467 ~x202 ~x1890 ~x2312 ~x2735 ~x623 ~x3158 ~x1046 ~x3581
8.06/8.17 v ~x1468 ~x203 ~x1891 ~x2313 ~x2736 ~x624 ~x3159 ~x1047 ~x3582 ~x1469
8.06/8.17 v ~x204 ~x1892 ~x2314 ~x2737 ~x625 ~x3160 ~x1048 ~x3583 ~x1470 ~x205
8.06/8.17 v ~x1893 ~x2315 ~x2738 ~x626 ~x3161 ~x1049 ~x3584 ~x1471 ~x206 ~x1894
8.06/8.17 v ~x2316 ~x2739 ~x627 ~x3162 ~x1050 ~x3585 ~x1472 ~x207 ~x1895 ~x2317
8.06/8.17 v ~x2740 ~x628 ~x3163 ~x1051 ~x3586 ~x1473 ~x208 ~x1896 ~x2318 ~x2741
8.06/8.17 v ~x629 ~x3164 ~x1052 ~x3587 ~x1474 ~x209 ~x1897 ~x2319 ~x2742 ~x630
8.06/8.17 v ~x3165 ~x1053 ~x3588 ~x1475 ~x210 ~x1898 ~x2320 x2743 ~x631 ~x3166
8.06/8.17 v ~x1054 ~x3589 ~x1476 ~x211 ~x1899 ~x2321 ~x2744 ~x632 ~x3167 ~x1055
8.06/8.17 v ~x3590 ~x1477 ~x212 ~x1900 ~x2322 x2745 x633 ~x3168 ~x1056 ~x3591
8.06/8.17 v ~x1478 ~x213 ~x1901 ~x2323 ~x2746 ~x634 ~x3169 ~x1057 ~x3592 ~x1479
8.06/8.17 v ~x214 ~x1902 ~x2324 ~x2747 ~x635 ~x3170 ~x1058 ~x3593 ~x1480 ~x215
8.06/8.17 v ~x1903 ~x2325 ~x2748 ~x636 ~x3171 ~x1059 ~x3594 ~x1481 ~x216 ~x1904
8.06/8.17 v ~x2326 ~x2749 ~x637 ~x3172 ~x1060 ~x3595 ~x1482 ~x217 ~x1905 ~x2327
8.06/8.17 v ~x2750 ~x638 ~x3173 ~x1061 ~x3596 ~x1483 ~x218 ~x1906 ~x2328 ~x2751
8.06/8.17 v ~x639 ~x3174 ~x1062 ~x3597 ~x1484 ~x219 ~x1907 ~x2329 ~x2752 ~x640
8.06/8.17 v ~x3175 ~x1063 ~x3598 ~x1485 ~x220 ~x1908 x2330 ~x2753 ~x641 ~x3176
8.06/8.17 v ~x1064 ~x3599 ~x1486 ~x221 ~x1909 ~x2331 ~x2754 ~x642 ~x3177 ~x1065
8.06/8.17 v ~x3600 ~x1487 ~x222 ~x1910 ~x2332 ~x2755 ~x643 ~x3178 ~x1066 ~x3601
8.06/8.17 v ~x1488 ~x223 ~x1911 ~x2333 ~x2756 ~x644 ~x3179 ~x1067 ~x3602 ~x1489
8.06/8.17 v ~x224 ~x1912 ~x2334 ~x2757 ~x645 ~x3180 ~x1068 ~x3603 ~x1490 ~x225
8.06/8.17 v ~x1913 ~x2335 ~x2758 ~x646 ~x3181 ~x1069 ~x3604 x1491 ~x226 ~x1914
8.06/8.17 v ~x2336 ~x2759 ~x647 ~x3182 ~x1070 ~x3605 ~x1492 ~x227 ~x1915 ~x2337
8.06/8.17 v ~x2760 ~x648 ~x3183 ~x1071 ~x3606 ~x1493 ~x228 ~x1916 ~x2338 ~x2761
8.06/8.17 v ~x649 ~x3184 ~x1072 ~x3607 ~x1494 ~x229 ~x1917 ~x2339 ~x2762 ~x650
8.06/8.17 v ~x3185 ~x1073 ~x3608 ~x1495 ~x230 ~x1918 ~x2340 ~x2763 ~x651 ~x3186
8.06/8.17 v ~x1074 ~x3609 ~x1496 ~x231 ~x1919 ~x2341 ~x2764 ~x652 ~x3187 ~x1075
8.06/8.17 v x3610 ~x1497 ~x232 ~x1920 ~x2342 ~x2765 ~x653 ~x3188 ~x1076 ~x3611
8.06/8.17 v ~x1498 ~x233 ~x1921 ~x2343 ~x2766 ~x654 ~x3189 ~x1077 ~x3612 ~x1499
8.06/8.17 v ~x234 ~x1922 ~x2344 ~x2767 ~x655 ~x3190 ~x1078 ~x3613 ~x1500 ~x235
8.06/8.17 v ~x1923 ~x2345 ~x2768 ~x656 ~x3191 ~x1079 ~x3614 ~x1501 ~x236 ~x1924
8.06/8.17 v ~x2346 ~x2769 ~x657 ~x3192 ~x1080 ~x3615 ~x1502 x1925 ~x237 ~x2347
8.06/8.17 v ~x2770 ~x658 ~x3193 ~x1081 ~x3616 ~x1503 ~x1926 ~x238 ~x2348 ~x2771
8.06/8.17 v ~x659 ~x3194 ~x1082 ~x3617 ~x1504 ~x1927 ~x239 ~x2349 ~x2772 ~x660
8.06/8.17 v ~x3195 ~x1083 ~x3618 ~x1505 ~x240 ~x1928 ~x2350 ~x2773 ~x661 ~x3196
8.06/8.17 v ~x1084 ~x3619 ~x1506 ~x241 ~x1929 ~x2351 ~x2774 ~x662 ~x3197 ~x1085
8.06/8.17 v ~x3620 ~x1507 ~x242 ~x1930 ~x2352 ~x2775 ~x663 ~x3198 ~x1086 ~x3621
8.06/8.17 v ~x1508 ~x243 ~x1931 ~x2353 ~x2776 ~x664 ~x3199 ~x1087 ~x3622 ~x1509
8.06/8.17 v ~x244 ~x1932 ~x2354 ~x2777 ~x665 ~x3200 ~x1088 ~x3623 ~x1510 ~x245
8.06/8.17 v ~x1933 ~x2355 ~x2778 ~x666 ~x3201 ~x1089 ~x3624 ~x1511 ~x246 ~x1934
8.06/8.17 v ~x2356 ~x2779 ~x667 x3202 ~x1090 ~x3625 ~x1512 ~x247 ~x1935 ~x2357
8.06/8.17 v ~x2780 ~x668 ~x3203 ~x1091 ~x3626 ~x1513 ~x248 ~x1936 ~x2358 ~x2781
8.06/8.17 v ~x669 ~x3204 ~x1092 ~x3627 ~x1514 ~x249 ~x1937 ~x2359 ~x2782 ~x670
8.06/8.17 v ~x3205 ~x1093 ~x3628 ~x1515 ~x250 ~x1938 ~x2360 ~x2783 ~x671 ~x3206
8.06/8.17 v ~x1094 ~x3629 ~x1516 ~x251 ~x1939 ~x2361 ~x2784 ~x672 ~x3207 ~x1095
8.06/8.17 v ~x3630 ~x1517 ~x252 ~x1940 ~x2362 ~x2785 ~x673 ~x3208 ~x1096 ~x3631
8.06/8.17 v ~x1518 ~x253 ~x1941 ~x2363 x2786 ~x674 ~x3209 ~x1097 ~x3632 ~x1519
8.06/8.17 v ~x254 ~x1942 ~x2364 ~x2787 ~x675 ~x3210 ~x1098 ~x3633 ~x1520 ~x255
8.06/8.17 v ~x1943 ~x2365 ~x2788 ~x676 ~x3211 ~x1099 ~x3634 ~x1521 ~x256 ~x1944
8.06/8.17 v ~x2366 ~x2789 ~x677 ~x3212 x1100 ~x3635 ~x1522 ~x257 ~x1945 ~x2367
8.06/8.17 v ~x2790 ~x678 ~x3213 ~x1101 ~x3636 ~x1523 ~x258 ~x1946 ~x2368 ~x2791
8.06/8.17 v ~x679 ~x3214 ~x1102 ~x3637 ~x1524 ~x259 ~x1947 ~x2369 ~x2792 ~x680
8.06/8.17 v ~x3215 ~x1103 ~x3638 ~x1525 ~x260 ~x1948 ~x2370 ~x2793 ~x681 ~x3216
8.06/8.17 v ~x1104 ~x3639 ~x1526 ~x261 ~x1949 ~x2371 x2794 ~x682 ~x3217 ~x3640
8.06/8.17 v ~x1527 ~x262 ~x1950 ~x2372 ~x2795 ~x683 ~x3218 ~x3641 ~x1105 ~x1528
8.06/8.17 v ~x263 ~x1951 ~x2373 ~x2796 ~x684 ~x3219 ~x3642 ~x1106 ~x1529 ~x264
8.06/8.17 v ~x1952 ~x2374 ~x2797 ~x685 ~x3220 ~x3643 ~x1107 ~x1530 ~x265 ~x1953
8.06/8.17 v ~x2375 ~x2798 ~x686 ~x3221 ~x3644 ~x1108 ~x1531 ~x266 ~x1954 ~x2376
8.06/8.17 v ~x2799 ~x687 ~x3222 ~x3645 ~x1109 ~x1532 ~x267 ~x1955 ~x2377 ~x2800
8.06/8.17 v ~x688 ~x3223 ~x3646 ~x1110 ~x1533 ~x268 ~x1956 ~x2378 ~x2801 ~x689
8.06/8.17 v ~x3224 ~x3647 ~x1111 ~x1534 ~x269 ~x1957 ~x2379 ~x2802 ~x690 ~x3225
8.06/8.17 v ~x3648 ~x1112 ~x1535 ~x270 ~x1958 ~x2380 ~x2803 ~x691 ~x3226 ~x3649
8.06/8.17 v ~x1113 ~x1536 ~x271 ~x1959 ~x2381 ~x2804 ~x692 ~x3227 ~x3650 ~x1114
8.06/8.17 v ~x1537 ~x272 ~x1960 ~x2382 ~x2805 ~x693 ~x3228 ~x3651 ~x1115 ~x1538
8.06/8.17 v x273 ~x1961 ~x2383 ~x2806 ~x694 ~x3229 ~x3652 ~x1116 ~x1539 ~x274
8.06/8.17 v ~x1962 ~x2384 ~x2807 ~x695 ~x3230 ~x3653 ~x1117 ~x1540 x275 ~x1963
8.06/8.17 v ~x2385 ~x2808 ~x696 ~x3231 ~x3654 ~x1118 ~x1541 ~x276 ~x1964 ~x2386
8.06/8.17 v ~x2809 ~x697 ~x3232 ~x3655 ~x1119 ~x1542 ~x1965 ~x2387 ~x2810 ~x698
8.06/8.17 v ~x3233 ~x3656 ~x1120 ~x1543 ~x1966 ~x277 ~x2388 ~x2811 ~x699 ~x3234
8.06/8.17 v ~x3657 x1121 ~x1544 ~x1967 ~x278 ~x2389 ~x2812 ~x700 ~x3235 ~x3658
8.06/8.17 v ~x1122 ~x1545 ~x1968 ~x279 ~x2390 ~x2813 ~x701 ~x3236 ~x3659 ~x1123
8.06/8.17 v ~x1546 ~x1969 ~x280 ~x2391 ~x2814 ~x702 ~x3237 ~x3660 ~x1124 ~x1547
8.06/8.17 v ~x1970 x281 ~x2392 ~x2815 ~x703 ~x3238 ~x3661 ~x1125 ~x1548 ~x1971
8.06/8.17 v ~x282 ~x2393 ~x2816 x704 ~x3239 ~x3662 ~x1126 ~x1549 ~x1972 ~x283
8.06/8.17 v ~x2394 ~x2817 ~x705 ~x3240 ~x3663 ~x1127 ~x1550 ~x1973 ~x284 x2395
8.06/8.17 v ~x2818 x706 ~x3241 ~x3664 ~x1128 ~x1551 ~x1974 ~x285 ~x2396 ~x2819
8.06/8.17 v ~x707 ~x3242 ~x3665 ~x1129 ~x1552 ~x1975 ~x286 ~x2397 ~x2820 x708
8.06/8.17 v ~x3243 ~x3666 ~x1130 ~x1553 ~x1976 ~x287 ~x2398 ~x2821 ~x709 ~x3244
8.06/8.17 v ~x3667 ~x1131 ~x1554 ~x1977 ~x288 ~x2399 ~x2822 ~x710 ~x3245 ~x3668
8.06/8.17 v ~x1132 ~x1555 ~x1978 ~x289 ~x2400 ~x2823 ~x711 ~x3246 ~x3669 ~x1133
8.06/8.17 v ~x1556 ~x1979 ~x290 ~x2401 ~x2824 ~x712 ~x3247 ~x3670 ~x1134 ~x1557
8.06/8.17 v ~x1980 ~x291 ~x2402 ~x2825 ~x713 ~x3248 ~x3671 ~x1135 ~x1558 ~x1981
8.06/8.17 v ~x292 ~x2403 ~x2826 ~x714 ~x3249 ~x3672 ~x1136 x1559 ~x1982 ~x293
8.06/8.17 v ~x2404 ~x2827 ~x715 ~x3250 ~x3673 ~x1137 ~x1560 ~x1983 ~x294 ~x2405
8.06/8.17 v ~x2828 ~x716 ~x3251 ~x3674 ~x1138 ~x1561 ~x1984 ~x295 ~x2406 ~x2829
8.06/8.17 v ~x717 ~x3252 ~x3675 ~x1139 ~x1562 ~x1985 ~x296 ~x2407 ~x2830 ~x718
8.06/8.17 v ~x3253 ~x3676 ~x1140 ~x1563 ~x1986 ~x297 ~x2408 ~x2831 ~x719 ~x3254
8.06/8.17 v ~x3677 ~x1141 ~x1564 ~x1987 ~x298 ~x2409 ~x2832 ~x720 ~x3255 x3678
8.06/8.17 v ~x1142 ~x1565 ~x1988 ~x299 ~x2410 ~x2833 ~x721 ~x3256 ~x3679 ~x1143
8.06/8.17 v ~x1566 ~x1989 ~x300 ~x2411 ~x2834 ~x722 ~x3257 x3680 ~x1144 ~x1567
8.06/8.17 v ~x1990 ~x301 ~x2412 ~x2835 ~x723 ~x3258 ~x3681 ~x1145 ~x1568 ~x1991
8.06/8.17 v ~x302 ~x2413 ~x2836 ~x724 ~x3259 x3682 ~x1146 ~x1569 ~x1992 ~x303
8.06/8.17 v ~x2414 ~x2837 ~x725 ~x3260 ~x3683 ~x1147 ~x1570 ~x1993 ~x304 ~x2415
8.06/8.17 v ~x2838 ~x726 ~x3261 ~x3684 ~x1148 ~x1571 ~x1994 ~x305 ~x2416 ~x2839
8.06/8.17 v ~x727 ~x3262 ~x3685 ~x1149 ~x1572 x1995 ~x306 ~x2417 ~x2840 ~x728
8.06/8.17 v ~x3263 ~x3686 ~x1150 ~x1573 ~x1996 ~x307 ~x2418 ~x2841 ~x729 ~x3264
8.06/8.17 v ~x3687 ~x1151 ~x1574 ~x1997 ~x308 ~x2419 ~x2842 ~x730 ~x3265 ~x3688
8.06/8.17 v ~x1152 ~x1575 ~x1998 ~x309 ~x2420 ~x2843 ~x731 ~x3266 ~x3689 ~x1153
8.06/8.17 v ~x1576 ~x1999 ~x310 ~x2421 ~x2844 ~x732 ~x3267 ~x3690 ~x1154 ~x1577
8.06/8.17 v ~x2000 ~x311 ~x2422 ~x2845 ~x733 ~x3268 ~x3691 ~x1155 ~x1578 ~x2001
8.06/8.17 v ~x312 ~x2423 ~x2846 ~x734 ~x3269 ~x3692 ~x1156 ~x1579 ~x2002 ~x313
8.06/8.17 v ~x2424 ~x2847 ~x735 x3270 ~x3693 ~x1157 ~x1580 ~x2003 ~x314 ~x2425
8.06/8.17 v ~x2848 ~x736 ~x3271 ~x3694 ~x1158 ~x1581 ~x2004 ~x315 ~x2426 ~x2849
8.06/8.17 v ~x737 ~x3272 ~x3695 ~x1159 ~x1582 ~x2005 ~x316 ~x2427 ~x2850 ~x738
8.06/8.17 v ~x3273 ~x3696 ~x1160 ~x1583 ~x2006 ~x317 ~x2428 ~x2851 ~x739 ~x3274
8.06/8.17 v ~x3697 ~x1161 ~x1584 ~x2007 ~x318 ~x2429 ~x2852 ~x740 ~x3275 ~x3698
8.06/8.17 v ~x1162 ~x1585 ~x2008 ~x319 ~x2430 ~x2853 ~x741 ~x3276 ~x3699 ~x1163
8.06/8.17 v ~x1586 ~x2009 ~x320 ~x2431 ~x2854 ~x742 ~x3277 ~x3700 ~x1164 ~x1587
8.06/8.17 v ~x2010 ~x321 ~x2432 ~x2855 ~x743 ~x3278 ~x3701 ~x1165 ~x1588 ~x2011
8.06/8.17 v ~x322 ~x2433 ~x2856 ~x744 ~x3279 ~x3702 ~x1166 ~x1589 ~x2012 ~x323
8.06/8.17 v ~x2434 ~x2857 ~x745 ~x3280 ~x3703 ~x1167 ~x1590 ~x2013 ~x324 ~x2435
8.06/8.17 v ~x2858 ~x746 ~x3281 ~x3704 ~x1168 ~x1591 ~x2014 ~x325 ~x2436 ~x2859
8.06/8.17 v ~x747 ~x3282 ~x3705 ~x1169 ~x1592 ~x2015 ~x326 ~x2437 ~x2860 ~x748
8.06/8.17 v ~x3283 ~x3706 ~x1170 ~x1593 ~x2016 ~x327 ~x2438 ~x2861 ~x749 ~x3284
8.06/8.17 v ~x3707 ~x1171 ~x1594 ~x2017 ~x328 ~x2439 x2862 ~x750 ~x3285 ~x3708
8.06/8.17 v ~x1172 ~x1595 ~x2018 ~x329 ~x2440 ~x2863 ~x751 ~x3286 ~x3709 ~x1173
8.06/8.17 v ~x1596 ~x2019 ~x330 ~x2441 ~x2864 ~x752 ~x3287 ~x3710 ~x1174 ~x1597
8.06/8.17 v ~x2020 ~x331 ~x2442 ~x2865 ~x753 ~x3288 ~x3711 ~x1175 ~x1598 ~x2021
8.06/8.17 v ~x332 ~x2443 ~x2866 ~x754 ~x3289 ~x3712 ~x1176 ~x1599 ~x2022 ~x333
8.06/8.17 v ~x2444 ~x2867 ~x755 ~x3290 ~x3713 ~x1177 ~x1600 ~x2023 ~x334 ~x2445
8.06/8.17 v ~x2868 ~x756 ~x3291 ~x3714 ~x1178 ~x1601 ~x2024 ~x335 ~x2446 ~x2869
8.06/8.17 v ~x757 ~x3292 ~x3715 ~x1179 ~x1602 ~x2025 ~x336 ~x2447 ~x2870 ~x758
8.06/8.17 v ~x3293 ~x3716 ~x1180 ~x1603 ~x2026 ~x337 ~x2448 ~x2871 ~x759 ~x3294
8.06/8.17 v ~x3717 ~x1181 ~x1604 ~x2027 ~x338 ~x2449 ~x2872 ~x760 ~x3295 ~x3718
8.06/8.17 v ~x1182 ~x1605 ~x2028 ~x339 ~x2450 ~x2873 ~x761 ~x3296 ~x3719 ~x1183
8.06/8.17 v ~x1606 ~x2029 ~x340 ~x2451 ~x2874 ~x762 ~x3297 ~x3720 ~x1184 ~x1607
8.06/8.17 v ~x2030 ~x341 ~x2452 ~x2875 ~x763 ~x3298 ~x3721 ~x1185 ~x1608 ~x2031
8.06/8.17 v ~x342 ~x2453 ~x2876 ~x764 ~x3299 ~x3722 ~x1186 ~x1609 ~x2032 ~x343
8.06/8.17 v ~x2454 ~x2877 ~x765 ~x3300 ~x3723 ~x1187 ~x1610 ~x2033 ~x344 ~x2455
8.06/8.17 v ~x2878 ~x766 ~x3301 ~x3724 ~x1188 ~x1611 ~x2034 ~x345 ~x2456 ~x2879
8.06/8.17 v ~x767 ~x3302 ~x3725 ~x1189 ~x1612 ~x2035 ~x346 ~x2457 ~x2880 ~x768
8.06/8.17 v ~x3303 ~x3726 ~x1190 ~x1613 ~x2036 ~x347 ~x2458 ~x2881 x769 ~x3304
8.06/8.17 v ~x3727 ~x1191 ~x1614 ~x2037 ~x348 ~x2459 ~x2882 ~x770 ~x3305 ~x3728
8.06/8.17 v ~x1192 ~x1615 ~x2038 ~x349 ~x2460 ~x2883 ~x771 ~x3306 ~x3729 ~x1193
8.06/8.17 v ~x1616 ~x2039 ~x350 x2461 ~x2884 ~x772 ~x3307 ~x3730 ~x1194 ~x1617
8.06/8.17 v ~x2040 ~x351 ~x2462 ~x2885 ~x773 ~x3308 ~x3731 ~x1195 ~x1618 ~x2041
8.06/8.17 v ~x352 ~x2463 ~x2886 ~x774 ~x3309 ~x3732 ~x1196 ~x1619 ~x2042 ~x353
8.06/8.17 v ~x2464 ~x2887 ~x775 ~x3310 ~x3733 ~x1197 ~x1620 ~x2043 ~x354 ~x2465
8.06/8.17 v ~x2888 ~x776 ~x3311 ~x3734 ~x1198 ~x1621 ~x2044 ~x355 ~x2466 ~x2889
8.06/8.17 v ~x777 ~x3312 ~x3735 ~x1199 ~x1622 ~x2045 ~x356 ~x2467 ~x2890 ~x778
8.06/8.17 v ~x3313 ~x3736 ~x1200 ~x1623 ~x2046 ~x357 ~x2468 ~x2891 ~x779 ~x3314
8.06/8.17 v ~x3737 ~x1201 ~x1624 ~x2047 ~x358 ~x2469 ~x2892 ~x780 ~x3315 ~x3738
8.06/8.17 v ~x1202 ~x1625 ~x2048 ~x359 ~x2470 ~x2893 ~x781 ~x3316 ~x3739 ~x1203
8.06/8.17 v ~x1626 ~x2049 ~x360 ~x2471 ~x2894 ~x782 ~x3317 ~x3740 ~x1204 ~x1627
8.06/8.17 v ~x2050 ~x361 ~x2472 ~x2895 ~x783 ~x3318 ~x3741 ~x1205 ~x1628 ~x2051
8.06/8.17 v ~x362 ~x2473 ~x2896 ~x784 ~x3319 ~x3742 ~x1206 ~x1629 x2052 ~x363
8.06/8.17 v ~x2474 ~x2897 ~x785 ~x3320 ~x3743 ~x1207 ~x1630 ~x2053 ~x364 ~x2475
8.06/8.17 v ~x2898 ~x786 ~x3321 ~x3744 ~x1208 ~x1631 ~x2054 ~x365 ~x2476 ~x2899
8.06/8.17 v ~x787 ~x3322 ~x3745 ~x1209 ~x1632 ~x2055 ~x366 ~x2477 ~x2900 ~x788
8.06/8.17 v ~x3323 ~x3746 x1210 ~x1633 ~x2056 ~x367 ~x2478 ~x2901 ~x789 ~x3324
8.06/8.17 v ~x3747 ~x1211 ~x1634 ~x2057 ~x368 ~x2479 ~x2902 ~x790 ~x3325 ~x3748
8.06/8.17 v x1212 ~x1635 ~x2058 ~x369 ~x2480 ~x2903 ~x791 ~x3326 ~x3749 ~x1213
8.06/8.17 v ~x1636 ~x2059 ~x370 ~x2481 ~x2904 ~x792 ~x3327 ~x3750 ~x1214 ~x1637
8.06/8.17 v ~x2060 ~x371 ~x2482 ~x2905 ~x793 ~x3328 ~x3751 ~x1215 ~x1638 ~x2061
8.06/8.17 v ~x372 ~x2483 ~x2906 ~x794 ~x3329 ~x3752 ~x1216 ~x1639 ~x2062 ~x373
8.06/8.17 v ~x2484 ~x2907 ~x795 ~x3330 ~x3753 ~x1217 ~x1640 ~x2063 ~x374 ~x2485
8.06/8.17 v ~x2908 ~x796 ~x3331 ~x3754 ~x1218 ~x1641 ~x2064 ~x375 ~x2486 ~x2909
8.06/8.17 v ~x797 ~x3332 ~x3755 ~x1219 ~x1642 ~x2065 ~x376 ~x2487 ~x2910 ~x798
8.06/8.17 v ~x3333 ~x3756 ~x1220 ~x1643 ~x2066 ~x377 ~x2488 ~x2911 ~x799 ~x3334
8.06/8.17 v ~x3757 ~x1221 ~x1644 ~x2067 ~x378 ~x2489 ~x2912 ~x800 ~x3335 ~x3758
8.06/8.17 v ~x1222 x1645 ~x2068 ~x379 ~x2490 ~x2913 ~x801 x3336 ~x3759 ~x1223
8.06/8.17 v ~x1646 ~x2069 ~x380 ~x2491 ~x2914 ~x802 ~x3337 ~x3760 ~x1224 ~x1647
8.06/8.17 v ~x2070 ~x381 ~x2492 ~x2915 ~x803 ~x3338 ~x3761 ~x1225 ~x1648 ~x2071
8.06/8.17 v ~x382 ~x2493 ~x2916 ~x804 ~x3339 ~x3762 ~x1226 ~x1649 ~x2072 ~x383
8.06/8.17 v ~x2494 ~x2917 ~x805 ~x3340 ~x3763 ~x1227 ~x1650 ~x2073 ~x384 ~x2495
8.06/8.17 v ~x2918 ~x806 ~x3341 ~x3764 ~x1228 ~x1651 ~x2074 ~x385 ~x2496 ~x2919
8.06/8.17 v ~x807 ~x3342 ~x3765 ~x1229 ~x1652 ~x2075 ~x386 ~x2497 ~x2920 ~x808
8.06/8.17 v ~x3343 ~x3766 ~x1230 ~x1653 ~x2076 ~x387 ~x2498 ~x2921 ~x809 ~x3344
8.06/8.17 v ~x3767 ~x1231 ~x1654 ~x2077 ~x388 ~x2499 ~x2922 ~x810 ~x3345 ~x3768
8.06/8.17 v ~x1232 ~x1655 ~x2078 ~x389 ~x2500 ~x2923 ~x811 ~x3346 ~x3769 ~x1233
8.06/8.17 v ~x1656 ~x2079 ~x390 ~x2501 ~x2924 ~x812 ~x3347 ~x3770 ~x1234 ~x1657
8.06/8.17 v ~x2080 ~x391 ~x2502 ~x2925 ~x813 ~x3348 ~x3771 ~x1235 ~x1658 ~x2081
8.06/8.17 v ~x392 ~x2503 ~x2926 ~x814 ~x3349 ~x3772 ~x1236 ~x1659 ~x2082 ~x393
8.06/8.17 v ~x2504 ~x2927 ~x815 ~x3350 ~x3773 ~x1237 ~x1660 ~x2083 ~x394 ~x2505
8.06/8.17 v ~x2928 ~x816 ~x3351 ~x3774 ~x1238 ~x1661 ~x2084 ~x395 ~x2506 ~x2929
8.06/8.17 v ~x817 ~x3352 ~x3775 ~x1239 ~x1662 ~x2085 ~x396 ~x2507 x2930 ~x818
8.06/8.17 v ~x3353 ~x3776 ~x1240 ~x1663 ~x2086 ~x397 ~x2508 ~x2931 ~x819 ~x3354
8.06/8.17 v ~x3777 ~x1241 ~x1664 ~x2087 ~x398 ~x2509 ~x2932 ~x820 ~x3355 ~x3778
8.06/8.17 v ~x1242 ~x1665 ~x2088 ~x399 ~x2510 ~x2933 ~x821 ~x3356 ~x3779 ~x1243
8.06/8.17 v ~x1666 ~x2089 ~x400 ~x2511 ~x2934 ~x822 ~x3357 ~x3780 ~x1244 ~x1667
8.06/8.17 v ~x2090 ~x401 ~x2512 ~x2935 ~x823 ~x3358 ~x3781 ~x1245 ~x1668 ~x2091
8.06/8.17 v ~x402 ~x2513 ~x2936 ~x824 ~x3359 ~x3782 ~x1246 ~x1669 ~x2092 ~x403
8.06/8.17 v ~x2514 ~x2937 ~x825 ~x3360 ~x3783 ~x1247 ~x1670 ~x2093 ~x404 ~x2515
8.06/8.17 v ~x2938 ~x826 ~x3361 ~x3784 ~x1248 ~x1671 ~x2094 ~x405 ~x2516 ~x2939
8.06/8.17 v ~x827 ~x3362 ~x3785 ~x1249 ~x1672 ~x2095 ~x406 ~x2517 ~x2940 ~x828
8.06/8.17 v ~x3363 ~x3786 ~x1250 ~x1673 ~x2096 ~x407 ~x2518 ~x2941 ~x829 ~x3364
8.06/8.17 v ~x3787 ~x1251 ~x1674 ~x2097 ~x408 ~x2519 ~x2942 ~x830 ~x3365 ~x3788
8.06/8.17 v ~x1252 ~x1675 ~x2098 ~x409 ~x2520 ~x2943 ~x831 ~x3366 ~x3789 ~x1253
8.06/8.17 v ~x1676 ~x2099 ~x410 ~x2521 ~x2944 ~x832 ~x3367 ~x3790 ~x1254 ~x1677
8.06/8.17 v ~x2100 ~x411 ~x2522 ~x2945 ~x833 ~x3368 ~x3791 ~x1255 ~x1678 ~x2101
8.06/8.17 v x412 ~x2523 ~x2946 ~x834 ~x3369 ~x3792 ~x1256 ~x1679 ~x2102 ~x413
8.06/8.17 v ~x2524 ~x2947 ~x835 ~x3370 ~x3793 ~x1257 ~x1680 ~x2103 ~x414 ~x2525
8.06/8.17 v ~x2948 x836 ~x3371 ~x3794 ~x1258 ~x1681 ~x2104 ~x415 ~x2526 ~x2949
8.06/8.17 v ~x837 ~x3372 x3795 ~x1259 ~x1682 ~x2105 ~x416 ~x2527 ~x2950 ~x838
8.06/8.17 v ~x3373 ~x1260 x1 ~x1683 ~x2106 ~x417 ~x2528 ~x2951 ~x839 ~x3374
8.06/8.17 v ~x1261 ~x2 ~x1684 ~x2107 ~x418 ~x2529 ~x2952 ~x840 ~x3375 ~x1262
8.06/8.17 v ~x3 ~x1685 ~x2108 ~x419 ~x2530 ~x2953 ~x841 ~x3376 ~x1263 ~x4
8.06/8.17 v ~x1686 ~x2109 ~x420 ~x2531 ~x2954 ~x842 ~x3377 ~x1264 ~x5 ~x1687
8.06/8.17 v ~x2110 ~x421 ~x2532 ~x2955 ~x843 ~x3378 ~x1265 ~x6 ~x1688 ~x2111
8.06/8.17 v ~x422 ~x2533 ~x2956 ~x844 ~x3379 ~x1266 ~x7 ~x1689 ~x2112 ~x423
8.06/8.17 v ~x2534 ~x2957 ~x845 ~x3380 ~x1267 ~x8 ~x1690 ~x2113 ~x424 ~x2535
8.06/8.18 v ~x2958 ~x846 ~x3381 ~x1268 ~x9 ~x1691 ~x2114 ~x425 ~x2536 ~x2959
8.06/8.18 v ~x847 ~x3382 ~x1269 ~x10 ~x1692 ~x2115 ~x426 ~x2537 ~x2960 ~x848
8.06/8.18 v ~x3383 ~x1270 ~x11 ~x1693 ~x2116 ~x427 ~x2538 ~x2961 ~x849 ~x3384
8.06/8.18 v ~x1271 ~x12 ~x1694 ~x2117 ~x428 ~x2539 ~x2962 ~x850 ~x3385 ~x1272
8.06/8.18 v ~x13 ~x1695 ~x2118 ~x429 ~x2540 ~x2963 ~x851 ~x3386 ~x1273 ~x14
8.06/8.18 v ~x1696 ~x2119 ~x430 ~x2541 ~x2964 ~x852 ~x3387 ~x1274 ~x15 ~x1697
8.06/8.18 v ~x2120 ~x431 ~x2542 ~x2965 ~x853 ~x3388 ~x1275 ~x16 ~x1698 ~x2121
8.06/8.18 v ~x432 ~x2543 ~x2966 ~x854 ~x3389 ~x1276 ~x17 ~x1699 ~x2122 ~x433
8.06/8.18 v ~x2544 ~x2967 ~x855 ~x3390 ~x1277 ~x18 ~x1700 ~x2123 ~x434 ~x2545
8.06/8.18 v ~x2968 ~x856 ~x3391 ~x1278 ~x19 ~x1701 ~x2124 ~x435 ~x2546 ~x2969
8.06/8.18 v ~x857 ~x3392 ~x1279 ~x20 ~x1702 ~x2125 ~x436 ~x2547 ~x2970 ~x858
8.06/8.18 v ~x3393 ~x1280 ~x21 ~x1703 ~x2126 ~x437 x2548 ~x2971 ~x859 ~x3394
8.06/8.18 v ~x1281 ~x22 ~x1704 x2127 ~x438 ~x2549 ~x2972 ~x860 ~x3395 ~x1282
8.06/8.18 v ~x23 ~x1705 ~x2128 ~x439 ~x2550 ~x2973 ~x861 ~x3396 ~x1283 ~x24
8.06/8.18 v ~x1706 ~x2129 ~x440 ~x2551 ~x2974 ~x862 ~x3397 ~x1284 ~x25 ~x1707
8.06/8.18 v ~x2130 ~x441 ~x2552 ~x2975 ~x863 ~x3398 ~x1285 ~x26 ~x1708 ~x2131
8.06/8.18 v ~x442 ~x2553 ~x2976 ~x864 ~x3399 ~x1286 ~x27 ~x1709 ~x2132 ~x443
8.06/8.18 v ~x2554 ~x2977 ~x865 ~x3400 x1287 ~x28 ~x1710 ~x2133 ~x444 ~x2555
8.06/8.18 v ~x2978 ~x866 ~x3401 ~x1288 ~x29 ~x1711 ~x2134 ~x445 ~x2556 ~x2979
8.06/8.18 v ~x867 ~x3402 x1289 ~x30 ~x1712 ~x2135 ~x446 ~x2557 ~x2980 ~x868
8.06/8.18 v ~x3403 ~x1290 ~x31 ~x1713 ~x2136 ~x447 ~x2558 ~x2981 ~x869 ~x3404
8.06/8.18 v ~x1291 ~x1714 ~x32 ~x2137 ~x448 ~x2559 ~x2982 ~x870 ~x3405 ~x1292
8.06/8.18 v x1715 ~x33 ~x2138 ~x449 ~x2560 ~x2983 ~x871 ~x3406 ~x1293 ~x1716
8.06/8.18 v ~x34 ~x2139 ~x450 ~x2561 ~x2984 ~x872 ~x3407 ~x1294 ~x35 ~x1717
8.06/8.18 v ~x451 ~x2562 ~x2985 ~x873 ~x3408 ~x1295 ~x36 ~x1718 x452 ~x2140
8.06/8.18 v ~x2563 ~x2986 ~x874 ~x3409 ~x1296 ~x37 ~x1719 ~x453 ~x2141 ~x2564
8.06/8.18 v ~x2987 ~x875 ~x3410 ~x1297 ~x38 ~x1720 ~x454 ~x2142 ~x2565 ~x2988
8.06/8.18 v ~x876 ~x3411 ~x1298 ~x39 ~x1721 ~x455 ~x2143 ~x2566 ~x2989 ~x877
8.06/8.18 v ~x3412 ~x1299 ~x40 ~x1722 ~x456 ~x2144 ~x2567 ~x2990 ~x878 ~x3413
8.06/8.18 v ~x1300 ~x41 ~x1723 ~x457 ~x2145 ~x2568 ~x2991 ~x879 ~x3414 ~x1301
8.06/8.18 v ~x42 ~x1724 ~x458 ~x2146 ~x2569 ~x2992 ~x880 ~x3415 ~x1302 ~x43
8.06/8.18 v ~x1725 ~x459 ~x2147 ~x2570 ~x2993 ~x881 x3416 ~x1303 ~x44 ~x1726
8.06/8.18 v ~x460 ~x2148 ~x2571 ~x2994 ~x882 ~x3417 ~x1304 ~x45 ~x1727 ~x461
8.06/8.18 v ~x2149 ~x2572 ~x2995 ~x883 ~x3418 ~x1305 ~x46 ~x1728 ~x462 ~x2150
8.06/8.18 v ~x2573 ~x2996 ~x884 ~x3419 ~x1306 ~x47 ~x1729 ~x463 ~x2151 ~x2574
8.06/8.18 v ~x2997 ~x885 ~x3420 ~x1307 ~x48 ~x1730 ~x464 ~x2152 ~x2575 x2998
8.06/8.18 v ~x886 ~x3421 ~x1308 ~x49 ~x1731 ~x465 ~x2153 ~x2576 ~x2999 ~x887
8.06/8.18 v ~x3422 ~x1309 ~x50 ~x1732 ~x466 ~x2154 ~x2577 ~x3000 ~x888 ~x3423
8.06/8.18 v ~x1310 ~x51 ~x1733 ~x467 ~x2155 ~x2578 ~x3001 ~x889 ~x3424 ~x1311
8.06/8.18 v ~x52 ~x1734 ~x468 ~x2156 ~x2579 ~x3002 ~x890 ~x3425 ~x1312 ~x53
8.06/8.18 v ~x1735 ~x469 ~x2157 ~x2580 ~x3003 ~x891 ~x3426 ~x1313 ~x54 ~x1736
8.06/8.18 v ~x470 ~x2158 ~x2581 ~x3004 ~x892 ~x3427 ~x1314 ~x55 ~x1737 ~x471
8.06/8.18 v ~x2159 ~x2582 ~x3005 ~x893 ~x3428 ~x1315 ~x56 ~x1738 ~x472 ~x2160
8.06/8.18 v ~x2583 ~x3006 ~x894 ~x3429 ~x1316 ~x57 ~x1739 ~x473 ~x2161 ~x2584
8.06/8.18 v ~x3007 ~x895 ~x3430 ~x1317 ~x58 ~x1740 ~x474 ~x2162 ~x2585 ~x3008
8.06/8.18 v ~x896 ~x3431 ~x1318 ~x59 ~x1741 ~x475 ~x2163 ~x2586 ~x3009 ~x897
8.06/8.18 v ~x3432 ~x1319 ~x60 ~x1742 ~x476 ~x2164 ~x2587 ~x3010 ~x898 ~x3433
8.06/8.18 v ~x1320 ~x61 ~x1743 ~x477 ~x2165 ~x2588 ~x3011 ~x899 ~x3434 ~x1321
8.06/8.18 v ~x62 ~x1744 ~x478 ~x2166 ~x2589 ~x3012 x900 ~x3435 ~x1322 ~x63
8.06/8.18 v ~x1745 ~x479 ~x2167 ~x2590 ~x3013 ~x901 ~x3436 ~x1323 ~x64 ~x1746
8.06/8.18 v ~x480 ~x2168 ~x2591 ~x3014 ~x902 ~x3437 ~x1324 ~x65 ~x1747 ~x481
8.06/8.18 v ~x2169 ~x2592 ~x3015 ~x903 ~x3438
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 (62242 MiB free)
memory of node 1: 64507 MiB (63601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527980-1752245169/watcher-4527980-1752245169 -o /tmp/evaluation-result-4527980-1752245169/solver-4527980-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752245169-119466 --watchdog 3760 pb_picat HOME/instance-4527980-1752245169.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=119518, runsolver pid=119514
[startup+0.100063 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128791344/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2029316 memory=32236 CPUtime=0.08 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 1573 0 0 0 8 0 0 0 20 0 1 0 140194725 2078019584 8059 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 507329 8059 1632 343 0 504393 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2029316 KiB
Current children cumulated memory: 32236 KiB
[startup+0.205408 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128780760/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2029316 memory=32292 CPUtime=0.19 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 2438 0 0 0 18 1 0 0 20 0 1 0 140194725 2078019584 8073 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 507329 8073 1632 343 0 504393 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2029316 KiB
Current children cumulated memory: 32292 KiB
[startup+0.304915 s]*
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128780760/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2030084 memory=32704 CPUtime=0.29 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 2636 0 0 0 28 1 0 0 20 0 1 0 140194725 2078806016 8176 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 507521 8176 1632 343 0 504585 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2030084 KiB
Current children cumulated memory: 32704 KiB
[startup+0.700113 s]
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128780004/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2035076 memory=35828 CPUtime=0.67 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 4574 0 0 0 66 1 0 0 20 0 1 0 140194725 2083917824 8957 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 508769 8957 1632 343 0 505833 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2035076 KiB
Current children cumulated memory: 35828 KiB
[startup+1.50012 s]
/proc/loadavg: 1.54 2.68 3.14 5/265 119523
/proc/meminfo: memFree=128778548/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2033028 memory=35516 CPUtime=1.47 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 6951 0 0 0 146 1 0 0 20 0 1 0 140194725 2081820672 8879 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 508257 8879 1632 343 0 505321 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2033028 KiB
Current children cumulated memory: 35516 KiB
[startup+3.10506 s]
/proc/loadavg: 1.54 2.68 3.14 4/261 119531
/proc/meminfo: memFree=128792340/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2038148 memory=39148 CPUtime=3.07 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 12850 0 0 0 305 2 0 0 20 0 1 0 140194725 2087063552 9787 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509537 9787 1632 343 0 506601 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2038148 KiB
Current children cumulated memory: 39148 KiB
[startup+6.30012 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128657564/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2036100 memory=37608 CPUtime=6.26 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 21687 0 0 0 621 5 0 0 20 0 1 0 140194725 2084966400 9402 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509025 9402 1632 343 0 506089 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 37608 KiB
[startup+8.18172 s]
# the end of solver process 119518 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=8.07382 s, system=0.069834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40015 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128657564/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2040196 memory=38356 CPUtime=6.36 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 22134 0 0 0 631 5 0 0 20 0 1 0 140194725 2089160704 9589 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 510049 9589 1632 343 0 507113 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2040196 KiB
Current children cumulated memory: 38356 KiB
[startup+7.20011 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128639732/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2036100 memory=36456 CPUtime=7.15 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 23857 0 0 0 710 5 0 0 20 0 1 0 140194725 2084966400 9114 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509025 9114 1632 343 0 506089 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 36456 KiB
[startup+7.60015 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128639732/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2036100 memory=37940 CPUtime=7.55 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 24777 0 0 0 750 5 0 0 20 0 1 0 140194725 2084966400 9485 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509025 9485 1632 343 0 506089 0
Current children cumulated CPU time: 7.55 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 37940 KiB
[startup+8.0001 s]*
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128639512/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2036100 memory=36200 CPUtime=7.96 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 25454 0 0 0 790 6 0 0 20 0 1 0 140194725 2084966400 9050 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509025 9050 1632 343 0 506089 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 36200 KiB
[startup+8.10513 s]
/proc/loadavg: 1.74 2.70 3.14 5/264 119568
/proc/meminfo: memFree=128639512/131250000 swapFree=33010416/33010684
[pid=119518] ppid=119514 vsize=2036100 memory=36712 CPUtime=8.06 cores=5,7
/proc/119518/stat : 119518 (pb_picat) R 119514 119518 119453 0 -1 4194304 25585 0 0 0 800 6 0 0 20 0 1 0 140194725 2084966400 9178 18446744073709551615 94338963869696 94338965271277 140730987299120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94338965542704 94338967416944 94338995101696 140730987305372 140730987305448 140730987305448 140730987311052 0
/proc/119518/statm: 509025 9178 1632 343 0 506089 0
Current children cumulated CPU time: 8.06 s
Current children cumulated vsize: 2036100 KiB
Current children cumulated memory: 36712 KiB
Child status: 0
Real time (s): 8.18175
CPU time (s): 8.14366
CPU user time (s): 8.07382
CPU system time (s): 0.069834
CPU usage (%): 99.5344
Max. virtual memory (cumulated for all children) (KiB): 2042244
Max. memory (cumulated for all children) (KiB): 43168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.07382
system time used= 0.069834
maximum resident set size= 43296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25707
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= 76
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 119518
# total CPU time (s): 8.14366
# total CPU user time (s): 8.07382
# total CPU system time (s): 0.069834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030618 second user time and 0.059541 second system time
The end
Begin job on nodeC018 at 2025-07-11 16:46:09
IDJOB=4527980
IDBENCH=158377
IDSOLVER=3385
FILE ID=nodeC018/4527980-1752245169
RUNJOBID= nodeC018-1752245169-119466
SLURM_JOB_ID= 9682568
Free space on /tmp= 432568 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527980-1752245169/watcher-4527980-1752245169 -o /tmp/evaluation-result-4527980-1752245169/solver-4527980-1752245169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752245169-119466 --watchdog 3760 pb_picat HOME/instance-4527980-1752245169.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b
RANDOM SEED=1561136521
nodeC018 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 : 3600.082
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.66
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.958
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.513
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.881
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.66
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.758
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.66
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.717
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.66
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 : 3599.831
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128894252 kB
MemAvailable: 129726064 kB
Buffers: 2128 kB
Cached: 1593396 kB
SwapCached: 32 kB
Active: 547824 kB
Inactive: 1114744 kB
Active(anon): 84800 kB
Inactive(anon): 288 kB
Active(file): 463024 kB
Inactive(file): 1114456 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15500 kB
Writeback: 8 kB
AnonPages: 69888 kB
Mapped: 105620 kB
Shmem: 18044 kB
KReclaimable: 186744 kB
Slab: 279852 kB
SReclaimable: 186744 kB
SUnreclaim: 93108 kB
KernelStack: 4112 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 336444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC018 at 2025-07-11 16:46:17