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