0.00/0.01 c solving HOME/instance-4527828-1752239137.opb (Picat 3.9b11, 7/10/2025)
10.07/10.16 s SATISFIABLE
10.07/10.16 v ~x1109 ~x802 ~x1319 ~x170 ~x591 ~x1529 ~x380 ~x916 ~x1110 ~x803
10.07/10.16 v ~x1320 ~x171 ~x592 ~x1530 ~x381 ~x1111 ~x804 x1321 ~x172 ~x593
10.07/10.16 v ~x1531 ~x382 ~x22 ~x1112 ~x805 ~x1322 ~x173 ~x594 ~x1532 ~x383
10.07/10.16 v ~x917 ~x1113 x806 ~x1323 ~x174 ~x595 ~x1533 ~x384 ~x23 ~x1114
10.07/10.16 v ~x807 ~x1324 ~x175 ~x596 ~x1534 ~x385 ~x918 ~x1115 ~x808 ~x1325
10.07/10.16 v ~x176 ~x597 ~x1535 ~x386 ~x24 ~x1116 ~x809 ~x1326 ~x177 ~x598
10.07/10.16 v ~x1536 ~x387 ~x919 ~x1117 ~x810 ~x1327 ~x178 ~x599 ~x1537 ~x388
10.07/10.16 v ~x25 ~x1118 ~x811 ~x1328 ~x179 ~x600 ~x1538 ~x389 ~x920 ~x1119
10.07/10.16 v ~x812 ~x1329 ~x180 ~x601 ~x1539 ~x390 ~x26 ~x1120 ~x813 ~x1330
10.07/10.16 v ~x181 ~x602 ~x1540 ~x391 ~x921 ~x1121 ~x814 ~x1331 ~x182 ~x603
10.07/10.16 v ~x1541 ~x392 ~x28 ~x1122 ~x815 ~x1332 ~x183 ~x604 ~x1542 ~x393
10.07/10.16 v ~x922 ~x1123 ~x816 ~x1333 ~x184 ~x605 ~x1543 ~x394 ~x29 ~x1124
10.07/10.16 v ~x817 ~x1334 ~x185 ~x606 ~x1544 ~x395 ~x923 ~x1125 ~x818 ~x1335
10.07/10.16 v ~x186 ~x607 ~x1545 ~x396 ~x30 ~x1126 ~x819 x1336 ~x187 ~x608
10.07/10.16 v ~x1546 ~x397 ~x924 ~x1127 ~x820 ~x1337 ~x188 ~x609 ~x1547 ~x398
10.07/10.16 v ~x1 ~x1128 ~x821 ~x1338 ~x189 x610 ~x1548 ~x399 ~x925 ~x1129
10.07/10.16 v ~x822 ~x1339 ~x190 ~x611 ~x1549 ~x400 x926 ~x823 ~x1340 x191
10.07/10.16 v ~x612 ~x1550 ~x401 ~x927 ~x824 ~x1341 ~x192 ~x613 ~x1130 ~x1551
10.07/10.16 v ~x402 ~x6 ~x825 ~x1342 ~x193 ~x614 ~x1131 ~x1552 ~x403 ~x928
10.07/10.16 v ~x826 ~x1343 ~x194 ~x615 x1132 ~x1553 ~x404 ~x929 ~x827 ~x1344
10.07/10.16 v ~x195 ~x616 ~x1133 ~x1554 ~x405 ~x930 ~x828 ~x1345 ~x196 ~x617
10.07/10.16 v ~x1134 ~x1555 ~x406 ~x931 ~x829 ~x1346 ~x197 ~x618 ~x1135 ~x1556
10.07/10.16 v ~x407 ~x932 ~x830 ~x1347 ~x198 ~x619 ~x1136 ~x1557 ~x408 ~x14
10.07/10.16 v ~x831 ~x1348 ~x199 ~x620 ~x1137 ~x1558 ~x409 ~x933 ~x832 ~x1349
10.07/10.16 v ~x200 ~x621 ~x1138 ~x1559 ~x410 ~x934 x833 ~x1350 ~x201 ~x622
10.07/10.16 v ~x1139 ~x1560 ~x411 ~x935 ~x834 ~x1351 ~x202 ~x623 ~x1140 ~x1561
10.07/10.16 v ~x412 ~x936 ~x835 ~x1352 ~x203 ~x624 ~x1141 ~x1562 ~x413 ~x836
10.07/10.16 v ~x1353 ~x204 ~x625 ~x1142 ~x1563 x414 ~x18 ~x837 ~x1354 ~x205
10.07/10.16 v ~x626 ~x1143 ~x1564 ~x415 ~x937 ~x838 ~x1355 ~x206 ~x627 ~x1144
10.07/10.16 v ~x1565 ~x416 ~x19 ~x839 ~x1356 ~x207 ~x628 ~x1145 ~x1566 ~x417
10.07/10.16 v ~x938 ~x840 ~x1357 ~x208 ~x629 ~x1146 ~x1567 ~x418 ~x939 ~x841
10.07/10.16 v ~x1358 ~x209 ~x630 ~x1147 ~x1568 ~x419 ~x940 ~x842 ~x1359 ~x210
10.07/10.16 v ~x631 ~x1148 ~x1569 ~x420 x941 ~x843 ~x1360 ~x211 ~x632 ~x1149
10.07/10.16 v ~x1570 ~x421 ~x942 ~x844 ~x1361 ~x212 ~x633 ~x1150 ~x1571 ~x422
10.07/10.16 v ~x943 ~x845 ~x1362 ~x213 ~x634 ~x1151 ~x1572 ~x423 ~x944 ~x846
10.07/10.16 v ~x1363 ~x214 ~x635 ~x1152 ~x1573 ~x424 ~x945 ~x847 ~x1364 ~x215
10.07/10.16 v ~x636 ~x1153 ~x1574 ~x425 ~x946 ~x848 ~x1365 ~x216 ~x637 ~x1154
10.07/10.16 v ~x1575 ~x426 ~x947 ~x849 x1366 ~x217 ~x638 ~x1155 ~x1576 ~x427
10.07/10.16 v ~x948 ~x850 ~x1367 ~x218 ~x639 ~x1156 ~x1577 ~x428 ~x949 ~x851
10.07/10.16 v ~x1368 ~x219 ~x640 ~x1157 ~x1578 ~x429 ~x950 ~x852 ~x1369 ~x220
10.07/10.16 v ~x641 ~x1158 x1579 ~x430 ~x951 ~x853 ~x1370 ~x221 ~x642 ~x1159
10.07/10.16 v ~x1580 ~x431 ~x952 ~x854 ~x1371 ~x222 ~x643 ~x1160 ~x1581 ~x432
10.07/10.16 v ~x953 ~x855 ~x1372 ~x223 ~x644 ~x1161 ~x1582 ~x433 ~x954 ~x856
10.07/10.16 v ~x1373 ~x224 ~x645 ~x1162 ~x1583 ~x434 ~x955 ~x857 ~x1374 ~x225
10.07/10.16 v ~x646 ~x1163 ~x1584 ~x435 ~x956 ~x858 ~x1375 ~x226 ~x647 ~x1164
10.07/10.16 v ~x1585 ~x436 ~x957 ~x859 ~x1376 ~x227 ~x648 ~x1165 ~x1586 ~x437
10.07/10.16 v ~x958 ~x860 ~x1377 ~x228 ~x649 ~x1166 ~x1587 ~x438 ~x959 ~x861
10.07/10.16 v ~x1378 ~x229 ~x650 ~x1167 ~x1588 ~x439 ~x960 ~x862 ~x1379 ~x230
10.07/10.16 v ~x651 ~x1168 x1589 x440 ~x961 ~x863 ~x1380 ~x231 x652 ~x1169
10.07/10.16 v ~x1590 ~x441 ~x962 ~x864 ~x1381 ~x232 ~x653 ~x1170 ~x1591 ~x442
10.07/10.16 v ~x963 ~x865 x1382 ~x233 ~x654 ~x1171 ~x1592 ~x443 ~x964 ~x866
10.07/10.16 v ~x1383 ~x234 ~x655 ~x1172 ~x1593 ~x444 ~x965 ~x867 ~x1384 x235
10.07/10.16 v ~x656 ~x1173 ~x1594 ~x445 ~x966 ~x868 x1385 ~x236 ~x657 ~x1174
10.07/10.16 v ~x1595 ~x446 ~x27 x869 ~x1386 ~x237 ~x658 ~x1175 ~x1596 ~x447
10.07/10.16 v ~x967 ~x870 ~x1387 ~x238 ~x659 ~x1176 x1597 ~x448 ~x968 ~x871
10.07/10.16 v ~x1388 ~x239 ~x660 ~x1177 x1598 ~x449 ~x969 ~x872 ~x1389 ~x240
10.07/10.16 v ~x661 ~x1178 x1599 ~x450 ~x970 ~x873 ~x1390 ~x241 ~x662 ~x1179
10.07/10.16 v ~x1600 ~x451 ~x971 ~x874 ~x1391 ~x242 ~x663 ~x1180 ~x31 ~x452
10.07/10.16 v ~x972 ~x875 ~x1392 ~x243 ~x664 ~x1181 ~x32 ~x453 ~x973 ~x876
10.07/10.16 v ~x1393 ~x244 ~x665 ~x1182 ~x33 ~x454 ~x974 ~x877 ~x245 ~x666
10.07/10.16 v ~x1183 ~x34 ~x455 ~x975 ~x878 ~x246 ~x667 ~x1184 ~x35 x456
10.07/10.16 v ~x1394 ~x976 ~x879 ~x247 ~x668 ~x1185 ~x36 ~x457 ~x1395 ~x977
10.07/10.16 v ~x880 ~x248 ~x669 ~x1186 ~x37 ~x458 ~x1396 ~x978 ~x881 ~x249
10.07/10.16 v ~x670 ~x1187 ~x38 ~x459 ~x1397 ~x979 ~x882 ~x250 ~x671 ~x1188
10.07/10.16 v ~x39 ~x460 ~x1398 ~x980 ~x883 ~x251 ~x672 ~x1189 ~x40 ~x461
10.07/10.16 v ~x1399 ~x981 ~x884 ~x252 ~x673 ~x1190 ~x41 ~x462 ~x1400 ~x982
10.07/10.16 v ~x885 ~x253 ~x674 ~x42 ~x1191 ~x463 ~x1401 ~x983 ~x886 ~x254
10.07/10.16 v ~x675 ~x43 ~x1192 ~x464 ~x1402 ~x984 ~x887 x255 ~x676 ~x44
10.07/10.16 v ~x1193 ~x465 ~x1403 ~x985 ~x888 ~x256 x677 ~x1194 ~x45 ~x466
10.07/10.16 v ~x1404 ~x986 ~x889 ~x257 ~x678 ~x1195 ~x46 ~x467 ~x1405 ~x987
10.07/10.16 v ~x890 ~x258 ~x679 ~x1196 ~x47 ~x468 ~x1406 ~x988 ~x891 ~x259
10.07/10.16 v ~x680 ~x1197 ~x48 ~x469 ~x1407 ~x989 ~x892 ~x260 ~x681 ~x1198
10.07/10.16 v ~x49 ~x470 ~x1408 ~x990 ~x893 ~x261 ~x682 ~x1199 ~x50 ~x471
10.07/10.16 v ~x1409 ~x991 ~x894 ~x262 ~x683 ~x1200 ~x51 ~x472 ~x1410 ~x992
10.07/10.16 v ~x895 ~x263 ~x684 ~x1201 ~x52 ~x473 ~x1411 ~x993 ~x896 ~x264
10.07/10.16 v ~x685 ~x1202 ~x53 ~x474 ~x1412 ~x994 ~x897 ~x265 ~x686 x1203
10.07/10.16 v ~x54 ~x475 ~x1413 ~x995 x898 ~x266 ~x687 ~x1204 ~x55 ~x476
10.07/10.16 v ~x1414 ~x996 ~x899 ~x267 ~x688 ~x1205 ~x56 ~x477 ~x1415 ~x997
10.07/10.16 v ~x900 ~x268 ~x689 ~x1206 ~x57 ~x478 ~x1416 ~x998 ~x269 ~x690
10.07/10.16 v ~x1207 ~x58 ~x479 ~x1417 ~x999 ~x270 ~x691 ~x1208 ~x59 ~x480
10.07/10.16 v ~x1418 ~x271 ~x692 ~x1209 x60 ~x481 ~x1419 ~x1000 ~x272 ~x693
10.07/10.16 v ~x1210 ~x61 ~x482 ~x1420 ~x1001 ~x273 ~x694 ~x1211 ~x62 ~x483
10.07/10.16 v ~x1421 ~x1002 ~x274 ~x695 ~x1212 ~x63 ~x484 ~x1422 ~x1003 ~x275
10.07/10.16 v ~x696 x1213 ~x64 ~x485 ~x1423 ~x1004 ~x276 ~x697 ~x1214 ~x65
10.07/10.16 v ~x486 ~x1424 ~x1005 ~x277 x698 ~x1215 ~x66 ~x487 ~x1425 ~x1006
10.07/10.16 v ~x278 ~x699 ~x1216 ~x67 ~x488 ~x1426 ~x1007 ~x279 ~x700 ~x1217
10.07/10.16 v ~x68 ~x489 ~x1427 ~x1008 ~x280 ~x701 ~x1218 x69 ~x490 ~x1428
10.07/10.16 v ~x1009 ~x281 ~x702 ~x1219 ~x70 ~x491 ~x1429 ~x1010 ~x282 ~x703
10.07/10.16 v ~x1220 ~x71 x492 ~x1430 ~x1011 ~x283 ~x704 ~x1221 ~x72 ~x493
10.07/10.16 v ~x1431 ~x1012 ~x284 ~x705 ~x1222 ~x73 ~x494 ~x1432 ~x1013 ~x285
10.07/10.16 v ~x706 ~x1223 ~x74 ~x495 ~x1433 ~x1014 ~x286 ~x707 ~x1224 ~x75
10.07/10.16 v ~x496 ~x1434 ~x1015 ~x287 ~x708 ~x1225 ~x76 ~x497 ~x1435 ~x1016
10.07/10.16 v x288 ~x709 ~x1226 ~x77 ~x498 ~x1436 ~x1017 ~x289 ~x710 ~x1227
10.07/10.16 v ~x78 ~x499 x1437 ~x1018 ~x290 ~x711 ~x1228 ~x79 ~x500 ~x1438
10.07/10.16 v ~x1019 ~x291 ~x712 ~x1229 ~x80 ~x501 ~x1439 ~x1020 ~x292 ~x713
10.07/10.16 v ~x1230 ~x81 ~x502 ~x1440 ~x1021 ~x293 ~x714 ~x1231 ~x82 ~x503
10.07/10.16 v ~x1441 ~x1022 ~x294 ~x715 ~x1232 ~x83 ~x504 ~x1442 ~x1023 ~x295
10.07/10.16 v ~x716 ~x1233 ~x84 ~x505 ~x1443 ~x1024 ~x296 ~x717 ~x1234 ~x85
10.07/10.16 v ~x506 ~x1444 ~x1025 ~x297 ~x718 ~x1235 ~x86 ~x507 ~x1445 ~x1026
10.07/10.16 v ~x298 ~x719 ~x1236 ~x87 ~x508 ~x1446 ~x1027 ~x299 ~x720 ~x1237
10.07/10.16 v ~x88 ~x509 ~x1447 ~x1028 ~x300 ~x721 ~x1238 ~x89 ~x510 ~x1448
10.07/10.16 v ~x1029 ~x301 ~x722 ~x1239 ~x90 ~x511 ~x1449 ~x1030 ~x302 x723
10.07/10.16 v ~x1240 ~x91 ~x512 ~x1450 ~x1031 ~x303 ~x724 ~x1241 x92 ~x513
10.07/10.16 v ~x1451 ~x1032 ~x304 ~x725 ~x1242 ~x93 ~x514 ~x1452 ~x1033 ~x305
10.07/10.16 v ~x726 ~x1243 ~x94 x515 ~x1453 ~x1034 ~x306 ~x727 ~x1244 ~x95
10.07/10.16 v ~x516 ~x1454 ~x1035 ~x307 ~x728 ~x1245 ~x96 ~x517 ~x1455 ~x1036
10.07/10.16 v ~x308 ~x729 ~x1246 ~x97 ~x518 ~x1456 ~x1037 ~x309 ~x730 ~x1247
10.07/10.16 v ~x98 ~x519 ~x1457 ~x1038 ~x310 ~x731 ~x1248 ~x99 ~x520 ~x1458
10.07/10.16 v ~x1039 ~x311 ~x732 ~x1249 ~x100 ~x521 ~x1459 ~x1040 ~x312 ~x733
10.07/10.16 v ~x1250 ~x101 ~x522 x1460 ~x1041 ~x313 ~x734 ~x1251 ~x102 ~x523
10.07/10.16 v ~x1461 ~x1042 ~x314 ~x735 ~x1252 ~x103 ~x524 ~x1462 ~x1043 ~x315
10.07/10.16 v ~x736 ~x1253 ~x104 ~x525 ~x1463 ~x1044 ~x316 ~x737 ~x1254 ~x105
10.07/10.16 v ~x526 ~x1464 ~x1045 ~x317 ~x738 ~x1255 ~x106 ~x527 ~x1465 ~x1046
10.07/10.16 v ~x318 ~x739 ~x1256 ~x107 ~x528 ~x1466 ~x1047 x319 ~x740 ~x1257
10.07/10.16 v ~x108 ~x529 ~x1467 ~x1048 ~x320 ~x741 ~x1258 ~x109 ~x530 ~x1468
10.07/10.16 v ~x1049 ~x321 ~x742 ~x1259 ~x110 ~x531 ~x1469 ~x1050 ~x322 ~x743
10.07/10.16 v ~x1260 ~x111 ~x532 ~x1470 ~x1051 ~x323 ~x744 ~x1261 ~x112 ~x533
10.07/10.16 v ~x1471 ~x1052 ~x324 ~x745 ~x1262 ~x113 ~x534 x1472 ~x1053 ~x325
10.07/10.16 v ~x746 ~x1263 ~x114 ~x535 ~x1473 ~x1054 ~x326 ~x747 ~x1264 ~x115
10.07/10.16 v ~x536 ~x1474 x1055 ~x327 ~x748 x1265 ~x116 ~x537 ~x1475 ~x1056
10.07/10.16 v ~x328 ~x749 ~x1266 ~x117 ~x538 ~x1476 ~x1057 ~x329 ~x750 ~x1267
10.07/10.16 v ~x118 ~x539 ~x1477 ~x1058 ~x330 ~x751 ~x1268 ~x119 ~x540 ~x1478
10.07/10.16 v ~x1059 ~x331 ~x752 ~x1269 ~x120 ~x541 ~x1479 ~x1060 ~x332 ~x753
10.07/10.16 v ~x1270 ~x121 ~x542 ~x1480 ~x1061 ~x333 ~x754 ~x1271 ~x122 ~x543
10.07/10.16 v ~x1481 ~x1062 ~x334 ~x755 ~x1272 ~x123 x544 ~x1482 ~x1063 ~x335
10.07/10.16 v ~x756 ~x1273 ~x124 ~x545 ~x1483 ~x1064 ~x336 x757 ~x1274 ~x125
10.07/10.16 v ~x546 ~x1484 ~x1065 ~x337 ~x758 ~x1275 ~x126 ~x547 ~x1485 ~x1066
10.07/10.16 v ~x338 ~x759 ~x1276 ~x127 ~x548 ~x1486 ~x1067 ~x339 ~x760 ~x1277
10.07/10.16 v ~x128 ~x549 ~x1487 ~x1068 ~x340 ~x761 ~x1278 ~x129 ~x550 ~x1488
10.07/10.16 v ~x1069 ~x341 ~x762 ~x1279 ~x130 ~x551 ~x1489 ~x1070 ~x342 ~x763
10.07/10.16 v ~x1280 ~x131 ~x552 ~x1490 ~x1071 ~x343 ~x764 ~x1281 ~x132 ~x553
10.07/10.16 v ~x1491 ~x1072 ~x344 ~x765 ~x1282 ~x133 ~x554 ~x1492 ~x1073 ~x345
10.07/10.16 v ~x766 ~x1283 ~x134 ~x555 ~x1493 ~x1074 x346 ~x767 ~x1284 ~x135
10.07/10.16 v ~x556 ~x1494 ~x1075 ~x347 ~x768 ~x1285 ~x136 ~x557 ~x1495 ~x1076
10.07/10.16 v ~x348 ~x769 ~x2 ~x1286 ~x137 ~x558 ~x1496 ~x1077 ~x349 ~x770
10.07/10.16 v ~x901 ~x1287 ~x138 ~x559 ~x1497 ~x1078 ~x350 ~x771 ~x1288 ~x139
10.07/10.16 v ~x560 ~x1498 x1079 ~x351 ~x772 ~x1289 ~x140 ~x561 ~x1499 ~x3
10.07/10.16 v ~x1080 ~x773 ~x1290 ~x141 ~x562 ~x1500 ~x902 ~x1081 ~x774 ~x1291
10.07/10.16 v ~x142 ~x563 ~x1501 ~x352 ~x4 ~x1082 ~x775 ~x1292 ~x143 ~x564
10.07/10.16 v ~x1502 ~x353 ~x903 ~x1083 ~x776 ~x1293 ~x144 ~x565 ~x1503 ~x354
10.07/10.16 v ~x5 ~x1084 ~x777 ~x1294 ~x145 ~x566 ~x1504 ~x355 ~x904 ~x1085
10.07/10.16 v ~x778 ~x1295 ~x146 ~x567 ~x1505 ~x356 ~x7 ~x1086 ~x779 x147
10.07/10.16 v ~x1296 ~x568 ~x1506 ~x357 ~x905 ~x1087 ~x780 ~x148 ~x1297 ~x569
10.07/10.16 v ~x1507 ~x358 ~x8 x1088 ~x781 ~x149 ~x1298 ~x570 x1508 ~x359
10.07/10.16 v ~x906 ~x1089 ~x782 ~x1299 ~x150 x571 ~x1509 ~x360 ~x9 ~x1090
10.07/10.16 v ~x783 ~x1300 ~x151 ~x572 ~x1510 ~x361 ~x907 x1091 ~x784 ~x1301
10.07/10.16 v ~x152 ~x573 ~x1511 ~x362 ~x1092 ~x785 ~x1302 ~x153 ~x574 ~x1512
10.07/10.16 v ~x363 ~x10 ~x1093 ~x786 x1303 ~x154 ~x575 x1513 ~x364 ~x908
10.07/10.16 v ~x1094 ~x787 x1304 ~x155 ~x576 ~x1514 ~x365 ~x11 ~x1095 ~x788
10.07/10.16 v ~x1305 ~x156 ~x577 ~x1515 ~x366 ~x909 ~x1096 ~x789 x1306 ~x157
10.07/10.16 v ~x578 ~x1516 ~x367 ~x12 ~x1097 ~x790 ~x1307 ~x158 ~x579 ~x1517
10.07/10.16 v ~x368 ~x910 ~x1098 ~x791 ~x1308 ~x159 ~x580 ~x1518 ~x369 ~x13
10.07/10.16 v ~x1099 ~x792 ~x1309 ~x160 ~x581 ~x1519 ~x370 ~x911 ~x1100 ~x793
10.07/10.16 v ~x1310 ~x161 ~x582 ~x1520 ~x371 ~x15 ~x1101 ~x794 ~x1311 ~x162
10.07/10.16 v ~x583 ~x1521 ~x372 ~x912 ~x1102 ~x795 ~x1312 ~x163 ~x584 ~x1522
10.07/10.16 v x373 ~x16 ~x1103 ~x796 ~x1313 x164 ~x585 ~x1523 ~x374 ~x913
10.07/10.16 v ~x1104 ~x797 ~x1314 ~x165 ~x586 ~x1524 ~x375 ~x17 ~x1105 ~x798
10.07/10.16 v ~x1315 ~x166 ~x587 ~x1525 ~x376 ~x914 x1106 ~x799 ~x1316 ~x167
10.07/10.16 v ~x588 ~x1526 ~x377 ~x20 ~x1107 ~x800 ~x1317 ~x168 ~x589 ~x1527
10.07/10.16 v ~x378 ~x915 ~x1108 ~x801 ~x1318 ~x169 ~x590 ~x1528 ~x379 x21
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62841 MiB free)
memory of node 1: 64465 MiB (63367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527828-1752239137/watcher-4527828-1752239137 -o /tmp/evaluation-result-4527828-1752239137/solver-4527828-1752239137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114858 --watchdog 3760 pb_picat HOME/instance-4527828-1752239137.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=115656, runsolver pid=115653
[startup+0.100068 s]*
/proc/loadavg: 4.14 4.10 4.00 5/251 115657
/proc/meminfo: memFree=129232288/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=22256 CPUtime=0.09 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1103 0 0 0 9 0 0 0 20 0 1 0 139592397 2075799552 5564 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 5564 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 22256 KiB
[startup+0.213123 s]*
/proc/loadavg: 4.14 4.10 4.00 5/251 115657
/proc/meminfo: memFree=129220000/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=44788 CPUtime=0.21 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1115 0 0 0 20 1 0 0 20 0 1 0 139592397 2075799552 11197 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 11197 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 44788 KiB
[startup+0.313192 s]*
/proc/loadavg: 4.13 4.10 4.00 5/251 115657
/proc/meminfo: memFree=129197504/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=61172 CPUtime=0.3 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1123 0 0 0 29 1 0 0 20 0 1 0 139592397 2075799552 15293 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 15293 1568 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 61172 KiB
[startup+0.700306 s]
/proc/loadavg: 4.13 4.10 4.00 5/251 115657
/proc/meminfo: memFree=129164736/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=128760 CPUtime=0.68 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1157 0 0 0 65 3 0 0 20 0 1 0 139592397 2075799552 32190 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 32190 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 128760 KiB
[startup+1.50032 s]
/proc/loadavg: 4.13 4.10 4.00 6/251 115657
/proc/meminfo: memFree=129074640/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=276220 CPUtime=1.48 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1230 0 0 0 142 6 0 0 20 0 1 0 139592397 2075799552 69055 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 69055 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 276220 KiB
[startup+3.11274 s]
/proc/loadavg: 4.13 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128685520/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2027148 memory=602616 CPUtime=3.09 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 1653 0 0 0 296 13 0 0 20 0 1 0 139592397 2075799552 150654 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 506787 150654 1600 343 0 503851 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 602616 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128149084/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2816556 memory=1087968 CPUtime=6.27 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 14140 0 0 0 589 38 0 0 20 0 1 0 139592397 2884153344 271992 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 704139 271992 1728 343 0 701203 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2816556 KiB
Current children cumulated memory: 1087968 KiB
[startup+10.1734 s]
# the end of solver process 115656 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=9.6473 s, system=0.49237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40029 s]
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128149084/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2816556 memory=1090016 CPUtime=6.36 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 14141 0 0 0 597 39 0 0 20 0 1 0 139592397 2884153344 272504 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 704139 272504 1728 343 0 701203 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2816556 KiB
Current children cumulated memory: 1090016 KiB
[startup+8.00026 s]*
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128128604/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2882484 memory=1111272 CPUtime=7.97 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 14874 0 0 0 751 46 0 0 20 0 1 0 139592397 2951663616 277818 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 720621 277818 1728 343 0 717685 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2882484 KiB
Current children cumulated memory: 1111272 KiB
[startup+8.80028 s]
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128128604/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2883944 memory=1120904 CPUtime=8.76 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 15246 0 0 0 830 46 0 0 20 0 1 0 139592397 2953158656 280226 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 720986 280226 1728 343 0 718050 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 2883944 KiB
Current children cumulated memory: 1120904 KiB
[startup+9.60032 s]
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128141464/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2885180 memory=1096012 CPUtime=9.56 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 17506 0 0 0 908 48 0 0 20 0 1 0 139592397 2954424320 274003 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 721295 274003 1728 343 0 718359 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2885180 KiB
Current children cumulated memory: 1096012 KiB
[startup+10.0003 s]*
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128133400/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2885180 memory=1101056 CPUtime=9.97 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 17725 0 0 0 949 48 0 0 20 0 1 0 139592397 2954424320 275264 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 721295 275264 1728 343 0 718359 0
Current children cumulated CPU time: 9.97 s
Current children cumulated vsize: 2885180 KiB
Current children cumulated memory: 1101056 KiB
[startup+10.1129 s]
/proc/loadavg: 4.12 4.10 4.00 6/251 115657
/proc/meminfo: memFree=128133400/131382120 swapFree=33010416/33010684
[pid=115656] ppid=115653 vsize=2885180 memory=1103104 CPUtime=10.07 cores=1,3
/proc/115656/stat : 115656 (pb_picat) R 115653 115656 113044 0 -1 4194304 17726 0 0 0 959 48 0 0 20 0 1 0 139592397 2954424320 275776 18446744073709551615 94124062875648 94124064277229 140724954419424 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94124064548656 94124066422896 94124084457472 140724954425756 140724954425832 140724954425832 140724954431436 0
/proc/115656/statm: 721295 275776 1728 343 0 718359 0
Current children cumulated CPU time: 10.07 s
Current children cumulated vsize: 2885180 KiB
Current children cumulated memory: 1103104 KiB
Child status: 0
Real time (s): 10.1734
CPU time (s): 10.1397
CPU user time (s): 9.6473
CPU system time (s): 0.49237
CPU usage (%): 99.668
Max. virtual memory (cumulated for all children) (KiB): 2885180
Max. memory (cumulated for all children) (KiB): 1120904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.6473
system time used= 0.49237
maximum resident set size= 1122184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17733
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= 18
# summary of solver processes directly reported to runsolver:
# pid: 115656
# total CPU time (s): 10.1397
# total CPU user time (s): 9.6473
# total CPU system time (s): 0.49237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068345 second user time and 0.171956 second system time
The end
Begin job on nodeC003 at 2025-07-11 15:05:37
IDJOB=4527828
IDBENCH=147878
IDSOLVER=3385
FILE ID=nodeC003/4527828-1752239137
RUNJOBID= nodeC003-1752237840-114858
SLURM_JOB_ID= 9682514
Free space on /tmp= 432012 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527828-1752239137/watcher-4527828-1752239137 -o /tmp/evaluation-result-4527828-1752239137/solver-4527828-1752239137 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752237840-114858 --watchdog 3760 pb_picat HOME/instance-4527828-1752239137.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2ff33dfc09cf27701edef9877d2b706c
RANDOM SEED=469016126
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.467
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3493.346
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.508
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.622
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.789
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.682
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.459
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129242484 kB
MemAvailable: 129577212 kB
Buffers: 2736 kB
Cached: 1127612 kB
SwapCached: 36 kB
Active: 922356 kB
Inactive: 632012 kB
Active(anon): 434068 kB
Inactive(anon): 7604 kB
Active(file): 488288 kB
Inactive(file): 624408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14684 kB
Writeback: 0 kB
AnonPages: 420380 kB
Mapped: 116360 kB
Shmem: 17924 kB
KReclaimable: 123320 kB
Slab: 211540 kB
SReclaimable: 123320 kB
SUnreclaim: 88220 kB
KernelStack: 4064 kB
PageTables: 4004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6710028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432008 MiB
End job on nodeC003 at 2025-07-11 15:05:48