373.63/375.17	o 222739
375.32/376.89	o 38104
376.41/377.96	o 38004
377.52/379.10	o 37994
378.62/380.16	o 37993
379.70/381.24	o 37983
380.40/381.98	o 25443
382.30/383.83	o 25383
382.90/384.40	o 25382
383.39/384.90	o 25381
383.89/385.40	o 25380
384.29/385.89	o 25379
384.78/386.39	o 25378
385.29/386.88	o 25377
385.78/387.37	o 25376
386.39/387.98	o 25375
386.98/388.50	o 25374
387.39/389.00	o 25373
387.98/389.57	o 25372
388.49/390.06	o 25272
388.98/390.55	o 25172
389.49/391.04	o 25072
389.97/391.52	o 24972
390.49/392.01	o 24872
390.97/392.50	o 24871
391.37/392.98	o 24870
391.87/393.46	o 24869
392.37/393.94	o 24868
392.86/394.43	o 24768
393.37/394.92	o 24668
393.87/395.41	o 24568
394.58/396.19	o 24468
395.16/396.75	o 24368
395.66/397.26	o 24268
396.36/397.91	o 24168
396.86/398.40	o 24068
397.35/398.90	o 23968
397.75/399.39	o 23868
398.26/399.88	o 23768
398.75/400.37	o 23767
399.25/400.87	o 23766
399.75/401.36	o 23765
400.25/401.85	o 23764
400.75/402.35	o 23763
401.24/402.83	o 23762
401.74/403.32	o 23761
402.24/403.80	o 23760
402.64/404.29	o 23759
403.14/404.77	o 23749
403.63/405.26	o 23739
404.14/405.74	o 23639
404.63/406.23	o 23539
405.13/406.72	o 23439
405.63/407.21	o 23339
406.13/407.70	o 23239
406.54/408.20	o 23139
407.02/408.69	o 23039
407.54/409.19	o 22939
408.03/409.69	o 22839
408.54/410.19	o 22739
409.02/410.69	o 22639
409.54/411.19	o 22539
410.02/411.69	o 22439
411.43/413.08	o 22429
412.12/413.74	o 22419
412.61/414.28	o 22418
413.11/414.78	o 22408
413.61/415.28	o 22398
414.11/415.79	o 22388
414.61/416.29	o 22378
415.10/416.79	o 22368
415.61/417.29	o 22358
416.20/417.80	o 22348
416.71/418.31	o 22338
417.20/418.81	o 22328
417.70/419.32	o 22318
418.20/419.83	o 22308
418.70/420.33	o 22298
419.19/420.84	o 22288
419.70/421.34	o 22278
420.20/421.84	o 22268
420.69/422.35	o 22267
421.19/422.85	o 22266
421.69/423.35	o 22265
422.19/423.85	o 22264
422.69/424.35	o 22263
423.18/424.85	o 22262
423.68/425.35	o 22261
424.19/425.85	o 22260
424.68/426.34	o 22259
425.18/426.83	o 22258
425.67/427.32	o 22257
426.18/427.82	o 22256
426.68/428.30	o 22255
427.07/428.79	o 22254
427.57/429.28	o 22253
428.07/429.76	o 22252
428.57/430.25	o 22152
429.07/430.74	o 22052
429.57/431.23	o 21952
430.06/431.72	o 21852
430.57/432.22	o 21752
431.07/432.71	o 21751
431.56/433.20	o 21750
431.96/433.69	o 21749
432.48/434.17	o 21748
432.96/434.66	o 21747
433.46/435.14	o 21746
433.96/435.63	o 21736
434.47/436.11	o 21726
434.95/436.60	o 21716
435.36/437.09	o 21616
435.85/437.57	o 21516
436.85/438.56	o 21416
437.36/439.05	o 21316
437.84/439.53	o 21216
438.36/440.02	o 21116
438.84/440.51	o 21016
439.24/441.00	o 20916
439.74/441.48	o 20906
440.24/441.97	o 20806
440.74/442.45	o 20805
441.23/442.94	o 20705
441.74/443.43	o 20605
442.23/443.92	o 20505
442.73/444.40	o 20405
443.13/444.89	o 20305
444.92/446.60	o 20205
445.73/447.40	o 20105
446.23/447.96	o 20005
446.72/448.46	o 19905
447.22/448.95	o 19805
447.71/449.44	o 19705
448.22/449.95	o 19605
448.72/450.45	o 19505
449.21/450.95	o 19405
449.71/451.45	o 19305
450.22/451.96	o 19304
450.71/452.46	o 19303
451.21/452.97	o 19302
451.70/453.47	o 19301
452.21/453.97	o 19300
452.71/454.47	o 19299
453.20/454.97	o 19298
453.70/455.47	o 19297
454.20/455.96	o 19296
454.70/456.46	o 19295
455.20/456.95	o 19294
455.70/457.44	o 19293
456.20/457.94	o 19193
456.70/458.44	o 19093
457.19/458.94	o 18993
457.69/459.44	o 18893
458.19/459.94	o 18793
458.69/460.45	o 18792
459.19/460.95	o 18782
459.68/461.45	o 18781
460.19/461.95	o 18771
460.69/462.45	o 18770
463.39/465.12	o 18769
2591.01/2597.74	o 18693
2594.31/2601.06	o 18692
2596.79/2603.59	o 18682
2599.30/2606.10	o 18681
2601.78/2608.59	o 18680
2604.29/2611.06	o 18679
2606.67/2613.44	o 18669
2608.96/2615.73	o 18659
2611.16/2617.93	o 18649
2613.26/2620.05	o 18639
2615.36/2622.16	o 18638
2617.44/2624.24	o 18637
2619.54/2626.33	o 18636
2621.63/2628.40	o 18635
2623.53/2630.39	o 18625
2625.53/2632.30	o 18615
2627.34/2634.13	o 18605
2629.02/2635.87	o 18505
2630.72/2637.55	o 18495
2632.33/2639.16	o 18485
2633.91/2640.71	o 18475
2635.31/2642.19	o 18465
2636.80/2643.66	o 18464
2638.31/2645.11	o 18463
2639.69/2646.56	o 18462
2641.08/2648.00	o 18461
2642.48/2649.37	o 18451
2643.78/2650.68	o 18441
2645.07/2651.91	o 18431
2646.28/2653.12	o 18430
2647.36/2654.28	o 18330
2648.56/2655.41	o 18329
2649.65/2656.53	o 18328
2650.75/2657.65	o 18327
2651.84/2658.76	o 18326
2652.95/2659.86	o 18325
2654.04/2660.91	o 18315
2654.94/2661.90	o 18305
2655.93/2662.82	o 18295
2656.74/2663.68	o 18195
2657.53/2664.44	o 18095
2658.24/2665.19	o 18094
2659.02/2665.92	o 18093
2659.73/2666.64	o 18092
2660.42/2667.33	o 18082
2661.02/2667.98	o 18072
2661.61/2668.59	o 18062
2662.23/2669.15	o 17962
2662.81/2669.71	o 17862
2663.31/2670.26	o 17762
2663.81/2670.79	o 17761
2664.40/2671.31	o 17760
2664.91/2671.84	o 17750
2665.40/2672.37	o 17749
2665.90/2672.90	o 17748
2666.50/2673.41	o 17747
2667.00/2673.94	o 17746
2667.49/2674.46	o 17745
2698.00/2705.11	o 17744
2698.68/2705.71	o 17743
2699.18/2706.27	o 17742
2699.78/2706.83	o 17741
2700.28/2707.38	o 17740
2700.88/2707.93	o 17739
2701.38/2708.48	o 17738
2701.99/2709.03	o 17737
2702.47/2709.58	o 17736
2703.09/2710.13	o 17735
2703.57/2710.68	o 17734
2704.17/2711.22	o 17733
2704.67/2711.79	o 17723
2705.26/2712.37	o 17713
2705.86/2712.91	o 17712
2706.35/2713.45	o 17711
2706.97/2714.02	o 17701
2707.45/2714.58	o 17691
2708.06/2715.15	o 17681
2708.65/2715.72	o 17671
2709.15/2716.26	o 17670
2709.65/2716.79	o 17669
2710.25/2717.32	o 17668
2710.74/2717.85	o 17667
2711.14/2718.20	c OUT OF MEMORY
2711.14/2718.20	s SATISFIABLE
2711.14/2718.20	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

OK	9403

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525645-1751622208/watcher-4525645-1751622208 -o /tmp/evaluation-result-4525645-1751622208/solver-4525645-1751622208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92125 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1128154686 --ls=360 --inp-dombreaklim=0 HOME/instance-4525645-1751622208.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=94345, runsolver pid=94342

[startup+0.100069 s]*
/proc/loadavg: 4.19 4.25 4.20 5/250 94346
/proc/meminfo: memFree=125149948/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=48316 memory=25552 CPUtime=0.09 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 6692 0 0 0 8 1 0 0 20 0 1 0 77900676 49475584 6388 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 12079 6388 1024 1200 0 10559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48316 KiB
Current children cumulated memory: 25552 KiB

[startup+0.217581 s]*
/proc/loadavg: 4.19 4.25 4.20 5/250 94346
/proc/meminfo: memFree=125133820/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=67628 memory=43164 CPUtime=0.19 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 13018 0 0 0 16 3 0 0 20 0 1 0 77900676 69251072 10791 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 16907 10791 1024 1200 0 15387 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67628 KiB
Current children cumulated memory: 43164 KiB

[startup+0.311006 s]*
/proc/loadavg: 4.19 4.25 4.20 6/250 94346
/proc/meminfo: memFree=125122228/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=79164 memory=55472 CPUtime=0.27 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 16354 0 0 0 23 4 0 0 20 0 1 0 77900676 81063936 13868 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 19791 13868 1024 1200 0 18271 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79164 KiB
Current children cumulated memory: 55472 KiB

[startup+0.700258 s]
/proc/loadavg: 4.19 4.25 4.20 5/250 94346
/proc/meminfo: memFree=125092740/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=161284 memory=133308 CPUtime=0.63 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 32948 0 0 0 54 9 0 0 20 0 1 0 77900676 165154816 33327 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 40321 33327 1024 1200 0 38801 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 161284 KiB
Current children cumulated memory: 133308 KiB

[startup+1.50021 s]
/proc/loadavg: 4.19 4.25 4.20 6/250 94346
/proc/meminfo: memFree=124991172/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=369112 memory=315880 CPUtime=1.42 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 59377 0 0 0 122 20 0 0 20 0 1 0 77900676 377970688 78970 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 92278 78970 1024 1200 0 90758 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 369112 KiB
Current children cumulated memory: 315880 KiB

[startup+3.10545 s]
/proc/loadavg: 4.19 4.25 4.20 6/250 94346
/proc/meminfo: memFree=124430440/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=853144 memory=810188 CPUtime=3.01 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 112365 0 0 0 262 39 0 0 20 0 1 0 77900676 873619456 202547 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 213286 202547 1024 1200 0 211766 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 853144 KiB
Current children cumulated memory: 810188 KiB

[startup+6.30013 s]
/proc/loadavg: 4.17 4.25 4.20 6/250 94346
/proc/meminfo: memFree=123543132/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=1746588 memory=1634788 CPUtime=6.18 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 188619 0 0 0 547 71 0 0 20 0 1 0 77900676 1788506112 408697 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 436647 408697 1024 1200 0 435127 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 1746588 KiB
Current children cumulated memory: 1634788 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.24 4.20 6/250 94346
/proc/meminfo: memFree=123228768/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=12.52 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 256177 0 0 0 1169 83 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.25 4.20 6/251 94348
/proc/meminfo: memFree=123228572/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=25.25 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 256357 0 0 0 2441 84 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+51.1134 s]
/proc/loadavg: 4.13 4.22 4.19 6/251 94348
/proc/meminfo: memFree=123228592/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=50.78 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 256555 0 0 0 4994 84 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.22 4.19 6/251 94350
/proc/meminfo: memFree=123228632/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=101.79 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 256817 0 0 0 10094 85 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.19 4.18 6/251 94356
/proc/meminfo: memFree=123227236/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=161.58 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 257061 0 0 0 16072 86 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.17 6/251 94358
/proc/meminfo: memFree=123227308/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=221.36 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 257171 0 0 0 22050 86 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.22 4.19 6/251 94360
/proc/meminfo: memFree=123197848/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=281.15 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 257345 0 0 0 28028 87 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+342.3 s]
/proc/loadavg: 4.66 4.35 4.24 6/250 94362
/proc/meminfo: memFree=122846592/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=2062660 memory=1946364 CPUtime=340.93 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 257437 0 0 0 34006 87 0 0 20 0 1 0 77900676 2112163840 486591 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 515665 486591 1024 1200 0 514145 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 2062660 KiB
Current children cumulated memory: 1946364 KiB

[startup+402.3 s]
/proc/loadavg: 4.28 4.29 4.22 6/249 94364
/proc/meminfo: memFree=119193708/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=5106164 memory=4688416 CPUtime=400.75 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 624866 0 0 0 39874 201 0 0 20 0 1 0 77900676 5228711936 1172104 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 1276541 1172104 1248 1200 0 1275021 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 5106164 KiB
Current children cumulated memory: 4688416 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.27 4.22 6/249 94366
/proc/meminfo: memFree=113330132/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=10623116 memory=9899248 CPUtime=460.59 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 1560419 0 0 0 45647 412 0 0 20 0 1 0 77900676 10878070784 2474812 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 2655779 2474812 1248 1200 0 2654259 0
Current children cumulated CPU time: 460.59 s

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

/proc/94345/statm: 6488397 5538970 1248 1200 0 6486877 0
Current children cumulated CPU time: 2256.38 s
Current children cumulated vsize: 25953588 KiB
Current children cumulated memory: 22155880 KiB

[startup+2322.3 s]
/proc/loadavg: 4.09 4.09 4.11 6/251 94471
/proc/meminfo: memFree=98349996/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=25958744 memory=22497704 CPUtime=2316.23 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 3766847 0 0 0 230396 1227 0 0 20 0 1 0 77900676 26581753856 5624426 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6489686 5624426 1248 1200 0 6488166 0
Current children cumulated CPU time: 2316.23 s
Current children cumulated vsize: 25958744 KiB
Current children cumulated memory: 22497704 KiB

[startup+2382.3 s]
/proc/loadavg: 4.07 4.08 4.10 6/251 94473
/proc/meminfo: memFree=98054080/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=25958744 memory=22766276 CPUtime=2376.1 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 3796689 0 0 0 236366 1244 0 0 20 0 1 0 77900676 26581753856 5691569 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6489686 5691569 1248 1200 0 6488166 0
Current children cumulated CPU time: 2376.1 s
Current children cumulated vsize: 25958744 KiB
Current children cumulated memory: 22766276 KiB

[startup+2442.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/251 94476
/proc/meminfo: memFree=97724664/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=25958744 memory=23027944 CPUtime=2435.97 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 3826024 0 0 0 242334 1263 0 0 20 0 1 0 77900676 26581753856 5756986 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6489686 5756986 1248 1200 0 6488166 0
Current children cumulated CPU time: 2435.97 s
Current children cumulated vsize: 25958744 KiB
Current children cumulated memory: 23027944 KiB

[startup+2502.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/251 94478
/proc/meminfo: memFree=97489832/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=25958744 memory=23237964 CPUtime=2495.83 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 3851146 0 0 0 248303 1280 0 0 20 0 1 0 77900676 26581753856 5809491 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6489686 5809491 1248 1200 0 6488166 0
Current children cumulated CPU time: 2495.83 s
Current children cumulated vsize: 25958744 KiB
Current children cumulated memory: 23237964 KiB

[startup+2562.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/251 94484
/proc/meminfo: memFree=96849664/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=25958744 memory=23831944 CPUtime=2555.7 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 3915077 0 0 0 254264 1306 0 0 20 0 1 0 77900676 26581753856 5957986 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6489686 5957986 1248 1200 0 6488166 0
Current children cumulated CPU time: 2555.7 s
Current children cumulated vsize: 25958744 KiB
Current children cumulated memory: 23831944 KiB

[startup+2622.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 94486
/proc/meminfo: memFree=95586596/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27242532 memory=25068760 CPUtime=2615.55 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4194254 0 0 0 260199 1356 0 0 20 0 1 0 77900676 27896352768 6267190 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6810633 6267190 1248 1200 0 6809113 0
Current children cumulated CPU time: 2615.55 s
Current children cumulated vsize: 27242532 KiB
Current children cumulated memory: 25068760 KiB

[startup+2682.3 s]
/proc/loadavg: 4.16 4.10 4.09 6/251 94532
/proc/meminfo: memFree=95609628/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247076 memory=25921448 CPUtime=2675.37 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4247908 0 0 0 266145 1392 0 0 20 0 1 0 77900676 27901005824 6480362 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811769 6480362 1248 1200 0 6810249 0
Current children cumulated CPU time: 2675.37 s
Current children cumulated vsize: 27247076 KiB
Current children cumulated memory: 25921448 KiB

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

# cumulated CPU time of all completed processes:  user=2697.85 s, system=14.7896 s

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

[startup+2688 s]*
/proc/loadavg: 4.15 4.10 4.09 6/251 94532
/proc/meminfo: memFree=95571560/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247508 memory=25948212 CPUtime=2681.06 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4249007 0 0 0 266713 1393 0 0 20 0 1 0 77900676 27901448192 6487053 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811877 6487053 1248 1200 0 6810357 0
Current children cumulated CPU time: 2681.06 s
Current children cumulated vsize: 27247508 KiB
Current children cumulated memory: 25948212 KiB

[startup+2700.8 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 94532
/proc/meminfo: memFree=95516944/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247508 memory=26007796 CPUtime=2693.8 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4250451 0 0 0 267986 1394 0 0 20 0 1 0 77900676 27901448192 6501949 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811877 6501949 1248 1200 0 6810357 0
Current children cumulated CPU time: 2693.8 s
Current children cumulated vsize: 27247508 KiB
Current children cumulated memory: 26007796 KiB

[startup+2707.2 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 94533
/proc/meminfo: memFree=95428420/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247508 memory=26095692 CPUtime=2700.18 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4253297 0 0 0 268620 1398 0 0 20 0 1 0 77900676 27901448192 6523923 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811877 6523923 1248 1200 0 6810357 0
Current children cumulated CPU time: 2700.18 s
Current children cumulated vsize: 27247508 KiB
Current children cumulated memory: 26095692 KiB

[startup+2713.6 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 94533
/proc/meminfo: memFree=95261352/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247652 memory=26273384 CPUtime=2706.55 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4261122 0 0 0 269248 1407 0 0 20 0 1 0 77900676 27901595648 6568346 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811913 6568346 1248 1200 0 6810393 0
Current children cumulated CPU time: 2706.55 s
Current children cumulated vsize: 27247652 KiB
Current children cumulated memory: 26273384 KiB

[startup+2716.8 s]
/proc/loadavg: 4.09 4.09 4.09 6/251 94533
/proc/meminfo: memFree=95182804/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27247796 memory=26366312 CPUtime=2709.74 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4265020 0 0 0 269565 1409 0 0 20 0 1 0 77900676 27901743104 6591578 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6811949 6591578 1248 1200 0 6810429 0
Current children cumulated CPU time: 2709.74 s
Current children cumulated vsize: 27247796 KiB
Current children cumulated memory: 26366312 KiB

[startup+2718.4 s]
/proc/loadavg: 4.09 4.09 4.09 6/251 94533
/proc/meminfo: memFree=95121744/131382112 swapFree=33010160/33010684
[pid=94345] ppid=94342 vsize=27248104 memory=26398360 CPUtime=2711.34 cores=4,6
/proc/94345/stat : 94345 (Exact) R 94342 94345 92114 0 -1 4194304 4266953 0 0 0 269724 1410 0 0 20 0 1 0 77900676 27902058496 6599590 18446744073709551615 4198400 9112445 140720987438224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23089152 140720987441444 140720987441643 140720987441643 140720987447247 0
/proc/94345/statm: 6812026 6599590 1280 1200 0 6810506 0
Current children cumulated CPU time: 2711.34 s
Current children cumulated vsize: 27248104 KiB
Current children cumulated memory: 26398360 KiB

[startup+2719.21 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 94533
/proc/meminfo: memFree=106533132/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2719.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 94533
/proc/meminfo: memFree=106533132/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 2719.7
CPU time (s): 2712.64
CPU user time (s): 2697.85
CPU system time (s): 14.7896
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 30581136
Max. memory (cumulated for all children) (KiB): 26398360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2697.85
system time used= 14.7896
maximum resident set size= 26398360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4269678
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= 3296


# summary of solver processes directly reported to runsolver:
#   pid: 94345
#   total CPU time (s): 2712.64
#   total CPU user time (s): 2697.85
#   total CPU system time (s): 14.7896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5234 second user time and 25.6067 second system time

The end

Begin job on nodeC009 at 2025-07-04 11:43:29
IDJOB=4525645
IDBENCH=143870
IDSOLVER=3376
FILE ID=nodeC009/4525645-1751622208
RUNJOBID= nodeC009-1751617714-92125
SLURM_JOB_ID= 9598931
Free space on /tmp= 431172 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525645-1751622208/watcher-4525645-1751622208 -o /tmp/evaluation-result-4525645-1751622208/solver-4525645-1751622208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92125 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1128154686 --ls=360 --inp-dombreaklim=0 HOME/instance-4525645-1751622208.wbo

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

MD5SUM BENCH= 6cf6093805b81482d093fc222108b171
RANDOM SEED=1128154686

nodeC009 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		: 3662.522
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3522.181
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.85
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.470
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.320
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.85
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		: 1198.155
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.506
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.85
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.227
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.476
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125169292 kB
MemAvailable:   127872316 kB
Buffers:            2144 kB
Cached:          3436308 kB
SwapCached:           24 kB
Active:          2653080 kB
Inactive:        2807756 kB
Active(anon):    2036132 kB
Inactive(anon):     4188 kB
Active(file):     616948 kB
Inactive(file):  2803568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             42156 kB
Writeback:             0 kB
AnonPages:       2025476 kB
Mapped:           118020 kB
Shmem:             17936 kB
KReclaimable:     243888 kB
Slab:             331320 kB
SReclaimable:     243888 kB
SUnreclaim:        87432 kB
KernelStack:        4032 kB
PageTables:         7004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2632852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431168 MiB
End job on nodeC009 at 2025-07-04 12:28:49