Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | 722 | 27.1742 | 27.2629 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb |
| MD5SUM | 5ca51305e83677be761e9af671c63f9d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 722 |
| Best CPU time to get the best result obtained on this benchmark | 0.020305 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1444 |
| Total number of constraints | 361 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 19 |
| Number of constraints which are nor clauses,nor cardinality constraints | 342 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 12 |
| 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 numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c solving HOME/instance-4528708-1752248960.opb (Picat 3.9b11, 7/10/2025) 4.36/4.41 o 799 13.13/13.23 o 723 27.10/27.25 o 722 27.10/27.25 s OPTIMUM FOUND 27.10/27.25 v ~x1269 x1058 ~x847 x636 x425 x214 ~x3 ~x1270 ~x1059 ~x848 27.10/27.25 v x637 x426 ~x215 ~x4 x1271 ~x1060 x849 x638 ~x427 ~x216 27.10/27.25 v x5 x1272 x1061 x850 ~x639 ~x428 x217 x6 x1273 x1062 27.10/27.25 v ~x851 ~x640 x429 x218 ~x7 x1274 ~x1063 ~x852 ~x641 x430 27.10/27.25 v ~x219 ~x8 ~x1275 ~x1064 x853 ~x642 ~x431 ~x220 x9 ~x1276 27.10/27.25 v ~x1065 x854 x643 ~x432 x221 x10 ~x1277 ~x1066 ~x855 x644 27.10/27.25 v ~x433 x222 ~x11 ~x1278 x1067 ~x856 x645 x434 ~x223 ~x12 27.10/27.25 v x1279 x1068 ~x857 x646 ~x435 ~x224 ~x13 x1280 ~x1069 ~x858 27.10/27.25 v ~x647 x436 ~x225 ~x14 ~x1281 ~x1070 x859 ~x648 x437 ~x226 27.10/27.25 v x15 ~x1282 x1071 x860 x649 x438 x227 x16 x1283 x1072 27.10/27.25 v ~x861 x650 ~x439 x228 x17 x1284 ~x1073 ~x862 ~x651 ~x440 27.10/27.25 v x229 x18 x1285 ~x1074 x863 ~x652 x441 x230 ~x19 x1286 27.10/27.25 v x1075 x864 x653 x442 ~x231 ~x20 ~x1287 x1076 x865 x654 27.10/27.25 v ~x443 ~x232 ~x21 ~x1288 ~x1077 x866 ~x655 ~x444 ~x233 ~x22 27.10/27.25 v ~x1289 ~x1078 ~x867 ~x656 x445 ~x234 x23 ~x1290 x1079 ~x868 27.10/27.25 v ~x657 x446 x235 x24 x1291 x1080 x869 ~x658 ~x447 x236 27.10/27.25 v ~x25 x1292 ~x1081 x870 x659 ~x448 x237 x26 ~x1293 ~x1082 27.10/27.25 v ~x871 x660 x449 x238 x27 ~x1294 x1083 ~x872 x661 x450 27.10/27.25 v ~x239 ~x28 x1295 x1084 x873 x662 ~x451 ~x240 ~x29 x1296 27.10/27.25 v ~x1085 x874 ~x663 ~x452 ~x241 x30 ~x1297 ~x1086 ~x875 ~x664 27.10/27.25 v ~x453 ~x242 x31 ~x1298 x1087 ~x876 ~x665 ~x454 x243 ~x32 27.10/27.25 v x1299 x1088 x877 ~x666 x455 x244 ~x33 x1300 x1089 x878 27.10/27.25 v x667 x456 x245 ~x34 x1301 x1090 ~x879 x668 x457 x246 27.10/27.25 v x35 x1302 ~x1091 ~x880 x669 x458 ~x247 x36 ~x1303 ~x1092 27.10/27.25 v x881 x670 ~x459 ~x248 x37 ~x1304 x1093 x882 ~x671 ~x460 27.10/27.25 v x249 ~x38 x1305 x1094 ~x883 ~x672 x461 x250 ~x39 x1306 27.10/27.25 v ~x1095 ~x884 x673 x462 ~x251 x40 ~x1307 ~x1096 ~x885 x674 27.10/27.25 v ~x463 ~x252 x41 ~x1308 x1097 ~x886 ~x675 ~x464 x253 ~x42 27.10/27.25 v ~x1309 x1098 x887 ~x676 x465 x254 ~x43 ~x1310 ~x1099 x888 27.10/27.25 v x677 x466 ~x255 x44 x1311 ~x1100 ~x889 x678 ~x467 ~x256 27.10/27.25 v ~x45 x1312 ~x1101 x890 ~x679 ~x468 ~x257 ~x46 x1313 ~x1102 27.10/27.25 v ~x891 ~x680 ~x469 ~x258 x47 x1314 x1103 x892 x681 x470 27.10/27.25 v x259 x48 ~x1315 x1104 x893 x682 ~x471 x260 x49 ~x1316 27.10/27.25 v ~x1105 x894 ~x683 x472 x261 x50 ~x1317 ~x1106 ~x895 ~x684 27.10/27.25 v x473 x262 ~x51 ~x1318 x1107 ~x896 x685 x474 ~x263 ~x52 27.10/27.25 v x1319 x1108 x897 x686 ~x475 ~x264 x53 x1320 ~x1109 x898 27.10/27.25 v ~x687 ~x476 x265 x54 x1321 ~x1110 ~x899 ~x688 x477 x266 27.10/27.25 v ~x55 x1322 x1111 ~x900 ~x689 x478 ~x267 ~x56 ~x1323 x1112 27.10/27.25 v x901 ~x690 ~x479 ~x268 ~x57 ~x1324 ~x1113 x902 x691 ~x480 27.10/27.25 v ~x269 ~x58 x1325 x1114 ~x903 x692 ~x481 ~x270 x59 x1326 27.10/27.26 v x1115 ~x904 ~x693 ~x482 x271 x60 ~x1327 ~x1116 x905 x694 27.10/27.26 v x483 x272 ~x61 ~x1328 ~x1117 x906 ~x695 x484 x273 ~x62 27.10/27.26 v ~x1329 x1118 ~x907 x696 x485 x274 x63 ~x1330 ~x1119 ~x908 27.10/27.26 v x697 x486 ~x275 x64 x1331 x1120 x909 x698 ~x487 ~x276 27.10/27.26 v x65 x1332 ~x1121 x910 ~x699 ~x488 x277 x66 ~x1333 ~x1122 27.10/27.26 v ~x911 ~x700 ~x489 x278 ~x67 ~x1334 x1123 ~x912 x701 x490 27.10/27.26 v ~x279 ~x68 x1335 x1124 x913 x702 ~x491 ~x280 ~x69 x1336 27.10/27.26 v x1125 x914 ~x703 x492 x281 ~x70 x1337 x1126 ~x915 ~x704 27.10/27.26 v ~x493 x282 x71 x1338 ~x1127 ~x916 ~x705 ~x494 ~x283 x72 27.10/27.26 v ~x1339 ~x1128 x917 ~x706 x495 ~x284 ~x73 ~x1340 ~x1129 x918 27.10/27.26 v x707 x496 x285 ~x74 x1341 ~x1130 ~x919 x708 ~x497 x286 27.10/27.26 v x75 x1342 x1131 ~x920 x709 ~x498 ~x287 x76 ~x1343 x1132 27.10/27.26 v ~x921 x710 x499 ~x288 x77 ~x1344 ~x1133 ~x922 ~x711 x500 27.10/27.26 v x289 x78 ~x1345 ~x1134 x923 ~x712 x501 x290 ~x79 ~x1346 27.10/27.26 v x1135 x924 x713 x502 ~x291 ~x80 x1347 x1136 x925 x714 27.10/27.26 v ~x503 ~x292 x81 x1348 ~x1137 x926 ~x715 ~x504 x293 x82 27.10/27.26 v x1349 ~x1138 ~x927 ~x716 ~x505 x294 ~x83 x1350 x1139 ~x928 27.10/27.26 v x717 ~x506 ~x295 ~x84 ~x1351 x1140 x929 x718 x507 ~x296 27.10/27.26 v ~x85 ~x1352 x1141 x930 ~x719 x508 ~x297 x86 ~x1353 x1142 27.10/27.26 v ~x931 ~x720 x509 ~x298 ~x87 ~x1354 ~x1143 ~x932 x721 x510 27.10/27.26 v x299 x88 x1355 ~x1144 x933 x722 ~x511 x300 ~x89 x1356 27.10/27.26 v ~x1145 x934 ~x723 ~x512 x301 ~x90 ~x1357 ~x1146 ~x935 ~x724 27.10/27.26 v x513 x302 x91 ~x1358 x1147 ~x936 x725 x514 ~x303 x92 27.10/27.26 v x1359 x1148 x937 x726 ~x515 ~x304 ~x93 x1360 x1149 x938 27.10/27.26 v ~x727 ~x516 x305 ~x94 ~x1361 x1150 ~x939 ~x728 ~x517 x306 27.10/27.26 v x95 ~x1362 ~x1151 ~x940 x729 ~x518 ~x307 x96 x1363 ~x1152 27.10/27.26 v x941 ~x730 x519 ~x308 ~x97 x1364 x1153 x942 ~x731 x520 27.10/27.26 v x309 ~x98 ~x1365 x1154 ~x943 x732 x521 x310 x99 ~x1366 27.10/27.26 v ~x1155 ~x944 x733 x522 ~x311 x100 x1367 ~x1156 x945 ~x734 27.10/27.26 v ~x523 ~x312 ~x101 x1368 x1157 x946 ~x735 ~x524 x313 ~x102 27.10/27.26 v ~x1369 x1158 ~x947 x736 ~x525 x314 x103 ~x1370 ~x1159 ~x948 27.10/27.26 v x737 x526 ~x315 x104 x1371 ~x1160 x949 x738 ~x527 ~x316 27.10/27.26 v x105 x1372 ~x1161 x950 ~x739 x528 x317 x106 ~x1373 ~x1162 27.10/27.26 v ~x951 ~x740 x529 x318 ~x107 ~x1374 x1163 ~x952 x741 x530 27.10/27.26 v ~x319 ~x108 x1375 x1164 ~x953 x742 ~x531 ~x320 x109 x1376 27.10/27.26 v ~x1165 ~x954 ~x743 ~x532 x321 x110 ~x1377 ~x1166 x955 ~x744 27.10/27.26 v x533 x322 ~x111 ~x1378 x1167 x956 x745 x534 ~x323 ~x112 27.10/27.26 v x1379 x1168 x957 x746 ~x535 ~x324 x113 x1380 ~x1169 ~x958 27.10/27.26 v ~x747 ~x536 x325 x114 ~x1381 ~x1170 x959 ~x748 x537 x326 27.10/27.26 v ~x115 ~x1382 x1171 ~x960 ~x749 x538 ~x327 ~x116 x1383 x1172 27.10/27.26 v x961 ~x750 ~x539 ~x328 x117 x1384 x1173 x962 x751 ~x540 27.10/27.26 v x329 x118 ~x1385 x1174 ~x963 x752 x541 x330 ~x119 ~x1386 27.10/27.26 v ~x1175 ~x964 x753 x542 ~x331 ~x120 x1387 ~x1176 ~x965 x754 27.10/27.26 v ~x543 ~x332 ~x121 x1388 ~x1177 x966 ~x755 ~x544 x333 ~x122 27.10/27.26 v ~x1389 ~x1178 ~x967 ~x756 ~x545 x334 x123 ~x1390 x1179 x968 27.10/27.26 v x757 x546 ~x335 x124 x1391 x1180 x969 x758 x547 ~x336 27.10/27.26 v ~x125 x1392 x1181 x970 ~x759 ~x548 ~x337 ~x126 ~x1393 x1182 27.10/27.26 v ~x971 ~x760 x549 ~x338 x127 ~x1394 ~x1183 ~x972 ~x761 x550 27.10/27.26 v x339 x128 x1395 ~x1184 x973 ~x762 ~x551 x340 ~x129 x1396 27.10/27.26 v x1185 x974 x763 ~x552 ~x341 ~x130 ~x1397 x1186 ~x975 x764 27.10/27.26 v x553 ~x342 x131 ~x1398 ~x1187 ~x976 x765 x554 x343 x132 27.10/27.26 v x1399 ~x1188 x977 x766 ~x555 x344 ~x133 x1400 x1189 x978 27.10/27.26 v ~x767 ~x556 x345 ~x134 ~x1401 x1190 ~x979 ~x768 ~x557 x346 27.10/27.26 v x135 ~x1402 ~x1191 ~x980 ~x769 ~x558 ~x347 x136 x1403 ~x1192 27.10/27.26 v x981 ~x770 x559 ~x348 x137 x1404 ~x1193 x982 x771 x560 27.10/27.26 v x349 x138 ~x1405 ~x1194 ~x983 x772 ~x561 x350 ~x139 ~x1406 27.10/27.26 v x1195 ~x984 x773 ~x562 ~x351 ~x140 x1407 x1196 x985 x774 27.10/27.26 v x563 ~x352 x141 x1408 ~x1197 x986 ~x775 x564 x353 x142 27.10/27.26 v ~x1409 ~x1198 ~x987 ~x776 x565 x354 ~x143 ~x1410 x1199 ~x988 27.10/27.26 v x777 x566 ~x355 ~x144 x1411 x1200 x989 x778 ~x567 ~x356 27.10/27.26 v x145 x1412 ~x1201 x990 ~x779 ~x568 x357 x146 ~x1413 ~x1202 27.10/27.26 v ~x991 ~x780 x569 x358 ~x147 ~x1414 x1203 ~x992 x781 x570 27.10/27.26 v ~x359 ~x148 x1415 x1204 x993 x782 ~x571 ~x360 ~x149 x1416 27.10/27.26 v ~x1205 x994 ~x783 ~x572 x361 ~x150 ~x1417 ~x1206 ~x995 ~x784 27.10/27.26 v ~x573 x362 x151 ~x1418 x1207 ~x996 x785 ~x574 ~x363 x152 27.10/27.26 v x1419 x1208 x997 x786 x575 ~x364 x153 x1420 ~x1209 x998 27.10/27.26 v ~x787 x576 x365 x154 ~x1421 ~x1210 ~x999 ~x788 x577 x366 27.10/27.26 v ~x155 ~x1422 x1211 ~x1000 x789 x578 ~x367 ~x156 x1423 x1212 27.10/27.26 v ~x1001 x790 ~x579 ~x368 ~x157 x1424 ~x1213 ~x1002 ~x791 ~x580 27.10/27.26 v ~x369 ~x158 ~x1425 ~x1214 x1003 ~x792 x581 ~x370 x159 ~x1426 27.10/27.26 v x1215 x1004 x793 x582 x371 x160 x1427 x1216 ~x1005 x794 27.10/27.26 v ~x583 x372 x161 x1428 ~x1217 ~x1006 ~x795 ~x584 x373 ~x162 27.10/27.26 v ~x1429 ~x1218 x1007 ~x796 ~x585 x374 x163 ~x1430 x1219 x1008 27.10/27.26 v x797 x586 ~x375 ~x164 x1431 x1220 x1009 x798 ~x587 ~x376 27.10/27.26 v x165 x1432 x1221 x1010 ~x799 x588 ~x377 x166 ~x1433 x1222 27.10/27.26 v ~x1011 ~x800 ~x589 ~x378 ~x167 ~x1434 ~x1223 ~x1012 ~x801 ~x590 27.10/27.26 v x379 ~x168 x1435 ~x1224 x1013 ~x802 x591 x380 x169 x1436 27.10/27.26 v ~x1225 x1014 x803 x592 ~x381 x170 ~x1437 ~x1226 ~x1015 x804 27.10/27.26 v ~x593 ~x382 ~x171 ~x1438 x1227 ~x1016 x805 ~x594 x383 ~x172 27.10/27.26 v x1439 x1228 x1017 x806 x595 x384 x173 x1440 x1229 x1018 27.10/27.26 v ~x807 x596 x385 x174 ~x1441 x1230 ~x1019 ~x808 x597 x386 27.10/27.26 v ~x175 ~x1442 ~x1231 ~x1020 ~x809 x598 ~x387 ~x176 x1443 ~x1232 27.10/27.26 v x1021 ~x810 ~x599 ~x388 ~x177 x1444 ~x1233 x1022 x811 ~x600 27.10/27.26 v x389 ~x178 ~x1234 ~x1023 x812 ~x601 x390 x179 x1235 ~x1024 27.10/27.26 v x813 ~x602 ~x391 x180 x1236 ~x1025 x814 x603 ~x392 x181 27.10/27.26 v x1237 ~x1026 ~x815 x604 x393 x182 x1238 x1027 ~x816 x605 27.10/27.26 v x394 ~x183 ~x1239 x1028 ~x817 x606 ~x395 ~x184 ~x1240 x1029 27.10/27.26 v ~x818 ~x607 ~x396 x185 x1241 x1030 x819 ~x608 x397 x186 27.10/27.26 v x1242 ~x1031 x820 ~x609 x398 ~x187 ~x1243 ~x1032 ~x821 x610 27.10/27.26 v ~x399 ~x188 ~x1244 x1033 ~x822 ~x611 ~x400 x189 ~x1245 x1034 27.10/27.26 v x823 x612 x401 x190 ~x1246 ~x1035 x824 ~x613 x402 ~x191 27.10/27.26 v x1247 ~x1036 x825 ~x614 ~x403 ~x192 x1248 ~x1037 x826 x615 27.10/27.26 v ~x404 ~x193 x1249 ~x1038 ~x827 x616 x405 x194 x1250 x1039 27.10/27.26 v ~x828 ~x617 x406 ~x195 ~x1251 x1040 x829 ~x618 ~x407 x196 27.10/27.26 v ~x1252 x1041 x830 x619 ~x408 x197 ~x1253 x1042 ~x831 x620 27.10/27.26 v x409 x198 ~x1254 ~x1043 ~x832 x621 x410 ~x199 x1255 ~x1044 27.10/27.26 v x833 x622 ~x411 ~x200 x1256 x1045 x834 ~x623 ~x412 ~x201 27.10/27.26 v ~x1257 x1046 ~x835 ~x624 x413 ~x202 ~x1258 ~x1047 ~x836 x625 27.10/27.26 v x414 x203 x1259 ~x1048 x837 x626 ~x415 x204 x1260 ~x1049 27.10/27.26 v x838 ~x627 ~x416 x205 x1261 ~x1050 ~x839 ~x628 ~x417 x206 27.10/27.26 v x1262 x1051 ~x840 x629 ~x418 ~x207 ~x1263 x1052 ~x841 x630 27.10/27.26 v x419 ~x208 ~x1264 ~x1053 ~x842 ~x631 x420 x209 x1265 ~x1054 27.10/27.26 v x843 ~x632 x421 x210 x1266 x1055 x844 ~x633 x422 ~x211 27.10/27.26 v ~x1267 x1056 x845 ~x634 ~x423 ~x212 x1 ~x1268 x1057 x846 27.10/27.26 v x635 ~x424 x213 x2
OK 722
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: 63665 MiB (61990 MiB free)
memory of node 1: 64507 MiB (56650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528708-1752248960/watcher-4528708-1752248960 -o /tmp/evaluation-result-4528708-1752248960/solver-4528708-1752248960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752245348-118152 --watchdog 3760 pb_picat HOME/instance-4528708-1752248960.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=118606, runsolver pid=118603
[startup+0.100066 s]*
/proc/loadavg: 4.12 4.09 4.02 5/262 118607
/proc/meminfo: memFree=121454944/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2042696 memory=33616 CPUtime=0.09 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 2688 0 0 0 8 1 0 0 20 0 1 0 140573744 2091720704 8404 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 510674 8404 1664 343 0 507738 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2042696 KiB
Current children cumulated memory: 33616 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.12 4.09 4.02 5/262 118607
/proc/meminfo: memFree=121441964/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2043220 memory=35384 CPUtime=0.19 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 4363 0 0 0 18 1 0 0 20 0 1 0 140573744 2092257280 8846 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 510805 8846 1696 343 0 507869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2043220 KiB
Current children cumulated memory: 35384 KiB
[startup+0.305518 s]*
/proc/loadavg: 4.12 4.09 4.02 5/262 118607
/proc/meminfo: memFree=121441964/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2049624 memory=37692 CPUtime=0.28 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 5473 0 0 0 27 1 0 0 20 0 1 0 140573744 2098814976 9423 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 512406 9423 1696 343 0 509470 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2049624 KiB
Current children cumulated memory: 37692 KiB
[startup+0.700201 s]
/proc/loadavg: 4.12 4.09 4.02 5/262 118607
/proc/meminfo: memFree=121437196/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2045376 memory=36104 CPUtime=0.67 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 7675 0 0 0 65 2 0 0 20 0 1 0 140573744 2094465024 9026 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 511344 9026 1696 343 0 508408 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2045376 KiB
Current children cumulated memory: 36104 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 118608
/proc/meminfo: memFree=121430832/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2045524 memory=36048 CPUtime=1.47 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 10209 0 0 0 145 2 0 0 20 0 1 0 140573744 2094616576 9012 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 511381 9012 1696 343 0 508445 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2045524 KiB
Current children cumulated memory: 36048 KiB
[startup+3.10546 s]
/proc/loadavg: 4.12 4.09 4.02 5/263 118608
/proc/meminfo: memFree=121398884/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2050436 memory=42212 CPUtime=3.07 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 17624 0 0 0 303 4 0 0 20 0 1 0 140573744 2099646464 10553 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 512609 10553 1696 343 0 509673 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2050436 KiB
Current children cumulated memory: 42212 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 118608
/proc/meminfo: memFree=121384880/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2054020 memory=46628 CPUtime=6.25 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 29778 0 0 0 618 7 0 0 20 0 1 0 140573744 2103316480 11657 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 513505 11657 1696 343 0 510569 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2054020 KiB
Current children cumulated memory: 46628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.08 4.02 5/263 118608
/proc/meminfo: memFree=121406844/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2053864 memory=46668 CPUtime=12.64 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 55639 0 0 0 1249 15 0 0 20 0 1 0 140573744 2103156736 11667 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 513466 11667 1696 343 0 510530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2053864 KiB
Current children cumulated memory: 46668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 118608
/proc/meminfo: memFree=121392436/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2050792 memory=45560 CPUtime=25.41 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 107148 0 0 0 2513 28 0 0 20 0 1 0 140573744 2100011008 11390 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 512698 11390 1696 343 0 509762 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2050792 KiB
Current children cumulated memory: 45560 KiB
[startup+27.2629 s]
# the end of solver process 118606 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.878 s, system=0.29622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 118608
/proc/meminfo: memFree=121392436/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2052840 memory=45944 CPUtime=25.51 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 107263 0 0 0 2523 28 0 0 20 0 1 0 140573744 2102108160 11486 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 513210 11486 1696 343 0 510274 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 45944 KiB
[startup+26.4001 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 118608
/proc/meminfo: memFree=121388340/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2052840 memory=46712 CPUtime=26.31 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 111058 0 0 0 2602 29 0 0 20 0 1 0 140573744 2102108160 11678 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 513210 11678 1696 343 0 510274 0
Current children cumulated CPU time: 26.31 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 46712 KiB
[startup+26.8001 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 118608
/proc/meminfo: memFree=121388340/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2050792 memory=45304 CPUtime=26.7 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 112106 0 0 0 2641 29 0 0 20 0 1 0 140573744 2100011008 11326 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 512698 11326 1696 343 0 509762 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 2050792 KiB
Current children cumulated memory: 45304 KiB
[startup+27.2002 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 118608
/proc/meminfo: memFree=121386292/131249996 swapFree=33010416/33010684
[pid=118606] ppid=118603 vsize=2052840 memory=46072 CPUtime=27.1 cores=5,7
/proc/118606/stat : 118606 (pb_picat) R 118603 118606 118139 0 -1 4194304 112726 0 0 0 2681 29 0 0 20 0 1 0 140573744 2102108160 11518 18446744073709551615 94291103698944 94291105100525 140737291171584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94291105371952 94291107246192 94291115819008 140737291180444 140737291180520 140737291180520 140737291186124 0
/proc/118606/statm: 513210 11518 1696 343 0 510274 0
Current children cumulated CPU time: 27.1 s
Current children cumulated vsize: 2052840 KiB
Current children cumulated memory: 46072 KiB
Child status: 0
Real time (s): 27.2629
CPU time (s): 27.1742
CPU user time (s): 26.878
CPU system time (s): 0.29622
CPU usage (%): 99.6745
Max. virtual memory (cumulated for all children) (KiB): 2058472
Max. memory (cumulated for all children) (KiB): 50620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.878
system time used= 0.29622
maximum resident set size= 52288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112754
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= 44
# summary of solver processes directly reported to runsolver:
# pid: 118606
# total CPU time (s): 27.1742
# total CPU user time (s): 26.878
# total CPU system time (s): 0.29622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069598 second user time and 0.14595 second system time
The end
Begin job on nodeC022 at 2025-07-11 17:49:20 IDJOB=4528708 IDBENCH=177986 IDSOLVER=3385 FILE ID=nodeC022/4528708-1752248960 RUNJOBID= nodeC022-1752245348-118152 SLURM_JOB_ID= 9682572 Free space on /tmp= 432140 MiB SOLVER NAME= pb_picat 2025-07-11 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-4528708-1752248960/watcher-4528708-1752248960 -o /tmp/evaluation-result-4528708-1752248960/solver-4528708-1752248960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752245348-118152 --watchdog 3760 pb_picat HOME/instance-4528708-1752248960.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5ca51305e83677be761e9af671c63f9d RANDOM SEED=1809622883 nodeC022 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 : 3599.696 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 : 6999.44 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 : 3599.705 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 : 6999.44 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 : 3595.633 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 : 6999.44 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 : 3599.975 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 : 6999.44 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 : 3599.733 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 : 6999.44 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 : 3594.906 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 : 6999.44 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 : 3600.085 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.762 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 : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 121492388 kB MemAvailable: 129498148 kB Buffers: 2128 kB Cached: 8754120 kB SwapCached: 32 kB Active: 967012 kB Inactive: 8097304 kB Active(anon): 323980 kB Inactive(anon): 2124 kB Active(file): 643032 kB Inactive(file): 8095180 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 11844 kB Writeback: 36 kB AnonPages: 311048 kB Mapped: 115912 kB Shmem: 18028 kB KReclaimable: 213172 kB Slab: 307524 kB SReclaimable: 213172 kB SUnreclaim: 94352 kB KernelStack: 4272 kB PageTables: 3448 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 6590908 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432136 MiB End job on nodeC022 at 2025-07-11 17:49:47