0.00/0.08	o 161
0.00/0.08	o 160
0.00/0.08	o 159
0.00/0.09	o 158
0.09/0.11	o 157
0.09/0.11	o 156
0.09/0.13	o 155
0.09/0.15	o 154
0.09/0.18	o 153
0.09/0.20	o 147
0.19/0.26	o 146
0.19/0.27	o 145
0.19/0.27	o 144
0.19/0.28	o 143
0.19/0.29	o 142
0.19/0.31	o 141
0.29/0.31	o 140
0.29/0.37	o 139
0.29/0.37	o 138
0.29/0.39	o 137
0.29/0.40	o 136
0.49/0.55	o 135
0.49/0.57	o 134
0.49/0.60	o 133
0.59/0.61	o 132
0.59/0.63	o 131
0.59/0.68	o 130
0.88/0.91	o 129
0.88/0.96	o 128
1.08/1.12	o 127
1.88/1.96	o 126
1.98/2.10	o 125
2.07/2.16	o 124
2.07/2.18	o 123
2.18/2.24	o 122
2.27/2.31	o 121
4.56/4.62	o 120
4.56/4.66	o 119
4.66/4.74	o 118
4.66/4.78	o 117
4.76/4.87	o 116
4.86/4.91	o 115
4.86/4.96	o 114
4.97/5.01	o 113
5.16/5.28	o 112
6.26/6.34	o 111
19.62/19.75	o 110
30.28/30.43	o 109
31.77/31.99	o 108
39.55/39.79	o 107
42.34/42.58	o 106
42.64/42.81	o 105
42.74/42.97	o 104
45.83/46.04	o 103
53.30/53.56	o 102
60.08/60.36	o 101
61.08/61.38	o 100
63.37/63.64	o 99
75.53/75.84	o 98
75.73/76.03	o 97
75.83/76.15	o 96
76.03/76.35	o 95
76.13/76.43	o 94
77.12/77.46	o 93
80.31/80.63	o 92
85.70/86.08	o 91
110.02/110.44	o 90
161.85/162.40	o 89
211.88/212.65	o 88
211.88/212.68	o 87
259.12/260.05	o 86
315.82/316.96	o 85
334.76/336.00	o 84
448.79/450.37	o 83
490.36/492.02	o 82
564.63/566.54	o 81
633.81/635.94	o 80
634.21/636.37	o 79
700.20/702.54	o 78
815.95/818.64	o 77
921.92/925.00	o 76
922.03/925.05	o 75
953.62/956.72	o 74
975.75/978.98	o 73
1058.10/1061.57	o 72
1241.04/1245.05	o 71
1330.27/1334.50	o 70
1766.36/1771.90	o 69
1790.50/1796.15	o 68
1838.05/1843.80	o 67
1845.62/1851.47	o 66
3600.09/3611.50	c Program interrupted by user.
3600.09/3611.50	s SATISFIABLE
3600.09/3611.50	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676

OK	66

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62744 MiB free)
  memory of node 1: 64473 MiB (62296 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433408-1721075316/watcher-4433408-1721075316 -o /tmp/evaluation-result-4433408-1721075316/solver-4433408-1721075316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721071603-818143 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1336365485 HOME/instance-4433408-1721075316.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=821318, runsolver pid=821315

[startup+0.100879 s]*
/proc/loadavg: 4.01 4.09 4.08 5/256 821319
/proc/meminfo: memFree=128018740/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=44936 memory=26204 CPUtime=0.09 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 5317 0 0 0 9 0 0 0 20 0 1 0 159700486 46014464 6551 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 11234 6551 835 746 0 10298 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44936 KiB
Current children cumulated memory: 26204 KiB

[startup+0.205879 s]*
/proc/loadavg: 4.01 4.09 4.08 5/256 821319
/proc/meminfo: memFree=128007216/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=52068 memory=37684 CPUtime=0.19 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 7119 0 0 0 19 0 0 0 20 0 1 0 159700486 53317632 9421 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 13017 9421 835 746 0 12081 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 37684 KiB

[startup+0.305505 s]*
/proc/loadavg: 4.01 4.09 4.08 5/256 821319
/proc/meminfo: memFree=127999552/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=59196 memory=46856 CPUtime=0.29 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 8893 0 0 0 28 1 0 0 20 0 1 0 159700486 60616704 11714 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 14799 11714 835 746 0 13863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59196 KiB
Current children cumulated memory: 46856 KiB

[startup+0.700216 s]
/proc/loadavg: 4.01 4.09 4.08 5/256 821319
/proc/meminfo: memFree=127992492/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=79476 memory=73052 CPUtime=0.68 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 13970 0 0 0 66 2 0 0 20 0 1 0 159700486 81383424 18263 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 19869 18263 835 746 0 18933 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79476 KiB
Current children cumulated memory: 73052 KiB

[startup+1.50018 s]
/proc/loadavg: 4.01 4.09 4.08 6/258 821359
/proc/meminfo: memFree=127961476/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=96136 memory=85724 CPUtime=1.47 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 15268 0 0 0 145 2 0 0 20 0 1 0 159700486 98443264 21431 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 24034 21431 835 746 0 23098 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 96136 KiB
Current children cumulated memory: 85724 KiB

[startup+3.10584 s]
/proc/loadavg: 4.01 4.09 4.08 5/258 821491
/proc/meminfo: memFree=127905260/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=155028 memory=137068 CPUtime=3.08 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 23969 0 0 0 303 5 0 0 20 0 1 0 159700486 158748672 34267 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 38757 34267 835 746 0 37821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 155028 KiB
Current children cumulated memory: 137068 KiB

[startup+6.30022 s]
/proc/loadavg: 4.01 4.09 4.08 5/258 821491
/proc/meminfo: memFree=127899544/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=157440 memory=147604 CPUtime=6.26 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 25079 0 0 0 620 6 0 0 20 0 1 0 159700486 161218560 36901 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 39360 36901 835 746 0 38424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 157440 KiB
Current children cumulated memory: 147604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.09 4.08 5/258 821492
/proc/meminfo: memFree=127778460/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=333516 memory=263424 CPUtime=12.64 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 42356 0 0 0 1252 12 0 0 20 0 1 0 159700486 341520384 65856 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 83379 65856 835 746 0 82443 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 333516 KiB
Current children cumulated memory: 263424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 821494
/proc/meminfo: memFree=127658964/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=449144 memory=366288 CPUtime=25.4 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 61078 0 0 0 2524 16 0 0 20 0 1 0 159700486 459923456 91572 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 112286 91572 835 746 0 111350 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 449144 KiB
Current children cumulated memory: 366288 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.08 5/258 821497
/proc/meminfo: memFree=127644800/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=449408 memory=367188 CPUtime=50.92 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 61415 0 0 0 5075 17 0 0 20 0 1 0 159700486 460193792 91797 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 112352 91797 835 746 0 111416 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 449408 KiB
Current children cumulated memory: 367188 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 821507
/proc/meminfo: memFree=127574400/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=469964 memory=425976 CPUtime=101.95 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 68591 0 0 0 10176 19 0 0 20 0 1 0 159700486 481243136 106494 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 117491 106494 835 746 0 116555 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 469964 KiB
Current children cumulated memory: 425976 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 821576
/proc/meminfo: memFree=127522072/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=473292 memory=429128 CPUtime=161.75 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 69464 0 0 0 16156 19 0 0 20 0 1 0 159700486 484651008 107282 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 118323 107282 835 746 0 117387 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 473292 KiB
Current children cumulated memory: 429128 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 821588
/proc/meminfo: memFree=127511348/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=475592 memory=434104 CPUtime=221.55 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 70831 0 0 0 22135 20 0 0 20 0 1 0 159700486 487006208 108526 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 118898 108526 835 746 0 117962 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 475592 KiB
Current children cumulated memory: 434104 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 821599
/proc/meminfo: memFree=127485616/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=605224 memory=456540 CPUtime=281.34 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 74438 0 0 0 28110 24 0 0 20 0 1 0 159700486 619749376 114135 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 151306 114135 835 746 0 150370 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 605224 KiB
Current children cumulated memory: 456540 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 821610
/proc/meminfo: memFree=127473432/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=608104 memory=465916 CPUtime=341.14 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 75412 0 0 0 34090 24 0 0 20 0 1 0 159700486 622698496 116479 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 152026 116479 835 746 0 151090 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 608104 KiB
Current children cumulated memory: 465916 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 821620
/proc/meminfo: memFree=127443484/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=615916 memory=493584 CPUtime=400.94 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 77159 0 0 0 40070 24 0 0 20 0 1 0 159700486 630697984 123396 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 153979 123396 835 746 0 153043 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 615916 KiB
Current children cumulated memory: 493584 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 821630
/proc/meminfo: memFree=127415476/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=619560 memory=519540 CPUtime=460.75 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 78444 0 0 0 46050 25 0 0 20 0 1 0 159700486 634429440 129885 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 154890 129885 835 746 0 153954 0

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

Current children cumulated memory: 574304 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/254 822647
/proc/meminfo: memFree=127287372/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640496 CPUtime=2913.21 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 105456 0 0 0 291289 32 0 0 20 0 1 0 159700486 729554944 160124 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160124 835 746 0 177178 0
Current children cumulated CPU time: 2913.21 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640496 KiB

[startup+2982.3 s]
/proc/loadavg: 4.41 4.23 4.14 5/255 822658
/proc/meminfo: memFree=127286336/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640496 CPUtime=2973.03 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 105737 0 0 0 297271 32 0 0 20 0 1 0 159700486 729554944 160124 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160124 835 746 0 177178 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640496 KiB

[startup+3042.3 s]
/proc/loadavg: 4.26 4.22 4.14 5/255 822668
/proc/meminfo: memFree=127283940/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640496 CPUtime=3032.84 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 105958 0 0 0 303252 32 0 0 20 0 1 0 159700486 729554944 160124 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160124 835 746 0 177178 0
Current children cumulated CPU time: 3032.84 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/255 822678
/proc/meminfo: memFree=127281968/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640496 CPUtime=3092.63 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 106189 0 0 0 309230 33 0 0 20 0 1 0 159700486 729554944 160124 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160124 835 746 0 177178 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640496 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.20 4.14 5/258 822694
/proc/meminfo: memFree=127279904/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640520 CPUtime=3152.41 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 106459 0 0 0 315208 33 0 0 20 0 1 0 159700486 729554944 160130 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160130 835 746 0 177178 0
Current children cumulated CPU time: 3152.41 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640520 KiB

[startup+3222.3 s]
/proc/loadavg: 4.69 4.33 4.19 5/260 822710
/proc/meminfo: memFree=127278524/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=712456 memory=640520 CPUtime=3212.19 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 106709 0 0 0 321186 33 0 0 20 0 1 0 159700486 729554944 160130 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178114 160130 835 746 0 177178 0
Current children cumulated CPU time: 3212.19 s
Current children cumulated vsize: 712456 KiB
Current children cumulated memory: 640520 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.29 4.18 5/259 822720
/proc/meminfo: memFree=127275184/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=642880 CPUtime=3271.98 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 107525 0 0 0 327164 34 0 0 20 0 1 0 159700486 731783168 160720 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 160720 835 746 0 177722 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 642880 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/259 822731
/proc/meminfo: memFree=127227816/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=642880 CPUtime=3331.77 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 107798 0 0 0 333143 34 0 0 20 0 1 0 159700486 731783168 160720 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 160720 835 746 0 177722 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 642880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.23 4.17 5/260 822742
/proc/meminfo: memFree=127215000/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=654620 CPUtime=3391.55 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108060 0 0 0 339121 34 0 0 20 0 1 0 159700486 731783168 163655 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 163655 835 746 0 177722 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 654620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.23 4.18 5/259 823136
/proc/meminfo: memFree=127200820/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=665812 CPUtime=3451.37 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108348 0 0 0 345102 35 0 0 20 0 1 0 159700486 731783168 166453 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 166453 835 746 0 177722 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 665812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/257 823562
/proc/meminfo: memFree=127457748/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=665812 CPUtime=3511.18 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108644 0 0 0 351083 35 0 0 20 0 1 0 159700486 731783168 166453 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 166453 835 746 0 177722 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 665812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/257 823572
/proc/meminfo: memFree=127195872/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=665812 CPUtime=3570.98 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108910 0 0 0 357063 35 0 0 20 0 1 0 159700486 731783168 166453 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 166453 835 746 0 177722 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 665812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.19 4.19 4.17 5/257 823743
/proc/meminfo: memFree=126948448/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=665812 CPUtime=3600.09 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108962 0 0 0 359974 35 0 0 20 0 1 0 159700486 731783168 166453 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 166453 835 746 0 177722 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 665812 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.51 s]
# the end of solver process 821318 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.76 s, system=0.358472 s

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

[startup+3611.5 s]
/proc/loadavg: 4.19 4.19 4.17 5/257 823743
/proc/meminfo: memFree=126948448/131524600 swapFree=131071996/131071996
[pid=821318] ppid=821315 vsize=714632 memory=665812 CPUtime=3600.09 cores=0,2
/proc/821318/stat : 821318 (Exact_nosoplex) R 821315 821318 818133 0 -1 4194304 108962 0 0 0 359974 35 0 0 20 0 1 0 159700486 731783168 166453 134679101440 4194304 7248369 140721878954944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 22908928 140721878959020 140721878959199 140721878959199 140721878966214 0
/proc/821318/statm: 178658 166453 835 746 0 177722 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 714632 KiB
Current children cumulated memory: 665812 KiB

Child status: 10

Real time (s): 3611.51
CPU time (s): 3600.12
CPU user time (s): 3599.76
CPU system time (s): 0.358472
CPU usage (%): 99.6844
Max. virtual memory (cumulated for all children) (KiB): 714632
Max. memory (cumulated for all children) (KiB): 665812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.76
system time used= 0.358472
maximum resident set size= 665812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89
involuntary context switches= 25205


# summary of solver processes directly reported to runsolver:
#   pid: 821318
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3599.76
#   total CPU system time (s): 0.358472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27491 second user time and 16.4543 second system time

The end

Begin job on nodeC032 at 2024-07-15 22:28:48
IDJOB=4433408
IDBENCH=147201
IDSOLVER=3061
FILE ID=nodeC032/4433408-1721075316
RUNJOBID= nodeC032-1721071603-818143
SLURM_JOB_ID= 7505534
Free space on /tmp= 890068 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433408-1721075316/watcher-4433408-1721075316 -o /tmp/evaluation-result-4433408-1721075316/solver-4433408-1721075316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721071603-818143 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1336365485 HOME/instance-4433408-1721075316.opb

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

MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=1336365485

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.873
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3687.745
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3648.445
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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.216
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3677.066
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3687.756
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3618.373
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3599.913
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128042232 kB
MemAvailable:   129313480 kB
Buffers:          379636 kB
Cached:          1720544 kB
SwapCached:            0 kB
Active:           640412 kB
Inactive:        2232228 kB
Active(anon):       1556 kB
Inactive(anon):   808628 kB
Active(file):     638856 kB
Inactive(file):  1423600 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4992 kB
Writeback:             0 kB
AnonPages:        772552 kB
Mapped:           113688 kB
Shmem:             37720 kB
KReclaimable:      97232 kB
Slab:             203068 kB
SReclaimable:      97232 kB
SUnreclaim:       105836 kB
KernelStack:        4128 kB
PageTables:        10768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1138616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC032 at 2024-07-15 23:29:00