3600.09/3608.30	c Filename:instance-4497691-1751469115.opb, Cutoff_time:3600, memory_limit_gb:500000
3600.09/3608.30	c Use Presolve
3600.09/3608.30	c Parse finsih
3600.09/3608.30	c Start Presolve
3600.09/3608.30	c After Reduce Vars: 4313 Clauses: 15600 Top clause weight: 486 Hard Clauses: 15115
3600.09/3608.30	c Use LS-small
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 28
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 27
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 26
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 25
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 24
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 23
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 22
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 21
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 20
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 19
3600.09/3608.30	c Use postsolve
3600.09/3608.30	o 18
3600.09/3608.30	s SATISFIABLE
3600.09/3608.30	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
3600.09/3608.30	c Use postsolve
3600.09/3608.30	c Done 54.95s

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 (62599 MiB free)
  memory of node 1: 64507 MiB (63850 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497691-1751469115/watcher-4497691-1751469115 -o /tmp/evaluation-result-4497691-1751469115/solver-4497691-1751469115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751469115-67600 --watchdog 3760 ./NuPBO-DeepOpt+ -f HOME/instance-4497691-1751469115.opb -t 3600 -s 1545316739 --no-s 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=67659, runsolver pid=67652

[startup+0.100061 s]*
/proc/loadavg: 0.72 1.02 1.58 6/265 67660
/proc/meminfo: memFree=129470736/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=29688 memory=14596 CPUtime=0.09 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 3374 0 0 0 9 0 0 0 20 0 1 0 62589281 30400512 3649 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 7422 3649 1152 2752 0 4075 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 14596 KiB

[startup+0.205505 s]*
/proc/loadavg: 0.72 1.02 1.58 6/265 67660
/proc/meminfo: memFree=129466956/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=29688 memory=14596 CPUtime=0.2 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 3374 0 0 0 20 0 0 0 20 0 1 0 62589281 30400512 3649 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 7422 3649 1152 2752 0 4075 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 14596 KiB

[startup+0.304994 s]*
/proc/loadavg: 0.72 1.02 1.58 6/265 67660
/proc/meminfo: memFree=129455364/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33744 memory=18384 CPUtime=0.3 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 4613 0 0 0 30 0 0 0 20 0 1 0 62589281 34553856 4596 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8436 4596 1152 2752 0 5089 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33744 KiB
Current children cumulated memory: 18384 KiB

[startup+0.700114 s]
/proc/loadavg: 0.72 1.02 1.58 6/265 67660
/proc/meminfo: memFree=129451332/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=0.69 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 7364 0 0 0 69 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+1.50011 s]
/proc/loadavg: 0.72 1.02 1.58 6/265 67660
/proc/meminfo: memFree=129435544/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=1.48 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 8963 0 0 0 148 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+3.10489 s]
/proc/loadavg: 0.98 1.07 1.59 6/265 67660
/proc/meminfo: memFree=129436308/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=3.08 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10029 0 0 0 308 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+6.3001 s]
/proc/loadavg: 0.98 1.07 1.59 6/265 67660
/proc/meminfo: memFree=129436308/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=6.27 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10029 0 0 0 627 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+12.7001 s]
/proc/loadavg: 1.22 1.12 1.60 6/265 67660
/proc/meminfo: memFree=129436532/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=12.66 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10029 0 0 0 1266 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+25.5001 s]
/proc/loadavg: 1.84 1.26 1.64 6/265 67662
/proc/meminfo: memFree=129437164/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=25.43 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10029 0 0 0 2543 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+51.1047 s]
/proc/loadavg: 2.64 1.50 1.71 6/265 67662
/proc/meminfo: memFree=129438424/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=18804 CPUtime=50.98 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10029 0 0 0 5098 0 0 0 20 0 1 0 62589281 34807808 4701 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4701 1152 2752 0 5151 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 18804 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.90 1.84 6/266 67665
/proc/meminfo: memFree=129421544/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=102.05 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10578 0 0 0 10205 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.30 1.98 6/266 67667
/proc/meminfo: memFree=129437108/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=161.92 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10596 0 0 0 16192 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.63 2.12 6/266 67669
/proc/meminfo: memFree=129436600/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=221.78 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10602 0 0 0 22178 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.24 6/266 67671
/proc/meminfo: memFree=129441800/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=281.64 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10608 0 0 0 28164 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.12 2.36 6/263 67673
/proc/meminfo: memFree=129441144/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=341.51 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10614 0 0 0 34151 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.30 2.47 6/263 67676
/proc/meminfo: memFree=129441016/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=401.37 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10620 0 0 0 40137 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.44 2.57 6/264 67686
/proc/meminfo: memFree=129434364/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=461.23 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10626 0 0 0 46123 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 461.23 s

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

Current children cumulated memory: 19060 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.21 4.07 6/264 67800
/proc/meminfo: memFree=129431984/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=2915.65 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10674 0 0 0 291565 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 2915.65 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+2982.3 s]
/proc/loadavg: 4.60 4.30 4.11 6/264 67813
/proc/meminfo: memFree=129431900/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=2975.51 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10674 0 0 0 297551 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 2975.51 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3042.3 s]
/proc/loadavg: 4.29 4.27 4.11 6/264 67816
/proc/meminfo: memFree=129432076/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3035.38 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10674 0 0 0 303538 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3035.38 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.25 4.11 6/265 67819
/proc/meminfo: memFree=129432172/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3095.24 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10680 0 0 0 309524 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3095.24 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.23 4.11 6/265 67821
/proc/meminfo: memFree=129432060/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3155.1 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10680 0 0 0 315510 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3155.1 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.10 6/265 67823
/proc/meminfo: memFree=129432180/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3214.97 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10680 0 0 0 321497 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3214.97 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.09 6/265 67825
/proc/meminfo: memFree=129432276/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3274.83 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10680 0 0 0 327483 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3274.83 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.16 4.09 6/263 67827
/proc/meminfo: memFree=129432140/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3334.69 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10680 0 0 0 333469 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3334.69 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.14 4.09 6/263 67829
/proc/meminfo: memFree=129432012/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3394.56 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 339456 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3394.56 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.09 6/263 67838
/proc/meminfo: memFree=129432188/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3454.42 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 345442 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/263 67840
/proc/meminfo: memFree=129432384/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3514.28 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 351428 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3514.28 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/263 67842
/proc/meminfo: memFree=129432496/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3574.15 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 357415 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3574.15 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.3 s]
/proc/loadavg: 4.07 4.11 4.09 2/251 67867
/proc/meminfo: memFree=129472680/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3600.09 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 360009 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3600.1 s, system=0.009963 s

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

[startup+3608.3 s]
/proc/loadavg: 4.07 4.11 4.09 2/251 67867
/proc/meminfo: memFree=129472680/131249996 swapFree=33010416/33010684
[pid=67659] ppid=67652 vsize=33992 memory=19060 CPUtime=3600.09 cores=0,2
/proc/67659/stat : 67659 (NuPBO-DeepOpt+) R 67652 67659 67590 0 -1 4194304 10686 0 0 0 360009 0 0 0 20 0 1 0 62589281 34807808 4765 18446744073709551615 4198400 15468185 140733756041360 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 52142080 140733756049809 140733756049925 140733756049925 140733756055527 0
/proc/67659/statm: 8498 4765 1152 2752 0 5151 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 33992 KiB
Current children cumulated memory: 19060 KiB

Child status: 10

Real time (s): 3608.31
CPU time (s): 3600.11
CPU user time (s): 3600.1
CPU system time (s): 0.009963
CPU usage (%): 99.7728
Max. virtual memory (cumulated for all children) (KiB): 33992
Max. memory (cumulated for all children) (KiB): 19060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.1
system time used= 0.009963
maximum resident set size= 21108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11229
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= 8
involuntary context switches= 7825


# summary of solver processes directly reported to runsolver:
#   pid: 67659
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3600.1
#   total CPU system time (s): 0.009963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18682 second user time and 11.3467 second system time

The end

Begin job on nodeC022 at 2025-07-02 17:11:55
IDJOB=4497691
IDBENCH=148191
IDSOLVER=3342
FILE ID=nodeC022/4497691-1751469115
RUNJOBID= nodeC022-1751469115-67600
SLURM_JOB_ID= 9598489
Free space on /tmp= 432356 MiB

SOLVER NAME= NuPBO-DeepOpt+ 2025-06-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./NuPBO-DeepOpt+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497691-1751469115/watcher-4497691-1751469115 -o /tmp/evaluation-result-4497691-1751469115/solver-4497691-1751469115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751469115-67600 --watchdog 3760  ./NuPBO-DeepOpt+ -f HOME/instance-4497691-1751469115.opb -t 3600 -s 1545316739 --no-s

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1545316739

nodeC022 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.696
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	: 6999.44
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		: 3597.505
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	: 6999.44
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		: 3599.800
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	: 6999.44
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		: 3599.744
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	: 6999.44
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		: 3607.567
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	: 6999.44
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		: 3599.721
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	: 6999.44
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		: 3599.811
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	: 6999.44
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.435
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129491588 kB
MemAvailable:   129748596 kB
Buffers:            2128 kB
Cached:          1041520 kB
SwapCached:           32 kB
Active:           608860 kB
Inactive:         499212 kB
Active(anon):      78276 kB
Inactive(anon):     4176 kB
Active(file):     530584 kB
Inactive(file):   495036 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64800 kB
Writeback:             0 kB
AnonPages:         67868 kB
Mapped:           103020 kB
Shmem:             18028 kB
KReclaimable:     140856 kB
Slab:             231612 kB
SReclaimable:     140856 kB
SUnreclaim:        90756 kB
KernelStack:        4024 kB
PageTables:         2700 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     335384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432324 MiB
End job on nodeC022 at 2025-07-02 18:12:04