Trace number 4439992

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSAT-DisjCom-S 2024-07-10OPT18 1796.05 1802.08

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark16.5068
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.09/0.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.09/0.18	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.09/0.18	o 25
0.09/0.18	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.09/0.21	c Starting SCIP solver  (with time-limit = 1800s) ...
1794.17/1800.21	c SCIP timeout with lower and upper bounds: [11, 19]
1794.17/1800.21	o 19
1795.76/1801.83	o 18
1795.97/1802.07	s OPTIMUM FOUND
1795.97/1802.07	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 x82 -x1880 -x85 -x1907 -x88 -x1934 x1961 x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 -x375 -x3175 x378 x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 x393 -x3210 -x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 x91 x90 x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376 x377 x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 x442 -x443 -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 x582 -x583 -x584 -x585 -x586 -x587 -x588 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 -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 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 -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 -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 -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 -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 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 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 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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2632 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 x2784 -x2785 -x2786 -x2787 x2789 x2790 -x2791 -x2792 x2794 x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 x2864 x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 x3019 x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 x3089 x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 x3181 -x3182 -x3183 x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 -x3208 x3209 x3211 -x3212 x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 -x3247 x3249 x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 -x3273 -x3275 x3277 x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 x3378 x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 x3430 x3432 x3434 -x3436 -x3438 -x3440 -x3442 x3444 -x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 -x3460 x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 x3553 -x3554 -x3555 x3556 -x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 x3578 x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 x3603 x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 x3616 x3618 -x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 x3636 x3638 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 -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 -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 -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 -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 -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 -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 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 -x4116 x4118 -x4119 -x4120 x4121 -x4123 x4125 -x4126 -x4127 -x4128 -x4130 x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 -x4149 -x4151 -x4152 -x4153 -x4154 -x4156 x4158 -x4159 -x4160 -x4161 x4163 x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 -x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 -x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 -x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 -x4275 -x4276 -x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 x4313 -x4315 -x4316 -x4317 -x4318

Verifier Data 

OK	18

Watcher Data 

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: 64059 MiB (62872 MiB free)
  memory of node 1: 64510 MiB (62317 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439992-1721223905/watcher-4439992-1721223905 -o /tmp/evaluation-result-4439992-1721223905/solver-4439992-1721223905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894679 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439992-1721223905.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=897877, runsolver pid=897874

[startup+0.100733 s]*
/proc/loadavg: 4.13 4.21 4.16 6/243 897878
/proc/meminfo: memFree=128176052/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=29168 memory=10608 CPUtime=0.09 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 2047 0 0 0 9 0 0 0 20 0 1 0 174546887 29868032 2652 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 7292 2652 750 2417 0 4394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29168 KiB
Current children cumulated memory: 10608 KiB

[startup+0.213172 s]*
/proc/loadavg: 4.12 4.20 4.16 5/243 897878
/proc/meminfo: memFree=128131756/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=64332 memory=55532 CPUtime=0.21 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 12377 0 0 0 19 2 0 0 20 0 1 0 174546887 65875968 13883 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 16083 13883 2302 2417 0 13185 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64332 KiB
Current children cumulated memory: 55532 KiB

[startup+0.312687 s]*
/proc/loadavg: 4.12 4.20 4.16 5/243 897878
/proc/meminfo: memFree=128093984/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=84064 memory=73928 CPUtime=0.31 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 16963 0 0 0 28 3 0 0 20 0 1 0 174546887 86081536 18482 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 21016 18482 2350 2417 0 18118 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84064 KiB
Current children cumulated memory: 73928 KiB

[startup+0.700298 s]
/proc/loadavg: 4.12 4.20 4.16 5/243 897878
/proc/meminfo: memFree=128052516/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=99144 memory=88160 CPUtime=0.69 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 20442 0 0 0 65 4 0 0 20 0 1 0 174546887 101523456 22040 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 24786 22040 2414 2417 0 21888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99144 KiB
Current children cumulated memory: 88160 KiB

[startup+1.50033 s]
/proc/loadavg: 4.12 4.20 4.16 5/243 897878
/proc/meminfo: memFree=127977748/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=105304 memory=94480 CPUtime=1.48 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 22010 0 0 0 144 4 0 0 20 0 1 0 174546887 107831296 23620 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 26326 23620 2414 2417 0 23428 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105304 KiB
Current children cumulated memory: 94480 KiB

[startup+3.11254 s]
/proc/loadavg: 4.12 4.20 4.16 5/243 897878
/proc/meminfo: memFree=127854024/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=111472 memory=99992 CPUtime=3.09 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 23410 0 0 0 305 4 0 0 20 0 1 0 174546887 114147328 24998 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 27868 24998 2414 2417 0 24970 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 111472 KiB
Current children cumulated memory: 99992 KiB

[startup+6.30029 s]
/proc/loadavg: 4.19 4.22 4.17 5/243 897878
/proc/meminfo: memFree=127770920/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=172524 memory=157896 CPUtime=6.26 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 36827 0 0 0 620 6 0 0 20 0 1 0 174546887 176664576 39474 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 43131 39474 2542 2417 0 40233 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 172524 KiB
Current children cumulated memory: 157896 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.21 4.17 5/243 897880
/proc/meminfo: memFree=127744616/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=206392 memory=176364 CPUtime=12.64 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 41421 0 0 0 1257 7 0 0 20 0 1 0 174546887 211345408 44091 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 51598 44091 2542 2417 0 48700 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 206392 KiB
Current children cumulated memory: 176364 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.21 4.17 5/243 897881
/proc/meminfo: memFree=127680652/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=234172 memory=185964 CPUtime=25.4 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 42801 0 0 0 2532 8 0 0 20 0 1 0 174546887 239792128 46491 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 58543 46491 2542 2417 0 55645 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 234172 KiB
Current children cumulated memory: 185964 KiB

[startup+51.1124 s]
/proc/loadavg: 4.23 4.22 4.17 5/243 897887
/proc/meminfo: memFree=127645144/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=280476 memory=232384 CPUtime=50.93 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 54415 0 0 0 5084 9 0 0 20 0 1 0 174546887 287207424 58096 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 70119 58096 2542 2417 0 67221 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 280476 KiB
Current children cumulated memory: 232384 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.20 4.17 5/241 897895
/proc/meminfo: memFree=127662140/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=280476 memory=232384 CPUtime=101.95 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 54444 0 0 0 10185 10 0 0 20 0 1 0 174546887 287207424 58096 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 70119 58096 2542 2417 0 67221 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 280476 KiB
Current children cumulated memory: 232384 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.16 4.16 5/241 897905
/proc/meminfo: memFree=127626104/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=341016 memory=280624 CPUtime=161.75 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 66545 0 0 0 16163 12 0 0 20 0 1 0 174546887 349200384 70156 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 85254 70156 2542 2417 0 82356 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 341016 KiB
Current children cumulated memory: 280624 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/241 897915
/proc/meminfo: memFree=127583624/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=386588 memory=318092 CPUtime=221.54 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 75876 0 0 0 22141 13 0 0 20 0 1 0 174546887 395866112 79523 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 96647 79523 2542 2417 0 93749 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 386588 KiB
Current children cumulated memory: 318092 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.18 4.16 5/241 897926
/proc/meminfo: memFree=127565448/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=405776 memory=321780 CPUtime=281.35 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 76806 0 0 0 28121 14 0 0 20 0 1 0 174546887 415514624 80445 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 101444 80445 2542 2417 0 98546 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 405776 KiB
Current children cumulated memory: 321780 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/244 897941
/proc/meminfo: memFree=127537544/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=440972 memory=353456 CPUtime=341.16 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 84720 0 0 0 34101 15 0 0 20 0 1 0 174546887 451555328 88364 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 110243 88364 2542 2417 0 107345 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 440972 KiB
Current children cumulated memory: 353456 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.17 4.16 5/244 897951
/proc/meminfo: memFree=127465896/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=534344 memory=412160 CPUtime=400.96 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 100080 0 0 0 40078 18 0 0 20 0 1 0 174546887 547168256 103040 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 133586 103040 2542 2417 0 130688 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 534344 KiB
Current children cumulated memory: 412160 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/244 897962
/proc/meminfo: memFree=127474432/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=534344 memory=414224 CPUtime=460.76 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 100597 0 0 0 46058 18 0 0 20 0 1 0 174546887 547168256 103556 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 133586 103556 2542 2417 0 130688 0

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

/proc/loadavg: 4.16 4.14 4.13 5/241 898721
/proc/meminfo: memFree=127817288/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=724032 memory=613312 CPUtime=1297.95 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 126508 0 0 0 129772 23 0 0 20 0 1 0 174546887 741408768 153328 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 181008 153328 2542 2417 0 178110 0
Current children cumulated CPU time: 1297.95 s
Current children cumulated vsize: 724032 KiB
Current children cumulated memory: 613312 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/241 898731
/proc/meminfo: memFree=127674188/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=727968 memory=667436 CPUtime=1357.75 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 127598 0 0 0 135751 24 0 0 20 0 1 0 174546887 745439232 166859 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 181992 166859 2542 2417 0 179094 0
Current children cumulated CPU time: 1357.75 s
Current children cumulated vsize: 727968 KiB
Current children cumulated memory: 667436 KiB

[startup+1422.3 s]
/proc/loadavg: 4.72 4.30 4.19 5/241 898741
/proc/meminfo: memFree=127602148/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=732152 memory=720548 CPUtime=1417.54 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 128933 0 0 0 141730 24 0 0 20 0 1 0 174546887 749723648 180137 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 183038 180137 2542 2417 0 180140 0
Current children cumulated CPU time: 1417.54 s
Current children cumulated vsize: 732152 KiB
Current children cumulated memory: 720548 KiB

[startup+1482.3 s]
/proc/loadavg: 4.36 4.28 4.18 5/241 898753
/proc/meminfo: memFree=127559164/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=737060 memory=725300 CPUtime=1477.34 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 130421 0 0 0 147710 24 0 0 20 0 1 0 174546887 754749440 181325 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 184265 181325 2542 2417 0 181367 0
Current children cumulated CPU time: 1477.34 s
Current children cumulated vsize: 737060 KiB
Current children cumulated memory: 725300 KiB

[startup+1542.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/243 898767
/proc/meminfo: memFree=127540888/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=745432 memory=733740 CPUtime=1537.13 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 132793 0 0 0 153689 24 0 0 20 0 1 0 174546887 763322368 183435 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 186358 183435 2542 2417 0 183460 0
Current children cumulated CPU time: 1537.13 s
Current children cumulated vsize: 745432 KiB
Current children cumulated memory: 733740 KiB

[startup+1602.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/243 898777
/proc/meminfo: memFree=127504788/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=748940 memory=737444 CPUtime=1596.94 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 133933 0 0 0 159669 25 0 0 20 0 1 0 174546887 766914560 184361 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 187235 184361 2542 2417 0 184337 0
Current children cumulated CPU time: 1596.94 s
Current children cumulated vsize: 748940 KiB
Current children cumulated memory: 737444 KiB

[startup+1662.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/243 898788
/proc/meminfo: memFree=127476860/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=752848 memory=741148 CPUtime=1656.73 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 135137 0 0 0 165648 25 0 0 20 0 1 0 174546887 770916352 185287 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 188212 185287 2542 2417 0 185314 0
Current children cumulated CPU time: 1656.73 s
Current children cumulated vsize: 752848 KiB
Current children cumulated memory: 741148 KiB

[startup+1722.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/243 898798
/proc/meminfo: memFree=127465980/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=766924 memory=745376 CPUtime=1716.53 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 136453 0 0 0 171628 25 0 0 20 0 1 0 174546887 785330176 186344 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 191731 186344 2542 2417 0 188833 0
Current children cumulated CPU time: 1716.53 s
Current children cumulated vsize: 766924 KiB
Current children cumulated memory: 745376 KiB

[startup+1782.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/243 898809
/proc/meminfo: memFree=127478492/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=788228 memory=751452 CPUtime=1776.33 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138263 0 0 0 177607 26 0 0 20 0 1 0 174546887 807145472 187863 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197057 187863 2542 2417 0 194159 0
Current children cumulated CPU time: 1776.33 s
Current children cumulated vsize: 788228 KiB
Current children cumulated memory: 751452 KiB

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

# cumulated CPU time of all completed processes:  user=1795.78 s, system=0.267024 s

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

[startup+1792 s]*
/proc/loadavg: 4.14 4.18 4.17 5/243 898811
/proc/meminfo: memFree=127461380/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=788868 memory=752288 CPUtime=1786.01 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138499 0 0 0 178575 26 0 0 20 0 1 0 174546887 807800832 188072 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197217 188072 2542 2417 0 194319 0
Current children cumulated CPU time: 1786.01 s
Current children cumulated vsize: 788868 KiB
Current children cumulated memory: 752288 KiB

[startup+1798.4 s]
/proc/loadavg: 4.13 4.17 4.17 5/243 898812
/proc/meminfo: memFree=127475352/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=788868 memory=752288 CPUtime=1792.37 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138533 0 0 0 179211 26 0 0 20 0 1 0 174546887 807800832 188072 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197217 188072 2542 2417 0 194319 0
Current children cumulated CPU time: 1792.37 s
Current children cumulated vsize: 788868 KiB
Current children cumulated memory: 752288 KiB

[startup+1800 s]*
/proc/loadavg: 4.13 4.17 4.17 5/243 898858
/proc/meminfo: memFree=127701756/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=789164 memory=752432 CPUtime=1793.98 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138608 0 0 0 179372 26 0 0 20 0 1 0 174546887 808103936 188108 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197291 188108 2542 2417 0 194393 0
Current children cumulated CPU time: 1793.98 s
Current children cumulated vsize: 789164 KiB
Current children cumulated memory: 752432 KiB

[startup+1800.8 s]
/proc/loadavg: 4.13 4.17 4.17 5/243 898858
/proc/meminfo: memFree=127701756/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=789164 memory=752676 CPUtime=1794.76 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138725 0 0 0 179450 26 0 0 20 0 1 0 174546887 808103936 188169 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197291 188169 2542 2417 0 194393 0
Current children cumulated CPU time: 1794.76 s
Current children cumulated vsize: 789164 KiB
Current children cumulated memory: 752676 KiB

[startup+1801.6 s]
/proc/loadavg: 4.20 4.19 4.17 5/243 898858
/proc/meminfo: memFree=127676132/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=789292 memory=752836 CPUtime=1795.56 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138749 0 0 0 179530 26 0 0 20 0 1 0 174546887 808235008 188209 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197323 188209 2542 2417 0 194425 0
Current children cumulated CPU time: 1795.56 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 752836 KiB

[startup+1802 s]*
/proc/loadavg: 4.20 4.19 4.17 5/243 898858
/proc/meminfo: memFree=127669000/131655788 swapFree=131071996/131071996
[pid=897877] ppid=897874 vsize=789292 memory=752836 CPUtime=1795.97 cores=0,2
/proc/897877/stat : 897877 (CASHWMaxSAT-Dis) R 897874 897877 894669 0 -1 4194304 138757 0 0 0 179571 26 0 0 20 0 1 0 174546887 808235008 188209 134679101440 4194304 14093885 140732736616528 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 46546944 140732736619492 140732736619607 140732736619607 140732736626623 0
/proc/897877/statm: 197323 188209 2542 2417 0 194425 0
Current children cumulated CPU time: 1795.97 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 752836 KiB

Child status: 30

Real time (s): 1802.08
CPU time (s): 1796.05
CPU user time (s): 1795.78
CPU system time (s): 0.267024
CPU usage (%): 99.6652
Max. virtual memory (cumulated for all children) (KiB): 789292
Max. memory (cumulated for all children) (KiB): 752836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.78
system time used= 0.267024
maximum resident set size= 752944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138757
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= 40
involuntary context switches= 12298


# summary of solver processes directly reported to runsolver:
#   pid: 897877
#   total CPU time (s): 1796.05
#   total CPU user time (s): 1795.78
#   total CPU system time (s): 0.267024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87746 second user time and 17.3474 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-17 15:45:17
IDJOB=4439992
IDBENCH=148191
IDSOLVER=3077
FILE ID=nodeC008/4439992-1721223905
RUNJOBID= nodeC008-1721218494-894679
SLURM_JOB_ID= 7508944
Free space on /tmp= 723716 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439992-1721223905/watcher-4439992-1721223905 -o /tmp/evaluation-result-4439992-1721223905/solver-4439992-1721223905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894679 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4439992-1721223905.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=532212105

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.962
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.957
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.251
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.464
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2394.485
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3502.419
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.441
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.465
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128199452 kB
MemAvailable:   128802036 kB
Buffers:          474108 kB
Cached:           969740 kB
SwapCached:            0 kB
Active:           880084 kB
Inactive:        2043596 kB
Active(anon):       1484 kB
Inactive(anon):  1516048 kB
Active(file):     878600 kB
Inactive(file):   527548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37716 kB
Writeback:             0 kB
AnonPages:       1475528 kB
Mapped:           114384 kB
Shmem:             37704 kB
KReclaimable:      72932 kB
Slab:             168948 kB
SReclaimable:      72932 kB
SUnreclaim:        96016 kB
KernelStack:        3936 kB
PageTables:        12152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1916136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC008 at 2024-07-17 16:15:19