Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | OPT | 20 | 1013.1 | 1015.67 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
| MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 71.6563 |
| 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 | 6027 |
| Total number of constraints | 21278 |
| Number of constraints which are clauses | 21267 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 650 |
| Number of terms in the objective function | 650 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 650 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 681 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1013.02/1015.66 c Solved by First Program 1013.02/1015.66 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 1013.02/1015.66 c Setting memory limit to 29976MB. 1013.02/1015.66 o 28 1013.02/1015.66 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1013.02/1015.66 c Starting SCIP solver (with time-limit = 899s) ... 1013.02/1015.66 c SCIP timeout with lower and upper bounds: [6, 19] 1013.02/1015.66 o 24 1013.02/1015.66 o 20 1013.02/1015.66 s OPTIMUM FOUND 1013.02/1015.66 v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 x1279 -x37 -x1291 x40 -x1303 -x43 -x1315 -x46 -x1327 -x49 -x1339 x52 -x1351 -x55 -x1363 x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 -x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 -x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 x196 x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 -x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 -x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 -x2772 -x356 -x2830 -x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 x3370 -x410 -x3397 -x413 -x3424 -x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 -x3992 -x4004 -x4006 -x4018 -x4020 -x4032 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 -x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 x33 x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 x195 x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 -x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 -x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 x407 x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -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 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 x847 -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 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 -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 -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 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 -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 -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 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 -x1445 -x1446 -x1447 -x1448 x1450 x1452 -x1453 -x1454 x1455 -x1457 -x1459 -x1460 -x1461 -x1462 x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 x1480 -x1481 -x1482 x1483 -x1485 -x1487 -x1488 -x1489 -x1490 x1492 x1494 -x1495 x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 x1506 x1508 -x1509 x1510 -x1511 -x1513 -x1515 -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 -x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 -x1555 -x1557 -x1558 -x1559 -x1560 x1562 -x1564 -x1565 -x1566 -x1567 x1569 x1571 -x1572 -x1573 -x1574 x1576 x1578 -x1579 -x1580 -x1581 x1583 -x1585 -x1586 -x1587 -x1588 x1590 x1592 -x1593 -x1594 -x1595 x1597 -x1599 -x1600 -x1601 -x1602 x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 -x1632 -x1634 -x1635 -x1636 -x1637 x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 x1653 x1655 -x1656 -x1657 -x1658 -x1660 -x1662 -x1663 -x1664 -x1665 x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1676 -x1677 -x1678 -x1679 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 -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 -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 -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 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 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 -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 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 x2129 -x2131 -x2132 -x2133 -x2134 -x2136 x2138 -x2139 -x2140 x2141 x2143 -x2145 -x2146 -x2147 -x2148 x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 -x2164 x2166 -x2167 -x2168 x2169 x2171 -x2173 -x2174 -x2175 -x2176 x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 x2192 -x2194 -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 x2206 x2208 -x2209 x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 x2220 -x2222 -x2223 -x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 x2257 -x2258 x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 x2269 -x2271 -x2272 -x2273 -x2274 -x2276 -x2278 -x2279 -x2280 -x2281 x2283 -x2285 -x2286 -x2287 -x2288 x2290 -x2292 -x2293 -x2294 -x2295 -x2297 x2299 -x2300 x2301 -x2302 x2304 -x2306 -x2307 -x2308 -x2309 x2311 -x2313 -x2314 -x2315 -x2316 -x2318 -x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 x2330 x2332 -x2334 -x2335 -x2336 -x2337 x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 x2353 -x2355 -x2356 -x2357 -x2358 -x2360 -x2362 -x2363 -x2364 -x2365 -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 -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 -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 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 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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 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 -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 -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 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 -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 -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 -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 -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 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3991 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4033 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4241 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4339 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4367 -x4368 -x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 x4497 -x4498 x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 x4557 -x4558 -x4559 -x4560 x4562 -x4563 -x4564 x4565 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 x4597 -x4598 -x4599 -x4600 -x4602 -x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644 -x4645 x4647 -x4648 x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 -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 -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 -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 -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 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 -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 -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 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5160 -x5161 -x5162 -x5163 -x5165 -x5167 -x5169 -x5170 -x5171 -x5172 x5174 -x5176 -x5177 -x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5193 -x5195 -x5197 -x5198 -x5199 -x5200 x5202 -x5203 -x5204 -x5205 -x5207 x5209 -x5210 x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 -x5228 -x5229 -x5230 -x5231 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 -x5273 x5275 -x5276 -x5277 -x5278 x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 x5340 -x5341 -x5342 -x5343 -x5345 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5357 -x5358 -x5359 -x5360 -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 -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 -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 -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 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 -x5798 -x5799 -x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 -x5829 -x5830 -x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 x5841 x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 x5886 x5888 -x5889 -x5890 -x5891 x5893 -x5895 -x5896 -x5897 -x5898 x5900 -x5902 -x5903 -x5904 -x5905 -x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 x5935 -x5936 -x5937 -x5938 x5940 -x5941 -x5942 -x5943 -x5945 x5947 x5948 -x5949 -x5950 -x5952 -x5954 -x5955 -x5956 -x5957 -x5959 x5961 -x5962 -x5963 -x5964 -x5966 -x5968 -x5969 -x5970 -x5971 -x5973 -x5975 -x5976 -x5977 -x5978 x5980 -x5982 -x5983 -x5984 -x5985 -x5987 -x5989 x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 x6008 -x6010 -x6011 -x6012 -x6013 x6015 x6017 -x6018 -x6019 -x6020 -x6022 x6024 -x6025 x6026 -x6027
OK 20
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: 63931 MiB (62204 MiB free)
memory of node 1: 64510 MiB (62799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437975-1722964441/watcher-4437975-1722964441 -o /tmp/evaluation-result-4437975-1722964441/solver-4437975-1722964441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340140 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437975-1722964441.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=342548, runsolver pid=342545
[startup+0.107713 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 342552
/proc/meminfo: memFree=127983204/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=39764 memory=25060 CPUtime=0.1 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 7164 0 0 0 10 0 0 0 20 0 1 0 63042566 40718336 6265 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 9941 6265 1034 2726 0 6689 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58356 KiB
Current children cumulated memory: 28884 KiB
[startup+0.205944 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 342552
/proc/meminfo: memFree=127952824/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=72892 memory=63016 CPUtime=0.2 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 15403 0 0 0 19 1 0 0 20 0 1 0 63042566 74641408 15754 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 18223 15754 2426 2726 0 14971 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91484 KiB
Current children cumulated memory: 66840 KiB
[startup+0.305914 s]*
/proc/loadavg: 4.14 4.13 4.09 5/265 342552
/proc/meminfo: memFree=127900240/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=124256 memory=112816 CPUtime=0.3 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 27599 0 0 0 27 3 0 0 20 0 1 0 63042566 127238144 28204 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 31064 28204 2682 2726 0 27812 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 142848 KiB
Current children cumulated memory: 116640 KiB
[startup+0.700308 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342552
/proc/meminfo: memFree=127873556/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=149144 memory=139216 CPUtime=0.69 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 34180 0 0 0 65 4 0 0 20 0 1 0 63042566 152723456 34804 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 37286 34804 2682 2726 0 34034 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 167736 KiB
Current children cumulated memory: 143040 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342552
/proc/meminfo: memFree=127873544/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=150488 memory=140596 CPUtime=1.48 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 34516 0 0 0 144 4 0 0 20 0 1 0 63042566 154099712 35149 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 37622 35149 2698 2726 0 34370 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 169080 KiB
Current children cumulated memory: 144420 KiB
[startup+3.10579 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342553
/proc/meminfo: memFree=127800808/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=213128 memory=200860 CPUtime=3.08 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 49996 0 0 0 302 6 0 0 20 0 1 0 63042566 218243072 50215 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 53282 50215 2810 2726 0 50030 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 231720 KiB
Current children cumulated memory: 204684 KiB
[startup+6.30029 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 342553
/proc/meminfo: memFree=127786280/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=216256 memory=203764 CPUtime=6.26 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 50680 0 0 0 620 6 0 0 20 0 1 0 63042566 221446144 50941 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 54064 50941 2810 2726 0 50812 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 234848 KiB
Current children cumulated memory: 207588 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 342553
/proc/meminfo: memFree=127764828/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=216492 memory=204028 CPUtime=12.65 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 50743 0 0 0 1258 7 0 0 20 0 1 0 63042566 221687808 51007 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 54123 51007 2810 2726 0 50871 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 235084 KiB
Current children cumulated memory: 207852 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.13 4.09 5/265 342556
/proc/meminfo: memFree=127643924/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=269960 memory=254780 CPUtime=25.42 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 63940 0 0 0 2533 9 0 0 20 0 1 0 63042566 276439040 63695 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 67490 63695 2826 2726 0 64238 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 288552 KiB
Current children cumulated memory: 258604 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 342560
/proc/meminfo: memFree=127589704/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=366692 memory=300980 CPUtime=50.96 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 75474 0 0 0 5083 13 0 0 20 0 1 0 63042566 375492608 75245 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 91673 75245 2826 2726 0 88421 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 385284 KiB
Current children cumulated memory: 304804 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 342620
/proc/meminfo: memFree=127558128/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
################
# More data... #
################
/proc/342552/statm: 125721 119211 2826 2726 0 122469 0
Current children cumulated CPU time: 820.2 s
Current children cumulated vsize: 521476 KiB
Current children cumulated memory: 480668 KiB
[startup+882.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 343638
/proc/meminfo: memFree=127108856/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=476848 CPUtime=880.05 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 110904 0 0 0 87958 47 0 0 20 0 1 0 63042566 518303744 119212 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119212 2826 2726 0 123287 0
Current children cumulated CPU time: 880.05 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480672 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 343648
/proc/meminfo: memFree=127056680/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=939.91 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111053 0 0 0 93943 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 939.91 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1002.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 343767
/proc/meminfo: memFree=127218108/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=999.76 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111089 0 0 0 99928 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 999.76 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1015.67 s]
# the end of solver process 342548 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1012.61 s, system=0.495058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1004.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 343768
/proc/meminfo: memFree=127218088/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1002.25 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111089 0 0 0 100177 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1011.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 343768
/proc/meminfo: memFree=127217916/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1008.63 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111095 0 0 0 100815 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1008.63 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1012.8 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 343768
/proc/meminfo: memFree=127217888/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1010.23 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111095 0 0 0 100975 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1010.23 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1014.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 343770
/proc/meminfo: memFree=127217916/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1011.83 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111097 0 0 0 101135 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1011.83 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1015.2 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 343770
/proc/meminfo: memFree=127217532/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1012.62 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111097 0 0 0 101214 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1012.62 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
[startup+1015.6 s]
/proc/loadavg: 4.15 4.11 4.09 5/267 343770
/proc/meminfo: memFree=127217532/131524600 swapFree=131071996/131071996
[pid=342548] ppid=342545 vsize=9932 memory=2908 CPUtime=0 cores=5,7
/proc/342548/stat : 342548 (Hybrid-CASHWMax) S 342545 342548 340127 0 -1 4194304 245 101 0 0 0 0 0 0 20 0 1 0 63042566 10170368 727 134679101440 94586753531904 94586754611224 140726483540976 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94586756709680 94586756756868 94586765991936 140726483547086 140726483547245 140726483547245 140726483554260 0
/proc/342548/statm: 2483 727 634 264 0 134 0
[pid=342551] ppid=342548 vsize=8660 memory=916 CPUtime=0 cores=5,7
/proc/342551/stat : 342551 (timeout) S 342548 342551 340127 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 63042566 8867840 229 134679101440 94349545136128 94349545171144 140729206938112 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94349547268560 94349547270692 94349576327168 140729206940670 140729206940829 140729206940829 140729206947815 0
/proc/342551/statm: 2165 229 205 9 0 87 0
[pid=342552] ppid=342551 vsize=506156 memory=477028 CPUtime=1013.02 cores=5,7
/proc/342552/stat : 342552 (CASHWMaxSAT-Dis) R 342551 342551 340127 0 -1 4194304 111097 0 0 0 101254 48 0 0 20 0 1 0 63042566 518303744 119257 134679101440 4194304 15356333 140731686922704 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 41021440 140731686925315 140731686925461 140731686925461 140731686932447 0
/proc/342552/statm: 126539 119257 2826 2726 0 123287 0
Current children cumulated CPU time: 1013.02 s
Current children cumulated vsize: 524748 KiB
Current children cumulated memory: 480852 KiB
Child status: 0
Real time (s): 1015.67
CPU time (s): 1013.1
CPU user time (s): 1012.61
CPU system time (s): 0.495058
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 524748
Max. memory (cumulated for all children) (KiB): 480852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1012.61
system time used= 0.495058
maximum resident set size= 477028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65
involuntary context switches= 619
# summary of solver processes directly reported to runsolver:
# pid: 342548
# total CPU time (s): 1013.1
# total CPU user time (s): 1012.61
# total CPU system time (s): 0.495058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.25769 second user time and 4.87829 second system time
The end
Begin job on nodeC022 at 2024-08-06 19:14:01 IDJOB=4437975 IDBENCH=148185 IDSOLVER=3072 FILE ID=nodeC022/4437975-1722964441 RUNJOBID= nodeC022-1722960830-340140 SLURM_JOB_ID= 8259041 Free space on /tmp= 890024 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437975-1722964441/watcher-4437975-1722964441 -o /tmp/evaluation-result-4437975-1722964441/solver-4437975-1722964441 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722960830-340140 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437975-1722964441.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=334643581 nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.203 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 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 : 3674.531 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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.272 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.315 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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 : 3671.260 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 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 : 3672.881 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 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 : 3600.583 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.46 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 : 3661.959 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128004300 kB MemAvailable: 129249956 kB Buffers: 344840 kB Cached: 1744872 kB SwapCached: 0 kB Active: 632976 kB Inactive: 2362304 kB Active(anon): 1584 kB Inactive(anon): 941728 kB Active(file): 631392 kB Inactive(file): 1420576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 39828 kB Writeback: 0 kB AnonPages: 905684 kB Mapped: 117100 kB Shmem: 37720 kB KReclaimable: 66668 kB Slab: 159388 kB SReclaimable: 66668 kB SUnreclaim: 92720 kB KernelStack: 4216 kB PageTables: 11052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1336348 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28640 kB HardwareCorrupted: 0 kB AnonHugePages: 489472 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 359124 kB DirectMap2M: 30871552 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 890004 MiB End job on nodeC022 at 2024-08-06 19:30:56