0.00/0.00 c solving HOME/instance-4494305-1751153580.opb (Picat 3.9b6)
10.15/10.27 s SATISFIABLE
10.15/10.27 v x1464 ~x1045 ~x317 ~x738 ~x1255 ~x106 ~x527 ~x1465 ~x1046 ~x318
10.15/10.27 v ~x739 ~x1256 ~x107 ~x528 x1466 ~x1047 ~x319 ~x740 ~x1257 ~x108
10.15/10.27 v ~x529 ~x1467 ~x1048 ~x320 ~x741 ~x1258 ~x109 ~x530 x1468 ~x1049
10.15/10.27 v ~x321 ~x742 ~x1259 ~x110 ~x531 ~x1469 ~x1050 ~x322 ~x743 ~x1260
10.15/10.27 v ~x111 ~x532 ~x1470 ~x1051 ~x323 ~x744 ~x1261 ~x112 ~x533 ~x1471
10.15/10.27 v ~x1052 ~x324 ~x745 ~x1262 ~x113 ~x534 ~x1472 x1053 ~x325 ~x746
10.15/10.27 v ~x1263 ~x114 ~x535 ~x1473 ~x1054 ~x326 ~x747 ~x1264 ~x115 ~x536
10.15/10.27 v ~x1474 ~x1055 ~x327 x748 ~x1265 ~x116 ~x537 ~x1475 ~x1056 ~x328
10.15/10.27 v ~x749 x1266 ~x117 ~x538 ~x1476 ~x329 ~x1057 ~x750 ~x1267 ~x118
10.15/10.27 v ~x539 ~x1477 ~x330 ~x1058 ~x751 ~x119 ~x1268 ~x540 ~x1478 ~x331
10.15/10.27 v ~x1059 ~x752 x120 ~x1269 x541 ~x1479 ~x332 ~x1060 ~x753 ~x121
10.15/10.27 v ~x1270 ~x542 ~x1480 ~x333 ~x1061 ~x754 ~x1271 ~x122 ~x543 ~x1481
10.15/10.27 v ~x1062 ~x334 ~x755 ~x1272 ~x123 ~x544 ~x1482 ~x1063 ~x335 ~x756
10.15/10.27 v ~x1273 ~x124 ~x545 ~x1483 ~x1064 ~x336 ~x757 ~x1274 ~x125 ~x546
10.15/10.27 v ~x1484 ~x1065 ~x337 ~x758 ~x1275 ~x126 ~x547 ~x1485 ~x1066 ~x338
10.15/10.27 v ~x759 ~x1276 ~x127 ~x548 ~x1486 ~x1067 x339 ~x760 ~x1277 ~x128
10.15/10.27 v ~x549 ~x1487 ~x1068 ~x340 ~x761 ~x1278 ~x129 ~x550 ~x1488 ~x1069
10.15/10.27 v ~x341 ~x762 ~x1279 ~x130 ~x551 ~x1489 ~x1070 ~x342 ~x763 ~x1280
10.15/10.27 v x131 ~x552 ~x1490 ~x1071 ~x343 ~x764 ~x1281 ~x132 ~x553 ~x1491
10.15/10.27 v ~x1072 ~x344 ~x765 ~x1282 ~x133 ~x554 ~x1492 ~x1073 ~x345 ~x766
10.15/10.27 v ~x1283 ~x134 ~x555 ~x1493 ~x1074 ~x346 ~x767 ~x1284 ~x135 ~x556
10.15/10.27 v ~x1494 ~x1075 ~x347 ~x768 ~x1285 ~x136 ~x557 ~x1495 ~x1076 ~x348
10.15/10.27 v ~x769 ~x3 ~x1286 ~x137 ~x558 ~x1496 ~x1077 ~x349 ~x770 ~x901
10.15/10.27 v ~x1287 ~x138 ~x559 ~x1497 ~x1078 ~x350 ~x771 ~x1288 ~x139 ~x560
10.15/10.27 v ~x1498 ~x1079 ~x351 ~x772 ~x1289 ~x140 ~x561 ~x1499 ~x4 ~x1080
10.15/10.27 v x773 ~x1290 ~x141 ~x562 ~x1500 ~x902 ~x1081 ~x774 ~x1291 ~x142
10.15/10.27 v ~x563 ~x1501 ~x352 ~x5 ~x1082 ~x775 ~x1292 ~x143 ~x564 x1502
10.15/10.27 v ~x353 ~x903 ~x1083 ~x776 ~x1293 ~x144 ~x565 ~x1503 ~x354 ~x6
10.15/10.27 v ~x1084 ~x777 ~x1294 ~x145 ~x566 x1504 ~x355 ~x904 ~x1085 ~x778
10.15/10.27 v ~x1295 ~x146 ~x567 ~x1505 ~x356 ~x7 ~x1086 ~x779 ~x1296 ~x147
10.15/10.27 v ~x568 ~x1506 ~x357 ~x905 ~x1087 ~x780 ~x1297 ~x148 ~x569 ~x1507
10.15/10.27 v ~x358 ~x8 ~x1088 ~x781 ~x1298 ~x149 ~x570 ~x1508 ~x359 ~x906
10.15/10.27 v ~x1089 ~x782 ~x1299 ~x150 ~x571 ~x1509 ~x360 ~x11 ~x1090 ~x783
10.15/10.27 v ~x1300 ~x151 ~x572 ~x1510 ~x361 ~x907 ~x1091 ~x784 ~x1301 ~x152
10.15/10.27 v ~x573 ~x1511 ~x362 ~x1092 ~x785 ~x1302 ~x153 ~x574 ~x1512 ~x363
10.15/10.27 v x12 ~x1093 ~x786 ~x1303 ~x154 ~x575 ~x1513 ~x364 ~x908 ~x1094
10.15/10.27 v ~x787 ~x1304 ~x155 ~x576 ~x1514 ~x365 ~x13 ~x1095 ~x788 ~x1305
10.15/10.27 v ~x156 ~x577 ~x1515 ~x366 ~x909 ~x1096 ~x789 ~x1306 ~x157 ~x578
10.15/10.27 v ~x1516 ~x367 ~x14 ~x1097 ~x790 ~x1307 ~x158 ~x579 ~x1517 ~x368
10.15/10.27 v ~x910 ~x1098 ~x791 ~x1308 ~x159 ~x580 ~x1518 ~x369 ~x15 ~x1099
10.15/10.27 v ~x792 ~x1309 ~x160 ~x581 ~x1519 ~x370 ~x911 ~x1100 ~x793 x1310
10.15/10.27 v ~x161 ~x582 ~x1520 ~x371 ~x17 ~x1101 ~x794 ~x1311 ~x162 ~x583
10.15/10.27 v ~x1521 ~x372 ~x912 ~x1102 ~x795 ~x1312 ~x163 ~x584 ~x1522 ~x373
10.15/10.27 v ~x18 ~x1103 ~x796 ~x1313 ~x164 ~x585 ~x1523 ~x374 ~x913 ~x1104
10.15/10.27 v ~x797 ~x1314 x165 ~x586 ~x1524 ~x375 ~x19 ~x1105 ~x798 ~x1315
10.15/10.27 v ~x166 ~x587 ~x1525 ~x376 ~x914 ~x1106 ~x799 ~x1316 ~x167 ~x588
10.15/10.27 v ~x1526 ~x377 ~x20 ~x1107 x800 ~x1317 ~x168 ~x589 ~x1527 ~x378
10.15/10.27 v ~x915 ~x1108 ~x801 ~x1318 ~x169 ~x590 ~x1528 ~x379 ~x22 ~x1109
10.15/10.27 v ~x802 ~x1319 ~x170 ~x591 ~x1529 ~x380 ~x916 ~x1110 ~x803 ~x1320
10.15/10.27 v ~x171 ~x592 ~x1530 ~x381 ~x1111 ~x804 ~x1321 ~x172 ~x593 ~x1531
10.15/10.27 v ~x382 ~x23 ~x1112 ~x805 ~x1322 ~x173 ~x594 ~x1532 ~x383 ~x917
10.15/10.27 v ~x1113 ~x806 ~x1323 ~x174 ~x595 ~x1533 ~x384 ~x24 ~x1114 ~x807
10.15/10.27 v ~x1324 ~x175 ~x596 ~x1534 ~x385 ~x918 ~x1115 ~x808 ~x1325 ~x176
10.15/10.27 v x597 ~x1535 x386 ~x25 ~x1116 ~x809 ~x1326 ~x177 ~x598 ~x1536
10.15/10.27 v ~x387 ~x919 ~x1117 ~x810 ~x1327 ~x178 ~x599 ~x1537 ~x388 ~x26
10.15/10.27 v ~x1118 ~x811 ~x1328 ~x179 ~x600 ~x1538 ~x389 ~x920 ~x1119 ~x812
10.15/10.27 v ~x1329 ~x180 ~x601 ~x1539 ~x390 ~x27 ~x1120 ~x813 ~x1330 ~x181
10.15/10.27 v x602 ~x1540 ~x391 ~x921 ~x1121 ~x814 ~x1331 ~x182 ~x603 ~x1541
10.15/10.27 v ~x392 ~x28 ~x1122 ~x815 ~x1332 x183 ~x604 ~x1542 ~x393 ~x922
10.15/10.27 v ~x1123 ~x816 ~x1333 ~x184 ~x605 ~x1543 ~x394 ~x30 ~x1124 ~x817
10.15/10.27 v ~x1334 ~x185 ~x606 ~x1544 ~x395 ~x923 ~x1125 ~x818 ~x1335 ~x186
10.15/10.27 v ~x607 ~x1545 ~x396 ~x924 ~x1126 ~x819 ~x1336 ~x187 ~x608 ~x1546
10.15/10.27 v ~x397 ~x925 ~x1127 ~x820 ~x1337 ~x188 ~x609 ~x1547 ~x398 ~x926
10.15/10.27 v ~x1128 ~x821 ~x1338 ~x189 ~x610 x1548 ~x399 ~x927 ~x1129 ~x822
10.15/10.27 v ~x1339 ~x190 ~x611 ~x1549 ~x400 ~x9 x823 ~x1340 ~x191 ~x612
10.15/10.27 v ~x1550 ~x401 ~x928 ~x824 ~x1341 ~x192 ~x613 ~x1130 ~x1551 ~x402
10.15/10.27 v ~x10 ~x825 ~x1342 ~x193 ~x614 ~x1131 ~x1552 ~x403 ~x929 ~x826
10.15/10.27 v ~x1343 ~x194 ~x615 ~x1132 ~x1553 ~x404 ~x930 ~x827 ~x1344 ~x195
10.15/10.27 v ~x616 ~x1133 ~x1554 ~x405 ~x931 ~x828 ~x1345 ~x196 ~x617 ~x1134
10.15/10.27 v ~x1555 ~x406 ~x932 ~x829 ~x1346 ~x197 ~x618 ~x1135 ~x1556 ~x407
10.15/10.27 v ~x933 ~x830 ~x1347 ~x198 ~x619 ~x1136 ~x1557 x408 ~x934 ~x831
10.15/10.27 v ~x1348 ~x199 ~x620 ~x1137 ~x1558 ~x409 ~x935 ~x832 ~x1349 ~x200
10.15/10.27 v ~x621 ~x1138 ~x1559 ~x410 ~x936 ~x833 ~x1350 ~x201 ~x622 ~x1139
10.15/10.27 v ~x1560 ~x411 ~x937 ~x834 ~x1351 ~x202 ~x623 ~x1140 ~x1561 ~x412
10.15/10.27 v x938 ~x835 ~x1352 ~x203 ~x624 ~x1141 x1562 ~x413 ~x836 ~x1353
10.15/10.27 v ~x204 ~x625 x1142 ~x1563 ~x414 ~x939 ~x837 ~x1354 ~x205 ~x626
10.15/10.27 v ~x1143 ~x1564 ~x415 ~x940 ~x838 ~x1355 ~x206 ~x627 ~x1144 ~x1565
10.15/10.27 v ~x416 ~x941 ~x839 ~x1356 ~x207 ~x628 ~x1145 ~x1566 ~x417 ~x942
10.15/10.27 v ~x840 ~x1357 ~x208 ~x629 ~x1146 ~x1567 ~x418 ~x943 ~x841 ~x1358
10.15/10.27 v ~x209 ~x630 ~x1147 ~x1568 ~x419 ~x944 ~x842 ~x1359 ~x210 ~x631
10.15/10.27 v ~x1148 ~x1569 ~x420 ~x1 ~x843 ~x1360 ~x211 ~x632 ~x1149 ~x1570
10.15/10.27 v ~x421 ~x945 ~x844 ~x1361 ~x212 ~x633 ~x1150 ~x1571 ~x422 ~x2
10.15/10.27 v ~x845 ~x1362 ~x213 ~x634 ~x1151 ~x1572 ~x423 ~x946 ~x846 ~x1363
10.15/10.27 v ~x214 ~x635 ~x1152 ~x1573 ~x424 ~x947 ~x847 ~x1364 ~x215 ~x636
10.15/10.27 v ~x1153 ~x1574 ~x425 ~x948 ~x848 ~x1365 x216 ~x637 ~x1154 ~x1575
10.15/10.27 v ~x426 ~x949 ~x849 ~x1366 ~x217 ~x638 ~x1155 ~x1576 ~x427 ~x950
10.15/10.27 v x850 ~x1367 ~x218 ~x639 ~x1156 ~x1577 ~x428 ~x951 ~x851 ~x1368
10.15/10.27 v ~x219 ~x640 ~x1157 ~x1578 ~x429 ~x952 ~x852 ~x1369 ~x220 ~x641
10.15/10.27 v x1158 ~x1579 ~x430 ~x953 ~x853 ~x1370 ~x221 ~x642 x1159 x1580
10.15/10.27 v ~x431 ~x954 ~x854 ~x1371 ~x222 ~x643 ~x1160 x1581 ~x432 ~x955
10.15/10.27 v ~x855 x1372 ~x223 ~x644 ~x1161 ~x1582 ~x433 ~x956 ~x856 ~x224
10.15/10.27 v ~x1373 ~x645 ~x1162 ~x1583 ~x434 ~x16 ~x857 ~x225 ~x1374 ~x646
10.15/10.27 v ~x1163 ~x1584 ~x435 ~x957 ~x858 ~x226 ~x1375 ~x647 ~x1585 x1164
10.15/10.27 v ~x436 ~x958 ~x859 ~x1376 ~x227 ~x648 x1586 ~x1165 ~x437 ~x959
10.15/10.27 v ~x860 ~x1377 ~x228 ~x649 ~x1166 ~x1587 ~x438 ~x960 ~x861 ~x1378
10.15/10.27 v ~x229 ~x650 ~x1167 ~x1588 ~x439 ~x961 ~x862 ~x1379 ~x230 ~x651
10.15/10.27 v ~x1168 ~x1589 ~x440 ~x21 ~x863 ~x1380 ~x231 ~x652 ~x1169 ~x1590
10.15/10.27 v x441 x962 ~x864 ~x1381 ~x232 ~x653 ~x1170 ~x1591 ~x442 ~x963
10.15/10.27 v ~x865 ~x1382 ~x233 ~x654 x1171 ~x1592 ~x443 ~x964 ~x866 ~x1383
10.15/10.27 v ~x234 ~x655 ~x1172 ~x1593 ~x444 ~x965 ~x867 ~x1384 ~x235 ~x656
10.15/10.27 v ~x1173 ~x1594 ~x445 ~x966 ~x868 ~x1385 ~x236 ~x657 ~x1174 ~x1595
10.15/10.27 v ~x446 ~x967 ~x869 ~x1386 ~x237 ~x658 x1175 ~x1596 ~x447 ~x968
10.15/10.27 v ~x870 ~x1387 ~x238 x659 ~x1176 ~x1597 ~x448 ~x969 ~x871 ~x1388
10.15/10.27 v ~x239 ~x660 ~x1177 ~x1598 ~x449 ~x29 ~x872 ~x1389 ~x240 ~x661
10.15/10.27 v ~x1178 ~x1599 ~x450 ~x970 ~x873 ~x1390 ~x241 ~x662 ~x1179 x1600
10.15/10.27 v ~x451 ~x971 ~x874 ~x1391 ~x242 ~x663 ~x1180 ~x31 ~x452 ~x972
10.15/10.27 v ~x875 ~x1392 ~x243 ~x664 ~x1181 ~x32 ~x453 ~x973 ~x876 ~x1393
10.15/10.27 v ~x244 ~x665 ~x1182 ~x33 ~x454 ~x974 ~x877 ~x245 ~x666 ~x1183
10.15/10.27 v ~x34 ~x455 ~x975 ~x878 ~x246 ~x667 ~x1184 ~x35 ~x456 ~x1394
10.15/10.27 v ~x976 ~x879 ~x247 ~x668 ~x1185 ~x36 ~x457 ~x1395 ~x977 ~x880
10.15/10.27 v ~x248 ~x669 ~x1186 x37 ~x458 ~x1396 ~x978 ~x881 ~x249 ~x670
10.15/10.27 v ~x1187 ~x38 ~x459 ~x1397 ~x979 ~x882 ~x250 ~x671 ~x1188 ~x39
10.15/10.27 v ~x460 ~x1398 ~x980 ~x883 ~x251 ~x672 ~x1189 ~x40 ~x461 ~x1399
10.15/10.27 v ~x981 ~x884 ~x252 ~x673 ~x1190 ~x41 ~x462 ~x1400 ~x982 ~x885
10.15/10.27 v ~x253 ~x674 x1191 ~x42 ~x463 ~x1401 ~x983 ~x886 ~x254 ~x675
10.15/10.27 v ~x1192 ~x43 ~x464 ~x1402 ~x984 ~x887 ~x255 ~x676 ~x1193 ~x44
10.15/10.27 v ~x465 ~x1403 ~x985 ~x888 x256 x677 ~x1194 ~x45 ~x466 ~x1404
10.15/10.27 v ~x986 x889 ~x257 ~x678 ~x1195 ~x46 ~x467 ~x1405 ~x987 ~x890
10.15/10.27 v ~x258 ~x679 ~x1196 ~x47 ~x468 ~x1406 ~x988 ~x891 ~x259 ~x680
10.15/10.27 v ~x1197 ~x48 ~x469 ~x1407 ~x989 ~x892 ~x260 ~x681 ~x1198 ~x49
10.15/10.27 v ~x470 ~x1408 ~x990 ~x893 ~x261 ~x682 ~x1199 ~x50 ~x471 ~x1409
10.15/10.27 v ~x991 ~x894 ~x262 ~x683 ~x1200 ~x51 ~x472 ~x1410 ~x992 ~x895
10.15/10.27 v ~x263 ~x684 ~x1201 ~x52 ~x473 ~x1411 ~x993 ~x896 ~x264 ~x685
10.15/10.27 v ~x1202 ~x53 x474 ~x1412 ~x994 ~x897 ~x265 ~x686 ~x1203 ~x54
10.15/10.27 v ~x475 ~x1413 ~x995 ~x898 ~x266 ~x687 ~x1204 ~x55 ~x476 ~x1414
10.15/10.27 v ~x996 ~x899 ~x267 ~x688 ~x1205 ~x56 ~x477 ~x1415 ~x997 ~x900
10.15/10.27 v ~x268 ~x689 ~x1206 ~x57 ~x478 ~x1416 ~x998 ~x269 ~x690 ~x1207
10.15/10.27 v ~x58 ~x479 ~x1417 ~x999 ~x270 ~x691 ~x1208 ~x59 ~x480 ~x1418
10.15/10.27 v ~x271 ~x692 ~x1209 ~x60 ~x481 ~x1419 ~x1000 ~x272 ~x693 ~x1210
10.15/10.27 v ~x61 ~x482 ~x1420 ~x1001 ~x273 ~x694 ~x1211 ~x62 ~x483 ~x1421
10.15/10.27 v ~x1002 ~x274 ~x695 ~x1212 ~x63 x484 ~x1422 ~x1003 ~x275 ~x696
10.15/10.27 v ~x1213 ~x64 ~x485 ~x1423 ~x1004 ~x276 ~x697 ~x1214 ~x65 ~x486
10.15/10.27 v ~x1424 ~x1005 ~x277 ~x698 ~x1215 ~x66 ~x487 ~x1425 ~x1006 ~x278
10.15/10.27 v ~x699 ~x1216 ~x67 ~x488 ~x1426 ~x1007 ~x279 ~x700 ~x1217 ~x68
10.15/10.27 v ~x489 ~x1427 ~x1008 ~x280 ~x701 ~x1218 ~x69 ~x490 ~x1428 ~x1009
10.15/10.27 v ~x281 ~x702 ~x1219 ~x70 ~x491 ~x1429 ~x1010 ~x282 ~x703 ~x1220
10.15/10.27 v ~x71 ~x492 ~x1430 ~x1011 ~x283 ~x704 ~x1221 ~x72 ~x493 ~x1431
10.15/10.27 v ~x1012 x284 ~x705 ~x1222 ~x73 ~x494 ~x1432 ~x1013 ~x285 ~x706
10.15/10.27 v x1223 ~x74 ~x495 ~x1433 ~x1014 ~x286 ~x707 ~x1224 ~x75 ~x496
10.15/10.27 v ~x1434 ~x1015 ~x287 ~x708 ~x1225 ~x76 ~x497 ~x1435 ~x1016 ~x288
10.15/10.27 v ~x709 ~x1226 ~x77 ~x498 x1436 ~x1017 ~x289 ~x710 x1227 ~x78
10.15/10.27 v ~x499 x1437 ~x1018 ~x290 ~x711 ~x1228 ~x79 ~x500 ~x1438 ~x1019
10.15/10.27 v ~x291 x712 ~x1229 ~x80 ~x501 ~x1439 ~x1020 ~x292 ~x713 ~x1230
10.15/10.27 v ~x81 ~x502 ~x1440 ~x1021 ~x293 ~x714 ~x1231 ~x82 ~x503 ~x1441
10.15/10.27 v ~x1022 ~x294 ~x715 ~x1232 ~x83 ~x504 ~x1442 ~x1023 ~x295 ~x716
10.15/10.27 v ~x1233 ~x84 ~x505 ~x1443 ~x1024 ~x296 ~x717 ~x1234 x85 ~x506
10.15/10.27 v ~x1444 ~x1025 ~x297 ~x718 ~x1235 ~x86 ~x507 ~x1445 ~x1026 ~x298
10.15/10.27 v ~x719 ~x1236 ~x87 ~x508 ~x1446 x1027 ~x299 ~x720 ~x1237 ~x88
10.15/10.27 v ~x509 ~x1447 ~x1028 ~x300 ~x721 ~x1238 ~x89 ~x510 ~x1448 ~x1029
10.15/10.27 v ~x301 ~x722 ~x1239 ~x90 ~x511 ~x1449 ~x1030 ~x302 ~x723 ~x1240
10.15/10.27 v ~x91 ~x512 ~x1450 ~x1031 ~x303 ~x724 ~x1241 ~x92 ~x513 ~x1451
10.15/10.27 v ~x1032 ~x304 ~x725 ~x1242 ~x93 ~x514 ~x1452 ~x1033 ~x305 ~x726
10.15/10.27 v ~x1243 ~x94 x515 ~x1453 ~x1034 ~x306 ~x727 ~x1244 ~x95 ~x516
10.15/10.27 v ~x1454 ~x1035 ~x307 ~x728 ~x1245 ~x96 ~x517 ~x1455 ~x1036 x308
10.15/10.27 v ~x729 ~x1246 ~x97 ~x518 ~x1456 ~x1037 ~x309 ~x730 ~x1247 ~x98
10.15/10.27 v ~x519 ~x1457 ~x1038 ~x310 ~x731 ~x1248 ~x99 ~x520 ~x1458 ~x1039
10.15/10.27 v ~x311 ~x732 ~x1249 ~x100 ~x521 ~x1459 ~x1040 ~x312 ~x733 ~x1250
10.15/10.27 v ~x101 ~x522 ~x1460 ~x1041 ~x313 ~x734 ~x1251 ~x102 ~x523 ~x1461
10.15/10.27 v ~x1042 ~x314 ~x735 ~x1252 ~x103 ~x524 ~x1462 ~x1043 ~x315 ~x736
10.15/10.27 v ~x1253 ~x104 ~x525 ~x1463 ~x1044 ~x316 ~x737 ~x1254 ~x105 ~x526
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 (60528 MiB free)
memory of node 1: 64507 MiB (59910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494305-1751153580/watcher-4494305-1751153580 -o /tmp/evaluation-result-4494305-1751153580/solver-4494305-1751153580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15229 --watchdog 3760 pb_picat HOME/instance-4494305-1751153580.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=17443, runsolver pid=17440
[startup+0.100062 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=123305280/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=34668 CPUtime=0.08 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1107 0 0 0 8 0 0 0 20 0 1 0 31038246 2075799552 8667 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 8667 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34668 KiB
[startup+0.205393 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=123305280/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=53100 CPUtime=0.19 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1116 0 0 0 19 0 0 0 20 0 1 0 31038246 2075799552 13275 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 13275 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 53100 KiB
[startup+0.305294 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=123292992/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=71532 CPUtime=0.29 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1125 0 0 0 28 1 0 0 20 0 1 0 31038246 2075799552 17883 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 17883 1600 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71532 KiB
[startup+0.700124 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=123256128/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=145264 CPUtime=0.67 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1162 0 0 0 65 2 0 0 20 0 1 0 31038246 2075799552 36316 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 36316 1600 343 0 503851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 145264 KiB
[startup+1.50016 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=123149380/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=292724 CPUtime=1.48 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1235 0 0 0 143 5 0 0 20 0 1 0 31038246 2075799552 73181 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 73181 1600 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 292724 KiB
[startup+3.10521 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=122664840/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2027148 memory=623216 CPUtime=3.08 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 1688 0 0 0 297 11 0 0 20 0 1 0 31038246 2075799552 155804 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 506787 155804 1632 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 623216 KiB
[startup+6.30015 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=122071152/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2815092 memory=1082404 CPUtime=6.26 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 13258 0 0 0 588 38 0 0 20 0 1 0 31038246 2882654208 270601 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 703773 270601 1728 343 0 700837 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2815092 KiB
Current children cumulated memory: 1082404 KiB
[startup+10.2793 s]
# the end of solver process 17443 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=9.74959 s, system=0.49694 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40018 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=122071152/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2815092 memory=1082404 CPUtime=6.37 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 13258 0 0 0 598 39 0 0 20 0 1 0 31038246 2882654208 270601 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 703773 270601 1728 343 0 700837 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2815092 KiB
Current children cumulated memory: 1082404 KiB
[startup+8.00013 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=121612792/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2881016 memory=1107608 CPUtime=7.97 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 13918 0 0 0 750 47 0 0 20 0 1 0 31038246 2950160384 276902 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 720254 276902 1760 343 0 717318 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2881016 KiB
Current children cumulated memory: 1107608 KiB
[startup+9.60015 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 17444
/proc/meminfo: memFree=119428224/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2818716 memory=1091664 CPUtime=9.56 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 16123 0 0 0 908 48 0 0 20 0 1 0 31038246 2886365184 272916 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 704679 272916 1760 343 0 701743 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2818716 KiB
Current children cumulated memory: 1091664 KiB
[startup+10.0001 s]*
/proc/loadavg: 4.04 4.10 4.08 5/264 17444
/proc/meminfo: memFree=119427468/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2884252 memory=1095784 CPUtime=9.96 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 16644 0 0 0 948 48 0 0 20 0 1 0 31038246 2953474048 273946 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 721063 273946 1760 343 0 718127 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 2884252 KiB
Current children cumulated memory: 1095784 KiB
[startup+10.2001 s]
/proc/loadavg: 4.04 4.10 4.08 5/264 17444
/proc/meminfo: memFree=119427468/131250000 swapFree=33010684/33010684
[pid=17443] ppid=17440 vsize=2884252 memory=1097864 CPUtime=10.15 cores=4,6
/proc/17443/stat : 17443 (pb_picat) R 17440 17443 15215 0 -1 4194304 16649 0 0 0 967 48 0 0 20 0 1 0 31038246 2953474048 274466 18446744073709551615 94404184993792 94404186395373 140728783325632 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94404186666800 94404188541104 94404206751744 140728783329694 140728783329770 140728783329770 140728783335372 0
/proc/17443/statm: 721063 274466 1760 343 0 718127 0
Current children cumulated CPU time: 10.15 s
Current children cumulated vsize: 2884252 KiB
Current children cumulated memory: 1097864 KiB
Child status: 0
Real time (s): 10.2793
CPU time (s): 10.2465
CPU user time (s): 9.74959
CPU system time (s): 0.49694
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 2884252
Max. memory (cumulated for all children) (KiB): 1114520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.74959
system time used= 0.49694
maximum resident set size= 1114904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16656
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= 16
# summary of solver processes directly reported to runsolver:
# pid: 17443
# total CPU time (s): 10.2465
# total CPU user time (s): 9.74959
# total CPU system time (s): 0.49694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02539 second user time and 0.078293 second system time
The end
Begin job on nodeC013 at 2025-06-29 01:33:00
IDJOB=4494305
IDBENCH=147887
IDSOLVER=3346
FILE ID=nodeC013/4494305-1751153580
RUNJOBID= nodeC013-1751146126-15229
SLURM_JOB_ID= 9587455
Free space on /tmp= 432860 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494305-1751153580/watcher-4494305-1751153580 -o /tmp/evaluation-result-4494305-1751153580/solver-4494305-1751153580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15229 --watchdog 3760 pb_picat HOME/instance-4494305-1751153580.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83fbdc3e251a4d976326082d67e0ed53
RANDOM SEED=683786371
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.808
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.838
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 : 3601.131
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.937
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.802
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.841
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.838
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 : 3700.000
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: 123330080 kB
MemAvailable: 123053592 kB
Buffers: 3280 kB
Cached: 529792 kB
SwapCached: 0 kB
Active: 6977056 kB
Inactive: 336100 kB
Active(anon): 6793368 kB
Inactive(anon): 0 kB
Active(file): 183688 kB
Inactive(file): 336100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 199960 kB
Writeback: 0 kB
AnonPages: 6783276 kB
Mapped: 107444 kB
Shmem: 13284 kB
KReclaimable: 85524 kB
Slab: 167748 kB
SReclaimable: 85524 kB
SUnreclaim: 82224 kB
KernelStack: 4296 kB
PageTables: 16592 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 13135936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5875712 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= 432856 MiB
End job on nodeC013 at 2025-06-29 01:33:10