0.10/0.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.11	o 25
0.10/0.11	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.10/0.14	c Starting SCIP solver  (with time-limit = 1800s) ...
1795.29/1800.14	c SCIP timeout with lower and upper bounds: [11, 19]
1795.29/1800.14	o 19
1796.89/1801.74	o 18
1797.09/1801.97	s OPTIMUM FOUND
1797.09/1801.97	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: 63665 MiB (61078 MiB free)
  memory of node 1: 64507 MiB (59225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497674-1751392067/watcher-4497674-1751392067 -o /tmp/evaluation-result-4497674-1751392067/solver-4497674-1751392067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751385258-57041 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4497674-1751392067.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123178860/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=36760 memory=20492 CPUtime=0.1 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 4143 0 0 0 10 0 0 0 20 0 1 0 54884450 37642240 5123 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 9190 5123 768 2416 0 6292 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36760 KiB
Current children cumulated memory: 20492 KiB

[startup+0.205524 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123130728/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=80888 memory=70464 CPUtime=0.2 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 15955 0 0 0 19 1 0 0 20 0 1 0 54884450 82829312 17616 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 20222 17616 2336 2416 0 17324 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80888 KiB
Current children cumulated memory: 70464 KiB

[startup+0.305479 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123122664/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=95024 memory=84928 CPUtime=0.3 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 19584 0 0 0 28 2 0 0 20 0 1 0 54884450 97304576 21232 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 23756 21232 2336 2416 0 20858 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95024 KiB
Current children cumulated memory: 84928 KiB

[startup+0.700175 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123114668/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=100236 memory=89792 CPUtime=0.69 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 20725 0 0 0 67 2 0 0 20 0 1 0 54884450 102641664 22448 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 25059 22448 2400 2416 0 22161 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100236 KiB
Current children cumulated memory: 89792 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123106604/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=108572 memory=97856 CPUtime=1.49 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 22753 0 0 0 146 3 0 0 20 0 1 0 54884450 111177728 24464 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 27143 24464 2400 2416 0 24245 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108572 KiB
Current children cumulated memory: 97856 KiB

[startup+3.10533 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 59285
/proc/meminfo: memFree=123106856/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=146460 memory=135104 CPUtime=3.08 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 32089 0 0 0 304 4 0 0 20 0 1 0 54884450 149975040 33776 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 36615 33776 2432 2416 0 33717 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146460 KiB
Current children cumulated memory: 135104 KiB

[startup+6.30015 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 59285
/proc/meminfo: memFree=123050660/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=176464 memory=160452 CPUtime=6.27 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 37842 0 0 0 622 5 0 0 20 0 1 0 54884450 180699136 40113 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 44116 40113 2528 2416 0 41218 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 176464 KiB
Current children cumulated memory: 160452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 59286
/proc/meminfo: memFree=123028820/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=206344 memory=176708 CPUtime=12.65 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 41914 0 0 0 1259 6 0 0 20 0 1 0 54884450 211296256 44177 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 51586 44177 2528 2416 0 48688 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 206344 KiB
Current children cumulated memory: 176708 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 59286
/proc/meminfo: memFree=123027728/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=233680 memory=181956 CPUtime=25.41 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 43235 0 0 0 2535 6 0 0 20 0 1 0 54884450 239288320 45489 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 58420 45489 2528 2416 0 55522 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233680 KiB
Current children cumulated memory: 181956 KiB

[startup+51.1054 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 59286
/proc/meminfo: memFree=122989524/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=280428 memory=227780 CPUtime=50.95 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 54690 0 0 0 5086 9 0 0 20 0 1 0 54884450 287158272 56945 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 70107 56945 2528 2416 0 67209 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 280428 KiB
Current children cumulated memory: 227780 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 59288
/proc/meminfo: memFree=122984164/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=280428 memory=227780 CPUtime=101.99 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 54712 0 0 0 10190 9 0 0 20 0 1 0 54884450 287158272 56945 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 70107 56945 2528 2416 0 67209 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 280428 KiB
Current children cumulated memory: 227780 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 59290
/proc/meminfo: memFree=122934672/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=332764 memory=275012 CPUtime=161.82 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 66518 0 0 0 16170 12 0 0 20 0 1 0 54884450 340750336 68753 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 83191 68753 2528 2416 0 80293 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 332764 KiB
Current children cumulated memory: 275012 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 59293
/proc/meminfo: memFree=122900432/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=384440 memory=323420 CPUtime=221.64 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 78091 0 0 0 22150 14 0 0 20 0 1 0 54884450 393666560 80855 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 96110 80855 2528 2416 0 93212 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 384440 KiB
Current children cumulated memory: 323420 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 59298
/proc/meminfo: memFree=122916600/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=403856 memory=327900 CPUtime=281.46 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 79226 0 0 0 28132 14 0 0 20 0 1 0 54884450 413548544 81975 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 100964 81975 2528 2416 0 98066 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 403856 KiB
Current children cumulated memory: 327900 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 59301
/proc/meminfo: memFree=122881188/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=438804 memory=362460 CPUtime=341.29 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 87899 0 0 0 34112 17 0 0 20 0 1 0 54884450 449335296 90615 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 109701 90615 2528 2416 0 106803 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 438804 KiB
Current children cumulated memory: 362460 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 59303
/proc/meminfo: memFree=122802396/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=534348 memory=419676 CPUtime=401.1 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 102959 0 0 0 40090 20 0 0 20 0 1 0 54884450 547172352 104919 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 133587 104919 2528 2416 0 130689 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 534348 KiB
Current children cumulated memory: 419676 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/265 59310
/proc/meminfo: memFree=122781784/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=534348 memory=435804 CPUtime=460.92 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 103653 0 0 0 46072 20 0 0 20 0 1 0 54884450 547172352 108951 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 133587 108951 2528 2416 0 130689 0

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

/proc/loadavg: 4.34 4.16 4.11 5/264 59408
/proc/meminfo: memFree=123943764/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=727404 memory=665948 CPUtime=1358.6 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 130722 0 0 0 135834 26 0 0 20 0 1 0 54884450 744861696 166487 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 181851 166487 2528 2416 0 178953 0
Current children cumulated CPU time: 1358.6 s
Current children cumulated vsize: 727404 KiB
Current children cumulated memory: 665948 KiB

[startup+1422.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/264 59411
/proc/meminfo: memFree=123940300/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=730344 memory=669020 CPUtime=1418.45 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 131591 0 0 0 141819 26 0 0 20 0 1 0 54884450 747872256 167255 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 182586 167255 2528 2416 0 179688 0
Current children cumulated CPU time: 1418.45 s
Current children cumulated vsize: 730344 KiB
Current children cumulated memory: 669020 KiB

[startup+1482.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/264 59415
/proc/meminfo: memFree=123931272/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=735920 memory=674396 CPUtime=1478.29 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 132961 0 0 0 147803 26 0 0 20 0 1 0 54884450 753582080 168599 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 183980 168599 2528 2416 0 181082 0
Current children cumulated CPU time: 1478.29 s
Current children cumulated vsize: 735920 KiB
Current children cumulated memory: 674396 KiB

[startup+1542.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/265 59418
/proc/meminfo: memFree=123929000/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=743560 memory=682076 CPUtime=1538.15 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 135068 0 0 0 153788 27 0 0 20 0 1 0 54884450 761405440 170519 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 185890 170519 2528 2416 0 182992 0
Current children cumulated CPU time: 1538.15 s
Current children cumulated vsize: 743560 KiB
Current children cumulated memory: 682076 KiB

[startup+1602.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/266 59421
/proc/meminfo: memFree=123874364/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=747576 memory=686300 CPUtime=1597.99 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 136142 0 0 0 159772 27 0 0 20 0 1 0 54884450 765517824 171575 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 186894 171575 2528 2416 0 183996 0
Current children cumulated CPU time: 1597.99 s
Current children cumulated vsize: 747576 KiB
Current children cumulated memory: 686300 KiB

[startup+1662.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 59427
/proc/meminfo: memFree=123868872/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=751968 memory=690524 CPUtime=1657.84 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 137210 0 0 0 165757 27 0 0 20 0 1 0 54884450 770015232 172631 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 187992 172631 2528 2416 0 185094 0
Current children cumulated CPU time: 1657.84 s
Current children cumulated vsize: 751968 KiB
Current children cumulated memory: 690524 KiB

[startup+1722.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/266 59429
/proc/meminfo: memFree=123866416/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=755668 memory=694364 CPUtime=1717.69 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 138362 0 0 0 171741 28 0 0 20 0 1 0 54884450 773804032 173591 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 188917 173591 2528 2416 0 186019 0
Current children cumulated CPU time: 1717.69 s
Current children cumulated vsize: 755668 KiB
Current children cumulated memory: 694364 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 59431
/proc/meminfo: memFree=123853572/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=781036 memory=700380 CPUtime=1777.53 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 139880 0 0 0 177725 28 0 0 20 0 1 0 54884450 799780864 175095 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 195259 175095 2528 2416 0 192361 0
Current children cumulated CPU time: 1777.53 s
Current children cumulated vsize: 781036 KiB
Current children cumulated memory: 700380 KiB

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

# cumulated CPU time of all completed processes:  user=1796.88 s, system=0.296105 s

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

[startup+1792 s]*
/proc/loadavg: 4.09 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123851532/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=788360 memory=701532 CPUtime=1787.21 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140185 0 0 0 178693 28 0 0 20 0 1 0 54884450 807280640 175383 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 197090 175383 2528 2416 0 194192 0
Current children cumulated CPU time: 1787.21 s
Current children cumulated vsize: 788360 KiB
Current children cumulated memory: 701532 KiB

[startup+1798.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123851784/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=788360 memory=701532 CPUtime=1793.59 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140185 0 0 0 179331 28 0 0 20 0 1 0 54884450 807280640 175383 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 197090 175383 2528 2416 0 194192 0
Current children cumulated CPU time: 1793.59 s
Current children cumulated vsize: 788360 KiB
Current children cumulated memory: 701532 KiB

[startup+1800 s]*
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123851784/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=788784 memory=702044 CPUtime=1795.19 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140311 0 0 0 179491 28 0 0 20 0 1 0 54884450 807714816 175511 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 197196 175511 2528 2416 0 194298 0
Current children cumulated CPU time: 1795.19 s
Current children cumulated vsize: 788784 KiB
Current children cumulated memory: 702044 KiB

[startup+1800.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123851784/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=723508 memory=662432 CPUtime=1795.99 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140452 0 0 0 179570 29 0 0 20 0 1 0 54884450 740872192 165608 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 180877 165608 2528 2416 0 177979 0
Current children cumulated CPU time: 1795.99 s
Current children cumulated vsize: 723508 KiB
Current children cumulated memory: 662432 KiB

[startup+1801.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123875840/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=723636 memory=662560 CPUtime=1796.79 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140484 0 0 0 179650 29 0 0 20 0 1 0 54884450 741003264 165640 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 180909 165640 2528 2416 0 178011 0
Current children cumulated CPU time: 1796.79 s
Current children cumulated vsize: 723636 KiB
Current children cumulated memory: 662560 KiB

[startup+1801.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123875840/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=723636 memory=662560 CPUtime=1796.99 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140484 0 0 0 179670 29 0 0 20 0 1 0 54884450 741003264 165640 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 180909 165640 2528 2416 0 178011 0
Current children cumulated CPU time: 1796.99 s
Current children cumulated vsize: 723636 KiB
Current children cumulated memory: 662560 KiB

[startup+1801.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 59432
/proc/meminfo: memFree=123875840/131249996 swapFree=33010684/33010684
[pid=59284] ppid=59281 vsize=723636 memory=662560 CPUtime=1797.09 cores=0,2
/proc/59284/stat : 59284 (CASHWMaxSAT-Dis) R 59281 59284 57031 0 -1 4194304 140484 0 0 0 179680 29 0 0 20 0 1 0 54884450 741003264 165640 18446744073709551615 4198400 14093885 140731515208256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33050624 140731515210090 140731515210205 140731515210205 140731515215807 0
/proc/59284/statm: 180909 165640 2528 2416 0 178011 0
Current children cumulated CPU time: 1797.09 s
Current children cumulated vsize: 723636 KiB
Current children cumulated memory: 662560 KiB

Child status: 30

Real time (s): 1801.98
CPU time (s): 1797.17
CPU user time (s): 1796.88
CPU system time (s): 0.296105
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 789000
Max. memory (cumulated for all children) (KiB): 702300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 0.296105
maximum resident set size= 702300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140484
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= 51
involuntary context switches= 2467


# summary of solver processes directly reported to runsolver:
#   pid: 59284
#   total CPU time (s): 1797.17
#   total CPU user time (s): 1796.88
#   total CPU system time (s): 0.296105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3473 second user time and 7.25838 second system time

The end

Begin job on nodeC017 at 2025-07-01 19:47:47
IDJOB=4497674
IDBENCH=148191
IDSOLVER=3323
FILE ID=nodeC017/4497674-1751392067
RUNJOBID= nodeC017-1751385258-57041
SLURM_JOB_ID= 9598239
Free space on /tmp= 432960 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497674-1751392067/watcher-4497674-1751392067 -o /tmp/evaluation-result-4497674-1751392067/solver-4497674-1751392067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751385258-57041 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4497674-1751392067.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=270708039

nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123192000 kB
MemAvailable:   126264808 kB
Buffers:            2380 kB
Cached:          3842776 kB
SwapCached:            0 kB
Active:          3757120 kB
Inactive:        3525588 kB
Active(anon):    3455620 kB
Inactive(anon):       12 kB
Active(file):     301500 kB
Inactive(file):  3525576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13456 kB
Writeback:             0 kB
AnonPages:       3440308 kB
Mapped:           126980 kB
Shmem:             18080 kB
KReclaimable:     169544 kB
Slab:             258632 kB
SReclaimable:     169544 kB
SUnreclaim:        89088 kB
KernelStack:        4288 kB
PageTables:         9784 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3816968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2902016 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432952 MiB
End job on nodeC017 at 2025-07-01 20:17:49