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