Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_dombreaking 2025-06-16 | SAT (TO) | -7559 | 3600.1 | 3610.82 |
| Name | PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_007.opb |
| MD5SUM | 19358b71c175af654e98554c4f116d17 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -7944 |
| Best CPU time to get the best result obtained on this benchmark | 0.165829 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5475 |
| Total number of constraints | 181 |
| Number of constraints which are clauses | 9 |
| Number of constraints which are cardinality constraints (but not clauses) | 172 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1490 |
| Number of terms in the objective function | 5474 |
| Biggest coefficient in the objective function | 260 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 629333 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 260 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 629333 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.10/360.06 o -6225 359.39/360.34 o -6427 359.39/360.35 o -6567 359.39/360.37 o -6582 359.50/360.40 o -6593 359.50/360.44 o -6616 359.80/360.72 o -6659 373.85/374.80 o -6662 455.08/456.34 o -6663 581.23/582.94 o -6666 624.38/626.20 o -6668 644.01/645.96 o -6669 647.60/649.55 o -6672 647.60/649.58 o -6676 647.70/649.61 o -6677 647.70/649.64 o -6680 651.09/653.07 o -6686 662.34/664.31 o -6730 665.73/667.72 o -6731 670.52/672.50 o -6734 671.81/673.82 o -6735 675.30/677.38 o -6737 678.10/680.13 o -6741 678.10/680.18 o -6742 678.19/680.20 o -6753 682.77/684.88 o -6757 690.05/692.13 o -6760 690.05/692.15 o -6763 690.64/692.77 o -6769 690.95/693.01 o -6771 690.95/693.04 o -6774 691.05/693.19 o -6805 693.23/695.35 o -6808 694.83/696.96 o -6809 696.03/698.14 o -6812 697.62/699.72 o -6847 708.88/711.00 o -6849 755.12/757.49 o -6851 816.70/819.28 o -6852 847.31/849.93 o -6856 857.87/860.57 o -6861 859.27/861.93 o -6868 861.86/864.53 o -6879 864.84/867.52 o -6885 877.90/880.62 o -6889 965.90/968.99 o -6890 989.03/992.18 o -6894 1051.02/1054.39 o -6906 1060.29/1063.61 o -6919 1079.42/1082.85 o -6924 1096.76/1100.20 o -6934 1101.35/1104.88 o -6941 1106.33/1109.86 o -6949 1116.99/1120.59 o -6951 1130.75/1134.30 o -6963 1143.81/1147.43 o -6964 1162.54/1166.21 o -6965 1169.82/1173.55 o -6971 1169.92/1173.66 o -6973 1169.92/1173.69 o -6976 1172.61/1176.38 o -6980 1172.71/1176.45 o -6981 1172.71/1176.48 o -6982 1172.81/1176.51 o -6984 1172.81/1176.53 o -6995 1181.08/1184.86 o -6997 1193.44/1197.28 o -7003 1204.70/1208.58 o -7019 1204.90/1208.77 o -7020 1205.00/1208.80 o -7022 1215.36/1219.22 o -7023 1230.42/1234.36 o -7025 1242.08/1246.07 o -7032 1318.52/1322.75 o -7035 1367.37/1371.71 o -7036 1442.12/1446.77 o -7037 1449.09/1453.73 o -7040 1449.09/1453.77 o -7043 1465.44/1470.16 o -7066 1481.78/1486.52 o -7067 1492.14/1496.97 o -7068 1515.87/1520.78 o -7069 1546.46/1551.47 o -7070 1557.23/1562.24 o -7077 1610.25/1615.47 o -7079 1681.21/1686.68 o -7081 1691.47/1696.99 o -7085 1691.58/1697.04 o -7089 1835.28/1841.29 o -7090 1866.67/1872.77 o -7102 1888.10/1894.22 o -7110 1916.40/1922.65 o -7111 1933.65/1939.96 o -7114 1946.60/1952.90 o -7118 1958.85/1965.25 o -7123 1972.40/1978.86 o -7125 2010.97/2017.50 o -7134 2065.69/2072.48 o -7135 2090.10/2096.95 o -7136 2125.80/2132.73 o -7146 2265.78/2273.12 o -7154 2265.78/2273.17 o -7157 2267.37/2274.70 o -7159 2278.94/2286.31 o -7193 2278.94/2286.35 o -7196 2279.24/2286.66 o -7200 2283.93/2291.30 o -7206 2291.62/2299.03 o -7207 2328.63/2336.16 o -7208 2343.49/2351.08 o -7233 2351.16/2358.78 o -7241 2351.26/2358.84 o -7243 2355.35/2362.95 o -7255 2370.01/2377.61 o -7265 2413.70/2421.43 o -7267 2449.20/2457.04 o -7268 2457.19/2465.07 o -7283 2457.58/2465.41 o -7290 2470.65/2478.54 o -7291 2505.26/2513.25 o -7295 2509.15/2517.13 o -7303 2525.60/2533.60 o -7306 2562.81/2570.97 o -7308 2570.49/2578.64 o -7311 2588.85/2597.09 o -7312 2618.37/2626.69 o -7314 2637.62/2645.91 o -7316 2662.05/2670.41 o -7319 2662.05/2670.44 o -7322 2685.60/2694.02 o -7335 2718.41/2726.91 o -7342 2727.60/2736.16 o -7356 2728.89/2737.47 o -7372 2728.99/2737.53 o -7385 2729.09/2737.66 o -7393 2745.15/2753.75 o -7397 2788.93/2797.67 o -7398 2862.75/2871.65 o -7400 2902.65/2911.69 o -7402 2926.68/2935.74 o -7412 2939.65/2948.79 o -7414 2939.75/2948.82 o -7422 2949.23/2958.35 o -7424 3064.34/3073.75 o -7427 3083.39/3092.83 o -7428 3083.69/3093.16 o -7444 3083.79/3093.26 o -7445 3095.56/3105.08 o -7448 3118.10/3127.65 o -7450 3136.16/3145.71 o -7455 3153.12/3162.77 o -7456 3202.69/3212.42 o -7458 3216.76/3226.50 o -7461 3249.78/3259.69 o -7465 3292.26/3302.23 o -7476 3338.35/3348.45 o -7478 3338.35/3348.50 o -7480 3347.43/3357.53 o -7483 3370.46/3380.62 o -7484 3370.56/3380.79 o -7499 3390.31/3400.57 o -7511 3442.09/3452.44 o -7513 3442.69/3453.01 o -7516 3442.69/3453.09 o -7520 3443.38/3453.71 o -7522 3444.08/3454.41 o -7524 3452.06/3462.46 o -7529 3455.94/3466.34 o -7531 3535.35/3545.97 o -7533 3552.90/3563.53 o -7534 3570.06/3580.74 o -7541 3570.16/3580.83 o -7543 3570.26/3580.91 o -7546 3571.46/3582.18 o -7547 3571.55/3582.26 o -7550 3571.65/3582.35 o -7556 3571.75/3582.44 o -7558 3588.10/3598.88 o -7559 3600.08/3610.80 c Program interrupted by user. 3600.08/3610.80 s SATISFIABLE 3600.08/3610.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -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 -7559
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 (55619 MiB free)
memory of node 1: 64465 MiB (53392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523213-1751593221/watcher-4523213-1751593221 -o /tmp/evaluation-result-4523213-1751593221/solver-4523213-1751593221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751593221-83416 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1712766846 --ls=360 --inp-dombreaklim=0 HOME/instance-4523213-1751593221.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83463, runsolver pid=83452
[startup+0.100063 s]*
/proc/loadavg: 0.86 1.95 2.92 5/264 83473
/proc/meminfo: memFree=111488412/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=0.09 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 9 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+0.205887 s]*
/proc/loadavg: 0.86 1.95 2.92 6/264 83473
/proc/meminfo: memFree=111404052/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=0.2 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 20 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+0.30587 s]*
/proc/loadavg: 0.86 1.95 2.92 5/264 83473
/proc/meminfo: memFree=111380112/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=0.3 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 30 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+0.70015 s]
/proc/loadavg: 0.86 1.95 2.92 5/264 83473
/proc/meminfo: memFree=111351824/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=0.69 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 69 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+1.50015 s]
/proc/loadavg: 0.86 1.95 2.92 5/264 83473
/proc/meminfo: memFree=111291200/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=1.49 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 149 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+3.10552 s]
/proc/loadavg: 1.19 2.00 2.93 5/264 83473
/proc/meminfo: memFree=111291344/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=3.09 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 309 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+6.30013 s]
/proc/loadavg: 1.19 2.00 2.93 5/264 83473
/proc/meminfo: memFree=111291504/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=6.27 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 627 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+12.7001 s]
/proc/loadavg: 1.41 2.03 2.93 5/264 83473
/proc/meminfo: memFree=111291612/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=12.66 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 1266 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+25.5001 s]
/proc/loadavg: 1.99 2.13 2.95 5/264 83474
/proc/meminfo: memFree=111291340/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=25.43 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 2543 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+51.1055 s]
/proc/loadavg: 2.76 2.30 2.99 5/264 83474
/proc/meminfo: memFree=111291548/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=50.97 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 5097 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.59 3.05 5/267 83483
/proc/meminfo: memFree=111265988/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=14416 CPUtime=102.03 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3060 0 0 0 10203 0 0 0 20 0 1 0 75000715 39047168 3604 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 3604 1024 1200 0 8013 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14416 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.87 3.12 5/267 83485
/proc/meminfo: memFree=111272568/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=16080 CPUtime=161.89 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3066 0 0 0 16189 0 0 0 20 0 1 0 75000715 39047168 4020 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 4020 1024 1200 0 8013 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 16080 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.11 3.19 5/267 83487
/proc/meminfo: memFree=111278404/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=16080 CPUtime=221.74 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3072 0 0 0 22174 0 0 0 20 0 1 0 75000715 39047168 4020 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 4020 1024 1200 0 8013 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 16080 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.29 3.25 5/266 83489
/proc/meminfo: memFree=111280984/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=16080 CPUtime=281.59 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3074 0 0 0 28159 0 0 0 20 0 1 0 75000715 39047168 4020 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 4020 1024 1200 0 8013 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 16080 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.44 3.30 5/266 83491
/proc/meminfo: memFree=111280424/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=38132 memory=16080 CPUtime=341.44 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 3076 0 0 0 34144 0 0 0 20 0 1 0 75000715 39047168 4020 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 9533 4020 1024 1200 0 8013 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 16080 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.57 3.36 5/264 83584
/proc/meminfo: memFree=110469764/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=576816 memory=425804 CPUtime=401.28 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 66959 0 0 0 40101 27 0 0 20 0 1 0 75000715 590659584 106451 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 144204 106451 1280 1200 0 142684 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 576816 KiB
Current children cumulated memory: 425804 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 3.76 3.44 5/265 83587
/proc/meminfo: memFree=109752268/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=646528 memory=483520 CPUtime=461.07 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 82015 0 0 0 46068 39 0 0 20 0 1 0 75000715 662044672 120880 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 161632 120880 1280 1200 0 160112 0
################
# More data... #
################
Current children cumulated memory: 833640 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/264 83944
/proc/meminfo: memFree=107804388/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=879892 memory=833768 CPUtime=2853.47 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 136579 0 0 0 285101 246 0 0 20 0 1 0 75000715 901009408 208442 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 219973 208442 1280 1200 0 218453 0
Current children cumulated CPU time: 2853.47 s
Current children cumulated vsize: 879892 KiB
Current children cumulated memory: 833768 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/264 83946
/proc/meminfo: memFree=107805280/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882432 memory=835816 CPUtime=2913.32 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 137361 0 0 0 291081 251 0 0 20 0 1 0 75000715 903610368 208954 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220608 208954 1280 1200 0 219088 0
Current children cumulated CPU time: 2913.32 s
Current children cumulated vsize: 882432 KiB
Current children cumulated memory: 835816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/264 83948
/proc/meminfo: memFree=107806396/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882432 memory=835816 CPUtime=2973.16 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 137717 0 0 0 297061 255 0 0 20 0 1 0 75000715 903610368 208954 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220608 208954 1280 1200 0 219088 0
Current children cumulated CPU time: 2973.16 s
Current children cumulated vsize: 882432 KiB
Current children cumulated memory: 835816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/264 83953
/proc/meminfo: memFree=107807612/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882664 memory=835944 CPUtime=3033.02 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 137917 0 0 0 303042 260 0 0 20 0 1 0 75000715 903847936 208986 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220666 208986 1280 1200 0 219146 0
Current children cumulated CPU time: 3033.02 s
Current children cumulated vsize: 882664 KiB
Current children cumulated memory: 835944 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.06 5/264 83955
/proc/meminfo: memFree=107807724/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882664 memory=836072 CPUtime=3092.87 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 138137 0 0 0 309022 265 0 0 20 0 1 0 75000715 903847936 209018 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220666 209018 1280 1200 0 219146 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 882664 KiB
Current children cumulated memory: 836072 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/265 83962
/proc/meminfo: memFree=107732676/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882664 memory=836072 CPUtime=3152.72 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 138516 0 0 0 315003 269 0 0 20 0 1 0 75000715 903847936 209018 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220666 209018 1280 1200 0 219146 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 882664 KiB
Current children cumulated memory: 836072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.06 5/264 84008
/proc/meminfo: memFree=107826968/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=882664 memory=836072 CPUtime=3212.57 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 138668 0 0 0 320983 274 0 0 20 0 1 0 75000715 903847936 209018 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220666 209018 1280 1200 0 219146 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 882664 KiB
Current children cumulated memory: 836072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/265 84013
/proc/meminfo: memFree=107839292/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=883696 memory=836968 CPUtime=3272.42 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 139158 0 0 0 326964 278 0 0 20 0 1 0 75000715 904904704 209242 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 220924 209242 1280 1200 0 219404 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 883696 KiB
Current children cumulated memory: 836968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/265 84016
/proc/meminfo: memFree=107822656/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=907256 memory=851688 CPUtime=3332.26 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 143157 0 0 0 332944 282 0 0 20 0 1 0 75000715 929030144 212922 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 226814 212922 1280 1200 0 225294 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 907256 KiB
Current children cumulated memory: 851688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/265 84018
/proc/meminfo: memFree=107815812/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=908624 memory=852584 CPUtime=3392.11 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 143577 0 0 0 338925 286 0 0 20 0 1 0 75000715 930430976 213146 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 227156 213146 1280 1200 0 225636 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 908624 KiB
Current children cumulated memory: 852584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/265 84020
/proc/meminfo: memFree=107815304/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=910824 memory=854248 CPUtime=3451.96 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 144232 0 0 0 344905 291 0 0 20 0 1 0 75000715 932683776 213562 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 227706 213562 1280 1200 0 226186 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 910824 KiB
Current children cumulated memory: 854248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/266 84023
/proc/meminfo: memFree=107815444/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=910824 memory=854248 CPUtime=3511.81 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 144582 0 0 0 350885 296 0 0 20 0 1 0 75000715 932683776 213562 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 227706 213562 1280 1200 0 226186 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 910824 KiB
Current children cumulated memory: 854248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/266 84070
/proc/meminfo: memFree=107822244/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=911916 memory=855400 CPUtime=3571.65 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 145010 0 0 0 356865 300 0 0 20 0 1 0 75000715 933801984 213850 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 227979 213850 1280 1200 0 226459 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 911916 KiB
Current children cumulated memory: 855400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.09 4.09 4.07 4/261 84079
/proc/meminfo: memFree=110582348/131249996 swapFree=33010160/33010684
[pid=83463] ppid=83452 vsize=913068 memory=856168 CPUtime=3600.08 cores=1,3
/proc/83463/stat : 83463 (Exact) R 83452 83463 83404 0 -1 4194304 145479 0 0 0 359707 301 0 0 20 0 1 0 75000715 934981632 214042 18446744073709551615 4198400 9112445 140727338819072 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 33849344 140727338821926 140727338822125 140727338822125 140727338827727 0
/proc/83463/statm: 228267 214042 1280 1200 0 226747 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 913068 KiB
Current children cumulated memory: 856168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.82 s]
# the end of solver process 83463 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.08 s, system=3.02086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.82
CPU time (s): 3600.1
CPU user time (s): 3597.08
CPU system time (s): 3.02086
CPU usage (%): 99.7033
Max. virtual memory (cumulated for all children) (KiB): 913068
Max. memory (cumulated for all children) (KiB): 856168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.08
system time used= 3.02086
maximum resident set size= 856168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145483
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= 127
involuntary context switches= 1871
# summary of solver processes directly reported to runsolver:
# pid: 83463
# total CPU time (s): 3600.1
# total CPU user time (s): 3597.08
# total CPU system time (s): 3.02086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20414 second user time and 16.0378 second system time
The end
Begin job on nodeC032 at 2025-07-04 03:40:21 IDJOB=4523213 IDBENCH=179855 IDSOLVER=3319 FILE ID=nodeC032/4523213-1751593221 RUNJOBID= nodeC032-1751593221-83416 SLURM_JOB_ID= 9598857 Free space on /tmp= 429048 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 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=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523213-1751593221/watcher-4523213-1751593221 -o /tmp/evaluation-result-4523213-1751593221/solver-4523213-1751593221 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751593221-83416 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1712766846 --ls=360 --inp-dombreaklim=0 HOME/instance-4523213-1751593221.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 19358b71c175af654e98554c4f116d17 RANDOM SEED=1712766846 nodeC032 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.841 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.69 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 : 3600.449 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.69 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 : 3600.228 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.69 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 : 3599.840 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.69 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.852 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.69 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.833 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.69 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.874 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.833 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 111623208 kB MemAvailable: 129615944 kB Buffers: 2728 kB Cached: 18670772 kB SwapCached: 20 kB Active: 438124 kB Inactive: 18301292 kB Active(anon): 80840 kB Inactive(anon): 3124 kB Active(file): 357284 kB Inactive(file): 18298168 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28216 kB Writeback: 0 kB AnonPages: 67004 kB Mapped: 104000 kB Shmem: 18048 kB KReclaimable: 353044 kB Slab: 448088 kB SReclaimable: 353044 kB SUnreclaim: 95044 kB KernelStack: 4144 kB PageTables: 2888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 339796 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429016 MiB End job on nodeC032 at 2025-07-04 04:40:32