Trace number 4459922

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
Exact_no_SoPlex 2024-07-05SAT (TO)-82 3600.1 3608.56

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb
MD5SUM65b4d1c4023a2b46e150e438eeed87ff
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-89
Best CPU time to get the best result obtained on this benchmark60631.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150576
Sum of products size (including duplicates)301152
Number of different products75288
Sum of products size150576

Quality of the solution as a function of time


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

Solver Data 

0.69/0.70	o -2
0.69/0.73	o -3
0.69/0.78	o -4
0.78/0.80	o -5
0.78/0.87	o -6
0.78/0.89	o -7
0.88/0.91	o -8
0.88/0.93	o -9
0.88/1.00	o -10
1.00/1.03	o -11
1.09/1.14	o -12
1.88/1.90	o -13
1.88/1.96	o -14
1.99/2.02	o -15
1.99/2.08	o -16
2.09/2.15	o -17
2.19/2.21	o -18
2.19/2.26	o -19
2.28/2.32	o -20
2.38/2.40	o -21
2.38/2.46	o -22
2.48/2.52	o -23
2.48/2.59	o -24
2.58/2.65	o -25
2.68/2.73	o -26
2.78/2.80	o -27
2.88/2.97	o -28
3.18/3.28	o -29
3.57/3.63	o -30
3.77/3.89	o -31
5.28/5.34	o -32
5.67/5.71	o -33
5.67/5.75	o -34
5.67/5.79	o -35
5.77/5.87	o -36
5.87/5.93	o -37
5.99/6.04	o -38
6.17/6.25	o -39
6.27/6.39	o -40
6.77/6.81	o -41
6.87/6.90	o -42
6.87/6.97	o -43
7.17/7.25	o -44
7.27/7.35	o -45
7.57/7.69	o -46
8.16/8.26	o -47
8.26/8.38	o -48
8.46/8.53	o -49
8.86/8.96	o -50
9.76/9.80	o -51
10.76/10.82	o -52
27.12/27.25	o -53
27.22/27.37	o -54
27.32/27.46	o -55
27.42/27.51	o -56
27.42/27.58	o -57
27.72/27.88	o -58
27.93/28.01	o -59
27.93/28.11	o -60
28.03/28.20	o -61
28.61/28.76	o -62
29.51/29.68	o -63
30.92/31.02	o -64
31.41/31.58	o -65
33.60/33.72	o -66
54.65/54.84	o -67
55.25/55.49	o -68
82.28/82.57	o -69
82.48/82.77	o -70
82.58/82.81	o -71
82.58/82.84	o -72
82.97/83.27	o -73
83.27/83.51	o -74
84.47/84.79	o -75
90.05/90.39	o -76
93.35/93.60	o -77
130.15/130.58	o -78
311.54/312.43	o -79
453.71/454.95	o -80
1742.27/1746.48	o -81
2834.01/2840.69	o -82
3600.03/3608.50	c Program interrupted by user.
3600.03/3608.50	s SATISFIABLE
3600.03/3608.50	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

Verifier Data 

OK	-82

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459922-1721943104/watcher-4459922-1721943104 -o /tmp/evaluation-result-4459922-1721943104/solver-4459922-1721943104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721939464-296994 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1194227528 HOME/instance-4459922-1721943104.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=299394, runsolver pid=299391

[startup+0.100784 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 299395
/proc/meminfo: memFree=123041632/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=49072 memory=27896 CPUtime=0.1 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 7483 0 0 0 9 1 0 0 20 0 1 0 30300280 50249728 6974 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 12268 6974 771 746 0 11332 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49072 KiB
Current children cumulated memory: 27896 KiB

[startup+0.213006 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 299395
/proc/meminfo: memFree=122994140/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=93940 memory=76008 CPUtime=0.21 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 19712 0 0 0 17 4 0 0 20 0 1 0 30300280 96194560 18936 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 23485 18936 771 746 0 22549 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 93940 KiB
Current children cumulated memory: 76008 KiB

[startup+0.313157 s]*
/proc/loadavg: 4.10 4.10 4.09 5/241 299395
/proc/meminfo: memFree=122955916/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=143120 memory=127336 CPUtime=0.31 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 27972 0 0 0 25 6 0 0 20 0 1 0 30300280 146554880 31834 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 35780 31834 771 746 0 34844 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 143120 KiB
Current children cumulated memory: 127336 KiB

[startup+0.700349 s]
/proc/loadavg: 4.10 4.10 4.09 6/241 299395
/proc/meminfo: memFree=122921916/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=184140 memory=163792 CPUtime=0.69 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 36738 0 0 0 61 8 0 0 20 0 1 0 30300280 188559360 40948 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 46035 40948 787 746 0 45099 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 184140 KiB
Current children cumulated memory: 163792 KiB

[startup+1.50033 s]
/proc/loadavg: 4.10 4.10 4.09 5/241 299395
/proc/meminfo: memFree=122885460/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=206416 memory=189044 CPUtime=1.48 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 40987 0 0 0 140 8 0 0 20 0 1 0 30300280 211369984 47261 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 51604 47261 835 746 0 50668 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 206416 KiB
Current children cumulated memory: 189044 KiB

[startup+3.11255 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 299395
/proc/meminfo: memFree=122866412/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=211992 memory=198572 CPUtime=3.09 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 42323 0 0 0 300 9 0 0 20 0 1 0 30300280 217079808 49643 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 52998 49643 835 746 0 52062 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 211992 KiB
Current children cumulated memory: 198572 KiB

[startup+6.30032 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 299397
/proc/meminfo: memFree=122841620/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=249220 memory=219888 CPUtime=6.27 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 45551 0 0 0 617 10 0 0 20 0 1 0 30300280 255201280 54972 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 62305 54972 835 746 0 61369 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 249220 KiB
Current children cumulated memory: 219888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.09 5/241 299397
/proc/meminfo: memFree=122815264/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=258764 memory=239512 CPUtime=12.66 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 47693 0 0 0 1255 11 0 0 20 0 1 0 30300280 264974336 59878 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 64691 59878 835 746 0 63755 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 258764 KiB
Current children cumulated memory: 239512 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.11 4.09 5/241 299400
/proc/meminfo: memFree=122778388/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=312344 memory=265060 CPUtime=25.42 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 50967 0 0 0 2529 13 0 0 20 0 1 0 30300280 319840256 66265 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 78086 66265 835 746 0 77150 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 312344 KiB
Current children cumulated memory: 265060 KiB

[startup+51.1127 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 299449
/proc/meminfo: memFree=123215524/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=408404 memory=349292 CPUtime=50.97 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 57443 0 0 0 5080 17 0 0 20 0 1 0 30300280 418205696 87323 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 102101 87323 835 746 0 101165 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 408404 KiB
Current children cumulated memory: 349292 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/241 299458
/proc/meminfo: memFree=123109048/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=459964 memory=423624 CPUtime=102.03 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 67469 0 0 0 10183 20 0 0 20 0 1 0 30300280 471003136 105906 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 114991 105906 835 746 0 114055 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 459964 KiB
Current children cumulated memory: 423624 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/239 299468
/proc/meminfo: memFree=123051288/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=480456 memory=445692 CPUtime=161.87 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 71599 0 0 0 16167 20 0 0 20 0 1 0 30300280 491986944 111423 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 120114 111423 835 746 0 119178 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 480456 KiB
Current children cumulated memory: 445692 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/238 299479
/proc/meminfo: memFree=123017900/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=492184 memory=457572 CPUtime=221.71 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 74119 0 0 0 22150 21 0 0 20 0 1 0 30300280 503996416 114393 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 123046 114393 835 746 0 122110 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 492184 KiB
Current children cumulated memory: 457572 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/238 299489
/proc/meminfo: memFree=122968084/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=495580 memory=469864 CPUtime=281.53 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 75259 0 0 0 28131 22 0 0 20 0 1 0 30300280 507473920 117466 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 123895 117466 835 746 0 122959 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 495580 KiB
Current children cumulated memory: 469864 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/238 299499
/proc/meminfo: memFree=122944496/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=504496 memory=485936 CPUtime=341.37 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 77180 0 0 0 34115 22 0 0 20 0 1 0 30300280 516603904 121484 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 126124 121484 835 746 0 125188 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 504496 KiB
Current children cumulated memory: 485936 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/238 299509
/proc/meminfo: memFree=122935076/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=505888 memory=487228 CPUtime=401.23 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 77626 0 0 0 40101 22 0 0 20 0 1 0 30300280 518029312 121807 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 126472 121807 835 746 0 125536 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 505888 KiB
Current children cumulated memory: 487228 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/238 299520
/proc/meminfo: memFree=122914368/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=519008 memory=500048 CPUtime=461.1 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 80548 0 0 0 46087 23 0 0 20 0 1 0 30300280 531464192 125012 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 129752 125012 835 746 0 128816 0

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

Current children cumulated memory: 760184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/240 301065
/proc/meminfo: memFree=122534420/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=846360 memory=760312 CPUtime=2915.48 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 126462 0 0 0 291507 41 0 0 20 0 1 0 30300280 866672640 190078 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 211590 190078 835 746 0 210654 0
Current children cumulated CPU time: 2915.48 s
Current children cumulated vsize: 846360 KiB
Current children cumulated memory: 760312 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/240 301076
/proc/meminfo: memFree=122491764/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=909532 memory=800640 CPUtime=2975.31 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 136292 0 0 0 297489 42 0 0 20 0 1 0 30300280 931360768 200160 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 227383 200160 835 746 0 226447 0
Current children cumulated CPU time: 2975.31 s
Current children cumulated vsize: 909532 KiB
Current children cumulated memory: 800640 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/240 301088
/proc/meminfo: memFree=122482888/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=912732 memory=803704 CPUtime=3035.15 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 136720 0 0 0 303472 43 0 0 20 0 1 0 30300280 934637568 200926 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228183 200926 835 746 0 227247 0
Current children cumulated CPU time: 3035.15 s
Current children cumulated vsize: 912732 KiB
Current children cumulated memory: 803704 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/240 301098
/proc/meminfo: memFree=122479164/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=912732 memory=803844 CPUtime=3094.98 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 136998 0 0 0 309455 43 0 0 20 0 1 0 30300280 934637568 200961 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228183 200961 835 746 0 227247 0
Current children cumulated CPU time: 3094.98 s
Current children cumulated vsize: 912732 KiB
Current children cumulated memory: 803844 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/240 301108
/proc/meminfo: memFree=122476536/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=914140 memory=805256 CPUtime=3154.81 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 137706 0 0 0 315438 43 0 0 20 0 1 0 30300280 936079360 201314 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228535 201314 835 746 0 227599 0
Current children cumulated CPU time: 3154.81 s
Current children cumulated vsize: 914140 KiB
Current children cumulated memory: 805256 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.16 4.15 5/240 301503
/proc/meminfo: memFree=122456928/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=914140 memory=822384 CPUtime=3214.66 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 138048 0 0 0 321423 43 0 0 20 0 1 0 30300280 936079360 205596 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228535 205596 835 746 0 227599 0
Current children cumulated CPU time: 3214.66 s
Current children cumulated vsize: 914140 KiB
Current children cumulated memory: 822384 KiB

[startup+3282.3 s]
/proc/loadavg: 4.65 4.30 4.20 5/240 301513
/proc/meminfo: memFree=122445240/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=914652 memory=829332 CPUtime=3274.53 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 138546 0 0 0 327410 43 0 0 20 0 1 0 30300280 936603648 207333 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228663 207333 835 746 0 227727 0
Current children cumulated CPU time: 3274.53 s
Current children cumulated vsize: 914652 KiB
Current children cumulated memory: 829332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.27 4.20 5/240 301523
/proc/meminfo: memFree=122443568/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=914652 memory=829332 CPUtime=3334.4 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 138929 0 0 0 333397 43 0 0 20 0 1 0 30300280 936603648 207333 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228663 207333 835 746 0 227727 0
Current children cumulated CPU time: 3334.4 s
Current children cumulated vsize: 914652 KiB
Current children cumulated memory: 829332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.18 5/242 301703
/proc/meminfo: memFree=122442612/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=914652 memory=829332 CPUtime=3394.27 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 139278 0 0 0 339384 43 0 0 20 0 1 0 30300280 936603648 207333 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228663 207333 835 746 0 227727 0
Current children cumulated CPU time: 3394.27 s
Current children cumulated vsize: 914652 KiB
Current children cumulated memory: 829332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.32 4.21 5/242 301714
/proc/meminfo: memFree=122439896/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=915676 memory=830356 CPUtime=3454.15 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 139972 0 0 0 345371 44 0 0 20 0 1 0 30300280 937652224 207589 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228919 207589 835 746 0 227983 0
Current children cumulated CPU time: 3454.15 s
Current children cumulated vsize: 915676 KiB
Current children cumulated memory: 830356 KiB

[startup+3522.3 s]
/proc/loadavg: 5.01 4.49 4.28 5/241 301782
/proc/meminfo: memFree=122436436/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=915676 memory=830484 CPUtime=3514.02 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 140350 0 0 0 351358 44 0 0 20 0 1 0 30300280 937652224 207621 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 228919 207621 835 746 0 227983 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 915676 KiB
Current children cumulated memory: 830484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.95 4.59 4.33 4/234 301824
/proc/meminfo: memFree=122634996/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=921436 memory=836056 CPUtime=3573.88 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 141584 0 0 0 357344 44 0 0 20 0 1 0 30300280 943550464 209014 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 230359 209014 835 746 0 229423 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 921436 KiB
Current children cumulated memory: 836056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.00 4.40 4.27 3/227 301860
/proc/meminfo: memFree=122953248/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=921436 memory=836116 CPUtime=3600.03 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 141839 0 0 0 359959 44 0 0 20 0 1 0 30300280 943550464 209029 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 230359 209029 835 746 0 229423 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 921436 KiB
Current children cumulated memory: 836116 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3599.65 s, system=0.453959 s

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

[startup+3608.5 s]
/proc/loadavg: 4.00 4.40 4.27 3/227 301860
/proc/meminfo: memFree=122953248/131655788 swapFree=131061684/131071996
[pid=299394] ppid=299391 vsize=921436 memory=836116 CPUtime=3600.03 cores=4,6
/proc/299394/stat : 299394 (Exact_nosoplex) R 299391 299394 296983 0 -1 4194304 141839 0 0 0 359959 44 0 0 20 0 1 0 30300280 943550464 209029 134679101440 4194304 7248369 140732419450608 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 15908864 140732419457967 140732419458146 140732419458146 140732419465158 0
/proc/299394/statm: 230359 209029 835 746 0 229423 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 921436 KiB
Current children cumulated memory: 836116 KiB

Child status: 10

Real time (s): 3608.56
CPU time (s): 3600.1
CPU user time (s): 3599.65
CPU system time (s): 0.453959
CPU usage (%): 99.7656
Max. virtual memory (cumulated for all children) (KiB): 921436
Max. memory (cumulated for all children) (KiB): 836116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.453959
maximum resident set size= 836116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141864
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= 121
involuntary context switches= 2703


# summary of solver processes directly reported to runsolver:
#   pid: 299394
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.65
#   total CPU system time (s): 0.453959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9844 second user time and 35.2817 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-25 23:31:44
IDJOB=4459922
IDBENCH=148664
IDSOLVER=3061
FILE ID=nodeC011/4459922-1721943104
RUNJOBID= nodeC011-1721939464-296994
SLURM_JOB_ID= 8247265
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459922-1721943104/watcher-4459922-1721943104 -o /tmp/evaluation-result-4459922-1721943104/solver-4459922-1721943104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721939464-296994 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1194227528 HOME/instance-4459922-1721943104.opb

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

MD5SUM BENCH= 65b4d1c4023a2b46e150e438eeed87ff
RANDOM SEED=1194227528

nodeC011.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		: 3646.683
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	: 6984.36
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		: 1197.420
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.35
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.466
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	: 6984.36
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		: 3637.669
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.35
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		: 3655.829
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	: 6984.36
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		: 3603.061
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.35
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.330
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	: 6984.36
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.482
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123070780 kB
MemAvailable:   129300416 kB
Buffers:          330428 kB
Cached:          6728552 kB
SwapCached:          164 kB
Active:          1855960 kB
Inactive:        6187608 kB
Active(anon):       2144 kB
Inactive(anon):  1035464 kB
Active(file):    1853816 kB
Inactive(file):  5152144 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061684 kB
Dirty:             16836 kB
Writeback:             0 kB
AnonPages:        984284 kB
Mapped:           108436 kB
Shmem:             52980 kB
KReclaimable:     127752 kB
Slab:             231816 kB
SReclaimable:     127752 kB
SUnreclaim:       104064 kB
KernelStack:        3904 kB
PageTables:        11428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1415596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    749568 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:      424776 kB
DirectMap2M:    46665728 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-26 00:31:53