0.00/0.00	c Filename:instance-4428575-1722788584.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.00/0.02	c Parse finsih
0.00/0.02	c Start Presolve
0.09/0.11	c After Reduce Vars: 4681 Clauses: 5082 Top clause weight: 4682 Hard Clauses: 401
0.09/0.12	c Use LS-small
0.09/0.12	c Use postsolve
0.09/0.12	o 181
0.09/0.12	c Use postsolve
0.09/0.12	o 180
0.09/0.12	c Use postsolve
0.09/0.12	o 179
0.09/0.12	c Use postsolve
0.09/0.13	o 178
0.09/0.13	c Use postsolve
0.09/0.13	o 177
0.09/0.13	c Use postsolve
0.09/0.13	o 176
0.09/0.13	c Use postsolve
0.09/0.13	o 175
0.09/0.13	c Use postsolve
0.09/0.13	o 174
0.09/0.13	c Use postsolve
0.09/0.13	o 173
0.09/0.13	c Use postsolve
0.09/0.13	o 172
0.09/0.13	c Use postsolve
0.09/0.13	o 171
0.09/0.13	c Use postsolve
0.09/0.14	o 170
0.09/0.14	c Use postsolve
0.09/0.14	o 169
0.09/0.14	c Use postsolve
0.09/0.14	o 168
0.09/0.14	c Use postsolve
0.09/0.14	o 167
0.09/0.14	c Use postsolve
0.09/0.14	o 166
0.09/0.14	c Use postsolve
0.09/0.14	o 165
0.09/0.14	c Use postsolve
0.09/0.14	o 164
0.09/0.14	c Use postsolve
0.09/0.15	o 163
0.09/0.15	c Use postsolve
0.09/0.15	o 162
0.09/0.15	c Use postsolve
0.09/0.15	o 161
0.09/0.15	c Use postsolve
0.09/0.15	o 160
0.09/0.15	c Use postsolve
0.09/0.15	o 159
0.09/0.15	c Use postsolve
0.09/0.15	o 158
0.09/0.15	c Use postsolve
0.09/0.15	o 157
0.09/0.15	c Use postsolve
0.09/0.15	o 156
0.09/0.15	c Use postsolve
0.09/0.16	o 155
0.09/0.16	c Use postsolve
0.09/0.16	o 154
0.09/0.16	c Use postsolve
0.09/0.16	o 153
0.09/0.16	c Use postsolve
0.09/0.16	o 152
0.09/0.16	c Use postsolve
0.09/0.16	o 151
0.09/0.16	c Use postsolve
0.09/0.16	o 140
0.09/0.16	c Use postsolve
0.09/0.16	o 139
0.09/0.17	c Use postsolve
0.09/0.17	o 135
0.09/0.17	c Use postsolve
0.09/0.17	o 132
0.09/0.17	c Use postsolve
0.09/0.17	o 131
0.09/0.18	c Use postsolve
0.09/0.18	o 130
0.09/0.18	c Use postsolve
0.09/0.19	o 129
0.09/0.19	c Use postsolve
0.09/0.19	o 128
0.20/0.21	c Use postsolve
0.20/0.21	o 126
0.29/0.39	c Use postsolve
0.29/0.39	o 125
0.69/0.70	c Use postsolve
0.69/0.70	o 124
1.38/1.41	c Use postsolve
1.38/1.42	o 123
9.17/9.22	c Use postsolve
9.17/9.22	o 122
129.16/129.41	c Use postsolve
129.16/129.41	o 121
3557.98/3564.31	s SATISFIABLE
3557.98/3564.31	c Use postsolve
3557.98/3564.31	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 
3557.98/3564.31	c Done 129.17s

OK	121

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428575-1722788584/watcher-4428575-1722788584 -o /tmp/evaluation-result-4428575-1722788584/solver-4428575-1722788584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722781456-242611 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428575-1722788584.opb -t 3558 -s 2122877086 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=246567, runsolver pid=246564

[startup+0.100263 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 246568
/proc/meminfo: memFree=129300108/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=21984 memory=9452 CPUtime=0.09 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 1057 0 0 0 9 0 0 0 20 0 1 0 45459514 22511616 2363 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 5496 2363 1105 2753 0 2149 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21984 KiB
Current children cumulated memory: 9452 KiB

[startup+0.204619 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 246568
/proc/meminfo: memFree=129296636/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=0.2 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 5977 0 0 0 19 1 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+0.305415 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 246568
/proc/meminfo: memFree=129296524/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=0.29 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6084 0 0 0 28 1 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+0.700139 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 246568
/proc/meminfo: memFree=129296384/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=0.69 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6191 0 0 0 64 5 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+1.50014 s]
/proc/loadavg: 4.08 4.11 4.09 4/255 246568
/proc/meminfo: memFree=129299280/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=1.48 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6405 0 0 0 137 11 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+3.10446 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 246614
/proc/meminfo: memFree=129296980/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=3.09 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6405 0 0 0 282 27 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+6.30014 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389688/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=6.28 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6405 0 0 0 571 57 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246708
/proc/meminfo: memFree=129389456/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=12.66 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6513 0 0 0 1151 115 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 246711
/proc/meminfo: memFree=129373872/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=25.45 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6513 0 0 0 2304 241 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 246714
/proc/meminfo: memFree=129373192/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12424 CPUtime=51 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6513 0 0 0 4612 488 0 0 20 0 1 0 45459514 25362432 3106 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3106 1169 2753 0 2845 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12424 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 246725
/proc/meminfo: memFree=129369256/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=102.1 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6529 0 0 0 9230 980 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 247120
/proc/meminfo: memFree=129468092/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=161.99 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6643 0 0 0 14619 1580 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/255 247131
/proc/meminfo: memFree=129467384/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=221.89 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6647 0 0 0 20017 2172 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 221.89 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 247143
/proc/meminfo: memFree=129466632/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=281.78 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6649 0 0 0 25411 2767 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 281.78 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/257 247323
/proc/meminfo: memFree=129465456/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=341.68 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6651 0 0 0 30804 3364 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 341.68 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/257 247334
/proc/meminfo: memFree=129465252/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=401.57 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6653 0 0 0 36200 3957 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 401.57 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 247402
/proc/meminfo: memFree=129463784/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=461.47 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6655 0 0 0 41591 4556 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0

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

/proc/loadavg: 4.07 4.15 4.11 5/254 248483
/proc/meminfo: memFree=129429700/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3216.59 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6747 0 0 0 289947 31712 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3216.59 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/254 248495
/proc/meminfo: memFree=129428692/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3276.48 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6749 0 0 0 295344 32304 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3276.48 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/254 248506
/proc/meminfo: memFree=129428148/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3336.37 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6751 0 0 0 300753 32884 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3336.37 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/254 248516
/proc/meminfo: memFree=129427332/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3396.27 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6753 0 0 0 306166 33461 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3396.27 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 248531
/proc/meminfo: memFree=129426264/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3456.16 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6755 0 0 0 311568 34048 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3456.16 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 248543
/proc/meminfo: memFree=129425632/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3516.05 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 316963 34642 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3516.05 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

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

# cumulated CPU time of all completed processes:  user=3207.52 s, system=350.489 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 248544
/proc/meminfo: memFree=129425576/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3526.54 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 317906 34748 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3526.54 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 248547
/proc/meminfo: memFree=129425352/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3539.31 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 319062 34869 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3539.31 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3552 s]*
/proc/loadavg: 4.20 4.13 4.10 5/257 248548
/proc/meminfo: memFree=129425324/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3545.7 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 319637 34933 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3545.7 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3558.4 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 248550
/proc/meminfo: memFree=129425240/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3552.09 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 320219 34990 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3552.09 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3561.6 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 248550
/proc/meminfo: memFree=129425212/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3555.29 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6757 0 0 0 320506 35023 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3555.29 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3563.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 248550
/proc/meminfo: memFree=129425212/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3556.88 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6759 0 0 0 320649 35039 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3556.88 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3564 s]*
/proc/loadavg: 4.17 4.13 4.10 5/257 248551
/proc/meminfo: memFree=129424860/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3557.68 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6759 0 0 0 320723 35045 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3557.68 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3564.2 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 248551
/proc/meminfo: memFree=129424860/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3557.88 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6759 0 0 0 320741 35047 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3557.88 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

[startup+3564.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 248551
/proc/meminfo: memFree=129424860/131524600 swapFree=131063756/131071996
[pid=246567] ppid=246564 vsize=24768 memory=12660 CPUtime=3557.98 cores=1,3
/proc/246567/stat : 246567 (LS-MabP) R 246564 246567 242599 0 -1 4194304 6759 0 0 0 320750 35048 0 0 20 0 1 0 45459514 25362432 3165 134679101440 4194304 15467897 140720805433328 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 43413504 140720805442585 140720805442694 140720805442694 140720805449710 0
/proc/246567/statm: 6192 3165 1169 2753 0 2845 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 24768 KiB
Current children cumulated memory: 12660 KiB

Child status: 0

Real time (s): 3564.32
CPU time (s): 3558.01
CPU user time (s): 3207.52
CPU system time (s): 350.489
CPU usage (%): 99.8229
Max. virtual memory (cumulated for all children) (KiB): 24768
Max. memory (cumulated for all children) (KiB): 12660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3207.52
system time used= 350.489
maximum resident set size= 12972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6869
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= 4
involuntary context switches= 1158


# summary of solver processes directly reported to runsolver:
#   pid: 246567
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3207.52
#   total CPU system time (s): 350.489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36348 second user time and 15.2935 second system time

The end

Begin job on nodeC029 at 2024-08-04 18:23:04
IDJOB=4428575
IDBENCH=147662
IDSOLVER=3049
FILE ID=nodeC029/4428575-1722788584
RUNJOBID= nodeC029-1722781456-242611
SLURM_JOB_ID= 8258550
Free space on /tmp= 890032 MiB

SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428575-1722788584/watcher-4428575-1722788584 -o /tmp/evaluation-result-4428575-1722788584/solver-4428575-1722788584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722781456-242611 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428575-1722788584.opb -t 3558 -s 2122877086 --no-s

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

MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=2122877086

nodeC029.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		: 3663.443
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.02
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		: 3665.148
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.75
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		: 3600.128
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.02
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		: 3662.659
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.75
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		: 3663.434
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.02
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		: 3670.025
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.75
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.105
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.02
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		: 3614.993
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129305584 kB
MemAvailable:   129672988 kB
Buffers:          289152 kB
Cached:           919880 kB
SwapCached:          212 kB
Active:           502244 kB
Inactive:        1216348 kB
Active(anon):       1712 kB
Inactive(anon):   537108 kB
Active(file):     500532 kB
Inactive(file):   679240 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131063756 kB
Dirty:             16196 kB
Writeback:            56 kB
AnonPages:        508604 kB
Mapped:           110480 kB
Shmem:             29216 kB
KReclaimable:      54908 kB
Slab:             143968 kB
SReclaimable:      54908 kB
SUnreclaim:        89060 kB
KernelStack:        4128 kB
PageTables:        10272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     871412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 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:      287444 kB
DirectMap2M:    24651776 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC029 at 2024-08-04 19:22:29