0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.01	c #variables 2992 #constraints 5984
104.73/105.09	c bounds 35184372088831 >= -17592186044415 @ 0.00894
104.73/105.09	c bounds 0 >= -17592186044415 @ 0.113008
104.73/105.09	c bounds 0 >= -13194139533311 @ 0.113099
104.73/105.09	c bounds 0 >= -8796093022207 @ 0.11331
104.73/105.09	c #Conflicts:       1000 | #Constraints:       6994
104.73/105.09	c #Conflicts:       2000 | #Constraints:       7994
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:       3000 | #Constraints:       8039
104.73/105.09	c #Conflicts:       4000 | #Constraints:       9039
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:       5000 | #Constraints:       8458
104.73/105.09	c #Conflicts:       6000 | #Constraints:       9458
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:       7000 | #Constraints:       8520
104.73/105.09	c #Conflicts:       8000 | #Constraints:       9520
104.73/105.09	c #Conflicts:       9000 | #Constraints:      10520
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      10000 | #Constraints:       9254
104.73/105.09	c #Conflicts:      11000 | #Constraints:      10254
104.73/105.09	c #Conflicts:      12000 | #Constraints:      11254
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      13000 | #Constraints:       9694
104.73/105.09	c #Conflicts:      14000 | #Constraints:      10694
104.73/105.09	c #Conflicts:      15000 | #Constraints:      11694
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      16000 | #Constraints:       9986
104.73/105.09	c #Conflicts:      17000 | #Constraints:      10986
104.73/105.09	c #Conflicts:      18000 | #Constraints:      11986
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      19000 | #Constraints:      10037
104.73/105.09	c #Conflicts:      20000 | #Constraints:      11037
104.73/105.09	c #Conflicts:      21000 | #Constraints:      12037
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      22000 | #Constraints:       9875
104.73/105.09	c #Conflicts:      23000 | #Constraints:      10875
104.73/105.09	c #Conflicts:      24000 | #Constraints:      11875
104.73/105.09	c #Conflicts:      25000 | #Constraints:      12875
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      26000 | #Constraints:      10445
104.73/105.09	c #Conflicts:      27000 | #Constraints:      11445
104.73/105.09	c #Conflicts:      28000 | #Constraints:      12445
104.73/105.09	c #Conflicts:      29000 | #Constraints:      13445
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      30000 | #Constraints:      10885
104.73/105.09	c #Conflicts:      31000 | #Constraints:      11885
104.73/105.09	c #Conflicts:      32000 | #Constraints:      12885
104.73/105.09	c #Conflicts:      33000 | #Constraints:      13885
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      34000 | #Constraints:      11111
104.73/105.09	c #Conflicts:      35000 | #Constraints:      12111
104.73/105.09	c #Conflicts:      36000 | #Constraints:      13111
104.73/105.09	c #Conflicts:      37000 | #Constraints:      14111
104.73/105.09	c INPROCESSING
104.73/105.09	c GARBAGE COLLECT
104.73/105.09	c #Conflicts:      38000 | #Constraints:      11133
104.73/105.09	c #Conflicts:      39000 | #Constraints:      12133
104.73/105.09	c #Conflicts:      40000 | #Constraints:      13133
104.73/105.09	c #Conflicts:      41000 | #Constraints:      14133
104.73/105.09	c #Conflicts:      42000 | #Constraints:      15133
104.73/105.09	c #Conflicts:      43000 | #Constraints:      16133
104.73/105.09	c #Conflicts:      44000 | #Constraints:      17133
104.73/105.09	c #Conflicts:      45000 | #Constraints:      18133
104.73/105.09	c #Conflicts:      46000 | #Constraints:      19133
104.73/105.09	c #Conflicts:      47000 | #Constraints:      20133
104.73/105.09	c #Conflicts:      48000 | #Constraints:      21133
104.73/105.09	c #Conflicts:      49000 | #Constraints:      22133
104.73/105.10	c #Conflicts:      50000 | #Constraints:      23133
104.73/105.10	c #Conflicts:      51000 | #Constraints:      24133
104.73/105.10	c #Conflicts:      52000 | #Constraints:      25133
104.73/105.10	c #Conflicts:      53000 | #Constraints:      26133
104.73/105.10	c INPROCESSING
104.73/105.10	c GARBAGE COLLECT
104.73/105.10	c #Conflicts:      54000 | #Constraints:      17143
104.73/105.10	c #Conflicts:      55000 | #Constraints:      18143
104.73/105.10	c #Conflicts:      56000 | #Constraints:      19143
104.73/105.10	c #Conflicts:      57000 | #Constraints:      20143
104.73/105.10	c #Conflicts:      58000 | #Constraints:      21143
104.73/105.10	c INPROCESSING
104.73/105.10	c GARBAGE COLLECT
104.73/105.10	c #Conflicts:      59000 | #Constraints:      14330
104.73/105.10	c #Conflicts:      60000 | #Constraints:      15330
104.73/105.10	c #Conflicts:      61000 | #Constraints:      16330
104.73/105.10	c #Conflicts:      62000 | #Constraints:      17330
104.73/105.10	c #Conflicts:      63000 | #Constraints:      18330
104.73/105.10	c #Conflicts:      64000 | #Constraints:      19330
104.73/105.10	c INPROCESSING
104.73/105.10	c GARBAGE COLLECT
104.73/105.10	c #Conflicts:      65000 | #Constraints:      13650
104.73/105.10	c #Conflicts:      66000 | #Constraints:      14650
114.39/114.75	c #Conflicts:      67000 | #Constraints:      15650
114.39/114.75	c #Conflicts:      68000 | #Constraints:      16651
114.39/114.75	c #Conflicts:      69000 | #Constraints:      17652
114.39/114.75	c #Conflicts:      70000 | #Constraints:      18652
114.39/114.75	c INPROCESSING
114.39/114.75	c GARBAGE COLLECT
114.39/114.75	c #Conflicts:      71000 | #Constraints:      13358
114.39/114.75	WSVECS04 Frhs2[44]: 6 -2.66288e+11 0 shouldn't be
114.39/114.75	WSVECS04 Frhs2[176]: 6 0 6.71089e+07 shouldn't be
114.39/114.75	WSVECS04 Frhs2[242]: 6 0 5.36871e+08 shouldn't be
114.39/114.75	WSVECS04 Frhs2[286]: 6 0 2.14748e+09 shouldn't be
114.39/114.75	WSVECS04 Frhs2[308]: 6 0 4.29497e+09 shouldn't be
114.39/114.75	WSVECS04 Frhs2[1365]: 6 0 7.21534e-05 shouldn't be
114.39/114.75	WSVECS04 Frhs2[1390]: 6 -5.49756e+11 0 shouldn't be
114.39/114.75	WSVECS04 Frhs2[1863]: 6 0 1.71235e-05 shouldn't be
114.39/114.75	WSVECS04 Frhs2[1932]: 6 0 5.49756e+11 shouldn't be
114.70/115.06	WSVECS04 Frhs2[285]: 6 0 1.07374e+09 shouldn't be
3600.04/3608.80	c
3600.04/3608.80	s SATISFIABLE
3600.04/3608.80	v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992
3600.04/3608.80	c #Conflicts:      72000 | #Constraints:      14360
3600.04/3608.80	c #Conflicts:      73000 | #Constraints:      15360
3600.04/3608.80	c #Conflicts:      74000 | #Constraints:      16360
3600.04/3608.80	c #Conflicts:      75000 | #Constraints:      17360
3600.04/3608.80	c #Conflicts:      76000 | #Constraints:      18360
3600.04/3608.80	c #Conflicts:      77000 | #Constraints:      19360
3600.04/3608.80	c #Conflicts:      78000 | #Constraints:      20360
3600.04/3608.80	c #Conflicts:      79000 | #Constraints:      21361
3600.04/3608.80	c #Conflicts:      80000 | #Constraints:      22361
3600.04/3608.80	c #Conflicts:      81000 | #Constraints:      23361
3600.04/3608.80	c #Conflicts:      82000 | #Constraints:      24361
3600.04/3608.80	c #Conflicts:      83000 | #Constraints:      25361
3600.04/3608.80	c #Conflicts:      84000 | #Constraints:      26361
3600.04/3608.80	c #Conflicts:      85000 | #Constraints:      27362
3600.04/3608.80	c #Conflicts:      86000 | #Constraints:      28362

OK	0

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: 63931 MiB (62042 MiB free)
  memory of node 1: 64510 MiB (62519 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458174-1721865499/watcher-4458174-1721865499 -o /tmp/evaluation-result-4458174-1721865499/solver-4458174-1721865499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210796 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458174-1721865499.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=212172, runsolver pid=212169

[startup+0.100681 s]*
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127545428/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=43416 memory=13532 CPUtime=0.09 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 2136 0 0 0 8 1 0 0 20 0 1 0 23079131 44457984 3383 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 10854 3383 1753 922 0 2806 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43416 KiB
Current children cumulated memory: 13532 KiB

[startup+0.205419 s]*
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127544896/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=43552 memory=14412 CPUtime=0.2 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 2246 0 0 0 18 2 0 0 20 0 1 0 23079131 44597248 3603 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 10888 3603 1847 922 0 2840 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43552 KiB
Current children cumulated memory: 14412 KiB

[startup+0.304974 s]*
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127544112/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=43816 memory=14940 CPUtime=0.29 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 2399 0 0 0 27 2 0 0 20 0 1 0 23079131 44867584 3735 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 10954 3735 1847 922 0 2906 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43816 KiB
Current children cumulated memory: 14940 KiB

[startup+0.700167 s]
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127542916/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=44740 memory=16056 CPUtime=0.69 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 2647 0 0 0 65 4 0 0 20 0 1 0 23079131 45813760 4014 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 11185 4014 1863 922 0 3137 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44740 KiB
Current children cumulated memory: 16056 KiB

[startup+1.50017 s]
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127542580/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=45668 memory=19684 CPUtime=1.48 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 3044 0 0 0 142 6 0 0 20 0 1 0 23079131 46764032 4921 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 11417 4921 1863 922 0 3369 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 19684 KiB

[startup+3.10507 s]
/proc/loadavg: 4.04 3.14 1.55 5/258 212173
/proc/meminfo: memFree=127535988/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=47788 memory=21528 CPUtime=3.09 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 3485 0 0 0 299 10 0 0 20 0 1 0 23079131 48934912 5382 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 11947 5382 1863 922 0 3899 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47788 KiB
Current children cumulated memory: 21528 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 3.17 1.57 5/258 212173
/proc/meminfo: memFree=127530384/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=47788 memory=21528 CPUtime=6.27 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 3496 0 0 0 611 16 0 0 20 0 1 0 23079131 48934912 5382 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 11947 5382 1863 922 0 3899 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47788 KiB
Current children cumulated memory: 21528 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 3.20 1.59 5/258 212175
/proc/meminfo: memFree=127517620/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=54716 memory=29180 CPUtime=12.66 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 4785 0 0 0 1235 31 0 0 20 0 1 0 23079131 56029184 7295 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 13679 7295 1994 922 0 5631 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54716 KiB
Current children cumulated memory: 29180 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 3.25 1.63 5/258 212176
/proc/meminfo: memFree=127502856/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=70452 memory=40508 CPUtime=25.43 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 6640 0 0 0 2484 59 0 0 20 0 1 0 23079131 72142848 10127 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 17613 10127 1994 922 0 9565 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 70452 KiB
Current children cumulated memory: 40508 KiB

[startup+51.1046 s]
/proc/loadavg: 4.18 3.32 1.70 5/258 212181
/proc/meminfo: memFree=127463308/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=95968 memory=69528 CPUtime=50.98 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 10303 0 0 0 5017 81 0 0 20 0 1 0 23079131 98271232 17382 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 23992 17382 1994 922 0 15944 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 95968 KiB
Current children cumulated memory: 69528 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 3.46 1.83 5/259 212191
/proc/meminfo: memFree=127386076/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=109852 memory=82704 CPUtime=102.02 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 13622 0 0 0 10074 128 0 0 20 0 1 0 23079131 112488448 20676 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 27463 20676 1994 922 0 19415 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 109852 KiB
Current children cumulated memory: 82704 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.58 1.98 5/260 212206
/proc/meminfo: memFree=127353428/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=117180 memory=89276 CPUtime=161.85 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 15221 0 0 0 16001 184 0 0 20 0 1 0 23079131 119992320 22319 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 29295 22319 1994 922 0 21247 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 117180 KiB
Current children cumulated memory: 89276 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 3.72 2.13 5/260 212230
/proc/meminfo: memFree=127330180/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=150556 memory=108584 CPUtime=221.68 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 18549 0 0 0 21965 203 0 0 20 0 1 0 23079131 154169344 27146 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 37639 27146 1994 922 0 29591 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 150556 KiB
Current children cumulated memory: 108584 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.79 2.25 5/260 212240
/proc/meminfo: memFree=127303656/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=157148 memory=126600 CPUtime=281.53 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 19956 0 0 0 27930 223 0 0 20 0 1 0 23079131 160919552 31650 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 39287 31650 1994 922 0 31239 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 157148 KiB
Current children cumulated memory: 126600 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.83 2.37 5/258 212251
/proc/meminfo: memFree=127284180/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=164608 memory=135708 CPUtime=341.39 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 21231 0 0 0 33902 237 0 0 20 0 1 0 23079131 168558592 33927 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 41152 33927 1994 922 0 33104 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 164608 KiB
Current children cumulated memory: 135708 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.89 2.48 5/257 212261
/proc/meminfo: memFree=127258080/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=199208 memory=142748 CPUtime=401.25 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 22558 0 0 0 39878 247 0 0 20 0 1 0 23079131 203988992 35687 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 49802 35687 1994 922 0 41754 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 199208 KiB
Current children cumulated memory: 142748 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.93 2.58 5/256 212272
/proc/meminfo: memFree=127226344/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=202920 memory=147552 CPUtime=461.11 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 23258 0 0 0 45853 258 0 0 20 0 1 0 23079131 207790080 36888 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 50730 36888 1994 922 0 42682 0

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

Current children cumulated memory: 363508 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.11 4.01 5/256 213329
/proc/meminfo: memFree=126014904/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=470924 memory=366484 CPUtime=2855.42 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 51662 0 0 0 285025 517 0 0 20 0 1 0 23079131 482226176 91621 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 117731 91621 1994 922 0 109683 0
Current children cumulated CPU time: 2855.42 s
Current children cumulated vsize: 470924 KiB
Current children cumulated memory: 366484 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.01 6/256 213339
/proc/meminfo: memFree=125994680/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=476044 memory=371564 CPUtime=2915.27 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 52528 0 0 0 291006 521 0 0 20 0 1 0 23079131 487469056 92891 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 119011 92891 1994 922 0 110963 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 476044 KiB
Current children cumulated memory: 371564 KiB

[startup+2982.3 s]
/proc/loadavg: 4.31 4.15 4.03 5/256 213351
/proc/meminfo: memFree=125982640/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=477324 memory=374264 CPUtime=2975.13 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 52845 0 0 0 296989 524 0 0 20 0 1 0 23079131 488779776 93566 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 119331 93566 1994 922 0 111283 0
Current children cumulated CPU time: 2975.13 s
Current children cumulated vsize: 477324 KiB
Current children cumulated memory: 374264 KiB

[startup+3042.3 s]
/proc/loadavg: 4.59 4.24 4.07 5/256 213361
/proc/meminfo: memFree=125952084/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=478348 memory=376964 CPUtime=3034.98 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 53106 0 0 0 302969 529 0 0 20 0 1 0 23079131 489828352 94241 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 119587 94241 1994 922 0 111539 0
Current children cumulated CPU time: 3034.98 s
Current children cumulated vsize: 478348 KiB
Current children cumulated memory: 376964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.21 4.07 5/255 213371
/proc/meminfo: memFree=125935180/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=479372 memory=379916 CPUtime=3094.84 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 53380 0 0 0 308951 533 0 0 20 0 1 0 23079131 490876928 94979 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 119843 94979 1994 922 0 111795 0
Current children cumulated CPU time: 3094.84 s
Current children cumulated vsize: 479372 KiB
Current children cumulated memory: 379916 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.20 4.08 5/258 213387
/proc/meminfo: memFree=125918520/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=481420 memory=383184 CPUtime=3154.69 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 53821 0 0 0 314932 537 0 0 20 0 1 0 23079131 492974080 95796 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 120355 95796 1994 922 0 112307 0
Current children cumulated CPU time: 3154.69 s
Current children cumulated vsize: 481420 KiB
Current children cumulated memory: 383184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.19 4.08 5/259 213401
/proc/meminfo: memFree=125893156/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=489868 memory=390624 CPUtime=3214.54 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 55276 0 0 0 320915 539 0 0 20 0 1 0 23079131 501624832 97656 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 122467 97656 1994 922 0 114419 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 489868 KiB
Current children cumulated memory: 390624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.19 4.09 5/260 213596
/proc/meminfo: memFree=126955688/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=494732 memory=393876 CPUtime=3274.4 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 56180 0 0 0 326898 542 0 0 20 0 1 0 23079131 506605568 98469 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 123683 98469 1994 922 0 115635 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 494732 KiB
Current children cumulated memory: 393876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/260 213607
/proc/meminfo: memFree=126907964/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=502928 memory=401336 CPUtime=3334.24 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 57630 0 0 0 332879 545 0 0 20 0 1 0 23079131 514998272 100334 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 125732 100334 1994 922 0 117684 0
Current children cumulated CPU time: 3334.24 s
Current children cumulated vsize: 502928 KiB
Current children cumulated memory: 401336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/260 213617
/proc/meminfo: memFree=126887964/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=504720 memory=404748 CPUtime=3394.09 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 58062 0 0 0 338859 550 0 0 20 0 1 0 23079131 516833280 101187 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 126180 101187 1994 922 0 118132 0
Current children cumulated CPU time: 3394.09 s
Current children cumulated vsize: 504720 KiB
Current children cumulated memory: 404748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 214013
/proc/meminfo: memFree=126944116/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=505744 memory=437576 CPUtime=3453.93 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 58338 0 0 0 344837 556 0 0 20 0 1 0 23079131 517881856 109394 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 126436 109394 1994 922 0 118388 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 505744 KiB
Current children cumulated memory: 437576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 214024
/proc/meminfo: memFree=126909748/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=507024 memory=438188 CPUtime=3513.75 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 58743 0 0 0 350813 562 0 0 20 0 1 0 23079131 519192576 109547 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 126756 109547 1994 922 0 118708 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 507024 KiB
Current children cumulated memory: 438188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/256 214035
/proc/meminfo: memFree=126875016/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=508304 memory=440904 CPUtime=3573.6 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 59137 0 0 0 356794 566 0 0 20 0 1 0 23079131 520503296 110226 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 127076 110226 1994 922 0 119028 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 508304 KiB
Current children cumulated memory: 440904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.05 4.12 4.09 5/258 214300
/proc/meminfo: memFree=127195460/131524600 swapFree=131053920/131071996
[pid=212172] ppid=212169 vsize=511376 memory=442548 CPUtime=3600.04 cores=4,6
/proc/212172/stat : 212172 (roundingsat) R 212169 212172 210785 0 -1 4194304 59672 0 0 0 359437 567 0 0 20 0 1 0 23079131 523649024 110637 134679101440 4194304 7968869 140722748753152 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 30781440 140722748756926 140722748757090 140722748757090 140722748764105 0
/proc/212172/statm: 127844 110637 1994 922 0 119796 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 511376 KiB
Current children cumulated memory: 442548 KiB

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

[startup+3608.81 s]
# the end of solver process 212172 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3594.38 s, system=5.6781 s

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

Child status: 1

Real time (s): 3608.81
CPU time (s): 3600.06
CPU user time (s): 3594.38
CPU system time (s): 5.6781
CPU usage (%): 99.7573
Max. virtual memory (cumulated for all children) (KiB): 511376
Max. memory (cumulated for all children) (KiB): 442548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.38
system time used= 5.6781
maximum resident set size= 442548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59680
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= 141
involuntary context switches= 4170


# summary of solver processes directly reported to runsolver:
#   pid: 212172
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.38
#   total CPU system time (s): 5.6781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86537 second user time and 16.2049 second system time

The end

Begin job on nodeC023 at 2024-07-25 01:58:19
IDJOB=4458174
IDBENCH=177178
IDSOLVER=3051
FILE ID=nodeC023/4458174-1721865499
RUNJOBID= nodeC023-1721865102-210796
SLURM_JOB_ID= 8089171
Free space on /tmp= 890068 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458174-1721865499/watcher-4458174-1721865499 -o /tmp/evaluation-result-4458174-1721865499/solver-4458174-1721865499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721865102-210796 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4458174-1721865499.opb

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

MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=257194945

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127552704 kB
MemAvailable:   129471188 kB
Buffers:          270056 kB
Cached:          2462376 kB
SwapCached:          208 kB
Active:          1500524 kB
Inactive:        1840124 kB
Active(anon):       2424 kB
Inactive(anon):   657988 kB
Active(file):    1498100 kB
Inactive(file):  1182136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             10860 kB
Writeback:             0 kB
AnonPages:        607880 kB
Mapped:           103452 kB
Shmem:             52148 kB
KReclaimable:     155788 kB
Slab:             272656 kB
SReclaimable:     155788 kB
SUnreclaim:       116868 kB
KernelStack:        4112 kB
PageTables:        10492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1067396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    60182528 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC023 at 2024-07-25 02:58:28