0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4441938-1721294067.opb
181.49/182.06 s SATISFIABLE
181.49/182.06 c _____________________________________________________________________________
181.49/182.06 c std/band forms : 1026,0
181.49/182.06 c 2cl/3cl ITE-codings : 6642,0
181.49/182.06 c BDD/srt/adr Max costs : 155,96,0
181.49/182.06 c BDDraw/bin/mul/srt/adr: 18,0,60,948,0
181.49/182.06 c BDD nodes : 9594
181.49/182.06 c Es1/CC detections : 0,0
181.49/182.06 c CC sort : 948
181.49/182.06 c SAT/UNSAT calls : 1,0
181.49/182.06 c regenrated variables : 0
181.49/182.06 c eliminated fixed lits : 0
181.49/182.06 c goal lit flips : 0
181.49/182.06 c goal stages : 0
181.49/182.06 c goal shrink : 0
181.49/182.06 c goal coeff separations: 0
181.49/182.06 c restarts : 19447
181.49/182.06 c conflicts : 3085754 (17026 /sec)
181.49/182.06 c decisions : 9672319 (53369 /sec)
181.49/182.06 c propagations : 300254178 (1656708 /sec)
181.49/182.06 c inspects : 0 (0 /sec)
181.49/182.06 c CPU time (solving tm) : 181.2 s (181 s, SAT 181 s, UNSAT 0 s)
181.49/182.06 c Time for Opt-base : 0.006387 s
181.49/182.06 c Steps for Opt-base : 10440
181.49/182.06 c Time for BDD coding : 0.02926 s
181.49/182.06 c Time for srt coding : 0.005642 s
181.49/182.06 c _____________________________________________________________________________
181.49/182.06 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
181.49/182.06 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 -x3702 -x3703 -x3704 x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 x3998 -x3999
181.49/182.06 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030 x4031 -x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 x4041 -x4042 -x4043 -x4044 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 -x4146 -x4147 -x4148 -x4149 -x4150 x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 x4222 -x4223 -x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 x4300 -x4301 -x4302 -x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 -x4579 x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644
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 (60450 MiB free)
memory of node 1: 64510 MiB (62408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441938-1721294067/watcher-4441938-1721294067 -o /tmp/evaluation-result-4441938-1721294067/solver-4441938-1721294067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721293767-949455 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4441938-1721294067.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=950289, runsolver pid=950286
Current StackSize limit: 8192 KiB
[startup+0.100847 s]*
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125802760/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=11408 memory=5440 CPUtime=0.09 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 1018 0 0 0 9 0 0 0 20 0 1 0 181566934 11681792 1360 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 2852 1360 436 659 0 2056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21340 KiB
Current children cumulated memory: 8104 KiB
[startup+0.205717 s]*
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125801064/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=12732 memory=6900 CPUtime=0.19 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 1408 0 0 0 19 0 0 0 20 0 1 0 181566934 13037568 1725 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 3183 1725 436 659 0 2387 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22664 KiB
Current children cumulated memory: 9564 KiB
[startup+0.305837 s]*
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125786388/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=26752 memory=22604 CPUtime=0.29 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 5093 0 0 0 29 0 0 0 20 0 1 0 181566934 27394048 5651 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 6688 5651 468 659 0 5892 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36684 KiB
Current children cumulated memory: 25268 KiB
[startup+0.70028 s]
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125780684/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=28688 memory=25132 CPUtime=0.68 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 7311 0 0 0 67 1 0 0 20 0 1 0 181566934 29376512 6283 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 7172 6283 468 659 0 6376 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38620 KiB
Current children cumulated memory: 27796 KiB
[startup+1.50029 s]
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125772072/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=36004 memory=33092 CPUtime=1.48 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 8415 0 0 0 147 1 0 0 20 0 1 0 181566934 36868096 8273 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 9001 8273 468 659 0 8205 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45936 KiB
Current children cumulated memory: 35756 KiB
[startup+3.10559 s]
/proc/loadavg: 4.27 3.58 2.87 5/262 950294
/proc/meminfo: memFree=125752512/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=47492 memory=44344 CPUtime=3.07 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 8737 0 0 0 306 1 0 0 20 0 1 0 181566934 48631808 11086 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 11873 11086 468 659 0 11077 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57424 KiB
Current children cumulated memory: 47008 KiB
[startup+6.30027 s]
/proc/loadavg: 4.24 3.58 2.88 5/262 950295
/proc/meminfo: memFree=125788632/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=66224 memory=60792 CPUtime=6.27 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 9755 0 0 0 625 2 0 0 20 0 1 0 181566934 67813376 15198 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 16556 15198 468 659 0 15760 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76156 KiB
Current children cumulated memory: 63456 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 3.59 2.89 5/262 950295
/proc/meminfo: memFree=125726904/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=89500 memory=80652 CPUtime=12.65 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 11192 0 0 0 1261 4 0 0 20 0 1 0 181566934 91648000 20163 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 22375 20163 468 659 0 21579 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99432 KiB
Current children cumulated memory: 83316 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 3.61 2.91 5/262 950299
/proc/meminfo: memFree=125702020/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=102736 memory=99824 CPUtime=25.42 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 13153 0 0 0 2536 6 0 0 20 0 1 0 181566934 105201664 24956 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 25684 24956 468 659 0 24888 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 112668 KiB
Current children cumulated memory: 102488 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 3.66 2.94 5/261 950303
/proc/meminfo: memFree=125694092/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=114656 memory=111744 CPUtime=50.95 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 16172 0 0 0 5085 10 0 0 20 0 1 0 181566934 117407744 27936 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 28664 27936 468 659 0 27868 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 124588 KiB
Current children cumulated memory: 114408 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.73 3.00 5/261 950313
/proc/meminfo: memFree=125639952/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=165548 memory=155872 CPUtime=102.01 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 22099 0 0 0 10182 19 0 0 20 0 1 0 181566934 169521152 38968 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 41387 38968 468 659 0 40591 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 175480 KiB
Current children cumulated memory: 158536 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.80 3.07 5/259 950323
/proc/meminfo: memFree=125613108/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=195976 memory=176040 CPUtime=161.85 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 29165 0 0 0 16155 30 0 0 20 0 1 0 181566934 200679424 44010 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 48994 44010 468 659 0 48198 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 205908 KiB
Current children cumulated memory: 178704 KiB
[startup+182.067 s]
# the end of solver process 950289 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=181.237 s, system=0.335205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.09 3.80 3.08 5/259 950325
/proc/meminfo: memFree=125558976/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=195976 memory=188328 CPUtime=165.94 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 29171 0 0 0 16564 30 0 0 20 0 1 0 181566934 200679424 47082 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 48994 47082 468 659 0 48198 0
Current children cumulated CPU time: 165.94 s
Current children cumulated vsize: 205908 KiB
Current children cumulated memory: 190992 KiB
[startup+172.8 s]
/proc/loadavg: 4.16 3.82 3.09 5/259 950325
/proc/meminfo: memFree=125523684/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=226796 memory=213068 CPUtime=172.32 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 29762 0 0 0 17201 31 0 0 20 0 1 0 181566934 232239104 53267 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 56699 53267 468 659 0 55903 0
Current children cumulated CPU time: 172.32 s
Current children cumulated vsize: 236728 KiB
Current children cumulated memory: 215732 KiB
[startup+176 s]*
/proc/loadavg: 4.15 3.82 3.10 5/259 950326
/proc/meminfo: memFree=125630432/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=146656 memory=143740 CPUtime=175.51 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 29764 0 0 0 17520 31 0 0 20 0 1 0 181566934 150175744 35935 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 36664 35935 468 659 0 35868 0
Current children cumulated CPU time: 175.51 s
Current children cumulated vsize: 156588 KiB
Current children cumulated memory: 146404 KiB
[startup+179.2 s]
/proc/loadavg: 4.13 3.83 3.10 5/259 950326
/proc/meminfo: memFree=125573576/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=195976 memory=192424 CPUtime=178.7 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 30182 0 0 0 17838 32 0 0 20 0 1 0 181566934 200679424 48106 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 48994 48106 468 659 0 48198 0
Current children cumulated CPU time: 178.7 s
Current children cumulated vsize: 205908 KiB
Current children cumulated memory: 195088 KiB
[startup+180.8 s]
/proc/loadavg: 4.13 3.83 3.10 5/259 950326
/proc/meminfo: memFree=125564960/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=226796 memory=198732 CPUtime=180.29 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 30763 0 0 0 17997 32 0 0 20 0 1 0 181566934 232239104 49683 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 56699 49683 468 659 0 55903 0
Current children cumulated CPU time: 180.29 s
Current children cumulated vsize: 236728 KiB
Current children cumulated memory: 201396 KiB
[startup+181.6 s]
/proc/loadavg: 4.13 3.83 3.10 5/259 950327
/proc/meminfo: memFree=125558716/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=226796 memory=200780 CPUtime=181.09 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 30764 0 0 0 18077 32 0 0 20 0 1 0 181566934 232239104 50195 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 56699 50195 468 659 0 55903 0
Current children cumulated CPU time: 181.09 s
Current children cumulated vsize: 236728 KiB
Current children cumulated memory: 203444 KiB
[startup+182 s]*
/proc/loadavg: 4.13 3.83 3.10 5/259 950327
/proc/meminfo: memFree=125552628/131524600 swapFree=131071996/131071996
[pid=950289] ppid=950286 vsize=9932 memory=2664 CPUtime=0 cores=1,3
/proc/950289/stat : 950289 (naps-1.03.sh) S 950286 950289 949443 0 -1 4194304 220 241 0 0 0 0 0 0 20 0 1 0 181566934 10170368 666 134679101440 94643090681856 94643091761176 140720613358512 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94643093859632 94643093906820 94643098382336 140720613364703 140720613364832 140720613364832 140720613371848 0
/proc/950289/statm: 2483 666 587 264 0 134 0
[pid=950294] ppid=950289 vsize=226796 memory=202828 CPUtime=181.49 cores=1,3
/proc/950294/stat : 950294 (naps-1.03) R 950289 950289 949443 0 -1 4194304 30765 0 0 0 18117 32 0 0 20 0 1 0 181566934 232239104 50707 134679101440 4194304 6891213 140730457022784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 23674880 140730457031664 140730457031780 140730457031780 140730457038795 0
/proc/950294/statm: 56699 50707 468 659 0 55903 0
Current children cumulated CPU time: 181.49 s
Current children cumulated vsize: 236728 KiB
Current children cumulated memory: 205492 KiB
Child status: 10
Real time (s): 182.067
CPU time (s): 181.573
CPU user time (s): 181.237
CPU system time (s): 0.335205
CPU usage (%): 99.7283
Max. virtual memory (cumulated for all children) (KiB): 236728
Max. memory (cumulated for all children) (KiB): 219828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.237
system time used= 0.335205
maximum resident set size= 217164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31241
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= 12
involuntary context switches= 223
# summary of solver processes directly reported to runsolver:
# pid: 950289
# total CPU time (s): 181.573
# total CPU user time (s): 181.237
# total CPU system time (s): 0.335205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.397644 second user time and 0.912144 second system time
The end
Begin job on nodeC015 at 2024-07-18 11:14:39
IDJOB=4441938
IDBENCH=147757
IDSOLVER=3062
FILE ID=nodeC015/4441938-1721294067
RUNJOBID= nodeC015-1721293767-949455
SLURM_JOB_ID= 7542599
Free space on /tmp= 890040 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441938-1721294067/watcher-4441938-1721294067 -o /tmp/evaluation-result-4441938-1721294067/solver-4441938-1721294067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721293767-949455 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4441938-1721294067.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b71388011e4b80d0b0325c4a241ada38
RANDOM SEED=735594371
nodeC015.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 : 3652.164
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.61
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 : 3651.871
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 : 7006.25
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.976
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.61
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 : 3664.965
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 : 7006.25
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 : 3652.198
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.61
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 : 3663.150
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 : 7006.25
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.908
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.61
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 : 3632.603
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125807404 kB
MemAvailable: 126793660 kB
Buffers: 477712 kB
Cached: 1336248 kB
SwapCached: 0 kB
Active: 1601152 kB
Inactive: 3477648 kB
Active(anon): 1612 kB
Inactive(anon): 3300940 kB
Active(file): 1599540 kB
Inactive(file): 176708 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6228 kB
Writeback: 0 kB
AnonPages: 3262452 kB
Mapped: 111588 kB
Shmem: 37720 kB
KReclaimable: 99308 kB
Slab: 212564 kB
SReclaimable: 99308 kB
SUnreclaim: 113256 kB
KernelStack: 4256 kB
PageTables: 15736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4007080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1665024 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC015 at 2024-07-18 11:17:42