Trace number 4461328

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 NameAnswerCPU timeWall clock time
NaPS 1.03a1MSAT (TO) 3600.05 3609.4

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM4aa959acef268827fee52a48855c070a
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.101849
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints63
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 3157
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c NaPS 1.03a1.
0.00/0.00	c Input file name: HOME/instance-4461328-1722076800.wbo
0.00/0.00	c Initial goal by soft: 3156
0.00/0.05	c single stage optimization mode
0.00/0.06	o 1526
0.09/0.12	o 329
0.09/0.21	o 154
1.09/1.12	o 98
1.09/1.18	o 50
1.09/1.19	o 12
1.98/2.04	o 3
3600.03/3609.40	c 
3600.03/3609.40	c *** TERMINATED *** by signal 15
3600.03/3609.40	s SATISFIABLE
3600.03/3609.40	c _____________________________________________________________________________
3600.03/3609.40	c std/band forms        : 87,0
3600.03/3609.40	c 2cl/3cl ITE-codings   : 12097,0
3600.03/3609.40	c BDD/srt/adr Max costs : 70515,718,0
3600.03/3609.40	c BDDraw/bin/mul/srt/adr: 1,0,6,80,0
3600.03/3609.40	c BDD nodes             : 13040
3600.03/3609.40	c Es1/CC detections     : 0,0
3600.03/3609.40	c CC sort               : 80
3600.03/3609.40	c SAT/UNSAT calls       : 7,0
3600.03/3609.40	c regenrated variables  : 0
3600.03/3609.40	c eliminated fixed lits : 78
3600.03/3609.40	c goal lit flips        : 31
3600.03/3609.40	c goal stages           : 1
3600.03/3609.40	c goal shrink           : 0
3600.03/3609.40	c goal coeff separations: 0
3600.03/3609.40	c restarts              : 13
3600.03/3609.40	c conflicts             : 8075           (2 /sec)
3600.03/3609.40	c decisions             : 34181          (9 /sec)
3600.03/3609.40	c propagations          : 4951652        (1376 /sec)
3600.03/3609.40	c inspects              : 0              (0 /sec)
3600.03/3609.40	c CPU time (solving tm) : 3598 s        (3598 s, SAT 1.874 s, UNSAT 0 s)
3600.03/3609.40	c Time for Opt-base     : 0.00152 s
3600.03/3609.40	c Steps for Opt-base    : 2898
3600.03/3609.40	c Time for BDD coding   : 0.05952 s
3600.03/3609.40	c Time for srt coding   : 0.005678 s
3600.03/3609.40	c _____________________________________________________________________________
3600.03/3609.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -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 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984
3600.03/3609.40	v -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600

Verifier Data 

OK	3

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: 63968 MiB (62046 MiB free)
  memory of node 1: 64473 MiB (62523 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461328-1722076800/watcher-4461328-1722076800 -o /tmp/evaluation-result-4461328-1722076800/solver-4461328-1722076800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722076800-379717 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461328-1722076800.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=379766, runsolver pid=379763
Current StackSize limit: 8192 KiB


[startup+0.100302 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127488272/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=31536 memory=28928 CPUtime=0.09 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 7668 0 0 0 8 1 0 0 20 0 1 0 44202971 32292864 7232 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 7884 7232 612 659 0 7088 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41468 KiB
Current children cumulated memory: 31644 KiB

[startup+0.205537 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127449996/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=36304 memory=33800 CPUtime=0.19 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 8910 0 0 0 18 1 0 0 20 0 1 0 44202971 37175296 8450 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 9076 8450 644 659 0 8280 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46236 KiB
Current children cumulated memory: 36516 KiB

[startup+0.30556 s]*
/proc/loadavg: 1.43 2.03 2.72 5/259 379795
/proc/meminfo: memFree=127414232/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=37936 memory=35504 CPUtime=0.3 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 11255 0 0 0 28 2 0 0 20 0 1 0 44202971 38846464 8876 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 9484 8876 644 659 0 8688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 38220 KiB

[startup+0.700256 s]
/proc/loadavg: 1.43 2.03 2.72 4/256 379795
/proc/meminfo: memFree=127392412/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=54256 memory=48756 CPUtime=0.68 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 14084 0 0 0 66 2 0 0 20 0 1 0 44202971 55558144 12189 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 13564 12189 660 659 0 12768 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64188 KiB
Current children cumulated memory: 51472 KiB

[startup+1.50027 s]
/proc/loadavg: 1.43 2.03 2.72 5/259 379845
/proc/meminfo: memFree=127345612/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=58020 memory=55724 CPUtime=1.48 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 16436 0 0 0 145 3 0 0 20 0 1 0 44202971 59412480 13931 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 14505 13931 660 659 0 13709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67952 KiB
Current children cumulated memory: 58440 KiB

[startup+3.10557 s]
/proc/loadavg: 1.43 2.03 2.72 5/259 379845
/proc/meminfo: memFree=127171632/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=76236 memory=64588 CPUtime=3.08 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 17053 0 0 0 305 3 0 0 20 0 1 0 44202971 78065664 16147 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 19059 16147 660 659 0 18263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 67304 KiB

[startup+6.30023 s]
/proc/loadavg: 1.63 2.06 2.72 5/259 379847
/proc/meminfo: memFree=127187384/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=76236 memory=64588 CPUtime=6.26 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 17055 0 0 0 623 3 0 0 20 0 1 0 44202971 78065664 16147 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 19059 16147 660 659 0 18263 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 67304 KiB

[startup+12.7003 s]
/proc/loadavg: 1.90 2.11 2.74 5/259 379847
/proc/meminfo: memFree=127210572/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=76236 memory=64588 CPUtime=12.65 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 17059 0 0 0 1262 3 0 0 20 0 1 0 44202971 78065664 16147 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 19059 16147 660 659 0 18263 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 67304 KiB

[startup+25.5002 s]
/proc/loadavg: 2.37 2.21 2.76 5/259 379850
/proc/meminfo: memFree=127201532/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=76236 memory=64788 CPUtime=25.41 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 17175 0 0 0 2538 3 0 0 20 0 1 0 44202971 78065664 16197 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 19059 16197 660 659 0 18263 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 67504 KiB

[startup+51.1059 s]
/proc/loadavg: 2.93 2.35 2.79 5/261 379857
/proc/meminfo: memFree=127188580/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=84692 memory=73264 CPUtime=50.96 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 17767 0 0 0 5092 4 0 0 20 0 1 0 44202971 86724608 18316 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 21173 18316 660 659 0 20377 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 94624 KiB
Current children cumulated memory: 75980 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.64 2.87 5/262 379866
/proc/meminfo: memFree=127119720/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=97320 memory=86680 CPUtime=102.01 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 21606 0 0 0 10195 6 0 0 20 0 1 0 44202971 99655680 21670 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 24330 21670 660 659 0 23534 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 89396 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.93 2.96 5/262 379878
/proc/meminfo: memFree=127097852/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=97344 memory=86776 CPUtime=161.86 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 23889 0 0 0 16179 7 0 0 20 0 1 0 44202971 99680256 21694 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 24336 21694 660 659 0 23540 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 107276 KiB
Current children cumulated memory: 89492 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.14 3.03 5/262 379888
/proc/meminfo: memFree=127020424/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=104648 memory=93960 CPUtime=221.71 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 25236 0 0 0 22164 7 0 0 20 0 1 0 44202971 107159552 23490 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 26162 23490 660 659 0 25366 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 114580 KiB

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

/proc/loadavg: 4.19 4.16 4.10 5/262 381532
/proc/meminfo: memFree=126619420/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=178480 memory=168148 CPUtime=3034.39 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 139238 0 0 0 303296 143 0 0 20 0 1 0 44202971 182763520 42037 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 44620 42037 660 659 0 43824 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 170864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/261 381599
/proc/meminfo: memFree=126676620/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=178480 memory=168148 CPUtime=3094.23 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 140893 0 0 0 309278 145 0 0 20 0 1 0 44202971 182763520 42037 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 44620 42037 660 659 0 43824 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 170864 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/261 381610
/proc/meminfo: memFree=126683600/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=178480 memory=168148 CPUtime=3154.08 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 141945 0 0 0 315262 146 0 0 20 0 1 0 44202971 182763520 42037 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 44620 42037 660 659 0 43824 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 170864 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/261 381621
/proc/meminfo: memFree=126604016/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=267596 memory=255972 CPUtime=3213.93 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 144023 0 0 0 321243 150 0 0 20 0 1 0 44202971 274018304 63993 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 66899 63993 660 659 0 66103 0
Current children cumulated CPU time: 3213.93 s
Current children cumulated vsize: 277528 KiB
Current children cumulated memory: 258688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 381631
/proc/meminfo: memFree=126538304/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=220280 memory=209648 CPUtime=3273.77 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 146740 0 0 0 327223 154 0 0 20 0 1 0 44202971 225566720 52412 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 55070 52412 660 659 0 54274 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 230212 KiB
Current children cumulated memory: 212364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/261 381642
/proc/meminfo: memFree=126455520/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=220076 memory=209444 CPUtime=3333.61 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 149761 0 0 0 333203 158 0 0 20 0 1 0 44202971 225357824 52361 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 55019 52361 660 659 0 54223 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 230008 KiB
Current children cumulated memory: 212160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 381653
/proc/meminfo: memFree=126532200/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=219436 memory=208804 CPUtime=3393.46 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 151679 0 0 0 339185 161 0 0 20 0 1 0 44202971 224702464 52201 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 54859 52201 660 659 0 54063 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 229368 KiB
Current children cumulated memory: 211520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 381665
/proc/meminfo: memFree=126523664/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=222600 memory=211968 CPUtime=3453.31 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 154016 0 0 0 345165 166 0 0 20 0 1 0 44202971 227942400 52992 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 55650 52992 660 659 0 54854 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 232532 KiB
Current children cumulated memory: 214684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 381675
/proc/meminfo: memFree=126517156/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=229036 memory=218404 CPUtime=3513.15 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 157149 0 0 0 351144 171 0 0 20 0 1 0 44202971 234532864 54601 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 57259 54601 660 659 0 56463 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 238968 KiB
Current children cumulated memory: 221120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/259 381686
/proc/meminfo: memFree=126541396/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=225072 memory=214440 CPUtime=3573 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 159625 0 0 0 357125 175 0 0 20 0 1 0 44202971 230473728 53610 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 56268 53610 660 659 0 55472 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 235004 KiB
Current children cumulated memory: 217156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.25 4.18 4.11 5/260 381692
/proc/meminfo: memFree=126411088/131524600 swapFree=131057784/131071996
[pid=379766] ppid=379763 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/379766/stat : 379766 (naps-1.03.sh) S 379763 379766 379705 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 44202970 10170368 679 134679101440 94415546130432 94415547209752 140733599532288 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94415549308208 94415549355396 94415568826368 140733599540193 140733599540318 140733599540318 140733599547336 0
/proc/379766/statm: 2483 679 601 264 0 134 0
[pid=379771] ppid=379766 vsize=355488 memory=344188 CPUtime=3600.03 cores=1,3
/proc/379771/stat : 379771 (naps-1.03) R 379766 379766 379705 0 -1 4194304 171228 0 0 0 359820 183 0 0 20 0 1 0 44202971 364019712 86047 134679101440 4194304 6891597 140728466688160 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35610624 140728466695154 140728466695266 140728466695266 140728466702283 0
/proc/379771/statm: 88872 86047 660 659 0 88076 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 365420 KiB
Current children cumulated memory: 346904 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.2 s, system=1.84201 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): 3609.4
CPU time (s): 3600.05
CPU user time (s): 3598.2
CPU system time (s): 1.84201
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 530096
Max. memory (cumulated for all children) (KiB): 511364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.2
system time used= 1.842
maximum resident set size= 508648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171703
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= 33
involuntary context switches= 1742


# summary of solver processes directly reported to runsolver:
#   pid: 379766
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.2
#   total CPU system time (s): 1.84201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07918 second user time and 16.2181 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-27 12:40:00
IDJOB=4461328
IDBENCH=143478
IDSOLVER=3088
FILE ID=nodeC024/4461328-1722076800
RUNJOBID= nodeC024-1722076800-379717
SLURM_JOB_ID= 8248141
Free space on /tmp= 890080 MiB

SOLVER NAME= NaPS 1.03a1
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461328-1722076800/watcher-4461328-1722076800 -o /tmp/evaluation-result-4461328-1722076800/solver-4461328-1722076800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722076800-379717 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4461328-1722076800.wbo

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

MD5SUM BENCH= 4aa959acef268827fee52a48855c070a
RANDOM SEED=1827746419

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		: 3540.811
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.87
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		: 3049.567
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	: 7005.58
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		: 3584.458
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.87
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		: 3544.160
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	: 7005.58
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		: 3521.966
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.87
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		: 3124.047
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	: 7005.58
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		: 3476.796
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.87
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		: 3393.304
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	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127568588 kB
MemAvailable:   129727708 kB
Buffers:          371960 kB
Cached:          2611368 kB
SwapCached:          228 kB
Active:          2672976 kB
Inactive:         674116 kB
Active(anon):       4032 kB
Inactive(anon):   413228 kB
Active(file):    2668944 kB
Inactive(file):   260888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057784 kB
Dirty:             15676 kB
Writeback:             0 kB
AnonPages:        363636 kB
Mapped:           104124 kB
Shmem:             53464 kB
KReclaimable:     138224 kB
Slab:             254628 kB
SReclaimable:     138224 kB
SUnreclaim:       116404 kB
KernelStack:        3884 kB
PageTables:         9624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     795608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC024 at 2024-07-27 13:40:09