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