Trace number 4456377

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
FiberSCIP 2024-07-02OPTIMUM 32.2201 32.338

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/driver/
normalized-driverlog05cc_wcsp.wbo
MD5SUM3a053c93e9d0e4397f450be459e8f306
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2641
Best CPU time to get the best result obtained on this benchmark0.84552
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1359
Total number of constraints37158
Number of soft constraints36807
Number of constraints which are clauses36807
Number of constraints which are cardinality constraints (but not clauses)351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 108619
Min constraint cost 1
Max constraint cost 108619
Sum of constraints costs 3926793432
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
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

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.20/0.28	c Default LC presolving (default).
0.20/0.28	c ** Before presolving: virtualMemUsedAtLc = 238704306, getVmSize() = 164265984, SCIPgetMemUsed() = 128776610, SCIPgetMemTotal() = 135608178, SCIPgetMemExternEstim() = 103096128
0.20/0.28	c ** set memory limit for presolving in LC to 8.79602e+12 for SCIP **
7.07/7.19	c ** Estimated virtualMemUsedAtSolver = 250918200, getVmSize() = 310022144, SCIPgetMemUsed() = 213006893, SCIPgetMemTotal() = 273281173, SCIPgetMemExternEstim() = 103096128
7.07/7.19	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
7.07/7.19	c Original Problem   :
7.07/7.19	c   Problem name     : instance-4456377-1721719657
7.07/7.19	c   Variables        : 38166 (38166 binary, 0 integer, 0 implicit integer, 0 continuous)
7.07/7.19	c   Constraints      : 73966
7.07/7.19	c   Objective sense  : minimize
7.07/7.19	c Presolved Problem  :
7.07/7.19	c   Variables        : 1895 (1895 binary, 0 integer, 0 implicit integer, 0 continuous)
7.07/7.19	c   Constraints      : 29282
7.07/7.19	c Constraints        : Number
7.07/7.19	c   setppc           : 28620 
7.07/7.19	c   linear           : 656 
7.07/7.19	c   indicator        : 6 
7.07/7.19	c ** Instance transfer method used: 0
7.16/7.24	c ** ParaScipInstance copy does not increase the number of variables. **
7.16/7.29	c LC is working with racing ramp-up and with rebuilding tree after racing.
7.16/7.29	c                                Nodes    Active                                            
7.16/7.29	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
16.62/16.74	c *      17              0           1         1        3904.0000                -          -
16.62/16.74	c        17              0           1         1        3904.0000                -          -
22.40/22.56	c *      23              0           1         1        3172.0000                -          -
22.40/22.56	c        23              0           1         1        3172.0000                -          -
27.78/27.93	c        28              3           0         1        3172.0000        2328.7418     36.21%
27.98/28.15	c *      28              3           0         1        2641.0000        2328.7418     13.41%
31.77/31.99	c        32              7           0         0        2641.0000        2641.0000      0.00%
31.88/32.10	c        32              7           0         0        2641.0000        2641.0000          -
31.88/32.10	c SCIP Status        : c problem is solved
31.88/32.10	c Total Time         : 32.1100
31.88/32.10	c   solving          : 32.1100
31.88/32.10	c   presolving       : 6.9036 (included in solving)
31.88/32.10	c B&B Tree           :
31.88/32.10	c   nodes (total)    : 7
31.88/32.10	c Solution           :
31.88/32.10	c   Solutions found  : 3
31.88/32.10	c   Primal Bound     : +2.64100000000000e+03
31.88/32.10	c   Dual Bound       : +2.64100000000000e+03
31.88/32.10	c Gap                : 0.00000 %
31.99/32.14	o 2641
31.99/32.14	s OPTIMUM FOUND
31.99/32.14	v -x1359 x1358 -x1357 x1356 x1355 -x1354 x1353 -x1352 -x1351 x1350 x1349 -x1348 x1347 -x1346 x1345 -x1344 x1343 -x1342 x1341 -x1340 
31.99/32.14	v x1339 -x1338 x1337 -x1336 -x1335 x1334 -x1333 x1332 -x1331 x1330 -x1329 x1328 -x1327 x1326 x1325 -x1324 -x1323 x1322 x1321 
31.99/32.14	v -x1320 -x1319 x1318 -x1317 x1316 -x1315 x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 x1302 
31.99/32.14	v -x1301 -x1300 x1299 -x1298 -x1297 x1296 -x1295 -x1294 x1293 x1292 -x1291 -x1290 x1289 -x1288 x1287 -x1286 x1285 -x1284 x1283 
31.99/32.14	v -x1282 x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 -x1274 x1273 -x1272 -x1271 x1270 -x1269 -x1268 x1267 -x1266 -x1265 x1264 
31.99/32.14	v -x1263 -x1262 x1261 -x1260 -x1259 x1258 -x1257 -x1256 x1255 -x1254 x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 x1246 
31.99/32.14	v -x1245 x1244 -x1243 x1242 x1241 -x1240 -x1239 x1238 -x1237 x1236 -x1235 x1234 x1233 -x1232 -x1231 x1230 -x1229 x1228 -x1227 x1226 
31.99/32.14	v -x1225 x1224 -x1223 x1222 -x1221 x1220 -x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208 -x1207 
31.99/32.14	v -x1206 -x1205 x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 
31.99/32.14	v x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 x1174 -x1173 -x1172 x1171 -x1170 
31.99/32.14	v -x1169 -x1168 x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154 -x1153 x1152 
31.99/32.14	v -x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 x1134 -x1133 
31.99/32.14	v -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 
31.99/32.14	v -x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 x1105 -x1104 -x1103 x1102 -x1101 -x1100 x1099 -x1098 -x1097 x1096 
31.99/32.14	v -x1095 -x1094 x1093 -x1092 x1091 -x1090 x1089 -x1088 -x1087 x1086 -x1085 x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078 x1077 
31.99/32.14	v -x1076 x1075 -x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 x1063 -x1062 x1061 -x1060 -x1059 -x1058 
31.99/32.14	v x1057 -x1056 x1055 -x1054 x1053 -x1052 x1051 -x1050 x1049 -x1048 x1047 -x1046 x1045 -x1044 x1043 -x1042 x1041 -x1040 x1039 
31.99/32.14	v -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 
31.99/32.14	v x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
31.99/32.14	v x1001 -x1000 -x999 x998 -x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 x985 -x984 -x983 x982 -x981 -x980 
31.99/32.14	v -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 x959 
31.99/32.14	v -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 x937 
31.99/32.14	v -x936 -x935 -x934 -x933 -x932 x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 x916 
31.99/32.14	v -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 
31.99/32.14	v -x893 -x892 x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 
31.99/32.14	v x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 x854 -x853 -x852 -x851 
31.99/32.14	v -x850 x849 -x848 -x847 x846 -x845 -x844 x843 -x842 -x841 -x840 x839 -x838 -x837 x836 -x835 -x834 x833 -x832 -x831 x830 -x829 
31.99/32.14	v -x828 x827 -x826 x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 x817 -x816 x815 -x814 x813 -x812 x811 -x810 x809 -x808 x807 
31.99/32.14	v -x806 x805 -x804 x803 -x802 x801 -x800 x799 -x798 x797 -x796 x795 -x794 x793 -x792 x791 -x790 x789 -x788 x787 -x786 x785 -x784 
31.99/32.14	v x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 
31.99/32.14	v -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 
31.99/32.14	v -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 x721 -x720 
31.99/32.14	v -x719 -x718 x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 x700 -x699 -x698 
31.99/32.14	v -x697 -x696 x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 x679 -x678 -x677 
31.99/32.14	v -x676 -x675 x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 x655 
31.99/32.14	v -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 x634 
31.99/32.14	v -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 
31.99/32.14	v x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 
31.99/32.14	v -x590 x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 -x572 -x571 x570 -x569 
31.99/32.14	v -x568 -x567 x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 x558 -x557 -x556 x555 -x554 -x553 -x552 x551 -x550 -x549 x548 -x547 
31.99/32.14	v -x546 x545 x544 -x543 -x542 x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 x529 -x528 -x527 x526 -x525 
31.99/32.14	v -x524 x523 -x522 -x521 x520 -x519 -x518 x517 -x516 -x515 x514 -x513 -x512 x511 -x510 x509 -x508 -x507 -x506 x505 -x504 x503 
31.99/32.14	v -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 x483 -x482 x481 
31.99/32.14	v -x480 x479 -x478 x477 -x476 x475 -x474 x473 x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 
31.99/32.14	v -x458 x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
31.99/32.14	v -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 
31.99/32.14	v -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 x397 -x396 -x395 x394 
31.99/32.14	v -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 x374 -x373 
31.99/32.14	v -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 
31.99/32.14	v -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 
31.99/32.14	v -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 
31.99/32.14	v -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287 
31.99/32.14	v -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 
31.99/32.14	v -x265 -x264 x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 x245 -x244 
31.99/32.14	v -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 
31.99/32.14	v x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 -x206 x205 -x204 -x203 x202 -x201 
31.99/32.14	v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 
31.99/32.14	v x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 x158 
31.99/32.14	v -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 
31.99/32.14	v -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 
31.99/32.14	v -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 
31.99/32.14	v x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66 
31.99/32.14	v -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 x41 -x40 
31.99/32.14	v -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 
32.17/32.32	v x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1

Verifier Data 

OK	2641

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456377-1721719657/watcher-4456377-1721719657 -o /tmp/evaluation-result-4456377-1721719657/solver-4456377-1721719657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86211 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456377-1721719657.wbo -qsol -t 3600 -sth 1 

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
solver pid=87321, runsolver pid=87318
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.12 4.10 3.63 5/258 87322
/proc/meminfo: memFree=99955752/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=65528 memory=53252 CPUtime=0.09 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 11219 0 0 0 8 1 0 0 20 0 1 0 8494002 67100672 13247 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 16382 13313 2318 3032 0 12782 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65528 KiB
Current children cumulated memory: 53252 KiB

[startup+0.205892 s]*
/proc/loadavg: 4.12 4.10 3.63 5/258 87322
/proc/meminfo: memFree=99890344/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=131008 memory=119596 CPUtime=0.2 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 28012 0 0 0 16 4 0 0 20 0 1 0 8494002 134152192 29899 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 32752 29899 2558 3032 0 29152 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 119596 KiB

[startup+0.305825 s]*
/proc/loadavg: 4.12 4.10 3.63 5/258 87322
/proc/meminfo: memFree=99847568/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=173488 memory=160108 CPUtime=0.3 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 38138 0 0 0 25 5 0 0 20 0 1 0 8494002 177651712 40027 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 43372 40027 2590 3032 0 39772 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 173488 KiB
Current children cumulated memory: 160108 KiB

[startup+0.700245 s]
/proc/loadavg: 4.12 4.10 3.63 5/258 87322
/proc/meminfo: memFree=99767124/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=294088 memory=276176 CPUtime=0.69 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 68519 0 0 0 61 8 0 0 20 0 1 0 8494002 301146112 69044 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 73522 69044 2606 3032 0 69922 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 294088 KiB
Current children cumulated memory: 276176 KiB

[startup+1.50025 s]
/proc/loadavg: 4.12 4.10 3.63 5/258 87322
/proc/meminfo: memFree=99732984/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=291432 memory=273892 CPUtime=1.48 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 70351 0 0 0 140 8 0 0 20 0 1 0 8494002 298426368 68473 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 72858 68473 2622 3032 0 69258 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 291432 KiB
Current children cumulated memory: 273892 KiB

[startup+3.10591 s]
/proc/loadavg: 4.11 4.09 3.63 5/258 87322
/proc/meminfo: memFree=99731876/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=291788 memory=274156 CPUtime=3.08 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 70439 0 0 0 300 8 0 0 20 0 1 0 8494002 298790912 68539 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 72947 68539 2622 3032 0 69347 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 291788 KiB
Current children cumulated memory: 274156 KiB

[startup+6.30024 s]
/proc/loadavg: 4.11 4.09 3.63 5/258 87322
/proc/meminfo: memFree=99731268/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=292488 memory=274948 CPUtime=6.26 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 70612 0 0 0 617 9 0 0 20 0 1 0 8494002 299507712 68737 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 73122 68737 2622 3032 0 69522 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 292488 KiB
Current children cumulated memory: 274948 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 3.63 5/260 87326
/proc/meminfo: memFree=99650904/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=452044 memory=355596 CPUtime=12.63 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 117998 0 0 0 1246 17 0 0 20 0 3 0 8494002 462893056 88899 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 113011 88899 2798 3032 0 95381 0
[pid=87321/tid=87323] ppid=87318 vsize=452044 memory=355596 CPUtime=5.41 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 39994 0 0 0 535 6 0 0 20 0 3 0 8494721 462893056 88899 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=452044 memory=274684 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 8494731 462893056 88899 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 452044 KiB
Current children cumulated memory: 355596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 3.64 5/260 87327
/proc/meminfo: memFree=99548332/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=458560 CPUtime=25.39 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 176490 0 0 0 2516 23 0 0 20 0 3 0 8494002 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114640 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=425736 CPUtime=18.17 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 97447 0 0 0 1805 12 0 0 20 0 3 0 8494721 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=407136 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 458560 KiB

[startup+32.3379 s]
# the end of solver process 87321 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=31.9152 s, system=0.304902 s

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

[startup+25.6003 s]
/proc/loadavg: 4.08 4.09 3.64 5/260 87327
/proc/meminfo: memFree=99548332/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=458560 CPUtime=25.49 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 176501 0 0 0 2526 23 0 0 20 0 3 0 8494002 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114640 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=33272 CPUtime=18.27 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 97458 0 0 0 1815 12 0 0 20 0 3 0 8494721 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=13136 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114640 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 458560 KiB

[startup+28.8003 s]
/proc/loadavg: 4.07 4.08 3.64 5/260 87327
/proc/meminfo: memFree=99548164/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=459236 CPUtime=28.69 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 185935 0 0 0 2845 24 0 0 20 0 3 0 8494002 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114809 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=17908 CPUtime=21.46 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 106238 0 0 0 2134 12 0 0 20 0 3 0 8494721 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=2132 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 459236 KiB

[startup+30.4003 s]
/proc/loadavg: 4.07 4.08 3.64 5/260 87329
/proc/meminfo: memFree=99547580/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=459236 CPUtime=30.28 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 189514 0 0 0 3004 24 0 0 20 0 3 0 8494002 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114809 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=11548 CPUtime=23.06 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 109816 0 0 0 2293 13 0 0 20 0 3 0 8494721 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=33272 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 459236 KiB

[startup+31.2003 s]
/proc/loadavg: 4.07 4.08 3.64 5/260 87329
/proc/meminfo: memFree=99547580/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=459236 CPUtime=31.08 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 190470 0 0 0 3084 24 0 0 20 0 3 0 8494002 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114809 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=-7450473877581422207 CPUtime=23.86 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 110772 0 0 0 2373 13 0 0 20 0 3 0 8494721 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=108 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 31.08 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 459236 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.15 4.10 3.65 5/260 87329
/proc/meminfo: memFree=99547536/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=585200 memory=459236 CPUtime=31.88 cores=4,6
/proc/87321/stat : 87321 (fscip) S 87318 87321 86200 0 -1 1077936128 196661 0 0 0 3164 24 0 0 20 0 3 0 8494002 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 146300 114809 2990 3032 0 130766 0
[pid=87321/tid=87323] ppid=87318 vsize=585200 memory=-7450473877581422207 CPUtime=24.66 cores=4,6
/proc/87321/task/87323/stat : 87323 (fscip) R 87318 87321 86200 0 -1 4194368 116967 0 0 0 2453 13 0 0 20 0 3 0 8494721 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
[pid=87321/tid=87324] ppid=87318 vsize=585200 memory=4724 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 8494731 599244800 114809 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 585200 KiB
Current children cumulated memory: 459236 KiB

[startup+32.201 s]
/proc/loadavg: 4.15 4.10 3.65 5/260 87329
/proc/meminfo: memFree=99547536/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=508288 memory=415520 CPUtime=32.08 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 233487 0 0 0 3181 27 0 0 20 0 2 0 8494002 520486912 103880 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 127072 103880 2990 3032 0 123309 0
[pid=87321/tid=87324] ppid=87318 vsize=508288 memory=2776 CPUtime=0 cores=4,6
/proc/87321/task/87324/stat : 87324 (fscip) S 87318 87321 86200 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 2 0 8494731 520486912 103880 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
Current children cumulated CPU time: 32.08 s
Current children cumulated vsize: 508288 KiB
Current children cumulated memory: 415520 KiB

[startup+32.301 s]
/proc/loadavg: 4.15 4.10 3.65 5/260 87329
/proc/meminfo: memFree=99547536/131524600 swapFree=131071996/131071996
[pid=87321] ppid=87318 vsize=400264 memory=305500 CPUtime=32.17 cores=4,6
/proc/87321/stat : 87321 (fscip) R 87318 87321 86200 0 -1 4194304 255288 0 0 0 3189 28 0 0 20 0 1 0 8494002 409870336 76375 134679101440 4194304 16613245 140727038607936 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 31547392 140727038616600 140727038616716 140727038616716 140727038623728 0
/proc/87321/statm: 100066 76375 2990 3032 0 96303 0
Current children cumulated CPU time: 32.17 s
Current children cumulated vsize: 400264 KiB
Current children cumulated memory: 305500 KiB

Child status: 0

Real time (s): 32.338
CPU time (s): 32.2201
CPU user time (s): 31.9152
CPU system time (s): 0.304902
CPU usage (%): 99.6355
Max. virtual memory (cumulated for all children) (KiB): 585200
Max. memory (cumulated for all children) (KiB): 459236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9152
system time used= 0.304902
maximum resident set size= 459236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260539
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= 44
involuntary context switches= 92


# summary of solver processes directly reported to runsolver:
#   pid: 87321
#   total CPU time (s): 32.2201
#   total CPU user time (s): 31.9152
#   total CPU system time (s): 0.304902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070726 second user time and 0.20034 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-23 09:27:37
IDJOB=4456377
IDBENCH=143948
IDSOLVER=3044
FILE ID=nodeC018/4456377-1721719657
RUNJOBID= nodeC018-1721718414-86211
SLURM_JOB_ID= 7770409
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/driver/normalized-driverlog05cc_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456377-1721719657/watcher-4456377-1721719657 -o /tmp/evaluation-result-4456377-1721719657/solver-4456377-1721719657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721718414-86211 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4456377-1721719657.wbo -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 3a053c93e9d0e4397f450be459e8f306
RANDOM SEED=1708608185

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		: 3600.211
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.43
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		: 3688.548
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.33
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		: 3663.408
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.076
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.33
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		: 3656.156
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.43
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		: 3688.647
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.33
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		: 3666.685
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.43
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		: 3599.914
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        99997200 kB
MemAvailable:   124962340 kB
Buffers:          143292 kB
Cached:         25550164 kB
SwapCached:            0 kB
Active:           926200 kB
Inactive:       29829912 kB
Active(anon):       1548 kB
Inactive(anon):  5099148 kB
Active(file):     924652 kB
Inactive(file): 24730764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29312 kB
Writeback:             0 kB
AnonPages:       5060996 kB
Mapped:           134140 kB
Shmem:             37712 kB
KReclaimable:     299092 kB
Slab:             407460 kB
SReclaimable:     299092 kB
SUnreclaim:       108368 kB
KernelStack:        4192 kB
PageTables:        19524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3440880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1445888 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:      281300 kB
DirectMap2M:    24657920 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC018 at 2024-07-23 09:28:10