0.00/0.00 c solving HOME/instance-4443832-1721310217.opb (Picat 3.6#12)
12.56/12.62 s SATISFIABLE
12.56/12.62 v ~x1511 ~x362 ~x1092 ~x785 ~x1302 ~x153 ~x574 ~x1512 ~x363 ~x12
12.56/12.62 v ~x1093 ~x786 ~x1303 ~x154 ~x575 ~x1513 ~x364 ~x908 ~x1094 ~x787
12.56/12.62 v ~x1304 ~x155 ~x576 ~x1514 ~x365 ~x13 ~x1095 ~x788 ~x1305 x156
12.56/12.62 v ~x577 ~x1515 ~x366 ~x909 ~x1096 ~x789 ~x1306 ~x157 ~x578 ~x1516
12.56/12.62 v ~x367 ~x14 ~x1097 ~x790 ~x1307 ~x158 ~x579 ~x1517 ~x368 ~x910
12.56/12.62 v x1098 ~x791 ~x1308 ~x159 ~x580 ~x1518 ~x369 ~x15 ~x1099 ~x792
12.56/12.62 v ~x1309 ~x160 x581 ~x1519 ~x370 ~x911 ~x1100 ~x793 ~x1310 ~x161
12.56/12.62 v ~x582 ~x1520 ~x371 ~x17 ~x1101 ~x794 ~x1311 ~x162 ~x583 ~x1521
12.56/12.62 v ~x372 ~x912 ~x1102 ~x795 ~x1312 ~x163 ~x584 ~x1522 ~x373 ~x18
12.56/12.62 v ~x1103 ~x796 ~x1313 ~x164 ~x585 ~x1523 x374 ~x913 ~x1104 ~x797
12.56/12.62 v ~x1314 ~x165 ~x586 ~x1524 ~x375 ~x19 ~x1105 ~x798 ~x1315 ~x166
12.56/12.62 v ~x587 ~x1525 ~x376 ~x914 ~x1106 ~x799 ~x1316 ~x167 ~x588 ~x1526
12.56/12.62 v ~x377 ~x20 ~x1107 ~x800 ~x1317 ~x168 ~x589 ~x1527 ~x378 ~x915
12.56/12.62 v ~x1108 ~x801 ~x1318 ~x169 ~x590 ~x1528 ~x379 ~x22 ~x1109 ~x802
12.56/12.62 v ~x1319 ~x170 ~x591 ~x1529 ~x380 ~x916 ~x1110 x803 ~x1320 ~x171
12.56/12.62 v ~x592 ~x1530 ~x381 ~x1111 ~x804 ~x1321 ~x172 ~x593 ~x1531 ~x382
12.56/12.62 v ~x23 ~x1112 ~x805 ~x1322 ~x173 ~x594 ~x1532 ~x383 ~x917 ~x1113
12.56/12.62 v ~x806 ~x1323 ~x174 ~x595 x1533 ~x384 ~x24 ~x1114 ~x807 ~x1324
12.56/12.62 v ~x175 ~x596 ~x1534 ~x385 ~x918 ~x1115 ~x808 ~x1325 ~x176 ~x597
12.56/12.62 v ~x1535 ~x386 ~x25 ~x1116 ~x809 ~x1326 ~x177 ~x598 ~x1536 ~x387
12.56/12.62 v ~x919 ~x1117 ~x810 ~x1327 ~x178 ~x599 ~x1537 ~x388 ~x26 ~x1118
12.56/12.62 v ~x811 ~x1328 ~x179 ~x600 ~x1538 ~x389 ~x920 ~x1119 x812 ~x1329
12.56/12.62 v ~x180 ~x601 ~x1539 ~x390 ~x27 x1120 ~x813 ~x1330 x181 ~x602
12.56/12.62 v ~x1540 ~x391 ~x921 ~x1121 ~x814 ~x1331 ~x182 ~x603 ~x1541 ~x392
12.56/12.62 v ~x28 ~x1122 ~x815 ~x1332 ~x183 ~x604 ~x1542 ~x393 ~x922 ~x1123
12.56/12.62 v ~x816 ~x1333 ~x184 x605 ~x1543 ~x394 ~x30 ~x1124 ~x817 ~x1334
12.56/12.62 v ~x185 ~x606 ~x1544 ~x395 ~x923 ~x1125 ~x818 ~x1335 ~x186 ~x607
12.56/12.62 v ~x1545 ~x396 ~x924 ~x1126 ~x819 ~x1336 ~x187 ~x608 x1546 ~x397
12.56/12.62 v ~x925 ~x1127 ~x820 ~x1337 ~x188 ~x609 ~x1547 ~x398 ~x926 ~x1128
12.56/12.62 v ~x821 ~x1338 ~x189 ~x610 ~x1548 ~x399 ~x927 ~x1129 ~x822 ~x1339
12.56/12.62 v ~x190 ~x611 ~x1549 ~x400 ~x9 ~x823 ~x1340 ~x191 ~x612 ~x1550
12.56/12.62 v ~x401 ~x928 ~x824 ~x1341 ~x192 ~x613 ~x1130 ~x1551 ~x402 ~x10
12.56/12.62 v ~x825 ~x1342 ~x193 ~x614 ~x1131 ~x1552 ~x403 ~x929 ~x826 ~x1343
12.56/12.62 v ~x194 ~x615 ~x1132 x1553 ~x404 ~x930 ~x827 ~x1344 ~x195 ~x616
12.56/12.62 v ~x1133 ~x1554 ~x405 ~x931 ~x828 ~x1345 ~x196 ~x617 ~x1134 ~x1555
12.56/12.62 v ~x406 ~x932 ~x829 ~x197 ~x1346 ~x618 ~x1135 ~x1556 ~x407 ~x933
12.56/12.62 v ~x830 ~x198 x1347 ~x619 x1557 ~x1136 ~x408 ~x934 ~x831 ~x1348
12.56/12.62 v ~x199 ~x620 x1558 ~x1137 ~x409 ~x935 ~x832 ~x1349 ~x200 ~x621
12.56/12.62 v ~x1559 ~x1138 ~x410 ~x936 ~x833 ~x1350 ~x201 ~x622 ~x1139 ~x1560
12.56/12.62 v ~x411 ~x937 ~x834 ~x1351 ~x202 ~x623 ~x1140 ~x1561 ~x412 ~x938
12.56/12.62 v ~x835 ~x1352 ~x203 ~x624 ~x1141 ~x1562 ~x413 ~x836 x1353 ~x204
12.56/12.62 v ~x625 ~x1142 ~x1563 ~x414 ~x939 ~x837 ~x1354 ~x205 ~x626 ~x1143
12.56/12.62 v ~x1564 ~x415 ~x940 ~x838 ~x1355 ~x206 ~x627 ~x1144 ~x1565 x416
12.56/12.62 v ~x941 ~x839 ~x1356 ~x207 ~x628 ~x1145 ~x1566 ~x417 ~x942 ~x840
12.56/12.62 v ~x1357 ~x208 ~x629 ~x1146 ~x1567 ~x418 ~x943 ~x841 ~x1358 ~x209
12.56/12.62 v ~x630 ~x1147 ~x1568 ~x419 ~x944 ~x842 ~x1359 ~x210 ~x631 ~x1148
12.56/12.62 v ~x1569 ~x420 ~x1 ~x843 ~x1360 ~x211 ~x632 ~x1149 ~x1570 ~x421
12.56/12.62 v ~x945 ~x844 ~x1361 ~x212 ~x633 ~x1150 ~x1571 ~x422 ~x2 ~x845
12.56/12.62 v ~x1362 ~x213 x634 ~x1151 ~x1572 ~x423 ~x946 ~x846 ~x1363 ~x214
12.56/12.62 v ~x635 ~x1152 ~x1573 ~x424 ~x947 ~x847 ~x1364 ~x215 ~x636 ~x1153
12.56/12.62 v ~x1574 ~x425 ~x948 x848 ~x1365 ~x216 ~x637 ~x1154 ~x1575 ~x426
12.56/12.62 v ~x949 ~x849 ~x1366 x217 ~x638 ~x1155 ~x1576 ~x427 ~x950 ~x850
12.56/12.62 v ~x1367 ~x218 ~x639 ~x1156 ~x1577 ~x428 ~x951 ~x851 ~x1368 ~x219
12.56/12.62 v ~x640 ~x1157 ~x1578 ~x429 ~x952 ~x852 ~x1369 ~x220 ~x641 ~x1158
12.56/12.62 v ~x1579 ~x430 ~x953 ~x853 ~x1370 ~x221 ~x642 ~x1159 ~x1580 ~x431
12.56/12.62 v ~x954 ~x854 ~x1371 ~x222 ~x643 ~x1160 ~x1581 ~x432 ~x955 ~x855
12.56/12.62 v ~x1372 ~x223 ~x644 ~x1161 ~x1582 ~x433 ~x956 ~x856 ~x1373 ~x224
12.56/12.62 v ~x645 ~x1162 ~x1583 ~x434 x16 ~x857 ~x1374 ~x225 ~x646 ~x1163
12.56/12.62 v ~x1584 ~x435 ~x957 ~x858 ~x1375 ~x226 ~x647 ~x1164 ~x1585 ~x436
12.56/12.62 v ~x958 ~x859 ~x1376 ~x227 ~x648 ~x1165 ~x1586 ~x437 ~x959 ~x860
12.56/12.62 v ~x1377 ~x228 ~x649 ~x1166 ~x1587 x438 ~x960 ~x861 ~x1378 ~x229
12.56/12.62 v ~x650 ~x1167 ~x1588 ~x439 ~x961 ~x862 ~x1379 ~x230 ~x651 ~x1168
12.56/12.62 v ~x1589 ~x440 ~x21 ~x863 ~x1380 ~x231 ~x652 ~x1169 ~x1590 ~x441
12.56/12.62 v ~x962 ~x864 x1381 ~x232 ~x653 ~x1170 ~x1591 ~x442 ~x963 ~x865
12.56/12.62 v ~x1382 ~x233 ~x654 ~x1171 ~x1592 ~x443 ~x964 ~x866 ~x1383 ~x234
12.56/12.62 v ~x655 ~x1172 ~x1593 ~x444 ~x965 ~x867 ~x1384 ~x235 ~x656 ~x1173
12.56/12.62 v ~x1594 ~x445 ~x966 ~x868 ~x1385 ~x236 ~x657 ~x1174 ~x1595 ~x446
12.56/12.62 v ~x967 ~x869 ~x1386 ~x237 ~x658 ~x1175 ~x1596 ~x447 ~x968 ~x870
12.56/12.62 v ~x1387 ~x238 ~x659 ~x1176 ~x1597 ~x448 ~x969 ~x871 ~x1388 ~x239
12.56/12.62 v ~x660 ~x1177 ~x1598 ~x449 ~x29 ~x872 ~x1389 ~x240 ~x661 ~x1178
12.56/12.62 v ~x1599 ~x450 ~x970 ~x873 x1390 ~x241 ~x662 ~x1179 ~x1600 ~x451
12.56/12.62 v ~x971 ~x874 ~x1391 ~x242 ~x663 ~x1180 ~x31 ~x452 ~x972 ~x875
12.56/12.62 v ~x1392 x243 ~x664 ~x1181 ~x32 ~x453 ~x973 ~x876 ~x1393 ~x244
12.56/12.62 v ~x665 ~x1182 ~x33 ~x454 ~x974 ~x877 ~x245 ~x666 ~x1183 ~x34
12.56/12.62 v ~x455 ~x975 ~x878 ~x246 ~x667 ~x1184 ~x35 ~x456 ~x1394 ~x976
12.56/12.62 v ~x879 ~x247 ~x668 ~x1185 ~x36 ~x457 ~x1395 ~x977 ~x880 ~x248
12.56/12.62 v ~x669 ~x1186 ~x37 ~x458 ~x1396 ~x978 ~x881 ~x249 ~x670 ~x1187
12.56/12.62 v ~x38 ~x459 ~x1397 ~x979 ~x882 ~x250 ~x671 ~x1188 ~x39 ~x460
12.56/12.62 v ~x1398 ~x980 ~x883 ~x251 ~x672 ~x1189 ~x40 ~x461 ~x1399 ~x981
12.56/12.62 v ~x884 ~x252 ~x673 ~x1190 ~x41 ~x462 ~x1400 ~x982 ~x885 ~x253
12.56/12.62 v ~x674 ~x1191 ~x42 ~x463 ~x1401 ~x983 ~x886 ~x254 ~x675 ~x1192
12.56/12.62 v ~x43 ~x464 ~x1402 x984 ~x887 ~x255 ~x676 ~x1193 ~x44 ~x465
12.56/12.62 v ~x1403 ~x985 ~x888 ~x256 ~x677 ~x1194 ~x45 ~x466 ~x1404 ~x986
12.56/12.62 v ~x889 ~x257 ~x678 ~x1195 ~x46 ~x467 ~x1405 ~x987 ~x890 ~x258
12.56/12.62 v ~x679 ~x1196 ~x47 ~x468 ~x1406 ~x988 ~x891 ~x259 ~x680 ~x1197
12.56/12.62 v ~x48 ~x469 ~x1407 ~x989 ~x892 ~x260 ~x681 ~x1198 ~x49 ~x470
12.56/12.62 v x1408 ~x990 ~x893 ~x261 x682 ~x1199 ~x50 x471 ~x1409 ~x991
12.56/12.62 v ~x894 ~x262 ~x683 ~x1200 ~x51 ~x472 ~x1410 ~x992 ~x895 ~x263
12.56/12.62 v ~x684 ~x1201 ~x52 ~x473 ~x1411 ~x993 ~x896 ~x264 ~x685 ~x1202
12.56/12.62 v ~x53 ~x474 ~x1412 ~x994 ~x897 ~x265 ~x686 ~x1203 x54 ~x475
12.56/12.62 v ~x1413 ~x995 ~x898 ~x266 ~x687 ~x1204 ~x55 ~x476 ~x1414 ~x996
12.56/12.62 v ~x899 ~x267 ~x688 ~x1205 ~x56 ~x477 ~x1415 ~x997 x900 ~x268
12.56/12.62 v ~x689 ~x1206 ~x57 ~x478 ~x1416 ~x998 ~x269 ~x690 ~x1207 ~x58
12.56/12.62 v ~x479 ~x1417 ~x999 ~x270 ~x691 ~x1208 ~x59 ~x480 ~x1418 ~x271
12.56/12.62 v ~x692 ~x1209 ~x60 ~x481 ~x1419 ~x1000 ~x272 ~x693 ~x1210 ~x61
12.56/12.62 v ~x482 ~x1420 ~x1001 ~x273 ~x694 ~x1211 ~x62 ~x483 ~x1421 ~x1002
12.56/12.62 v ~x274 ~x695 ~x1212 ~x63 ~x484 ~x1422 ~x1003 ~x275 ~x696 ~x1213
12.56/12.62 v ~x64 ~x485 ~x1423 ~x1004 ~x276 ~x697 ~x1214 ~x65 ~x486 ~x1424
12.56/12.62 v ~x1005 ~x277 ~x698 ~x1215 ~x66 ~x487 ~x1425 ~x1006 ~x278 ~x699
12.56/12.62 v ~x1216 ~x67 ~x488 ~x1426 ~x1007 ~x279 ~x700 ~x1217 ~x68 ~x489
12.56/12.62 v ~x1427 ~x1008 ~x280 ~x701 ~x1218 ~x69 ~x490 ~x1428 ~x1009 ~x281
12.56/12.62 v ~x702 ~x1219 ~x70 ~x491 ~x1429 ~x1010 ~x282 ~x703 ~x1220 ~x71
12.56/12.62 v ~x492 ~x1430 ~x1011 ~x283 ~x704 ~x1221 ~x72 ~x493 ~x1431 ~x1012
12.56/12.62 v ~x284 ~x705 ~x1222 ~x73 ~x494 ~x1432 ~x1013 ~x285 ~x706 ~x1223
12.56/12.62 v ~x74 ~x495 ~x1433 ~x1014 ~x286 ~x707 ~x1224 ~x75 ~x496 ~x1434
12.56/12.62 v ~x1015 ~x287 ~x708 ~x1225 ~x76 ~x497 ~x1435 x1016 ~x288 ~x709
12.56/12.62 v ~x1226 ~x77 ~x498 ~x1436 ~x1017 ~x289 ~x710 ~x1227 ~x78 x499
12.56/12.62 v ~x1437 ~x1018 x290 ~x711 ~x1228 ~x79 ~x500 ~x1438 ~x1019 ~x291
12.56/12.62 v ~x712 ~x1229 ~x80 ~x501 ~x1439 ~x1020 ~x292 ~x713 ~x1230 ~x81
12.56/12.62 v ~x502 ~x1440 ~x1021 ~x293 ~x714 ~x1231 ~x82 ~x503 ~x1441 ~x1022
12.56/12.62 v ~x294 ~x715 ~x1232 ~x83 ~x504 ~x1442 x1023 ~x295 ~x716 ~x1233
12.56/12.62 v ~x84 ~x505 ~x1443 ~x1024 ~x296 x717 ~x1234 x85 ~x506 ~x1444
12.56/12.62 v ~x1025 ~x297 ~x718 ~x1235 ~x86 ~x507 ~x1445 ~x1026 ~x298 ~x719
12.56/12.62 v ~x1236 ~x87 ~x508 ~x1446 ~x1027 ~x299 ~x720 ~x1237 ~x88 ~x509
12.56/12.62 v x1447 ~x1028 ~x300 ~x721 ~x1238 ~x89 ~x510 ~x1448 x1029 ~x301
12.56/12.62 v ~x722 ~x1239 ~x90 ~x511 ~x1449 ~x302 ~x1030 ~x723 ~x1240 ~x91
12.56/12.62 v ~x512 ~x1450 ~x303 ~x1031 ~x724 ~x92 ~x1241 ~x513 ~x1451 ~x304
12.56/12.62 v ~x1032 ~x725 ~x93 ~x1242 ~x514 ~x1452 ~x305 ~x1033 ~x726 ~x1243
12.56/12.62 v ~x94 ~x515 ~x1453 ~x306 ~x1034 ~x727 ~x1244 ~x95 ~x516 ~x1454
12.56/12.62 v ~x1035 ~x307 ~x728 ~x1245 ~x96 ~x517 x1455 ~x1036 ~x308 ~x729
12.56/12.62 v ~x1246 ~x97 ~x518 x1456 ~x1037 ~x309 ~x730 ~x1247 ~x98 ~x519
12.56/12.62 v x1457 ~x1038 ~x310 ~x731 ~x1248 ~x99 x520 ~x1458 ~x1039 ~x311
12.56/12.62 v ~x732 ~x1249 ~x100 ~x521 ~x1459 ~x1040 ~x312 x733 ~x1250 ~x101
12.56/12.62 v ~x522 ~x1460 ~x1041 ~x313 ~x734 ~x1251 ~x102 ~x523 x1461 ~x1042
12.56/12.62 v ~x314 ~x735 ~x1252 ~x103 ~x524 ~x1462 ~x1043 ~x315 ~x736 ~x1253
12.56/12.62 v ~x104 ~x525 ~x1463 ~x1044 ~x316 ~x737 x1254 ~x105 ~x526 ~x1464
12.56/12.62 v ~x1045 ~x317 ~x738 ~x1255 ~x106 ~x527 ~x1465 ~x1046 ~x318 ~x739
12.56/12.62 v ~x1256 ~x107 ~x528 ~x1466 ~x1047 ~x319 ~x740 x1257 ~x108 ~x529
12.56/12.62 v ~x1467 ~x1048 ~x320 ~x741 ~x1258 ~x109 ~x530 ~x1468 ~x1049 ~x321
12.56/12.62 v ~x742 ~x1259 ~x110 ~x531 ~x1469 ~x1050 ~x322 ~x743 ~x1260 ~x111
12.56/12.62 v ~x532 ~x1470 ~x1051 ~x323 ~x744 ~x1261 ~x112 ~x533 ~x1471 ~x1052
12.56/12.62 v ~x324 ~x745 ~x1262 ~x113 ~x534 ~x1472 ~x1053 ~x325 ~x746 ~x1263
12.56/12.62 v ~x114 ~x535 ~x1473 ~x1054 ~x326 ~x747 x1264 ~x115 ~x536 ~x1474
12.56/12.62 v ~x1055 ~x327 ~x748 x1265 ~x116 ~x537 ~x1475 ~x1056 x328 ~x749
12.56/12.62 v ~x1266 ~x117 ~x538 ~x1476 ~x1057 ~x329 ~x750 ~x1267 ~x118 ~x539
12.56/12.62 v ~x1477 ~x1058 ~x330 ~x751 ~x1268 x119 ~x540 ~x1478 ~x1059 ~x331
12.56/12.62 v ~x752 ~x1269 ~x120 ~x541 ~x1479 ~x1060 ~x332 ~x753 ~x1270 ~x121
12.56/12.62 v ~x542 x1480 ~x1061 ~x333 ~x754 ~x1271 ~x122 ~x543 ~x1481 ~x1062
12.56/12.62 v ~x334 ~x755 ~x1272 ~x123 ~x544 ~x1482 ~x1063 ~x335 ~x756 ~x1273
12.56/12.62 v ~x124 ~x545 ~x1483 ~x1064 ~x336 ~x757 ~x1274 ~x125 ~x546 ~x1484
12.56/12.62 v ~x1065 ~x337 ~x758 ~x1275 ~x126 ~x547 ~x1485 ~x1066 ~x338 ~x759
12.56/12.62 v ~x1276 ~x127 ~x548 ~x1486 ~x1067 ~x339 ~x760 ~x1277 ~x128 ~x549
12.56/12.62 v ~x1487 ~x1068 ~x340 ~x761 ~x1278 x129 ~x550 ~x1488 ~x1069 ~x341
12.56/12.62 v x762 ~x1279 ~x130 ~x551 x1489 ~x1070 ~x342 ~x763 ~x1280 ~x131
12.56/12.62 v ~x552 ~x1490 ~x1071 ~x343 ~x764 ~x1281 ~x132 ~x553 ~x1491 ~x1072
12.56/12.62 v ~x344 ~x765 ~x1282 ~x133 ~x554 ~x1492 ~x1073 x345 ~x766 ~x1283
12.56/12.62 v ~x134 ~x555 ~x1493 ~x1074 ~x346 ~x767 ~x1284 ~x135 ~x556 ~x1494
12.56/12.62 v ~x1075 ~x347 ~x768 ~x1285 ~x136 x557 ~x1495 ~x1076 ~x348 ~x769
12.56/12.62 v ~x3 ~x1286 ~x137 ~x558 ~x1496 ~x1077 ~x349 ~x770 ~x901 ~x1287
12.56/12.62 v ~x138 ~x559 ~x1497 ~x1078 ~x350 ~x771 ~x1288 ~x139 ~x560 ~x1498
12.56/12.62 v ~x1079 ~x351 ~x772 ~x1289 ~x140 ~x561 ~x1499 ~x4 ~x1080 ~x773
12.56/12.62 v ~x1290 ~x141 ~x562 ~x1500 ~x902 ~x1081 ~x774 ~x1291 ~x142 ~x563
12.56/12.62 v ~x1501 ~x352 ~x5 ~x1082 ~x775 ~x1292 ~x143 ~x564 ~x1502 ~x353
12.56/12.62 v ~x903 ~x1083 ~x776 ~x1293 ~x144 ~x565 ~x1503 ~x354 ~x6 ~x1084
12.56/12.62 v ~x777 ~x1294 ~x145 ~x566 ~x1504 ~x355 ~x904 ~x1085 ~x778 ~x1295
12.56/12.62 v ~x146 ~x567 ~x1505 ~x356 ~x7 ~x1086 ~x779 ~x1296 ~x147 ~x568
12.56/12.62 v ~x1506 ~x357 ~x905 x1087 ~x780 ~x1297 ~x148 ~x569 ~x1507 ~x358
12.56/12.62 v ~x8 ~x1088 ~x781 ~x1298 ~x149 ~x570 ~x1508 ~x359 ~x906 x1089
12.56/12.62 v ~x782 ~x1299 ~x150 ~x571 ~x1509 ~x360 ~x11 ~x1090 ~x783 ~x1300
12.56/12.62 v ~x151 ~x572 ~x1510 ~x361 ~x907 ~x1091 ~x784 ~x1301 ~x152 ~x573
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: 63931 MiB (58256 MiB free)
memory of node 1: 64510 MiB (56523 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443832-1721310217/watcher-4443832-1721310217 -o /tmp/evaluation-result-4443832-1721310217/solver-4443832-1721310217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4443832-1721310217.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=987857, runsolver pid=987854
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.12 4.13 4.09 5/259 987858
/proc/meminfo: memFree=117502648/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=35232 CPUtime=0.09 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 792 0 0 0 9 0 0 0 20 0 1 0 183187066 2082414592 8808 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 8808 1525 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 35232 KiB
[startup+0.205771 s]*
/proc/loadavg: 4.12 4.13 4.09 5/259 987858
/proc/meminfo: memFree=117484028/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=55712 CPUtime=0.2 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 802 0 0 0 20 0 0 0 20 0 1 0 183187066 2082414592 13928 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 13928 1525 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55712 KiB
[startup+0.305654 s]*
/proc/loadavg: 4.12 4.13 4.09 5/259 987858
/proc/meminfo: memFree=117465400/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=72096 CPUtime=0.3 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 810 0 0 0 29 1 0 0 20 0 1 0 183187066 2082414592 18024 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 18024 1525 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 72096 KiB
[startup+0.700224 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 987858
/proc/meminfo: memFree=117428312/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=141728 CPUtime=0.69 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 845 0 0 0 67 2 0 0 20 0 1 0 183187066 2082414592 35432 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 35432 1525 439 0 503831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 141728 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987858
/proc/meminfo: memFree=117329128/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=285096 CPUtime=1.48 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 916 0 0 0 144 4 0 0 20 0 1 0 183187066 2082414592 71274 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 71274 1525 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 285096 KiB
[startup+3.10577 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=117953540/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2033608 memory=600744 CPUtime=3.08 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 1716 0 0 0 297 11 0 0 20 0 1 0 183187066 2082414592 150186 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 508402 150186 1573 439 0 503831 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 600744 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=116871668/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2835136 memory=1101124 CPUtime=6.27 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 10453 0 0 0 597 30 0 0 20 0 1 0 183187066 2903179264 275281 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 708784 275281 1746 439 0 704213 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2835136 KiB
Current children cumulated memory: 1101124 KiB
[startup+12.631 s]
# the end of solver process 987857 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=12.2009 s, system=0.399106 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40024 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987904
/proc/meminfo: memFree=116871668/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2835136 memory=1101124 CPUtime=6.38 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 10453 0 0 0 607 31 0 0 20 0 1 0 183187066 2903179264 275281 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 708784 275281 1746 439 0 704213 0
Current children cumulated CPU time: 6.38 s
Current children cumulated vsize: 2835136 KiB
Current children cumulated memory: 1101124 KiB
[startup+9.60021 s]
/proc/loadavg: 4.11 4.13 4.09 5/259 987905
/proc/meminfo: memFree=116803396/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2840516 memory=1111968 CPUtime=9.56 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 13656 0 0 0 919 37 0 0 20 0 1 0 183187066 2908688384 277992 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 710129 277992 1777 439 0 705558 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2840516 KiB
Current children cumulated memory: 1111968 KiB
[startup+11.2002 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 987905
/proc/meminfo: memFree=117287632/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2841784 memory=1110280 CPUtime=11.17 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 16333 0 0 0 1078 39 0 0 20 0 1 0 183187066 2909986816 277570 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 710446 277570 1777 439 0 705875 0
Current children cumulated CPU time: 11.17 s
Current children cumulated vsize: 2841784 KiB
Current children cumulated memory: 1110280 KiB
[startup+12.0002 s]*
/proc/loadavg: 4.10 4.13 4.09 5/259 987905
/proc/meminfo: memFree=117072176/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2841784 memory=1114376 CPUtime=11.97 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 16335 0 0 0 1158 39 0 0 20 0 1 0 183187066 2909986816 278594 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 710446 278594 1777 439 0 705875 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 2841784 KiB
Current children cumulated memory: 1114376 KiB
[startup+12.4002 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 987905
/proc/meminfo: memFree=117072176/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2841784 memory=1116424 CPUtime=12.36 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 16336 0 0 0 1197 39 0 0 20 0 1 0 183187066 2909986816 279106 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 710446 279106 1777 439 0 705875 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 2841784 KiB
Current children cumulated memory: 1116424 KiB
[startup+12.6002 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 987905
/proc/meminfo: memFree=117072176/131524600 swapFree=131071996/131071996
[pid=987857] ppid=987854 vsize=2841784 memory=1116424 CPUtime=12.56 cores=4,6
/proc/987857/stat : 987857 (pb_picat) R 987854 987857 984416 0 -1 4194304 16336 0 0 0 1217 39 0 0 20 0 1 0 183187066 2909986816 279106 134679101440 4194304 5989780 140729582169520 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 19279872 140729582175256 140729582175332 140729582175332 140729582182348 0
/proc/987857/statm: 710446 279106 1777 439 0 705875 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 2841784 KiB
Current children cumulated memory: 1116424 KiB
Child status: 0
Real time (s): 12.631
CPU time (s): 12.6
CPU user time (s): 12.2009
CPU system time (s): 0.399106
CPU usage (%): 99.7542
Max. virtual memory (cumulated for all children) (KiB): 2921580
Max. memory (cumulated for all children) (KiB): 1144972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2009
system time used= 0.399106
maximum resident set size= 1144972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16347
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= 4
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 987857
# total CPU time (s): 12.6
# total CPU user time (s): 12.2009
# total CPU system time (s): 0.399106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032029 second user time and 0.089756 second system time
The end
Begin job on nodeC025 at 2024-07-18 15:43:50
IDJOB=4443832
IDBENCH=147887
IDSOLVER=3068
FILE ID=nodeC025/4443832-1721310217
RUNJOBID= nodeC025-1721306176-984427
SLURM_JOB_ID= 7542640
Free space on /tmp= 889996 MiB
SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443832-1721310217/watcher-4443832-1721310217 -o /tmp/evaluation-result-4443832-1721310217/solver-4443832-1721310217 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721306176-984427 --watchdog 3760 pb_picat HOME/instance-4443832-1721310217.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83fbdc3e251a4d976326082d67e0ed53
RANDOM SEED=361023814
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3668.394
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3694.079
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.345
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3600.191
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3647.342
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3694.136
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3671.837
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3599.971
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117536428 kB
MemAvailable: 123553940 kB
Buffers: 513152 kB
Cached: 6267020 kB
SwapCached: 0 kB
Active: 1066692 kB
Inactive: 12138648 kB
Active(anon): 1552 kB
Inactive(anon): 6460720 kB
Active(file): 1065140 kB
Inactive(file): 5677928 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14584 kB
Writeback: 0 kB
AnonPages: 6419156 kB
Mapped: 115504 kB
Shmem: 37720 kB
KReclaimable: 228180 kB
Slab: 355648 kB
SReclaimable: 228180 kB
SUnreclaim: 127468 kB
KernelStack: 4224 kB
PageTables: 22048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14265812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4184064 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC025 at 2024-07-18 15:44:02