Trace number 4435033

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-PB16 1.02b5SAT (TO)214 3600.11 3610.4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.02b5.
0.00/0.00	c Input file name: HOME/instance-4435033-1721070629.opb
3600.09/3610.40	o 214
3600.09/3610.40	c 
3600.09/3610.40	c *** TERMINATED *** by signal 15
3600.09/3610.40	s SATISFIABLE
3600.09/3610.40	c _____________________________________________________________________________
3600.09/3610.40	c 
3600.09/3610.40	c std/band forms        : 7889,0
3600.09/3610.40	c 2cl/3cl ITE-codings   : 8912,0
3600.09/3610.40	c BDD/srt/adr Max costs : 99,25791,0
3600.09/3610.40	c BDDraw/bin/mul/srt/adr: 7888,0,0,1,0
3600.09/3610.40	c BDD nodes             : 81280
3600.09/3610.40	c Es1/CC detections     : 0,0
3600.09/3610.40	c SAT/UNSAT calls       : 1,0
3600.09/3610.40	c regenrated variables  : 4
3600.09/3610.40	c restarts              : 3
3600.09/3610.40	c conflicts             : 235            (0 /sec)
3600.09/3610.40	c decisions             : 2945           (1 /sec)
3600.09/3610.40	c propagations          : 59425          (17 /sec)
3600.09/3610.40	c inspects              : 0              (0 /sec)
3600.09/3610.40	c CPU time (solving tm) : 3599 s        (3598 s)
3600.09/3610.40	c Time for Opt-base     : 0.000492 s
3600.09/3610.40	c _____________________________________________________________________________
3600.09/3610.40	v -x897 -x898 x899 x900 x901 x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 x1028 x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 -x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 x1212 -x1213 x1214 -x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 x1340 -x1341 x1342 x1343 -x1344 -x2 x66 -x130 -x194 -x258 -x322 -x386 -x450 -x514 -x578 -x642 -x706 -x770 -x834 -x3 -x67 x131 -x195 -x259 -x323 -x387 -x451 -x515 -x579 -x643 -x707 -x771 -x835 -x4 -x68 -x132 -x196 -x260 -x324 -x388 -x452 -x516 -x580 -x644 -x708 -x772 x836 -x5 -x69 -x133 -x197 -x261 -x325 -x389 -x453 -x517 -x581 x645 -x709 -x773 -x837 -x6 -x70 -x134 -x198 -x262 -x326 x390 -x454 -x518 -x582 -x646 -x710 -x774 -x838 x7 -x71 -x135 -x199 -x263 -x327 -x391 -x455 -x519 -x583 -x647 -x711 -x775 -x839 -x8 -x72 -x136 -x200 -x264 -x328 -x392 -x456 -x520 -x584 -x648 x712 -x776 -x840 -x9 -x73 -x137 -x201 -x265 -x329 -x393 -x457 -x521 -x585 -x649 -x713 x777 -x841 -x11 -x75 -x139 -x203 -x267 -x331 -x395 -x459 -x523 -x587 x651 -x715 -x779 -x843 -x12 -x76 -x140 -x204 x268 -x332 -x396 -x460 -x524 -x588 -x652 -x716 -x780 -x844 -x13 -x77 -x141 -x205 -x269 -x333 -x397 x461 -x525 -x589 -x653 -x717 -x781 -x845 -x14 -x78 -x142 -x206 -x270 x334 -x398 -x462 -x526 -x590 -x654 -x718 -x782 -x846 -x15 -x79 x143 -x207 -x271 -x335 -x399 -x463 -x527 -x591 -x655 -x719 -x783 -x847 -x16 -x80 -x144 -x208 -x272 -x336 -x400 -x464 -x528 x592 -x656 -x720 -x784 -x848 -x17 -x81 -x145 -x209 -x273 -x337 -x401 -x465 -x529 x593 -x657 -x721 -x785 -x849 -x18 -x82 -x146 -x210 -x274 -x338 -x402 -x466 x530 -x594 -x658 -x722 -x786 -x850 -x20 -x84 -x148 x212 -x276 -x340 -x404 -x468 -x532 -x596 -x660 -x724 -x788 -x852 -x21 -x85 -x149 -x213 -x277 -x341 x405 -x469 -x533 -x597 -x661 -x725 -x789 -x853 -x22 -x86 -x150 -x214 x278 -x342 -x406 -x470 -x534 -x598 -x662 -x726 -x790 -x854 -x23 -x87 -x151 -x215 -x279 -x343 -x407 -x471 -x535 -x599 -x663 -x727 x791 -x855 x24 -x88 -x152 -x216 -x280 -x344 -x408 -x472 -x536 -x600 -x664 -x728 -x792 -x856 -x25 -x89 -x153 -x217 -x281 x345 -x409 -x473 -x537 -x601 -x665 -x729 -x793 -x857 x26 -x90 -x154 -x218 -x282 -x346 -x410 -x474 -x538 -x602 -x666 -x730 -x794 -x858 -x27 -x91 -x155 -x219 -x283 -x347 -x411 -x475 -x539 -x603 -x667 x731 -x795 -x859 -x29 -x93 -x157 -x221 -x285 -x349 -x413 -x477 -x541 -x605 -x669 -x733 x797 -x861 -x30 -x94 x158 -x222 -x286 -x350 -x414 -x478 -x542 -x606 -x670 -x734 -x798 -x862 -x31 -x95 -x159 -x223 -x287 -x351 -x415 x479 -x543 -x607 -x671 -x735 -x799 -x863 -x32 -x96 -x160 -x224 -x288 -x352 x416 -x480 -x544 -x608 -x672 -x736 -x800 -x864 -x33 -x97 -x161 -x225 -x289 -x353 -x417 -x481 x545 -x609 -x673 -x737 -x801 -x865 -x34 -x98 -x162 x226 -x290 -x354 -x418 -x482 -x546 -x610 -x674 -x738 -x802 -x866 -x35 -x99 -x163 -x227 -x291 -x355 -x419 -x483 -x547 -x611 -x675 -x739 -x803 x867 -x36 x100 -x164 -x228 -x292 -x356 -x420 -x484 -x548 -x612 -x676 -x740 -x804 -x868 x38 -x102 -x166 -x230 -x294 -x358 -x422 -x486 -x550 -x614 -x678 -x742 -x806 -x870 -x39 -x103 -x167 -x231 -x295 -x359 -x423 -x487 -x551 -x615 -x679 x743 -x807 -x871 -x40 -x104 -x168 -x232 x296 -x360 -x424 -x488 -x552 -x616 -x680 -x744 -x808 -x872 -x41 -x105 -x169 x233 -x297 -x361 -x425 -x489 -x553 -x617 -x681 -x745 -x809 -x873 -x42 -x106 -x170 -x234 -x298 -x362 -x426 -x490 -x554 -x618 -x682 x746 -x810 -x874 -x43 -x107 -x171 -x235 -x299 -x363 -x427 x491 -x555 -x619 -x683 -x747 -x811 -x875 -x44 -x108 -x172 -x236 -x300 -x364 -x428 -x492 -x556 -x620 x684 -x748 -x812 -x876 -x45 -x109 -x173 -x237 -x301 -x365 -x429 -x493 -x557 x621 -x685 -x749 -x813 -x877 -x47 -x111 -x175 -x239 -x303 -x367 -x431 -x495 -x559 -x623 -x687 -x751 -x815 x879 -x48 x112 -x176 -x240 -x304 -x368 -x432 -x496 -x560 -x624 -x688 -x752 -x816 -x880 -x49 -x113 -x177 -x241 x305 -x369 -x433 -x497 -x561 -x625 -x689 -x753 -x817 -x881 -x50 -x114 -x178 -x242 -x306 -x370 x434 -x498 -x562 -x626 -x690 -x754 -x818 -x882 -x51 x115 -x179 -x243 -x307 -x371 -x435 -x499 -x563 -x627 -x691 -x755 -x819 -x883 -x52 -x116 -x180 -x244 -x308 -x372 -x436 -x500 -x564 x628 -x692 -x756 -x820 -x884 -x53 -x117 -x181 -x245 -x309 x373 -x437 -x501 -x565 -x629 -x693 -x757 -x821 -x885 -x54 -x118 -x182 -x246 -x310 -x374 -x438 -x502 x566 -x630 -x694 -x758 -x822 -x886 -x56 -x120 -x184 -x248 -x312 -x376 -x440 -x504 -x568 -x632 x696 -x760 -x824 -x888 -x57 -x121 -x185 -x249 -x313 -x377 -x441 x505 -x569 -x633 -x697 -x761 -x825 -x889 -x58 -x122 -x186 -x250 -x314 -x378 -x442 -x506 -x570 -x634 -x698 -x762 -x826 x890 -x59 -x123 -x187 -x251 -x315 x379 -x443 -x507 -x571 -x635 -x699 -x763 -x827 -x891 -x60 -x124 -x188 -x252 -x316 -x380 -x444 -x508 x572 -x636 -x700 -x764 -x828 -x892 -x61 -x125 x189 -x253 -x317 -x381 -x445 -x509 -x573 -x637 -x701 -x765 -x829 -x893 -x62 -x126 -x190 -x254 -x318 -x382 -x446 -x510 -x574 -x638 -x702 -x766 x830 -x894 -x63 -x127 -x191 x255 -x319 -x383 -x447 -x511 -x575 -x639 -x703 -x767 -x831 -x895 x10 x74 -x138 x202 -x266 -x330 x394 -x458 x522 -x586 -x650 x714 -x778 x842 -x19 x83 x147 -x211 -x275 x339 -x403 x467 -x531 -x595 x659 x723 -x787 x851 -x28 x92 -x156 x220 x284 -x348 -x412 -x476 x540 x604 x668 -x732 -x796 x860 -x37 -x101 x165 -x229 -x293 x357 x421 x485 -x549 x613 x677 -x741 x805 -x869 x46 -x110 x174 -x238 x302 x366 x430 -x494 x558 -x622 -x686 -x750 x814 -x878 x55 -x119 x183 x247 -x311 -x375 -x439 x503 -x567 -x631 -x695 x759 x823 x887 x64 x128 -x192 -x256 x320 -x384 x448 -x512 -x576 x640 x704 x768 -x832 -x896 -x1 -x65 -x129 x193 x257 x321 -x385 x449 x513 x577 -x641 -x705 x769 -x833

Verifier Data 

OK	214

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435033-1721070629/watcher-4435033-1721070629 -o /tmp/evaluation-result-4435033-1721070629/solver-4435033-1721070629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721070641-814262 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435033-1721070629.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
solver pid=814385, runsolver pid=814382
Current StackSize limit: 8192 KiB


[startup+0.100702 s]*
/proc/loadavg: 1.31 2.87 3.62 5/261 814390
/proc/meminfo: memFree=127178740/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=12328 memory=7396 CPUtime=0.09 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 1534 0 0 0 9 0 0 0 20 0 1 0 159227815 12623872 1849 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 3082 1849 405 379 0 2616 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22260 KiB
Current children cumulated memory: 10156 KiB

[startup+0.206102 s]*
/proc/loadavg: 1.31 2.87 3.62 5/261 814390
/proc/meminfo: memFree=127146400/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=21692 memory=16776 CPUtime=0.19 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 3896 0 0 0 19 0 0 0 20 0 1 0 159227815 22212608 4194 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 5423 4194 405 379 0 4957 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31624 KiB
Current children cumulated memory: 19536 KiB

[startup+0.305921 s]*
/proc/loadavg: 1.53 2.89 3.62 5/261 814390
/proc/meminfo: memFree=127142116/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=22756 memory=18064 CPUtime=0.29 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 4213 0 0 0 29 0 0 0 20 0 1 0 159227815 23302144 4516 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 5689 4516 421 379 0 5223 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32688 KiB
Current children cumulated memory: 20824 KiB

[startup+0.700223 s]
/proc/loadavg: 1.53 2.89 3.62 5/261 814390
/proc/meminfo: memFree=127124544/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=36548 memory=33552 CPUtime=0.68 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 9098 0 0 0 67 1 0 0 20 0 1 0 159227815 37425152 8388 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 9137 8388 421 379 0 8671 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46480 KiB
Current children cumulated memory: 36312 KiB

[startup+1.50028 s]
/proc/loadavg: 1.53 2.89 3.62 5/261 814390
/proc/meminfo: memFree=127092528/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=40900 memory=38500 CPUtime=1.48 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 9827 0 0 0 147 1 0 0 20 0 1 0 159227815 41881600 9625 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 10225 9625 421 379 0 9759 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50832 KiB
Current children cumulated memory: 41260 KiB

[startup+3.10625 s]
/proc/loadavg: 1.53 2.89 3.62 5/261 814392
/proc/meminfo: memFree=126928788/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=43620 memory=41136 CPUtime=3.08 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 10499 0 0 0 307 1 0 0 20 0 1 0 159227815 44666880 10284 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 10905 10284 421 379 0 10439 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53552 KiB
Current children cumulated memory: 43896 KiB

[startup+6.30028 s]
/proc/loadavg: 1.81 2.93 3.63 5/261 814392
/proc/meminfo: memFree=126658772/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=57004 memory=51236 CPUtime=6.26 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 11449 0 0 0 625 1 0 0 20 0 1 0 159227815 58372096 12809 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 14251 12809 421 379 0 13785 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66936 KiB
Current children cumulated memory: 53996 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.94 3.63 5/261 814393
/proc/meminfo: memFree=126107204/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=60040 memory=51744 CPUtime=12.65 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 12092 0 0 0 1263 2 0 0 20 0 1 0 159227815 61480960 12936 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 15010 12936 421 379 0 14544 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 69972 KiB
Current children cumulated memory: 54504 KiB

[startup+25.5003 s]
/proc/loadavg: 2.29 2.98 3.64 5/261 814445
/proc/meminfo: memFree=126015400/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=64504 memory=58116 CPUtime=25.41 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 12170 0 0 0 2539 2 0 0 20 0 1 0 159227815 66052096 14529 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 16126 14529 421 379 0 15660 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 74436 KiB
Current children cumulated memory: 60876 KiB

[startup+51.106 s]
/proc/loadavg: 3.02 3.09 3.65 5/261 814448
/proc/meminfo: memFree=126005488/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=83184 memory=70356 CPUtime=50.95 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 13966 0 0 0 5092 3 0 0 20 0 1 0 159227815 85180416 17589 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 20796 17589 421 379 0 20330 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 93116 KiB
Current children cumulated memory: 73116 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 3.25 3.68 5/261 814458
/proc/meminfo: memFree=125884412/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=102040 memory=95136 CPUtime=102 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 14583 0 0 0 10196 4 0 0 20 0 1 0 159227815 104488960 23784 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 25510 23784 421 379 0 25044 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 111972 KiB
Current children cumulated memory: 97896 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.40 3.71 5/261 814470
/proc/meminfo: memFree=122380592/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=102040 memory=99772 CPUtime=161.83 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 15162 0 0 0 16178 5 0 0 20 0 1 0 159227815 104488960 24943 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 25510 24943 421 379 0 25044 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 111972 KiB
Current children cumulated memory: 102532 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.54 3.74 5/261 814480
/proc/meminfo: memFree=114939124/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=163520 memory=143420 CPUtime=221.66 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 16508 0 0 0 22158 8 0 0 20 0 1 0 159227815 167444480 35855 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 40880 35855 421 379 0 40414 0
Current children cumulated CPU time: 221.66 s

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

/proc/loadavg: 4.12 4.12 4.09 5/262 816218
/proc/meminfo: memFree=126015624/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=212132 memory=197124 CPUtime=3033.59 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 72659 0 0 0 303244 115 0 0 20 0 1 0 159227815 217223168 49281 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 53033 49281 421 379 0 52567 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 199884 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 816228
/proc/meminfo: memFree=126069664/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=181312 memory=170232 CPUtime=3093.42 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 73759 0 0 0 309225 117 0 0 20 0 1 0 159227815 185663488 42558 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 45328 42558 421 379 0 44862 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 191244 KiB
Current children cumulated memory: 172992 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 816239
/proc/meminfo: memFree=125988140/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=262220 memory=212536 CPUtime=3153.26 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 75215 0 0 0 315207 119 0 0 20 0 1 0 159227815 268513280 53134 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 65555 53134 421 379 0 65089 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 272152 KiB
Current children cumulated memory: 215296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 816251
/proc/meminfo: memFree=125953240/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=181312 memory=178424 CPUtime=3213.1 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 75514 0 0 0 321189 121 0 0 20 0 1 0 159227815 185663488 44606 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 45328 44606 421 379 0 44862 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 191244 KiB
Current children cumulated memory: 181184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 816261
/proc/meminfo: memFree=125990840/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=262220 memory=220728 CPUtime=3272.94 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 76985 0 0 0 327171 123 0 0 20 0 1 0 159227815 268513280 55182 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 65555 55182 421 379 0 65089 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 272152 KiB
Current children cumulated memory: 223488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 816271
/proc/meminfo: memFree=125932616/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=212132 memory=199172 CPUtime=3332.77 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 77844 0 0 0 333152 125 0 0 20 0 1 0 159227815 217223168 49793 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 53033 49793 421 379 0 52567 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 201932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/259 816281
/proc/meminfo: memFree=125836540/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=262220 memory=233164 CPUtime=3392.6 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 78740 0 0 0 339134 126 0 0 20 0 1 0 159227815 268513280 58291 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 65555 58291 421 379 0 65089 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 272152 KiB
Current children cumulated memory: 235924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/259 816292
/proc/meminfo: memFree=125955804/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=212132 memory=205336 CPUtime=3452.44 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 79602 0 0 0 345116 128 0 0 20 0 1 0 159227815 217223168 51334 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 53033 51334 421 379 0 52567 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 208096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 816302
/proc/meminfo: memFree=125916424/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=181312 memory=168204 CPUtime=3512.26 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 80695 0 0 0 351096 130 0 0 20 0 1 0 159227815 185663488 42051 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 45328 42051 421 379 0 44862 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 191244 KiB
Current children cumulated memory: 170964 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 816317
/proc/meminfo: memFree=125976156/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=212132 memory=209432 CPUtime=3572.08 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 81350 0 0 0 357077 131 0 0 20 0 1 0 159227815 217223168 52358 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 53033 52358 421 379 0 52567 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 222064 KiB
Current children cumulated memory: 212192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/260 816371
/proc/meminfo: memFree=126440960/131524600 swapFree=131071996/131071996
[pid=814385] ppid=814382 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/814385/stat : 814385 (naps-1.02b5.sh) S 814382 814385 814250 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 159227815 10170368 690 134679101440 94789424480256 94789425559576 140732670781600 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94789427658032 94789427705220 94789447151616 140732670788576 140732670788703 140732670788703 140732670795718 0
/proc/814385/statm: 2483 690 612 264 0 134 0
[pid=814390] ppid=814385 vsize=262220 memory=224844 CPUtime=3600.09 cores=1,3
/proc/814390/stat : 814390 (naps-1.02b5) R 814385 814385 814250 0 -1 4194304 82169 0 0 0 359877 132 0 0 20 0 1 0 159227815 268513280 56211 134679101440 4194304 5746509 140734924909552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 6059216 6091920 35061760 140734924911599 140734924911713 140734924911713 140734924918729 0
/proc/814390/statm: 65555 56211 421 379 0 65089 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 272152 KiB
Current children cumulated memory: 227604 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.78 s, system=1.32836 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.11
CPU user time (s): 3598.78
CPU system time (s): 1.32836
CPU usage (%): 99.7149
Max. virtual memory (cumulated for all children) (KiB): 321472
Max. memory (cumulated for all children) (KiB): 271396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.78
system time used= 1.32836
maximum resident set size= 270684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82642
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= 89
involuntary context switches= 3510


# summary of solver processes directly reported to runsolver:
#   pid: 814385
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.78
#   total CPU system time (s): 1.32836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83457 second user time and 20.2509 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-15 21:10:42
IDJOB=4435033
IDBENCH=147017
IDSOLVER=3065
FILE ID=nodeC024/4435033-1721070629
RUNJOBID= nodeC024-1721070641-814262
SLURM_JOB_ID= 7505530
Free space on /tmp= 890064 MiB

SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435033-1721070629/watcher-4435033-1721070629 -o /tmp/evaluation-result-4435033-1721070629/solver-4435033-1721070629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721070641-814262 --watchdog 3760  HOME/naps-1.02b5.sh HOME/instance-4435033-1721070629.opb

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1449101902

nodeC024.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		: 3660.642
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	: 6999.60
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		: 3665.432
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.097
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	: 6999.60
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		: 3663.346
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	: 7007.08
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		: 3660.639
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	: 6999.60
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		: 3668.484
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	: 7007.08
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		: 3599.831
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	: 6999.60
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.234
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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127200776 kB
MemAvailable:   129570416 kB
Buffers:          374412 kB
Cached:          2808440 kB
SwapCached:            0 kB
Active:           593400 kB
Inactive:        3088972 kB
Active(anon):       1564 kB
Inactive(anon):   535652 kB
Active(file):     591836 kB
Inactive(file):  2553320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             24012 kB
Writeback:             0 kB
AnonPages:        499652 kB
Mapped:           108764 kB
Shmem:             37720 kB
KReclaimable:     128264 kB
Slab:             236632 kB
SReclaimable:     128264 kB
SUnreclaim:       108368 kB
KernelStack:        4192 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     962588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59648 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      226004 kB
DirectMap2M:    19470336 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC024 at 2024-07-15 22:10:53