0.00/0.02	c numVar: 4676
0.00/0.02	c numCon: 509
0.00/0.02	c numEqual: 0
0.00/0.02	c intSize: 13
0.00/0.02	o 121
0.00/0.02	o 120
0.00/0.02	o 119
0.00/0.02	o 118
0.00/0.02	o 117
0.00/0.02	o 116
0.00/0.02	o 115
0.00/0.02	o 114
0.00/0.02	o 113
0.00/0.02	o 112
0.00/0.02	o 104
0.00/0.02	o 83
0.00/0.02	o 81
0.00/0.02	o 78
0.00/0.02	o 69
0.00/0.02	o 68
0.00/0.02	o 67
0.00/0.02	o 66
0.00/0.03	o 65
0.00/0.05	o 64
0.00/0.05	o 63
3599.93/3607.56	s SATISFIABLE
3599.93/3607.56	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 -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 -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 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 

OK	63

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 (61836 MiB free)
  memory of node 1: 64510 MiB (63343 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430184-1721082949/watcher-4430184-1721082949 -o /tmp/evaluation-result-4430184-1721082949/solver-4430184-1721082949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721079353-826769 --watchdog 3760 ./DLS-PBO --benchName=HOME/instance-4430184-1721082949.opb --time_limit=3600 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=829402, runsolver pid=829398

[startup+0.100881 s]*
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128174304/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=0.09 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 6 3 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+0.205369 s]*
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128174008/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=0.2 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 13 7 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+0.304238 s]*
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128173704/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=0.3 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 20 10 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+0.700139 s]
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128173432/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=0.68 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 43 25 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+1.50013 s]
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128173328/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=1.49 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 92 57 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+3.10436 s]
/proc/loadavg: 4.18 4.14 4.14 5/256 829409
/proc/meminfo: memFree=128173364/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=3.08 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 189 119 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+6.30011 s]
/proc/loadavg: 4.25 4.16 4.14 5/256 829409
/proc/meminfo: memFree=128173368/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=6.28 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 385 243 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+12.7001 s]
/proc/loadavg: 4.23 4.15 4.14 5/256 829411
/proc/meminfo: memFree=128172964/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12260 CPUtime=12.66 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2318 0 0 0 763 503 0 0 20 0 1 0 160463184 24113152 3065 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3065 882 29 0 2261 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12260 KiB

[startup+25.5001 s]
/proc/loadavg: 4.26 4.16 4.14 5/256 829413
/proc/meminfo: memFree=128172436/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12364 CPUtime=25.43 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2330 0 0 0 1509 1034 0 0 20 0 1 0 160463184 24113152 3091 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3091 882 29 0 2261 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12364 KiB

[startup+51.1046 s]
/proc/loadavg: 4.23 4.16 4.14 5/256 829418
/proc/meminfo: memFree=128171844/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12364 CPUtime=50.98 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2342 0 0 0 3052 2046 0 0 20 0 1 0 160463184 24113152 3091 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3091 882 29 0 2261 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12364 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/256 829428
/proc/meminfo: memFree=128171056/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12364 CPUtime=102.07 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2351 0 0 0 6345 3862 0 0 20 0 1 0 160463184 24113152 3091 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3091 882 29 0 2261 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12364 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/256 829438
/proc/meminfo: memFree=128170384/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12364 CPUtime=161.94 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2357 0 0 0 10261 5933 0 0 20 0 1 0 160463184 24113152 3091 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3091 882 29 0 2261 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12364 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/256 829449
/proc/meminfo: memFree=128169064/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12364 CPUtime=221.81 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2363 0 0 0 14135 8046 0 0 20 0 1 0 160463184 24113152 3091 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3091 882 29 0 2261 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12364 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/258 829463
/proc/meminfo: memFree=128168244/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=281.69 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2366 0 0 0 18043 10126 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.16 4.14 5/257 829475
/proc/meminfo: memFree=128167544/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=341.57 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2369 0 0 0 21986 12171 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/257 829487
/proc/meminfo: memFree=128166796/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=401.44 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2372 0 0 0 25839 14305 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.13 5/258 829498
/proc/meminfo: memFree=128165960/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=461.32 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2375 0 0 0 29637 16495 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0

################
# More data... #
################

/proc/loadavg: 4.23 4.16 4.10 5/258 831138
/proc/meminfo: memFree=128132096/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3215.54 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2513 0 0 0 202203 119351 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3215.54 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/261 831208
/proc/meminfo: memFree=128131440/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3275.42 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2516 0 0 0 205954 121588 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3275.42 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/259 831220
/proc/meminfo: memFree=128130716/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3335.29 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2519 0 0 0 209713 123816 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3335.29 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 831231
/proc/meminfo: memFree=128130196/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3395.17 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2522 0 0 0 213470 126047 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3395.17 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.17 4.11 5/260 831242
/proc/meminfo: memFree=128129188/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3455.05 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2525 0 0 0 217214 128291 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3455.05 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/260 831253
/proc/meminfo: memFree=128128384/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3514.92 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2528 0 0 0 220985 130507 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3514.92 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 831263
/proc/meminfo: memFree=128127800/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3574.79 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 224717 132762 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3574.79 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3607.56 s]
# the end of solver process 829402 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2262.89 s, system=1337.12 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.10 5/256 831263
/proc/meminfo: memFree=128127828/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3576.5 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 224826 132824 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3576.5 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 831265
/proc/meminfo: memFree=128127692/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3589.27 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 225617 133310 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3589.27 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3603.2 s]
/proc/loadavg: 4.08 4.13 4.09 5/256 831266
/proc/meminfo: memFree=128127624/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3595.65 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226016 133549 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3595.65 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3604.8 s]
/proc/loadavg: 4.08 4.13 4.09 4/253 831281
/proc/meminfo: memFree=128129824/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3597.25 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226119 133606 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3597.25 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3606.4 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128126332/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3598.84 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226219 133665 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3598.84 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3607.2 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125904/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3599.64 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226269 133695 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3599.64 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3607.4 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125904/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3599.84 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226280 133704 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

[startup+3607.5 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 831497
/proc/meminfo: memFree=128125904/131524600 swapFree=131071996/131071996
[pid=829402] ppid=829398 vsize=23548 memory=12448 CPUtime=3599.93 cores=0,2
/proc/829402/stat : 829402 (DLS-PBO) R 829398 829402 826759 0 -1 4194304 2531 0 0 0 226285 133708 0 0 20 0 1 0 160463184 24113152 3112 134679101440 4194304 4311573 140727356303440 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4331680 4334284 25751552 140727356310556 140727356310663 140727356310663 140727356317678 0
/proc/829402/statm: 5887 3112 882 29 0 2261 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 23548 KiB
Current children cumulated memory: 12448 KiB

Child status: 0

Real time (s): 3607.56
CPU time (s): 3600.01
CPU user time (s): 2262.89
CPU system time (s): 1337.12
CPU usage (%): 99.7906
Max. virtual memory (cumulated for all children) (KiB): 23548
Max. memory (cumulated for all children) (KiB): 12448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2262.89
system time used= 1337.12
maximum resident set size= 12636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2534
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= 7
involuntary context switches= 25161


# summary of solver processes directly reported to runsolver:
#   pid: 829402
#   total CPU time (s): 3600.01
#   total CPU user time (s): 2262.89
#   total CPU system time (s): 1337.12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08732 second user time and 11.4489 second system time

The end

Begin job on nodeC031 at 2024-07-16 00:36:02
IDJOB=4430184
IDBENCH=147201
IDSOLVER=3053
FILE ID=nodeC031/4430184-1721082949
RUNJOBID= nodeC031-1721079353-826769
SLURM_JOB_ID= 7505552
Free space on /tmp= 890080 MiB

SOLVER NAME= DLS-PBO 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= ./DLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430184-1721082949/watcher-4430184-1721082949 -o /tmp/evaluation-result-4430184-1721082949/solver-4430184-1721082949 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721079353-826769 --watchdog 3760  ./DLS-PBO --benchName=HOME/instance-4430184-1721082949.opb --time_limit=3600

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=651692419

nodeC031.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		: 3561.855
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.55
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		: 3684.598
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.11
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		: 3551.850
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.930
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.11
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		: 2658.692
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.55
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		: 3684.703
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.11
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		: 2752.936
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.439
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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128186628 kB
MemAvailable:   129707016 kB
Buffers:          366428 kB
Cached:          1978684 kB
SwapCached:            0 kB
Active:           682152 kB
Inactive:        2038036 kB
Active(anon):       1512 kB
Inactive(anon):   411288 kB
Active(file):     680640 kB
Inactive(file):  1626748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6336 kB
Writeback:             0 kB
AnonPages:        373384 kB
Mapped:           103776 kB
Shmem:             37720 kB
KReclaimable:     105296 kB
Slab:             212272 kB
SReclaimable:     105296 kB
SUnreclaim:       106976 kB
KernelStack:        4048 kB
PageTables:        10080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     700188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC031 at 2024-07-16 01:36:10