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