0.22/0.31	o 64823
0.22/0.32	o 64565
0.32/0.33	o 64487
0.32/0.35	o 64197
0.60/0.64	o 63356
0.60/0.66	o 63109
1.19/1.27	o 63033
1.28/1.35	o 62978
1.28/1.35	o 62790
1.68/1.76	o 62450
1.68/1.77	o 62265
1.68/1.77	o 62204
1.68/1.79	o 61998
1.78/1.88	o 61989
1.88/1.91	o 61922
1.88/1.92	o 61913
1.88/1.94	o 61806
1.88/1.94	o 61797
2.10/2.16	o 61554
2.38/2.41	o 61528
2.38/2.49	o 61359
2.38/2.49	o 61348
2.48/2.50	o 61232
2.48/2.50	o 61174
2.48/2.53	o 61148
2.99/3.01	o 61142
10.85/10.92	o 61137
10.85/10.94	o 59474
11.06/11.16	o 59456
11.06/11.16	o 59438
11.15/11.20	o 59429
11.65/11.79	o 59395
11.75/11.80	o 59377
11.75/11.81	o 59347
11.75/11.82	o 59339
14.74/14.84	o 59305
14.74/14.85	o 59297
15.24/15.36	o 59277
15.24/15.38	o 59268
15.24/15.38	o 59259
15.24/15.39	o 59238
15.24/15.40	o 59221
16.24/16.38	o 59114
17.05/17.19	o 59093
17.14/17.20	o 59075
27.92/28.04	o 58839
27.92/28.04	o 58744
27.92/28.05	o 58726
27.92/28.06	o 58717
27.92/28.09	o 58599
27.92/28.09	o 58581
27.92/28.10	o 58572
27.92/28.10	o 58541
27.92/28.11	o 58523
28.02/28.11	o 58514
28.02/28.12	o 58505
28.02/28.12	o 58496
28.60/28.76	o 58461
28.60/28.76	o 58443
28.70/28.82	o 58336
28.70/28.82	o 58327
28.80/28.96	o 58269
28.91/29.02	o 58261
28.91/29.03	o 58087
29.30/29.42	o 57986
29.30/29.42	o 57968
29.50/29.69	o 57794
30.19/30.34	o 57788
30.19/30.34	o 57770
30.19/30.35	o 57588
30.19/30.36	o 57475
30.19/30.37	o 57466
30.50/30.63	o 57435
30.50/30.64	o 57417
30.50/30.64	o 57408
30.70/30.82	o 57337
30.70/30.82	o 57319
30.70/30.83	o 57310
30.70/30.83	o 57292
30.70/30.84	o 57261
30.70/30.85	o 57243
30.70/30.85	o 57234
37.58/37.70	o 57227
41.66/41.84	o 57130
41.87/42.01	o 57083
41.87/42.02	o 57074
41.87/42.09	o 55559
41.87/42.10	o 55541
41.87/42.10	o 55532
41.87/42.10	o 55514
41.97/42.14	o 55492
41.97/42.15	o 55474
41.97/42.15	o 55465
41.97/42.15	o 55456
52.03/52.30	o 55428
52.13/52.30	o 55410
61.20/61.43	o 55404
61.20/61.43	o 55360
61.20/61.43	o 55354
61.30/61.56	o 55339
69.08/69.32	o 55281
69.08/69.35	o 55261
71.67/71.94	o 55165
71.79/72.02	o 55154
71.79/72.03	o 55145
72.67/72.95	o 55111
72.67/72.95	o 55103
73.17/73.49	o 55075
73.27/73.50	o 55067
73.27/73.50	o 54945
73.27/73.58	o 54925
76.96/77.22	o 54829
76.96/77.22	o 54809
76.96/77.23	o 54791
77.16/77.44	o 54780
77.16/77.45	o 54771
77.16/77.46	o 54710
77.16/77.46	o 54701
77.16/77.47	o 54690
77.16/77.47	o 54681
77.26/77.57	o 54675
77.36/77.60	o 54664
77.36/77.61	o 54655
77.36/77.68	o 54637
88.33/88.62	o 54631
88.33/88.62	o 54622
100.81/101.11	o 54529
100.81/101.13	o 54433
100.89/101.20	o 54421
100.99/101.36	o 54389
110.86/111.24	o 54387
110.86/111.25	o 54369
110.86/111.25	o 54368
110.86/111.26	o 54360
115.66/116.02	o 54355
115.66/116.03	o 54338
115.66/116.03	o 54320
115.84/116.20	o 54311
116.24/116.67	o 54303
116.24/116.68	o 54294
126.11/126.56	o 54276
126.21/126.61	o 54258
126.82/127.25	o 54256
126.82/127.25	o 54238
132.90/133.36	o 54140
146.16/146.60	o 54133
146.16/146.61	o 54121
146.76/147.25	o 54089
146.76/147.26	o 54080
146.86/147.33	o 54072
146.95/147.41	o 54063
147.45/148.00	o 54054
147.45/148.00	o 54042
147.57/148.01	o 53951
147.96/148.48	o 53946
147.96/148.48	o 53934
147.96/148.49	o 53925
153.65/154.12	o 53866
157.03/157.53	o 53845
157.03/157.54	o 53827
157.03/157.58	o 53818
157.13/157.63	o 53809
162.42/162.95	o 53760
168.19/168.80	o 53639
168.29/168.82	o 53619
168.29/168.82	o 53601
168.29/168.87	o 53557
168.39/168.92	o 53320
168.39/168.93	o 53302
169.19/169.76	o 53284
169.19/169.77	o 52022
174.78/175.39	o 52014
174.98/175.50	o 52005
181.66/182.25	o 51914
181.66/182.26	o 51897
181.86/182.49	o 51888
203.51/204.14	o 51880
203.51/204.15	o 51836
203.59/204.25	o 51827
214.38/215.10	o 51765
214.47/215.11	o 51764
214.66/215.33	o 51691
214.66/215.34	o 51673
214.66/215.35	o 51665
216.06/216.74	o 51622
216.06/216.74	o 51604
216.06/216.75	o 51596
216.16/216.88	o 51507
216.16/216.89	o 51489
216.16/216.89	o 51480
216.26/216.90	o 51472
216.37/217.03	o 51428
225.45/226.19	o 51302
225.45/226.19	o 51293
241.89/242.65	o 51272
241.89/242.67	o 51264
241.89/242.67	o 51262
241.89/242.68	o 51253
241.89/242.69	o 51244
245.57/246.35	o 51241
245.57/246.35	o 51075
246.39/247.19	o 51053
246.67/247.45	o 50977
246.67/247.46	o 50959
246.77/247.54	o 50949
246.77/247.55	o 50941
246.77/247.55	o 50933
246.97/247.71	o 50932
246.97/247.72	o 50924
254.64/255.49	o 50921
254.74/255.50	o 50904
254.74/255.51	o 50884
254.74/255.51	o 50866
254.74/255.51	o 50843
254.74/255.52	o 50825
254.74/255.52	o 50808
260.03/260.81	o 50804
260.03/260.81	o 50795
260.03/260.82	o 50786
260.03/260.83	o 50778
260.03/260.84	o 50769
272.59/273.43	s OPTIMUM FOUND
272.59/273.43	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

OK	50769

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497164-1751392375/watcher-4497164-1751392375 -o /tmp/evaluation-result-4497164-1751392375/solver-4497164-1751392375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751385139-54168 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=496755833 --ls=0 --inp-dombreaklim=0 HOME/instance-4497164-1751392375.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55988, runsolver pid=55984
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.19 4.12 4.10 5/254 55993
/proc/meminfo: memFree=124174428/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=38568 memory=14652 CPUtime=0.1 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 3261 0 0 0 9 1 0 0 20 0 1 0 54916856 39493632 3663 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 9642 3663 1024 1200 0 8122 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38568 KiB
Current children cumulated memory: 14652 KiB

[startup+0.213337 s]*
/proc/loadavg: 4.19 4.12 4.10 5/254 55993
/proc/meminfo: memFree=124171404/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=46032 memory=22232 CPUtime=0.22 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 5262 0 0 0 20 2 0 0 20 0 1 0 54916856 47136768 5558 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 11508 5558 1184 1200 0 9988 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 46032 KiB
Current children cumulated memory: 22232 KiB

[startup+0.313339 s]*
/proc/loadavg: 4.19 4.12 4.10 5/254 55993
/proc/meminfo: memFree=124171404/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=46620 memory=23384 CPUtime=0.32 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 5474 0 0 0 29 3 0 0 20 0 1 0 54916856 47738880 5846 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 11655 5846 1248 1200 0 10135 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 46620 KiB
Current children cumulated memory: 23384 KiB

[startup+0.700354 s]
/proc/loadavg: 4.19 4.12 4.10 5/254 55993
/proc/meminfo: memFree=124171404/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=49260 memory=29372 CPUtime=0.68 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 6456 0 0 0 65 3 0 0 20 0 1 0 54916856 50442240 7343 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 12315 7343 1248 1200 0 10795 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49260 KiB
Current children cumulated memory: 29372 KiB

[startup+1.50029 s]
/proc/loadavg: 4.19 4.12 4.10 4/252 55996
/proc/meminfo: memFree=124181800/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=57596 memory=41532 CPUtime=1.48 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 8480 0 0 0 144 4 0 0 20 0 1 0 54916856 58978304 10383 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 14399 10383 1248 1200 0 12879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57596 KiB
Current children cumulated memory: 41532 KiB

[startup+3.11292 s]
/proc/loadavg: 4.26 4.13 4.10 4/252 56038
/proc/meminfo: memFree=124142916/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=81268 memory=70204 CPUtime=3.09 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 13610 0 0 0 302 7 0 0 20 0 1 0 54916856 83218432 17551 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 20317 17551 1280 1200 0 18797 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81268 KiB
Current children cumulated memory: 70204 KiB

[startup+6.30028 s]
/proc/loadavg: 4.26 4.13 4.10 4/250 56091
/proc/meminfo: memFree=124080424/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=127752 memory=113792 CPUtime=6.27 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 21672 0 0 0 616 11 0 0 20 0 1 0 54916856 130818048 28448 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 31938 28448 1280 1200 0 30418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127752 KiB
Current children cumulated memory: 113792 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.13 4.10 5/254 56128
/proc/meminfo: memFree=123140496/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=263628 memory=215500 CPUtime=12.64 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 38250 0 0 0 1246 18 0 0 20 0 1 0 54916856 269955072 53875 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 65907 53875 1280 1200 0 64387 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 263628 KiB
Current children cumulated memory: 215500 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.12 4.10 5/255 56130
/proc/meminfo: memFree=122461288/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=285528 memory=247436 CPUtime=25.41 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 43164 0 0 0 2518 23 0 0 20 0 1 0 54916856 292380672 61859 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 71382 61859 1280 1200 0 69862 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 285528 KiB
Current children cumulated memory: 247436 KiB

[startup+51.1127 s]
/proc/loadavg: 4.25 4.14 4.10 5/253 56130
/proc/meminfo: memFree=122442104/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=318188 memory=284724 CPUtime=50.94 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 49948 0 0 0 5063 31 0 0 20 0 1 0 54916856 325824512 71181 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 79547 71181 1280 1200 0 78027 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 318188 KiB
Current children cumulated memory: 284724 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/254 56133
/proc/meminfo: memFree=121975580/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=320852 memory=287284 CPUtime=101.99 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 50653 0 0 0 10155 44 0 0 20 0 1 0 54916856 328552448 71821 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 80213 71821 1280 1200 0 78693 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 320852 KiB
Current children cumulated memory: 287284 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 56139
/proc/meminfo: memFree=121919332/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=329500 memory=295604 CPUtime=161.82 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 52779 0 0 0 16119 63 0 0 20 0 1 0 54916856 337408000 73901 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 82375 73901 1280 1200 0 80855 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 329500 KiB
Current children cumulated memory: 295604 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 56141
/proc/meminfo: memFree=121067904/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=338980 memory=305076 CPUtime=221.65 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 55194 0 0 0 22084 81 0 0 20 0 1 0 54916856 347115520 76269 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 84745 76269 1280 1200 0 83225 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 338980 KiB
Current children cumulated memory: 305076 KiB

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

# cumulated CPU time of all completed processes:  user=271.671 s, system=0.986877 s

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

[startup+230.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 56141
/proc/meminfo: memFree=120840184/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=340112 memory=306228 CPUtime=229.72 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 55472 0 0 0 22889 83 0 0 20 0 1 0 54916856 348274688 76557 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 85028 76557 1280 1200 0 83508 0
Current children cumulated CPU time: 229.72 s
Current children cumulated vsize: 340112 KiB
Current children cumulated memory: 306228 KiB

[startup+256 s]*
/proc/loadavg: 4.13 4.13 4.09 5/254 56142
/proc/meminfo: memFree=120770312/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=355572 memory=318388 CPUtime=255.25 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 58524 0 0 0 25434 91 0 0 20 0 1 0 54916856 364105728 79597 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 88893 79597 1280 1200 0 87373 0
Current children cumulated CPU time: 255.25 s
Current children cumulated vsize: 355572 KiB
Current children cumulated memory: 318388 KiB

[startup+262.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120609328/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=355792 memory=318516 CPUtime=261.62 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 58551 0 0 0 26069 93 0 0 20 0 1 0 54916856 364331008 79629 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 88948 79629 1280 1200 0 87428 0
Current children cumulated CPU time: 261.62 s
Current children cumulated vsize: 355792 KiB
Current children cumulated memory: 318516 KiB

[startup+268.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120583488/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=355792 memory=318516 CPUtime=268.01 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 58552 0 0 0 26705 96 0 0 20 0 1 0 54916856 364331008 79629 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 88948 79629 1280 1200 0 87428 0
Current children cumulated CPU time: 268.01 s
Current children cumulated vsize: 355792 KiB
Current children cumulated memory: 318516 KiB

[startup+272 s]*
/proc/loadavg: 4.10 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120552088/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=370740 memory=329140 CPUtime=271.21 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 61234 0 0 0 27025 96 0 0 20 0 1 0 54916856 379637760 82285 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 92685 82285 1280 1200 0 91165 0
Current children cumulated CPU time: 271.21 s
Current children cumulated vsize: 370740 KiB
Current children cumulated memory: 329140 KiB

[startup+272.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120552088/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=370740 memory=329140 CPUtime=271.99 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 61234 0 0 0 27103 96 0 0 20 0 1 0 54916856 379637760 82285 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 92685 82285 1280 1200 0 91165 0
Current children cumulated CPU time: 271.99 s
Current children cumulated vsize: 370740 KiB
Current children cumulated memory: 329140 KiB

[startup+273.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120548008/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=370964 memory=329140 CPUtime=272.39 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 61260 0 0 0 27143 96 0 0 20 0 1 0 54916856 379867136 82285 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 92741 82285 1280 1200 0 91221 0
Current children cumulated CPU time: 272.39 s
Current children cumulated vsize: 370964 KiB
Current children cumulated memory: 329140 KiB

[startup+273.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 56143
/proc/meminfo: memFree=120548008/131382120 swapFree=33010416/33010684
[pid=55988] ppid=55984 vsize=370964 memory=329140 CPUtime=272.59 cores=1,3
/proc/55988/stat : 55988 (Exact) R 55984 55988 54152 0 -1 4194304 61260 0 0 0 27162 97 0 0 20 0 1 0 54916856 379867136 82285 18446744073709551615 4198400 9112445 140720852229776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24264704 140720852236585 140720852236781 140720852236781 140720852242383 0
/proc/55988/statm: 92741 82285 1280 1200 0 91221 0
Current children cumulated CPU time: 272.59 s
Current children cumulated vsize: 370964 KiB
Current children cumulated memory: 329140 KiB

Child status: 30

Real time (s): 273.456
CPU time (s): 272.658
CPU user time (s): 271.671
CPU system time (s): 0.986877
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 370964
Max. memory (cumulated for all children) (KiB): 329140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.671
system time used= 0.986877
maximum resident set size= 329140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61263
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= 2
involuntary context switches= 330


# summary of solver processes directly reported to runsolver:
#   pid: 55988
#   total CPU time (s): 272.658
#   total CPU user time (s): 271.671
#   total CPU system time (s): 0.986877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41208 second user time and 2.66318 second system time

The end

Begin job on nodeC006 at 2025-07-01 19:52:55
IDJOB=4497164
IDBENCH=148155
IDSOLVER=3318
FILE ID=nodeC006/4497164-1751392375
RUNJOBID= nodeC006-1751385139-54168
SLURM_JOB_ID= 9598238
Free space on /tmp= 433044 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497164-1751392375/watcher-4497164-1751392375 -o /tmp/evaluation-result-4497164-1751392375/solver-4497164-1751392375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751385139-54168 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=496755833 --ls=0 --inp-dombreaklim=0 HOME/instance-4497164-1751392375.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=496755833

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        124182756 kB
MemAvailable:   124057560 kB
Buffers:            2128 kB
Cached:           676816 kB
SwapCached:           12 kB
Active:          6225264 kB
Inactive:         350976 kB
Active(anon):    5904156 kB
Inactive(anon):    11092 kB
Active(file):     321108 kB
Inactive(file):   339884 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15148 kB
Writeback:             0 kB
AnonPages:       5899740 kB
Mapped:           113320 kB
Shmem:             17948 kB
KReclaimable:     106496 kB
Slab:             190212 kB
SReclaimable:     106496 kB
SUnreclaim:        83716 kB
KernelStack:        4064 kB
PageTables:        15156 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7208316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4784128 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC006 at 2025-07-01 19:57:29