0.00/0.00 c solving HOME/instance-4444012-1721310331.opb (Picat 3.6#12)
21.13/21.21 s SATISFIABLE
21.13/21.21 v x152 x994 ~x1415 x362 ~x783 x1204 ~x572 ~x153 ~x995 x1416
21.13/21.21 v ~x363 ~x784 ~x1205 ~x573 ~x154 ~x996 ~x1417 ~x364 ~x785 x1206
21.13/21.21 v ~x574 x155 ~x997 ~x1418 ~x365 x786 ~x1207 ~x575 ~x156 x998
21.13/21.21 v x1419 ~x366 ~x787 ~x1208 x576 ~x157 ~x999 ~x1420 x367 ~x788
21.13/21.21 v ~x1209 ~x577 ~x158 ~x1000 ~x1421 ~x368 x789 ~x1210 ~x578 ~x159
21.13/21.21 v ~x1001 x1422 x369 ~x790 ~x1211 ~x579 x160 x1002 ~x1423 ~x370
21.13/21.21 v ~x791 x1212 x580 ~x161 ~x1003 ~x1424 ~x371 ~x792 ~x1213 ~x581
21.13/21.21 v x162 ~x1004 ~x1425 ~x372 x793 ~x1214 ~x582 ~x163 ~x1005 ~x1426
21.13/21.21 v x373 ~x794 ~x1215 x583 ~x164 ~x1006 x1427 ~x374 ~x795 x1216
21.13/21.21 v ~x584 ~x165 x1007 ~x1428 ~x375 ~x796 ~x1217 ~x585 ~x166 ~x1008
21.13/21.21 v ~x1429 ~x376 ~x797 ~x1218 ~x586 x167 x1009 ~x1430 ~x377 ~x798
21.13/21.21 v x1219 ~x587 ~x168 ~x1010 ~x1431 ~x378 x799 ~x1220 x588 ~x169
21.13/21.21 v ~x1011 x1432 ~x379 ~x800 ~x1221 ~x589 ~x170 ~x1012 ~x1433 x380
21.13/21.21 v ~x801 ~x1222 ~x590 ~x171 ~x1013 ~x1434 x381 ~x802 ~x1223 ~x591
21.13/21.21 v x172 x1014 ~x1435 ~x382 x803 x1224 x592 ~x173 ~x1015 x1436
21.13/21.21 v ~x383 ~x804 ~x1225 ~x593 x174 ~x1016 ~x1437 ~x384 ~x805 x1226
21.13/21.21 v ~x594 ~x175 x1017 ~x1438 ~x385 ~x806 ~x1227 ~x595 ~x176 ~x1018
21.13/21.21 v x1439 x386 ~x807 ~x1228 x596 ~x177 ~x1019 ~x1440 ~x387 x808
21.13/21.21 v ~x1229 ~x597 x178 ~x1020 ~x388 ~x809 x1230 x598 ~x179 ~x1021
21.13/21.21 v ~x389 ~x810 ~x1231 ~x599 ~x180 ~x1022 ~x390 ~x811 ~x1232 ~x600
21.13/21.21 v x181 x1023 ~x391 x812 ~x1233 x601 ~x182 ~x1024 x392 x813
21.13/21.21 v ~x1234 ~x602 ~x183 x1025 ~x393 ~x814 x1235 ~x603 ~x184 ~x1026
21.13/21.21 v ~x394 ~x815 ~x1236 ~x604 ~x185 ~x1027 ~x395 ~x816 ~x1237 ~x605
21.13/21.21 v ~x186 ~x1028 x396 ~x817 ~x1238 x606 ~x187 ~x1029 x397 x818
21.13/21.21 v ~x1239 ~x607 x188 ~x1030 ~x398 ~x819 x1240 ~x608 ~x189 ~x1031
21.13/21.21 v ~x399 ~x820 ~x1241 ~x609 ~x190 x1032 ~x400 ~x821 x1242 x610
21.13/21.21 v x191 ~x1033 ~x401 ~x822 ~x1243 ~x611 ~x192 ~x1034 x402 x823
21.13/21.21 v ~x1244 ~x612 ~x193 ~x1035 ~x403 ~x824 ~x1245 ~x613 ~x194 x1036
21.13/21.21 v ~x404 x825 ~x1246 x614 ~x195 ~x1037 x405 ~x826 x1247 ~x615
21.13/21.21 v x196 ~x1038 ~x406 ~x827 ~x1248 ~x616 ~x197 ~x1039 ~x407 ~x828
21.13/21.21 v ~x1249 ~x617 ~x198 x1040 ~x408 ~x829 ~x1250 ~x618 x199 ~x1041
21.13/21.21 v ~x409 ~x830 x1251 ~x619 ~x200 x1042 x410 ~x831 ~x1252 x620
21.13/21.21 v ~x201 ~x1043 ~x411 x832 x1253 x621 ~x202 ~x1044 ~x412 ~x833
21.13/21.21 v ~x1254 ~x622 ~x203 ~x1045 ~x413 ~x834 ~x1255 ~x623 x204 ~x1046
21.13/21.21 v ~x414 ~x835 ~x1256 ~x624 ~x205 x1047 x415 x836 ~x1257 ~x625
21.13/21.21 v ~x206 ~x1048 x1 ~x416 ~x837 x1258 ~x626 ~x1049 x207 ~x2
21.13/21.21 v ~x417 ~x838 ~x1259 x627 x1050 ~x208 ~x3 x418 x839 ~x1260
21.13/21.21 v ~x628 x209 ~x1051 ~x840 ~x4 ~x419 ~x1261 ~x629 ~x210 ~x1052
21.13/21.21 v x841 ~x420 ~x1262 ~x630 ~x211 ~x421 ~x842 x1263 x631 ~x5
21.13/21.21 v ~x212 x422 ~x843 ~x1264 ~x632 ~x1053 ~x6 ~x213 ~x423 ~x844
21.13/21.21 v ~x1265 x633 ~x1054 ~x7 ~x214 ~x424 x845 ~x1266 ~x634 ~x1055
21.13/21.21 v x8 ~x215 ~x425 ~x846 ~x1267 ~x635 x1056 ~x9 x216 ~x426
21.13/21.21 v ~x847 x1268 ~x636 ~x1057 x10 ~x217 ~x427 ~x848 x1269 ~x637
21.13/21.21 v ~x1058 ~x11 ~x218 x428 ~x849 ~x1270 ~x638 ~x1059 ~x12 x219
21.13/21.21 v ~x429 x850 ~x1271 x639 x1060 ~x13 ~x220 ~x430 ~x851 ~x1272
21.13/21.21 v ~x640 ~x1061 x14 x221 x431 ~x852 ~x1273 ~x641 ~x1062 ~x15
21.13/21.21 v ~x222 ~x432 ~x853 ~x1274 ~x642 x1063 ~x16 ~x223 ~x433 x854
21.13/21.21 v ~x1275 ~x643 ~x1064 ~x224 ~x434 ~x855 x1276 x644 ~x1065 ~x17
21.13/21.21 v ~x225 ~x435 ~x856 ~x1277 ~x645 ~x1066 ~x18 x226 x436 ~x857
21.13/21.21 v ~x1278 x646 ~x1067 x19 ~x227 ~x437 ~x858 ~x1279 ~x647 x1068
21.13/21.21 v ~x20 ~x228 x438 x859 x1280 ~x648 ~x1069 ~x21 x229 ~x439
21.13/21.21 v ~x860 x1281 x649 x1070 ~x22 ~x230 ~x440 ~x861 ~x1282 ~x650
21.13/21.21 v ~x1071 ~x23 ~x231 ~x441 ~x862 ~x1283 ~x651 ~x1072 x24 ~x232
21.13/21.21 v x442 ~x863 ~x1284 ~x652 ~x1073 ~x25 x233 ~x443 x864 ~x1285
21.13/21.21 v x653 ~x1074 x26 ~x234 ~x444 ~x865 ~x1286 ~x654 ~x1075 ~x27
21.13/21.21 v ~x235 x445 ~x866 x1287 ~x655 x1076 ~x28 ~x236 ~x446 x867
21.13/21.21 v ~x1288 ~x656 ~x1077 x29 ~x237 ~x447 ~x868 ~x1289 ~x657 x1078
21.13/21.21 v ~x30 ~x238 ~x448 ~x869 x1290 ~x658 ~x1079 ~x31 x239 x449
21.13/21.21 v ~x870 ~x1291 ~x659 ~x1080 ~x32 ~x240 ~x450 x871 ~x1292 x660
21.13/21.21 v ~x1081 ~x241 ~x451 ~x872 x1293 ~x661 x1082 x33 ~x242 ~x452
21.13/21.21 v ~x873 ~x1294 ~x662 ~x1083 ~x34 x243 ~x453 ~x874 ~x1295 ~x663
21.13/21.21 v ~x1084 ~x35 ~x244 x454 ~x875 ~x1296 x664 ~x1085 ~x36 ~x245
21.13/21.21 v ~x455 x876 x1297 ~x665 ~x1086 x37 x246 ~x456 ~x877 ~x1298
21.13/21.21 v ~x666 ~x1087 ~x38 ~x247 ~x457 x878 ~x1299 x667 x1088 ~x39
21.13/21.21 v ~x248 ~x458 ~x879 ~x1300 ~x668 x1089 ~x40 ~x249 x459 ~x880
21.13/21.21 v ~x1301 ~x669 ~x1090 ~x41 x250 ~x460 x881 x1302 ~x670 ~x1091
21.13/21.21 v ~x42 ~x251 ~x461 ~x882 ~x1303 ~x671 ~x1092 ~x43 ~x252 ~x462
21.13/21.21 v ~x883 ~x1304 x672 x1093 x44 ~x253 ~x463 ~x884 ~x1305 ~x673
21.13/21.21 v ~x1094 ~x45 ~x254 x464 ~x885 ~x1306 ~x674 ~x1095 ~x46 x255
21.13/21.21 v ~x465 ~x886 ~x1307 x675 ~x1096 ~x47 ~x256 x466 x887 x1308
21.13/21.21 v ~x676 x1097 x48 ~x257 ~x467 ~x888 x1309 ~x677 ~x1098 ~x49
21.13/21.21 v x258 ~x468 ~x889 ~x1310 ~x678 ~x1099 ~x50 ~x259 ~x469 x890
21.13/21.21 v ~x1311 ~x679 ~x1100 x51 ~x260 ~x470 ~x891 ~x1312 x680 ~x1101
21.13/21.21 v ~x52 ~x471 ~x892 x1313 ~x681 x1102 ~x53 x472 ~x893 ~x1314
21.13/21.21 v ~x261 ~x682 ~x1103 ~x54 ~x473 ~x894 ~x1315 ~x262 x683 ~x1104
21.13/21.21 v x55 ~x474 x895 ~x1316 x263 ~x684 ~x1105 ~x56 x475 ~x896
21.13/21.21 v ~x1317 ~x264 x685 ~x1106 ~x57 ~x476 ~x897 x1318 ~x265 ~x686
21.13/21.21 v x1107 ~x58 x477 ~x898 ~x1319 ~x266 ~x687 ~x1108 ~x59 ~x478
21.13/21.21 v x899 ~x1320 x267 ~x688 ~x1109 x60 ~x479 ~x900 ~x1321 ~x268
21.13/21.21 v x689 ~x1110 ~x61 ~x480 ~x901 ~x1322 ~x269 ~x690 x1111 x62
21.13/21.21 v ~x481 x902 ~x1323 ~x270 ~x691 ~x1112 ~x63 ~x482 ~x903 x1324
21.13/21.21 v ~x271 ~x692 ~x1113 ~x64 ~x483 ~x904 ~x1325 x272 ~x693 ~x1114
21.13/21.21 v x484 ~x905 x1326 x273 x694 x1115 x65 ~x485 ~x906 ~x1327
21.13/21.21 v ~x274 ~x695 ~x1116 ~x66 x486 x907 ~x1328 ~x275 ~x696 x1117
21.13/21.21 v ~x67 ~x487 ~x908 ~x1329 ~x276 ~x697 ~x1118 ~x68 ~x488 ~x909
21.13/21.21 v x1330 ~x277 ~x698 ~x1119 x69 x489 ~x910 ~x1331 ~x278 x699
21.13/21.21 v ~x1120 ~x70 ~x490 ~x911 ~x1332 ~x279 ~x700 ~x1121 ~x71 ~x491
21.13/21.21 v x912 ~x1333 x280 x701 ~x1122 ~x72 ~x492 ~x913 ~x1334 x281
21.13/21.21 v ~x702 x1123 x73 ~x493 ~x914 ~x1335 ~x282 ~x703 ~x1124 ~x74
21.13/21.21 v ~x494 x915 x1336 ~x283 ~x704 ~x1125 ~x75 ~x495 ~x916 ~x1337
21.13/21.21 v ~x284 x705 x1126 ~x76 x496 ~x917 x1338 ~x285 ~x706 ~x1127
21.13/21.21 v ~x77 x497 ~x918 ~x1339 x286 ~x707 ~x1128 ~x78 ~x498 x919
21.13/21.21 v ~x1340 ~x287 ~x708 ~x1129 ~x79 ~x499 ~x920 ~x1341 ~x288 x709
21.13/21.21 v x1130 x80 ~x500 ~x921 x1342 ~x289 ~x710 ~x1131 ~x81 x501
21.13/21.21 v ~x922 ~x1343 ~x290 ~x711 ~x1132 x82 ~x502 ~x923 ~x1344 ~x291
21.13/21.21 v ~x712 x1133 ~x83 ~x503 x924 ~x1345 x292 ~x713 ~x1134 ~x84
21.13/21.21 v ~x504 ~x925 x1346 ~x293 ~x714 ~x1135 x85 x505 ~x926 ~x1347
21.13/21.21 v ~x294 ~x715 ~x1136 ~x86 ~x506 ~x927 ~x1348 x295 x716 ~x1137
21.13/21.21 v ~x87 ~x507 x928 ~x1349 ~x296 ~x717 ~x1138 ~x88 ~x508 ~x929
21.13/21.21 v ~x1350 ~x297 x718 x1139 x89 ~x509 x930 ~x1351 ~x298 ~x719
21.13/21.21 v ~x1140 ~x90 x510 ~x931 x1352 x299 ~x720 ~x1141 ~x91 ~x511
21.13/21.21 v ~x932 x1353 ~x300 ~x721 ~x1142 ~x92 ~x512 ~x933 ~x1354 ~x301
21.13/21.21 v ~x722 x1143 ~x93 ~x513 ~x934 ~x1355 x302 x723 ~x1144 ~x94
21.13/21.21 v ~x514 ~x935 ~x1356 ~x303 ~x724 x1145 ~x95 ~x515 x936 ~x1357
21.13/21.21 v ~x304 x725 ~x1146 x96 x516 ~x937 x1358 ~x305 ~x726 ~x1147
21.13/21.21 v ~x97 ~x517 ~x938 ~x1359 ~x306 ~x727 ~x1148 ~x98 ~x518 ~x939
21.13/21.21 v ~x1360 x307 ~x728 x1149 x99 x519 x940 ~x1361 ~x308 x729
21.13/21.21 v ~x1150 ~x100 ~x520 ~x941 ~x1362 x309 ~x730 ~x1151 ~x101 x521
21.13/21.21 v x942 x1363 ~x310 ~x731 ~x1152 x102 ~x522 ~x943 ~x1364 ~x311
21.13/21.21 v ~x732 x1153 ~x103 ~x523 ~x944 ~x1365 ~x312 x733 ~x1154 ~x104
21.13/21.21 v ~x945 ~x524 x1366 ~x313 ~x734 ~x1155 x105 ~x946 ~x1367 ~x735
21.13/21.21 v ~x314 ~x1156 ~x106 x947 ~x1368 ~x736 ~x315 ~x1157 ~x525 ~x107
21.13/21.21 v ~x948 x1369 x316 ~x737 ~x1158 ~x526 ~x108 ~x949 ~x1370 ~x317
21.13/21.21 v x738 ~x1159 ~x527 ~x109 ~x950 ~x1371 ~x318 ~x739 x1160 x528
21.13/21.21 v x110 ~x951 ~x1372 x319 ~x740 x1161 ~x529 ~x111 x952 x1373
21.13/21.21 v ~x320 ~x741 ~x1162 x530 ~x112 ~x953 ~x1374 ~x321 ~x742 ~x1163
21.13/21.21 v ~x531 ~x113 ~x954 ~x1375 ~x322 ~x743 ~x1164 ~x532 ~x114 x955
21.13/21.21 v ~x1376 ~x323 x744 ~x1165 ~x533 x115 ~x956 ~x1377 x324 ~x745
21.13/21.21 v x1166 ~x534 ~x116 ~x957 ~x1378 x325 x746 ~x1167 x535 x117
21.13/21.21 v ~x958 x1379 ~x326 ~x747 ~x1168 ~x536 ~x118 x959 ~x1380 ~x327
21.13/21.21 v ~x748 ~x1169 ~x537 ~x119 ~x960 ~x1381 ~x328 ~x749 ~x1170 x538
21.13/21.21 v ~x120 ~x961 ~x1382 ~x329 x750 ~x1171 ~x539 ~x121 ~x962 ~x1383
21.13/21.21 v x330 ~x751 x1172 ~x540 ~x122 x963 x1384 ~x331 ~x752 ~x1173
21.13/21.21 v ~x541 x123 ~x964 ~x1385 ~x332 ~x753 ~x1174 ~x542 ~x124 ~x965
21.13/21.21 v ~x1386 ~x333 ~x754 x1175 ~x543 ~x125 ~x966 x1387 ~x334 x755
21.13/21.21 v ~x1176 x544 ~x126 ~x967 ~x1388 ~x335 ~x756 ~x1177 ~x545 ~x127
21.13/21.21 v x968 ~x1389 x336 ~x757 ~x1178 ~x546 x128 ~x969 ~x1390 x337
21.13/21.21 v ~x758 ~x1179 x547 x129 ~x970 x1391 ~x338 x759 x1180 ~x548
21.13/21.21 v ~x130 ~x971 ~x1392 ~x339 ~x760 x1181 ~x549 ~x131 x972 x1393
21.13/21.21 v ~x340 ~x761 ~x1182 ~x550 ~x132 ~x973 ~x1394 ~x341 ~x762 ~x1183
21.13/21.21 v x551 ~x974 ~x1395 x342 ~x763 ~x1184 ~x552 ~x133 ~x975 ~x1396
21.13/21.21 v ~x343 x764 x1185 ~x553 ~x134 x976 ~x1397 ~x344 ~x765 ~x1186
21.13/21.21 v ~x554 x135 x977 x1398 ~x345 x766 ~x1187 x555 ~x136 ~x978
21.13/21.21 v ~x1399 ~x346 ~x767 ~x1188 ~x556 ~x137 ~x979 ~x1400 ~x347 ~x768
21.13/21.21 v ~x1189 x557 ~x138 ~x980 ~x1401 x348 ~x769 x1190 ~x558 ~x139
21.13/21.21 v ~x981 ~x1402 ~x349 x770 ~x1191 ~x559 x140 x982 x1403 x350
21.13/21.21 v ~x771 ~x1192 ~x560 ~x141 ~x983 ~x1404 ~x351 ~x772 ~x1193 ~x561
21.13/21.21 v ~x142 ~x984 x1405 ~x352 x773 ~x1194 x562 x143 x985 ~x1406
21.13/21.21 v ~x353 ~x774 x1195 ~x563 ~x144 ~x986 ~x1407 x354 ~x775 ~x1196
21.13/21.21 v ~x564 ~x145 ~x987 ~x1408 ~x355 ~x776 x1197 ~x565 ~x146 ~x988
21.13/21.21 v ~x1409 ~x356 ~x777 ~x1198 x566 x147 ~x989 ~x1410 ~x357 x778
21.13/21.21 v ~x1199 ~x567 ~x148 ~x990 ~x1411 ~x358 ~x779 ~x1200 ~x568 ~x149
21.13/21.21 v x991 x1412 x359 ~x780 ~x1201 ~x569 ~x150 ~x992 ~x1413 ~x360
21.13/21.21 v x781 ~x1202 ~x570 ~x151 ~x993 ~x1414 ~x361 ~x782 ~x1203 x571
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: 63931 MiB (58136 MiB free)
memory of node 1: 64510 MiB (57332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444012-1721310331/watcher-4444012-1721310331 -o /tmp/evaluation-result-4444012-1721310331/solver-4444012-1721310331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760 pb_picat HOME/instance-4444012-1721310331.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=988152, runsolver pid=988149
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.28 4.20 4.12 5/256 988153
/proc/meminfo: memFree=118208428/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2033608 memory=36284 CPUtime=0.09 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 1114 0 0 0 9 0 0 0 20 0 1 0 183198413 2082414592 9071 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 508402 9071 1521 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36284 KiB
[startup+0.205598 s]*
/proc/loadavg: 4.28 4.20 4.12 5/256 988153
/proc/meminfo: memFree=118187584/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2033608 memory=54920 CPUtime=0.2 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 1123 0 0 0 19 1 0 0 20 0 1 0 183198413 2082414592 13730 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 508402 13730 1521 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 54920 KiB
[startup+0.30556 s]*
/proc/loadavg: 4.28 4.20 4.12 5/256 988153
/proc/meminfo: memFree=118168760/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2033608 memory=73352 CPUtime=0.3 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 1132 0 0 0 29 1 0 0 20 0 1 0 183198413 2082414592 18338 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 508402 18338 1521 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 73352 KiB
[startup+0.700226 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 988153
/proc/meminfo: memFree=118136744/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2033608 memory=145032 CPUtime=0.69 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 1167 0 0 0 66 3 0 0 20 0 1 0 183198413 2082414592 36258 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 508402 36258 1521 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 145032 KiB
[startup+1.50025 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 988153
/proc/meminfo: memFree=118042568/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2047172 memory=209924 CPUtime=1.48 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 3500 0 0 0 144 4 0 0 20 0 1 0 183198413 2096304128 52481 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 511793 52481 1646 439 0 507222 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2047172 KiB
Current children cumulated memory: 209924 KiB
[startup+3.1056 s]
/proc/loadavg: 4.26 4.20 4.11 6/256 988153
/proc/meminfo: memFree=118026292/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2051800 memory=216132 CPUtime=3.08 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 4757 0 0 0 303 5 0 0 20 0 1 0 183198413 2101043200 54033 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 512950 54033 1646 439 0 508379 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2051800 KiB
Current children cumulated memory: 216132 KiB
[startup+6.30023 s]
/proc/loadavg: 4.26 4.20 4.11 5/256 988155
/proc/meminfo: memFree=118569852/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2051800 memory=214736 CPUtime=6.27 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 5448 0 0 0 622 5 0 0 20 0 1 0 183198413 2101043200 53684 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 512950 53684 1646 439 0 508379 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2051800 KiB
Current children cumulated memory: 214736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.19 4.11 5/256 988155
/proc/meminfo: memFree=118526284/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2051800 memory=217216 CPUtime=12.66 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 8983 0 0 0 1260 6 0 0 20 0 1 0 183198413 2101043200 54304 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 512950 54304 1646 439 0 508379 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2051800 KiB
Current children cumulated memory: 217216 KiB
[startup+21.2211 s]
# the end of solver process 988152 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=21.0553 s, system=0.108719 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.24 4.19 4.11 5/256 988155
/proc/meminfo: memFree=118526284/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2051800 memory=217216 CPUtime=12.76 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 9008 0 0 0 1270 6 0 0 20 0 1 0 183198413 2101043200 54304 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 512950 54304 1646 439 0 508379 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2051800 KiB
Current children cumulated memory: 217216 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.22 4.19 4.11 5/256 988156
/proc/meminfo: memFree=118503992/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2059992 memory=221552 CPUtime=15.95 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 11847 0 0 0 1588 7 0 0 20 0 1 0 183198413 2109431808 55388 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 514998 55388 1646 439 0 510427 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2059992 KiB
Current children cumulated memory: 221552 KiB
[startup+19.2002 s]
/proc/loadavg: 4.20 4.19 4.11 5/256 988156
/proc/meminfo: memFree=118483780/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2047704 memory=213320 CPUtime=19.14 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 15197 0 0 0 1905 9 0 0 20 0 1 0 183198413 2096848896 53330 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 511926 53330 1646 439 0 507355 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 2047704 KiB
Current children cumulated memory: 213320 KiB
[startup+20.0002 s]*
/proc/loadavg: 4.20 4.19 4.11 5/256 988156
/proc/meminfo: memFree=118479376/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2059992 memory=219500 CPUtime=19.95 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 15755 0 0 0 1985 10 0 0 20 0 1 0 183198413 2109431808 54875 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 514998 54875 1646 439 0 510427 0
Current children cumulated CPU time: 19.95 s
Current children cumulated vsize: 2059992 KiB
Current children cumulated memory: 219500 KiB
[startup+20.8002 s]
/proc/loadavg: 4.20 4.19 4.11 5/256 988156
/proc/meminfo: memFree=118479376/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2059992 memory=219504 CPUtime=20.73 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 16310 0 0 0 2063 10 0 0 20 0 1 0 183198413 2109431808 54876 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 514998 54876 1646 439 0 510427 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 2059992 KiB
Current children cumulated memory: 219504 KiB
[startup+21.2002 s]
/proc/loadavg: 4.20 4.19 4.11 5/256 988156
/proc/meminfo: memFree=118085804/131524600 swapFree=131071996/131071996
[pid=988152] ppid=988149 vsize=2051800 memory=215620 CPUtime=21.13 cores=1,3
/proc/988152/stat : 988152 (pb_picat) R 988149 988152 984416 0 -1 4194304 16415 0 0 0 2103 10 0 0 20 0 1 0 183198413 2101043200 53905 134679101440 4194304 5989780 140727094262672 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 43282432 140727094264856 140727094264932 140727094264932 140727094271948 0
/proc/988152/statm: 512950 53905 1646 439 0 508379 0
Current children cumulated CPU time: 21.13 s
Current children cumulated vsize: 2051800 KiB
Current children cumulated memory: 215620 KiB
Child status: 0
Real time (s): 21.2212
CPU time (s): 21.164
CPU user time (s): 21.0553
CPU system time (s): 0.108719
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (KiB): 2059992
Max. memory (cumulated for all children) (KiB): 221552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0553
system time used= 0.108719
maximum resident set size= 223600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16455
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= 4
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 988152
# total CPU time (s): 21.164
# total CPU user time (s): 21.0553
# total CPU system time (s): 0.108719
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045038 second user time and 0.135031 second system time
The end
Begin job on nodeC025 at 2024-07-18 15:45:43
IDJOB=4444012
IDBENCH=147893
IDSOLVER=3068
FILE ID=nodeC025/4444012-1721310331
RUNJOBID= nodeC025-1721306176-984428
SLURM_JOB_ID= 7542640
Free space on /tmp= 890012 MiB
SOLVER NAME= Picat 2024-06-18
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 --file-size-limit 102400 -w /tmp/evaluation-result-4444012-1721310331/watcher-4444012-1721310331 -o /tmp/evaluation-result-4444012-1721310331/solver-4444012-1721310331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984428 --watchdog 3760 pb_picat HOME/instance-4444012-1721310331.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1226076184
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3674.558
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3659.726
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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.119
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3669.371
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3674.651
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3667.930
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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.080
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.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 : 0xb00002a
cpu MHz : 3599.961
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118240568 kB
MemAvailable: 124243600 kB
Buffers: 513312 kB
Cached: 6252740 kB
SwapCached: 0 kB
Active: 1057704 kB
Inactive: 11444432 kB
Active(anon): 1552 kB
Inactive(anon): 5771928 kB
Active(file): 1056152 kB
Inactive(file): 5672504 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7016 kB
Writeback: 0 kB
AnonPages: 5728340 kB
Mapped: 115236 kB
Shmem: 37720 kB
KReclaimable: 228048 kB
Slab: 355456 kB
SReclaimable: 228048 kB
SUnreclaim: 127408 kB
KernelStack: 4176 kB
PageTables: 20216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 13468108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3592192 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC025 at 2024-07-18 15:46:04