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