0.00/0.00	c Filename:instance-4457665-1722827517.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.00/0.06	c Parse finsih
0.00/0.06	c Start Presolve
0.10/0.21	c After Reduce Vars: 5000 Clauses: 5001 Top clause weight: 24857399 Hard Clauses: 1
0.79/0.86	c Use LS-small
0.79/0.86	c Use postsolve
0.79/0.86	o 0
0.79/0.86	c Use postsolve
0.79/0.86	o -8357
0.79/0.87	c Use postsolve
0.79/0.87	o -17923
0.79/0.87	c Use postsolve
0.79/0.87	o -27323
0.79/0.87	c Use postsolve
0.79/0.87	o -37185
0.79/0.87	c Use postsolve
0.79/0.87	o -47073
0.79/0.88	c Use postsolve
0.79/0.88	o -56373
0.79/0.88	c Use postsolve
0.79/0.88	o -66305
0.79/0.88	c Use postsolve
0.79/0.88	o -76042
0.79/0.88	c Use postsolve
0.79/0.89	o -85860
0.79/0.89	c Use postsolve
0.79/0.89	o -94974
0.79/0.89	c Use postsolve
0.79/0.89	o -104087
0.79/0.89	c Use postsolve
0.79/0.89	o -112769
0.79/0.89	c Use postsolve
0.79/0.90	o -120121
0.79/0.90	c Use postsolve
0.89/0.90	o -130044
0.89/0.90	c Use postsolve
0.89/0.90	o -139938
0.89/0.90	c Use postsolve
0.89/0.90	o -148872
0.89/0.90	c Use postsolve
0.89/0.91	o -157254
0.89/0.91	c Use postsolve
0.89/0.91	o -166952
0.89/0.91	c Use postsolve
0.89/0.91	o -176253
0.89/0.91	c Use postsolve
0.89/0.91	o -185374
0.89/0.91	c Use postsolve
0.89/0.92	o -193733
0.89/0.92	c Use postsolve
0.89/0.92	o -203592
0.89/0.92	c Use postsolve
0.89/0.92	o -213362
0.89/0.92	c Use postsolve
0.89/0.92	o -222953
0.89/0.92	c Use postsolve
0.89/0.93	o -230568
0.89/0.93	c Use postsolve
0.89/0.93	o -239775
2.18/2.21	c Use postsolve
2.18/2.21	o -246091
2.18/2.21	c Use postsolve
2.18/2.21	o -246109
2.99/3.03	c Use postsolve
2.99/3.03	o -246111
3.78/3.89	c Use postsolve
3.78/3.89	o -246112
3557.95/3564.44	s SATISFIABLE
3557.95/3564.44	c Use postsolve
3557.95/3564.45	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 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 x4686 -x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 x4877 x4878 -x4879 x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 
3557.95/3564.45	c Done 3.87s

OK	-246112

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: 64096 MiB (55313 MiB free)
  memory of node 1: 64473 MiB (61387 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457665-1722827517/watcher-4457665-1722827517 -o /tmp/evaluation-result-4457665-1722827517/solver-4457665-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722827517-269473 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4457665-1722827517.opb -t 3558 -s 1270932681 --no-s 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=269534, runsolver pid=269527

[startup+0.100114 s]*
/proc/loadavg: 3.79 4.05 4.12 6/243 269535
/proc/meminfo: memFree=119489652/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=21188 memory=8676 CPUtime=0.1 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 843 0 0 0 10 0 0 0 20 0 1 0 49349309 21696512 2169 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 5297 2169 1105 2753 0 1950 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21188 KiB
Current children cumulated memory: 8676 KiB

[startup+0.212412 s]*
/proc/loadavg: 3.79 4.05 4.12 7/243 269537
/proc/meminfo: memFree=119474488/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=23656 memory=10712 CPUtime=0.21 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 1358 0 0 0 21 0 0 0 20 0 1 0 49349309 24223744 2678 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 5914 2678 1153 2753 0 2567 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23656 KiB
Current children cumulated memory: 10712 KiB

[startup+0.312896 s]*
/proc/loadavg: 3.79 4.05 4.12 6/243 269537
/proc/meminfo: memFree=119460472/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=37612 memory=24440 CPUtime=0.31 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 4836 0 0 0 30 1 0 0 20 0 1 0 49349309 38514688 6110 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 9403 6110 1153 2753 0 6056 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37612 KiB
Current children cumulated memory: 24440 KiB

[startup+0.700272 s]
/proc/loadavg: 3.79 4.05 4.12 6/243 269537
/proc/meminfo: memFree=119430328/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=93436 memory=80408 CPUtime=0.69 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 18812 0 0 0 64 5 0 0 20 0 1 0 49349309 95678464 20102 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 23359 20102 1153 2753 0 20012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 93436 KiB
Current children cumulated memory: 80408 KiB

[startup+1.50028 s]
/proc/loadavg: 3.81 4.05 4.12 6/243 269537
/proc/meminfo: memFree=119372888/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108416 CPUtime=1.49 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28206 0 0 0 141 8 0 0 20 0 1 0 49349309 123699200 27104 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27104 1153 2753 0 26853 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108416 KiB

[startup+3.11216 s]
/proc/loadavg: 3.81 4.05 4.12 6/243 269537
/proc/meminfo: memFree=119373340/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108416 CPUtime=3.09 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28478 0 0 0 300 9 0 0 20 0 1 0 49349309 123699200 27104 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27104 1153 2753 0 26853 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108416 KiB

[startup+6.30025 s]
/proc/loadavg: 3.82 4.05 4.12 6/243 269537
/proc/meminfo: memFree=119373488/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108480 CPUtime=6.28 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28568 0 0 0 617 11 0 0 20 0 1 0 49349309 123699200 27120 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27120 1169 2753 0 26853 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108480 KiB

[startup+12.7003 s]
/proc/loadavg: 4.00 4.08 4.13 6/243 269538
/proc/meminfo: memFree=119373292/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108480 CPUtime=12.67 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28568 0 0 0 1252 15 0 0 20 0 1 0 49349309 123699200 27120 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27120 1169 2753 0 26853 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108480 KiB

[startup+25.5003 s]
/proc/loadavg: 4.00 4.08 4.12 6/244 269541
/proc/meminfo: memFree=119372932/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108480 CPUtime=25.44 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28584 0 0 0 2524 20 0 0 20 0 1 0 49349309 123699200 27120 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27120 1169 2753 0 26853 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108480 KiB

[startup+51.1118 s]
/proc/loadavg: 4.05 4.09 4.12 6/244 269546
/proc/meminfo: memFree=119371832/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108792 CPUtime=51 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28610 0 0 0 5064 36 0 0 20 0 1 0 49349309 123699200 27198 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27198 1169 2753 0 26853 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108792 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.12 6/244 269555
/proc/meminfo: memFree=119370992/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=102.09 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28762 0 0 0 10132 77 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.12 6/244 269566
/proc/meminfo: memFree=119370524/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=161.98 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28860 0 0 0 16079 119 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.12 6/244 269577
/proc/meminfo: memFree=119369700/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=221.88 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28909 0 0 0 22030 158 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/242 269588
/proc/meminfo: memFree=119369060/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=281.76 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 28958 0 0 0 27974 202 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.11 6/242 269600
/proc/meminfo: memFree=119368408/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=341.65 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 29007 0 0 0 33918 247 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/242 269611
/proc/meminfo: memFree=119367776/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=401.55 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 29056 0 0 0 39857 298 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.14 4.12 6/242 269622
/proc/meminfo: memFree=119367160/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=461.43 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 29105 0 0 0 45790 353 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0

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

/proc/loadavg: 4.19 4.16 4.19 6/243 271298
/proc/meminfo: memFree=119340088/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3156.56 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31310 0 0 0 313275 2381 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3156.56 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.18 6/242 271308
/proc/meminfo: memFree=119339548/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3216.45 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31359 0 0 0 319216 2429 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3216.45 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.17 6/242 271319
/proc/meminfo: memFree=119338840/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3276.35 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31408 0 0 0 325165 2470 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3276.35 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.17 6/241 271331
/proc/meminfo: memFree=119338400/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3336.24 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31457 0 0 0 331114 2510 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3336.24 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.17 6/241 271341
/proc/meminfo: memFree=119337732/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3396.13 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31506 0 0 0 337057 2556 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3396.13 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.17 6/241 271353
/proc/meminfo: memFree=119337136/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3456.02 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31555 0 0 0 342998 2604 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3456.02 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.17 6/243 271367
/proc/meminfo: memFree=119336408/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3515.91 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31604 0 0 0 348943 2648 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3515.91 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

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

# cumulated CPU time of all completed processes:  user=3531.22 s, system=26.7822 s

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

[startup+3532.8 s]
/proc/loadavg: 4.12 4.13 4.16 6/243 271368
/proc/meminfo: memFree=119336448/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3526.4 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31604 0 0 0 349983 2657 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3526.4 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3545.6 s]
/proc/loadavg: 4.10 4.12 4.16 6/243 271371
/proc/meminfo: memFree=119336248/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3539.17 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 351251 2666 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3539.17 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3552 s]*
/proc/loadavg: 4.08 4.12 4.16 6/243 271373
/proc/meminfo: memFree=119336124/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3545.57 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 351887 2670 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3545.57 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3558.4 s]
/proc/loadavg: 4.16 4.13 4.17 6/243 271373
/proc/meminfo: memFree=119336236/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3551.95 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 352521 2674 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3551.95 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3561.6 s]
/proc/loadavg: 4.16 4.13 4.17 6/243 271374
/proc/meminfo: memFree=119336056/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3555.15 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 352839 2676 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3555.15 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3563.2 s]
/proc/loadavg: 4.14 4.13 4.16 6/243 271374
/proc/meminfo: memFree=119336144/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3556.75 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 352998 2677 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3556.75 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3564 s]*
/proc/loadavg: 4.14 4.13 4.16 7/237 271410
/proc/meminfo: memFree=119344232/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3557.55 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 353078 2677 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3557.55 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

[startup+3564.4 s]
/proc/loadavg: 4.14 4.13 4.16 7/237 271410
/proc/meminfo: memFree=119344232/131655788 swapFree=131071996/131071996
[pid=269534] ppid=269527 vsize=120800 memory=108856 CPUtime=3557.95 cores=4,6
/proc/269534/stat : 269534 (LS-MabP) R 269527 269534 269462 0 -1 4194304 31653 0 0 0 353117 2678 0 0 20 0 1 0 49349309 123699200 27214 134679101440 4194304 15467897 140733850368048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 36810752 140733850371097 140733850371206 140733850371206 140733850378222 0
/proc/269534/statm: 30200 27214 1169 2753 0 26853 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 120800 KiB
Current children cumulated memory: 108856 KiB

Child status: 0

Real time (s): 3564.45
CPU time (s): 3558
CPU user time (s): 3531.22
CPU system time (s): 26.7822
CPU usage (%): 99.8191
Max. virtual memory (cumulated for all children) (KiB): 120800
Max. memory (cumulated for all children) (KiB): 108856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.22
system time used= 26.7822
maximum resident set size= 109180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31746
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= 11
involuntary context switches= 1150


# summary of solver processes directly reported to runsolver:
#   pid: 269534
#   total CPU time (s): 3558
#   total CPU user time (s): 3531.22
#   total CPU system time (s): 26.7822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7315 second user time and 30.4928 second system time

The end

Begin job on nodeC009 at 2024-08-05 05:11:57
IDJOB=4457665
IDBENCH=176645
IDSOLVER=3049
FILE ID=nodeC009/4457665-1722827517
RUNJOBID= nodeC009-1722827517-269473
SLURM_JOB_ID= 8258629
Free space on /tmp= 723760 MiB

SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_5000_10000_1_-246112.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457665-1722827517/watcher-4457665-1722827517 -o /tmp/evaluation-result-4457665-1722827517/solver-4457665-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722827517-269473 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4457665-1722827517.opb -t 3558 -s 1270932681 --no-s

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

MD5SUM BENCH= 7697ce5e116a18335df4b2d8fc6cc5ea
RANDOM SEED=1270932681

nodeC009.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	: 0xb00001f
cpu MHz		: 1197.257
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.340
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.263
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.256
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.255
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.442
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.293
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119511436 kB
MemAvailable:   129970316 kB
Buffers:          316420 kB
Cached:         10971784 kB
SwapCached:            0 kB
Active:           553536 kB
Inactive:       11104936 kB
Active(anon):       1412 kB
Inactive(anon):   398364 kB
Active(file):     552124 kB
Inactive(file): 10706572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             64772 kB
Writeback:             0 kB
AnonPages:        370144 kB
Mapped:            97032 kB
Shmem:             29512 kB
KReclaimable:      80764 kB
Slab:             165028 kB
SReclaimable:      80764 kB
SUnreclaim:        84264 kB
KernelStack:        3664 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     736544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20480 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      314184 kB
DirectMap2M:    23707648 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC009 at 2024-08-05 06:11:22