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