Trace number 4437974

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-CASHWMaxSATDisjCadSP+Exact 2024-07-11OPT20 914.1 917.019

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark41.0486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

914.07/917.01	c Solved by First Program
914.07/917.01	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
914.07/917.01	c Setting memory limit to 29976MB.
914.07/917.01	o 29
914.07/917.01	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
914.07/917.01	c Starting SCIP solver  (with time-limit = 899s) ...
914.07/917.01	c SCIP timeout with lower and upper bounds: [6, 21]
914.07/917.01	o 26
914.07/917.01	o 25
914.07/917.01	o 20
914.07/917.01	s OPTIMUM FOUND
914.07/917.01	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 x43 x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 -x223 -x1957 -x226 x1969 -x229 -x1981 x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 x5161 x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 -x5343 -x5355 x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 x42 x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 x438 x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 x791 x790 x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 -x860 -x861 x862 -x863 -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 -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 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 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 -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 -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 -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 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 x1389 x1391 x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 x1553 -x1554 -x1555 x1557 x1559 -x1560 -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 x1571 x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 x1606 x1608 x1609 -x1610 -x1611 -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 -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 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 -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 -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 -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 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 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 -x2070 -x2071 -x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 x2112 -x2113 x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 x2124 -x2126 -x2127 -x2128 -x2129 -x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 x2208 -x2210 -x2211 -x2212 -x2213 x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 x2238 -x2239 -x2240 -x2241 -x2243 x2245 -x2246 -x2247 -x2248 -x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 -x2264 x2266 -x2267 -x2268 -x2269 x2271 -x2273 -x2274 -x2275 -x2276 -x2278 -x2280 -x2281 -x2282 -x2283 x2285 x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 x4243 x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 x4304 -x4305 x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 x4389 -x4390 -x4391 -x4392 x4394 -x4395 -x4396 -x4397 x4399 x4400 -x4401 -x4402 x4404 x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 x4419 -x4420 -x4421 -x4422 x4424 -x4425 -x4426 -x4427 x4429 x4430 -x4431 -x4432 x4434 x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 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 -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 -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 -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 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 -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 -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 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 x5199 -x5200 -x5201 -x5202 x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 x5228 -x5230 -x5231 -x5232 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5368 -x5369 -x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 x5407 x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 x5467 -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 x5493 x5495 -x5497 x5499

Verifier Data 

OK	20

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: 63968 MiB (60541 MiB free)
  memory of node 1: 64473 MiB (62463 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437974-1722964512/watcher-4437974-1722964512 -o /tmp/evaluation-result-4437974-1722964512/solver-4437974-1722964512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342223 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437974-1722964512.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=345742, runsolver pid=345739

[startup+0.10049 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125936316/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=38764 memory=23884 CPUtime=0.09 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 6309 0 0 0 8 1 0 0 20 0 1 0 63048235 39694336 5971 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 9691 5971 1034 2726 0 6439 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57356 KiB
Current children cumulated memory: 27604 KiB

[startup+0.20593 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125900364/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=81676 memory=71416 CPUtime=0.19 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 16726 0 0 0 17 2 0 0 20 0 1 0 63048235 83636224 17854 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 20419 17854 2586 2726 0 17167 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100268 KiB
Current children cumulated memory: 75136 KiB

[startup+0.306048 s]*
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125861724/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=115920 memory=104512 CPUtime=0.29 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 24902 0 0 0 25 4 0 0 20 0 1 0 63048235 118702080 26128 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 28980 26128 2682 2726 0 25728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134512 KiB
Current children cumulated memory: 108232 KiB

[startup+0.700298 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125838740/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=138804 memory=127216 CPUtime=0.68 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 30603 0 0 0 63 5 0 0 20 0 1 0 63048235 142135296 31804 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 34701 31804 2682 2726 0 31449 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 130936 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 345746
/proc/meminfo: memFree=125838712/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=138804 memory=127216 CPUtime=1.48 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 30603 0 0 0 143 5 0 0 20 0 1 0 63048235 142135296 31804 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 34701 31804 2682 2726 0 31449 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 130936 KiB

[startup+3.10592 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125782240/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=197568 memory=183996 CPUtime=3.08 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 45051 0 0 0 301 7 0 0 20 0 1 0 63048235 202309632 45999 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 49392 45999 2810 2726 0 46140 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 216160 KiB
Current children cumulated memory: 187716 KiB

[startup+6.30029 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125774452/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=199616 memory=185844 CPUtime=6.27 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 45511 0 0 0 620 7 0 0 20 0 1 0 63048235 204406784 46461 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 49904 46461 2810 2726 0 46652 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 218208 KiB
Current children cumulated memory: 189564 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 345747
/proc/meminfo: memFree=125765724/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=200224 memory=186108 CPUtime=12.65 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 45614 0 0 0 1258 7 0 0 20 0 1 0 63048235 205029376 46527 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 50056 46527 2810 2726 0 46804 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 218816 KiB
Current children cumulated memory: 189828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 345924
/proc/meminfo: memFree=125929996/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=258092 memory=242108 CPUtime=25.4 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 58428 0 0 0 2531 9 0 0 20 0 1 0 63048235 264286208 60527 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 64523 60527 2826 2726 0 61271 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 276684 KiB
Current children cumulated memory: 245828 KiB

[startup+51.1057 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 345927
/proc/meminfo: memFree=124587868/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=334304 memory=279464 CPUtime=50.92 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 67244 0 0 0 5081 11 0 0 20 0 1 0 63048235 342327296 69866 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 83576 69866 2826 2726 0 80324 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 352896 KiB
Current children cumulated memory: 283184 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 346261
/proc/meminfo: memFree=125679520/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0

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

/proc/345746/statm: 113306 108305 2826 2726 0 110054 0
Current children cumulated CPU time: 759.88 s
Current children cumulated vsize: 471816 KiB
Current children cumulated memory: 436940 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 346999
/proc/meminfo: memFree=125626144/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=453224 memory=433220 CPUtime=819.68 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 102804 0 0 0 81952 16 0 0 20 0 1 0 63048235 464101376 108305 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 113306 108305 2826 2726 0 110054 0
Current children cumulated CPU time: 819.68 s
Current children cumulated vsize: 471816 KiB
Current children cumulated memory: 436940 KiB

[startup+882.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 347009
/proc/meminfo: memFree=125623492/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=455800 memory=433224 CPUtime=879.48 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 102957 0 0 0 87932 16 0 0 20 0 1 0 63048235 466739200 108306 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 113950 108306 2826 2726 0 110698 0
Current children cumulated CPU time: 879.48 s
Current children cumulated vsize: 474392 KiB
Current children cumulated memory: 436944 KiB

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

# cumulated CPU time of all completed processes:  user=913.93 s, system=0.170193 s

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

[startup+896 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 347012
/proc/meminfo: memFree=125617836/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=455800 memory=433224 CPUtime=893.14 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103080 0 0 0 89298 16 0 0 20 0 1 0 63048235 466739200 108306 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 113950 108306 2826 2726 0 110698 0
Current children cumulated CPU time: 893.14 s
Current children cumulated vsize: 474392 KiB
Current children cumulated memory: 436944 KiB

[startup+908.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 347015
/proc/meminfo: memFree=125623028/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=905.9 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103095 0 0 0 90574 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 905.9 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

[startup+912 s]*
/proc/loadavg: 4.10 4.09 4.09 5/265 347015
/proc/meminfo: memFree=125623056/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=909.09 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103095 0 0 0 90893 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 909.09 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

[startup+915.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 347016
/proc/meminfo: memFree=125635388/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=912.27 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103095 0 0 0 91211 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 912.27 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

[startup+916 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 347016
/proc/meminfo: memFree=125635368/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=913.08 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103100 0 0 0 91292 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 913.08 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

[startup+916.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 347016
/proc/meminfo: memFree=125635368/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=913.87 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103100 0 0 0 91371 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 913.87 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

[startup+917 s]*
/proc/loadavg: 4.09 4.09 4.09 5/265 347016
/proc/meminfo: memFree=125635360/131524600 swapFree=131071216/131071996
[pid=345742] ppid=345739 vsize=9932 memory=2688 CPUtime=0 cores=1,3
/proc/345742/stat : 345742 (Hybrid-CASHWMax) S 345739 345742 342211 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63048235 10170368 672 134679101440 93833871679488 93833872758808 140721501647264 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93833874857264 93833874904452 93833886662656 140721501651918 140721501652077 140721501652077 140721501659092 0
/proc/345742/statm: 2483 672 592 264 0 134 0
[pid=345745] ppid=345742 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/345745/stat : 345745 (timeout) S 345742 345745 342211 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63048235 8867840 258 134679101440 94582982377472 94582982412488 140725714300240 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94582984509904 94582984512036 94582986948608 140725714306046 140725714306205 140725714306205 140725714313191 0
/proc/345745/statm: 2165 258 233 9 0 87 0
[pid=345746] ppid=345745 vsize=451764 memory=422888 CPUtime=914.07 cores=1,3
/proc/345746/stat : 345746 (CASHWMaxSAT-Dis) R 345745 345745 342211 0 -1 4194304 103100 0 0 0 91391 16 0 0 20 0 1 0 63048235 462606336 105722 134679101440 4194304 15356333 140726836262320 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52871168 140726836270083 140726836270229 140726836270229 140726836277215 0
/proc/345746/statm: 112941 105722 2826 2726 0 109689 0
Current children cumulated CPU time: 914.07 s
Current children cumulated vsize: 470356 KiB
Current children cumulated memory: 426608 KiB

Child status: 0

Real time (s): 917.019
CPU time (s): 914.1
CPU user time (s): 913.93
CPU system time (s): 0.170193
CPU usage (%): 99.6817
Max. virtual memory (cumulated for all children) (KiB): 480700
Max. memory (cumulated for all children) (KiB): 436944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 913.93
system time used= 0.170193
maximum resident set size= 433224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 446


# summary of solver processes directly reported to runsolver:
#   pid: 345742
#   total CPU time (s): 914.1
#   total CPU user time (s): 913.93
#   total CPU system time (s): 0.170193

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81852 second user time and 4.98865 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-08-06 19:15:12
IDJOB=4437974
IDBENCH=148192
IDSOLVER=3072
FILE ID=nodeC017/4437974-1722964512
RUNJOBID= nodeC017-1722960830-342223
SLURM_JOB_ID= 8259044
Free space on /tmp= 890004 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437974-1722964512/watcher-4437974-1722964512 -o /tmp/evaluation-result-4437974-1722964512/solver-4437974-1722964512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722960830-342223 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437974-1722964512.opb 3600 HOME 31000

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1618693344

nodeC017.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		: 3665.770
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	: 6999.82
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		: 3673.195
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	: 7005.29
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.003
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	: 6999.82
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		: 3664.161
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	: 7005.29
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		: 3665.816
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	: 6999.82
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		: 3670.178
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	: 7005.29
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.242
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	: 6999.82
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.243
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	: 7005.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125957344 kB
MemAvailable:   128570488 kB
Buffers:          344816 kB
Cached:          3109748 kB
SwapCached:           52 kB
Active:           867444 kB
Inactive:        4166588 kB
Active(anon):       1556 kB
Inactive(anon):  1615764 kB
Active(file):     865888 kB
Inactive(file):  2550824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:             19272 kB
Writeback:             0 kB
AnonPages:       1579204 kB
Mapped:           109496 kB
Shmem:             37520 kB
KReclaimable:      72508 kB
Slab:             166304 kB
SReclaimable:      72508 kB
SUnreclaim:        93796 kB
KernelStack:        4268 kB
PageTables:        12264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2167940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29056 kB
HardwareCorrupted:     0 kB
AnonHugePages:    937984 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:      277204 kB
DirectMap2M:    14176256 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC017 at 2024-08-06 19:30:30