Trace number 4436895

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-LSMabSP+CASHWMaxSATDisjCom 2024-07-11SAT3988789 3587.34 3596.02

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
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 benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
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 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
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 

3587.30/3596.01	c Filename:instance-4436895-1722976316.opb, Cutoff_time:1798, memory_limit_gb:29976
3587.30/3596.01	c Not use presolve
3587.30/3596.01	c Use LS-small
3587.30/3596.01	o 173175457
3587.30/3596.01	o 64423577
3587.30/3596.01	o 42216061
3587.30/3596.01	o 41950703
3587.30/3596.01	o 41706077
3587.30/3596.01	o 41547613
3587.30/3596.01	o 41477775
3587.30/3596.01	o 28558685
3587.30/3596.01	o 28503611
3587.30/3596.01	o 28112745
3587.30/3596.01	o 27990731
3587.30/3596.01	o 6365427
3587.30/3596.01	o 6333963
3587.30/3596.01	o 6265249
3587.30/3596.01	o 6256379
3587.30/3596.01	o 6241647
3587.30/3596.01	o 6236873
3587.30/3596.01	o 6226271
3587.30/3596.01	o 6204065
3587.30/3596.01	o 6167105
3587.30/3596.01	o 5929981
3587.30/3596.01	o 5925071
3587.30/3596.01	o 5414653
3587.30/3596.01	o 5331703
3587.30/3596.01	o 5319909
3587.30/3596.01	o 5288549
3587.30/3596.01	o 5280647
3587.30/3596.01	o 5275209
3587.30/3596.01	o 5270009
3587.30/3596.01	o 5259817
3587.30/3596.01	o 5230197
3587.30/3596.01	o 5223491
3587.30/3596.01	o 5217441
3587.30/3596.01	o 5213951
3587.30/3596.01	o 5212981
3587.30/3596.01	o 5179535
3587.30/3596.01	o 5179207
3587.30/3596.01	o 5162185
3587.30/3596.01	o 5160349
3587.30/3596.01	o 5157373
3587.30/3596.01	o 4985453
3587.30/3596.01	o 4944141
3587.30/3596.01	o 4909899
3587.30/3596.01	o 4896457
3587.30/3596.01	o 4873083
3587.30/3596.01	o 4858071
3587.30/3596.01	o 4805349
3587.30/3596.01	o 4798581
3587.30/3596.01	o 4780511
3587.30/3596.01	o 4766781
3587.30/3596.01	o 4763645
3587.30/3596.01	o 4756951
3587.30/3596.01	o 4745141
3587.30/3596.01	o 4729787
3587.30/3596.01	o 4725287
3587.30/3596.01	o 4719569
3587.30/3596.01	o 4709943
3587.30/3596.01	o 4704375
3587.30/3596.01	o 4696245
3587.30/3596.01	o 4683619
3587.30/3596.01	o 4673955
3587.30/3596.01	o 4636555
3587.30/3596.01	o 4619489
3587.30/3596.01	o 4611269
3587.30/3596.01	o 4597899
3587.30/3596.01	o 4384057
3587.30/3596.01	o 4366487
3587.30/3596.01	o 4363343
3587.30/3596.01	o 4313049
3587.30/3596.01	o 4291951
3587.30/3596.01	o 4287335
3587.30/3596.01	o 4271347
3587.30/3596.01	o 4263771
3587.30/3596.01	o 4263537
3587.30/3596.01	o 4262465
3587.30/3596.01	o 4258889
3587.30/3596.01	o 4246833
3587.30/3596.01	o 4233825
3587.30/3596.01	o 4225419
3587.30/3596.01	o 4202617
3587.30/3596.01	o 4198937
3587.30/3596.01	o 4187587
3587.30/3596.01	o 4175755
3587.30/3596.01	o 4171663
3587.30/3596.01	o 4161275
3587.30/3596.01	o 4152039
3587.30/3596.01	o 4141381
3587.30/3596.01	o 4109375
3587.30/3596.01	o 4108029
3587.30/3596.01	o 4077929
3587.30/3596.01	o 4055433
3587.30/3596.01	o 4044225
3587.30/3596.01	o 4035373
3587.30/3596.01	o 4002595
3587.30/3596.01	o 3997539
3587.30/3596.01	o 3994651
3587.30/3596.01	o 3988789
3587.30/3596.01	s SATISFIABLE
3587.30/3596.01	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 
3587.30/3596.01	c Done 1660.55s

Verifier Data 

OK	3988789

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: 63931 MiB (59942 MiB free)
  memory of node 1: 64510 MiB (62582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436895-1722976316/watcher-4436895-1722976316 -o /tmp/evaluation-result-4436895-1722976316/solver-4436895-1722976316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351311 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436895-1722976316.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=355779, runsolver pid=355776

[startup+0.100957 s]*
/proc/loadavg: 4.09 4.12 4.09 5/270 355783
/proc/meminfo: memFree=125450288/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=37052 memory=18464 CPUtime=0.09 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 4035 0 0 0 9 0 0 0 20 0 1 0 64227243 37941248 4616 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 9263 4616 782 2417 0 6365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55644 KiB
Current children cumulated memory: 22068 KiB

[startup+0.205872 s]*
/proc/loadavg: 4.09 4.12 4.09 5/270 355783
/proc/meminfo: memFree=125422048/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=68720 memory=47544 CPUtime=0.2 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 11100 0 0 0 18 2 0 0 20 0 1 0 64227243 70369280 11886 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 17180 11886 1038 2417 0 14282 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87312 KiB
Current children cumulated memory: 51148 KiB

[startup+0.305839 s]*
/proc/loadavg: 4.09 4.12 4.09 5/270 355783
/proc/meminfo: memFree=125398952/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=89332 memory=70316 CPUtime=0.29 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 14748 0 0 0 27 2 0 0 20 0 1 0 64227243 91475968 17579 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 22333 17579 1038 2417 0 19435 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107924 KiB
Current children cumulated memory: 73920 KiB

[startup+0.700301 s]
/proc/loadavg: 4.09 4.12 4.09 6/270 355783
/proc/meminfo: memFree=125406160/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=89392 memory=70232 CPUtime=0.68 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 16591 0 0 0 66 2 0 0 20 0 1 0 64227243 91537408 17558 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 22348 17558 1038 2417 0 19450 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107984 KiB
Current children cumulated memory: 73836 KiB

[startup+1.5003 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 355783
/proc/meminfo: memFree=125394696/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=104804 memory=85768 CPUtime=1.48 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 17896 0 0 0 145 3 0 0 20 0 1 0 64227243 107319296 21442 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 26201 21442 1070 2417 0 23303 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123396 KiB
Current children cumulated memory: 89372 KiB

[startup+3.10584 s]
/proc/loadavg: 4.08 4.12 4.09 5/270 355785
/proc/meminfo: memFree=125356204/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=119724 memory=99144 CPUtime=3.09 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 20186 0 0 0 305 4 0 0 20 0 1 0 64227243 122597376 24786 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 29931 24786 1070 2417 0 27033 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 138316 KiB
Current children cumulated memory: 102748 KiB

[startup+6.30029 s]
/proc/loadavg: 4.08 4.12 4.09 5/270 355785
/proc/meminfo: memFree=125323512/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=142664 memory=121332 CPUtime=6.27 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 22181 0 0 0 623 4 0 0 20 0 1 0 64227243 146087936 30333 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 35666 30333 1070 2417 0 32768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161256 KiB
Current children cumulated memory: 124936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.10 5/270 355786
/proc/meminfo: memFree=125323204/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=155128 memory=133328 CPUtime=12.65 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 25243 0 0 0 1259 6 0 0 20 0 1 0 64227243 158851072 33332 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 38782 33332 1070 2417 0 35884 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 173720 KiB
Current children cumulated memory: 136932 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.09 5/270 355788
/proc/meminfo: memFree=125304076/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=213384 memory=170412 CPUtime=25.42 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 27992 0 0 0 2535 7 0 0 20 0 1 0 64227243 218505216 42603 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 53346 42603 1070 2417 0 50448 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 231976 KiB
Current children cumulated memory: 174016 KiB

[startup+51.1059 s]
/proc/loadavg: 4.32 4.16 4.11 5/270 355791
/proc/meminfo: memFree=125300464/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 665 587 264 0 134 0
[pid=355782] ppid=355779 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/355782/stat : 355782 (timeout) S 355779 355782 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64227243 8867840 236 134679101440 94577178370048 94577178405064 140737178266000 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94577180502480 94577180504612 94577181237248 140737178268697 140737178268829 140737178268829 140737178275815 0
/proc/355782/statm: 2165 236 212 9 0 87 0
[pid=355783] ppid=355782 vsize=192668 memory=170012 CPUtime=50.95 cores=1,3
/proc/355783/stat : 355783 (CASHWMaxSAT-Dis) R 355782 355782 351299 0 -1 4194304 32777 0 0 0 5083 12 0 0 20 0 1 0 64227243 197292032 42503 134679101440 4194304 14093885 140726404036560 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47755264 140726404039711 140726404039830 140726404039830 140726404046816 0
/proc/355783/statm: 48167 42503 1070 2417 0 45269 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 211260 KiB
Current children cumulated memory: 173616 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/268 355801
/proc/meminfo: memFree=125263988/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2660 CPUtime=0 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 241 101 0 0 0 0 0 0 20 0 1 0 64227243 10170368 665 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0

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

/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3393.98 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/266 357768
/proc/meminfo: memFree=126597668/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1660.57 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5042 0 0 0 164037 2020 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/268 357837
/proc/meminfo: memFree=126580404/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1720.46 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5050 0 0 0 169961 2085 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/267 357849
/proc/meminfo: memFree=126572800/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1780.32 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 175883 2149 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

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

# cumulated CPU time of all completed processes:  user=3562.92 s, system=24.4249 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.16 4.12 5/267 357849
/proc/meminfo: memFree=126564948/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1782.03 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 176052 2151 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3575.33 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.16 4.12 5/267 357850
/proc/meminfo: memFree=126572508/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1788.41 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 176685 2156 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3581.71 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.12 5/267 357852
/proc/meminfo: memFree=126565672/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1791.6 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 177002 2158 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.15 4.12 5/267 357852
/proc/meminfo: memFree=126592544/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1793.2 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 177161 2159 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.15 4.12 5/267 357852
/proc/meminfo: memFree=126592544/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1793.6 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 177200 2160 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.15 4.12 5/267 357852
/proc/meminfo: memFree=126590440/131524600 swapFree=131071996/131071996
[pid=355779] ppid=355776 vsize=9932 memory=2708 CPUtime=1793.3 cores=1,3
/proc/355779/stat : 355779 (Hybrid-LSMabSP+) S 355776 355779 351299 0 -1 4194304 269 133017 0 0 0 0 179050 280 20 0 1 0 64227243 10170368 677 134679101440 94239277649920 94239278729240 140728982135680 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94239280827696 94239280874884 94239289962496 140728982139854 140728982140013 140728982140013 140728982147028 0
/proc/355779/statm: 2483 677 587 264 0 134 0
[pid=356757] ppid=355779 vsize=8660 memory=988 CPUtime=0 cores=1,3
/proc/356757/stat : 356757 (timeout) S 355779 356757 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 64407044 8867840 247 134679101440 94177153433600 94177153468616 140727496330176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94177155566032 94177155568164 94177181126656 140727496332329 140727496332445 140727496332445 140727496339431 0
/proc/356757/statm: 2165 247 223 9 0 87 0
[pid=356758] ppid=356757 vsize=38948 memory=26460 CPUtime=1794 cores=1,3
/proc/356758/stat : 356758 (LS-MabSP) R 356757 356757 351299 0 -1 4194304 5058 0 0 0 177240 2160 0 0 20 0 1 0 64407044 39882752 6615 134679101440 4194304 15467897 140735927315968 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45035520 140735927321660 140735927321763 140735927321763 140735927328749 0
/proc/356758/statm: 9737 6615 1089 2753 0 6390 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 57540 KiB
Current children cumulated memory: 30156 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3587.34
CPU user time (s): 3562.92
CPU system time (s): 24.4249
CPU usage (%): 99.7587
Max. virtual memory (cumulated for all children) (KiB): 430136
Max. memory (cumulated for all children) (KiB): 354512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.92
system time used= 24.4249
maximum resident set size= 365936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116
involuntary context switches= 3022


# summary of solver processes directly reported to runsolver:
#   pid: 355779
#   total CPU time (s): 3587.34
#   total CPU user time (s): 3562.92
#   total CPU system time (s): 24.4249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84267 second user time and 18.3083 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-08-06 22:31:56
IDJOB=4436895
IDBENCH=155602
IDSOLVER=3069
FILE ID=nodeC014/4436895-1722976316
RUNJOBID= nodeC014-1722971171-351311
SLURM_JOB_ID= 8259061
Free space on /tmp= 889920 MiB

SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436895-1722976316/watcher-4436895-1722976316 -o /tmp/evaluation-result-4436895-1722976316/solver-4436895-1722976316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351311 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436895-1722976316.opb 3600 HOME 31000

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=566705158

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.036
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.096
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.340
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3666.420
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.055
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3681.660
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.082
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.315
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125466660 kB
MemAvailable:   127713632 kB
Buffers:          353704 kB
Cached:          2731260 kB
SwapCached:            0 kB
Active:           911592 kB
Inactive:        4600296 kB
Active(anon):       1616 kB
Inactive(anon):  2463348 kB
Active(file):     909976 kB
Inactive(file):  2136948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29296 kB
Writeback:             0 kB
AnonPages:       2427152 kB
Mapped:           117340 kB
Shmem:             37720 kB
KReclaimable:      79392 kB
Slab:             174080 kB
SReclaimable:      79392 kB
SUnreclaim:        94688 kB
KernelStack:        4348 kB
PageTables:        13956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2877000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            30368 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1878016 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295636 kB
DirectMap2M:    21497856 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC014 at 2024-08-06 23:31:53