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