Trace number 4503864

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
Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02OPT2899749 2085.05 2090.77

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
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 

2084.98/2090.73	c Exit code from Second Program: 30
2084.98/2090.75	c 12510 constraints
2084.98/2090.75	c after presolve  12512
2084.98/2090.75	c Finish cloning data from SAT to LS
2084.98/2090.75	c intsize: 36
2084.98/2090.75	c Use LS-small
2084.98/2090.75	o 54702929
2084.98/2090.75	o 4042423
2084.98/2090.75	o 3951619
2084.98/2090.75	o 3937019
2084.98/2090.75	o 3780329
2084.98/2090.75	o 3767517
2084.98/2090.75	o 3720619
2084.98/2090.75	o 3576487
2084.98/2090.75	o 3534335
2084.98/2090.75	o 3525373
2084.98/2090.75	o 3509155
2084.98/2090.75	o 3381337
2084.98/2090.75	o 3375961
2084.98/2090.75	o 3365131
2084.98/2090.75	o 3328149
2084.98/2090.75	o 3326091
2084.98/2090.75	o 3314085
2084.98/2090.75	o 3307731
2084.98/2090.75	o 3290811
2084.98/2090.75	c SAT by LS-small
2084.98/2090.75	o 3290811
2084.98/2090.75	o 3289331
2084.98/2090.75	o 3287881
2084.98/2090.75	o 3267921
2084.98/2090.75	o 3257385
2084.98/2090.75	o 3255835
2084.98/2090.75	o 3252539
2084.98/2090.75	o 3248243
2084.98/2090.75	o 3246793
2084.98/2090.75	o 3245265
2084.98/2090.75	o 3241665
2084.98/2090.75	o 3236667
2084.98/2090.75	o 3233459
2084.98/2090.75	o 3229355
2084.98/2090.75	o 3228827
2084.98/2090.75	o 3226413
2084.98/2090.75	o 3222483
2084.98/2090.75	o 3218733
2084.98/2090.75	o 3213017
2084.98/2090.75	o 3210827
2084.98/2090.75	o 3210545
2084.98/2090.75	o 3206213
2084.98/2090.75	o 3198497
2084.98/2090.75	o 3198215
2084.98/2090.75	o 3191047
2084.98/2090.75	o 3189617
2084.98/2090.75	o 3181619
2084.98/2090.75	o 3181337
2084.98/2090.75	o 3180661
2084.98/2090.75	o 3173493
2084.98/2090.75	o 3170955
2084.98/2090.75	o 3143649
2084.98/2090.75	o 3141291
2084.98/2090.75	o 3137205
2084.98/2090.75	o 3134347
2084.98/2090.75	o 3132091
2084.98/2090.75	o 3131809
2084.98/2090.75	o 3114437
2084.98/2090.75	o 3114155
2084.98/2090.75	o 3113607
2084.98/2090.75	o 3113587
2084.98/2090.75	o 3111097
2084.98/2090.75	o 3110467
2084.98/2090.75	o 3108211
2084.98/2090.75	o 3090557
2084.98/2090.75	o 3087045
2084.98/2090.75	o 3081677
2084.98/2090.75	o 3077103
2084.98/2090.75	o 3070971
2084.98/2090.75	o 3070689
2084.98/2090.75	o 3070141
2084.98/2090.75	o 3047091
2084.98/2090.75	o 3030929
2084.98/2090.75	o 3020369
2084.98/2090.75	o 3018671
2084.98/2090.75	o 3012711
2084.98/2090.75	o 3012531
2084.98/2090.75	o 2991313
2084.98/2090.75	o 2990185
2084.98/2090.75	o 2986255
2084.98/2090.75	o 2985685
2084.98/2090.75	o 2984557
2084.98/2090.75	o 2981935
2084.98/2090.75	o 2981305
2084.98/2090.75	o 2979991
2084.98/2090.75	o 2979433
2084.98/2090.75	o 2976457
2084.98/2090.75	o 2975485
2084.98/2090.75	o 2974357
2084.98/2090.75	o 2968027
2084.98/2090.75	o 2966329
2084.98/2090.75	o 2966207
2084.98/2090.75	o 2965015
2084.98/2090.75	o 2964563
2084.98/2090.75	o 2962953
2084.98/2090.75	o 2959759
2084.98/2090.75	o 2958567
2084.98/2090.75	o 2957439
2084.98/2090.75	o 2952301
2084.98/2090.75	o 2951109
2084.98/2090.75	o 2947551
2084.98/2090.75	o 2946359
2084.98/2090.75	o 2944661
2084.98/2090.75	o 2943051
2084.98/2090.75	o 2941923
2084.98/2090.75	o 2940731
2084.98/2090.75	o 2938357
2084.98/2090.75	o 2937251
2084.98/2090.75	o 2934723
2084.98/2090.75	o 2931567
2084.98/2090.75	o 2929101
2084.98/2090.75	o 2919069
2084.98/2090.75	o 2917107
2084.98/2090.75	o 2899749
2084.98/2090.75	s OPTIMUM FOUND
2084.98/2090.75	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	2899749

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503864-1751448706/watcher-4503864-1751448706 -o /tmp/evaluation-result-4503864-1751448706/solver-4503864-1751448706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751442346-62197 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4503864-1751448706.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=63274, runsolver pid=63271

[startup+0.100105 s]*
/proc/loadavg: 4.23 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118117920/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=26368 memory=7808 CPUtime=0.07 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 1288 0 0 0 7 0 0 0 20 0 1 0 60549978 27000832 1952 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 6592 1952 736 2416 0 3694 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 33352 KiB
Current children cumulated memory: 12032 KiB

[startup+0.214056 s]*
/proc/loadavg: 4.23 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118105824/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=34064 memory=15360 CPUtime=0.19 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 3185 0 0 0 18 1 0 0 20 0 1 0 60549978 34881536 3840 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 8516 3840 736 2416 0 5618 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41048 KiB
Current children cumulated memory: 19584 KiB

[startup+0.313679 s]*
/proc/loadavg: 4.23 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118105824/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=36808 memory=18244 CPUtime=0.28 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 3990 0 0 0 27 1 0 0 20 0 1 0 60549978 37691392 4561 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 9202 4561 768 2416 0 6304 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43792 KiB
Current children cumulated memory: 22468 KiB

[startup+0.700511 s]
/proc/loadavg: 4.23 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118091460/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=73044 memory=52756 CPUtime=0.66 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 10330 0 0 0 62 4 0 0 20 0 1 0 60549978 74797056 13189 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 18261 13189 1024 2416 0 15363 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80028 KiB
Current children cumulated memory: 56980 KiB

[startup+1.5005 s]
/proc/loadavg: 4.23 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118071488/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=91044 memory=72652 CPUtime=1.45 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 14072 0 0 0 139 6 0 0 20 0 1 0 60549978 93229056 18163 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 22761 18163 1056 2416 0 19863 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 98028 KiB
Current children cumulated memory: 76876 KiB

[startup+3.11365 s]
/proc/loadavg: 4.21 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118045968/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=112920 memory=94560 CPUtime=3.06 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 15498 0 0 0 299 7 0 0 20 0 1 0 60549978 115630080 23640 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 28230 23640 1056 2416 0 25332 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 119904 KiB
Current children cumulated memory: 98784 KiB

[startup+6.30051 s]
/proc/loadavg: 4.21 4.16 4.17 5/258 63278
/proc/meminfo: memFree=118014256/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=139372 memory=114908 CPUtime=6.24 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 16503 0 0 0 616 8 0 0 20 0 1 0 60549978 142716928 28727 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 34843 28727 1056 2416 0 31945 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 146356 KiB
Current children cumulated memory: 119132 KiB

[startup+12.7005 s]
/proc/loadavg: 4.18 4.15 4.17 5/258 63278
/proc/meminfo: memFree=117980324/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=154672 memory=130432 CPUtime=12.62 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 19505 0 0 0 1252 10 0 0 20 0 1 0 60549978 158384128 32608 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 38668 32608 1056 2416 0 35770 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 161656 KiB
Current children cumulated memory: 134656 KiB

[startup+25.5005 s]
/proc/loadavg: 4.15 4.15 4.17 5/258 63278
/proc/meminfo: memFree=117941432/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=182980 memory=153188 CPUtime=25.38 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 22696 0 0 0 2526 12 0 0 20 0 1 0 60549978 187371520 38297 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 45745 38297 1056 2416 0 42847 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 189964 KiB
Current children cumulated memory: 157412 KiB

[startup+51.1138 s]
/proc/loadavg: 4.24 4.17 4.17 5/258 63279
/proc/meminfo: memFree=117679668/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63277/stat : 63277 (timeout) S 63274 63277 62184 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 60549977 2723840 320 18446744073709551615 94055822860288 94055822876801 140731607390992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94055822891568 94055822893656 94055848071168 140731607398808 140731607398946 140731607398946 140731607404519 0
/proc/63277/statm: 665 320 320 5 0 90 0
[pid=63278] ppid=63277 vsize=194520 memory=166748 CPUtime=50.92 cores=5,7
/proc/63278/stat : 63278 (CASHWMaxSAT-Dis) R 63277 63277 62184 0 -1 4194304 27645 0 0 0 5076 16 0 0 20 0 1 0 60549978 199188480 41687 18446744073709551615 4198400 14093885 140726308168128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27758592 140726308170141 140726308170267 140726308170267 140726308175840 0
/proc/63278/statm: 48630 41687 1056 2416 0 45732 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 201504 KiB
Current children cumulated memory: 170972 KiB

[startup+102.301 s]
/proc/loadavg: 4.21 4.17 4.18 5/257 63281
/proc/meminfo: memFree=117120000/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 247 104 0 0 0 0 0 0 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63277] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/63464/statm: 61633 47222 1920 2271 0 56271 0
Current children cumulated CPU time: 1897.07 s
Current children cumulated vsize: 253516 KiB
Current children cumulated memory: 193112 KiB

[startup+1962.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 63532
/proc/meminfo: memFree=121302604/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=258976 memory=207112 CPUtime=1060.59 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 34975 0 0 0 102373 3686 0 0 20 0 1 0 60639880 265191424 51778 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 64744 51778 1920 2271 0 59382 0
Current children cumulated CPU time: 1956.91 s
Current children cumulated vsize: 265960 KiB
Current children cumulated memory: 211336 KiB

[startup+2022.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 63537
/proc/meminfo: memFree=121304748/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=263112 memory=211848 CPUtime=1120.44 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 36157 0 0 0 108348 3696 0 0 20 0 1 0 60639880 269426688 52962 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 65778 52962 1920 2271 0 60416 0
Current children cumulated CPU time: 2016.76 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 216072 KiB

[startup+2082.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/260 63539
/proc/meminfo: memFree=121291184/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1180.28 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 114325 3703 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2076.6 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2090.77 s]
# the end of solver process 63274 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=2046.98 s, system=38.071 s

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

[startup+2086.4 s]
/proc/loadavg: 4.16 4.13 4.10 5/260 63539
/proc/meminfo: memFree=121291460/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1184.36 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 114733 3703 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2080.68 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2088 s]*
/proc/loadavg: 4.14 4.13 4.10 5/260 63539
/proc/meminfo: memFree=121291460/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1185.97 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 114894 3703 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2089.6 s]
/proc/loadavg: 4.14 4.13 4.10 4/254 63569
/proc/meminfo: memFree=121747880/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1187.55 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 115052 3703 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2083.87 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2090.4 s]
/proc/loadavg: 4.14 4.13 4.10 4/253 63569
/proc/meminfo: memFree=121747608/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1188.36 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 115132 3704 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2084.68 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2090.6 s]
/proc/loadavg: 4.14 4.13 4.10 4/253 63569
/proc/meminfo: memFree=121747608/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268080 memory=216200 CPUtime=1188.56 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37243 0 0 0 115152 3704 0 0 20 0 1 0 60639880 274513920 54050 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67020 54050 1920 2271 0 61658 0
Current children cumulated CPU time: 2084.88 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 220424 KiB

[startup+2090.7 s]
/proc/loadavg: 4.14 4.13 4.10 4/253 63569
/proc/meminfo: memFree=121747608/131382120 swapFree=33010416/33010684
[pid=63274] ppid=63271 vsize=4324 memory=2944 CPUtime=896.32 cores=5,7
/proc/63274/stat : 63274 (Hybrid-CASHWMax) S 63271 63274 62184 0 -1 4194304 282 56663 0 0 0 0 89532 100 20 0 1 0 60549975 4427776 736 18446744073709551615 94388378370048 94388379264581 140728233905072 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94388379503632 94388379551376 94388381818880 140728233912661 140728233912816 140728233912816 140728233918418 0
/proc/63274/statm: 1081 736 672 219 0 143 0
[pid=63463] ppid=63274 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63463/stat : 63463 (timeout) S 63274 63463 62184 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 60639879 2723840 320 18446744073709551615 93851831656448 93851831672961 140730514918720 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 93851831687728 93851831689816 93851832299520 140730514925957 140730514926114 140730514926114 140730514931687 0
/proc/63463/statm: 665 320 320 5 0 90 0
[pid=63464] ppid=63463 vsize=268956 memory=216552 CPUtime=1188.66 cores=5,7
/proc/63464/stat : 63464 (ExactPR-S9) R 63463 63463 62184 0 -1 4194304 37398 0 0 0 115162 3704 0 0 20 0 1 0 60639880 275410944 54138 18446744073709551615 94896249143296 94896258443397 140731470057712 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94896260229440 94896260268520 94896291524608 140731470059932 140731470060070 140731470060070 140731470065643 0
/proc/63464/statm: 67239 54138 1920 2271 0 61877 0
Current children cumulated CPU time: 2084.98 s
Current children cumulated vsize: 275940 KiB
Current children cumulated memory: 220776 KiB

Child status: 0

Real time (s): 2090.77
CPU time (s): 2085.05
CPU user time (s): 2046.98
CPU system time (s): 38.071
CPU usage (%): 99.7264
Max. virtual memory (cumulated for all children) (KiB): 398428
Max. memory (cumulated for all children) (KiB): 298512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2046.98
system time used= 38.071
maximum resident set size= 300432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 785
involuntary context switches= 1581


# summary of solver processes directly reported to runsolver:
#   pid: 63274
#   total CPU time (s): 2085.05
#   total CPU user time (s): 2046.98
#   total CPU system time (s): 38.071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7273 second user time and 22.2144 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-02 11:31:46
IDJOB=4503864
IDBENCH=155610
IDSOLVER=3330
FILE ID=nodeC006/4503864-1751448706
RUNJOBID= nodeC006-1751442346-62197
SLURM_JOB_ID= 9598410
Free space on /tmp= 432168 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503864-1751448706/watcher-4503864-1751448706 -o /tmp/evaluation-result-4503864-1751448706/solver-4503864-1751448706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751442346-62197 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4503864-1751448706.opb 3600 HOME

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1546339648

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        118121908 kB
MemAvailable:   125761868 kB
Buffers:            2128 kB
Cached:          8410768 kB
SwapCached:           12 kB
Active:          4549784 kB
Inactive:        7999112 kB
Active(anon):    4142856 kB
Inactive(anon):    11092 kB
Active(file):     406928 kB
Inactive(file):  7988020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25372 kB
Writeback:            20 kB
AnonPages:       4134260 kB
Mapped:           126348 kB
Shmem:             17948 kB
KReclaimable:     168896 kB
Slab:             254952 kB
SReclaimable:     168896 kB
SUnreclaim:        86056 kB
KernelStack:        4176 kB
PageTables:        11472 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4623672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3289088 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432232 MiB
End job on nodeC006 at 2025-07-02 12:06:37