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