0.00/0.09	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.09	o 27
0.00/0.09	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.10/0.12	c Starting SCIP solver  (with time-limit = 1800s) ...
1795.15/1800.12	c SCIP timeout with lower and upper bounds: [11, 21]
1795.15/1800.12	o 21
1797.54/1802.55	o 18
1813.80/1818.87	s OPTIMUM FOUND
1813.80/1818.87	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 x29 x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 -x375 -x3175 x378 x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 x393 -x3210 -x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 x28 x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376 x377 x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 x490 x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 -x443 -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 x601 x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 -x587 -x588 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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2744 -x2745 -x2746 x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 x2784 -x2785 -x2786 x2787 x2789 x2790 -x2791 -x2792 x2794 x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 x2864 x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 x3014 -x3015 -x3016 x3017 x3019 x3020 -x3021 -x3022 x3024 x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 x3084 -x3085 -x3086 x3087 x3089 x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 x3181 -x3182 -x3183 x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 -x3208 x3209 x3211 -x3212 x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 -x3247 x3249 x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 -x3273 -x3275 x3277 x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 x3378 x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 x3403 -x3404 -x3405 -x3406 x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 x3423 -x3424 -x3425 -x3426 -x3428 x3430 x3432 x3434 -x3436 -x3438 -x3440 -x3442 x3444 -x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 -x3460 x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 x3553 -x3554 -x3555 x3556 -x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 x3578 x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 x3603 x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 x3616 x3618 -x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 x3636 x3638 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 -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 -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 -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 -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 -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 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 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3889 -x3890 x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 x4081 -x4083 -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 x4116 x4118 -x4119 -x4120 x4121 x4123 -x4125 -x4126 -x4127 -x4128 x4130 -x4132 -x4133 -x4134 -x4135 x4137 x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 -x4149 -x4151 -x4152 -x4153 -x4154 x4156 x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167 -x4168 x4170 -x4172 -x4173 -x4174 -x4175 x4177 -x4179 -x4180 -x4181 -x4182 x4184 x4186 -x4187 -x4188 x4189 -x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 x4212 -x4214 -x4215 -x4216 -x4217 x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 -x4275 x4276 -x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 x4294 -x4295 x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 x4313 x4315 -x4316 x4317 -x4318

OK	18

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439186-1721224590/watcher-4439186-1721224590 -o /tmp/evaluation-result-4439186-1721224590/solver-4439186-1721224590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904265 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439186-1721224590.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 4.17 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127719512/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=42972 memory=33948 CPUtime=0.1 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 6525 0 0 0 10 0 0 0 20 0 1 0 174625692 44003328 8487 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 10743 8487 2334 2594 0 7636 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42972 KiB
Current children cumulated memory: 33948 KiB

[startup+0.205607 s]*
/proc/loadavg: 4.17 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127663700/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=88688 memory=78084 CPUtime=0.2 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 17344 0 0 0 18 2 0 0 20 0 1 0 174625692 90816512 19521 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 22172 19521 2558 2594 0 19065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88688 KiB
Current children cumulated memory: 78084 KiB

[startup+0.305667 s]*
/proc/loadavg: 4.17 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127643676/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=102916 memory=91572 CPUtime=0.3 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 21215 0 0 0 28 2 0 0 20 0 1 0 174625692 105385984 22893 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 25729 22893 2574 2594 0 22622 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102916 KiB
Current children cumulated memory: 91572 KiB

[startup+0.700258 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127543276/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=108672 memory=97368 CPUtime=0.69 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 22687 0 0 0 66 3 0 0 20 0 1 0 174625692 111280128 24342 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 27168 24342 2590 2594 0 24061 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108672 KiB
Current children cumulated memory: 97368 KiB

[startup+1.50025 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127523452/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=117404 memory=106080 CPUtime=1.48 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 24842 0 0 0 145 3 0 0 20 0 1 0 174625692 120221696 26520 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 29351 26520 2590 2594 0 26244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117404 KiB
Current children cumulated memory: 106080 KiB

[startup+3.10556 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127504984/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=118732 memory=107392 CPUtime=3.09 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 25171 0 0 0 305 4 0 0 20 0 1 0 174625692 121581568 26848 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 29683 26848 2590 2594 0 26576 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118732 KiB
Current children cumulated memory: 107392 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 906405
/proc/meminfo: memFree=127421352/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=198124 memory=184956 CPUtime=6.27 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 45016 0 0 0 621 6 0 0 20 0 1 0 174625692 202878976 46239 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 49531 46239 2702 2594 0 46424 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 198124 KiB
Current children cumulated memory: 184956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 906406
/proc/meminfo: memFree=127388728/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=244464 memory=215816 CPUtime=12.66 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 52528 0 0 0 1258 8 0 0 20 0 1 0 174625692 250331136 53954 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 61116 53954 2702 2594 0 58009 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 244464 KiB
Current children cumulated memory: 215816 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 906408
/proc/meminfo: memFree=127402616/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=269088 memory=223456 CPUtime=25.43 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 54473 0 0 0 2535 8 0 0 20 0 1 0 174625692 275546112 55864 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 67272 55864 2702 2594 0 64165 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 269088 KiB
Current children cumulated memory: 223456 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 906413
/proc/meminfo: memFree=127328468/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=316444 memory=270656 CPUtime=50.97 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 66227 0 0 0 5088 9 0 0 20 0 1 0 174625692 324038656 67664 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 79111 67664 2702 2594 0 76004 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 316444 KiB
Current children cumulated memory: 270656 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 906422
/proc/meminfo: memFree=127322476/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=316444 memory=271488 CPUtime=102.03 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 67435 0 0 0 10194 9 0 0 20 0 1 0 174625692 324038656 67872 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 79111 67872 2702 2594 0 76004 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 316444 KiB
Current children cumulated memory: 271488 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 906602
/proc/meminfo: memFree=127086168/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=317412 memory=272800 CPUtime=161.86 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 72033 0 0 0 16176 10 0 0 20 0 1 0 174625692 325029888 68200 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 79353 68200 2702 2594 0 76246 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 317412 KiB
Current children cumulated memory: 272800 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 906613
/proc/meminfo: memFree=127086932/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=357744 memory=309488 CPUtime=221.68 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 81265 0 0 0 22157 11 0 0 20 0 1 0 174625692 366329856 77372 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 89436 77372 2702 2594 0 86329 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 357744 KiB
Current children cumulated memory: 309488 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 906640
/proc/meminfo: memFree=127055044/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=424448 memory=372920 CPUtime=281.5 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 97143 0 0 0 28136 14 0 0 20 0 1 0 174625692 434634752 93230 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 106112 93230 2702 2594 0 103005 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 424448 KiB
Current children cumulated memory: 372920 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 906650
/proc/meminfo: memFree=127001232/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=444804 memory=373184 CPUtime=341.31 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 102470 0 0 0 34116 15 0 0 20 0 1 0 174625692 455479296 93296 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 111201 93296 2702 2594 0 108094 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 444804 KiB
Current children cumulated memory: 373184 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 906661
/proc/meminfo: memFree=126988872/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=470420 memory=377592 CPUtime=401.14 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 103115 0 0 0 40098 16 0 0 20 0 1 0 174625692 481710080 94398 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 117605 94398 2702 2594 0 114498 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 470420 KiB
Current children cumulated memory: 377592 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 906672
/proc/meminfo: memFree=126974780/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=486204 memory=383900 CPUtime=460.95 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 104652 0 0 0 46079 16 0 0 20 0 1 0 174625692 497872896 95975 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 121551 95975 2702 2594 0 118444 0

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

/proc/loadavg: 4.07 4.10 4.09 5/256 906848
/proc/meminfo: memFree=126379416/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=646288 memory=628552 CPUtime=1418.27 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 145312 0 0 0 141803 24 0 0 20 0 1 0 174625692 661798912 157138 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 161572 157138 2702 2594 0 158465 0
Current children cumulated CPU time: 1418.27 s
Current children cumulated vsize: 646288 KiB
Current children cumulated memory: 628552 KiB

[startup+1482.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 906860
/proc/meminfo: memFree=126368024/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=658524 memory=640988 CPUtime=1478.11 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 148613 0 0 0 147787 24 0 0 20 0 1 0 174625692 674328576 160247 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 164631 160247 2702 2594 0 161524 0
Current children cumulated CPU time: 1478.11 s
Current children cumulated vsize: 658524 KiB
Current children cumulated memory: 640988 KiB

[startup+1542.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 906916
/proc/meminfo: memFree=126417012/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=662660 memory=645196 CPUtime=1537.96 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 149915 0 0 0 153771 25 0 0 20 0 1 0 174625692 678563840 161299 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 165665 161299 2702 2594 0 162558 0
Current children cumulated CPU time: 1537.96 s
Current children cumulated vsize: 662660 KiB
Current children cumulated memory: 645196 KiB

[startup+1602.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 906927
/proc/meminfo: memFree=126369168/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=668344 memory=650880 CPUtime=1597.81 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 151541 0 0 0 159756 25 0 0 20 0 1 0 174625692 684384256 162720 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 167086 162720 2702 2594 0 163979 0
Current children cumulated CPU time: 1597.81 s
Current children cumulated vsize: 668344 KiB
Current children cumulated memory: 650880 KiB

[startup+1662.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 906938
/proc/meminfo: memFree=126349532/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=671300 memory=653776 CPUtime=1657.68 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 152511 0 0 0 165742 26 0 0 20 0 1 0 174625692 687411200 163444 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 167825 163444 2702 2594 0 164718 0
Current children cumulated CPU time: 1657.68 s
Current children cumulated vsize: 671300 KiB
Current children cumulated memory: 653776 KiB

[startup+1722.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 907331
/proc/meminfo: memFree=126350436/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=677496 memory=659836 CPUtime=1717.53 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 154297 0 0 0 171727 26 0 0 20 0 1 0 174625692 693755904 164959 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 169374 164959 2702 2594 0 166267 0
Current children cumulated CPU time: 1717.53 s
Current children cumulated vsize: 677496 KiB
Current children cumulated memory: 659836 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 907387
/proc/meminfo: memFree=126505692/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=691756 memory=674252 CPUtime=1777.39 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 158094 0 0 0 177712 27 0 0 20 0 1 0 174625692 708358144 168563 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 172939 168563 2702 2594 0 169832 0
Current children cumulated CPU time: 1777.39 s
Current children cumulated vsize: 691756 KiB
Current children cumulated memory: 674252 KiB

[startup+1818.88 s]
# the end of solver process 906404 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1813.6 s, system=0.288079 s

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

[startup+1792 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 907390
/proc/meminfo: memFree=126505852/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=700200 memory=679456 CPUtime=1787.07 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 158896 0 0 0 178680 27 0 0 20 0 1 0 174625692 717004800 169864 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 175050 169864 2702 2594 0 171943 0
Current children cumulated CPU time: 1787.07 s
Current children cumulated vsize: 700200 KiB
Current children cumulated memory: 679456 KiB

[startup+1804.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 907391
/proc/meminfo: memFree=126644212/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1799.84 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159167 0 0 0 179956 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1799.84 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1811.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 907393
/proc/meminfo: memFree=126649588/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1806.22 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159167 0 0 0 180594 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1806.22 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1814.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 907393
/proc/meminfo: memFree=126649568/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1809.41 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159172 0 0 0 180913 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1809.41 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1816 s]*
/proc/loadavg: 4.13 4.12 4.09 5/257 907393
/proc/meminfo: memFree=126649560/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1811.01 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159172 0 0 0 181073 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1811.01 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1817.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 907393
/proc/meminfo: memFree=126649596/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1812.6 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159175 0 0 0 181232 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1812.6 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1818.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 907393
/proc/meminfo: memFree=126649596/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1813.4 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159175 0 0 0 181312 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1813.4 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

[startup+1818.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 907393
/proc/meminfo: memFree=126649596/131524600 swapFree=131071996/131071996
[pid=906404] ppid=906401 vsize=544452 memory=527212 CPUtime=1813.8 cores=4,6
/proc/906404/stat : 906404 (CASHWMaxSAT-Dis) R 906401 906404 904254 0 -1 4194304 159175 0 0 0 181352 28 0 0 20 0 1 0 174625692 557518848 131803 134679101440 4194304 14817773 140737482008864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 37228544 140737482015716 140737482015831 140737482015831 140737482022847 0
/proc/906404/statm: 136113 131803 2718 2594 0 133006 0
Current children cumulated CPU time: 1813.8 s
Current children cumulated vsize: 544452 KiB
Current children cumulated memory: 527212 KiB

Child status: 30

Real time (s): 1818.88
CPU time (s): 1813.89
CPU user time (s): 1813.6
CPU system time (s): 0.288079
CPU usage (%): 99.7258
Max. virtual memory (cumulated for all children) (KiB): 700552
Max. memory (cumulated for all children) (KiB): 679928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.6
system time used= 0.288079
maximum resident set size= 679928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159175
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= 31
involuntary context switches= 1625


# summary of solver processes directly reported to runsolver:
#   pid: 906404
#   total CPU time (s): 1813.89
#   total CPU user time (s): 1813.6
#   total CPU system time (s): 0.288079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58765 second user time and 8.50797 second system time

The end

Begin job on nodeC027 at 2024-07-17 15:56:43
IDJOB=4439186
IDBENCH=148191
IDSOLVER=3075
FILE ID=nodeC027/4439186-1721224590
RUNJOBID= nodeC027-1721220980-904265
SLURM_JOB_ID= 7508958
Free space on /tmp= 890028 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439186-1721224590/watcher-4439186-1721224590 -o /tmp/evaluation-result-4439186-1721224590/solver-4439186-1721224590 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904265 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439186-1721224590.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1549874398

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127750444 kB
MemAvailable:   128704384 kB
Buffers:          446012 kB
Cached:          1343264 kB
SwapCached:            0 kB
Active:           818948 kB
Inactive:        2355016 kB
Active(anon):       1544 kB
Inactive(anon):  1420552 kB
Active(file):     817404 kB
Inactive(file):   934464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14592 kB
Writeback:             0 kB
AnonPages:       1380704 kB
Mapped:           123372 kB
Shmem:             37720 kB
KReclaimable:      83788 kB
Slab:             189624 kB
SReclaimable:      83788 kB
SUnreclaim:       105836 kB
KernelStack:        4176 kB
PageTables:        11768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1758512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64672 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC027 at 2024-07-17 16:27:02