0.00/0.00 c solving HOME/instance-4527844-1752239245.opb (Picat 3.9b11, 7/10/2025)
22.27/22.45 s SATISFIABLE
22.27/22.45 v ~x66 x486 x907 ~x1328 ~x275 ~x696 x1117 ~x67 ~x487 ~x908
22.27/22.45 v ~x1329 ~x276 ~x697 ~x1118 ~x68 ~x488 ~x909 x1330 ~x277 ~x698
22.27/22.45 v ~x1119 x69 x489 ~x910 ~x1331 ~x278 x699 ~x1120 ~x70 ~x490
22.27/22.45 v ~x911 ~x1332 ~x279 ~x700 ~x1121 ~x71 ~x491 x912 ~x1333 x280
22.27/22.45 v x701 ~x1122 ~x72 ~x492 ~x913 ~x1334 x281 ~x702 x1123 x73
22.27/22.45 v ~x493 ~x914 ~x1335 ~x282 ~x703 ~x1124 ~x74 ~x494 x915 x1336
22.27/22.45 v ~x283 ~x704 ~x1125 ~x75 ~x495 ~x916 ~x1337 ~x284 x705 x1126
22.27/22.45 v ~x76 x496 ~x917 x1338 ~x285 ~x706 ~x1127 ~x77 x497 ~x918
22.27/22.45 v ~x1339 x286 ~x707 ~x1128 ~x78 ~x498 x919 ~x1340 ~x287 ~x708
22.27/22.45 v ~x1129 ~x79 ~x499 ~x920 ~x1341 ~x288 x709 x1130 x80 ~x500
22.27/22.45 v ~x921 x1342 ~x289 ~x710 ~x1131 ~x81 x501 ~x922 ~x1343 ~x290
22.27/22.45 v ~x711 ~x1132 x82 ~x502 ~x923 ~x1344 ~x291 ~x712 x1133 ~x83
22.27/22.45 v ~x503 x924 ~x1345 x292 ~x713 ~x1134 ~x84 ~x504 ~x925 x1346
22.27/22.45 v ~x293 ~x714 ~x1135 x85 x505 ~x926 ~x1347 ~x294 ~x715 ~x1136
22.27/22.45 v ~x86 ~x506 ~x927 ~x1348 x295 x716 ~x1137 ~x87 ~x507 x928
22.27/22.45 v ~x1349 ~x296 ~x717 ~x1138 ~x88 ~x508 ~x929 ~x1350 ~x297 x718
22.27/22.45 v x1139 x89 ~x509 x930 ~x1351 ~x298 ~x719 ~x1140 ~x90 x510
22.27/22.45 v ~x931 x1352 x299 ~x720 ~x1141 ~x91 ~x511 ~x932 x1353 ~x300
22.27/22.45 v ~x721 ~x1142 ~x92 ~x512 ~x933 ~x1354 ~x301 ~x722 x1143 ~x93
22.27/22.45 v ~x513 ~x934 ~x1355 x302 x723 ~x1144 ~x94 ~x514 ~x935 ~x1356
22.27/22.45 v ~x303 ~x724 x1145 ~x95 ~x515 x936 ~x1357 ~x304 x725 ~x1146
22.27/22.45 v x96 x516 ~x937 x1358 ~x305 ~x726 ~x1147 ~x97 ~x938 ~x517
22.27/22.45 v ~x1359 ~x306 ~x727 ~x1148 ~x98 ~x939 ~x518 ~x1360 ~x728 x307
22.27/22.45 v x1149 x99 x519 x940 ~x1361 x729 ~x308 ~x1150 ~x100 ~x520
22.27/22.45 v ~x941 ~x1362 ~x730 x309 ~x1151 ~x101 x521 x942 x1363 ~x310
22.27/22.45 v ~x731 ~x1152 x102 ~x522 ~x943 ~x1364 ~x311 ~x732 x1153 ~x103
22.27/22.45 v ~x523 ~x944 ~x1365 ~x312 x733 ~x1154 ~x104 ~x524 ~x945 x1366
22.27/22.45 v ~x313 ~x734 ~x1155 x105 ~x946 ~x1367 ~x314 ~x735 ~x1156 ~x106
22.27/22.45 v x947 ~x1368 ~x315 ~x736 ~x1157 ~x525 ~x107 ~x948 x1369 x316
22.27/22.45 v ~x737 ~x1158 ~x526 ~x108 ~x949 ~x1370 ~x317 x738 ~x1159 ~x527
22.27/22.45 v ~x109 ~x950 ~x1371 ~x318 ~x739 x1160 x528 x110 ~x951 ~x1372
22.27/22.45 v x319 ~x740 x1161 ~x529 ~x111 x952 x1373 ~x320 ~x741 ~x1162
22.27/22.45 v x530 ~x112 ~x953 ~x1374 ~x321 ~x742 ~x1163 ~x531 ~x113 ~x954
22.27/22.45 v ~x1375 ~x322 ~x743 ~x1164 ~x532 ~x114 x955 ~x1376 ~x323 x744
22.27/22.45 v ~x1165 ~x533 x115 ~x956 ~x1377 x324 ~x745 x1166 ~x534 ~x116
22.27/22.45 v ~x957 ~x1378 x325 x746 ~x1167 x535 x117 ~x958 x1379 ~x326
22.27/22.45 v ~x747 ~x1168 ~x536 ~x118 x959 ~x1380 ~x327 ~x748 ~x1169 ~x537
22.27/22.45 v ~x119 ~x960 ~x1381 ~x328 ~x749 ~x1170 x538 ~x120 ~x961 ~x1382
22.27/22.45 v ~x329 x750 ~x1171 ~x539 ~x121 ~x962 ~x1383 x330 ~x751 x1172
22.27/22.45 v ~x540 ~x122 x963 x1384 ~x331 ~x752 ~x1173 ~x541 x123 ~x964
22.27/22.45 v ~x1385 ~x332 ~x753 ~x1174 ~x542 ~x124 ~x965 ~x1386 ~x333 ~x754
22.27/22.45 v x1175 ~x543 ~x125 ~x966 x1387 ~x334 x755 ~x1176 x544 ~x126
22.27/22.45 v ~x967 ~x1388 ~x335 ~x756 ~x1177 ~x545 ~x127 x968 ~x1389 x336
22.27/22.45 v ~x757 ~x1178 ~x546 x128 ~x969 ~x1390 x337 ~x758 ~x1179 x547
22.27/22.45 v x129 ~x970 x1391 ~x338 x759 x1180 ~x548 ~x130 ~x971 ~x1392
22.27/22.45 v ~x339 ~x760 x1181 ~x549 ~x131 x972 x1393 ~x340 ~x761 ~x1182
22.27/22.45 v ~x550 ~x132 ~x973 ~x1394 ~x341 ~x762 ~x1183 x551 ~x974 ~x1395
22.27/22.45 v x342 ~x763 ~x1184 ~x552 ~x133 ~x975 ~x1396 ~x343 x764 x1185
22.27/22.45 v ~x553 ~x134 x976 ~x1397 ~x344 ~x765 ~x1186 ~x554 x135 x977
22.27/22.45 v x1398 ~x345 x766 ~x1187 x555 ~x136 ~x978 ~x1399 ~x346 ~x767
22.27/22.45 v ~x1188 ~x556 ~x137 ~x979 ~x1400 ~x347 ~x768 ~x1189 x557 ~x138
22.27/22.45 v ~x980 ~x1401 x348 ~x769 x1190 ~x558 ~x139 ~x981 ~x1402 ~x349
22.27/22.45 v x770 ~x1191 ~x559 x140 x982 x1403 x350 ~x771 ~x1192 ~x560
22.27/22.45 v ~x141 ~x983 ~x1404 ~x351 ~x772 ~x1193 ~x561 ~x142 ~x984 x1405
22.27/22.45 v ~x352 x773 ~x1194 x562 x143 x985 ~x1406 ~x353 ~x774 x1195
22.27/22.45 v ~x563 ~x144 ~x986 ~x1407 x354 ~x775 ~x1196 ~x564 ~x145 ~x987
22.27/22.45 v ~x1408 ~x355 ~x776 x1197 ~x565 ~x146 ~x988 ~x1409 ~x356 ~x777
22.27/22.45 v ~x1198 x566 x147 ~x989 ~x1410 ~x357 x778 ~x1199 ~x567 ~x148
22.27/22.45 v ~x990 ~x1411 ~x358 ~x779 ~x1200 ~x568 ~x149 x991 x1412 x359
22.27/22.45 v ~x780 ~x1201 ~x569 ~x150 ~x992 ~x1413 ~x360 x781 ~x1202 ~x570
22.27/22.45 v ~x151 ~x993 ~x1414 ~x361 ~x782 ~x1203 x571 x152 x994 ~x1415
22.27/22.45 v x362 ~x783 x1204 ~x572 ~x153 ~x995 x1416 ~x363 ~x784 ~x1205
22.27/22.45 v ~x573 ~x154 ~x996 ~x1417 ~x364 ~x785 x1206 ~x574 x155 ~x997
22.27/22.45 v ~x1418 ~x365 x786 ~x1207 ~x575 ~x156 x998 x1419 ~x366 ~x787
22.27/22.45 v ~x1208 x576 ~x157 ~x999 ~x1420 x367 ~x788 ~x1209 ~x577 ~x158
22.27/22.45 v ~x1000 ~x1421 ~x368 x789 ~x1210 ~x578 ~x159 ~x1001 x1422 x369
22.27/22.45 v ~x790 ~x1211 ~x579 x160 x1002 ~x1423 ~x370 ~x791 x1212 x580
22.27/22.45 v ~x161 ~x1003 ~x1424 ~x371 ~x792 ~x1213 ~x581 x162 ~x1004 ~x1425
22.27/22.45 v ~x372 x793 ~x1214 ~x582 ~x163 ~x1005 ~x1426 x373 ~x794 ~x1215
22.27/22.45 v x583 ~x164 ~x1006 x1427 ~x374 ~x795 x1216 ~x584 ~x165 x1007
22.27/22.45 v ~x1428 ~x375 ~x796 ~x1217 ~x585 ~x166 ~x1008 ~x1429 ~x376 ~x797
22.27/22.45 v ~x1218 ~x586 x167 x1009 ~x1430 ~x377 ~x798 x1219 ~x587 ~x168
22.27/22.45 v ~x1010 ~x1431 ~x378 x799 ~x1220 x588 ~x169 ~x1011 x1432 ~x379
22.27/22.45 v ~x800 ~x1221 ~x589 ~x170 ~x1012 ~x1433 x380 ~x801 ~x1222 ~x590
22.27/22.45 v ~x171 ~x1013 ~x1434 x381 ~x802 ~x1223 ~x591 x172 x1014 ~x1435
22.27/22.45 v ~x382 x803 x1224 x592 ~x173 ~x1015 x1436 ~x383 ~x804 ~x1225
22.27/22.45 v ~x593 x174 ~x1016 ~x1437 ~x384 ~x805 x1226 ~x594 ~x175 x1017
22.27/22.45 v ~x1438 ~x385 ~x806 ~x1227 ~x595 ~x176 ~x1018 x1439 x386 ~x807
22.27/22.45 v ~x1228 x596 ~x177 ~x1019 ~x1440 ~x387 x808 ~x1229 ~x597 x178
22.27/22.45 v ~x1020 ~x388 ~x809 x1230 x598 ~x179 ~x1021 ~x389 ~x810 ~x1231
22.27/22.45 v ~x599 ~x180 ~x1022 ~x390 ~x811 ~x1232 ~x600 x181 x1023 ~x391
22.27/22.45 v x812 ~x1233 x601 ~x182 ~x1024 x392 x813 ~x1234 ~x602 ~x183
22.27/22.45 v x1025 ~x393 ~x814 x1235 ~x603 ~x184 ~x1026 ~x394 ~x815 ~x1236
22.27/22.45 v ~x604 ~x185 ~x1027 ~x395 ~x816 ~x1237 ~x605 ~x186 ~x1028 x396
22.27/22.45 v ~x817 ~x1238 x606 ~x187 ~x1029 x397 x818 ~x1239 ~x607 x188
22.27/22.45 v ~x1030 ~x398 ~x819 x1240 ~x608 ~x189 ~x1031 ~x399 ~x820 ~x1241
22.27/22.45 v ~x609 ~x190 x1032 ~x400 ~x821 x1242 x610 x191 ~x1033 ~x401
22.27/22.45 v ~x822 ~x1243 ~x611 ~x192 ~x1034 x402 x823 ~x1244 ~x612 ~x193
22.27/22.45 v ~x1035 ~x403 ~x824 ~x1245 ~x613 ~x194 x1036 ~x404 x825 ~x1246
22.27/22.45 v x614 ~x195 ~x1037 x405 ~x826 x1247 ~x615 x196 ~x1038 ~x406
22.27/22.45 v ~x827 ~x1248 ~x616 ~x197 ~x1039 ~x407 ~x828 ~x1249 ~x617 ~x198
22.27/22.45 v x1040 ~x408 ~x829 ~x1250 ~x618 x199 ~x1041 ~x409 ~x830 x1251
22.27/22.45 v ~x619 ~x200 x1042 x410 ~x831 ~x1252 x620 ~x1043 ~x201 ~x411
22.27/22.45 v x832 x1253 x621 ~x1044 ~x202 ~x833 ~x412 ~x1254 ~x622 ~x1045
22.27/22.45 v ~x203 ~x834 ~x413 ~x1255 ~x623 ~x1046 x204 ~x835 ~x414 ~x1256
22.27/22.45 v ~x624 x1047 ~x205 x415 x836 ~x1257 ~x625 ~x206 ~x1048 ~x416
22.27/22.45 v ~x837 x1 x1258 ~x626 x207 ~x1049 ~x2 ~x417 ~x838 ~x1259
22.27/22.45 v x627 ~x208 x1050 ~x3 x418 x839 ~x1260 ~x628 x209 ~x1051
22.27/22.45 v ~x4 ~x419 ~x840 ~x1261 ~x629 ~x210 ~x1052 ~x420 x841 ~x1262
22.27/22.45 v ~x630 ~x211 ~x421 ~x842 x1263 x631 ~x5 ~x212 x422 ~x843
22.27/22.45 v ~x1264 ~x632 ~x1053 ~x6 ~x213 ~x423 ~x844 ~x1265 x633 ~x1054
22.27/22.45 v ~x7 ~x214 ~x424 x845 ~x1266 ~x634 ~x1055 x8 ~x215 ~x425
22.27/22.45 v ~x846 ~x1267 ~x635 x1056 ~x9 x216 ~x426 ~x847 x1268 ~x636
22.27/22.45 v ~x1057 x10 ~x217 ~x427 ~x848 x1269 ~x637 ~x1058 ~x11 ~x218
22.27/22.45 v x428 ~x849 ~x1270 ~x638 ~x1059 ~x12 x219 ~x429 x850 ~x1271
22.27/22.45 v x639 x1060 ~x13 ~x220 ~x430 ~x851 ~x1272 ~x640 ~x1061 x14
22.27/22.45 v x221 x431 ~x852 ~x1273 ~x641 ~x1062 ~x15 ~x222 ~x432 ~x853
22.27/22.45 v ~x1274 ~x642 x1063 ~x16 ~x223 ~x433 x854 ~x1275 ~x643 ~x1064
22.27/22.45 v ~x224 ~x434 ~x855 x1276 x644 ~x1065 ~x17 ~x225 ~x435 ~x856
22.27/22.46 v ~x1277 ~x645 ~x1066 ~x18 x226 x436 ~x857 ~x1278 x646 ~x1067
22.27/22.46 v x19 ~x227 ~x437 ~x858 ~x1279 ~x647 x1068 ~x20 ~x228 x438
22.27/22.46 v x859 x1280 ~x648 ~x1069 ~x21 x229 ~x439 ~x860 x1281 x649
22.27/22.46 v x1070 ~x22 ~x230 ~x440 ~x861 ~x1282 ~x650 ~x1071 ~x23 ~x231
22.27/22.46 v ~x441 ~x862 ~x1283 ~x651 ~x1072 x24 ~x232 x442 ~x863 ~x1284
22.27/22.46 v ~x652 ~x1073 ~x25 x233 ~x443 x864 ~x1285 x653 ~x1074 x26
22.27/22.46 v ~x234 ~x444 ~x865 ~x1286 ~x654 ~x1075 ~x27 ~x235 x445 ~x866
22.27/22.46 v x1287 ~x655 x1076 ~x28 ~x236 ~x446 x867 ~x1288 ~x656 ~x1077
22.27/22.46 v x29 ~x237 ~x447 ~x868 ~x1289 ~x657 x1078 ~x30 ~x238 ~x448
22.27/22.46 v ~x869 x1290 ~x658 ~x1079 ~x31 x239 x449 ~x870 ~x1291 ~x659
22.27/22.46 v ~x1080 ~x32 ~x240 ~x450 x871 ~x1292 x660 ~x1081 ~x241 ~x451
22.27/22.46 v ~x872 x1293 ~x661 x1082 x33 ~x242 ~x452 ~x873 ~x1294 ~x662
22.27/22.46 v ~x1083 ~x34 x243 ~x453 ~x874 ~x1295 ~x663 ~x1084 ~x35 ~x244
22.27/22.46 v x454 ~x875 ~x1296 x664 ~x1085 ~x36 ~x245 ~x455 x876 x1297
22.27/22.46 v ~x665 ~x1086 x37 x246 ~x456 ~x877 ~x1298 ~x666 ~x1087 ~x38
22.27/22.46 v ~x247 ~x457 x878 ~x1299 x667 x1088 ~x39 ~x248 ~x458 ~x879
22.27/22.46 v ~x1300 ~x668 x1089 ~x40 ~x249 x459 ~x880 ~x1301 ~x669 ~x1090
22.27/22.46 v ~x41 x250 ~x460 x881 x1302 ~x670 ~x1091 ~x42 ~x251 ~x461
22.27/22.46 v ~x882 ~x1303 ~x671 ~x1092 ~x43 ~x252 ~x462 ~x883 ~x1304 x672
22.27/22.46 v x1093 x44 ~x253 ~x463 ~x884 ~x1305 ~x673 ~x1094 ~x45 ~x254
22.27/22.46 v x464 ~x885 ~x1306 ~x674 ~x1095 ~x46 x255 ~x465 ~x886 ~x1307
22.27/22.46 v x675 ~x1096 ~x47 ~x256 x466 x887 x1308 ~x676 x1097 x48
22.27/22.46 v ~x257 ~x467 ~x888 x1309 ~x677 ~x1098 ~x49 x258 ~x468 ~x889
22.27/22.46 v ~x1310 ~x678 ~x1099 ~x50 ~x259 ~x469 x890 ~x1311 ~x679 ~x1100
22.27/22.46 v x51 ~x260 ~x470 ~x891 ~x1312 x680 ~x1101 ~x52 ~x471 ~x892
22.27/22.46 v x1313 ~x681 x1102 ~x53 x472 ~x893 ~x1314 ~x261 ~x682 ~x1103
22.27/22.46 v ~x54 ~x473 ~x894 ~x1315 ~x262 x683 ~x1104 x55 ~x474 x895
22.27/22.46 v ~x1316 x263 ~x684 ~x1105 ~x56 x475 ~x896 ~x1317 ~x264 x685
22.27/22.46 v ~x1106 ~x57 ~x476 ~x897 x1318 ~x265 ~x686 x1107 ~x58 x477
22.27/22.46 v ~x898 ~x1319 ~x266 ~x687 ~x1108 ~x59 ~x478 x899 ~x1320 x267
22.27/22.46 v ~x688 ~x1109 x60 ~x479 ~x900 ~x1321 ~x268 x689 ~x1110 ~x61
22.27/22.46 v ~x480 ~x901 ~x1322 ~x269 ~x690 x1111 x62 ~x481 x902 ~x1323
22.27/22.46 v ~x270 ~x691 ~x1112 ~x63 ~x482 ~x903 x1324 ~x271 ~x692 ~x1113
22.27/22.46 v ~x64 ~x483 ~x904 ~x1325 x272 ~x693 ~x1114 x484 ~x905 x1326
22.27/22.46 v x273 x694 x1115 x65 ~x485 ~x906 ~x1327 ~x274 ~x695 ~x1116
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 (48187 MiB free)
memory of node 1: 64507 MiB (60241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527844-1752239245/watcher-4527844-1752239245 -o /tmp/evaluation-result-4527844-1752239245/solver-4527844-1752239245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752239220-118130 --watchdog 3760 pb_picat HOME/instance-4527844-1752239245.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=118322, runsolver pid=118319
[startup+0.100063 s]*
/proc/loadavg: 2.07 1.63 2.57 5/265 118323
/proc/meminfo: memFree=111010344/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2027148 memory=34176 CPUtime=0.08 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 986 0 0 0 8 0 0 0 20 0 1 0 139604717 2075799552 8544 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 506787 8544 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34176 KiB
[startup+0.205445 s]*
/proc/loadavg: 2.07 1.63 2.57 5/265 118323
/proc/meminfo: memFree=110989864/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2027148 memory=52608 CPUtime=0.19 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 995 0 0 0 18 1 0 0 20 0 1 0 139604717 2075799552 13152 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 506787 13152 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 52608 KiB
[startup+0.305378 s]*
/proc/loadavg: 2.07 1.63 2.57 5/265 118323
/proc/meminfo: memFree=110989864/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2027148 memory=71040 CPUtime=0.28 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 1004 0 0 0 27 1 0 0 20 0 1 0 139604717 2075799552 17760 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 506787 17760 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71040 KiB
[startup+0.700172 s]
/proc/loadavg: 2.07 1.63 2.57 5/265 118323
/proc/meminfo: memFree=110953000/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2027148 memory=142720 CPUtime=0.67 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 1039 0 0 0 65 2 0 0 20 0 1 0 139604717 2075799552 35680 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 506787 35680 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 142720 KiB
[startup+1.50017 s]
/proc/loadavg: 2.07 1.63 2.57 5/265 118323
/proc/meminfo: memFree=111060776/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2040716 memory=209788 CPUtime=1.47 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 3464 0 0 0 143 4 0 0 20 0 1 0 139604717 2089693184 52447 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 510179 52447 1664 343 0 507243 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2040716 KiB
Current children cumulated memory: 209788 KiB
[startup+3.10541 s]
/proc/loadavg: 2.23 1.67 2.58 5/265 118323
/proc/meminfo: memFree=113000584/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2045344 memory=216204 CPUtime=3.07 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 4830 0 0 0 302 5 0 0 20 0 1 0 139604717 2094432256 54051 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 511336 54051 1664 343 0 508400 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2045344 KiB
Current children cumulated memory: 216204 KiB
[startup+6.30015 s]
/proc/loadavg: 2.23 1.67 2.58 5/264 118337
/proc/meminfo: memFree=114907808/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2041248 memory=214008 CPUtime=6.26 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 5370 0 0 0 621 5 0 0 20 0 1 0 139604717 2090237952 53502 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 510312 53502 1664 343 0 507376 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2041248 KiB
Current children cumulated memory: 214008 KiB
[startup+12.7001 s]
/proc/loadavg: 2.45 1.73 2.59 5/265 118413
/proc/meminfo: memFree=114379132/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2041248 memory=210464 CPUtime=12.6 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 7958 0 0 0 1250 10 0 0 20 0 1 0 139604717 2090237952 52616 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 510312 52616 1664 343 0 507376 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2041248 KiB
Current children cumulated memory: 210464 KiB
[startup+22.4619 s]
# the end of solver process 118322 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=22.206 s, system=0.143932 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.45 1.73 2.59 5/265 118413
/proc/meminfo: memFree=114379132/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2041248 memory=211872 CPUtime=12.7 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 8293 0 0 0 1260 10 0 0 20 0 1 0 139604717 2090237952 52968 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 510312 52968 1664 343 0 507376 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2041248 KiB
Current children cumulated memory: 211872 KiB
[startup+19.2001 s]
/proc/loadavg: 2.69 1.80 2.61 5/265 118414
/proc/meminfo: memFree=113902168/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2053536 memory=217456 CPUtime=19.08 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 15154 0 0 0 1896 12 0 0 20 0 1 0 139604717 2102820864 54364 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 513384 54364 1664 343 0 510448 0
Current children cumulated CPU time: 19.08 s
Current children cumulated vsize: 2053536 KiB
Current children cumulated memory: 217456 KiB
[startup+20.8001 s]
/proc/loadavg: 2.69 1.80 2.61 5/265 118414
/proc/meminfo: memFree=113898500/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2045344 memory=215664 CPUtime=20.68 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 16478 0 0 0 2055 13 0 0 20 0 1 0 139604717 2094432256 53916 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 511336 53916 1664 343 0 508400 0
Current children cumulated CPU time: 20.68 s
Current children cumulated vsize: 2045344 KiB
Current children cumulated memory: 215664 KiB
[startup+21.6001 s]
/proc/loadavg: 2.69 1.80 2.61 5/265 118414
/proc/meminfo: memFree=113893748/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2045344 memory=215664 CPUtime=21.48 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 17083 0 0 0 2135 13 0 0 20 0 1 0 139604717 2094432256 53916 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 511336 53916 1664 343 0 508400 0
Current children cumulated CPU time: 21.48 s
Current children cumulated vsize: 2045344 KiB
Current children cumulated memory: 215664 KiB
[startup+22.0001 s]*
/proc/loadavg: 2.69 1.80 2.61 5/265 118414
/proc/meminfo: memFree=113893756/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2053536 memory=219760 CPUtime=21.88 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 17592 0 0 0 2175 13 0 0 20 0 1 0 139604717 2102820864 54940 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 513384 54940 1664 343 0 510448 0
Current children cumulated CPU time: 21.88 s
Current children cumulated vsize: 2053536 KiB
Current children cumulated memory: 219760 KiB
[startup+22.4001 s]
/proc/loadavg: 2.69 1.80 2.61 5/265 118414
/proc/meminfo: memFree=113893756/131250000 swapFree=33008868/33010684
[pid=118322] ppid=118319 vsize=2045344 memory=215664 CPUtime=22.27 cores=4,6
/proc/118322/stat : 118322 (pb_picat) R 118319 118322 116001 0 -1 4194304 17668 0 0 0 2214 13 0 0 20 0 1 0 139604717 2094432256 53916 18446744073709551615 94673303695360 94673305096941 140731590311088 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94673305368368 94673307242608 94673317212160 140731590318492 140731590318568 140731590318568 140731590324172 0
/proc/118322/statm: 511336 53916 1664 343 0 508400 0
Current children cumulated CPU time: 22.27 s
Current children cumulated vsize: 2045344 KiB
Current children cumulated memory: 215664 KiB
Child status: 0
Real time (s): 22.4619
CPU time (s): 22.35
CPU user time (s): 22.206
CPU system time (s): 0.143932
CPU usage (%): 99.5017
Max. virtual memory (cumulated for all children) (KiB): 2053536
Max. memory (cumulated for all children) (KiB): 223856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.206
system time used= 0.143932
maximum resident set size= 223856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17738
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= 38
# summary of solver processes directly reported to runsolver:
# pid: 118322
# total CPU time (s): 22.35
# total CPU user time (s): 22.206
# total CPU system time (s): 0.143932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044428 second user time and 0.126403 second system time
The end
Begin job on nodeC013 at 2025-07-11 15:07:25
IDJOB=4527844
IDBENCH=147893
IDSOLVER=3385
FILE ID=nodeC013/4527844-1752239245
RUNJOBID= nodeC013-1752239220-118130
SLURM_JOB_ID= 9682524
Free space on /tmp= 432116 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527844-1752239245/watcher-4527844-1752239245 -o /tmp/evaluation-result-4527844-1752239245/solver-4527844-1752239245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752239220-118130 --watchdog 3760 pb_picat HOME/instance-4527844-1752239245.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1528044928
nodeC013 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.399
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.67
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.760
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.67
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.839
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.67
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.906
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.67
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 : 3615.248
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.67
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 : 3599.890
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.67
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 : 3599.846
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.67
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 : 3595.153
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 111031256 kB
MemAvailable: 122189076 kB
Buffers: 1668 kB
Cached: 11905628 kB
SwapCached: 164 kB
Active: 7963876 kB
Inactive: 11463920 kB
Active(anon): 7536936 kB
Inactive(anon): 4868 kB
Active(file): 426940 kB
Inactive(file): 11459052 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 142968 kB
Writeback: 0 kB
AnonPages: 7523276 kB
Mapped: 111612 kB
Shmem: 21304 kB
KReclaimable: 221732 kB
Slab: 315572 kB
SReclaimable: 221732 kB
SUnreclaim: 93840 kB
KernelStack: 4320 kB
PageTables: 17744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 14925156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7276544 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432144 MiB
End job on nodeC013 at 2025-07-11 15:07:47