Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | 21 | 3586.68 | 3596.21 |
| 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 | 24.4815 |
| 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 |
3586.64/3596.18 c 21401 constraints 3586.64/3596.18 c after presolve 22008 3586.64/3596.18 o 30 3586.64/3596.18 o 29 3586.64/3596.18 o 28 3586.64/3596.18 o 27 3586.64/3596.18 o 26 3586.64/3596.18 o 25 3586.64/3596.18 o 24 3586.64/3596.18 o 23 3586.64/3596.18 o 22 3586.64/3596.18 o 21 3586.64/3596.18 c Program interrupted by user. 3586.64/3596.18 s SATISFIABLE 3586.64/3596.18 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: 63708 MiB (62336 MiB free)
memory of node 1: 64465 MiB (63752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497819-1751473856/watcher-4497819-1751473856 -o /tmp/evaluation-result-4497819-1751473856/solver-4497819-1751473856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68422 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497819-1751473856.opb 3600 HOME
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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=68465, runsolver pid=68459
[startup+0.10002 s]*
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=129106544/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=22912 memory=7768 CPUtime=0.06 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 1427 0 0 0 6 0 0 0 20 0 1 0 63063140 23461888 1942 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 5728 1942 1088 2752 0 2381 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29896 KiB
Current children cumulated memory: 12120 KiB
[startup+0.205658 s]*
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=129087156/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=33140 memory=18464 CPUtime=0.17 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 4776 0 0 0 17 0 0 0 20 0 1 0 63063140 33935360 4616 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 8285 4616 1152 2752 0 4938 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 22816 KiB
[startup+0.305723 s]*
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=129074808/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=33140 memory=18464 CPUtime=0.27 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 4776 0 0 0 27 0 0 0 20 0 1 0 63063140 33935360 4616 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 8285 4616 1152 2752 0 4938 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 22816 KiB
[startup+0.700229 s]
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=129015892/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=102860 memory=89344 CPUtime=0.65 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 21670 0 0 0 63 2 0 0 20 0 1 0 63063140 105328640 22336 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 25715 22336 2720 2752 0 22368 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 109844 KiB
Current children cumulated memory: 93696 KiB
[startup+1.50021 s]
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=128716192/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=168312 memory=152448 CPUtime=1.46 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 37355 0 0 0 141 5 0 0 20 0 1 0 63063140 172351488 38112 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 42078 38112 2848 2752 0 38731 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 175296 KiB
Current children cumulated memory: 156800 KiB
[startup+3.10557 s]
/proc/loadavg: 1.21 2.79 3.58 5/273 68490
/proc/meminfo: memFree=128369788/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=195560 memory=181760 CPUtime=3.05 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 44716 0 0 0 299 6 0 0 20 0 1 0 63063140 200253440 45440 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 48890 45440 2848 2752 0 45543 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 202544 KiB
Current children cumulated memory: 186112 KiB
[startup+6.3002 s]
/proc/loadavg: 1.52 2.83 3.58 5/273 68490
/proc/meminfo: memFree=128178932/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=214800 memory=192384 CPUtime=6.24 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 47389 0 0 0 617 7 0 0 20 0 1 0 63063140 219955200 48096 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 53700 48096 2848 2752 0 50353 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 221784 KiB
Current children cumulated memory: 196736 KiB
[startup+12.7002 s]
/proc/loadavg: 1.72 2.85 3.59 5/273 68490
/proc/meminfo: memFree=128007928/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=228564 memory=199680 CPUtime=12.62 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 49236 0 0 0 1255 7 0 0 20 0 1 0 63063140 234049536 49920 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 57141 49920 2848 2752 0 53794 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 235548 KiB
Current children cumulated memory: 204032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.30 2.92 3.60 5/273 68490
/proc/meminfo: memFree=127371180/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=273256 memory=244736 CPUtime=25.38 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 60495 0 0 0 2530 8 0 0 20 0 1 0 63063140 279814144 61184 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 68314 61184 2848 2752 0 64967 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 280240 KiB
Current children cumulated memory: 249088 KiB
[startup+51.1058 s]
/proc/loadavg: 2.88 3.01 3.61 5/273 68490
/proc/meminfo: memFree=126671140/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68476/stat : 68476 (timeout) S 68465 68476 68409 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63063139 2723840 352 18446744073709551615 94002274418688 94002274435201 140735906103024 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94002274449968 94002274452056 94002304188416 140735906109872 140735906109986 140735906109986 140735906115559 0
/proc/68476/statm: 665 352 352 5 0 90 0
[pid=68483] ppid=68476 vsize=273256 memory=244736 CPUtime=50.92 cores=5,7
/proc/68483/stat : 68483 (NuPBO-DeepOptS+) R 68476 68476 68409 0 -1 4194304 60506 0 0 0 5083 9 0 0 20 0 1 0 63063140 279814144 61184 18446744073709551615 4198400 15468185 140734123398368 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 41738240 140734123399612 140734123399713 140734123399713 140734123405286 0
/proc/68483/statm: 68314 61184 2848 2752 0 64967 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 280240 KiB
Current children cumulated memory: 249088 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 3.18 3.64 5/272 68492
/proc/meminfo: memFree=126634808/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 245 106 0 0 0 0 0 0 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68476] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183052 memory=140840 CPUtime=1000.96 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 25971 0 0 0 99935 161 0 0 20 0 1 0 63302942 187445248 35210 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45763 35210 1920 2271 0 40401 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 190036 KiB
Current children cumulated memory: 145192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 68791
/proc/meminfo: memFree=124193532/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183208 memory=141096 CPUtime=1060.76 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26042 0 0 0 105906 170 0 0 20 0 1 0 63302942 187604992 35274 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45802 35274 1920 2271 0 40440 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 190192 KiB
Current children cumulated memory: 145448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 68793
/proc/meminfo: memFree=124192692/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183208 memory=141096 CPUtime=1120.56 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26084 0 0 0 111877 179 0 0 20 0 1 0 63302942 187604992 35274 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45802 35274 1920 2271 0 40440 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 190192 KiB
Current children cumulated memory: 145448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 68795
/proc/meminfo: memFree=124211884/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=143444 CPUtime=1180.36 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26160 0 0 0 117846 190 0 0 20 0 1 0 63302942 188039168 35861 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 35861 1920 2271 0 40546 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 147796 KiB
[startup+3596.21 s]
# the end of solver process 68465 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.47 s, system=2.20987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 68795
/proc/meminfo: memFree=124212388/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=143444 CPUtime=1182.06 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26160 0 0 0 118016 190 0 0 20 0 1 0 63302942 188039168 35861 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 35861 1920 2271 0 40546 0
Current children cumulated CPU time: 3574.6 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 147796 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 68796
/proc/meminfo: memFree=124213828/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=145528 CPUtime=1188.43 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26162 0 0 0 118652 191 0 0 20 0 1 0 63302942 188039168 36382 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 36382 1920 2271 0 40546 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 149880 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214088/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=145528 CPUtime=1191.62 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26162 0 0 0 118970 192 0 0 20 0 1 0 63302942 188039168 36382 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 36382 1920 2271 0 40546 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 149880 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214088/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=145528 CPUtime=1193.21 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26162 0 0 0 119129 192 0 0 20 0 1 0 63302942 188039168 36382 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 36382 1920 2271 0 40546 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 149880 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214340/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=2392.54 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 280 84231 0 0 0 0 239230 24 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
[pid=68624] ppid=68465 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/68624/stat : 68624 (timeout) S 68465 68624 68409 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 63302941 2723840 352 18446744073709551615 94658691260416 94658691276929 140734882176256 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94658691291696 94658691293784 94658697854976 140734882183555 140734882183714 140734882183714 140734882189287 0
/proc/68624/statm: 665 352 352 5 0 90 0
[pid=68625] ppid=68624 vsize=183632 memory=145528 CPUtime=1194.02 cores=5,7
/proc/68625/stat : 68625 (ExactPR-nols) R 68624 68624 68409 0 -1 4194304 26162 0 0 0 119210 192 0 0 20 0 1 0 63302942 188039168 36382 18446744073709551615 94524354265088 94524363564741 140736314216176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94524365351232 94524365390312 94524386238464 140736314223000 140736314223140 140736314223140 140736314228713 0
/proc/68625/statm: 45908 36382 1920 2271 0 40546 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 190616 KiB
Current children cumulated memory: 149880 KiB
[startup+3596.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 68796
/proc/meminfo: memFree=124214340/131249996 swapFree=33006296/33010684
[pid=68465] ppid=68459 vsize=4324 memory=2944 CPUtime=3586.66 cores=5,7
/proc/68465/stat : 68465 (Hybrid-NuPBODee) S 68459 68465 68409 0 -1 4194304 525 113312 0 0 0 0 358446 220 20 0 1 0 63063137 4427776 736 18446744073709551615 93938598645760 93938599540293 140730811013280 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93938599779344 93938599827088 93938600787968 140730811021659 140730811021811 140730811021811 140730811027413 0
/proc/68465/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 3596.21
CPU time (s): 3586.68
CPU user time (s): 3584.47
CPU system time (s): 2.20987
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 367648
Max. memory (cumulated for all children) (KiB): 344836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.47
system time used= 2.20987
maximum resident set size= 340484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2621
involuntary context switches= 1701
# summary of solver processes directly reported to runsolver:
# pid: 68465
# total CPU time (s): 3586.68
# total CPU user time (s): 3584.47
# total CPU system time (s): 2.20987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2722 second user time and 15.382 second system time
The end
Begin job on nodeC015 at 2025-07-02 18:30:56 IDJOB=4497819 IDBENCH=148194 IDSOLVER=3332 FILE ID=nodeC015/4497819-1751473856 RUNJOBID= nodeC015-1751473856-68422 SLURM_JOB_ID= 9598501 Free space on /tmp= 432372 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497819-1751473856/watcher-4497819-1751473856 -o /tmp/evaluation-result-4497819-1751473856/solver-4497819-1751473856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751473856-68422 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4497819-1751473856.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=653520270 nodeC015 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 : 0xb00002a cpu MHz : 3600.079 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3600.072 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3624.964 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3600.068 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3661.408 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3700.000 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 pti ibrs ibpb stibp 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 : 7000.14 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 : 3600.040 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 pti ibrs ibpb stibp 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 : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.067 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 pti ibrs ibpb stibp 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 : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129112200 kB MemAvailable: 129708548 kB Buffers: 1508 kB Cached: 1380628 kB SwapCached: 3880 kB Active: 318564 kB Inactive: 1142804 kB Active(anon): 44564 kB Inactive(anon): 48856 kB Active(file): 274000 kB Inactive(file): 1093948 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 116896 kB Writeback: 4 kB AnonPages: 78452 kB Mapped: 99940 kB Shmem: 14152 kB KReclaimable: 135276 kB Slab: 225864 kB SReclaimable: 135276 kB SUnreclaim: 90588 kB KernelStack: 4080 kB PageTables: 2832 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 340408 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432232 MiB End job on nodeC015 at 2025-07-02 19:30:53