Trace number 4463569

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.03a2OPTIMUM 940.393 943.162

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen07_10000_30r_wcsp.wbo
MD5SUM8c159ddcc7c8e6257617bd9db371f9a1
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark606.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2008
Total number of constraints48581
Number of soft constraints48385
Number of constraints which are clauses48385
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 448020002
Min constraint cost 1
Max constraint cost 990001
Sum of constraints costs 12702738385
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
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.03a2.
0.00/0.00	c Input file name: HOME/instance-4463569-1722352608.wbo
0.00/0.00	c Initial goal by soft: 448020001
0.40/0.48	c goal1 is divided by 990000
0.40/0.49	c -initial-goal is not supported in multi stage optimization
0.40/0.49	c multi stage optimization mode: 1-th step
2.28/2.38	o 285155842
4.37/4.49	o 3995558
4.68/4.79	o 2015556
4.98/5.02	o 35554
5.18/5.27	c multi stage optimization mode: 2-th (final)
5.58/5.64	o 286
20.64/20.76	o 141
179.42/179.91	o 63
462.37/463.73	o 35
845.21/847.72	o 20
940.02/942.83	s OPTIMUM FOUND
940.02/942.83	c _____________________________________________________________________________
940.02/942.83	c std/band forms        : 206,0
940.02/942.83	c 2cl/3cl ITE-codings   : 0,0
940.02/942.83	c BDD/srt/adr Max costs : 0,4260230,0
940.02/942.83	c BDDraw/bin/mul/srt/adr: 0,0,0,206,0
940.02/942.83	c BDD nodes             : 0
940.02/942.83	c Es1/CC detections     : 0,0
940.02/942.83	c CC sort               : 206
940.02/942.83	c SAT/UNSAT calls       : 9,2
940.02/942.83	c regenrated variables  : 137
940.02/942.83	c eliminated fixed lits : 89817
940.02/942.83	c goal lit flips        : 12543
940.02/942.83	c goal stages           : 2
940.02/942.83	c goal shrink           : 1
940.02/942.83	c goal coeff separations: 12831
940.02/942.83	c restarts              : 4152
940.02/942.83	c conflicts             : 81043          (87 /sec)
940.02/942.83	c decisions             : 2510926        (2687 /sec)
940.02/942.83	c propagations          : 5556780875     (5947306 /sec)
940.02/942.83	c inspects              : 0              (0 /sec)
940.02/942.83	c CPU time (solving tm) : 934.3 s        (922.1 s, SAT 829.8 s, UNSAT 92.29 s)
940.02/942.83	c Time for Opt-base     : 0.3176 s
940.02/942.83	c Steps for Opt-base    : 0
940.02/942.83	c Time for BDD coding   : 0 s
940.02/942.83	c Time for srt coding   : 4.062 s
940.02/942.83	c _____________________________________________________________________________
940.02/942.83	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 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
940.02/942.83	v -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v
940.02/942.83	v

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463569-1722352608/watcher-4463569-1722352608 -o /tmp/evaluation-result-4463569-1722352608/solver-4463569-1722352608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722352591-13988 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463569-1722352608.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=14463, runsolver pid=14460

[startup+0.100086 s]*
/proc/loadavg: 1.81 1.46 2.03 5/260 14482
/proc/meminfo: memFree=129525272/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=14944 memory=13004 CPUtime=0.09 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 3239 0 0 0 9 0 0 0 20 0 1 0 1858184 15302656 3251 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 3736 3251 580 659 0 2940 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24876 KiB
Current children cumulated memory: 15700 KiB

[startup+0.205527 s]*
/proc/loadavg: 1.81 1.46 2.03 4/256 14499
/proc/meminfo: memFree=129509440/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=26068 memory=23992 CPUtime=0.2 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 5932 0 0 0 20 0 0 0 20 0 1 0 1858184 26693632 5998 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 6517 5998 580 659 0 5721 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 26688 KiB

[startup+0.305375 s]*
/proc/loadavg: 1.81 1.46 2.03 5/256 14504
/proc/meminfo: memFree=129479532/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=37024 memory=34816 CPUtime=0.29 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 8695 0 0 0 29 0 0 0 20 0 1 0 1858184 37912576 8704 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 9256 8704 580 659 0 8460 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46956 KiB
Current children cumulated memory: 37512 KiB

[startup+0.700228 s]
/proc/loadavg: 1.81 1.46 2.03 5/263 14518
/proc/meminfo: memFree=129433012/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=57988 memory=56056 CPUtime=0.69 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 13956 0 0 0 68 1 0 0 20 0 1 0 1858184 59379712 14014 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 14497 14014 612 659 0 13701 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58752 KiB

[startup+1.50018 s]
/proc/loadavg: 1.81 1.46 2.03 5/263 14518
/proc/meminfo: memFree=129384508/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=57988 memory=56056 CPUtime=1.48 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 13956 0 0 0 147 1 0 0 20 0 1 0 1858184 59379712 14014 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 14497 14014 612 659 0 13701 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67920 KiB
Current children cumulated memory: 58752 KiB

[startup+3.10571 s]
/proc/loadavg: 1.98 1.51 2.04 5/263 14519
/proc/meminfo: memFree=129038096/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=421268 memory=398572 CPUtime=3.09 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 59072 0 0 0 297 12 0 0 20 0 1 0 1858184 431378432 99643 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 105317 99643 612 659 0 104521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 431200 KiB
Current children cumulated memory: 401268 KiB

[startup+6.30025 s]
/proc/loadavg: 1.98 1.51 2.04 5/263 14519
/proc/meminfo: memFree=128901236/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=648016 memory=623136 CPUtime=6.27 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 74560 0 0 0 610 17 0 0 20 0 1 0 1858184 663568384 155784 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 162004 155784 644 659 0 161208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 657948 KiB
Current children cumulated memory: 625832 KiB

[startup+12.7003 s]
/proc/loadavg: 2.29 1.59 2.06 5/263 14521
/proc/meminfo: memFree=125574064/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2740036 memory=2564332 CPUtime=12.66 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 207160 0 0 0 1184 82 0 0 20 0 1 0 1858184 2805796864 641083 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 685009 641083 644 659 0 684213 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2749968 KiB
Current children cumulated memory: 2567028 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 1.69 2.09 5/263 14522
/proc/meminfo: memFree=118295552/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2792708 memory=2600200 CPUtime=25.43 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 211673 0 0 0 2460 83 0 0 20 0 1 0 1858184 2859732992 650050 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 698177 650050 644 659 0 697381 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2802640 KiB
Current children cumulated memory: 2602896 KiB

[startup+51.1056 s]
/proc/loadavg: 3.10 1.87 2.14 5/263 14528
/proc/meminfo: memFree=110307980/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=3037356 memory=2847652 CPUtime=50.97 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 221709 0 0 0 4973 124 0 0 20 0 1 0 1858184 3110252544 711913 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 759339 711913 644 659 0 758543 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 3047288 KiB
Current children cumulated memory: 2850348 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 2.28 2.27 5/262 14538
/proc/meminfo: memFree=91665560/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2466952 memory=2082140 CPUtime=102.04 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 248392 0 0 0 9985 219 0 0 20 0 1 0 1858184 2526158848 520535 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 616738 520535 660 659 0 615942 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2476884 KiB
Current children cumulated memory: 2084836 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 2.65 2.40 5/262 14548
/proc/meminfo: memFree=87068544/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2467128 memory=2082316 CPUtime=161.87 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 258437 0 0 0 15944 243 0 0 20 0 1 0 1858184 2526339072 520579 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 616782 520579 660 659 0 615986 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2477060 KiB
Current children cumulated memory: 2085012 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 3.01 2.54 5/263 14562
/proc/meminfo: memFree=84922848/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2460488 memory=2322440 CPUtime=221.69 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 266915 0 0 0 21901 268 0 0 20 0 1 0 1858184 2519539712 580610 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615122 580610 660 659 0 614326 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2470420 KiB

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

/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 309368 0 0 0 51670 409 0 0 20 0 1 0 1858184 2800443392 581175 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 683702 581175 660 659 0 682906 0
Current children cumulated CPU time: 520.79 s
Current children cumulated vsize: 2744740 KiB
Current children cumulated memory: 2327396 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 3.82 3.07 5/261 15012
/proc/meminfo: memFree=78491644/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2760212 memory=2354196 CPUtime=580.62 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 320246 0 0 0 57615 447 0 0 20 0 1 0 1858184 2826457088 588549 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 690053 588549 660 659 0 689257 0
Current children cumulated CPU time: 580.62 s
Current children cumulated vsize: 2770144 KiB
Current children cumulated memory: 2356892 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 3.87 3.13 5/261 15022
/proc/meminfo: memFree=80074316/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2760716 memory=2354700 CPUtime=640.44 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 321160 0 0 0 63593 451 0 0 20 0 1 0 1858184 2826973184 588675 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 690179 588675 660 659 0 689383 0
Current children cumulated CPU time: 640.44 s
Current children cumulated vsize: 2770648 KiB
Current children cumulated memory: 2357396 KiB

[startup+702.3 s]
/proc/loadavg: 4.38 4.01 3.23 5/263 15205
/proc/meminfo: memFree=81744096/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2731404 memory=2325388 CPUtime=700.26 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 339783 0 0 0 69522 504 0 0 20 0 1 0 1858184 2796957696 581347 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 682851 581347 660 659 0 682055 0
Current children cumulated CPU time: 700.26 s
Current children cumulated vsize: 2741336 KiB
Current children cumulated memory: 2328084 KiB

[startup+762.3 s]
/proc/loadavg: 4.24 4.04 3.29 5/263 15215
/proc/meminfo: memFree=80007000/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2731680 memory=2325692 CPUtime=760.08 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 340751 0 0 0 75500 508 0 0 20 0 1 0 1858184 2797240320 581423 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 682920 581423 660 659 0 682124 0
Current children cumulated CPU time: 760.08 s
Current children cumulated vsize: 2741612 KiB
Current children cumulated memory: 2328388 KiB

[startup+822.3 s]
/proc/loadavg: 4.37 4.10 3.37 5/264 15341
/proc/meminfo: memFree=106523008/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2731680 memory=2325692 CPUtime=819.89 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 350448 0 0 0 81448 541 0 0 20 0 1 0 1858184 2797240320 581423 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 682920 581423 660 659 0 682124 0
Current children cumulated CPU time: 819.89 s
Current children cumulated vsize: 2741612 KiB
Current children cumulated memory: 2328388 KiB

[startup+882.3 s]
/proc/loadavg: 4.29 4.13 3.42 5/264 15352
/proc/meminfo: memFree=100956992/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461428 memory=2323424 CPUtime=879.7 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 352170 0 0 0 87420 550 0 0 20 0 1 0 1858184 2520502272 580856 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615357 580856 660 659 0 614561 0
Current children cumulated CPU time: 879.7 s
Current children cumulated vsize: 2471360 KiB
Current children cumulated memory: 2326120 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 4.10 3.46 5/264 15362
/proc/meminfo: memFree=101051068/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461404 memory=2325456 CPUtime=939.52 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 360109 0 0 0 93380 572 0 0 20 0 1 0 1858184 2520477696 581364 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615351 581364 660 659 0 614555 0
Current children cumulated CPU time: 939.52 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2328152 KiB

[startup+943.162 s]
# the end of solver process 14463 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=934.627 s, system=5.76564 s

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

[startup+942.4 s]
/proc/loadavg: 4.10 4.10 3.46 5/264 15362
/proc/meminfo: memFree=101051068/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461404 memory=2325456 CPUtime=939.62 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 360109 0 0 0 93390 572 0 0 20 0 1 0 1858184 2520477696 581364 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615351 581364 660 659 0 614555 0
Current children cumulated CPU time: 939.62 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2328152 KiB

[startup+942.8 s]
/proc/loadavg: 4.10 4.10 3.46 5/264 15362
/proc/meminfo: memFree=101051068/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461404 memory=2325456 CPUtime=940.02 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 360109 0 0 0 93430 572 0 0 20 0 1 0 1858184 2520477696 581364 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615351 581364 660 659 0 614555 0
Current children cumulated CPU time: 940.02 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2328152 KiB

[startup+943 s]*
/proc/loadavg: 4.10 4.10 3.47 5/264 15362
/proc/meminfo: memFree=101102116/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461404 memory=2325456 CPUtime=940.22 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 360171 0 0 0 93450 572 0 0 20 0 1 0 1858184 2520477696 581364 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615351 581364 660 659 0 614555 0
Current children cumulated CPU time: 940.22 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2328152 KiB

[startup+943.106 s]
/proc/loadavg: 4.10 4.10 3.47 5/264 15362
/proc/meminfo: memFree=101102116/131524600 swapFree=131071996/131071996
[pid=14463] ppid=14460 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/14463/stat : 14463 (naps-1.03.sh) S 14460 14463 13977 0 -1 4194304 225 238 0 0 0 0 0 0 20 0 1 0 1858184 10170368 674 134679101440 94521788219392 94521789298712 140725181732688 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94521791397168 94521791444356 94521811116032 140725181740003 140725181740128 140725181740128 140725181747144 0
/proc/14463/statm: 2483 674 597 264 0 134 0
[pid=14468] ppid=14463 vsize=2461404 memory=2325456 CPUtime=940.32 cores=4,6
/proc/14468/stat : 14468 (naps-1.03a2) R 14463 14463 13977 0 -1 4194304 360201 0 0 0 93460 572 0 0 20 0 1 0 1858184 2520477696 581364 134679101440 4194304 6891597 140727129422832 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 26755072 140727129424878 140727129424992 140727129424992 140727129432009 0
/proc/14468/statm: 615351 581364 660 659 0 614555 0
Current children cumulated CPU time: 940.32 s
Current children cumulated vsize: 2471336 KiB
Current children cumulated memory: 2328152 KiB

Child status: 30

Real time (s): 943.162
CPU time (s): 940.393
CPU user time (s): 934.627
CPU system time (s): 5.76564
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 4059508
Max. memory (cumulated for all children) (KiB): 3625172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 934.627
system time used= 5.76564
maximum resident set size= 3622476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360681
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= 12
involuntary context switches= 1477


# summary of solver processes directly reported to runsolver:
#   pid: 14463
#   total CPU time (s): 940.393
#   total CPU user time (s): 934.627
#   total CPU system time (s): 5.76564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56052 second user time and 4.97127 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-30 17:16:48
IDJOB=4463569
IDBENCH=143868
IDSOLVER=3090
FILE ID=nodeC018/4463569-1722352608
RUNJOBID= nodeC018-1722352591-13988
SLURM_JOB_ID= 8249033
Free space on /tmp= 890036 MiB

SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen07_10000_30r_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463569-1722352608/watcher-4463569-1722352608 -o /tmp/evaluation-result-4463569-1722352608/solver-4463569-1722352608 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722352591-13988 --watchdog 3760  HOME/naps-1.03.sh HOME/instance-4463569-1722352608.wbo

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

MD5SUM BENCH= 8c159ddcc7c8e6257617bd9db371f9a1
RANDOM SEED=2079752155

nodeC018.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		: 3668.586
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.92
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		: 3649.361
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		: 3608.890
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.92
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		: 3608.645
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		: 3658.496
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.92
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		: 3642.292
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		: 3659.395
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.92
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		: 3687.823
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:        129550804 kB
MemAvailable:   129812756 kB
Buffers:           65820 kB
Cached:          1032744 kB
SwapCached:            0 kB
Active:           201252 kB
Inactive:        1310776 kB
Active(anon):       1548 kB
Inactive(anon):   432916 kB
Active(file):     199704 kB
Inactive(file):   877860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             27948 kB
Writeback:             0 kB
AnonPages:        412360 kB
Mapped:            92736 kB
Shmem:             21336 kB
KReclaimable:      48068 kB
Slab:             127400 kB
SReclaimable:      48068 kB
SUnreclaim:        79332 kB
KernelStack:        4148 kB
PageTables:         9960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     803328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      146132 kB
DirectMap2M:     9064448 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-30 17:32:31