Trace number 4458185

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-GM 1.03SAT (TO)0 3600.04 3610.7

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
MD5SUM32ee0ddbdff3b16b51999f7bca4d7c0a
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 benchmark0
Best CPU time to get the best result obtained on this benchmark0.46048
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2992
Total number of constraints4444
Number of constraints which are clauses2904
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1540
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 88
Biggest coefficient in the objective function 8796093022208
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 35184372088830
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 8796093022208
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 35184372088830
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4458185-1721880073.opb
0.00/0.10	c single stage optimization mode
0.10/0.12	o 0
3600.02/3610.70	c 
3600.02/3610.70	c *** TERMINATED *** by signal 15
3600.02/3610.70	s SATISFIABLE
3600.02/3610.70	c _____________________________________________________________________________
3600.02/3610.70	c std/band forms        : 2,924
3600.02/3610.70	c 2cl/3cl ITE-codings   : 127,4488
3600.02/3610.70	c BDD/srt/adr Max costs : 9408,0,0
3600.02/3610.70	c BDDraw/bin/mul/srt/adr: 926,0,0,0,0
3600.02/3610.70	c BDD nodes             : 11256
3600.02/3610.70	c Es1/CC detections     : 0,0
3600.02/3610.70	c CC sort               : 0
3600.02/3610.70	c SAT/UNSAT calls       : 1,1
3600.02/3610.70	c regenrated variables  : 0
3600.02/3610.70	c eliminated fixed lits : 0
3600.02/3610.70	c goal lit flips        : 0
3600.02/3610.70	c goal stages           : 1
3600.02/3610.70	c goal shrink           : 0
3600.02/3610.70	c goal coeff separations: 10
3600.02/3610.70	c restarts              : 3
3600.02/3610.70	c conflicts             : 110            (0 /sec)
3600.02/3610.70	c decisions             : 680            (0 /sec)
3600.02/3610.70	c propagations          : 79074          (22 /sec)
3600.02/3610.70	c inspects              : 0              (0 /sec)
3600.02/3610.70	c CPU time (solving tm) : 3599 s        (3599 s, SAT 0.02035 s, UNSAT 0.002001 s)
3600.02/3610.70	c Time for Opt-base     : 0 s
3600.02/3610.70	c Steps for Opt-base    : 0
3600.02/3610.70	c Time for BDD coding   : 0.04456 s
3600.02/3610.70	c Time for srt coding   : 0 s
3600.02/3610.70	c _____________________________________________________________________________
3600.02/3610.70	v -x2905 -x2949 -x2906 -x2950 -x2907 -x2951 -x2908 -x2952 -x2909 -x2953 -x2910 -x2954 -x2911 -x2955 -x2912 -x2956 -x2913 -x2957 -x2914 -x2958 -x2915 -x2959 x2916 x2960 -x2917 -x2961 x2918 x2962 -x2919 -x2963 x2920 x2964 x2921 x2965 -x2922 -x2966 x2923 x2967 x2924 x2968 -x2925 -x2969 x2926 x2970 -x2927 -x2971 -x2928 -x2972 x2929 x2973 x2930 x2974 x2931 x2975 -x2932 -x2976 -x2933 -x2977 -x2934 -x2978 x2935 x2979 -x2936 -x2980 -x2937 -x2981 -x2938 -x2982 -x2939 -x2983 -x2940 -x2984 -x2941 -x2985 -x2942 -x2986 -x2943 -x2987 -x2944 -x2988 x2945 x2989 -x2946 -x2990 x2947 x2991 -x2948 -x2992 -x45 -x1 x23 -x1937 -x529 -x2421 -x67 -x2 -x46 -x24 -x1959 -x1013 -x1938 -x551 -x530 -x2443 -x1475 -x2422 -x89 -x3 -x68 -x47 x25 -x1981 -x1034 -x1960 -x1014 -x1939 -x573 -x552 -x531 -x2465 -x1496 -x2444 -x1476 -x2423 -x111 -x4 -x90 -x69 -x48 -x26 -x2003 -x1055 -x1982 -x1035 -x1961 -x1015 -x1940 -x595 -x574 -x553 -x532 -x2487 -x1517 -x2466 -x1497 -x2445 -x1477 -x2424 -x133 -x5 -x112 -x91 -x70 -x49 x27 -x2025 -x1076 -x2004 -x1056 -x1983 -x1036 -x1962 -x1016 -x1941 -x617 -x596 -x575 -x554 -x533 -x2509 -x1538 -x2488 -x1518 -x2467 -x1498 -x2446 -x1478 -x2425 -x155 -x6 -x134 -x113 -x92 -x71 -x50 x28 -x2047 -x1097 -x2026 -x1077 -x2005 -x1057 -x1984 -x1037 -x1963 -x1017 -x1942 -x639 -x618 -x597 -x576 -x555 -x534 -x2531 -x1559 -x2510 -x1539 -x2489 -x1519 -x2468 -x1499 -x2447 -x1479 -x2426 -x177 -x7 -x156 -x135 -x114 -x93 -x72 -x51 -x29 -x2069 -x1118 -x2048 -x1098 -x2027 -x1078 -x2006 -x1058 -x1985 -x1038 -x1964 -x1018 -x1943 -x661 -x640 -x619 -x598 -x577 -x556 -x535 -x2553 -x1580 -x2532 -x1560 -x2511 -x1540 -x2490 -x1520 -x2469 -x1500 -x2448 -x1480 -x2427 -x199 -x8 -x178 -x157 -x136 -x115 -x94 -x73 -x52 x30 -x2091 -x1139 -x2070 -x1119 -x2049 -x1099 -x2028 -x1079 -x2007 -x1059 -x1986 -x1039 -x1965 -x1019 -x1944 -x683 -x662 -x641 -x620 -x599 -x578 -x557 -x536 -x2575 -x1601 -x2554 -x1581 -x2533 -x1561 -x2512 -x1541 -x2491 -x1521 -x2470 -x1501 -x2449 -x1481 -x2428 -x221 -x9 -x200 -x179 -x158 -x137 -x116 -x95 -x74 -x53 x31 -x2113 -x1160 -x2092 -x1140 -x2071 -x1120 -x2050 -x1100 -x2029 -x1080 -x2008 -x1060 -x1987 -x1040 -x1966 -x1020 -x1945 -x705 -x684 -x663 -x642 -x621 -x600 -x579 -x558 -x537 -x2597 -x1622 -x2576 -x1602 -x2555 -x1582 -x2534 -x1562 -x2513 -x1542 -x2492 -x1522 -x2471 -x1502 -x2450 -x1482 -x2429 -x243 -x10 -x222 -x201 -x180 -x159 -x138 -x117 -x96 -x75 -x54 x32 -x2135 -x1181 -x2114 -x1161 -x2093 -x1141 -x2072 -x1121 -x2051 -x1101 -x2030 -x1081 -x2009 -x1061 -x1988 -x1041 -x1967 -x1021 -x1946 -x727 -x706 -x685 -x664 -x643 -x622 -x601 -x580 -x559 -x538 -x2619 -x1643 -x2598 -x1623 -x2577 -x1603 -x2556 -x1583 -x2535 -x1563 -x2514 -x1543 -x2493 -x1523 -x2472 -x1503 -x2451 -x1483 -x2430 -x265 -x11 -x244 -x223 -x202 -x181 -x160 -x139 -x118 -x97 -x76 -x55 x33 -x2157 -x1202 -x2136 -x1182 -x2115 -x1162 -x2094 -x1142 -x2073 -x1122 -x2052 -x1102 -x2031 -x1082 -x2010 -x1062 -x1989 -x1042 -x1968 -x1022 -x1947 -x749 -x728 -x707 -x686 -x665 -x644 -x623 -x602 -x581 -x560 -x539 -x2641 -x1664 -x2620 -x1644 -x2599 -x1624 -x2578 -x1604 -x2557 -x1584 -x2536 -x1564 -x2515 -x1544 -x2494 -x1524 -x2473 -x1504 -x2452 -x1484 -x2431 x287 x12 -x266 -x245 -x224 -x203 -x182 -x161 -x140 -x119 -x98 -x77 -x56 -x34 x2179 -x1223 x2158 -x1203 x2137 -x1183 x2116 -x1163 x2095 -x1143 x2074 -x1123 x2053 -x1103 x2032 -x1083 x2011 -x1063 x1990 -x1043 x1969 -x1023 x1948 -x771 -x750 -x729 -x708 -x687 -x666 -x645 -x624 -x603 -x582 -x561 x540 -x2663 -x1685 -x2642 -x1665 -x2621 -x1645 -x2600 -x1625 -x2579 -x1605 -x2558 -x1585 -x2537 -x1565 -x2516 -x1545 -x2495 -x1525 -x2474 -x1505 -x2453 -x1485 x2432 -x309 -x13 -x288 -x267 -x246 -x225 -x204 -x183 -x162 -x141 -x120 -x99 -x78 -x57 -x35 -x2201 -x1244 -x2180 -x1224 -x2159 -x1204 -x2138 -x1184 -x2117 -x1164 -x2096 -x1144 -x2075 -x1124 -x2054 -x1104 -x2033 -x1084 -x2012 -x1064 -x1991 -x1044 -x1970 -x1024 -x1949 -x793 -x772 -x751 -x730 -x709 -x688 -x667 -x646 -x625 -x604 -x583 -x562 -x541 -x2685 -x1706 -x2664 -x1686 -x2643 -x1666 -x2622 -x1646 -x2601 -x1626 -x2580 -x1606 -x2559 -x1586 -x2538 -x1566 -x2517 -x1546 -x2496 -x1526 -x2475 -x1506 -x2454 -x1486 -x2433 -x331 -x14 -x310 x289 -x268 -x247 -x226 -x205 -x184 -x163 -x142 -x121 -x100 -x79 -x58 x36 -x2223 -x1265 -x2202 -x1245 x2181 -x1225 x2160 -x1205 x2139 -x1185 x2118 -x1165 x2097 -x1145 x2076 -x1125 x2055 -x1105 x2034 -x1085 x2013 -x1065 x1992 -x1045 x1971 -x1025 x1950 -x815 -x794 -x773 -x752 -x731 -x710 -x689 -x668 -x647 -x626 -x605 x584 -x563 -x542 -x2707 -x1727 -x2686 -x1707 -x2665 -x1687 -x2644 -x1667 -x2623 -x1647 -x2602 -x1627 -x2581 -x1607 -x2560 -x1587 -x2539 -x1567 -x2518 -x1547 -x2497 -x1527 x2476 -x1507 x2455 -x1487 x2434 -x353 -x15 -x332 -x311 -x290 -x269 -x248 -x227 -x206 -x185 -x164 -x143 -x122 -x101 -x80 -x59 -x37 -x2245 -x1286 -x2224 -x1266 -x2203 -x1246 -x2182 -x1226 -x2161 -x1206 -x2140 -x1186 -x2119 -x1166 -x2098 -x1146 -x2077 -x1126 -x2056 -x1106 -x2035 -x1086 -x2014 -x1066 -x1993 -x1046 -x1972 -x1026 -x1951 -x837 -x816 -x795 -x774 -x753 -x732 -x711 -x690 -x669 -x648 -x627 -x606 -x585 -x564 -x543 -x2729 -x1748 -x2708 -x1728 -x2687 -x1708 -x2666 -x1688 -x2645 -x1668 -x2624 -x1648 -x2603 -x1628 -x2582 -x1608 -x2561 -x1588 -x2540 -x1568 -x2519 -x1548 -x2498 -x1528 -x2477 -x1508 -x2456 -x1488 -x2435 -x375 -x16 -x354 -x333 -x312 x291 -x270 -x249 -x228 -x207 -x186 -x165 -x144 -x123 -x102 -x81 -x60 x38 -x2267 -x1307 -x2246 -x1287 -x2225 -x1267 -x2204 -x1247 x2183 -x1227 x2162 -x1207 x2141 -x1187 x2120 -x1167 x2099 -x1147 x2078 -x1127 x2057 -x1107 x2036 -x1087 x2015 -x1067 x1994 -x1047 x1973 -x1027 x1952 -x859 -x838 -x817 -x796 -x775 -x754 -x733 -x712 -x691 -x670 -x649 x628 -x607 -x586 -x565 -x544 -x2751 -x1769 -x2730 -x1749 -x2709 -x1729 -x2688 -x1709 -x2667 -x1689 -x2646 -x1669 -x2625 -x1649 -x2604 -x1629 -x2583 -x1609 -x2562 -x1589 -x2541 -x1569 x2520 -x1549 x2499 -x1529 x2478 -x1509 x2457 -x1489 x2436 -x397 -x17 -x376 -x355 -x334 -x313 x292 -x271 -x250 -x229 -x208 -x187 -x166 -x145 -x124 -x103 -x82 -x61 -x39 -x2289 -x1328 -x2268 -x1308 -x2247 -x1288 -x2226 -x1268 -x2205 -x1248 x2184 -x1228 x2163 -x1208 x2142 -x1188 x2121 -x1168 x2100 -x1148 x2079 -x1128 x2058 -x1108 x2037 -x1088 x2016 -x1068 x1995 -x1048 x1974 -x1028 x1953 -x881 -x860 -x839 -x818 -x797 -x776 -x755 -x734 -x713 -x692 -x671 x650 -x629 -x608 -x587 -x566 -x545 -x2773 -x1790 -x2752 -x1770 -x2731 -x1750 -x2710 -x1730 -x2689 -x1710 -x2668 -x1690 -x2647 -x1670 -x2626 -x1650 -x2605 -x1630 -x2584 -x1610 -x2563 -x1590 x2542 -x1570 x2521 -x1550 x2500 -x1530 x2479 -x1510 x2458 -x1490 x2437 -x419 -x18 -x398 -x377 -x356 -x335 -x314 -x293 -x272 -x251 -x230 -x209 -x188 -x167 -x146 -x125 -x104 -x83 -x62 x40 -x2311 -x1349 -x2290 -x1329 -x2269 -x1309 -x2248 -x1289 -x2227 -x1269 -x2206 -x1249 -x2185 -x1229 -x2164 -x1209 -x2143 -x1189 -x2122 -x1169 -x2101 -x1149 -x2080 -x1129 -x2059 -x1109 -x2038 -x1089 -x2017 -x1069 -x1996 -x1049 -x1975 -x1029 -x1954 -x903 -x882 -x861 -x840 -x819 -x798 -x777 -x756 -x735 -x714 -x693 -x672 -x651 -x630 -x609 -x588 -x567 -x546 -x2795 -x1811 -x2774 -x1791 -x2753 -x1771 -x2732 -x1751 -x2711 -x1731 -x2690 -x1711 -x2669 -x1691 -x2648 -x1671 -x2627 -x1651 -x2606 -x1631 -x2585 -x1611 -x2564 -x1591 -x2543 -x1571 -x2522 -x1551 -x2501 -x1531 -x2480 -x1511 -x2459 -x1491 -x2438 -x441 -x19 -x420 -x399 -x378 -x357 -x336 -x315 x294 -x273 -x252 -x231 -x210 -x189 -x168 -x147 -x126 -x105 -x84 -x63 -x41 -x2333 -x1370 -x2312 -x1350 -x2291 -x1330 -x2270 -x1310 -x2249 -x1290 -x2228 -x1270 -x2207 -x1250 x2186 -x1230 x2165 -x1210 x2144 -x1190 x2123 -x1170 x2102 -x1150 x2081 -x1130 x2060 -x1110 x2039 -x1090 x2018 -x1070 x1997 -x1050 x1976 -x1030 x1955 -x925 -x904 -x883 -x862 -x841 -x820 -x799 -x778 -x757 -x736 -x715 x694 -x673 -x652 -x631 -x610 -x589 -x568 -x547 -x2817 -x1832 -x2796 -x1812 -x2775 -x1792 -x2754 -x1772 -x2733 -x1752 -x2712 -x1732 -x2691 -x1712 -x2670 -x1692 -x2649 -x1672 -x2628 -x1652 -x2607 -x1632 x2586 -x1612 x2565 -x1592 x2544 -x1572 x2523 -x1552 x2502 -x1532 x2481 -x1512 x2460 -x1492 x2439 -x463 -x20 -x442 -x421 -x400 -x379 -x358 -x337 -x316 x295 -x274 -x253 -x232 -x211 -x190 -x169 -x148 -x127 -x106 -x85 -x64 x42 -x2355 -x1391 -x2334 -x1371 -x2313 -x1351 -x2292 -x1331 -x2271 -x1311 -x2250 -x1291 -x2229 -x1271 -x2208 -x1251 x2187 -x1231 x2166 -x1211 x2145 -x1191 x2124 -x1171 x2103 -x1151 x2082 -x1131 x2061 -x1111 x2040 -x1091 x2019 -x1071 x1998 -x1051 x1977 -x1031 x1956 -x947 -x926 -x905 -x884 -x863 -x842 -x821 -x800 -x779 -x758 -x737 x716 -x695 -x674 -x653 -x632 -x611 -x590 -x569 -x548 -x2839 -x1853 -x2818 -x1833 -x2797 -x1813 -x2776 -x1793 -x2755 -x1773 -x2734 -x1753 -x2713 -x1733 -x2692 -x1713 -x2671 -x1693 -x2650 -x1673 -x2629 -x1653 x2608 -x1633 x2587 -x1613 x2566 -x1593 x2545 -x1573 x2524 -x1553 x2503 -x1533 x2482 -x1513 x2461 -x1493 x2440 x485 x21 -x464 -x443 -x422 -x401 -x380 -x359 -x338 -x317 x296 -x275 -x254 -x233 -x212 -x191 -x170 -x149 -x128 -x107 -x86 -x65 x43 x2377 -x1412 x2356 -x1392 x2335 -x1372 x2314 -x1352 x2293 -x1332 x2272 -x1312 x2251 -x1292 x2230 -x1272 x2209 x1252 -x2188 -x1232 -x2167 -x1212 -x2146 -x1192 -x2125 -x1172 -x2104 -x1152 -x2083 -x1132 -x2062 -x1112 -x2041 -x1092 -x2020 -x1072 -x1999 -x1052 -x1978 -x1032 -x1957 -x969 -x948 -x927 -x906 -x885 -x864 -x843 -x822 -x801 -x780 -x759 x738 -x717 -x696 -x675 -x654 -x633 -x612 -x591 -x570 x549 -x2861 -x1874 -x2840 -x1854 -x2819 -x1834 -x2798 -x1814 -x2777 -x1794 -x2756 -x1774 -x2735 -x1754 -x2714 -x1734 -x2693 -x1714 -x2672 -x1694 -x2651 -x1674 x2630 -x1654 x2609 -x1634 x2588 -x1614 x2567 -x1594 x2546 -x1574 x2525 -x1554 x2504 -x1534 x2483 -x1514 x2462 x1494 -x2441 x507 x22 -x486 -x465 -x444 -x423 -x402 -x381 -x360 -x339 -x318 x297 -x276 -x255 -x234 -x213 -x192 -x171 -x150 -x129 -x108 -x87 -x66 -x44 x2399 -x1433 x2378 -x1413 x2357 -x1393 x2336 -x1373 x2315 -x1353 x2294 -x1333 x2273 -x1313 x2252 -x1293 x2231 x1273 -x2210 -x1253 x2189 -x1233 x2168 -x1213 x2147 -x1193 x2126 -x1173 x2105 -x1153 x2084 -x1133 x2063 -x1113 x2042 -x1093 x2021 -x1073 x2000 -x1053 x1979 -x1033 x1958 -x991 -x970 -x949 -x928 -x907 -x886 -x865 -x844 -x823 -x802 -x781 x760 -x739 -x718 -x697 -x676 -x655 -x634 -x613 -x592 -x571 x550 -x2883 -x1895 -x2862 -x1875 -x2841 -x1855 -x2820 -x1835 -x2799 -x1815 -x2778 -x1795 -x2757 -x1775 -x2736 -x1755 -x2715 -x1735 -x2694 -x1715 -x2673 -x1695 x2652 -x1675 x2631 -x1655 x2610 -x1635 x2589 -x1615 x2568 -x1595 x2547 -x1575 x2526 -x1555 x2505 -x1535 x2484 x1515 -x2463 -x1495 x2442 -x508 x487 -x466 -x445 -x424 -x403 -x382 -x361 -x340 -x319 -x298 -x277 -x256 -x235 -x214 -x193 -x172 -x151 -x130 -x109 -x88 -x1454 -x2400 -x1434 x2379 -x1414 x2358 -x1394 x2337 -x1374 x2316 -x1354 x2295 -x1334 x2274 -x1314 x2253 x1294 -x2232 -x1274 -x2211 -x1254 -x2190 -x1234 -x2169 -x1214 -x2148 -x1194 -x2127 -x1174 -x2106 -x1154 -x2085 -x1134 -x2064 -x1114 -x2043 -x1094 -x2022 -x1074 -x2001 -x1054 -x1980 -x992 -x971 -x950 -x929 -x908 -x887 -x866 -x845 -x824 -x803 -x782 -x761 -x740 -x719 -x698 -x677 -x656 -x635 -x614 x593 -x572 -x1916 -x2884 -x1896 -x2863 -x1876 -x2842 -x1856 -x2821 -x1836 -x2800 -x1816 -x2779 -x1796 -x2758 -x1776 -x2737 -x1756 -x2716 -x1736 -x2695 -x1716 -x2674 -x1696 -x2653 -x1676 -x2632 -x1656 -x2611 -x1636 -x2590 -x1616 -x2569 -x1596 -x2548 -x1576 -x2527 -x1556 -x2506 x1536 -x2485 -x1516 -x2464 x509 -x488 -x467 -x446 -x425 -x404 -x383 -x362 -x341 -x320 -x299 -x278 -x257 -x236 -x215 -x194 -x173 -x152 -x131 -x110 -x1455 x2401 -x1435 x2380 -x1415 x2359 -x1395 x2338 -x1375 x2317 -x1355 x2296 -x1335 x2275 x1315 -x2254 -x1295 -x2233 -x1275 -x2212 -x1255 -x2191 -x1235 -x2170 -x1215 -x2149 -x1195 -x2128 -x1175 -x2107 -x1155 -x2086 -x1135 -x2065 -x1115 -x2044 -x1095 -x2023 -x1075 -x2002 -x993 -x972 -x951 -x930 -x909 -x888 -x867 -x846 -x825 -x804 -x783 -x762 -x741 -x720 -x699 -x678 -x657 -x636 -x615 x594 -x1917 -x2885 -x1897 -x2864 -x1877 -x2843 -x1857 -x2822 -x1837 -x2801 -x1817 -x2780 -x1797 -x2759 -x1777 -x2738 -x1757 -x2717 -x1737 -x2696 -x1717 -x2675 -x1697 -x2654 -x1677 -x2633 -x1657 -x2612 -x1637 -x2591 -x1617 -x2570 -x1597 -x2549 -x1577 -x2528 -x1557 x2507 x1537 -x2486 -x510 x489 -x468 -x447 -x426 -x405 -x384 -x363 -x342 -x321 x300 -x279 -x258 -x237 -x216 -x195 -x174 -x153 -x132 -x1456 -x2402 -x1436 x2381 -x1416 x2360 -x1396 x2339 -x1376 x2318 -x1356 x2297 x1336 -x2276 -x1316 -x2255 -x1296 -x2234 -x1276 -x2213 -x1256 x2192 -x1236 x2171 -x1216 x2150 -x1196 x2129 -x1176 x2108 -x1156 x2087 -x1136 x2066 -x1116 x2045 -x1096 x2024 -x994 -x973 -x952 -x931 -x910 -x889 -x868 -x847 x826 -x805 -x784 -x763 -x742 -x721 -x700 -x679 -x658 x637 -x616 -x1918 -x2886 -x1898 -x2865 -x1878 -x2844 -x1858 -x2823 -x1838 -x2802 -x1818 -x2781 -x1798 -x2760 -x1778 -x2739 -x1758 x2718 -x1738 x2697 -x1718 x2676 -x1698 x2655 -x1678 x2634 -x1658 x2613 -x1638 x2592 -x1618 x2571 -x1598 x2550 x1578 -x2529 -x1558 x2508 x511 x490 -x469 -x448 -x427 -x406 -x385 -x364 -x343 -x322 -x301 -x280 -x259 -x238 -x217 -x196 -x175 -x154 -x1457 x2403 x1437 -x2382 -x1417 -x2361 -x1397 -x2340 -x1377 -x2319 -x1357 x2298 -x1337 x2277 -x1317
3600.02/3610.70	v x2256 -x1297 x2235 -x1277 x2214 -x1257 x2193 -x1237 x2172 -x1217 x2151 -x1197 x2130 -x1177 x2109 -x1157 x2088 -x1137 x2067 -x1117 x2046 -x995 -x974 -x953 -x932 -x911 -x890 -x869 -x848 -x827 -x806 -x785 -x764 -x743 -x722 -x701 -x680 x659 x638 -x1919 -x2887 -x1899 -x2866 -x1879 -x2845 -x1859 -x2824 -x1839 -x2803 -x1819 -x2782 -x1799 -x2761 -x1779 -x2740 -x1759 -x2719 -x1739 -x2698 -x1719 -x2677 -x1699 -x2656 -x1679 -x2635 -x1659 -x2614 -x1639 -x2593 -x1619 -x2572 x1599 -x2551 -x1579 x2530 x512 -x491 -x470 -x449 -x428 -x407 -x386 -x365 -x344 -x323 x302 -x281 -x260 -x239 -x218 -x197 -x176 x1458 -x2404 -x1438 -x2383 -x1418 -x2362 -x1398 -x2341 -x1378 -x2320 -x1358 -x2299 -x1338 -x2278 -x1318 -x2257 -x1298 -x2236 -x1278 -x2215 -x1258 x2194 -x1238 x2173 -x1218 x2152 -x1198 x2131 -x1178 x2110 -x1158 x2089 -x1138 x2068 -x996 -x975 -x954 -x933 -x912 -x891 x870 -x849 -x828 -x807 -x786 -x765 -x744 -x723 -x702 -x681 x660 -x1920 -x2888 -x1900 -x2867 -x1880 -x2846 -x1860 -x2825 -x1840 -x2804 -x1820 -x2783 -x1800 x2762 -x1780 x2741 -x1760 x2720 -x1740 x2699 -x1720 x2678 -x1700 x2657 -x1680 x2636 -x1660 x2615 -x1640 x2594 x1620 -x2573 -x1600 x2552 -x513 x492 -x471 -x450 -x429 -x408 -x387 -x366 -x345 -x324 -x303 -x282 -x261 -x240 -x219 -x198 -x1459 x2405 x1439 -x2384 -x1419 -x2363 -x1399 -x2342 -x1379 -x2321 -x1359 -x2300 -x1339 -x2279 -x1319 -x2258 -x1299 -x2237 -x1279 -x2216 -x1259 -x2195 -x1239 -x2174 -x1219 -x2153 -x1199 -x2132 -x1179 -x2111 -x1159 -x2090 -x997 -x976 -x955 -x934 -x913 -x892 -x871 -x850 -x829 -x808 -x787 -x766 -x745 -x724 x703 -x682 -x1921 -x2889 -x1901 -x2868 -x1881 -x2847 -x1861 -x2826 -x1841 -x2805 -x1821 -x2784 -x1801 -x2763 -x1781 -x2742 -x1761 -x2721 -x1741 -x2700 -x1721 -x2679 -x1701 -x2658 -x1681 -x2637 -x1661 -x2616 x1641 -x2595 -x1621 -x2574 x514 x493 -x472 -x451 -x430 -x409 -x388 -x367 -x346 -x325 x304 -x283 -x262 -x241 -x220 x1460 -x2406 -x1440 x2385 -x1420 x2364 -x1400 x2343 -x1380 x2322 -x1360 x2301 -x1340 x2280 -x1320 x2259 -x1300 x2238 -x1280 x2217 x1260 -x2196 -x1240 -x2175 -x1220 -x2154 -x1200 -x2133 -x1180 -x2112 -x998 -x977 -x956 -x935 x914 -x893 -x872 -x851 -x830 -x809 -x788 -x767 -x746 x725 x704 -x1922 -x2890 -x1902 -x2869 -x1882 -x2848 -x1862 -x2827 -x1842 x2806 -x1822 x2785 -x1802 x2764 -x1782 x2743 -x1762 x2722 -x1742 x2701 -x1722 x2680 -x1702 x2659 -x1682 x2638 x1662 x2617 x1642 -x2596 x515 x494 -x473 -x452 -x431 -x410 -x389 -x368 -x347 -x326 -x305 -x284 -x263 -x242 x1461 -x2407 -x1441 x2386 -x1421 x2365 -x1401 x2344 -x1381 x2323 -x1361 x2302 -x1341 x2281 -x1321 x2260 -x1301 x2239 x1281 -x2218 -x1261 -x2197 -x1241 -x2176 -x1221 -x2155 -x1201 -x2134 -x999 -x978 -x957 -x936 -x915 -x894 -x873 -x852 -x831 -x810 -x789 -x768 x747 x726 -x1923 -x2891 -x1903 -x2870 -x1883 -x2849 -x1863 -x2828 -x1843 -x2807 -x1823 -x2786 -x1803 -x2765 -x1783 -x2744 -x1763 -x2723 -x1743 -x2702 -x1723 -x2681 -x1703 -x2660 x1683 -x2639 x1663 -x2618 x516 x495 -x474 -x453 -x432 -x411 -x390 -x369 -x348 -x327 x306 -x285 -x264 x1462 -x2408 -x1442 x2387 -x1422 x2366 -x1402 x2345 -x1382 x2324 -x1362 x2303 -x1342 x2282 -x1322 x2261 x1302 -x2240 -x1282 -x2219 -x1262 x2198 -x1242 x2177 -x1222 x2156 -x1000 -x979 x958 -x937 -x916 -x895 -x874 -x853 -x832 -x811 -x790 x769 x748 -x1924 -x2892 -x1904 -x2871 -x1884 x2850 -x1864 x2829 -x1844 x2808 -x1824 x2787 -x1804 x2766 -x1784 x2745 -x1764 x2724 -x1744 x2703 -x1724 x2682 x1704 x2661 x1684 x2640 x517 -x496 -x475 -x454 -x433 -x412 -x391 -x370 -x349 -x328 x307 -x286 x1463 -x2409 -x1443 -x2388 -x1423 -x2367 -x1403 -x2346 -x1383 -x2325 -x1363 -x2304 -x1343 -x2283 -x1323 x2262 -x1303 x2241 -x1283 x2220 x1263 -x2199 -x1243 -x2178 -x1001 x980 -x959 -x938 -x917 -x896 -x875 -x854 -x833 -x812 -x791 x770 -x1925 -x2893 -x1905 x2872 -x1885 x2851 -x1865 x2830 -x1845 x2809 -x1825 x2788 -x1805 x2767 -x1785 x2746 -x1765 x2725 -x1745 x2704 x1725 -x2683 x1705 -x2662 -x518 -x497 -x476 -x455 -x434 -x413 -x392 -x371 -x350 -x329 -x308 -x1464 x2410 -x1444 x2389 -x1424 x2368 -x1404 x2347 -x1384 x2326 -x1364 x2305 -x1344 x2284 -x1324 x2263 -x1304 x2242 x1284 -x2221 -x1264 -x2200 -x1002 -x981 -x960 -x939 -x918 -x897 -x876 -x855 -x834 -x813 -x792 -x1926 -x2894 -x1906 -x2873 -x1886 -x2852 -x1866 -x2831 -x1846 -x2810 -x1826 -x2789 -x1806 -x2768 -x1786 -x2747 -x1766 -x2726 -x1746 x2705 x1726 -x2684 -x519 x498 -x477 -x456 -x435 -x414 -x393 -x372 -x351 -x330 -x1465 -x2411 -x1445 x2390 -x1425 x2369 -x1405 x2348 -x1385 x2327 -x1365 x2306 -x1345 x2285 -x1325 x2264 x1305 -x2243 -x1285 -x2222 -x1003 -x982 -x961 -x940 -x919 -x898 -x877 -x856 x835 -x814 -x1927 -x2895 -x1907 -x2874 -x1887 -x2853 -x1867 -x2832 -x1847 -x2811 -x1827 -x2790 -x1807 -x2769 -x1787 -x2748 -x1767 x2727 x1747 -x2706 x520 -x499 -x478 -x457 -x436 -x415 -x394 -x373 -x352 -x1466 x2412 -x1446 x2391 -x1426 x2370 -x1406 x2349 -x1386 x2328 -x1366 x2307 -x1346 x2286 x1326 -x2265 -x1306 -x2244 -x1004 -x983 -x962 -x941 -x920 -x899 -x878 -x857 x836 -x1928 -x2896 -x1908 -x2875 -x1888 -x2854 -x1868 -x2833 -x1848 -x2812 -x1828 -x2791 -x1808 -x2770 -x1788 -x2749 x1768 -x2728 -x521 x500 -x479 -x458 -x437 -x416 -x395 -x374 -x1467 -x2413 -x1447 x2392 -x1427 x2371 -x1407 x2350 -x1387 x2329 -x1367 x2308 x1347 -x2287 -x1327 -x2266 -x1005 -x984 -x963 -x942 -x921 -x900 x879 -x858 -x1929 -x2897 -x1909 -x2876 -x1889 -x2855 -x1869 -x2834 -x1849 -x2813 -x1829 -x2792 -x1809 x2771 x1789 -x2750 x522 -x501 -x480 -x459 -x438 -x417 -x396 -x1468 x2414 -x1448 x2393 -x1428 x2372 -x1408 x2351 -x1388 x2330 x1368 -x2309 -x1348 -x2288 -x1006 -x985 -x964 -x943 -x922 -x901 x880 -x1930 -x2898 -x1910 -x2877 -x1890 -x2856 -x1870 -x2835 -x1850 -x2814 -x1830 -x2793 x1810 -x2772 -x523 x502 -x481 -x460 -x439 -x418 -x1469 -x2415 -x1449 x2394 -x1429 x2373 -x1409 x2352 x1389 -x2331 -x1369 -x2310 -x1007 -x986 -x965 -x944 x923 -x902 -x1931 -x2899 -x1911 -x2878 -x1891 -x2857 -x1871 -x2836 -x1851 x2815 x1831 -x2794 x524 -x503 -x482 -x461 -x440 -x1470 x2416 -x1450 x2395 -x1430 x2374 x1410 -x2353 -x1390 -x2332 -x1008 -x987 -x966 -x945 x924 -x1932 -x2900 -x1912 -x2879 -x1892 -x2858 -x1872 -x2837 x1852 -x2816 -x525 x504 -x483 -x462 -x1471 -x2417 -x1451 x2396 x1431 -x2375 -x1411 -x2354 -x1009 -x988 x967 -x946 -x1933 -x2901 -x1913 -x2880 -x1893 x2859 x1873 -x2838 x526 x505 -x484 -x1472 x2418 x1452 x2397 -x1432 x2376 -x1010 x989 x968 -x1934 -x2902 -x1914 x2881 x1894 x2860 x527 -x506 x1473 -x2419 -x1453 -x2398 -x1011 x990 -x1935 -x2903 x1915 -x2882 -x528 -x1474 x2420 -x1012 -x1936 x2904

Verifier Data 

OK	0

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: 64059 MiB (57201 MiB free)
  memory of node 1: 64510 MiB (54187 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458185-1721880073/watcher-4458185-1721880073 -o /tmp/evaluation-result-4458185-1721880073/solver-4458185-1721880073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263953 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458185-1721880073.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=265918, runsolver pid=265915

[startup+0.100073 s]*
/proc/loadavg: 4.08 4.16 4.12 5/240 265926
/proc/meminfo: memFree=114056044/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=14768 memory=9108 CPUtime=0.1 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 1979 0 0 0 10 0 0 0 20 0 1 0 23996753 15122432 2277 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 3692 2277 468 659 0 2896 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24700 KiB
Current children cumulated memory: 11812 KiB

[startup+0.213624 s]*
/proc/loadavg: 4.08 4.16 4.12 6/234 265949
/proc/meminfo: memFree=114222444/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=12216 memory=10032 CPUtime=0.21 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 2380 0 0 0 21 0 0 0 20 0 1 0 23996753 12509184 2508 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 3054 2508 468 659 0 2258 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22148 KiB
Current children cumulated memory: 12736 KiB

[startup+0.312348 s]*
/proc/loadavg: 4.08 4.16 4.12 4/241 265973
/proc/meminfo: memFree=114219884/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=12852 memory=10364 CPUtime=0.31 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 2518 0 0 0 31 0 0 0 20 0 1 0 23996753 13160448 2591 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 3213 2591 468 659 0 2417 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 22784 KiB
Current children cumulated memory: 13068 KiB

[startup+0.700377 s]
/proc/loadavg: 4.07 4.16 4.12 6/241 265999
/proc/meminfo: memFree=114212644/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=15820 memory=11996 CPUtime=0.68 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 2922 0 0 0 68 0 0 0 20 0 1 0 23996753 16199680 2999 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 3955 2999 468 659 0 3159 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25752 KiB
Current children cumulated memory: 14700 KiB

[startup+1.50034 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266009
/proc/meminfo: memFree=114199200/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=16936 memory=14512 CPUtime=1.48 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 4457 0 0 0 147 1 0 0 20 0 1 0 23996753 17342464 3628 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 4234 3628 468 659 0 3438 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26868 KiB
Current children cumulated memory: 17216 KiB

[startup+3.11388 s]
/proc/loadavg: 4.07 4.16 4.12 6/245 266059
/proc/meminfo: memFree=114290500/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=20856 memory=17372 CPUtime=3.09 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 4836 0 0 0 308 1 0 0 20 0 1 0 23996753 21356544 4343 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 5214 4343 468 659 0 4418 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30788 KiB
Current children cumulated memory: 20076 KiB

[startup+6.30034 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266059
/proc/meminfo: memFree=114270876/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=32392 memory=29240 CPUtime=6.26 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 5603 0 0 0 625 1 0 0 20 0 1 0 23996753 33169408 7310 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 8098 7310 468 659 0 7302 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42324 KiB
Current children cumulated memory: 31944 KiB

[startup+12.7004 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266062
/proc/meminfo: memFree=114249812/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=28548 memory=25168 CPUtime=12.65 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 7148 0 0 0 1263 2 0 0 20 0 1 0 23996753 29233152 6292 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 7137 6292 468 659 0 6341 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 27872 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 4.12 5/245 266063
/proc/meminfo: memFree=114204852/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=47292 memory=42856 CPUtime=25.42 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 8091 0 0 0 2539 3 0 0 20 0 1 0 23996753 48427008 10714 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 11823 10714 468 659 0 11027 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 45560 KiB

[startup+51.1132 s]
/proc/loadavg: 4.09 4.14 4.12 5/246 266071
/proc/meminfo: memFree=114163732/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=77712 memory=51764 CPUtime=50.95 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 8728 0 0 0 5092 3 0 0 20 0 1 0 23996753 79577088 12941 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 19428 12941 468 659 0 18632 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 87644 KiB
Current children cumulated memory: 54468 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/246 266079
/proc/meminfo: memFree=114108824/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=77712 memory=53984 CPUtime=102 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 8765 0 0 0 10197 3 0 0 20 0 1 0 23996753 79577088 13496 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 19428 13496 468 659 0 18632 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 87644 KiB
Current children cumulated memory: 56688 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/245 266090
/proc/meminfo: memFree=114087724/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=77712 memory=75636 CPUtime=161.82 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 9163 0 0 0 16178 4 0 0 20 0 1 0 23996753 79577088 18909 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 19428 18909 468 659 0 18632 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 87644 KiB
Current children cumulated memory: 78340 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.18 4.13 5/245 266100
/proc/meminfo: memFree=114081012/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=77712 memory=75788 CPUtime=221.65 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 9365 0 0 0 22158 7 0 0 20 0 1 0 23996753 79577088 18947 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 19428 18947 468 659 0 18632 0
Current children cumulated CPU time: 221.65 s

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

/proc/loadavg: 4.16 4.20 4.16 5/243 267284
/proc/meminfo: memFree=113608832/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=192724 CPUtime=3093.05 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 18694 0 0 0 309246 59 0 0 20 0 1 0 23996753 207544320 48181 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 48181 468 659 0 49874 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 195428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/243 267295
/proc/meminfo: memFree=113688576/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=122540 memory=120616 CPUtime=3152.88 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 19364 0 0 0 315228 60 0 0 20 0 1 0 23996753 125480960 30154 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 30635 30154 468 659 0 29839 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 132472 KiB
Current children cumulated memory: 123320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 267305
/proc/meminfo: memFree=113611880/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=178384 CPUtime=3212.71 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 19539 0 0 0 321210 61 0 0 20 0 1 0 23996753 207544320 44596 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 44596 468 659 0 49874 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 181088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/244 267698
/proc/meminfo: memFree=113657524/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=252768 memory=206168 CPUtime=3272.54 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 20416 0 0 0 327192 62 0 0 20 0 1 0 23996753 258834432 51542 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 63192 51542 468 659 0 62396 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 262700 KiB
Current children cumulated memory: 208872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/245 267711
/proc/meminfo: memFree=113638148/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=171860 memory=165832 CPUtime=3332.38 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 20558 0 0 0 333175 63 0 0 20 0 1 0 23996753 175984640 41458 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 42965 41458 468 659 0 42169 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 181792 KiB
Current children cumulated memory: 168536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/245 267721
/proc/meminfo: memFree=113703268/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=122540 memory=120616 CPUtime=3392.21 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 20698 0 0 0 339157 64 0 0 20 0 1 0 23996753 125480960 30154 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 30635 30154 468 659 0 29839 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 132472 KiB
Current children cumulated memory: 123320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/246 267901
/proc/meminfo: memFree=113749628/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=172240 CPUtime=3452.04 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 20900 0 0 0 345139 65 0 0 20 0 1 0 23996753 207544320 43060 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 43060 468 659 0 49874 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 174944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.17 4.15 5/246 267911
/proc/meminfo: memFree=113729628/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=122540 memory=120616 CPUtime=3511.88 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 20968 0 0 0 351122 66 0 0 20 0 1 0 23996753 125480960 30154 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 30635 30154 468 659 0 29839 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 132472 KiB
Current children cumulated memory: 123320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/245 267924
/proc/meminfo: memFree=113638628/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=176336 CPUtime=3571.71 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 21170 0 0 0 357104 67 0 0 20 0 1 0 23996753 207544320 44084 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 44084 468 659 0 49874 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 179040 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.14 4.14 5/245 267942
/proc/meminfo: memFree=113692172/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=186576 CPUtime=3600.02 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 21175 0 0 0 359935 67 0 0 20 0 1 0 23996753 207544320 46644 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 46644 468 659 0 49874 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 189280 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.36 s, system=0.679047 s

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

[startup+3610.7 s]
/proc/loadavg: 4.10 4.14 4.14 5/245 267942
/proc/meminfo: memFree=113692172/131655788 swapFree=131061124/131071996
[pid=265918] ppid=265915 vsize=9932 memory=2704 CPUtime=0 cores=1,3
/proc/265918/stat : 265918 (naps-1.03.sh) S 265915 265918 263941 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 23996753 10170368 676 134679101440 94819045539840 94819046619160 140723635008816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94819048717616 94819048764804 94819055058944 140723635012580 140723635012709 140723635012709 140723635019720 0
/proc/265918/statm: 2483 676 598 264 0 134 0
[pid=265923] ppid=265918 vsize=202680 memory=186576 CPUtime=3600.02 cores=1,3
/proc/265923/stat : 265923 (naps-1.03) R 265918 265918 263941 0 -1 4194304 21175 0 0 0 359935 67 0 0 20 0 1 0 23996753 207544320 46644 134679101440 4194304 6891213 140726571801552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30085120 140726571807733 140726571807849 140726571807849 140726571814859 0
/proc/265923/statm: 50670 46644 468 659 0 49874 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 212612 KiB
Current children cumulated memory: 189280 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.04
CPU user time (s): 3599.36
CPU system time (s): 0.679047
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 262700
Max. memory (cumulated for all children) (KiB): 215016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.679047
maximum resident set size= 212312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21654
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= 60
involuntary context switches= 5936


# summary of solver processes directly reported to runsolver:
#   pid: 265918
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.36
#   total CPU system time (s): 0.679047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6324 second user time and 37.4269 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 06:01:13
IDJOB=4458185
IDBENCH=177178
IDSOLVER=3062
FILE ID=nodeC005/4458185-1721880073
RUNJOBID= nodeC005-1721876463-263953
SLURM_JOB_ID= 8089258
Free space on /tmp= 723764 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458185-1721880073/watcher-4458185-1721880073 -o /tmp/evaluation-result-4458185-1721880073/solver-4458185-1721880073 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263953 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4458185-1721880073.opb

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

MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=112086481

nodeC005.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	: 0xb00001f
cpu MHz		: 3673.615
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3491.588
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.268
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.112
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3667.875
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3601.104
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.121
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114063356 kB
MemAvailable:   129679536 kB
Buffers:          287852 kB
Cached:         16103460 kB
SwapCached:          620 kB
Active:          2548812 kB
Inactive:       14384912 kB
Active(anon):       1600 kB
Inactive(anon):   593748 kB
Active(file):    2547212 kB
Inactive(file): 13791164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              5336 kB
Writeback:             4 kB
AnonPages:        541632 kB
Mapped:           122388 kB
Shmem:             53264 kB
KReclaimable:     235672 kB
Slab:             346736 kB
SReclaimable:     235672 kB
SUnreclaim:       111064 kB
KernelStack:        3852 kB
PageTables:        10356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     968064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC005 at 2024-07-25 07:01:24