Trace number 4527542

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
LSIPExact S1SAT (TO)-26 3602.11 1820.83

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
MD5SUM7d697abe2607c9e2486f4e4c4676f6ab
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark72000.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
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 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

3600.05/1818.70	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.05/1818.70	c numVar: 1835
3600.05/1818.70	c numCon: 2112
3600.05/1818.70	c numEqual: 37
3600.05/1818.70	c intSize: 10
3600.05/1818.70	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.05/1818.70	c ------------------- Paras list -------------------
3600.05/1818.70	c Name                	 Type      	 Now       	 Default   	 Comment
3600.05/1818.70	c timeout             	 double    	 3600.000000	 3600      	 
3600.05/1818.70	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.05/1818.70	c ls_time             	 double    	 10.000000 	 10        	 
3600.05/1818.70	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.05/1818.70	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.05/1818.70	c random_seed         	 int       	 0         	 0         	 
3600.05/1818.70	c sample_size         	 int       	 50        	 50        	 
3600.05/1818.70	c sub_score           	 int       	 1         	 1         	 
3600.05/1818.70	c tabu_base           	 int       	 3         	 3         	 
3600.05/1818.70	c tabu_variation      	 int       	 1         	 1         	 
3600.05/1818.70	c sub_div             	 int       	 4         	 4         	 
3600.05/1818.70	c nbcore              	 int       	 2         	 1         	 
3600.05/1818.70	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.05/1818.70	c print_sol           	 int       	 1         	 1         	 
3600.05/1818.70	c tmpdir              	 string		 .         	 "."       	 
3600.05/1818.70	c home                	 string		 HOME	 "."       	 
3600.05/1818.70	c benchname           	 string		 HOME/instance-4527542-1752233068.opb	 ""        	 
3600.05/1818.70	c --------------------------------------------------
3600.05/1818.70	c Local Search solver
3600.05/1818.70	c LS find feasible solution for PBO with objective value -15
3600.05/1818.70	c MIP solver
3600.05/1818.70	c receive signal 15, try to interrupt solver...
3600.05/1818.70	c MIP solver find feasible solution
3600.05/1818.70	c MIP solver objective value: -26
3600.05/1818.76	c MIP find feasible solution for PBO with objective value -26
3600.05/1818.76	c copy file: 0
3600.05/1818.76	c gen ub file: HOME/instance-4527542-1752233068.opb_ub.opb
3600.05/1818.76	c use Exact solver
3601.97/1820.70	o -26
3601.97/1820.70	s SATISFIABLE
3601.97/1820.70	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 
3601.97/1820.70	c Total time: 1821

Verifier Data

OK	-26

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: 63794 MiB (58574 MiB free)
  memory of node 1: 64507 MiB (57539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527542-1752233068/watcher-4527542-1752233068 -o /tmp/evaluation-result-4527542-1752233068/solver-4527542-1752233068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752232205-120800 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527542-1752233068.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121084, runsolver pid=121081

[startup+0.100063 s]*
/proc/loadavg: 7.96 7.77 4.99 8/255 121085
/proc/meminfo: memFree=118892776/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43356 memory=8704 CPUtime=0.1 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1207 0 0 0 10 0 0 0 20 0 1 0 138986542 44396544 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10839 2176 1120 6655 0 1074 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43356 KiB
Current children cumulated memory: 8704 KiB

[startup+0.21398 s]*
/proc/loadavg: 7.96 7.77 4.99 8/255 121085
/proc/meminfo: memFree=118892776/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43356 memory=8704 CPUtime=0.21 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1207 0 0 0 21 0 0 0 20 0 1 0 138986542 44396544 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10839 2176 1120 6655 0 1074 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43356 KiB
Current children cumulated memory: 8704 KiB

[startup+0.31354 s]*
/proc/loadavg: 7.96 7.77 4.99 8/255 121085
/proc/meminfo: memFree=118891768/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43356 memory=8704 CPUtime=0.31 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1207 0 0 0 31 0 0 0 20 0 1 0 138986542 44396544 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10839 2176 1120 6655 0 1074 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43356 KiB
Current children cumulated memory: 8704 KiB

[startup+0.700229 s]
/proc/loadavg: 7.96 7.77 4.99 8/255 121085
/proc/meminfo: memFree=118891980/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43488 memory=8704 CPUtime=0.68 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1208 0 0 0 68 0 0 0 20 0 1 0 138986542 44531712 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10872 2176 1120 6655 0 1107 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 8704 KiB

[startup+1.50026 s]
/proc/loadavg: 7.96 7.77 4.99 8/255 121085
/proc/meminfo: memFree=118877364/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43488 memory=8704 CPUtime=1.48 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1212 0 0 0 148 0 0 0 20 0 1 0 138986542 44531712 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10872 2176 1120 6655 0 1107 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 8704 KiB

[startup+3.11384 s]
/proc/loadavg: 7.88 7.76 5.00 8/255 121086
/proc/meminfo: memFree=118880804/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43488 memory=8704 CPUtime=3.09 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1214 0 0 0 309 0 0 0 20 0 1 0 138986542 44531712 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10872 2176 1120 6655 0 1107 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 8704 KiB

[startup+6.30023 s]
/proc/loadavg: 7.88 7.76 5.00 8/255 121086
/proc/meminfo: memFree=118866852/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=43488 memory=8704 CPUtime=6.27 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 1214 0 0 0 627 0 0 0 20 0 1 0 138986542 44531712 2176 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 10872 2176 1120 6655 0 1107 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 8704 KiB

[startup+12.7001 s]
/proc/loadavg: 7.89 7.76 5.02 9/256 121087
/proc/meminfo: memFree=118797056/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=139528 memory=48480 CPUtime=15.2 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 8604 0 0 0 1519 1 0 0 20 0 2 0 138986542 142876672 12120 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 34882 12120 3424 6655 0 10599 0
[pid=121084/tid=121087] ppid=121081 vsize=139528 memory=6512 CPUtime=2.55 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 1871 0 0 0 255 0 0 0 20 0 2 0 138987544 142876672 12120 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 139528 KiB
Current children cumulated memory: 48480 KiB

[startup+25.5002 s]
/proc/loadavg: 7.92 7.77 5.07 9/256 121087
/proc/meminfo: memFree=118746180/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=142004 memory=51424 CPUtime=40.57 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 21525 0 0 0 4055 2 0 0 20 0 2 0 138986542 145412096 12856 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 35501 12856 3424 6655 0 11218 0
[pid=121084/tid=121087] ppid=121081 vsize=142004 memory=21504 CPUtime=15.16 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 6075 0 0 0 1516 0 0 0 20 0 2 0 138987544 145412096 12856 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 40.57 s
Current children cumulated vsize: 142004 KiB
Current children cumulated memory: 51424 KiB

[startup+51.1055 s]
/proc/loadavg: 7.95 7.79 5.15 9/256 121087
/proc/meminfo: memFree=118621576/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=151616 memory=65264 CPUtime=90.09 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 32069 0 0 0 9007 2 0 0 20 0 2 0 138986542 155254784 16316 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 37904 16316 3424 6655 0 15066 0
[pid=121084/tid=121087] ppid=121081 vsize=151616 memory=14336 CPUtime=39.14 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 10337 0 0 0 3914 0 0 0 20 0 2 0 138987544 155254784 16316 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 90.09 s
Current children cumulated vsize: 151616 KiB
Current children cumulated memory: 65264 KiB

[startup+102.3 s]
/proc/loadavg: 8.09 7.86 5.31 9/254 121089
/proc/meminfo: memFree=118395704/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=162444 memory=86128 CPUtime=191.88 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 49628 0 0 0 19184 4 0 0 20 0 2 0 138986542 166342656 21532 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 40611 21532 3424 6655 0 20274 0
[pid=121084/tid=121087] ppid=121081 vsize=162444 memory=80624 CPUtime=90.2 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 18804 0 0 0 9019 1 0 0 20 0 2 0 138987544 166342656 21532 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 191.88 s
Current children cumulated vsize: 162444 KiB
Current children cumulated memory: 86128 KiB

[startup+162.3 s]
/proc/loadavg: 8.03 7.89 5.48 9/255 121092
/proc/meminfo: memFree=118129432/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=190456 memory=137200 CPUtime=311.19 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 67165 0 0 0 31110 9 0 0 20 0 2 0 138986542 195026944 34300 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 47614 34300 3424 6655 0 33041 0
[pid=121084/tid=121087] ppid=121081 vsize=190456 memory=120432 CPUtime=150.04 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 26494 0 0 0 15001 3 0 0 20 0 2 0 138987544 195026944 34300 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 311.19 s
Current children cumulated vsize: 190456 KiB
Current children cumulated memory: 137200 KiB

[startup+222.3 s]
/proc/loadavg: 8.05 7.92 5.65 9/255 121094
/proc/meminfo: memFree=117848284/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=277776 memory=185328 CPUtime=430.48 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 80356 0 0 0 43036 12 0 0 20 0 2 0 138986542 284442624 46332 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 69444 46332 3424 6655 0 45078 0
[pid=121084/tid=121087] ppid=121081 vsize=277776 memory=167920 CPUtime=209.87 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 33896 0 0 0 20983 4 0 0 20 0 2 0 138987544 284442624 46332 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 430.48 s
Current children cumulated vsize: 277776 KiB
Current children cumulated memory: 185328 KiB

[startup+282.3 s]
/proc/loadavg: 8.12 7.97 5.81 9/255 121096
/proc/meminfo: memFree=117648504/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=296176 memory=224112 CPUtime=549.76 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 96006 0 0 0 54960 16 0 0 20 0 2 0 138986542 303284224 56028 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 74044 56028 3424 6655 0 54770 0
[pid=121084/tid=121087] ppid=121081 vsize=296176 memory=222960 CPUtime=269.71 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 40686 0 0 0 26963 8 0 0 20 0 2 0 138987544 303284224 56028 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 549.76 s
Current children cumulated vsize: 296176 KiB
Current children cumulated memory: 224112 KiB

[startup+342.3 s]
/proc/loadavg: 8.09 7.99 5.95 9/255 121098
/proc/meminfo: memFree=117540744/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=309116 memory=247920 CPUtime=669.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 104062 0 0 0 66889 18 0 0 20 0 2 0 138986542 316534784 61980 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 77279 61980 3424 6655 0 60757 0
[pid=121084/tid=121087] ppid=121081 vsize=309116 memory=14336 CPUtime=329.55 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 44053 0 0 0 32946 9 0 0 20 0 2 0 138987544 316534784 61980 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 669.07 s
Current children cumulated vsize: 309116 KiB
Current children cumulated memory: 247920 KiB

[startup+402.3 s]

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

Current children cumulated vsize: 1117264 KiB
Current children cumulated memory: 1046680 KiB

[startup+1542.3 s]
/proc/loadavg: 6.09 6.37 6.58 7/252 121254
/proc/meminfo: memFree=110726268/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1140940 memory=1100696 CPUtime=3053.82 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 398460 0 0 0 305268 114 0 0 20 0 2 0 138986542 1168322560 275174 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 285235 275174 3424 6655 0 273715 0
[pid=121084/tid=121087] ppid=121081 vsize=1140940 memory=14336 CPUtime=1525.57 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 192425 0 0 0 152494 63 0 0 20 0 2 0 138987544 1168322560 275174 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3053.82 s
Current children cumulated vsize: 1140940 KiB
Current children cumulated memory: 1100696 KiB

[startup+1602.3 s]
/proc/loadavg: 6.11 6.33 6.55 7/251 121256
/proc/meminfo: memFree=110684740/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1103128 CPUtime=3170.01 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 505144 0 0 0 316880 121 0 0 20 0 2 0 138986542 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 275782 3424 6655 0 276134 0
[pid=121084/tid=121087] ppid=121081 vsize=1150616 memory=1103128 CPUtime=1582.09 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 197398 0 0 0 158145 64 0 0 20 0 2 0 138987544 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3170.01 s
Current children cumulated vsize: 1150616 KiB
Current children cumulated memory: 1103128 KiB

[startup+1662.3 s]
/proc/loadavg: 6.07 6.28 6.52 7/253 121266
/proc/meminfo: memFree=110633500/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1103128 CPUtime=3289.26 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 517108 0 0 0 328803 123 0 0 20 0 2 0 138986542 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 275782 3424 6655 0 276134 0
[pid=121084/tid=121087] ppid=121081 vsize=1150616 memory=1103128 CPUtime=1641.5 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 204764 0 0 0 164085 65 0 0 20 0 2 0 138987544 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3289.26 s
Current children cumulated vsize: 1150616 KiB
Current children cumulated memory: 1103128 KiB

[startup+1722.3 s]
/proc/loadavg: 6.07 6.24 6.49 7/253 121267
/proc/meminfo: memFree=110619012/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1103128 CPUtime=3408.49 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 524896 0 0 0 340725 124 0 0 20 0 2 0 138986542 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 275782 3424 6655 0 276134 0
[pid=121084/tid=121087] ppid=121081 vsize=1150616 memory=1103128 CPUtime=1700.91 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 208742 0 0 0 170025 66 0 0 20 0 2 0 138987544 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3408.49 s
Current children cumulated vsize: 1150616 KiB
Current children cumulated memory: 1103128 KiB

[startup+1782.3 s]
/proc/loadavg: 6.13 6.23 6.46 7/253 121269
/proc/meminfo: memFree=110557544/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1103128 CPUtime=3527.72 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 530228 0 0 0 352648 124 0 0 20 0 2 0 138986542 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 275782 3424 6655 0 276134 0
[pid=121084/tid=121087] ppid=121081 vsize=1150616 memory=1103128 CPUtime=1760.31 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 212592 0 0 0 175965 66 0 0 20 0 2 0 138987544 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3527.72 s
Current children cumulated vsize: 1150616 KiB
Current children cumulated memory: 1103128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.7 s]
/proc/loadavg: 5.66 6.09 6.41 6/253 121270
/proc/meminfo: memFree=110547976/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1103128 CPUtime=3600.05 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) R 121081 121084 120784 0 -1 4194304 537238 0 0 0 359880 125 0 0 20 0 2 0 138986542 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 275782 3424 6655 0 276134 0
[pid=121084/tid=121087] ppid=121081 vsize=1150616 memory=1103128 CPUtime=1796.35 cores=0,2
/proc/121084/task/121087/stat : 121087 (LSIPExact) R 121081 121084 120784 0 -1 4194368 216829 0 0 0 179568 67 0 0 20 0 2 0 138987544 1178230784 275782 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1150616 KiB
Current children cumulated memory: 1103128 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3600.73 s, system=1.38155 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1819.2 s]
/proc/loadavg: 5.66 6.09 6.41 5/253 121272
/proc/meminfo: memFree=110578564/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1070232 CPUtime=3600.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) S 121081 121084 120784 0 -1 4194304 539469 230 0 0 359882 125 0 0 20 0 1 0 138986542 1178230784 267558 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 267558 3456 6655 0 276134 0
[pid=121272] ppid=121084 vsize=34964 memory=15804 CPUtime=0.41 cores=0,2
/proc/121272/stat : 121272 (Exact) R 121084 121272 121272 0 -1 4194304 3351 0 0 0 40 1 0 0 20 0 1 0 139168418 35803136 3951 18446744073709551615 4198400 8335837 140736018833632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31219712 140736018839730 140736018840091 140736018840091 140736018845647 0
/proc/121272/statm: 8741 3951 1120 1011 0 7508 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 1185580 KiB
Current children cumulated memory: 1086036 KiB

[startup+1820 s]*
/proc/loadavg: 5.66 6.09 6.41 5/253 121272
/proc/meminfo: memFree=110574564/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1070232 CPUtime=3600.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) S 121081 121084 120784 0 -1 4194304 539469 230 0 0 359882 125 0 0 20 0 1 0 138986542 1178230784 267558 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 267558 3456 6655 0 276134 0
[pid=121272] ppid=121084 vsize=38108 memory=20848 CPUtime=1.22 cores=0,2
/proc/121272/stat : 121272 (Exact) R 121084 121272 121272 0 -1 4194304 4093 0 0 0 121 1 0 0 20 0 1 0 139168418 39022592 5212 18446744073709551615 4198400 8335837 140736018833632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31219712 140736018839730 140736018840091 140736018840091 140736018845647 0
/proc/121272/statm: 9527 5212 1120 1011 0 8294 0
Current children cumulated CPU time: 3601.29 s
Current children cumulated vsize: 1188724 KiB
Current children cumulated memory: 1091080 KiB

[startup+1820.4 s]
/proc/loadavg: 5.66 6.09 6.41 5/253 121272
/proc/meminfo: memFree=110574564/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1070232 CPUtime=3600.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) S 121081 121084 120784 0 -1 4194304 539469 230 0 0 359882 125 0 0 20 0 1 0 138986542 1178230784 267558 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 267558 3456 6655 0 276134 0
[pid=121272] ppid=121084 vsize=39196 memory=23948 CPUtime=1.6 cores=0,2
/proc/121272/stat : 121272 (Exact) R 121084 121272 121272 0 -1 4194304 4369 0 0 0 159 1 0 0 20 0 1 0 139168418 40136704 5987 18446744073709551615 4198400 8335837 140736018833632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31219712 140736018839730 140736018840091 140736018840091 140736018845647 0
/proc/121272/statm: 9799 5987 1120 1011 0 8566 0
Current children cumulated CPU time: 3601.67 s
Current children cumulated vsize: 1189812 KiB
Current children cumulated memory: 1094180 KiB

[startup+1820.6 s]
/proc/loadavg: 5.66 6.09 6.41 5/253 121272
/proc/meminfo: memFree=110574564/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1070232 CPUtime=3600.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) S 121081 121084 120784 0 -1 4194304 539469 230 0 0 359882 125 0 0 20 0 1 0 138986542 1178230784 267558 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 267558 3456 6655 0 276134 0
[pid=121272] ppid=121084 vsize=39468 memory=24204 CPUtime=1.8 cores=0,2
/proc/121272/stat : 121272 (Exact) R 121084 121272 121272 0 -1 4194304 4427 0 0 0 179 1 0 0 20 0 1 0 139168418 40415232 6051 18446744073709551615 4198400 8335837 140736018833632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31219712 140736018839730 140736018840091 140736018840091 140736018845647 0
/proc/121272/statm: 9867 6051 1120 1011 0 8634 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 1190084 KiB
Current children cumulated memory: 1094436 KiB

[startup+1820.7 s]
/proc/loadavg: 5.66 6.09 6.41 5/253 121272
/proc/meminfo: memFree=110574564/131382116 swapFree=33010684/33010684
[pid=121084] ppid=121081 vsize=1150616 memory=1070232 CPUtime=3600.07 cores=0,2
/proc/121084/stat : 121084 (LSIPExact) S 121081 121084 120784 0 -1 4194304 539469 230 0 0 359882 125 0 0 20 0 1 0 138986542 1178230784 267558 18446744073709551615 94582545252352 94582572509521 140734934455184 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94582581011592 94582581443200 94582582489088 140734934460760 140734934460936 140734934460936 140734934466540 0
/proc/121084/statm: 287654 267558 3456 6655 0 276134 0
[pid=121272] ppid=121084 vsize=39600 memory=24332 CPUtime=1.9 cores=0,2
/proc/121272/stat : 121272 (Exact) R 121084 121272 121272 0 -1 4194304 4459 0 0 0 189 1 0 0 20 0 1 0 139168418 40550400 6083 18446744073709551615 4198400 8335837 140736018833632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 31219712 140736018839730 140736018840091 140736018840091 140736018845647 0
/proc/121272/statm: 9900 6083 1120 1011 0 8667 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 1190216 KiB
Current children cumulated memory: 1094564 KiB

Child status: 0

Real time (s): 1820.83
CPU time (s): 3602.11
CPU user time (s): 3600.73
CPU system time (s): 1.38155
CPU usage (%): 197.828
Max. virtual memory (cumulated for all children) (KiB): 1190216
Max. memory (cumulated for all children) (KiB): 1103128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.73
system time used= 1.38155
maximum resident set size= 1103384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544168
page faults= 0
swaps= 0
block input operations= 416
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 566
involuntary context switches= 69410


# summary of solver processes directly reported to runsolver:
#   pid: 121084
#   total CPU time (s): 3602.11
#   total CPU user time (s): 3600.73
#   total CPU system time (s): 1.38155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83383 second user time and 8.45622 second system time

The end

Launcher Data

Begin job on nodeC011 at 2025-07-11 13:24:28
IDJOB=4527542
IDBENCH=155330
IDSOLVER=3384
FILE ID=nodeC011/4527542-1752233068
RUNJOBID= nodeC011-1752232205-120800
SLURM_JOB_ID= 9682522
Free space on /tmp= 430184 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-protfold.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527542-1752233068/watcher-4527542-1752233068 -o /tmp/evaluation-result-4527542-1752233068/solver-4527542-1752233068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752232205-120800 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527542-1752233068.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 7d697abe2607c9e2486f4e4c4676f6ab
RANDOM SEED=711647137

nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1197.895
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.916
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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.292
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.875
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.873
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.880
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.880
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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		: 3591.878
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        118901864 kB
MemAvailable:   125254200 kB
Buffers:            3276 kB
Cached:          7122668 kB
SwapCached:            0 kB
Active:          5195192 kB
Inactive:        6677200 kB
Active(anon):    4762304 kB
Inactive(anon):     2104 kB
Active(file):     432888 kB
Inactive(file):  6675096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44848 kB
Writeback:            36 kB
AnonPages:       4749700 kB
Mapped:           143400 kB
Shmem:             17960 kB
KReclaimable:     167576 kB
Slab:             257400 kB
SReclaimable:     167576 kB
SUnreclaim:        89824 kB
KernelStack:        4112 kB
PageTables:        12472 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5145576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430024 MiB
End job on nodeC011 at 2025-07-11 13:54:49