Trace number 4503862

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-CASHWMaxSATDisjCad+ExactPRS 2025-06-01OPT2899749 1567.33 1571.68

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 

1567.24/1571.63	c Exit code from Second Program: 30
1567.24/1571.66	c 12510 constraints
1567.24/1571.66	c after presolve  12512
1567.24/1571.66	c Finish cloning data from SAT to LS
1567.24/1571.66	c intsize: 36
1567.24/1571.66	c Use LS-small
1567.24/1571.66	o 54702929
1567.24/1571.66	o 4042423
1567.24/1571.66	o 3951619
1567.24/1571.66	o 3937019
1567.24/1571.66	o 3780329
1567.24/1571.66	o 3767517
1567.24/1571.66	o 3720619
1567.24/1571.66	o 3576487
1567.24/1571.66	o 3534335
1567.24/1571.66	o 3525373
1567.24/1571.66	o 3509155
1567.24/1571.66	o 3381337
1567.24/1571.66	o 3375961
1567.24/1571.66	o 3365131
1567.24/1571.66	o 3328149
1567.24/1571.66	o 3326091
1567.24/1571.66	o 3314085
1567.24/1571.66	o 3307731
1567.24/1571.66	o 3290811
1567.24/1571.66	c SAT by LS-small
1567.24/1571.66	o 3290811
1567.24/1571.66	o 3289331
1567.24/1571.66	o 3287881
1567.24/1571.66	o 3267921
1567.24/1571.66	o 3257385
1567.24/1571.66	o 3255835
1567.24/1571.66	o 3252539
1567.24/1571.66	o 3248243
1567.24/1571.66	o 3246793
1567.24/1571.66	o 3245265
1567.24/1571.66	o 3241665
1567.24/1571.66	o 3236667
1567.24/1571.66	o 3233459
1567.24/1571.66	o 3229355
1567.24/1571.66	o 3228827
1567.24/1571.66	o 3226413
1567.24/1571.66	o 3222483
1567.24/1571.66	o 3218733
1567.24/1571.66	o 3213017
1567.24/1571.66	o 3210827
1567.24/1571.66	o 3210545
1567.24/1571.66	o 3206213
1567.24/1571.66	o 3198497
1567.24/1571.66	o 3198215
1567.24/1571.66	o 3191047
1567.24/1571.66	o 3189617
1567.24/1571.66	o 3181619
1567.24/1571.66	o 3181337
1567.24/1571.66	o 3180661
1567.24/1571.66	o 3173493
1567.24/1571.66	o 3170955
1567.24/1571.66	o 3143649
1567.24/1571.66	o 3141291
1567.24/1571.66	o 3137205
1567.24/1571.66	o 3134347
1567.24/1571.66	o 3132091
1567.24/1571.66	o 3131809
1567.24/1571.66	o 3114437
1567.24/1571.66	o 3114155
1567.24/1571.66	o 3113607
1567.24/1571.66	o 3113587
1567.24/1571.66	o 3111097
1567.24/1571.66	o 3110467
1567.24/1571.66	o 3108211
1567.24/1571.66	o 3090557
1567.24/1571.66	o 3087045
1567.24/1571.66	o 3081677
1567.24/1571.66	o 3077103
1567.24/1571.66	o 3070971
1567.24/1571.66	o 3070689
1567.24/1571.66	o 3070141
1567.24/1571.66	o 3047091
1567.24/1571.66	o 3030929
1567.24/1571.66	o 3020369
1567.24/1571.66	o 3018671
1567.24/1571.66	o 3012711
1567.24/1571.66	o 3012531
1567.24/1571.66	o 2991313
1567.24/1571.66	o 2990185
1567.24/1571.66	o 2986255
1567.24/1571.66	o 2985685
1567.24/1571.66	o 2984557
1567.24/1571.66	o 2981935
1567.24/1571.66	o 2981305
1567.24/1571.66	o 2979991
1567.24/1571.66	o 2979433
1567.24/1571.66	o 2976457
1567.24/1571.66	o 2975485
1567.24/1571.66	o 2974357
1567.24/1571.66	o 2968027
1567.24/1571.66	o 2966329
1567.24/1571.66	o 2966207
1567.24/1571.66	o 2965015
1567.24/1571.66	o 2964563
1567.24/1571.66	o 2962953
1567.24/1571.66	o 2959759
1567.24/1571.66	o 2958567
1567.24/1571.66	o 2957439
1567.24/1571.66	o 2952301
1567.24/1571.66	o 2951109
1567.24/1571.66	o 2947551
1567.24/1571.66	o 2946359
1567.24/1571.66	o 2944661
1567.24/1571.66	o 2943051
1567.24/1571.66	o 2941923
1567.24/1571.66	o 2940731
1567.24/1571.66	o 2938357
1567.24/1571.66	o 2937251
1567.24/1571.66	o 2934723
1567.24/1571.66	o 2931567
1567.24/1571.66	o 2929101
1567.24/1571.66	o 2919069
1567.24/1571.66	o 2917107
1567.24/1571.66	o 2899749
1567.24/1571.66	s OPTIMUM FOUND
1567.24/1571.66	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 (63116 MiB free)
  memory of node 1: 64507 MiB (62222 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503862-1751440844/watcher-4503862-1751440844 -o /tmp/evaluation-result-4503862-1751440844/solver-4503862-1751440844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751440844-66333 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4503862-1751440844.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=66380, runsolver pid=66374

[startup+0.100103 s]*
/proc/loadavg: 1.02 3.04 3.71 5/261 66405
/proc/meminfo: memFree=128324348/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=22172 memory=7552 CPUtime=0.05 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 1165 0 0 0 5 0 0 0 20 0 1 0 59764229 22704128 1888 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 5543 1888 864 2593 0 2436 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 29156 KiB
Current children cumulated memory: 11776 KiB

[startup+0.214779 s]*
/proc/loadavg: 1.02 3.04 3.71 5/261 66405
/proc/meminfo: memFree=128304692/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=28944 memory=14336 CPUtime=0.17 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 2847 0 0 0 16 1 0 0 20 0 1 0 59764229 29638656 3584 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 7236 3584 864 2593 0 4129 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 35928 KiB
Current children cumulated memory: 18560 KiB

[startup+0.313683 s]*
/proc/loadavg: 1.02 3.04 3.71 5/261 66405
/proc/meminfo: memFree=128284532/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=33216 memory=18688 CPUtime=0.26 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 3917 0 0 0 25 1 0 0 20 0 1 0 59764229 34013184 4672 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 8304 4672 896 2593 0 5197 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 40200 KiB
Current children cumulated memory: 22912 KiB

[startup+0.700527 s]
/proc/loadavg: 1.02 3.04 3.71 5/261 66405
/proc/meminfo: memFree=128225372/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=69692 memory=51692 CPUtime=0.63 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 11158 0 0 0 59 4 0 0 20 0 1 0 59764229 71364608 12923 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 17423 12923 1152 2593 0 14316 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 76676 KiB
Current children cumulated memory: 55916 KiB

[startup+1.50053 s]
/proc/loadavg: 1.02 3.04 3.71 5/261 66405
/proc/meminfo: memFree=128098060/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=94200 memory=71828 CPUtime=1.43 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 16693 0 0 0 137 6 0 0 20 0 1 0 59764229 96460800 17957 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 23550 17957 1216 2593 0 20443 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 101184 KiB
Current children cumulated memory: 76052 KiB

[startup+3.11357 s]
/proc/loadavg: 1.25 3.05 3.71 5/261 66405
/proc/meminfo: memFree=127515068/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=109124 memory=91440 CPUtime=3.04 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 18505 0 0 0 297 7 0 0 20 0 1 0 59764229 111742976 22860 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 27281 22860 1248 2593 0 24174 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 116108 KiB
Current children cumulated memory: 95664 KiB

[startup+6.3005 s]
/proc/loadavg: 1.25 3.05 3.71 5/261 66405
/proc/meminfo: memFree=127419516/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=111272 memory=93488 CPUtime=6.22 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 19052 0 0 0 615 7 0 0 20 0 1 0 59764229 113942528 23372 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 27818 23372 1248 2593 0 24711 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 118256 KiB
Current children cumulated memory: 97712 KiB

[startup+12.7005 s]
/proc/loadavg: 1.47 3.07 3.71 5/261 66405
/proc/meminfo: memFree=127293120/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=113140 memory=95384 CPUtime=12.59 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 20026 0 0 0 1252 7 0 0 20 0 1 0 59764229 115855360 23846 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 28285 23846 1248 2593 0 25178 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 120124 KiB
Current children cumulated memory: 99608 KiB

[startup+25.5005 s]
/proc/loadavg: 2.03 3.12 3.72 5/261 66406
/proc/meminfo: memFree=127271928/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=137808 memory=120064 CPUtime=25.36 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 23497 0 0 0 2526 10 0 0 20 0 1 0 59764229 141115392 30016 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 34452 30016 1248 2593 0 31345 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 144792 KiB
Current children cumulated memory: 124288 KiB

[startup+51.1135 s]
/proc/loadavg: 2.71 3.19 3.73 5/261 66406
/proc/meminfo: memFree=127191572/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/66397/stat : 66397 (timeout) S 66380 66397 66322 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 59764227 2723840 320 18446744073709551615 93974182813696 93974182830209 140731252200688 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93974182844976 93974182847064 93974199652352 140731252210070 140731252210210 140731252210210 140731252215783 0
/proc/66397/statm: 665 320 320 5 0 90 0
[pid=66400] ppid=66397 vsize=144848 memory=127324 CPUtime=50.9 cores=4,6
/proc/66400/stat : 66400 (CASHWMaxSAT-Dis) R 66397 66397 66322 0 -1 4194304 28235 0 0 0 5076 14 0 0 20 0 1 0 59764229 148324352 31831 18446744073709551615 4198400 14817773 140721300300000 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 31244288 140721300302236 140721300302363 140721300302363 140721300307936 0
/proc/66400/statm: 36212 31831 1248 2593 0 33105 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 151832 KiB
Current children cumulated memory: 131548 KiB

[startup+102.301 s]
/proc/loadavg: 3.48 3.33 3.75 5/261 66412
/proc/meminfo: memFree=127045544/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 251 106 0 0 0 0 0 0 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66397] ppid=66380 vsize=2660 memory=1280 CPUtime=0 cores=4,6

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

/proc/66461/statm: 64668 50923 1856 2271 0 59306 0
Current children cumulated CPU time: 1418.35 s
Current children cumulated vsize: 265656 KiB
Current children cumulated memory: 208044 KiB

[startup+1482.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/259 66481
/proc/meminfo: memFree=126557264/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=263112 memory=208556 CPUtime=283.45 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 36032 0 0 0 28058 287 0 0 20 0 1 0 59884030 269426688 52139 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 65778 52139 1856 2271 0 60416 0
Current children cumulated CPU time: 1478.19 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 212908 KiB

[startup+1542.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/258 66483
/proc/meminfo: memFree=126402988/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=266860 memory=211756 CPUtime=343.29 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 36817 0 0 0 34036 293 0 0 20 0 1 0 59884030 273264640 52939 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 66715 52939 1856 2271 0 61353 0
Current children cumulated CPU time: 1538.03 s
Current children cumulated vsize: 273844 KiB
Current children cumulated memory: 216108 KiB

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

# cumulated CPU time of all completed processes:  user=1562.56 s, system=4.76983 s

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

[startup+1548.8 s]
/proc/loadavg: 4.05 4.08 4.01 5/258 66483
/proc/meminfo: memFree=126388024/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=267120 memory=211884 CPUtime=349.77 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 36859 0 0 0 34683 294 0 0 20 0 1 0 59884030 273530880 52971 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 66780 52971 1856 2271 0 61418 0
Current children cumulated CPU time: 1544.51 s
Current children cumulated vsize: 274104 KiB
Current children cumulated memory: 216236 KiB

[startup+1561.6 s]
/proc/loadavg: 4.04 4.08 4.01 5/258 66484
/proc/meminfo: memFree=126382364/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268080 memory=213036 CPUtime=362.54 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37141 0 0 0 35957 297 0 0 20 0 1 0 59884030 274513920 53259 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67020 53259 1856 2271 0 61658 0
Current children cumulated CPU time: 1557.28 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 217388 KiB

[startup+1568 s]*
/proc/loadavg: 4.12 4.09 4.02 5/258 66485
/proc/meminfo: memFree=126371844/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268080 memory=213036 CPUtime=368.93 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37143 0 0 0 36596 297 0 0 20 0 1 0 59884030 274513920 53259 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67020 53259 1856 2271 0 61658 0
Current children cumulated CPU time: 1563.67 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 217388 KiB

[startup+1569.6 s]
/proc/loadavg: 4.12 4.09 4.02 5/258 66485
/proc/meminfo: memFree=126371844/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268080 memory=213036 CPUtime=370.51 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37144 0 0 0 36754 297 0 0 20 0 1 0 59884030 274513920 53259 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67020 53259 1856 2271 0 61658 0
Current children cumulated CPU time: 1565.25 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 217388 KiB

[startup+1570.4 s]
/proc/loadavg: 4.12 4.09 4.02 5/258 66485
/proc/meminfo: memFree=126371844/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268080 memory=213036 CPUtime=371.31 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37144 0 0 0 36834 297 0 0 20 0 1 0 59884030 274513920 53259 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67020 53259 1856 2271 0 61658 0
Current children cumulated CPU time: 1566.05 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 217388 KiB

[startup+1571.2 s]
/proc/loadavg: 4.12 4.09 4.02 5/258 66485
/proc/meminfo: memFree=126372096/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268080 memory=213036 CPUtime=372.11 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37144 0 0 0 36913 298 0 0 20 0 1 0 59884030 274513920 53259 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67020 53259 1856 2271 0 61658 0
Current children cumulated CPU time: 1566.85 s
Current children cumulated vsize: 275064 KiB
Current children cumulated memory: 217388 KiB

[startup+1571.6 s]
/proc/loadavg: 4.12 4.09 4.02 5/258 66485
/proc/meminfo: memFree=126372096/131382116 swapFree=33010684/33010684
[pid=66380] ppid=66374 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/66380/stat : 66380 (Hybrid-CASHWMax) S 66374 66380 66322 0 -1 4194304 284 86064 0 0 0 0 119299 175 20 0 1 0 59764223 4427776 736 18446744073709551615 93904891584512 93904892479045 140727046653040 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93904892718096 93904892765840 93904904765440 140727046658391 140727046658545 140727046658545 140727046664147 0
/proc/66380/statm: 1081 736 672 219 0 143 0
[pid=66460] ppid=66380 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/66460/stat : 66460 (timeout) S 66380 66460 66322 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 59884029 2723840 352 18446744073709551615 94923217760256 94923217776769 140733274940560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94923217791536 94923217793624 94923236745216 140733274941830 140733274941986 140733274941986 140733274947559 0
/proc/66460/statm: 665 352 352 5 0 90 0
[pid=66461] ppid=66460 vsize=268956 memory=213392 CPUtime=372.5 cores=4,6
/proc/66461/stat : 66461 (ExactPR-S) R 66460 66460 66322 0 -1 4194304 37299 0 0 0 36952 298 0 0 20 0 1 0 59884030 275410944 53348 18446744073709551615 94851454709760 94851464009797 140726913029648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94851465795904 94851465834984 94851478364160 140726913038750 140726913038887 140726913038887 140726913044460 0
/proc/66461/statm: 67239 53348 1856 2271 0 61877 0
Current children cumulated CPU time: 1567.24 s
Current children cumulated vsize: 275940 KiB
Current children cumulated memory: 217744 KiB

Child status: 0

Real time (s): 1571.68
CPU time (s): 1567.33
CPU user time (s): 1562.56
CPU system time (s): 4.76983
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 695980
Max. memory (cumulated for all children) (KiB): 672648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1562.56
system time used= 4.76983
maximum resident set size= 668424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124531
page faults= 1
swaps= 0
block input operations= 32
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 873
involuntary context switches= 1104


# summary of solver processes directly reported to runsolver:
#   pid: 66380
#   total CPU time (s): 1567.33
#   total CPU user time (s): 1562.56
#   total CPU system time (s): 4.76983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61846 second user time and 17.3194 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 09:20:45
IDJOB=4503862
IDBENCH=155610
IDSOLVER=3327
FILE ID=nodeC011/4503862-1751440844
RUNJOBID= nodeC011-1751440844-66333
SLURM_JOB_ID= 9598401
Free space on /tmp= 430788 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503862-1751440844/watcher-4503862-1751440844 -o /tmp/evaluation-result-4503862-1751440844/solver-4503862-1751440844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751440844-66333 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4503862-1751440844.opb 3600 HOME

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1013158457

nodeC011 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		: 1197.585
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	: 6984.20
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		: 3700.000
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	: 6984.20
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.292
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	: 6984.20
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.295
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	: 6984.20
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		: 3700.000
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	: 6984.20
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.291
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	: 6984.20
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.300
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	: 6984.20
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		: 3700.000
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128336580 kB
MemAvailable:   129947380 kB
Buffers:            3276 kB
Cached:          2414252 kB
SwapCached:            0 kB
Active:           498036 kB
Inactive:        1986868 kB
Active(anon):      83232 kB
Inactive(anon):     2104 kB
Active(file):     414804 kB
Inactive(file):  1984764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            107768 kB
Writeback:            16 kB
AnonPages:         70448 kB
Mapped:           102476 kB
Shmem:             17960 kB
KReclaimable:     101336 kB
Slab:             186844 kB
SReclaimable:     101336 kB
SUnreclaim:        85508 kB
KernelStack:        3840 kB
PageTables:         2780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     333000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430680 MiB
End job on nodeC011 at 2025-07-02 09:46:57