Trace number 4520431

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
Picat 2025-06-16OPT722 26.1589 26.2268

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
MD5SUM5ca51305e83677be761e9af671c63f9d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark722
Best CPU time to get the best result obtained on this benchmark0.020305
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1444
Total number of constraints361
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)19
Number of constraints which are nor clauses,nor cardinality constraints342
Minimum length of a constraint4
Maximum length of a constraint12
Number of terms in the objective function 1444
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 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1444
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c solving HOME/instance-4520431-1751567484.opb (Picat 3.9b6)
4.17/4.24	o 799
12.66/12.73	o 723
26.12/26.22	o 722
26.12/26.22	s OPTIMUM FOUND
26.12/26.22	v x326 ~x115 ~x1382 x1171 ~x960 ~x749 x538 ~x327 ~x116 x1383 
26.12/26.22	v x1172 x961 ~x750 ~x539 ~x328 x117 x1384 x1173 x962 x751 
26.12/26.22	v ~x540 x329 x118 ~x1385 x1174 ~x963 x752 x541 x330 ~x119 
26.12/26.22	v ~x1386 ~x1175 ~x964 x753 x542 ~x331 ~x120 x1387 ~x1176 ~x965 
26.12/26.22	v x754 ~x543 ~x332 ~x121 x1388 ~x1177 x966 ~x755 ~x544 x333 
26.12/26.22	v ~x122 ~x1389 ~x1178 ~x967 ~x756 ~x545 x334 x123 ~x1390 x1179 
26.12/26.22	v x968 x757 x546 ~x335 x124 x1391 x1180 x969 x758 x547 
26.12/26.22	v ~x336 ~x125 x1392 x1181 x970 ~x759 ~x548 ~x337 ~x126 ~x1393 
26.12/26.22	v x1182 ~x971 ~x760 x549 ~x338 x127 ~x1394 ~x1183 ~x972 ~x761 
26.12/26.22	v x550 x339 x128 x1395 ~x1184 x973 ~x762 ~x551 x340 ~x129 
26.12/26.22	v x1396 x1185 x974 x763 ~x552 ~x341 ~x130 ~x1397 x1186 ~x975 
26.12/26.22	v x764 x553 ~x342 x131 ~x1398 ~x1187 ~x976 x765 x554 x343 
26.12/26.22	v x132 x1399 ~x1188 x977 x766 ~x555 x344 ~x133 x1400 x1189 
26.12/26.22	v x978 ~x767 ~x556 x345 ~x134 ~x1401 x1190 ~x979 ~x768 ~x557 
26.12/26.22	v x346 x135 ~x1402 ~x1191 ~x980 ~x769 ~x558 ~x347 x136 x1403 
26.12/26.22	v ~x1192 x981 ~x770 x559 ~x348 x137 x1404 ~x1193 x982 x771 
26.12/26.22	v x560 x349 x138 ~x1405 ~x1194 ~x983 x772 ~x561 x350 ~x139 
26.12/26.22	v ~x1406 x1195 ~x984 x773 ~x562 ~x351 ~x140 x1407 x1196 x985 
26.12/26.22	v x774 x563 ~x352 x141 x1408 ~x1197 x986 ~x775 x564 x353 
26.12/26.22	v x142 ~x1409 ~x1198 ~x987 ~x776 x565 x354 ~x143 ~x1410 x1199 
26.12/26.22	v ~x988 x777 x566 ~x355 ~x144 x1411 x1200 x989 x778 ~x567 
26.12/26.22	v ~x356 x145 x1412 ~x1201 x990 ~x779 ~x568 x357 x146 ~x1413 
26.12/26.22	v ~x1202 ~x991 ~x780 x569 x358 ~x147 ~x1414 x1203 ~x992 x781 
26.12/26.22	v x570 ~x359 ~x148 x1415 x1204 x993 x782 ~x571 ~x360 ~x149 
26.12/26.22	v x1416 ~x1205 x994 ~x783 ~x572 x361 ~x150 ~x1417 ~x1206 ~x995 
26.12/26.22	v ~x784 ~x573 x362 x151 ~x1418 x1207 ~x996 x785 ~x574 ~x363 
26.12/26.22	v x152 x1419 x1208 x997 x786 x575 ~x364 x153 x1420 ~x1209 
26.12/26.22	v x998 ~x787 x576 x365 x154 ~x1421 ~x1210 ~x999 ~x788 x577 
26.12/26.22	v x366 ~x155 ~x1422 x1211 ~x1000 x789 x578 ~x367 ~x156 x1423 
26.12/26.22	v x1212 ~x1001 x790 ~x579 ~x368 ~x157 x1424 ~x1213 ~x1002 ~x791 
26.12/26.22	v ~x580 ~x369 ~x158 ~x1425 ~x1214 x1003 ~x792 x581 ~x370 x159 
26.12/26.22	v ~x1426 x1215 x1004 x793 x582 x371 x160 x1427 x1216 ~x1005 
26.12/26.22	v x794 ~x583 x372 x161 x1428 ~x1217 ~x1006 ~x795 ~x584 x373 
26.12/26.22	v ~x162 ~x1429 ~x1218 x1007 ~x796 ~x585 x374 x163 ~x1430 x1219 
26.12/26.22	v x1008 x797 x586 ~x375 ~x164 x1431 x1220 x1009 x798 ~x587 
26.12/26.22	v ~x376 x165 x1432 x1221 x1010 ~x799 x588 ~x377 x166 ~x1433 
26.12/26.22	v x1222 ~x1011 ~x800 ~x589 ~x378 ~x167 ~x1434 ~x1223 ~x1012 ~x801 
26.12/26.22	v ~x590 x379 ~x168 x1435 ~x1224 x1013 ~x802 x591 x380 x169 
26.12/26.22	v x1436 ~x1225 x1014 x803 x592 ~x381 x170 ~x1437 ~x1226 ~x1015 
26.12/26.22	v x804 ~x593 ~x382 ~x171 ~x1438 x1227 ~x1016 x805 ~x594 x383 
26.12/26.22	v ~x172 x1439 x1228 x1017 x806 x595 x384 x173 x1440 x1229 
26.12/26.22	v x1018 ~x807 x596 x385 x174 ~x1441 x1230 ~x1019 ~x808 x597 
26.12/26.22	v x386 ~x175 ~x1442 ~x1231 ~x1020 ~x809 x598 ~x387 ~x176 x1443 
26.12/26.22	v ~x1232 x1021 ~x810 ~x599 ~x388 ~x177 x1444 ~x1233 x1022 x811 
26.12/26.22	v ~x600 x389 ~x178 ~x1234 ~x1023 x812 ~x601 x390 x179 x1235 
26.12/26.22	v ~x1024 x813 ~x602 ~x391 x180 x1236 ~x1025 x814 x603 ~x392 
26.12/26.22	v x181 x1237 ~x1026 ~x815 x604 x393 x182 x1238 x1027 ~x816 
26.12/26.22	v x605 x394 ~x183 ~x1239 x1028 ~x817 x606 ~x395 ~x184 ~x1240 
26.12/26.22	v x1029 ~x818 ~x607 ~x396 x185 x1241 x1030 x819 ~x608 x397 
26.12/26.22	v x186 x1242 ~x1031 x820 ~x609 x398 ~x187 ~x1243 ~x1032 ~x821 
26.12/26.22	v x610 ~x399 ~x188 ~x1244 x1033 ~x822 ~x611 ~x400 x189 ~x1245 
26.12/26.22	v x1034 x823 x612 x401 x190 ~x1246 ~x1035 x824 ~x613 x402 
26.12/26.22	v ~x191 x1247 ~x1036 x825 ~x614 ~x403 ~x192 x1248 ~x1037 x826 
26.12/26.22	v x615 ~x404 ~x193 x1249 ~x1038 ~x827 x616 x405 x194 x1250 
26.12/26.22	v x1039 ~x828 ~x617 x406 ~x195 ~x1251 x1040 x829 ~x618 ~x407 
26.12/26.22	v x196 ~x1252 x1041 x830 x619 ~x408 x197 ~x1253 x1042 ~x831 
26.12/26.22	v x620 x409 x198 ~x1254 ~x1043 ~x832 x621 x410 ~x199 x1255 
26.12/26.22	v ~x1044 x833 x622 ~x411 ~x200 x1256 x1045 x834 ~x623 ~x412 
26.12/26.22	v ~x201 ~x1257 x1046 ~x835 ~x624 x413 ~x202 ~x1258 ~x1047 ~x836 
26.12/26.22	v x625 x414 x203 x1259 ~x1048 x837 x626 ~x415 x204 x1260 
26.12/26.22	v ~x1049 x838 ~x627 ~x416 x205 x1261 ~x1050 ~x839 ~x628 ~x417 
26.12/26.22	v x206 x1262 x1051 ~x840 x629 ~x418 ~x207 ~x1263 x1052 ~x841 
26.12/26.22	v x630 x419 ~x208 ~x1264 ~x1053 ~x842 ~x631 x420 x209 x1265 
26.12/26.22	v ~x1054 x843 ~x632 x421 x210 x1266 x1055 x844 ~x633 x422 
26.12/26.22	v ~x211 ~x1267 x1056 x845 ~x634 ~x423 ~x212 x1 ~x1268 x1057 
26.12/26.22	v x846 x635 ~x424 x213 x2 ~x1269 x1058 ~x847 x636 x425 
26.12/26.22	v x214 ~x3 ~x1270 ~x1059 ~x848 x637 x426 ~x215 ~x4 x1271 
26.12/26.22	v ~x1060 x849 x638 ~x427 ~x216 x5 x1272 x1061 x850 ~x639 
26.12/26.22	v ~x428 x217 x6 x1273 x1062 ~x851 ~x640 x429 x218 ~x7 
26.12/26.22	v x1274 ~x1063 ~x852 ~x641 x430 ~x219 ~x8 ~x1275 ~x1064 x853 
26.12/26.22	v ~x642 ~x431 ~x220 x9 ~x1276 ~x1065 x854 x643 ~x432 x221 
26.12/26.22	v x10 ~x1277 ~x1066 ~x855 x644 ~x433 x222 ~x11 ~x1278 x1067 
26.12/26.22	v ~x856 x645 x434 ~x223 ~x12 x1279 x1068 ~x857 x646 ~x435 
26.12/26.22	v ~x224 ~x13 x1280 ~x1069 ~x858 ~x647 x436 ~x225 ~x14 ~x1281 
26.12/26.22	v ~x1070 x859 ~x648 x437 ~x226 x15 ~x1282 x1071 x860 x649 
26.12/26.22	v x438 x227 x16 x1283 x1072 ~x861 x650 ~x439 x228 x17 
26.12/26.22	v x1284 ~x1073 ~x862 ~x651 ~x440 x229 x18 x1285 ~x1074 x863 
26.12/26.22	v ~x652 x441 x230 ~x19 x1286 x1075 x864 x653 x442 ~x231 
26.12/26.22	v ~x20 ~x1287 x1076 x865 x654 ~x443 ~x232 ~x21 ~x1288 ~x1077 
26.12/26.22	v x866 ~x655 ~x444 ~x233 ~x22 ~x1289 ~x1078 ~x867 ~x656 x445 
26.12/26.22	v ~x234 x23 ~x1290 x1079 ~x868 ~x657 x446 x235 x24 x1291 
26.12/26.22	v x1080 x869 ~x658 ~x447 x236 ~x25 x1292 ~x1081 x870 x659 
26.12/26.22	v ~x448 x237 x26 ~x1293 ~x1082 ~x871 x660 x449 x238 x27 
26.12/26.22	v ~x1294 x1083 ~x872 x661 x450 ~x239 ~x28 x1295 x1084 x873 
26.12/26.22	v x662 ~x451 ~x240 ~x29 x1296 ~x1085 x874 ~x663 ~x452 ~x241 
26.12/26.22	v x30 ~x1297 ~x1086 ~x875 ~x664 ~x453 ~x242 x31 ~x1298 x1087 
26.12/26.22	v ~x876 ~x665 ~x454 x243 ~x32 x1299 x1088 x877 ~x666 x455 
26.12/26.22	v x244 ~x33 x1300 x1089 x878 x667 x456 x245 ~x34 x1301 
26.12/26.22	v x1090 ~x879 x668 x457 x246 x35 x1302 ~x1091 ~x880 x669 
26.12/26.22	v x458 ~x247 x36 ~x1303 ~x1092 x881 x670 ~x459 ~x248 x37 
26.12/26.22	v ~x1304 x1093 x882 ~x671 ~x460 x249 ~x38 x1305 x1094 ~x883 
26.12/26.22	v ~x672 x461 x250 ~x39 x1306 ~x1095 ~x884 x673 x462 ~x251 
26.12/26.22	v x40 ~x1307 ~x1096 ~x885 x674 ~x463 ~x252 x41 ~x1308 x1097 
26.12/26.22	v ~x886 ~x675 ~x464 x253 ~x42 ~x1309 x1098 x887 ~x676 x465 
26.12/26.22	v x254 ~x43 ~x1310 ~x1099 x888 x677 x466 ~x255 x44 x1311 
26.12/26.22	v ~x1100 ~x889 x678 ~x467 ~x256 ~x45 x1312 ~x1101 x890 ~x679 
26.12/26.22	v ~x468 ~x257 ~x46 x1313 ~x1102 ~x891 ~x680 ~x469 ~x258 x47 
26.12/26.22	v x1314 x1103 x892 x681 x470 x259 x48 ~x1315 x1104 x893 
26.12/26.22	v x682 ~x471 x260 x49 ~x1316 ~x1105 x894 ~x683 x472 x261 
26.12/26.22	v x50 ~x1317 ~x1106 ~x895 ~x684 x473 x262 ~x51 ~x1318 x1107 
26.12/26.22	v ~x896 x685 x474 ~x263 ~x52 x1319 x1108 x897 x686 ~x475 
26.12/26.22	v ~x264 x53 x1320 ~x1109 x898 ~x687 ~x476 x265 x54 x1321 
26.12/26.22	v ~x1110 ~x899 ~x688 x477 x266 ~x55 x1322 x1111 ~x900 ~x689 
26.12/26.22	v x478 ~x267 ~x56 ~x1323 x1112 x901 ~x690 ~x479 ~x268 ~x57 
26.12/26.22	v ~x1324 ~x1113 x902 x691 ~x480 ~x269 ~x58 x1325 x1114 ~x903 
26.12/26.22	v x692 ~x481 ~x270 x59 x1326 x1115 ~x904 ~x693 ~x482 x271 
26.12/26.22	v x60 ~x1327 ~x1116 x905 x694 x483 x272 ~x61 ~x1328 ~x1117 
26.12/26.22	v x906 ~x695 x484 x273 ~x62 ~x1329 x1118 ~x907 x696 x485 
26.12/26.22	v x274 x63 ~x1330 ~x1119 ~x908 x697 x486 ~x275 x64 x1331 
26.12/26.22	v x1120 x909 x698 ~x487 ~x276 x65 x1332 ~x1121 x910 ~x699 
26.12/26.22	v ~x488 x277 x66 ~x1333 ~x1122 ~x911 ~x700 ~x489 x278 ~x67 
26.12/26.22	v ~x1334 x1123 ~x912 x701 x490 ~x279 ~x68 x1335 x1124 x913 
26.12/26.22	v x702 ~x491 ~x280 ~x69 x1336 x1125 x914 ~x703 x492 x281 
26.12/26.22	v ~x70 x1337 x1126 ~x915 ~x704 ~x493 x282 x71 x1338 ~x1127 
26.12/26.22	v ~x916 ~x705 ~x494 ~x283 x72 ~x1339 ~x1128 x917 ~x706 x495 
26.12/26.22	v ~x284 ~x73 ~x1340 ~x1129 x918 x707 x496 x285 ~x74 x1341 
26.12/26.22	v ~x1130 ~x919 x708 ~x497 x286 x75 x1342 x1131 ~x920 x709 
26.12/26.22	v ~x498 ~x287 x76 ~x1343 x1132 ~x921 x710 x499 ~x288 x77 
26.12/26.22	v ~x1344 ~x1133 ~x922 ~x711 x500 x289 x78 ~x1345 ~x1134 x923 
26.12/26.22	v ~x712 x501 x290 ~x79 ~x1346 x1135 x924 x713 x502 ~x291 
26.12/26.22	v ~x80 x1347 x1136 x925 x714 ~x503 ~x292 x81 x1348 ~x1137 
26.12/26.22	v x926 ~x715 ~x504 x293 x82 x1349 ~x1138 ~x927 ~x716 ~x505 
26.12/26.22	v x294 ~x83 x1350 x1139 ~x928 x717 ~x506 ~x295 ~x84 ~x1351 
26.12/26.22	v x1140 x929 x718 x507 ~x296 ~x85 ~x1352 x1141 x930 ~x719 
26.12/26.22	v x508 ~x297 x86 ~x1353 x1142 ~x931 ~x720 x509 ~x298 ~x87 
26.12/26.22	v ~x1354 ~x1143 ~x932 x721 x510 x299 x88 x1355 ~x1144 x933 
26.12/26.22	v x722 ~x511 x300 ~x89 x1356 ~x1145 x934 ~x723 ~x512 x301 
26.12/26.22	v ~x90 ~x1357 ~x1146 ~x935 ~x724 x513 x302 x91 ~x1358 x1147 
26.12/26.22	v ~x936 x725 x514 ~x303 x92 x1359 x1148 x937 x726 ~x515 
26.12/26.22	v ~x304 ~x93 x1360 x1149 x938 ~x727 ~x516 x305 ~x94 ~x1361 
26.12/26.22	v x1150 ~x939 ~x728 ~x517 x306 x95 ~x1362 ~x1151 ~x940 x729 
26.12/26.22	v ~x518 ~x307 x96 x1363 ~x1152 x941 ~x730 x519 ~x308 ~x97 
26.12/26.22	v x1364 x1153 x942 ~x731 x520 x309 ~x98 ~x1365 x1154 ~x943 
26.12/26.22	v x732 x521 x310 x99 ~x1366 ~x1155 ~x944 x733 x522 ~x311 
26.12/26.22	v x100 x1367 ~x1156 x945 ~x734 ~x523 ~x312 ~x101 x1368 x1157 
26.12/26.22	v x946 ~x735 ~x524 x313 ~x102 ~x1369 x1158 ~x947 x736 ~x525 
26.12/26.22	v x314 x103 ~x1370 ~x1159 ~x948 x737 x526 ~x315 x104 x1371 
26.12/26.22	v ~x1160 x949 x738 ~x527 ~x316 x105 x1372 ~x1161 x950 ~x739 
26.12/26.22	v x528 x317 x106 ~x1373 ~x1162 ~x951 ~x740 x529 x318 ~x107 
26.12/26.22	v ~x1374 x1163 ~x952 x741 x530 ~x319 ~x108 x1375 x1164 ~x953 
26.12/26.22	v x742 ~x531 ~x320 x109 x1376 ~x1165 ~x954 ~x743 ~x532 x321 
26.12/26.22	v x110 ~x1377 ~x1166 x955 ~x744 x533 x322 ~x111 ~x1378 x1167 
26.12/26.22	v x956 x745 x534 ~x323 ~x112 x1379 x1168 x957 x746 ~x535 
26.12/26.22	v ~x324 x113 x1380 ~x1169 ~x958 ~x747 ~x536 x325 x114 ~x1381 
26.12/26.22	v ~x1170 x959 ~x748 x537

Verifier Data 

OK	722

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: 63708 MiB (56893 MiB free)
  memory of node 1: 64465 MiB (63787 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520431-1751567484/watcher-4520431-1751567484 -o /tmp/evaluation-result-4520431-1751567484/solver-4520431-1751567484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751563872-84481 --watchdog 3760 pb_picat HOME/instance-4520431-1751567484.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84871, runsolver pid=84868
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.15 4.11 4.04 4/261 84872
/proc/meminfo: memFree=123562804/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2045136 memory=33112 CPUtime=0.09 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 3047 0 0 0 8 1 0 0 20 0 1 0 72427855 2094219264 8278 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 511284 8278 1696 343 0 508348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2045136 KiB
Current children cumulated memory: 33112 KiB

[startup+0.205414 s]*
/proc/loadavg: 4.15 4.11 4.04 4/261 84872
/proc/meminfo: memFree=123558016/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2045268 memory=33860 CPUtime=0.19 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 4573 0 0 0 18 1 0 0 20 0 1 0 72427855 2094354432 8465 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 511317 8465 1696 343 0 508381 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2045268 KiB
Current children cumulated memory: 33860 KiB

[startup+0.305214 s]*
/proc/loadavg: 4.15 4.11 4.04 4/263 84878
/proc/meminfo: memFree=123557828/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2049624 memory=36552 CPUtime=0.29 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 5759 0 0 0 28 1 0 0 20 0 1 0 72427855 2098814976 9138 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 512406 9138 1696 343 0 509470 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2049624 KiB
Current children cumulated memory: 36552 KiB

[startup+0.700125 s]
/proc/loadavg: 4.15 4.11 4.04 5/262 84893
/proc/meminfo: memFree=123557800/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2042304 memory=32948 CPUtime=0.68 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 8020 0 0 0 67 1 0 0 20 0 1 0 72427855 2091319296 8237 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 510576 8237 1696 343 0 507640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2042304 KiB
Current children cumulated memory: 32948 KiB

[startup+1.50011 s]
/proc/loadavg: 4.15 4.11 4.04 6/265 84909
/proc/meminfo: memFree=123538136/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2045524 memory=34940 CPUtime=1.48 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 10481 0 0 0 146 2 0 0 20 0 1 0 72427855 2094616576 8735 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 511381 8735 1696 343 0 508445 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045524 KiB
Current children cumulated memory: 34940 KiB

[startup+3.10506 s]
/proc/loadavg: 4.14 4.11 4.04 5/265 84909
/proc/meminfo: memFree=123505504/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2054020 memory=44176 CPUtime=3.08 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 18631 0 0 0 305 3 0 0 20 0 1 0 72427855 2103316480 11044 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513505 11044 1696 343 0 510569 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2054020 KiB
Current children cumulated memory: 44176 KiB

[startup+6.3001 s]
/proc/loadavg: 4.14 4.11 4.04 5/265 84909
/proc/meminfo: memFree=123496184/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2054020 memory=46120 CPUtime=6.27 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 30302 0 0 0 622 5 0 0 20 0 1 0 72427855 2103316480 11530 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513505 11530 1696 343 0 510569 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2054020 KiB
Current children cumulated memory: 46120 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 84909
/proc/meminfo: memFree=123499500/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2051816 memory=44840 CPUtime=12.66 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 57086 0 0 0 1256 10 0 0 20 0 1 0 72427855 2101059584 11210 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 512954 11210 1696 343 0 510018 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2051816 KiB
Current children cumulated memory: 44840 KiB

[startup+25.5001 s]
/proc/loadavg: 4.18 4.11 4.04 4/261 84962
/proc/meminfo: memFree=123494684/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2052840 memory=46176 CPUtime=25.42 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 112316 0 0 0 2523 19 0 0 20 0 1 0 72427855 2102108160 11544 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513210 11544 1696 343 0 510274 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 46176 KiB

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

# cumulated CPU time of all completed processes:  user=25.9554 s, system=0.20348 s

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

[startup+25.6001 s]
/proc/loadavg: 4.18 4.11 4.04 4/261 84962
/proc/meminfo: memFree=123494684/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2052840 memory=45792 CPUtime=25.52 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 112997 0 0 0 2533 19 0 0 20 0 1 0 72427855 2102108160 11448 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513210 11448 1696 343 0 510274 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 45792 KiB

[startup+26.0001 s]*
/proc/loadavg: 4.18 4.11 4.04 5/265 84999
/proc/meminfo: memFree=123461520/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2052840 memory=45152 CPUtime=25.92 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 113897 0 0 0 2573 19 0 0 20 0 1 0 72427855 2102108160 11288 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513210 11288 1696 343 0 510274 0
Current children cumulated CPU time: 25.92 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 45152 KiB

[startup+26.2001 s]
/proc/loadavg: 4.18 4.11 4.04 5/265 84999
/proc/meminfo: memFree=123461520/131250000 swapFree=33009904/33010684
[pid=84871] ppid=84868 vsize=2052840 memory=45408 CPUtime=26.12 cores=1,3
/proc/84871/stat : 84871 (pb_picat) R 84868 84871 84469 0 -1 4194304 113972 0 0 0 2593 19 0 0 20 0 1 0 72427855 2102108160 11352 18446744073709551615 93827367088128 93827368489709 140732863232400 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93827368761136 93827370635440 93827382079488 140732863240606 140732863240682 140732863240682 140732863246284 0
/proc/84871/statm: 513210 11352 1696 343 0 510274 0
Current children cumulated CPU time: 26.12 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 45408 KiB

Child status: 0

Real time (s): 26.2268
CPU time (s): 26.1589
CPU user time (s): 25.9554
CPU system time (s): 0.20348
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 2058472
Max. memory (cumulated for all children) (KiB): 49728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9554
system time used= 0.20348
maximum resident set size= 49728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113985
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= 67
involuntary context switches= 43


# summary of solver processes directly reported to runsolver:
#   pid: 84871
#   total CPU time (s): 26.1589
#   total CPU user time (s): 25.9554
#   total CPU system time (s): 0.20348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052244 second user time and 0.12909 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-03 20:31:24
IDJOB=4520431
IDBENCH=177986
IDSOLVER=3346
FILE ID=nodeC033/4520431-1751567484
RUNJOBID= nodeC033-1751563872-84481
SLURM_JOB_ID= 9598769
Free space on /tmp= 429896 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520431-1751567484/watcher-4520431-1751567484 -o /tmp/evaluation-result-4520431-1751567484/solver-4520431-1751567484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751563872-84481 --watchdog 3760  pb_picat HOME/instance-4520431-1751567484.opb

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

MD5SUM BENCH= 5ca51305e83677be761e9af671c63f9d
RANDOM SEED=2070591164

nodeC033 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	: 0xb00002a
cpu MHz		: 3600.084
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.045
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.118
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.429
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.061
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.026
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.994
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.610
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123581732 kB
MemAvailable:   129514712 kB
Buffers:            2128 kB
Cached:          6685492 kB
SwapCached:           68 kB
Active:           865612 kB
Inactive:        6104636 kB
Active(anon):     295140 kB
Inactive(anon):     5524 kB
Active(file):     570472 kB
Inactive(file):  6099112 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11936 kB
Writeback:             8 kB
AnonPages:        285740 kB
Mapped:           111212 kB
Shmem:             18028 kB
KReclaimable:     205272 kB
Slab:             297668 kB
SReclaimable:     205272 kB
SUnreclaim:        92396 kB
KernelStack:        4240 kB
PageTables:         3428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4527492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429892 MiB
End job on nodeC033 at 2025-07-03 20:31:51