0.00/0.05	o 165315365
0.00/0.06	o 125366237
0.00/0.08	o 123798119
0.00/0.08	o 123760669
0.00/0.08	o 123686069
0.00/0.08	o 123608901
0.09/0.12	o 121457153
0.09/0.12	o 121382071
0.09/0.13	o 121355255
0.09/0.13	o 121246305
0.09/0.15	o 121246095
0.09/0.16	o 121036341
0.20/0.21	o 121012141
0.20/0.26	o 111261979
0.20/0.26	o 111260715
0.30/0.32	o 111259599
0.30/0.35	o 111257433
0.30/0.35	o 111212855
0.30/0.36	o 111195203
0.30/0.37	o 111043955
0.39/0.49	o 108812259
0.39/0.50	o 108798659
0.50/0.54	o 108782523
0.60/0.61	o 108779709
0.60/0.63	o 108778915
0.60/0.68	o 108775759
0.79/0.82	o 108762005
0.79/0.83	o 108749975
0.79/0.85	o 108395159
0.79/0.89	o 108365463
0.89/0.93	o 108339075
0.89/0.95	o 108328779
1.09/1.14	o 68845241
1.09/1.15	o 68669801
1.09/1.17	o 68648707
1.09/1.18	o 29750149
1.09/1.19	o 29487079
1.09/1.19	o 29473769
1.19/1.22	o 29460055
1.28/1.31	o 29453605
1.28/1.35	o 15844325
1.28/1.35	o 15772757
1.28/1.36	o 15748397
1.28/1.36	o 15686597
1.28/1.37	o 15660463
1.28/1.38	o 15651733
1.28/1.38	o 15638093
1.28/1.39	o 15632987
1.28/1.39	o 15609551
1.38/1.40	o 11398869
1.38/1.41	o 11203457
1.38/1.43	o 11045389
1.58/1.63	o 9600517
1.58/1.65	o 9584127
1.68/1.76	o 8766331
1.78/1.85	o 8310411
1.78/1.87	o 8303787
1.88/1.90	o 8248273
1.88/1.93	o 8141073
1.88/1.95	o 7703371
1.88/1.96	o 7695307
1.88/1.97	o 7672057
1.88/1.97	o 7644281
1.88/1.98	o 7642179
3.38/3.42	o 7625305
3.38/3.43	o 7597585
3.38/3.43	o 7592553
3.38/3.44	o 7589539
3.38/3.44	o 7579881
3.38/3.47	o 7575579
3.38/3.48	o 7574849
3.58/3.60	o 7538369
3.58/3.61	o 7534067
3.58/3.65	o 7520321
3.68/3.70	o 7475137
3.78/3.81	o 7458619
5.27/5.37	o 7433209
5.27/5.38	o 7390717
5.27/5.39	o 7363437
5.27/5.40	o 7361501
5.37/5.41	o 7356445
5.37/5.41	o 7321063
5.37/5.44	o 7320825
5.37/5.47	o 7308135
5.37/5.48	o 7294325
5.47/5.55	o 7287801
5.57/5.62	o 7277763
5.57/5.67	o 7238473
5.57/5.69	o 7232817
5.98/6.10	o 7230123
6.08/6.11	o 7227561
6.08/6.17	o 7221747
6.08/6.18	o 7219131
6.17/6.28	o 7193013
6.37/6.47	o 7187417
6.57/6.69	o 7185287
12.15/12.24	o 7184487
12.15/12.27	o 7152719
12.35/12.45	o 7152651
12.35/12.48	o 7145579
12.45/12.50	o 7136579
13.35/13.45	o 7127925
13.55/13.61	o 7127267
15.24/15.32	o 7124651
15.54/15.63	o 7122845
15.54/15.68	o 7109075
15.64/15.72	o 7100075
15.64/15.76	o 7097945
32.80/32.93	o 7091559
35.30/35.40	o 6668925
35.40/35.56	o 6600563
39.38/39.59	o 5465315
44.17/44.35	o 5464757
44.17/44.37	o 5440341
44.17/44.39	o 5425491
44.27/44.43	o 5407539
44.27/44.45	o 5397603
44.37/44.52	o 5385907
44.37/44.57	o 5368723
46.76/46.98	o 5345843
58.03/58.27	o 5314835
58.03/58.29	o 5304329
58.43/58.63	o 5285177
58.43/58.64	o 5278025
58.43/58.65	o 5263385
62.82/63.03	o 5243431
62.82/63.08	o 5241599
62.82/63.10	o 5240543
62.92/63.13	o 5237421
62.92/63.15	o 5224941
62.92/63.18	o 4432223
63.02/63.28	o 4414297
63.22/63.48	o 4411003
63.31/63.54	o 4409825
63.41/63.62	o 4404785
63.51/63.70	o 4402953
64.11/64.34	o 4398267
64.11/64.36	o 4389773
64.21/64.43	o 4388763
64.31/64.56	o 4385469
64.31/64.59	o 4384291
65.41/65.61	o 4358581
65.41/65.65	o 4353937
69.91/70.13	o 4353849
77.08/77.36	o 4352393
77.08/77.38	o 4346903
77.18/77.42	o 4345437
77.28/77.50	o 4339359
77.28/77.53	o 4336065
77.28/77.56	o 4333877
78.08/78.37	o 4274101
78.18/78.40	o 4269669
78.18/78.45	o 4268975
97.03/97.35	o 4267981
97.03/97.36	o 4247421
97.13/97.40	o 4235949
97.13/97.42	o 4205295
97.13/97.47	o 4194445
97.23/97.51	o 4184749
97.23/97.54	o 4169109
97.43/97.71	o 4160031
97.93/98.25	o 4154603
98.02/98.37	o 4146809
98.83/99.18	o 4143545
99.22/99.52	o 4142265
99.22/99.54	o 4139283
99.42/99.77	o 4136761
112.39/112.72	o 4130319
112.39/112.74	o 4128623
112.48/112.86	o 4098879
135.42/135.80	o 4097963
135.42/135.82	o 4094915
137.32/137.75	o 4094801
137.32/137.78	o 4091753
137.42/137.81	o 4088995
137.42/137.84	o 4088281
137.82/138.27	o 4067745
167.75/168.20	o 4062655
222.60/223.25	o 4062433
222.60/223.29	o 4061579
222.70/223.32	o 4059787
222.70/223.35	o 4059705
222.70/223.38	o 4056289
222.80/223.41	o 4054593
226.69/227.39	o 4052679
227.39/228.03	o 4038119
227.39/228.08	o 4035985
951.94/954.49	o 4034251
952.04/954.57	o 4029879
952.14/954.60	o 4028555
952.34/954.86	o 4027765
952.34/954.89	o 4017269
952.55/955.05	o 4012971
952.55/955.08	o 4010379
953.34/955.85	o 4009271
954.04/956.52	o 4003989
954.04/956.56	o 4001397
954.04/956.59	o 3991701
974.29/976.89	o 3989781
974.39/976.94	o 3987703
976.68/979.21	o 3986499
976.68/979.22	o 3982729
976.68/979.23	o 3971977
1507.13/1511.08	s OPTIMUM FOUND
1507.13/1511.08	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 x190 -x191 -x192 x193 -x194 x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 -x904 -x905 -x906 x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 x924 x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 x939 -x940 -x941 x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

OK	3971977

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60335 MiB free)
  memory of node 1: 64473 MiB (61413 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433671-1721126150/watcher-4433671-1721126150 -o /tmp/evaluation-result-4433671-1721126150/solver-4433671-1721126150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721117151-863630 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2036679198 HOME/instance-4433671-1721126150.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=868984, runsolver pid=868981

[startup+0.100225 s]*
/proc/loadavg: 4.08 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124654768/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=37644 memory=18920 CPUtime=0.09 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 3732 0 0 0 9 0 0 0 20 0 1 0 164777370 38547456 4730 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 9411 4730 835 746 0 8475 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37644 KiB
Current children cumulated memory: 18920 KiB

[startup+0.2058 s]*
/proc/loadavg: 4.08 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124653116/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=39096 memory=20300 CPUtime=0.2 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 4084 0 0 0 20 0 0 0 20 0 1 0 164777370 40034304 5075 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 9774 5075 851 746 0 8838 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39096 KiB
Current children cumulated memory: 20300 KiB

[startup+0.305922 s]*
/proc/loadavg: 4.08 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124650620/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=39492 memory=22872 CPUtime=0.3 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 4188 0 0 0 30 0 0 0 20 0 1 0 164777370 40439808 5718 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 9873 5718 851 746 0 8937 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39492 KiB
Current children cumulated memory: 22872 KiB

[startup+0.70023 s]
/proc/loadavg: 4.08 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124644988/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=45564 memory=33032 CPUtime=0.69 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 5708 0 0 0 68 1 0 0 20 0 1 0 164777370 46657536 8258 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 11391 8258 851 746 0 10455 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45564 KiB
Current children cumulated memory: 33032 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124637084/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=49996 memory=41608 CPUtime=1.48 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 6824 0 0 0 147 1 0 0 20 0 1 0 164777370 51195904 10402 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 12499 10402 851 746 0 11563 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49996 KiB
Current children cumulated memory: 41608 KiB

[startup+3.10563 s]
/proc/loadavg: 4.07 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124605972/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=95340 memory=67052 CPUtime=3.08 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 9771 0 0 0 305 3 0 0 20 0 1 0 164777370 97628160 16763 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 23835 16763 851 746 0 22899 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95340 KiB
Current children cumulated memory: 67052 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.15 4.12 5/254 868985
/proc/meminfo: memFree=124603864/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=98148 memory=70176 CPUtime=6.27 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 10549 0 0 0 624 3 0 0 20 0 1 0 164777370 100503552 17544 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 24537 17544 851 746 0 23601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98148 KiB
Current children cumulated memory: 70176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.14 4.12 5/254 868986
/proc/meminfo: memFree=124551672/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=161520 memory=121492 CPUtime=12.65 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 16668 0 0 0 1259 6 0 0 20 0 1 0 164777370 165396480 30373 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 40380 30373 851 746 0 39444 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 161520 KiB
Current children cumulated memory: 121492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.14 4.12 5/254 868988
/proc/meminfo: memFree=124543956/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=167768 memory=131172 CPUtime=25.42 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 18149 0 0 0 2535 7 0 0 20 0 1 0 164777370 171794432 32793 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 41942 32793 851 746 0 41006 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 167768 KiB
Current children cumulated memory: 131172 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.14 4.12 5/254 868992
/proc/meminfo: memFree=124476192/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=281004 memory=196320 CPUtime=50.96 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 27491 0 0 0 5084 12 0 0 20 0 1 0 164777370 287748096 49080 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 70251 49080 851 746 0 69315 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 281004 KiB
Current children cumulated memory: 196320 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/254 869002
/proc/meminfo: memFree=124454620/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=307468 memory=217284 CPUtime=102.01 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 32797 0 0 0 10188 13 0 0 20 0 1 0 164777370 314847232 54321 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 76867 54321 851 746 0 75931 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 307468 KiB
Current children cumulated memory: 217284 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.20 4.14 5/256 869016
/proc/meminfo: memFree=124452060/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=308020 memory=218152 CPUtime=161.85 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 33102 0 0 0 16172 13 0 0 20 0 1 0 164777370 315412480 54538 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 77005 54538 851 746 0 76069 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 308020 KiB
Current children cumulated memory: 218152 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/256 869026
/proc/meminfo: memFree=124438244/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=321428 memory=228312 CPUtime=221.7 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 35685 0 0 0 22156 14 0 0 20 0 1 0 164777370 329142272 57078 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 80357 57078 851 746 0 79421 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 321428 KiB
Current children cumulated memory: 228312 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/257 869039
/proc/meminfo: memFree=124413860/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=325588 memory=231652 CPUtime=281.55 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 36512 0 0 0 28141 14 0 0 20 0 1 0 164777370 333402112 57913 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 81397 57913 851 746 0 80461 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 325588 KiB
Current children cumulated memory: 231652 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 869050
/proc/meminfo: memFree=124412164/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=326932 memory=232884 CPUtime=341.4 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 36845 0 0 0 34126 14 0 0 20 0 1 0 164777370 334778368 58221 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 81733 58221 851 746 0 80797 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 326932 KiB
Current children cumulated memory: 232884 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/258 869061
/proc/meminfo: memFree=124408092/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=327824 memory=233580 CPUtime=401.25 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 37077 0 0 0 40110 15 0 0 20 0 1 0 164777370 335691776 58395 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 81956 58395 851 746 0 81020 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 327824 KiB
Current children cumulated memory: 233580 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/257 869071
/proc/meminfo: memFree=124406480/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=328788 memory=234888 CPUtime=461.1 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 37383 0 0 0 46095 15 0 0 20 0 1 0 164777370 336678912 58722 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 82197 58722 851 746 0 81261 0

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

/proc/loadavg: 4.38 4.17 4.11 5/256 869192
/proc/meminfo: memFree=124328600/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=341208 memory=247388 CPUtime=1119.43 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 40780 0 0 0 111927 16 0 0 20 0 1 0 164777370 349396992 61847 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 85302 61847 851 746 0 84366 0
Current children cumulated CPU time: 1119.43 s
Current children cumulated vsize: 341208 KiB
Current children cumulated memory: 247388 KiB

[startup+1182.3 s]
/proc/loadavg: 4.34 4.21 4.13 5/258 869586
/proc/meminfo: memFree=124325748/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=342872 memory=249120 CPUtime=1179.27 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 41301 0 0 0 117911 16 0 0 20 0 1 0 164777370 351100928 62280 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 85718 62280 851 746 0 84782 0
Current children cumulated CPU time: 1179.27 s
Current children cumulated vsize: 342872 KiB
Current children cumulated memory: 249120 KiB

[startup+1242.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/257 869597
/proc/meminfo: memFree=124325328/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=342872 memory=249540 CPUtime=1239.12 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 41374 0 0 0 123896 16 0 0 20 0 1 0 164777370 351100928 62385 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 85718 62385 851 746 0 84782 0
Current children cumulated CPU time: 1239.12 s
Current children cumulated vsize: 342872 KiB
Current children cumulated memory: 249540 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.16 4.12 5/257 869609
/proc/meminfo: memFree=124324708/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=343064 memory=249776 CPUtime=1298.97 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 41449 0 0 0 129881 16 0 0 20 0 1 0 164777370 351297536 62444 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 85766 62444 851 746 0 84830 0
Current children cumulated CPU time: 1298.97 s
Current children cumulated vsize: 343064 KiB
Current children cumulated memory: 249776 KiB

[startup+1362.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/259 869789
/proc/meminfo: memFree=124322240/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=345048 memory=251276 CPUtime=1358.82 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 41891 0 0 0 135866 16 0 0 20 0 1 0 164777370 353329152 62819 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86262 62819 851 746 0 85326 0
Current children cumulated CPU time: 1358.82 s
Current children cumulated vsize: 345048 KiB
Current children cumulated memory: 251276 KiB

[startup+1422.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/259 869799
/proc/meminfo: memFree=124294488/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=345432 memory=251980 CPUtime=1418.66 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42048 0 0 0 141850 16 0 0 20 0 1 0 164777370 353722368 62995 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86358 62995 851 746 0 85422 0
Current children cumulated CPU time: 1418.66 s
Current children cumulated vsize: 345432 KiB
Current children cumulated memory: 251980 KiB

[startup+1482.3 s]
/proc/loadavg: 4.46 4.26 4.16 5/258 869812
/proc/meminfo: memFree=124218964/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=346556 memory=271120 CPUtime=1478.5 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42334 0 0 0 147834 16 0 0 20 0 1 0 164777370 354873344 67780 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86639 67780 851 746 0 85703 0
Current children cumulated CPU time: 1478.5 s
Current children cumulated vsize: 346556 KiB
Current children cumulated memory: 271120 KiB

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

# cumulated CPU time of all completed processes:  user=1507.05 s, system=0.167522 s

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

[startup+1484.8 s]
/proc/loadavg: 4.46 4.26 4.16 5/258 869813
/proc/meminfo: memFree=124219068/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=346748 memory=271120 CPUtime=1480.99 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42354 0 0 0 148083 16 0 0 20 0 1 0 164777370 355069952 67780 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86687 67780 851 746 0 85751 0
Current children cumulated CPU time: 1480.99 s
Current children cumulated vsize: 346748 KiB
Current children cumulated memory: 271120 KiB

[startup+1497.6 s]
/proc/loadavg: 4.50 4.28 4.17 5/258 869816
/proc/meminfo: memFree=124216256/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=274000 CPUtime=1493.76 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42544 0 0 0 149360 16 0 0 20 0 1 0 164777370 356012032 68500 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68500 851 746 0 85981 0
Current children cumulated CPU time: 1493.76 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 274000 KiB

[startup+1504 s]*
/proc/loadavg: 4.46 4.28 4.16 5/258 869828
/proc/meminfo: memFree=124214180/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=275852 CPUtime=1500.14 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42548 0 0 0 149998 16 0 0 20 0 1 0 164777370 356012032 68963 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68963 851 746 0 85981 0
Current children cumulated CPU time: 1500.14 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 275852 KiB

[startup+1507.2 s]
/proc/loadavg: 4.43 4.27 4.16 5/258 869830
/proc/meminfo: memFree=124214208/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=275852 CPUtime=1503.33 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42548 0 0 0 150317 16 0 0 20 0 1 0 164777370 356012032 68963 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68963 851 746 0 85981 0
Current children cumulated CPU time: 1503.33 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 275852 KiB

[startup+1508.8 s]
/proc/loadavg: 4.43 4.27 4.16 5/258 869830
/proc/meminfo: memFree=124214236/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=275852 CPUtime=1504.93 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42548 0 0 0 150477 16 0 0 20 0 1 0 164777370 356012032 68963 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68963 851 746 0 85981 0
Current children cumulated CPU time: 1504.93 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 275852 KiB

[startup+1510.4 s]
/proc/loadavg: 4.43 4.27 4.16 5/258 869830
/proc/meminfo: memFree=124214264/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=275852 CPUtime=1506.52 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42548 0 0 0 150636 16 0 0 20 0 1 0 164777370 356012032 68963 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68963 851 746 0 85981 0
Current children cumulated CPU time: 1506.52 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 275852 KiB

[startup+1510.8 s]
/proc/loadavg: 4.43 4.27 4.16 5/258 869830
/proc/meminfo: memFree=124214264/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=347668 memory=275852 CPUtime=1506.92 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42548 0 0 0 150676 16 0 0 20 0 1 0 164777370 356012032 68963 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 86917 68963 851 746 0 85981 0
Current children cumulated CPU time: 1506.92 s
Current children cumulated vsize: 347668 KiB
Current children cumulated memory: 275852 KiB

[startup+1511 s]*
/proc/loadavg: 4.43 4.27 4.16 5/258 869830
/proc/meminfo: memFree=124214264/131524600 swapFree=131071996/131071996
[pid=868984] ppid=868981 vsize=348296 memory=276220 CPUtime=1507.13 cores=1,3
/proc/868984/stat : 868984 (Exact_nosoplex) R 868981 868984 863618 0 -1 4194304 42670 0 0 0 150697 16 0 0 20 0 1 0 164777370 356655104 69055 134679101440 4194304 7248369 140725139644736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 37171200 140725139649452 140725139649631 140725139649631 140725139656646 0
/proc/868984/statm: 87074 69055 851 746 0 86138 0
Current children cumulated CPU time: 1507.13 s
Current children cumulated vsize: 348296 KiB
Current children cumulated memory: 276220 KiB

Child status: 30

Real time (s): 1511.09
CPU time (s): 1507.22
CPU user time (s): 1507.05
CPU system time (s): 0.167522
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 348296
Max. memory (cumulated for all children) (KiB): 276220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1507.05
system time used= 0.167522
maximum resident set size= 283584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 1555


# summary of solver processes directly reported to runsolver:
#   pid: 868984
#   total CPU time (s): 1507.22
#   total CPU user time (s): 1507.05
#   total CPU system time (s): 0.167522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.25252 second user time and 6.88364 second system time

The end

Begin job on nodeC018 at 2024-07-16 12:36:02
IDJOB=4433671
IDBENCH=155602
IDSOLVER=3061
FILE ID=nodeC018/4433671-1721126150
RUNJOBID= nodeC018-1721117151-863630
SLURM_JOB_ID= 7505661
Free space on /tmp= 889956 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433671-1721126150/watcher-4433671-1721126150 -o /tmp/evaluation-result-4433671-1721126150/solver-4433671-1721126150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721117151-863630 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2036679198 HOME/instance-4433671-1721126150.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=2036679198

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124670628 kB
MemAvailable:   125123824 kB
Buffers:          395240 kB
Cached:           897676 kB
SwapCached:            0 kB
Active:           810788 kB
Inactive:        5445556 kB
Active(anon):       1568 kB
Inactive(anon):  4999256 kB
Active(file):     809220 kB
Inactive(file):   446300 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4920 kB
Writeback:             0 kB
AnonPages:       4960976 kB
Mapped:           116632 kB
Shmem:             37720 kB
KReclaimable:      74996 kB
Slab:             181636 kB
SReclaimable:      74996 kB
SUnreclaim:       106640 kB
KernelStack:        4092 kB
PageTables:        19112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5578448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3790848 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:      232148 kB
DirectMap2M:    16318464 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC018 at 2024-07-16 13:01:13