Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat 2025-06-04 | SAT (TO) | -10852 | 3600.08 | 3610.43 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern60-15.lin.opb |
| MD5SUM | 911059c1e959a60a23dfd4299eb920f8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -11306 |
| Best CPU time to get the best result obtained on this benchmark | 72001 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7294 |
| Total number of constraints | 14468 |
| Number of constraints which are clauses | 7234 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7234 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 7294 |
| Biggest coefficient in the objective function | 1722 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 756056 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1722 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 756056 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.21/0.29 c Converting 14468 PB-constraints to clauses... 0.41/0.49 o 0 0.51/0.58 c ============================[ Problem Statistics ]============================ 0.51/0.58 c | Number of variables: 16621 | 0.51/0.58 c | Number of clauses: 46663 (incl. 7262 soft in queue) | 0.51/0.58 c =============================================================================== 0.60/0.63 o -9500 1.28/1.36 o -9913 6.17/6.27 o -10455 1865.38/1870.81 c Switching to binary search ... (after 1865.04 s and 8282795 conflicts) with 7294 goal literals and 0 assumptions 2049.46/2055.46 o -10826 2398.23/2405.27 o -10852 3600.04/3610.40 c *** TERMINATED by signal 15 *** 3600.04/3610.40 c _______________________________________________________________________________ 3600.04/3610.40 c 3600.04/3610.40 c _______________________________________________________________________________ 3600.04/3610.40 c 3600.04/3610.40 c =======================[ UWrMaxSat resources usage ]=========================== 3600.04/3610.40 c Memory used : 1602.00 MB 3600.04/3610.40 c CPU time : 3598.68 s 3600.04/3610.40 c Constr Enc: Srt/BDD/Add: 7234 0 0 3600.04/3610.40 c OptExp Enc: Srt/BDD/Add: 305 0 0 3600.04/3610.40 c _______________________________________________________________________________ 3600.04/3610.40 c _______________________________________________________________________________ 3600.04/3610.40 3600.04/3610.40 v -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 -x5001 x5002 -x5003 x5004 x5005 -x5006 x5007 x5008 x5009 -x5010 -x5011 x5012 -x5013 x5014 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 x5024 x5025 -x5026 -x5027 x5028 x5029 x5030 x5031 -x5032 -x5033 x5034 -x5035 x5036 -x5037 -x5038 x5039 -x5040 x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 x5053 x5054 -x5055 -x5056 x5057 x5058 x5059 -x5060 x5061 x5062 x5063 -x5064 -x5065 x5066 -x5067 x5068 x5069 x5070 x5071 -x5072 x5073 x5074 x5075 -x5076 -x5077 x5078 -x5079 x5080 x5081 x5082 -x5083 x5084 x5085 x5086 -x5087 -x5088 x5089 -x5090 x5091 x5092 x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 x5105 -x5106 -x5107 -x5108 x5109 x5110 x5111 x5112 -x5113 -x5114 x5115 -x5116 x5117 x5118 -x5119 -x5120 x5121 -x5122 x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 x5138 x5139 -x5140 -x5141 -x5142 x5143 x5144 x5145 x5146 -x5147 x5148 x5149 x5150 -x5151 -x5152 x5153 -x5154 x5155 x5156 x5157 x5158 -x5159 x5160 x5161 x5162 -x5163 -x5164 x5165 -x5166 x5167 x5168 x5169 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 x5183 -x5184 -x5185 x5186 -x5187 x5188 x5189 x5190 x5191 x5192 -x5193 -x5194 x5195 x5196 x5197 x5198 x5199 -x5200 -x5201 x5202 -x5203 x5204 x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 x5221 x5222 x5223 -x5224 -x5225 -x5226 -x5227 x5228 x5229 x5230 x5231 x5232 x5233 -x5234 x5235 x5236 x5237 -x5238 -x5239 x5240 -x5241 x5242 x5243 x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 x5260 -x5261 -x5262 x5263 -x5264 x5265 x5266 x5267 x5268 x5269 x5270 -x5271 -x5272 x5273 -x5274 x5275 x5276 x5277 x5278 x5279 -x5280 -x5281 x5282 -x5283 x5284 x5285 x5286 x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 x5303 x5304 x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 x5313 x5314 x5315 x5316 x5317 x5318 x5319 x5320 x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 -x5337 -x5338 x5339 -x5340 x5341 x5342 x5343 x5344 x5345 x5346 x5347 -x5348 -x5349 x5350 -x5351 x5352 x5353 x5354 x5355 x5356 x5357 -x5358 -x5359 x5360 -x5361 x5362 x5363 x5364 x5365 x5366 x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 x5385 x5386 x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 x5395 x5396 x5397 x5398 x5399 x5400 x5401 x5402 x5403 x5404 x5405 x5406 x5407 x5408 x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 x5501 -x5502 x5503 x5504 x5505 x5506 x5507 x5508 x5509 -x5510 -x5511 -x5512 x5513 -x5514 x5515 x5516 x5517 x5518 x5519 x5520 x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 x5546 x5547 x5548 x5549 x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 x5559 x5560 x5561 x5562 x5563 x5564 x5565 x5566 x5567 x5568 x5569 -x5570 x5571 x5572 x5573 x5574 -x5575 x5576 x5577 x5578 -x5579 x5580 x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 x5590 x5591 x5592 x5593 x5594 x5595 x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 x5624 x5625 x5626 x5627 x5628 x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 x5641 x5642 x5643 x5644 -x5645 x5646 x5647 x5648 x5649 x5650 x5651 -x5652 x5653 x5654 x5655 x5656 -x5657 x5658 x5659 x5660 x5661 -x5662 x5663 x5664 x5665 -x5666 x5667 x5668 -x5669 x5670 -x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 x5700 x5701 x5702 x5703 x5704 x5705 x5706 -x5707 x5708 x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 x5721 x5722 x5723 x5724 -x5725 x5726 x5727 x5728 x5729 x5730 x5731 x5732 x5733 x5734 x5735 x5736 x5737 x5738 -x5739 x5740 x5741 x5742 x5743 -x5744 x5745 x5746 x5747 x5748 -x5749 x5750 x5751 x5752 -x5753 x5754 x5755 -x5756 x5757 x5758 -x5759 -x5760 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 x5952 x5953 x5954 x5955 x5956 -x5957 x5958 x5959 x5960 -x5961 -x5962 x5963 x5964 x5965 x5966 x5967 -x5968 x5969 x5970 x5971 -x5972 -x5973 x5974 x5975 x5976 x5977 -x5978 x5979 x5980 x5981 -x5982 -x5983 x5984 x5985 x5986 -x5987 x5988 x5989 -x5990 -x5991 x5992 x5993 -x5994 x5995 x5996 -x5997 -x5998 x5999 -x6000 x6001 x6002 x6003 -x6004 -x6005 x6006 x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 x6016 x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 x6114 x6115 x6116 x6117 x6118 -x6119 x6120 x6121 x6122 -x6123 -x6124 -x6125 x6126 x6127 x6128 x6129 x6130 -x6131 x6132 x6133 x6134 -x6135 -x6136 -x6137 x6138 x6139 x6140 x6141 -x6142 x6143 x6144 x6145 -x6146 -x6147 -x6148 x6149 x6150 x6151 -x6152 x6153 x6154 x6155 -x6156 -x6157 -x6158 x6159 x6160 -x6161 x6162 x6163 -x6164 -x6165 -x6166 x6167 -x6168 x6169 x6170 x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 x6181 x6182 -x6183 -x6184 -x6185 x6186 x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 x6202 x6203 x6204 x6205 -x6206 x6207 x6208 x6209 -x6210 -x6211 -x6212 x6213 x6214 x6215 x6216 -x6217 x6218 x6219 x6220 -x6221 -x6222 -x6223 x6224 x6225 x6226 -x6227 x6228 x6229 x6230 -x6231 -x6232 -x6233 x6234 x6235 -x6236 x6237 x6238 x6239 -x6240 -x6241 -x6242 x6243 -x6244 x6245 x6246 x6247 -x6248 -x6249 x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 x6258 -x6259 -x6260 -x6261 x6262 x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 x6279 x6280 -x6281 x6282 x6283 x6284 -x6285 -x6286 -x6287 x6288 x6289 x6290 -x6291 x6292 x6293 x6294 -x6295 -x6296 -x6297 x6298 x6299 -x6300 x6301 x6302 x6303 -x6304 -x6305 -x6306 x6307 -x6308 x6309 x6310 x6311 -x6312 -x6313 -x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 x6322 x6323 -x6324 -x6325 -x6326 x6327 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 x6343 -x6344 x6345 x6346 x6347 -x6348 -x6349 -x6350 x6351 x6352 -x6353 x6354 x6355 x6356 -x6357 -x6358 -x6359 x6360 -x6361 x6362 x6363 x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 x6376 x6377 -x6378 -x6379 x6380 x6381 -x6382 -x6383 -x6384 x6385 -x6386 -x6387 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 x6396 -x6397 x6398 x6399 x6400 -x6401 -x6402 -x6403 x6404 -x6405 x6406 x6407 x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x6420 x6421 -x6422 -x6423 -x6424 x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 x6441 x6442 x6443 -x6444 -x6445 -x6446 x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 x6456 -x6457 -x6458 -x6459 x6460 x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 x6483 x6484 -x6485 -x6486 -x6487 x6488 x6489 -x6490 -x6491 -x6492 x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 x6562 -x6563 x6564 x6565 x6566 x6567 -x6568 x6569 x6570 x6571 x6572 x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 x6603 x6604 x6605 x6606 -x6607 x6608 x6609 x6610 x6611 x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 x6631 x6632 -x6633 x6634 x6635 x6636 x6637 x6638 -x6639 -x6640 -x6641 x6642 -x6643 x6644 x6645 -x6646 x6647 x6648 x6649 x6650 x6651 -x6652 -x6653 -x6654 x6655 -x6656 -x6657 x6658 -x6659 x6660 x6661 x6662 x6663 x6664 -x6665 -x6666 -x6667 x6668 -x6669 -x6670 -x6671 -x6672 x6673 x6674 x6675 x6676 x6677 -x6678 -x6679 -x6680 x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 x6701 x6702 x6703 -x6704 -x6705 -x6706 x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 x6714 x6715 x6716 -x6717 -x6718 -x6719 x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 x6729 -x6730 -x6731 -x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 x6741 x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 x6755 -x6756 -x6757 -x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 x6819 x6820 -x6821 -x6822 x6823 -x6824 x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 x6924 -x6925 -x6926 x6927 -x6928 x6929 x6930 x6931 x6932 x6933 -x6934 x6935 x6936 x6937 -x6938 -x6939 x6940 -x6941 x6942 x6943 x6944 x6945 x6946 -x6947 x6948 x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 x6981 x6982 x6983 x6984 x6985 -x6986 x6987 x6988 x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 x7008 x7009 x7010 x7011 -x7012 x7013 x7014 x7015 -x7016 -x7017 x7018 -x7019 x7020 x7021 x7022 x7023 x7024 -x7025 x7026 x7027 x7028 -x7029 -x7030 x7031 -x7032 x7033 x7034 x7035 x7036 x7037 -x7038 x7039 x7040 x7041 -x7042 -x7043 x7044 -x7045 x7046 x7047 x7048 x7049 x7050 -x7051 x7052 x7053 x7054 -x7055 -x7056 x7057 -x7058 x7059 x7060 x7061 x7062 x7063 -x7064 x7065 x7066 x7067 -x7068 -x7069 x7070 -x7071 x7072 x7073 x7074 x7075 x7076 x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 x7093 -x7094 -x7095 x7096 -x7097 x7098 x7099 x7100 x7101 x7102 x7103 x7104 -x7105 x7106 -x7107 -x7108 x7109 -x7110 x7111 x7112 x7113 x7114 x7115 x7116 x7117 -x7118 x7119 -x7120 -x7121 x7122 -x7123 x7124 x7125 x7126 x7127 x7128 x7129 x7130 -x7131 x7132 x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 x7163 x7164 x7165 x7166 x7167 x7168 x7169 -x7170 x7171 x7172 x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 x7190 x7191 x7192 x7193 x7194 x7195 -x7196 x7197 x7198 x7199 -x7200 -x7201 -x7202 x7203 x7204 x7205 x7206 x7207 x7208 -x7209 x7210 x7211 x7212 -x7213 -x7214 -x7215 x7216 x7217 x7218 x7219 x7220 -x7221 x7222 x7223 x7224 -x7225 -x7226 -x7227 x7228 x7229 x7230 x7231 -x7232 x7233 x7234 x7235 -x7236 -x7237 -x7238 x7239 x7240 x7241 -x7242 x7243 x7244 x7245 -x7246 -x7247 -x7248 x7249 x7250 -x7251 x7252 x7253 x7254 -x7255 -x7256 -x7257 x7258 -x7259 x7260 x7261 x7262 -x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 x7274 x7275 -x7276 -x7277 -x7278 x7279 x7280 -x7281 -x7282 -x7283 x7284 -x7285 -x7286 -x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 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 3600.04/3610.40 s SATISFIABLE
OK -10852
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: 63794 MiB (61335 MiB free)
memory of node 1: 64507 MiB (52704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508933-1751506765/watcher-4508933-1751506765 -o /tmp/evaluation-result-4508933-1751506765/solver-4508933-1751506765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73198 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4508933-1751506765.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74995, runsolver pid=74992
[startup+0.100074 s]*
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116763540/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=10440 memory=9340 CPUtime=0.1 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 2062 0 0 0 10 0 0 0 20 0 1 0 66356290 10690560 2335 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 2610 2335 448 484 0 2021 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10440 KiB
Current children cumulated memory: 9340 KiB
[startup+0.213301 s]*
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116755728/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=16368 memory=15356 CPUtime=0.21 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 3542 0 0 0 20 1 0 0 20 0 1 0 66356290 16760832 3839 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 4092 3839 448 484 0 3503 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 16368 KiB
Current children cumulated memory: 15356 KiB
[startup+0.313219 s]*
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116747664/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=21532 memory=20348 CPUtime=0.31 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 4813 0 0 0 30 1 0 0 20 0 1 0 66356290 22048768 5087 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 5383 5087 448 484 0 4794 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21532 KiB
Current children cumulated memory: 20348 KiB
[startup+0.700342 s]
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116742120/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=29768 memory=28264 CPUtime=0.68 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 7650 0 0 0 66 2 0 0 20 0 1 0 66356290 30482432 7066 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 7442 7066 512 484 0 6853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 28264 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116742120/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=31316 memory=29824 CPUtime=1.48 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 8415 0 0 0 146 2 0 0 20 0 1 0 66356290 32067584 7456 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 7829 7456 512 484 0 7240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31316 KiB
Current children cumulated memory: 29824 KiB
[startup+3.11299 s]
/proc/loadavg: 4.08 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116736008/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=31728 memory=30120 CPUtime=3.09 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 12289 0 0 0 306 3 0 0 20 0 1 0 66356290 32489472 7530 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 7932 7530 512 484 0 7343 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 30120 KiB
[startup+6.30032 s]
/proc/loadavg: 4.07 4.16 4.15 5/250 74996
/proc/meminfo: memFree=116736260/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=34668 memory=33056 CPUtime=6.27 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 13323 0 0 0 623 4 0 0 20 0 1 0 66356290 35500032 8264 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 8667 8264 512 484 0 8078 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 33056 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.15 4.15 5/250 74996
/proc/meminfo: memFree=116732984/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=35424 memory=33980 CPUtime=12.65 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 15951 0 0 0 1261 4 0 0 20 0 1 0 66356290 36274176 8495 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 8856 8495 512 484 0 8267 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 35424 KiB
Current children cumulated memory: 33980 KiB
[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 4.15 5/250 74997
/proc/meminfo: memFree=116732732/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=35364 memory=33140 CPUtime=25.41 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 22565 0 0 0 2536 5 0 0 20 0 1 0 66356290 36212736 8285 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 8841 8285 512 484 0 8252 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 35364 KiB
Current children cumulated memory: 33140 KiB
[startup+51.1129 s]
/proc/loadavg: 4.10 4.15 4.15 5/250 74997
/proc/meminfo: memFree=116731468/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=41140 memory=39236 CPUtime=50.94 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 31717 0 0 0 5086 8 0 0 20 0 1 0 66356290 42127360 9809 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 10285 9809 512 484 0 9696 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 41140 KiB
Current children cumulated memory: 39236 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/250 74999
/proc/meminfo: memFree=116749592/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=46596 memory=45160 CPUtime=101.97 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 33228 0 0 0 10189 8 0 0 20 0 1 0 66356290 47714304 11290 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 11649 11290 512 484 0 11060 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 46596 KiB
Current children cumulated memory: 45160 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/249 75001
/proc/meminfo: memFree=116698216/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=54596 memory=53140 CPUtime=161.79 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 39183 0 0 0 16170 9 0 0 20 0 1 0 66356290 55906304 13285 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 13649 13285 512 484 0 13060 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 53140 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/250 75008
/proc/meminfo: memFree=116644472/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=65352 memory=63824 CPUtime=221.61 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 43294 0 0 0 22151 10 0 0 20 0 1 0 66356290 66920448 15956 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 16338 15956 512 484 0 15749 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 65352 KiB
Current children cumulated memory: 63824 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/250 75010
/proc/meminfo: memFree=116600380/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=71900 memory=70372 CPUtime=281.42 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 44633 0 0 0 28132 10 0 0 20 0 1 0 66356290 73625600 17593 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 17975 17593 512 484 0 17386 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 71900 KiB
Current children cumulated memory: 70372 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/250 75012
/proc/meminfo: memFree=116596308/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=57160 memory=54504 CPUtime=341.23 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 51081 0 0 0 34110 13 0 0 20 0 1 0 66356290 58531840 13626 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 14290 13626 512 484 0 13701 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 57160 KiB
Current children cumulated memory: 54504 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/250 75014
/proc/meminfo: memFree=116653868/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=74912 memory=73364 CPUtime=401.05 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 53258 0 0 0 40091 14 0 0 20 0 1 0 66356290 76709888 18341 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 18728 18341 512 484 0 18139 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 74912 KiB
Current children cumulated memory: 73364 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/250 75016
/proc/meminfo: memFree=116654088/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=73628 memory=72084 CPUtime=460.86 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 54637 0 0 0 46072 14 0 0 20 0 1 0 66356290 75395072 18021 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 18407 18021 512 484 0 17818 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 1074424 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/249 75361
/proc/meminfo: memFree=116576736/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053372 memory=987200 CPUtime=2854.1 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 188350 0 0 0 285307 103 0 0 20 0 1 0 66356290 1078652928 246800 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263343 246800 512 484 0 262754 0
Current children cumulated CPU time: 2854.1 s
Current children cumulated vsize: 1053372 KiB
Current children cumulated memory: 987200 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/249 75407
/proc/meminfo: memFree=107846840/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053372 memory=987200 CPUtime=2913.9 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 188611 0 0 0 291283 107 0 0 20 0 1 0 66356290 1078652928 246800 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263343 246800 512 484 0 262754 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 1053372 KiB
Current children cumulated memory: 987200 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/250 75410
/proc/meminfo: memFree=102648744/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=2973.75 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 189434 0 0 0 297265 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/251 75415
/proc/meminfo: memFree=103118340/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3033.6 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 189584 0 0 0 303250 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/251 75418
/proc/meminfo: memFree=101179612/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3093.42 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 189597 0 0 0 309232 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/251 75420
/proc/meminfo: memFree=101196948/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3153.25 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 189869 0 0 0 315215 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 75422
/proc/meminfo: memFree=102290896/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3213.07 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190058 0 0 0 321197 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 75424
/proc/meminfo: memFree=102313312/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3272.9 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190133 0 0 0 327180 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 75430
/proc/meminfo: memFree=102052104/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3332.73 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190146 0 0 0 333163 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 75431
/proc/meminfo: memFree=101940712/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3392.55 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190431 0 0 0 339145 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 75433
/proc/meminfo: memFree=99654976/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3452.37 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190622 0 0 0 345127 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 75435
/proc/meminfo: memFree=101752860/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3512.2 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190691 0 0 0 351110 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 75437
/proc/meminfo: memFree=100494992/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1053052 memory=986992 CPUtime=3572.03 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 190705 0 0 0 357093 110 0 0 20 0 1 0 66356290 1078325248 246748 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 263263 246748 512 484 0 262674 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 1053052 KiB
Current children cumulated memory: 986992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 75441
/proc/meminfo: memFree=101016300/131382112 swapFree=33010160/33010684
[pid=74995] ppid=74992 vsize=1641004 memory=1520208 CPUtime=3600.04 cores=5,7
/proc/74995/stat : 74995 (uwrmaxsat) R 74992 74995 73185 0 -1 4194304 290198 0 0 0 359868 136 0 0 20 0 1 0 66356290 1680388096 380052 18446744073709551615 4198400 6176925 140727585573488 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 16519168 140727585577322 140727585577449 140727585577449 140727585583051 0
/proc/74995/statm: 410251 380052 512 484 0 409662 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1641004 KiB
Current children cumulated memory: 1520208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.43 s]
# the end of solver process 74995 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.69 s, system=1.39141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.43
CPU time (s): 3600.08
CPU user time (s): 3598.69
CPU system time (s): 1.39141
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 1641004
Max. memory (cumulated for all children) (KiB): 1520208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.69
system time used= 1.39141
maximum resident set size= 1520208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290209
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= 65
involuntary context switches= 2029
# summary of solver processes directly reported to runsolver:
# pid: 74995
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.69
# total CPU system time (s): 1.39141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1258 second user time and 35.7861 second system time
The end
Begin job on nodeC009 at 2025-07-03 03:39:25 IDJOB=4508933 IDBENCH=158525 IDSOLVER=3372 FILE ID=nodeC009/4508933-1751506765 RUNJOBID= nodeC009-1751501342-73198 SLURM_JOB_ID= 9598585 Free space on /tmp= 431192 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508933-1751506765/watcher-4508933-1751506765 -o /tmp/evaluation-result-4508933-1751506765/solver-4508933-1751506765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751501342-73198 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4508933-1751506765.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8 RANDOM SEED=2049914532 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.972 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3591.700 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.354 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.444 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3491.927 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.231 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 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.898 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 116778468 kB MemAvailable: 128568596 kB Buffers: 2144 kB Cached: 12541460 kB SwapCached: 24 kB Active: 1715840 kB Inactive: 12191132 kB Active(anon): 1376248 kB Inactive(anon): 5056 kB Active(file): 339592 kB Inactive(file): 12186076 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3220 kB Writeback: 0 kB AnonPages: 1363092 kB Mapped: 109912 kB Shmem: 17936 kB KReclaimable: 207792 kB Slab: 292704 kB SReclaimable: 207792 kB SUnreclaim: 84912 kB KernelStack: 4048 kB PageTables: 5604 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1711388 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1241088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431208 MiB End job on nodeC009 at 2025-07-03 04:39:36