Trace number 4434357

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
NaPS 1.03SAT (TO)43492 3600.07 3611.81

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM80638e9ab302f8cbcb0fef344ba23b43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33456
Best CPU time to get the best result obtained on this benchmark0.261171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c Input file name: HOME/instance-4434357-1721106373.opb
0.00/0.06	c single stage optimization mode
0.00/0.06	o 3391140
2.18/2.29	o 43492
3600.04/3611.80	c 
3600.04/3611.80	c *** TERMINATED *** by signal 15
3600.04/3611.80	s SATISFIABLE
3600.04/3611.80	c _____________________________________________________________________________
3600.04/3611.80	c std/band forms        : 2,0
3600.04/3611.80	c 2cl/3cl ITE-codings   : 0,0
3600.04/3611.80	c BDD/srt/adr Max costs : 0,1343793,0
3600.04/3611.80	c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.04/3611.80	c BDD nodes             : 0
3600.04/3611.80	c Es1/CC detections     : 0,0
3600.04/3611.80	c CC sort               : 0
3600.04/3611.80	c SAT/UNSAT calls       : 2,0
3600.04/3611.80	c regenrated variables  : 0
3600.04/3611.80	c eliminated fixed lits : 6
3600.04/3611.80	c goal lit flips        : 170
3600.04/3611.80	c goal stages           : 1
3600.04/3611.80	c goal shrink           : 0
3600.04/3611.80	c goal coeff separations: 356
3600.04/3611.80	c restarts              : 8
3600.04/3611.80	c conflicts             : 56             (0 /sec)
3600.04/3611.80	c decisions             : 39511          (11 /sec)
3600.04/3611.80	c propagations          : 3294167        (916 /sec)
3600.04/3611.80	c inspects              : 0              (0 /sec)
3600.04/3611.80	c CPU time (solving tm) : 3598 s        (3595 s, SAT 0.4883 s, UNSAT 0 s)
3600.04/3611.80	c Time for Opt-base     : 0.4362 s
3600.04/3611.80	c Steps for Opt-base    : 2287180
3600.04/3611.80	c Time for BDD coding   : 0 s
3600.04/3611.80	c Time for srt coding   : 0.5689 s
3600.04/3611.80	c _____________________________________________________________________________
3600.04/3611.80	v -x204 -x206 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x234 -x236 -x238 -x240 -x242 x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x521 -x523 -x525 -x526 -x527 -x529 -x531 -x533 -x535 -x536 -x538 -x540 -x542 -x544 -x546 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x741 -x743 -x745 -x747 -x749 -x750 -x752 -x754 -x756 -x758 -x760 -x761 -x763 -x765 -x767 -x769 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1924 -x1926 -x1928 -x1930 -x1932 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2193 -x2195 -x2197 -x2199 x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2230 -x2232 -x2234 -x2236 -x2238 x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2278 -x2280 -x2282 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2438 -x2440 -x2442 -x2444 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2466 -x2468 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2532 -x2534 -x2536 -x2538 -x2539 -x2541 -x2542 -x2543 -x2545 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2563 -x2565 -x2567 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2636 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2682 -x2684 -x2685 -x2687 -x2689 -x2691 -x2693 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2706 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2970 -x2972 -x2974 -x2976 -x2978 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3069 -x3071 -x3073 x3075 -x3077 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3278 -x3280 -x3282 -x3284 -x3286 x3288 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3310 -x3312 -x3314 -x3315 -x3317 -x3319 -x3321 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3402 -x3404 -x3406 -x3408 -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3419 -x3421 -x3423 -x3425 -x3427 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 x3508 -x3510 -x3512 -x3514 -x3515 -x3517 -x3519 -x3521 -x3523 -x3524 -x3526 -x3528 -x3530 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3548 -x3550 -x3552 -x3554 -x3556 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3760 -x3762 -x3764 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3888 -x3889 -x3891 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3926 -x3927 -x3929 -x3930 -x3932 -x3933 -x3935 -x3937 -x3939 -x3940 -x3942 -x3944 -x3946 -x3948 -x3949 -x3950 -x3952 -x3954 -x3956 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3968 -x3970 -x3972 -x3974 -x3975 -x3976 -x3978 x3980 -x3982 -x3983 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3997 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 x4015 -x4017 -x4019 -x4021 -x4022 -x4024 -x4026 -x4028 -x4030 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4066 -x4068 -x4069 -x4071 -x4073
3600.04/3611.80	v -x4075 -x4077 -x4079 -x4081 -x4083 -x4084 -x4086 -x4088 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4181 -x4182 -x4184 -x4185 -x4187 -x4188 -x4190 -x4191 -x4193 -x4195 -x4196 -x4198 -x4199 -x4200 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 x4218 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4253 -x4255 -x4256 -x4258 -x4260 -x4261 -x4263 -x4265 -x4266 -x4267 -x4268 -x4270 -x4272 -x4274 -x4275 -x4277 -x4279 -x4281 -x4283 -x4284 x4285 -x4287 -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4302 -x4304 -x4306 -x4308 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 x4317 -x4319 -x4321 -x4322 -x4323 -x4324 x4325 -x4327 -x4328 -x4329 -x4331 -x4332 -x4334 x4335 x4336 -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4345 -x4346 -x4348 -x4350 -x4351 -x4352 -x4353 -x4355 x4356 x4357 x4358 -x4359 x4360 -x203 -x1 -x205 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x235 -x237 -x239 -x241 x243 -x245 -x2 -x247 -x249 -x251 -x3 -x253 -x255 -x257 -x259 -x261 -x263 -x4 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x5 -x288 -x6 -x292 -x294 -x296 -x7 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x8 -x312 -x314 -x316 -x318 -x320 -x323 -x9 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x10 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x11 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x448 -x450 -x452 -x12 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x13 -x476 -x478 -x14 -x480 -x482 -x484 -x15 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x16 -x507 -x509 -x511 -x17 -x513 -x515 -x517 -x18 -x519 -x522 -x524 -x19 -x20 -x528 -x21 -x530 -x532 -x534 -x537 -x22 -x539 -x541 -x543 -x23 -x545 -x548 -x24 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x25 -x580 -x582 -x584 -x26 -x586 -x589 -x27 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x28 -x613 -x615 -x617 -x29 -x619 -x621 -x623 -x30 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x31 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x32 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x33 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x34 -x729 -x731 -x733 -x735 -x737 -x739 -x35 -x742 -x744 -x746 -x748 -x751 -x753 -x755 -x757 -x759 -x36 -x762 -x764 -x766 -x37 -x768 -x771 -x38 -x773 -x775 -x777 -x779 -x781 -x783 -x39 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x40 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x41 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x42 -x875 -x877 -x880 -x882 -x884 -x886 -x43 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x44 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x45 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x46 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x47 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x48 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x49 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x50 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x51 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x52 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x53 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x54 -x1846 -x1848 -x1850 -x1852 -x1854 -x1857 -x1859 -x1861 -x1863 -x1865 -x55 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 x56 -x1889 -x1891 -x1893 -x1895 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x57 -x1922 -x1925 -x1927 -x1929 -x58 -x1931 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x59 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x60 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2010 -x2012 -x2014 -x61 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x62 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x63 -x2132 -x2134 -x2136 -x2138 -x2140 -x2143 -x2145 -x2147 -x2149 -x2151 -x64 -x2153 -x2155 -x2157 x65 x2159 -x2161 -x2163 -x66 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x67 -x2187 -x2189 -x2191 -x2194 -x2196 -x2198 x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 -x2235 -x2237 x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x68 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x69 -x2279 -x2281 -x70 -x2284 -x2286 -x2288 -x71 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x72 -x2304 -x2306 -x2308 -x2311 -x2313 -x2315 -x73 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x74 -x2403 -x2405 -x2407 -x2409 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x75 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2439 -x2441 -x2443 -x76 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x77 -x2467 -x78 -x2470 -x2472 -x2474 -x79 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2491 -x2493 -x2495 -x80 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x81 -x2520 -x2522 -x82 -x2524 -x2526 -x2528 -x83 -x2530 -x2533 -x84 -x2535 -x2537 -x2540 -x85 -x86 -x2544 -x87 -x2547 -x2549 -x2551 -x2553 -x88 -x2555 -x2557 -x2559 -x89 -x2561 -x2564 -x90 -x2566 -x2569 -x91 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x92 -x2601 -x2603 -x2605 x93 -x2607 -x2610 -x94 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x95 -x2634 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x96 -x2654 -x2656 x2658 -x2660 -x2662 -x2664 -x97 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x98 -x2680 -x2683 -x2686 -x2688 -x2690 -x2692 -x2695 -x2697 -x99 -x2700 -x2702 -x100 -x2704 -x101 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x102 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x103 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x104 -x2960 -x2962 -x2964 -x2966 -x2968 -x2971 -x2973 -x2975 -x2977 -x105 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x106 -x3002 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x107 -x3035 -x3037 -x3040 -x3042 -x108 -x3045 -x3047 -x3049 -x3051 -x109 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3070 -x3072 x3074 -x3076 -x3079 -x3081 -x3083 -x3085 -x110 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x111 -x3109 -x3111 -x3113 -x112 -x3115 -x3117 -x3119 -x113 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x114 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x115 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x116 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3254 -x117 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3279 -x3281 -x3283 -x3285 x3287 -x3289 -x118 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x119 -x3311 -x3313 -x120 -x3316 -x3318 -x3320 -x121 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3338 -x122 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x123 -x124 -x3365 -x3367 -x3369 -x125 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x126 -x3400 -x3403 -x127 -x3405 -x3407 -x128 -x3410 -x3412 -x3414 -x3416 -x129 -x130 -x3420 -x131 -x3422 -x3424 -x3426 -x3429 -x132 -x3431 -x3433 -x3435 -x133 -x3437 -x3440 -x134 -x3443 -x3445 -x135 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x136 -x3477 -x3479 -x137 -x3482 -x3484 -x3486 -x138 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3509 -x3511 -x3513 -x139 -x3516 -x3518 -x140 -x3520 -x3522 -x3525 -x3527 -x3529 -x3532 -x3534 -x3536 -x3538 -x141 -x3540 -x3542 -x3544 -x3546 -x3549 -x3551 -x3553 -x3555 -x3558 -x3560 -x3562 -x3564 -x3566 -x142 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3593 -x3595 -x143 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661
3600.04/3611.80	v -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x144 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x145 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x146 -x3758 -x3761 -x3763 -x147 -x3766 -x3768 -x3770 -x3772 -x3774 -x148 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x149 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x150 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x151 -x3844 -x3846 -x3848 -x152 -x3850 -x3852 -x3854 -x153 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x154 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x155 -x3890 -x156 -x3893 -x3895 -x3897 -x157 -x3899 -x3901 -x3903 -x3905 -x3907 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x158 -x3928 -x159 -x3931 -x3934 -x160 -x3936 -x3938 -x161 -x3941 -x3943 -x3945 -x3947 -x162 -x163 -x3951 -x164 -x3953 -x3955 -x3958 -x3960 -x165 -x3962 -x3964 -x3966 -x166 -x3969 -x3971 -x167 -x3973 -x3977 x3979 -x3981 -x168 -x3985 -x169 -x3987 -x3989 -x3991 -x3993 -x3995 -x3999 -x4001 -x4003 -x4005 x170 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4023 -x4025 -x4027 -x4029 -x4032 -x171 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4056 -x4058 -x4060 -x172 -x4062 -x4064 -x4067 -x173 -x4070 -x4072 -x4074 -x4076 -x4078 -x174 -x4080 -x4082 -x4085 -x4087 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4131 -x4133 -x4135 -x4137 -x4139 -x175 -x4142 -x4144 -x176 -x4146 -x4148 -x4150 -x177 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x178 -x179 -x4183 -x4186 -x180 -x4189 -x181 -x4192 -x4194 -x4197 -x182 -x183 -x184 -x4202 -x4204 -x4206 -x4208 -x4210 -x185 -x4212 -x4214 -x4216 x186 -x4220 -x187 -x4222 -x4224 -x4226 -x4228 -x4230 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4254 -x4257 -x4259 -x188 -x4262 -x4264 -x189 -x4269 -x4271 -x4273 -x190 -x4276 -x4278 -x4280 -x191 -x4282 -x4286 -x4288 -x192 -x4291 -x4293 -x193 -x194 x4301 -x4303 -x4305 -x4307 -x195 -x4309 -x4312 x196 -x4318 -x197 -x4320 -x4326 -x198 -x4330 -x4333 x199 -x200 -x4341 -x4344 -x201 -x4347 -x4349 -x4354 x202

Verifier Data 

OK	43492

Watcher Data 

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: 63931 MiB (58724 MiB free)
  memory of node 1: 64510 MiB (53106 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434357-1721106373/watcher-4434357-1721106373 -o /tmp/evaluation-result-4434357-1721106373/solver-4434357-1721106373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856268 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434357-1721106373.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=856971, runsolver pid=856968
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=114448448/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=8380 memory=6624 CPUtime=0.09 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 1230 0 0 0 9 0 0 0 20 0 1 0 162804750 8581120 1656 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 2095 1656 612 659 0 1299 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18312 KiB
Current children cumulated memory: 9332 KiB

[startup+0.206115 s]*
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=114481424/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=8380 memory=6888 CPUtime=0.19 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 1240 0 0 0 19 0 0 0 20 0 1 0 162804750 8581120 1722 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 2095 1722 612 659 0 1299 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18312 KiB
Current children cumulated memory: 9596 KiB

[startup+0.305678 s]*
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=114450752/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=8380 memory=6888 CPUtime=0.29 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 1242 0 0 0 29 0 0 0 20 0 1 0 162804750 8581120 1722 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 2095 1722 612 659 0 1299 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18312 KiB
Current children cumulated memory: 9596 KiB

[startup+0.700262 s]
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=114387432/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=65012 memory=63036 CPUtime=0.68 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 9185 0 0 0 66 2 0 0 20 0 1 0 162804750 66572288 15759 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 16253 15759 612 659 0 15457 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74944 KiB
Current children cumulated memory: 65744 KiB

[startup+1.50026 s]
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=114081772/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=447108 memory=438284 CPUtime=1.47 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 57819 0 0 0 134 13 0 0 20 0 1 0 162804750 457838592 109571 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 111777 109571 612 659 0 110981 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 457040 KiB
Current children cumulated memory: 440992 KiB

[startup+3.1056 s]
/proc/loadavg: 4.11 4.06 4.06 5/259 856976
/proc/meminfo: memFree=113408260/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=813768 memory=774408 CPUtime=3.07 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 82350 0 0 0 284 23 0 0 20 0 1 0 162804750 833298432 193602 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 203442 193602 644 659 0 202646 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 823700 KiB
Current children cumulated memory: 777116 KiB

[startup+6.30026 s]
/proc/loadavg: 4.10 4.06 4.06 5/259 856976
/proc/meminfo: memFree=113377364/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=838400 memory=795080 CPUtime=6.26 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 83398 0 0 0 602 24 0 0 20 0 1 0 162804750 858521600 198770 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 209600 198770 644 659 0 208804 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 848332 KiB
Current children cumulated memory: 797788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.06 4.06 5/259 856978
/proc/meminfo: memFree=113242444/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=919508 memory=876264 CPUtime=12.65 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 89306 0 0 0 1227 38 0 0 20 0 1 0 162804750 941576192 219066 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 229877 219066 644 659 0 229081 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 929440 KiB
Current children cumulated memory: 878972 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.07 4.07 5/259 856979
/proc/meminfo: memFree=113078356/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1064748 memory=1012032 CPUtime=25.41 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 94146 0 0 0 2491 50 0 0 20 0 1 0 162804750 1090301952 253008 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 266187 253008 660 659 0 265391 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1074680 KiB
Current children cumulated memory: 1014740 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.08 4.07 5/259 856984
/proc/meminfo: memFree=113249256/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=913348 memory=870736 CPUtime=50.94 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 102403 0 0 0 5026 68 0 0 20 0 1 0 162804750 935268352 217684 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 228337 217684 660 659 0 227541 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 923280 KiB
Current children cumulated memory: 873444 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.08 4.07 5/259 856992
/proc/meminfo: memFree=113188240/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=913960 memory=871692 CPUtime=101.97 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 105878 0 0 0 10119 78 0 0 20 0 1 0 162804750 935895040 217923 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 228490 217923 660 659 0 227694 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 923892 KiB
Current children cumulated memory: 874400 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.09 4.08 5/259 857003
/proc/meminfo: memFree=111781648/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=914376 memory=872108 CPUtime=161.78 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 107834 0 0 0 16094 84 0 0 20 0 1 0 162804750 936321024 218027 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 228594 218027 660 659 0 227798 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 924308 KiB
Current children cumulated memory: 874816 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/259 857062
/proc/meminfo: memFree=110398656/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=914924 memory=872656 CPUtime=221.59 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 110734 0 0 0 22066 93 0 0 20 0 1 0 162804750 936882176 218164 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 228731 218164 660 659 0 227935 0
Current children cumulated CPU time: 221.59 s

################
# More data... #
################

/proc/856976/statm: 282409 246982 660 659 0 281613 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 1139568 KiB
Current children cumulated memory: 990636 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/260 858745
/proc/meminfo: memFree=112650364/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1236592 memory=1094780 CPUtime=3092.21 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 153925 0 0 0 308992 229 0 0 20 0 1 0 162804750 1266270208 273695 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 309148 273695 660 659 0 308352 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 1246524 KiB
Current children cumulated memory: 1097488 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 858755
/proc/meminfo: memFree=112648960/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1129140 memory=987432 CPUtime=3152.01 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 154107 0 0 0 314972 229 0 0 20 0 1 0 162804750 1156239360 246858 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282285 246858 660 659 0 281489 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 1139072 KiB
Current children cumulated memory: 990140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/260 858765
/proc/meminfo: memFree=112608180/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1129176 memory=987468 CPUtime=3211.81 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 155068 0 0 0 320948 233 0 0 20 0 1 0 162804750 1156276224 246867 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282294 246867 660 659 0 281498 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 1139108 KiB
Current children cumulated memory: 990176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/259 858789
/proc/meminfo: memFree=112647000/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1129176 memory=987468 CPUtime=3271.62 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 155211 0 0 0 326928 234 0 0 20 0 1 0 162804750 1156276224 246867 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282294 246867 660 659 0 281498 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 1139108 KiB
Current children cumulated memory: 990176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 858799
/proc/meminfo: memFree=112627456/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1128776 memory=987068 CPUtime=3331.42 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 155925 0 0 0 332906 236 0 0 20 0 1 0 162804750 1155866624 246767 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282194 246767 660 659 0 281398 0
Current children cumulated CPU time: 3331.42 s
Current children cumulated vsize: 1138708 KiB
Current children cumulated memory: 989776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 858810
/proc/meminfo: memFree=112625656/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1130636 memory=988928 CPUtime=3391.22 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 156667 0 0 0 338884 238 0 0 20 0 1 0 162804750 1157771264 247232 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282659 247232 660 659 0 281863 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 1140568 KiB
Current children cumulated memory: 991636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 858871
/proc/meminfo: memFree=112762024/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1130968 memory=989260 CPUtime=3451.02 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 156919 0 0 0 344862 240 0 0 20 0 1 0 162804750 1158111232 247315 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282742 247315 660 659 0 281946 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 1140900 KiB
Current children cumulated memory: 991968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/259 858881
/proc/meminfo: memFree=112796860/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1130660 memory=988952 CPUtime=3510.83 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 157660 0 0 0 350840 243 0 0 20 0 1 0 162804750 1157795840 247238 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282665 247238 660 659 0 281869 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 1140592 KiB
Current children cumulated memory: 991660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 858941
/proc/meminfo: memFree=121491068/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1129552 memory=987844 CPUtime=3570.63 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 158103 0 0 0 356818 245 0 0 20 0 1 0 162804750 1156661248 246961 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282388 246961 660 659 0 281592 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 1139484 KiB
Current children cumulated memory: 990552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.13 4.13 4.09 5/258 858946
/proc/meminfo: memFree=120668240/131524600 swapFree=131071996/131071996
[pid=856971] ppid=856968 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/856971/stat : 856971 (naps-1.03.sh) S 856968 856971 856257 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 162804750 10170368 677 134679101440 94198166880256 94198167959576 140735737452592 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94198170058032 94198170105220 94198198595584 140735737455588 140735737455713 140735737455713 140735737462728 0
/proc/856971/statm: 2483 677 599 264 0 134 0
[pid=856976] ppid=856971 vsize=1129552 memory=987856 CPUtime=3600.04 cores=4,6
/proc/856976/stat : 856976 (naps-1.03) R 856971 856971 856257 0 -1 4194304 158165 0 0 0 359759 245 0 0 20 0 1 0 162804750 1156661248 246964 134679101440 4194304 6891213 140724139564192 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 14204928 140724139566069 140724139566181 140724139566181 140724139573195 0
/proc/856976/statm: 282388 246964 660 659 0 281592 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1139484 KiB
Current children cumulated memory: 990564 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.8 s]
# the end of solver process 856971 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002309 s, system=0.000468 s

[startup+3611.81 s]
# the end of solver process 856976 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.6 s, system=2.47187 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3611.81
CPU time (s): 3600.07
CPU user time (s): 3597.6
CPU system time (s): 2.47187
CPU usage (%): 99.6748
Max. virtual memory (cumulated for all children) (KiB): 1249376
Max. memory (cumulated for all children) (KiB): 1181844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.6
system time used= 2.47187
maximum resident set size= 1179136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158627
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= 32
involuntary context switches= 1225


# summary of solver processes directly reported to runsolver:
#   pid: 856971,856976
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.6
#   total CPU system time (s): 2.47187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13464 second user time and 17.8182 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-16 07:06:26
IDJOB=4434357
IDBENCH=148147
IDSOLVER=3063
FILE ID=nodeC029/4434357-1721106373
RUNJOBID= nodeC029-1721106203-856268
SLURM_JOB_ID= 7505635
Free space on /tmp= 890048 MiB

SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434357-1721106373/watcher-4434357-1721106373 -o /tmp/evaluation-result-4434357-1721106373/solver-4434357-1721106373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856268 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4434357-1721106373.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=304038468

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3667.009
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3676.776
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3618.366
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3600.328
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3653.135
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3676.876
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3663.937
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3600.057
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114452624 kB
MemAvailable:   120393676 kB
Buffers:          393284 kB
Cached:          6311984 kB
SwapCached:            0 kB
Active:           708160 kB
Inactive:       15592320 kB
Active(anon):       1520 kB
Inactive(anon):  9631772 kB
Active(file):     706640 kB
Inactive(file):  5960548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12940 kB
Writeback:             0 kB
AnonPages:       9593876 kB
Mapped:           112204 kB
Shmem:             37720 kB
KReclaimable:     227024 kB
Slab:             348132 kB
SReclaimable:     227024 kB
SUnreclaim:       121108 kB
KernelStack:        4088 kB
PageTables:        28196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10545176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61120 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5863424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC029 at 2024-07-16 08:06:38