0.00/0.07	o -6504
0.30/0.35	o -6598
0.30/0.40	o -6643
17.05/17.11	o -6651
24.32/24.40	o -6653
34.89/35.01	o -6657
41.17/41.39	o -6658
110.96/111.33	o -6662
114.56/114.90	o -6665
116.84/117.22	o -6671
116.94/117.33	o -6678
129.41/129.87	o -6687
169.98/170.54	o -6693
173.08/173.60	o -6700
177.47/178.06	o -6702
221.84/222.51	o -6706
226.52/227.21	o -6707
236.19/236.99	o -6710
243.17/243.97	o -6714
243.17/244.00	o -6723
287.84/288.79	o -6726
291.32/292.24	o -6732
302.69/303.68	o -6740
337.68/338.72	o -6751
373.98/375.14	o -6754
392.92/394.17	o -6755
403.89/405.15	o -6756
444.16/445.53	o -6768
466.60/468.08	o -6800
477.86/479.39	o -6808
655.03/657.01	o -6811
679.65/681.74	o -6812
696.80/698.91	o -6838
699.89/702.06	o -6848
699.89/702.08	o -6858
712.15/714.36	o -6866
727.21/729.43	o -6868
733.98/736.25	o -6872
739.67/742.00	o -6875
739.78/742.02	o -6883
757.32/759.68	o -6884
784.93/787.36	o -6891
798.39/800.81	o -6897
809.06/811.51	o -6898
813.85/816.34	o -6901
820.72/823.21	o -6903
820.72/823.24	o -6912
828.00/830.55	o -6915
843.25/845.83	o -6945
867.18/869.83	o -6952
907.06/909.89	o -6954
937.56/940.42	o -6967
952.52/955.43	o -6971
958.20/961.11	o -6974
1128.98/1132.49	o -7001
1163.97/1167.53	o -7002
1183.91/1187.56	o -7005
1184.01/1187.61	o -7012
1184.91/1188.51	o -7021
1201.36/1205.02	o -7024
1233.55/1237.33	o -7025
1248.91/1252.78	o -7027
1249.11/1252.90	o -7037
1249.61/1253.47	o -7047
1270.55/1274.40	o -7054
1310.32/1314.31	o -7064
1330.46/1334.52	o -7066
1330.46/1334.54	o -7067
1344.52/1348.61	o -7072
1359.47/1363.64	o -7074
1363.06/1367.24	o -7083
1363.16/1367.34	o -7086
1395.16/1399.48	o -7087
1395.26/1399.51	o -7098
1398.86/1403.13	o -7100
1453.98/1458.43	o -7102
1521.77/1526.42	o -7103
1554.67/1559.47	o -7105
1555.28/1560.02	o -7107
1568.43/1573.22	o -7108
1586.97/1591.84	o -7113
1625.75/1630.74	o -7118
1653.37/1658.46	o -7120
1685.08/1690.23	o -7121
1704.42/1709.60	o -7123
1737.61/1742.99	o -7125
1749.08/1754.45	o -7130
1782.69/1788.15	o -7132
1783.38/1788.82	o -7133
1790.45/1795.90	o -7134
1822.46/1828.08	o -7135
1847.78/1853.49	o -7136
1872.59/1878.32	o -7139
1891.13/1896.93	o -7141
1925.62/1931.58	o -7144
1925.71/1931.61	o -7145
1925.71/1931.65	o -7148
1953.52/1959.56	o -7155
1982.72/1988.82	o -7156
1995.38/2001.57	o -7159
2013.42/2019.63	o -7161
2032.07/2038.34	o -7165
2039.74/2046.06	o -7168
2041.33/2047.65	o -7172
2041.63/2048.00	o -7179
2041.73/2048.05	o -7183
2041.73/2048.09	o -7202
2052.70/2059.09	o -7206
2064.96/2071.39	o -7210
2092.59/2099.10	o -7211
2103.34/2109.87	o -7212
2130.36/2136.95	o -7215
2156.49/2163.17	o -7227
2199.75/2206.55	o -7229
2214.31/2221.17	o -7249
2214.40/2221.23	o -7253
2214.40/2221.26	o -7256
2325.38/2332.58	o -7258
2338.35/2345.56	o -7260
2345.12/2352.31	o -7261
2397.77/2405.13	o -7264
2412.53/2419.91	o -7265
2412.73/2420.17	o -7275
2413.73/2421.17	o -7276
2425.29/2432.71	o -7281
2446.43/2454.00	o -7282
2449.23/2456.78	o -7284
2473.06/2480.68	o -7287
2473.16/2480.72	o -7295
2473.16/2480.76	o -7332
2473.26/2480.81	o -7340
2474.46/2482.04	o -7344
2482.93/2490.54	o -7345
2500.18/2507.86	o -7352
2524.62/2532.39	o -7353
2525.32/2533.06	o -7357
2533.88/2541.60	o -7359
2552.73/2560.57	o -7365
2590.42/2598.31	o -7367
2635.00/2643.04	o -7375
2655.14/2663.28	o -7376
2681.06/2689.20	o -7379
2682.16/2690.35	o -7380
2685.95/2694.19	o -7387
2690.64/2698.85	o -7394
2725.63/2733.96	o -7396
2725.73/2734.01	o -7441
2730.92/2739.24	o -7443
2731.92/2740.23	o -7444
2731.92/2740.29	o -7445
2735.11/2743.49	o -7449
2735.21/2743.55	o -7452
2735.21/2743.58	o -7453
2735.81/2744.16	o -7457
2737.00/2745.30	o -7458
2737.20/2745.50	o -7488
2737.20/2745.56	o -7492
2740.39/2748.78	o -7493
2786.95/2795.46	o -7497
2787.25/2795.77	o -7507
2800.52/2809.07	o -7514
2800.62/2809.13	o -7516
2802.01/2810.51	o -7519
2802.21/2810.76	o -7524
2802.31/2810.84	o -7525
2806.10/2814.67	o -7530
2806.20/2814.74	o -7531
2806.40/2814.92	o -7540
2806.40/2814.97	o -7544
2806.50/2815.07	o -7545
2827.44/2836.02	o -7549
2858.95/2867.68	o -7552
2908.80/2917.69	o -7562
2919.77/2928.66	o -7565
2920.07/2928.93	o -7567
2925.75/2934.63	o -7590
2960.65/2969.60	o -7592
2975.90/2984.91	o -7595
2976.91/2985.98	o -7597
3037.42/3046.66	o -7599
3039.72/3048.98	o -7602
3039.83/3049.03	o -7610
3039.83/3049.08	o -7612
3042.41/3051.68	o -7616
3043.71/3052.90	o -7618
3043.71/3052.96	o -7620
3050.49/3059.74	o -7622
3052.79/3062.06	o -7623
3053.08/3062.35	o -7627
3061.36/3070.60	o -7628
3061.55/3070.89	o -7633
3061.95/3071.24	o -7638
3062.05/3071.32	o -7640
3062.05/3071.39	o -7677
3062.15/3071.44	o -7680
3062.15/3071.49	o -7691
3065.44/3074.78	o -7694
3065.54/3074.84	o -7705
3065.54/3074.88	o -7720
3071.33/3080.61	o -7721
3074.02/3083.35	o -7724
3094.86/3104.27	o -7727
3098.95/3108.32	o -7728
3115.71/3125.16	o -7733
3116.70/3126.16	o -7734
3119.79/3129.21	o -7740
3122.98/3132.49	o -7742
3123.87/3133.33	o -7744
3124.27/3133.78	o -7746
3124.47/3133.99	o -7748
3124.57/3134.09	o -7752
3124.67/3134.19	o -7758
3131.15/3140.65	o -7763
3140.92/3150.48	o -7765
3153.99/3163.52	o -7769
3167.84/3177.47	o -7774
3167.94/3177.50	o -7777
3168.14/3177.73	o -7781
3168.45/3178.05	o -7786
3168.84/3178.42	o -7787
3170.54/3180.11	o -7788
3174.03/3183.64	o -7789
3185.19/3194.81	o -7795
3189.88/3199.59	o -7796
3192.18/3201.82	o -7797
3193.38/3203.01	o -7798
3196.86/3206.59	o -7799
3199.66/3209.30	o -7806
3200.05/3209.72	o -7808
3200.25/3209.92	o -7811
3201.35/3211.09	o -7815
3205.53/3215.20	o -7816
3208.22/3217.92	o -7822
3215.71/3225.44	o -7830
3216.00/3225.72	o -7832
3216.00/3225.74	o -7834
3216.00/3225.76	o -7838
3216.10/3225.88	o -7839
3216.50/3226.24	o -7841
3216.50/3226.26	o -7843
3216.50/3226.28	o -7855
3216.80/3226.55	o -7858
3216.80/3226.58	o -7903
3220.39/3230.19	o -7905
3224.88/3234.63	o -7910
3227.97/3237.73	o -7912
3229.46/3239.26	o -7913
3230.77/3240.55	o -7914
3232.56/3242.33	o -7915
3233.95/3243.72	o -7916
3234.85/3244.62	o -7923
3235.45/3245.22	o -7937
3235.95/3245.79	o -7938
3236.45/3246.27	o -7942
3236.55/3246.32	o -7944
3236.55/3246.39	s OPTIMUM FOUND
3236.55/3246.39	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475

OK	-7944

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: 63708 MiB (43808 MiB free)
  memory of node 1: 64465 MiB (54558 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523212-1751595229/watcher-4523212-1751595229 -o /tmp/evaluation-result-4523212-1751595229/solver-4523212-1751595229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751591540-83145 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=803282730 --ls=0 --inp-dombreaklim=0 HOME/instance-4523212-1751595229.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=83740, runsolver pid=83737
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.02 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100728804/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=46208 memory=24384 CPUtime=0.09 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 5094 0 0 0 9 0 0 0 20 0 1 0 75201485 47316992 6096 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 11552 6096 1248 1200 0 10032 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46208 KiB
Current children cumulated memory: 24384 KiB

[startup+0.205395 s]*
/proc/loadavg: 4.02 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100705052/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=58072 memory=36440 CPUtime=0.2 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 7599 0 0 0 20 0 0 0 20 0 1 0 75201485 59465728 9110 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 14518 9110 1248 1200 0 12998 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58072 KiB
Current children cumulated memory: 36440 KiB

[startup+0.305365 s]*
/proc/loadavg: 4.02 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100688860/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=68028 memory=49048 CPUtime=0.3 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 9717 0 0 0 29 1 0 0 20 0 1 0 75201485 69660672 12262 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 17007 12262 1248 1200 0 15487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68028 KiB
Current children cumulated memory: 49048 KiB

[startup+0.700178 s]
/proc/loadavg: 4.02 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100656604/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=74608 memory=57564 CPUtime=0.69 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 11319 0 0 0 68 1 0 0 20 0 1 0 75201485 76398592 14391 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 18652 14391 1280 1200 0 17132 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74608 KiB
Current children cumulated memory: 57564 KiB

[startup+1.50016 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100457048/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=89880 memory=69092 CPUtime=1.48 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 12352 0 0 0 147 1 0 0 20 0 1 0 75201485 92037120 17273 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 22470 17273 1280 1200 0 20950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89880 KiB
Current children cumulated memory: 69092 KiB

[startup+3.10523 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100392540/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=97984 memory=87300 CPUtime=3.09 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 14367 0 0 0 307 2 0 0 20 0 1 0 75201485 100335616 21825 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 24496 21825 1280 1200 0 22976 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 97984 KiB
Current children cumulated memory: 87300 KiB

[startup+6.30015 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100312248/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=135036 memory=116444 CPUtime=6.27 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 17971 0 0 0 623 4 0 0 20 0 1 0 75201485 138276864 29111 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 33759 29111 1280 1200 0 32239 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135036 KiB
Current children cumulated memory: 116444 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 83741
/proc/meminfo: memFree=100020424/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=245584 memory=207236 CPUtime=12.65 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 34490 0 0 0 1254 11 0 0 20 0 1 0 75201485 251478016 51809 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 61396 51809 1280 1200 0 59876 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 245584 KiB
Current children cumulated memory: 207236 KiB

[startup+25.5002 s]
/proc/loadavg: 4.01 4.06 4.08 5/264 83741
/proc/meminfo: memFree=99693652/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=382224 memory=316548 CPUtime=25.41 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 49694 0 0 0 2522 19 0 0 20 0 1 0 75201485 391397376 79137 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 95556 79137 1280 1200 0 94036 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 382224 KiB
Current children cumulated memory: 316548 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 4.07 4.08 5/264 83742
/proc/meminfo: memFree=98766116/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=434064 memory=381700 CPUtime=50.94 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 60926 0 0 0 5069 25 0 0 20 0 1 0 75201485 444481536 95425 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 108516 95425 1280 1200 0 106996 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 434064 KiB
Current children cumulated memory: 381700 KiB

[startup+102.3 s]
/proc/loadavg: 4.02 4.06 4.08 5/264 83748
/proc/meminfo: memFree=97567828/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=654108 memory=546920 CPUtime=101.99 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 83136 0 0 0 10156 43 0 0 20 0 1 0 75201485 669806592 136730 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 163527 136730 1280 1200 0 162007 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 654108 KiB
Current children cumulated memory: 546920 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.07 4.08 5/264 83750
/proc/meminfo: memFree=94110048/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=654108 memory=547176 CPUtime=161.81 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 83327 0 0 0 16131 50 0 0 20 0 1 0 75201485 669806592 136794 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 163527 136794 1280 1200 0 162007 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 654108 KiB
Current children cumulated memory: 547176 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.07 4.08 5/264 83752
/proc/meminfo: memFree=90763096/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=654256 memory=547432 CPUtime=221.64 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 83458 0 0 0 22106 58 0 0 20 0 1 0 75201485 669958144 136858 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 163564 136858 1280 1200 0 162044 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 654256 KiB
Current children cumulated memory: 547432 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/263 83754
/proc/meminfo: memFree=89158348/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=654256 memory=547688 CPUtime=281.46 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 83595 0 0 0 28082 64 0 0 20 0 1 0 75201485 669958144 136922 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 163564 136922 1280 1200 0 162044 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 654256 KiB
Current children cumulated memory: 547688 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.07 4.08 5/263 83756
/proc/meminfo: memFree=88685908/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=704192 memory=587240 CPUtime=341.27 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 93561 0 0 0 34056 71 0 0 20 0 1 0 75201485 721092608 146810 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 176048 146810 1280 1200 0 174528 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 704192 KiB
Current children cumulated memory: 587240 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/263 83758
/proc/meminfo: memFree=88374852/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=704192 memory=587368 CPUtime=401.1 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 93637 0 0 0 40031 79 0 0 20 0 1 0 75201485 721092608 146842 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 176048 146842 1280 1200 0 174528 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 704192 KiB
Current children cumulated memory: 587368 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.10 4.09 5/262 83761
/proc/meminfo: memFree=88288968/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=704192 memory=587624 CPUtime=460.91 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 93750 0 0 0 46006 85 0 0 20 0 1 0 75201485 721092608 146906 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 176048 146906 1280 1200 0 174528 0

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

/proc/loadavg: 4.10 4.11 4.10 5/263 84314
/proc/meminfo: memFree=105901580/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=879700 memory=825840 CPUtime=2793.84 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 130345 0 0 0 279121 263 0 0 20 0 1 0 75201485 900812800 206460 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 219925 206460 1280 1200 0 218405 0
Current children cumulated CPU time: 2793.84 s
Current children cumulated vsize: 879700 KiB
Current children cumulated memory: 825840 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 84327
/proc/meminfo: memFree=105872596/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=913540 memory=861264 CPUtime=2853.66 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 136184 0 0 0 285098 268 0 0 20 0 1 0 75201485 935464960 215316 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 228385 215316 1280 1200 0 226865 0
Current children cumulated CPU time: 2853.66 s
Current children cumulated vsize: 913540 KiB
Current children cumulated memory: 861264 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 84331
/proc/meminfo: memFree=105864652/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=913540 memory=861264 CPUtime=2913.49 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 136270 0 0 0 291076 273 0 0 20 0 1 0 75201485 935464960 215316 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 228385 215316 1280 1200 0 226865 0
Current children cumulated CPU time: 2913.49 s
Current children cumulated vsize: 913540 KiB
Current children cumulated memory: 861264 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 84333
/proc/meminfo: memFree=105807844/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=972868 memory=910120 CPUtime=2973.31 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 145044 0 0 0 297054 277 0 0 20 0 1 0 75201485 996216832 227530 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 243217 227530 1280 1200 0 241697 0
Current children cumulated CPU time: 2973.31 s
Current children cumulated vsize: 972868 KiB
Current children cumulated memory: 910120 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 84334
/proc/meminfo: memFree=105807940/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=972868 memory=910120 CPUtime=3033.14 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 145115 0 0 0 303033 281 0 0 20 0 1 0 75201485 996216832 227530 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 243217 227530 1280 1200 0 241697 0
Current children cumulated CPU time: 3033.14 s
Current children cumulated vsize: 972868 KiB
Current children cumulated memory: 910120 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 84336
/proc/meminfo: memFree=105807844/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=972868 memory=910120 CPUtime=3092.96 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 145236 0 0 0 309011 285 0 0 20 0 1 0 75201485 996216832 227530 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 243217 227530 1280 1200 0 241697 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 972868 KiB
Current children cumulated memory: 910120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.34 4.17 4.11 5/262 84338
/proc/meminfo: memFree=105807956/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=973268 memory=911272 CPUtime=3152.79 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 145521 0 0 0 314989 290 0 0 20 0 1 0 75201485 996626432 227818 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 243317 227818 1280 1200 0 241797 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 973268 KiB
Current children cumulated memory: 911272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 84345
/proc/meminfo: memFree=105775664/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3212.62 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 320967 295 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

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

# cumulated CPU time of all completed processes:  user=3233.66 s, system=3.00318 s

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

[startup+3225.6 s]
/proc/loadavg: 4.22 4.17 4.11 5/263 84345
/proc/meminfo: memFree=105775688/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3215.9 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 321295 295 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3215.9 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3238.4 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3228.67 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 322570 297 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3228.67 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3241.6 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3231.86 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 322888 298 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3231.86 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3244.8 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3235.05 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 323206 299 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3235.05 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3245.6 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3235.85 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 323286 299 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3235.85 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3246 s]*
/proc/loadavg: 4.16 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=1019016 memory=945576 CPUtime=3236.25 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154187 0 0 0 323326 299 0 0 20 0 1 0 75201485 1043472384 236394 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 254754 236394 1280 1200 0 253234 0
Current children cumulated CPU time: 3236.25 s
Current children cumulated vsize: 1019016 KiB
Current children cumulated memory: 945576 KiB

[startup+3246.4 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 84346
/proc/meminfo: memFree=105775712/131249988 swapFree=33010416/33010684
[pid=83740] ppid=83737 vsize=734736 memory=642120 CPUtime=3236.64 cores=5,7
/proc/83740/stat : 83740 (Exact) R 83737 83740 83132 0 -1 4194304 154188 0 0 0 323365 299 0 0 20 0 1 0 75201485 752369664 160530 18446744073709551615 4198400 9112445 140728016631152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33726464 140728016636201 140728016636397 140728016636397 140728016641999 0
/proc/83740/statm: 183684 160530 1312 1200 0 182164 0
Current children cumulated CPU time: 3236.64 s
Current children cumulated vsize: 734736 KiB
Current children cumulated memory: 642120 KiB

Child status: 30

Real time (s): 3246.41
CPU time (s): 3236.66
CPU user time (s): 3233.66
CPU system time (s): 3.00318
CPU usage (%): 99.6998
Max. virtual memory (cumulated for all children) (KiB): 1019016
Max. memory (cumulated for all children) (KiB): 945576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3233.66
system time used= 3.00318
maximum resident set size= 945704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154189
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= 132
involuntary context switches= 18599


# summary of solver processes directly reported to runsolver:
#   pid: 83740
#   total CPU time (s): 3236.66
#   total CPU user time (s): 3233.66
#   total CPU system time (s): 3.00318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13959 second user time and 13.4865 second system time

The end

Begin job on nodeC031 at 2025-07-04 04:13:49
IDJOB=4523212
IDBENCH=179855
IDSOLVER=3318
FILE ID=nodeC031/4523212-1751595229
RUNJOBID= nodeC031-1751591540-83145
SLURM_JOB_ID= 9598853
Free space on /tmp= 432024 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.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-4523212-1751595229/watcher-4523212-1751595229 -o /tmp/evaluation-result-4523212-1751595229/solver-4523212-1751595229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751591540-83145 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=803282730 --ls=0 --inp-dombreaklim=0 HOME/instance-4523212-1751595229.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=803282730

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        100728468 kB
MemAvailable:   121681716 kB
Buffers:            2128 kB
Cached:         21636788 kB
SwapCached:           12 kB
Active:          8370852 kB
Inactive:       21230068 kB
Active(anon):    7969588 kB
Inactive(anon):    10468 kB
Active(file):     401264 kB
Inactive(file): 21219600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25328 kB
Writeback:             0 kB
AnonPages:       7965096 kB
Mapped:           119668 kB
Shmem:             18052 kB
KReclaimable:     343248 kB
Slab:             436492 kB
SReclaimable:     343248 kB
SUnreclaim:        93244 kB
KernelStack:        4236 kB
PageTables:        18952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    9914872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6737920 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432056 MiB
End job on nodeC031 at 2025-07-04 05:07:56