0.00/0.00 c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
3.14/2.34 c #variable: 1600
3.14/2.34 c #constraint: 328901
3.14/2.34 c #equal: 61
3.14/2.34 c intsize: 10
3.14/2.34 c sizeproduct: 0
3.14/2.34 c #soft: 0
3.14/2.34 c mincost: 0
3.14/2.34 c maxcost: 0
3.14/2.34 c sumcost: 0
3.14/2.34 c iteration_max: -1
3.14/2.34 c time_max: -1
3.14/2.34 c number_of_threads(move update): 2
3.14/2.34 c number_of_threads(move evaluation): 2
3.14/2.34 c seed: 1780070525
14.46/12.28 o 0
14.76/12.56 s SATISFIABLE
14.76/12.56 v -x1 x10 -x100 x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x101 x1010 -x1011 -x1012 x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x118 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x48 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
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: 63837 MiB (63278 MiB free)
memory of node 1: 64465 MiB (63944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493982-1751150623/watcher-4493982-1751150623 -o /tmp/evaluation-result-4493982-1751150623/solver-4493982-1751150623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15174 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780070525 HOME/instance-4493982-1751150623.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15948, runsolver pid=15945
[startup+0.100067 s]*
/proc/loadavg: 6.95 7.41 7.24 8/255 15950
/proc/meminfo: memFree=130238808/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=146324 memory=68016 CPUtime=0.15 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 10926 0 0 0 13 2 0 0 20 0 2 0 30741427 149835776 17004 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 36581 17004 576 633 0 20112 0
[pid=15948/tid=15950] ppid=15945 vsize=146324 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 701 0 0 0 4 0 0 0 20 0 2 0 30741433 149835776 17004 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 146324 KiB
Current children cumulated memory: 68016 KiB
[startup+0.213916 s]*
/proc/loadavg: 6.95 7.41 7.24 8/255 15950
/proc/meminfo: memFree=130222680/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=167444 memory=95408 CPUtime=0.36 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 17751 0 0 0 32 4 0 0 20 0 2 0 30741427 171462656 23852 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 41861 23852 576 633 0 26934 0
[pid=15948/tid=15950] ppid=15945 vsize=167444 memory=664958721904869660 CPUtime=0.14 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 2243 0 0 0 13 1 0 0 20 0 2 0 30741433 171462656 23852 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 167444 KiB
Current children cumulated memory: 95408 KiB
[startup+0.314939 s]*
/proc/loadavg: 6.95 7.41 7.24 8/255 15950
/proc/meminfo: memFree=130190424/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=185792 memory=118960 CPUtime=0.55 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 23641 0 0 0 49 6 0 0 20 0 2 0 30741427 190251008 29740 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 46448 29740 576 633 0 32842 0
[pid=15948/tid=15950] ppid=15945 vsize=185792 memory=7970954115501604211 CPUtime=0.22 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 3564 0 0 0 20 2 0 0 20 0 2 0 30741433 190251008 29740 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 185792 KiB
Current children cumulated memory: 118960 KiB
[startup+0.700278 s]
/proc/loadavg: 6.95 7.41 7.24 8/255 15950
/proc/meminfo: memFree=130188912/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=189356 memory=145456 CPUtime=0.92 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) S 15945 15948 15162 0 -1 4194304 30307 0 0 0 82 10 0 0 20 0 2 0 30741427 193900544 36364 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 47339 36364 576 633 0 39510 0
[pid=15948/tid=15950] ppid=15945 vsize=189356 memory=17152 CPUtime=0.56 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 9341 0 0 0 51 5 0 0 20 0 2 0 30741433 193900544 36364 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 189356 KiB
Current children cumulated memory: 145456 KiB
[startup+1.50032 s]
/proc/loadavg: 6.95 7.41 7.24 8/255 15950
/proc/meminfo: memFree=130150608/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=414360 memory=402596 CPUtime=1.76 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 53967 0 0 0 154 22 0 0 20 0 2 0 30741427 424304640 100649 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 103590 100649 608 633 0 102177 0
[pid=15948/tid=15950] ppid=15945 vsize=414360 memory=17152 CPUtime=0.88 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 15757 0 0 0 79 9 0 0 20 0 2 0 30741433 424304640 100649 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 414360 KiB
Current children cumulated memory: 402596 KiB
[startup+3.11389 s]
/proc/loadavg: 6.96 7.40 7.24 7/255 15950
/proc/meminfo: memFree=129760736/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=596496 memory=558736 CPUtime=3.96 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 125073 0 0 0 359 37 0 0 20 0 2 0 30741427 610811904 139684 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 149124 139684 672 633 0 141918 0
[pid=15948/tid=15950] ppid=15945 vsize=596496 memory=432292 CPUtime=1.7 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) S 15945 15948 15162 0 -1 4194368 34873 0 0 0 154 16 0 0 20 0 2 0 30741433 610811904 139684 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 596496 KiB
Current children cumulated memory: 558736 KiB
[startup+6.30032 s]
/proc/loadavg: 6.96 7.40 7.24 8/255 15950
/proc/meminfo: memFree=129267300/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=1070132 memory=1033752 CPUtime=7.24 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) S 15945 15948 15162 0 -1 4194304 321281 0 0 0 667 57 0 0 20 0 2 0 30741427 1095815168 258438 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 267533 258438 672 633 0 260327 0
[pid=15948/tid=15950] ppid=15945 vsize=1070132 memory=17152 CPUtime=1.83 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) R 15945 15948 15162 0 -1 4194368 37790 0 0 0 167 16 0 0 20 0 2 0 30741433 1095815168 258438 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 7.24 s
Current children cumulated vsize: 1070132 KiB
Current children cumulated memory: 1033752 KiB
[startup+12.7004 s]
/proc/loadavg: 6.88 7.38 7.23 8/255 15950
/proc/meminfo: memFree=129267812/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=1116172 memory=1079888 CPUtime=14.96 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 484301 0 0 0 1427 69 0 0 20 0 2 0 30741427 1142960128 269972 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 279043 269972 672 633 0 271837 0
[pid=15948/tid=15950] ppid=15945 vsize=1116172 memory=1042596 CPUtime=3.22 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) S 15945 15948 15162 0 -1 4194368 41921 0 0 0 305 17 0 0 20 0 2 0 30741433 1142960128 269972 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 14.96 s
Current children cumulated vsize: 1116172 KiB
Current children cumulated memory: 1079888 KiB
[startup+13.0709 s]
# the end of solver process 15948 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=14.5297 s, system=0.790715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 6.88 7.38 7.23 8/255 15950
/proc/meminfo: memFree=129267812/131382120 swapFree=33010684/33010684
[pid=15948] ppid=15945 vsize=1116172 memory=1079888 CPUtime=15.06 cores=1,3
/proc/15948/stat : 15948 (pb_competition_) R 15945 15948 15162 0 -1 4194304 503194 0 0 0 1436 70 0 0 20 0 2 0 30741427 1142960128 269972 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
/proc/15948/statm: 279043 269972 672 633 0 271837 0
[pid=15948/tid=15950] ppid=15945 vsize=1116172 memory=1033880 CPUtime=3.22 cores=1,3
/proc/15948/task/15950/stat : 15950 (pb_competition_) S 15945 15948 15162 0 -1 4194368 41921 0 0 0 305 17 0 0 20 0 2 0 30741433 1142960128 269972 18446744073709551615 4198400 6788177 140722698101472 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 37220352 140722698107225 140722698107352 140722698107352 140722698112954 0
Current children cumulated CPU time: 15.06 s
Current children cumulated vsize: 1116172 KiB
Current children cumulated memory: 1079888 KiB
[startup+13.0005 s]*
/proc/loadavg: 6.97 7.39 7.23 7/255 15950
/proc/meminfo: memFree=129432680/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 13.071
CPU time (s): 15.3205
CPU user time (s): 14.5297
CPU system time (s): 0.790715
CPU usage (%): 117.21
Max. virtual memory (cumulated for all children) (KiB): 1116172
Max. memory (cumulated for all children) (KiB): 1079888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5297
system time used= 0.790715
maximum resident set size= 1079888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536585
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= 926
involuntary context switches= 403
# summary of solver processes directly reported to runsolver:
# pid: 15948
# total CPU time (s): 15.3205
# total CPU user time (s): 14.5297
# total CPU system time (s): 0.790715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083631 second user time and 0.197769 second system time
The end
Begin job on nodeC008 at 2025-06-29 00:43:43
IDJOB=4493982
IDBENCH=147878
IDSOLVER=3347
FILE ID=nodeC008/4493982-1751150623
RUNJOBID= nodeC008-1751145166-15174
SLURM_JOB_ID= 9587445
Free space on /tmp= 433036 MiB
SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493982-1751150623/watcher-4493982-1751150623 -o /tmp/evaluation-result-4493982-1751150623/solver-4493982-1751150623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15174 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780070525 HOME/instance-4493982-1751150623.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ff33dfc09cf27701edef9877d2b706c
RANDOM SEED=1780070525
nodeC008 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 : 3491.666
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.741
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 : 6983.72
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 : 3491.865
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
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 : 6983.72
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 : 3491.975
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 : 6983.72
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.621
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 : 6983.72
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 : 3491.946
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 : 6983.72
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 : 3491.864
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 : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130276168 kB
MemAvailable: 129891132 kB
Buffers: 3280 kB
Cached: 396492 kB
SwapCached: 0 kB
Active: 348680 kB
Inactive: 198344 kB
Active(anon): 165208 kB
Inactive(anon): 0 kB
Active(file): 183472 kB
Inactive(file): 198344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16372 kB
Writeback: 12 kB
AnonPages: 150088 kB
Mapped: 110336 kB
Shmem: 17956 kB
KReclaimable: 83992 kB
Slab: 162184 kB
SReclaimable: 83992 kB
SUnreclaim: 78192 kB
KernelStack: 4112 kB
PageTables: 3260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 506252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC008 at 2025-06-29 00:43:56