Trace number 4437709

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT2624620 1796.71 1800.25

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_5_ic.opb
MD5SUM790079d8dde4a901ca091da054907adb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624620
Best CPU time to get the best result obtained on this benchmark0.996269
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 64481201
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2758714973
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 64481201
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2758714973
Number of bits of the biggest sum of numbers32
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 

1796.64/1800.23	o 181652986
1796.64/1800.23	o 120464558
1796.64/1800.23	o 105643640
1796.64/1800.23	o 55077926
1796.64/1800.23	o 50324606
1796.64/1800.23	o 50127032
1796.64/1800.23	o 50003972
1796.64/1800.23	o 49370892
1796.64/1800.23	o 49089698
1796.64/1800.23	o 48825894
1796.64/1800.23	o 48625806
1796.64/1800.23	o 46633738
1796.64/1800.23	o 46523102
1796.64/1800.23	o 45812792
1796.64/1800.23	o 45629218
1796.64/1800.23	o 45153634
1796.64/1800.23	o 45032728
1796.64/1800.23	o 32207848
1796.64/1800.23	o 32105950
1796.64/1800.23	o 31907014
1796.64/1800.23	o 31726786
1796.64/1800.23	o 31652828
1796.64/1800.23	o 23917628
1796.64/1800.23	o 23748318
1796.64/1800.23	o 23455110
1796.64/1800.23	o 23396018
1796.64/1800.23	o 23333278
1796.64/1800.23	o 23148646
1796.64/1800.23	o 23043568
1796.64/1800.23	o 22616594
1796.64/1800.23	o 22577726
1796.64/1800.23	o 22475976
1796.64/1800.23	o 22384548
1796.64/1800.23	o 22352552
1796.64/1800.23	o 22192396
1796.64/1800.23	o 22127830
1796.64/1800.23	o 22094754
1796.64/1800.23	o 20786872
1796.64/1800.23	o 20350354
1796.64/1800.23	o 20142634
1796.64/1800.23	o 19821364
1796.64/1800.23	o 19812660
1796.64/1800.23	o 19779684
1796.64/1800.23	o 19697682
1796.64/1800.23	o 19652716
1796.64/1800.23	o 19612864
1796.64/1800.23	o 19531746
1796.64/1800.23	o 19248474
1796.64/1800.23	o 19246344
1796.64/1800.23	o 18910524
1796.64/1800.23	o 18901968
1796.64/1800.23	o 18819248
1796.64/1800.23	o 18087802
1796.64/1800.23	o 8941506
1796.64/1800.23	o 8720290
1796.64/1800.23	o 8648366
1796.64/1800.23	o 8626808
1796.64/1800.23	o 8622302
1796.64/1800.23	o 6913152
1796.64/1800.23	o 5642208
1796.64/1800.23	o 5467816
1796.64/1800.23	o 5456770
1796.64/1800.23	o 5376272
1796.64/1800.23	o 5150156
1796.64/1800.23	o 5028580
1796.64/1800.23	o 4297134
1796.64/1800.23	o 4259034
1796.64/1800.23	o 4256712
1796.64/1800.23	o 4151258
1796.64/1800.23	o 4127832
1796.64/1800.23	o 4111466
1796.64/1800.23	o 4109260
1796.64/1800.23	o 4089892
1796.64/1800.23	o 3356648
1796.64/1800.23	o 3306620
1796.64/1800.23	o 3089454
1796.64/1800.23	o 2801274
1796.64/1800.23	o 2688402
1796.64/1800.23	o 2624620
1796.64/1800.23	s SATISFIABLE
1796.64/1800.23	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 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 x3267 -x3268 x3269 x3270 -x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 x3283 -x3284 x3285 -x3286 -x3287 -x3288 x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435

Verifier Data 

OK	2624620

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437709-1722979843/watcher-4437709-1722979843 -o /tmp/evaluation-result-4437709-1722979843/solver-4437709-1722979843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722970850-344597 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437709-1722979843.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=349985, runsolver pid=349982

[startup+0.1001 s]*
/proc/loadavg: 4.34 4.21 4.19 5/247 349989
/proc/meminfo: memFree=117214300/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=0.1 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1105 0 0 0 10 0 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+0.21353 s]*
/proc/loadavg: 4.34 4.21 4.19 5/247 349989
/proc/meminfo: memFree=117207412/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=0.21 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1105 0 0 0 20 1 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+0.313162 s]*
/proc/loadavg: 4.31 4.20 4.19 5/247 349989
/proc/meminfo: memFree=117199208/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=0.31 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1105 0 0 0 30 1 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+0.700502 s]
/proc/loadavg: 4.31 4.20 4.19 5/247 349989
/proc/meminfo: memFree=117179252/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=0.68 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1105 0 0 0 65 3 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+1.50046 s]
/proc/loadavg: 4.31 4.20 4.19 5/247 349991
/proc/meminfo: memFree=118669320/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=1.48 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1105 0 0 0 141 7 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+3.11341 s]
/proc/loadavg: 4.31 4.20 4.19 5/253 350005
/proc/meminfo: memFree=118469708/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=3.09 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1124 0 0 0 294 15 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+6.30048 s]
/proc/loadavg: 4.29 4.20 4.18 5/254 350007
/proc/meminfo: memFree=117854272/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=6.27 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1124 0 0 0 597 30 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+12.7004 s]
/proc/loadavg: 4.26 4.20 4.18 5/254 350007
/proc/meminfo: memFree=117154864/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=12.66 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1124 0 0 0 1203 63 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+25.5005 s]
/proc/loadavg: 4.22 4.19 4.18 5/254 350010
/proc/meminfo: memFree=116176116/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=25.43 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1124 0 0 0 2421 122 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+51.1135 s]
/proc/loadavg: 4.32 4.22 4.19 5/254 350013
/proc/meminfo: memFree=116032316/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10264 CPUtime=50.99 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1124 0 0 0 4847 252 0 0 20 0 1 0 64581891 23638016 2566 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2566 1073 2753 0 2424 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14060 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/254 350093
/proc/meminfo: memFree=114500192/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0

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

/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1599.14 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1159 0 0 0 151765 8149 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1599.14 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

[startup+1662.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/253 350936
/proc/meminfo: memFree=110529904/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1659.03 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1160 0 0 0 157442 8461 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1659.03 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

[startup+1722.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/253 350947
/proc/meminfo: memFree=110512676/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1718.91 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1161 0 0 0 163123 8768 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1718.91 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/253 350963
/proc/meminfo: memFree=110487744/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1778.79 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1162 0 0 0 168801 9078 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1778.79 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

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

# cumulated CPU time of all completed processes:  user=1705.11 s, system=91.593 s

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

[startup+1792 s]*
/proc/loadavg: 4.11 4.16 4.17 5/253 350965
/proc/meminfo: memFree=110484216/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1788.48 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1163 0 0 0 169721 9127 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1788.48 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

[startup+1795.2 s]
/proc/loadavg: 4.11 4.16 4.17 5/253 350966
/proc/meminfo: memFree=110484096/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2760 CPUtime=0 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 237 102 0 0 0 0 0 0 20 0 1 0 64581890 10170368 690 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 690 612 264 0 134 0
[pid=349988] ppid=349985 vsize=8660 memory=1036 CPUtime=0 cores=1,3
/proc/349988/stat : 349988 (timeout) S 349985 349988 344585 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64581891 8867840 259 134679101440 94678461992960 94678462027976 140728507474000 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94678464125392 94678464127524 94678497447936 140728507479075 140728507479197 140728507479197 140728507486183 0
/proc/349988/statm: 2165 259 234 9 0 87 0
[pid=349989] ppid=349988 vsize=23084 memory=10860 CPUtime=1791.67 cores=1,3
/proc/349989/stat : 349989 (LS-MabP) R 349988 349988 344585 0 -1 4194304 1163 0 0 0 170023 9144 0 0 20 0 1 0 64581891 23638016 2715 134679101440 4194304 15467897 140726399732304 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 36954112 140726399738935 140726399739044 140726399739044 140726399746030 0
/proc/349989/statm: 5771 2715 1089 2753 0 2424 0
Current children cumulated CPU time: 1791.67 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 14656 KiB

[startup+1798.4 s]
/proc/loadavg: 4.10 4.16 4.17 5/253 350966
/proc/meminfo: memFree=110484028/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2804 CPUtime=1794.47 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 268 1386 0 0 0 0 170290 9157 20 0 1 0 64581890 10170368 701 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 701 612 264 0 134 0
Current children cumulated CPU time: 1794.47 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2804 KiB

[startup+1799.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/253 350968
/proc/meminfo: memFree=113019456/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2804 CPUtime=1794.47 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 268 1386 0 0 0 0 170290 9157 20 0 1 0 64581890 10170368 701 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 701 612 264 0 134 0
[pid=350967] ppid=349985 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/350967/stat : 350967 (timeout) S 349985 350967 344585 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 64761692 8867840 237 134679101440 93907617169408 93907617204424 140733700461072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93907619301840 93907619303972 93907644645376 140733700465652 140733700465821 140733700465821 140733700472807 0
/proc/350967/statm: 2165 237 212 9 0 87 0
[pid=350968] ppid=350967 vsize=33528 memory=17424 CPUtime=1.17 cores=1,3
/proc/350968/stat : 350968 (Exact) R 350967 350967 344585 0 -1 4194304 2641 0 0 0 117 0 0 0 20 0 1 0 64761692 34332672 4356 134679101440 4194304 7243121 140725414245344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 17260544 140725414249488 140725414249638 140725414249638 140725414256624 0
/proc/350968/statm: 8382 4356 804 745 0 7447 0
Current children cumulated CPU time: 1795.64 s
Current children cumulated vsize: 52120 KiB
Current children cumulated memory: 21176 KiB

[startup+1800 s]*
/proc/loadavg: 4.10 4.16 4.17 5/250 351007
/proc/meminfo: memFree=117082384/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2804 CPUtime=1794.47 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 268 1386 0 0 0 0 170290 9157 20 0 1 0 64581890 10170368 701 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 701 612 264 0 134 0
[pid=350967] ppid=349985 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/350967/stat : 350967 (timeout) S 349985 350967 344585 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 64761692 8867840 237 134679101440 93907617169408 93907617204424 140733700461072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93907619301840 93907619303972 93907644645376 140733700465652 140733700465821 140733700465821 140733700472807 0
/proc/350967/statm: 2165 237 212 9 0 87 0
[pid=350968] ppid=350967 vsize=34072 memory=17684 CPUtime=1.98 cores=1,3
/proc/350968/stat : 350968 (Exact) R 350967 350967 344585 0 -1 4194304 2760 0 0 0 198 0 0 0 20 0 1 0 64761692 34889728 4421 134679101440 4194304 7243121 140725414245344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 17260544 140725414249488 140725414249638 140725414249638 140725414256624 0
/proc/350968/statm: 8518 4421 804 745 0 7583 0
Current children cumulated CPU time: 1796.45 s
Current children cumulated vsize: 52664 KiB
Current children cumulated memory: 21436 KiB

[startup+1800.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 351007
/proc/meminfo: memFree=117082384/131655788 swapFree=131071996/131071996
[pid=349985] ppid=349982 vsize=9932 memory=2804 CPUtime=1794.47 cores=1,3
/proc/349985/stat : 349985 (Hybrid-LSMabP+E) S 349982 349985 344585 0 -1 4194304 268 1386 0 0 0 0 170290 9157 20 0 1 0 64581890 10170368 701 134679101440 93960447365120 93960448444440 140736205520416 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93960450542896 93960450590084 93960451198976 140736205521898 140736205522043 140736205522043 140736205529058 0
/proc/349985/statm: 2483 701 612 264 0 134 0
[pid=350967] ppid=349985 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/350967/stat : 350967 (timeout) S 349985 350967 344585 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 64761692 8867840 237 134679101440 93907617169408 93907617204424 140733700461072 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 93907619301840 93907619303972 93907644645376 140733700465652 140733700465821 140733700465821 140733700472807 0
/proc/350967/statm: 2165 237 212 9 0 87 0
[pid=350968] ppid=350967 vsize=34072 memory=17944 CPUtime=2.17 cores=1,3
/proc/350968/stat : 350968 (Exact) R 350967 350967 344585 0 -1 4194304 2779 0 0 0 217 0 0 0 20 0 1 0 64761692 34889728 4486 134679101440 4194304 7243121 140725414245344 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 17260544 140725414249488 140725414249638 140725414249638 140725414256624 0
/proc/350968/statm: 8518 4486 804 745 0 7583 0
Current children cumulated CPU time: 1796.64 s
Current children cumulated vsize: 52664 KiB
Current children cumulated memory: 21696 KiB

Child status: 0

Real time (s): 1800.25
CPU time (s): 1796.71
CPU user time (s): 1705.11
CPU system time (s): 91.593
CPU usage (%): 99.8031
Max. virtual memory (cumulated for all children) (KiB): 52664
Max. memory (cumulated for all children) (KiB): 21696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.11
system time used= 91.593
maximum resident set size= 17944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 466


# summary of solver processes directly reported to runsolver:
#   pid: 349985
#   total CPU time (s): 1796.71
#   total CPU user time (s): 1705.11
#   total CPU system time (s): 91.593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.83329 second user time and 18.9748 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-08-06 23:30:43
IDJOB=4437709
IDBENCH=155734
IDSOLVER=3071
FILE ID=nodeC009/4437709-1722979843
RUNJOBID= nodeC009-1722970850-344597
SLURM_JOB_ID= 8259056
Free space on /tmp= 723704 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_5_ic.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437709-1722979843/watcher-4437709-1722979843 -o /tmp/evaluation-result-4437709-1722979843/solver-4437709-1722979843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722970850-344597 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437709-1722979843.opb 3600 HOME 31000

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

MD5SUM BENCH= 790079d8dde4a901ca091da054907adb
RANDOM SEED=29083265

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.103
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.012
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.257
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.256
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3668.369
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3663.785
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.435
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.304
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117230528 kB
MemAvailable:   127841424 kB
Buffers:          355496 kB
Cached:         11091308 kB
SwapCached:            0 kB
Active:           678320 kB
Inactive:       13245540 kB
Active(anon):       1516 kB
Inactive(anon):  2513236 kB
Active(file):     676804 kB
Inactive(file): 10732304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29396 kB
Writeback:             8 kB
AnonPages:       2477112 kB
Mapped:           106360 kB
Shmem:             37704 kB
KReclaimable:      83972 kB
Slab:             170624 kB
SReclaimable:      83972 kB
SUnreclaim:        86652 kB
KernelStack:        3920 kB
PageTables:        14040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2877204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            25024 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2324480 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:      314184 kB
DirectMap2M:    23707648 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723456 MiB
End job on nodeC009 at 2024-08-07 00:00:43