Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 21 | 3587.97 | 3596.04 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 529ae296d86301d65a8fd4e36abb4ed9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 90.3129 |
| 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 | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3587.91/3596.04 o 26 3587.91/3596.04 o 25 3587.91/3596.04 o 24 3587.91/3596.04 o 23 3587.91/3596.04 o 22 3587.91/3596.04 o 21 3587.91/3596.04 c Program interrupted by user. 3587.91/3596.04 s SATISFIABLE 3587.91/3596.04 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 -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
OK 21
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: 63968 MiB (57492 MiB free)
memory of node 1: 64473 MiB (63383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437166-1722971833/watcher-4437166-1722971833 -o /tmp/evaluation-result-4437166-1722971833/solver-4437166-1722971833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722971833-346384 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437166-1722971833.opb 3600 HOME 31000
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=346444, runsolver pid=346430
[startup+0.100248 s]*
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123730672/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=26680 memory=13692 CPUtime=0.09 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 2449 0 0 0 9 0 0 0 20 0 1 0 63787948 27320320 3423 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 6670 3423 1073 2753 0 3323 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45272 KiB
Current children cumulated memory: 17308 KiB
[startup+0.20673 s]*
/proc/loadavg: 2.63 3.81 4.06 7/265 346460
/proc/meminfo: memFree=123706880/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=33044 memory=20200 CPUtime=0.2 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 4768 0 0 0 20 0 0 0 20 0 1 0 63787948 33837056 5050 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 8261 5050 1105 2753 0 4914 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 23816 KiB
[startup+0.30688 s]*
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123671192/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=33044 memory=20200 CPUtime=0.29 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 4768 0 0 0 29 0 0 0 20 0 1 0 63787948 33837056 5050 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 8261 5050 1105 2753 0 4914 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 23816 KiB
[startup+0.700296 s]
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123552296/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=103760 memory=92292 CPUtime=0.68 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 21896 0 0 0 66 2 0 0 20 0 1 0 63787948 106250240 23073 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 25940 23073 2721 2753 0 22593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122352 KiB
Current children cumulated memory: 95908 KiB
[startup+1.50026 s]
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123308344/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=168204 memory=154672 CPUtime=1.48 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 37411 0 0 0 143 5 0 0 20 0 1 0 63787948 172240896 38668 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 42051 38668 2849 2753 0 38704 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 186796 KiB
Current children cumulated memory: 158288 KiB
[startup+3.10709 s]
/proc/loadavg: 2.63 3.81 4.06 8/265 346460
/proc/meminfo: memFree=123070764/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=195460 memory=183776 CPUtime=3.08 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 44704 0 0 0 302 6 0 0 20 0 1 0 63787948 200151040 45944 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 48865 45944 2849 2753 0 45518 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 214052 KiB
Current children cumulated memory: 187392 KiB
[startup+6.30025 s]
/proc/loadavg: 2.74 3.82 4.05 8/265 346460
/proc/meminfo: memFree=123029048/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=217288 memory=196944 CPUtime=6.27 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 48038 0 0 0 620 7 0 0 20 0 1 0 63787948 222502912 49236 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 54322 49236 2849 2753 0 50975 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 235880 KiB
Current children cumulated memory: 200560 KiB
[startup+12.7002 s]
/proc/loadavg: 2.84 3.82 4.05 8/265 346462
/proc/meminfo: memFree=122928292/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=229728 memory=204056 CPUtime=12.65 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 49814 0 0 0 1258 7 0 0 20 0 1 0 63787948 235241472 51014 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 57432 51014 2849 2753 0 54085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 248320 KiB
Current children cumulated memory: 207672 KiB
[startup+25.5003 s]
/proc/loadavg: 3.18 3.85 4.06 8/265 346463
/proc/meminfo: memFree=122877524/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=273196 memory=247736 CPUtime=25.42 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 60743 0 0 0 2533 9 0 0 20 0 1 0 63787948 279752704 61934 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 68299 61934 2849 2753 0 64952 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 291788 KiB
Current children cumulated memory: 251352 KiB
[startup+51.107 s]
/proc/loadavg: 3.46 3.86 4.06 8/265 346468
/proc/meminfo: memFree=122870852/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 675 596 264 0 134 0
[pid=346454] ppid=346444 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/346454/stat : 346454 (timeout) S 346444 346454 346373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63787948 8867840 229 134679101440 94127038124032 94127038159048 140724507209248 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94127040256464 94127040258596 94127057502208 140724507210793 140724507210909 140724507210909 140724507217895 0
/proc/346454/statm: 2165 229 205 9 0 87 0
[pid=346458] ppid=346454 vsize=273196 memory=247736 CPUtime=50.97 cores=4,6
/proc/346458/stat : 346458 (LS-MabSP) R 346454 346454 346373 0 -1 4194304 60754 0 0 0 5087 10 0 0 20 0 1 0 63787948 279752704 61934 134679101440 4194304 15467897 140735296158032 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 38453248 140735296160828 140735296160931 140735296160931 140735296167917 0
/proc/346458/statm: 68299 61934 2849 2753 0 64952 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 291788 KiB
Current children cumulated memory: 251352 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.90 4.06 9/265 346477
/proc/meminfo: memFree=122788840/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 238 105 0 0 0 0 0 0 20 0 1 0 63787948 10170368 675 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
################
# More data... #
################
/proc/347409/statm: 32871 29720 748 737 0 31959 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 150076 KiB
Current children cumulated memory: 122648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/265 348286
/proc/meminfo: memFree=123218324/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=131484 memory=118964 CPUtime=1660.05 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 20768 0 0 0 165996 9 0 0 20 0 1 0 63967749 134639616 29741 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 32871 29741 748 737 0 31959 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 150076 KiB
Current children cumulated memory: 122732 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/264 348297
/proc/meminfo: memFree=123214752/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1719.89 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21207 0 0 0 171980 9 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/264 348308
/proc/meminfo: memFree=123212492/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1779.72 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 177962 10 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3574.23 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3596.04 s]
# the end of solver process 346444 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.02 s, system=12.9468 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 8/264 348308
/proc/meminfo: memFree=123212484/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1781.42 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 178132 10 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3575.93 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212492/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1787.81 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 178770 11 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3582.32 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212336/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1791 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 179089 11 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123211916/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1792.6 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 179249 11 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123211916/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1792.99 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 179288 11 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.09 8/264 348309
/proc/meminfo: memFree=123212044/131524600 swapFree=131071996/131071996
[pid=346444] ppid=346430 vsize=9932 memory=2740 CPUtime=1794.51 cores=4,6
/proc/346444/stat : 346444 (Hybrid-LSMabSP+) S 346430 346444 346373 0 -1 4194304 270 80907 0 0 0 0 178169 1282 20 0 1 0 63787948 10170368 685 134679101440 94845012373504 94845013452824 140735559019968 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94845015551280 94845015598468 94845048270848 140735559021544 140735559021690 140735559021690 140735559028705 0
/proc/346444/statm: 2483 685 596 264 0 134 0
[pid=347406] ppid=346444 vsize=8660 memory=1028 CPUtime=0 cores=4,6
/proc/347406/stat : 347406 (timeout) S 346444 347406 346373 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63967749 8867840 257 134679101440 94048384425984 94048384461000 140735720675920 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94048386558416 94048386560548 94048386617344 140735720682484 140735720682653 140735720682653 140735720689639 0
/proc/347406/statm: 2165 257 233 9 0 87 0
[pid=347409] ppid=347406 vsize=133048 memory=120516 CPUtime=1793.4 cores=4,6
/proc/347409/stat : 347409 (Exact) R 347406 347406 346373 0 -1 4194304 21254 0 0 0 179329 11 0 0 20 0 1 0 63967749 136241152 30129 134679101440 4194304 7210733 140730306699360 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7850304 7914896 26116096 140730306708496 140730306708646 140730306708646 140730306715632 0
/proc/347409/statm: 33262 30129 748 737 0 32350 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 124284 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.97
CPU user time (s): 3575.02
CPU system time (s): 12.9468
CPU usage (%): 99.7755
Max. virtual memory (cumulated for all children) (KiB): 365808
Max. memory (cumulated for all children) (KiB): 337408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.02
system time used= 12.9468
maximum resident set size= 333792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 1749
# summary of solver processes directly reported to runsolver:
# pid: 346444
# total CPU time (s): 3587.97
# total CPU user time (s): 3575.02
# total CPU system time (s): 12.9468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.67173 second user time and 19.0572 second system time
The end
Begin job on nodeC035 at 2024-08-06 21:17:13 IDJOB=4437166 IDBENCH=148194 IDSOLVER=3070 FILE ID=nodeC035/4437166-1722971833 RUNJOBID= nodeC035-1722971833-346384 SLURM_JOB_ID= 8259075 Free space on /tmp= 890060 MiB SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437166-1722971833/watcher-4437166-1722971833 -o /tmp/evaluation-result-4437166-1722971833/solver-4437166-1722971833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722971833-346384 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437166-1722971833.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=1118010516 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3642.667 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.142 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3551.641 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3701.324 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3805.178 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3773.153 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3605.886 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.981 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123778256 kB MemAvailable: 129776320 kB Buffers: 331164 kB Cached: 6506748 kB SwapCached: 0 kB Active: 580768 kB Inactive: 6628948 kB Active(anon): 1428 kB Inactive(anon): 408736 kB Active(file): 579340 kB Inactive(file): 6220212 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 83664 kB Writeback: 8 kB AnonPages: 368212 kB Mapped: 98512 kB Shmem: 37720 kB KReclaimable: 76672 kB Slab: 169968 kB SReclaimable: 76672 kB SUnreclaim: 93296 kB KernelStack: 3748 kB PageTables: 10040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 683552 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 29280 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 346836 kB DirectMap2M: 24592384 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890000 MiB End job on nodeC035 at 2024-08-06 22:17:10