Trace number 4437572

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-LSMabP+Exact 2024-07-11SAT20 3587.65 3596.03

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark71.6563
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
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 

3587.60/3596.02	c Filename:instance-4437572-1722972247.opb, Cutoff_time:1798, memory_limit_gb:29976
3587.60/3596.02	c Use Presolve
3587.60/3596.02	c Parse finsih
3587.60/3596.02	c Start Presolve
3587.60/3596.02	c After Reduce Vars: 6021 Clauses: 21915 Top clause weight: 646 Hard Clauses: 21270
3587.60/3596.02	c Use LS-small
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 31
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 30
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 29
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 26
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 25
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 24
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 23
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 22
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 21
3587.60/3596.02	c Use postsolve
3587.60/3596.02	o 20
3587.60/3596.02	s SATISFIABLE
3587.60/3596.02	c Use postsolve
3587.60/3596.02	v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 -x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 x49 -x1339 -x52 -x1351 -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 x1484 x1486 -x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 -x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 -x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 -x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 x239 -x2109 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 x2324 x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 -x2772 -x356 -x2830 x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 -x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -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 -x3962 -x3964 -x3976 -x3978 -x3990 -x3992 -x4004 -x4006 -x4018 -x4020 x4032 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 x4586 x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 -x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 -x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 -x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -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 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 x93 x92 x94 -x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 -x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 x329 x328 x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -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 -x540 -x539 -x541 -x542 -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 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -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 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 x768 x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 x976 x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847 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 -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 -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 -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 -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 -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 -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 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 x1445 -x1446 x1447 -x1448 x1450 x1452 -x1453 x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 x1485 x1487 -x1488 x1489 -x1490 -x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1508 -x1509 -x1510 -x1511 x1513 x1515 -x1516 x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 x1555 -x1557 -x1558 -x1559 -x1560 -x1562 -x1564 -x1565 -x1566 -x1567 x1569 x1571 -x1572 -x1573 -x1574 -x1576 -x1578 -x1579 -x1580 -x1581 x1583 x1585 -x1586 -x1587 -x1588 x1590 -x1592 -x1593 -x1594 -x1595 x1597 x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 x1632 -x1634 -x1635 -x1636 -x1637 x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 -x1655 -x1656 -x1657 -x1658 x1660 x1662 -x1663 -x1664 -x1665 x1667 -x1669 -x1670 -x1671 -x1672 x1674 -x1676 -x1677 -x1678 -x1679 -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 -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 -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 -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 -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 -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 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 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 x2129 x2131 x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 x2143 x2145 -x2146 -x2147 -x2148 x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 x2164 x2166 x2167 -x2168 -x2169 x2171 -x2173 -x2174 -x2175 -x2176 -x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 x2192 x2194 -x2195 -x2196 x2197 -x2199 -x2201 -x2202 -x2203 -x2204 x2206 -x2208 -x2209 -x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 x2220 x2222 -x2223 x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 -x2257 -x2258 -x2259 -x2260 x2262 x2264 -x2265 -x2266 -x2267 x2269 x2271 -x2272 -x2273 x2274 -x2276 -x2278 -x2279 -x2280 -x2281 x2283 -x2285 -x2286 -x2287 -x2288 x2290 -x2292 -x2293 -x2294 -x2295 x2297 x2299 -x2300 x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 -x2311 -x2313 -x2314 -x2315 -x2316 x2318 -x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 x2330 x2332 -x2334 -x2335 -x2336 -x2337 -x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 x2353 -x2355 -x2356 -x2357 -x2358 x2360 -x2362 -x2363 -x2364 -x2365 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 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 -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 -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 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 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 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 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4185 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4269 x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4339 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4367 -x4368 x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 x4407 -x4408 x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 x4522 -x4523 -x4524 x4525 -x4527 -x4528 -x4529 -x4530 x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 -x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 x4582 x4583 -x4584 -x4585 x4587 x4588 -x4589 -x4590 x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4602 -x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 x4622 -x4623 -x4624 x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 x4692 -x4693 x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 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 -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 -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 -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 -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 -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 -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 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4954 -x4955 x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5160 -x5161 -x5162 -x5163 x5165 -x5167 -x5169 -x5170 -x5171 -x5172 -x5174 x5176 -x5177 x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 x5193 -x5195 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 -x5228 -x5229 -x5230 -x5231 -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 -x5281 -x5282 -x5283 x5285 -x5286 -x5287 -x5288 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 -x5300 -x5301 -x5302 x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 -x5340 -x5341 -x5342 -x5343 x5345 -x5347 -x5348 -x5349 -x5350 x5352 -x5353 -x5354 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5635 -x5636 -x5637 -x5638 x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 x5829 -x5830 -x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 x5841 -x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 x5855 x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5869 -x5870 -x5871 -x5872 x5874 -x5875 -x5876 -x5877 x5879 -x5881 -x5882 -x5883 -x5884 x5886 -x5888 -x5889 -x5890 -x5891 x5893 -x5895 -x5896 -x5897 -x5898 x5900 x5902 -x5903 -x5904 x5905 -x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 -x5937 -x5938 x5940 x5941 -x5942 -x5943 x5945 -x5947 -x5948 -x5949 -x5950 -x5952 -x5954 -x5955 -x5956 -x5957 -x5959 -x5961 -x5962 -x5963 -x5964 -x5966 -x5968 -x5969 -x5970 -x5971 -x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 x5987 -x5989 -x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 -x6015 -x6017 -x6018 -x6019 -x6020 x6022 x6024 -x6025 x6026 -x6027 
3587.60/3596.03	c Done 44.4s

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437572-1722972247/watcher-4437572-1722972247 -o /tmp/evaluation-result-4437572-1722972247/solver-4437572-1722972247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722970448-344737 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437572-1722972247.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=345824, runsolver pid=345821

[startup+0.10039 s]*
/proc/loadavg: 4.04 4.07 3.92 5/266 345841
/proc/meminfo: memFree=129275128/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=26652 memory=13684 CPUtime=0.09 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 2442 0 0 0 9 0 0 0 20 0 1 0 63829188 27291648 3421 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 6663 3421 1073 2753 0 3316 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45244 KiB
Current children cumulated memory: 17312 KiB

[startup+0.205744 s]*
/proc/loadavg: 4.04 4.07 3.92 5/266 345841
/proc/meminfo: memFree=129234412/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=32976 memory=20152 CPUtime=0.19 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 4746 0 0 0 19 0 0 0 20 0 1 0 63829188 33767424 5038 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 8244 5038 1105 2753 0 4897 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51568 KiB
Current children cumulated memory: 23780 KiB

[startup+0.305745 s]*
/proc/loadavg: 4.04 4.07 3.92 5/266 345841
/proc/meminfo: memFree=129214084/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=32976 memory=20152 CPUtime=0.29 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 4746 0 0 0 29 0 0 0 20 0 1 0 63829188 33767424 5038 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 8244 5038 1105 2753 0 4897 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51568 KiB
Current children cumulated memory: 23780 KiB

[startup+0.700227 s]
/proc/loadavg: 4.04 4.07 3.92 5/266 345841
/proc/meminfo: memFree=129176132/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26200 CPUtime=0.68 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 8327 0 0 0 67 1 0 0 20 0 1 0 63829188 40259584 6550 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6550 1153 2753 0 6482 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29828 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.09 3.92 5/266 345841
/proc/meminfo: memFree=129022072/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=1.48 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 11375 0 0 0 145 3 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+3.1058 s]
/proc/loadavg: 4.12 4.09 3.92 5/266 345841
/proc/meminfo: memFree=128926176/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=3.09 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 11375 0 0 0 303 6 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+6.30027 s]
/proc/loadavg: 4.11 4.09 3.92 5/266 345841
/proc/meminfo: memFree=128737616/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=6.27 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 13662 0 0 0 615 12 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.08 3.92 5/266 345843
/proc/meminfo: memFree=128640632/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=12.65 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 13662 0 0 0 1244 21 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 3.92 5/266 345846
/proc/meminfo: memFree=128436972/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=25.43 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 13662 0 0 0 2505 38 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.09 3.93 5/266 345851
/proc/meminfo: memFree=128157740/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 658 578 264 0 134 0
[pid=345827] ppid=345824 vsize=8660 memory=996 CPUtime=0 cores=5,7
/proc/345827/stat : 345827 (timeout) S 345824 345827 344724 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63829188 8867840 249 134679101440 94869149708288 94869149743304 140735465117328 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94869151840720 94869151842852 94869173731328 140735465124899 140735465125021 140735465125021 140735465132007 0
/proc/345827/statm: 2165 249 225 9 0 87 0
[pid=345828] ppid=345827 vsize=39316 memory=26264 CPUtime=50.99 cores=5,7
/proc/345828/stat : 345828 (LS-MabP) R 345827 345827 344724 0 -1 4194304 14425 0 0 0 5025 74 0 0 20 0 1 0 63829188 40259584 6566 134679101440 4194304 15467897 140734230827296 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 45228032 140734230836279 140734230836388 140734230836388 140734230843374 0
/proc/345828/statm: 9829 6566 1169 2753 0 6482 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 29892 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 3.94 5/266 346243
/proc/meminfo: memFree=127533528/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2632 CPUtime=0 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 235 103 0 0 0 0 0 0 20 0 1 0 63829188 10170368 658 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0

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

/proc/346905/statm: 36532 32409 820 745 0 35597 0
Current children cumulated CPU time: 3394.32 s
Current children cumulated vsize: 164720 KiB
Current children cumulated memory: 133348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 347812
/proc/meminfo: memFree=128304492/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146380 memory=129892 CPUtime=1660.51 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23114 0 0 0 166044 7 0 0 20 0 1 0 64008989 149893120 32473 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36595 32473 820 745 0 35660 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 164972 KiB
Current children cumulated memory: 133604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 347822
/proc/meminfo: memFree=128303660/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146380 memory=129924 CPUtime=1720.38 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23181 0 0 0 172031 7 0 0 20 0 1 0 64008989 149893120 32481 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36595 32481 820 745 0 35660 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 164972 KiB
Current children cumulated memory: 133636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/265 347832
/proc/meminfo: memFree=128302784/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146584 memory=130072 CPUtime=1780.25 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23276 0 0 0 178018 7 0 0 20 0 1 0 64008989 150102016 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36646 32518 820 745 0 35711 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 165176 KiB
Current children cumulated memory: 133784 KiB

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

# cumulated CPU time of all completed processes:  user=3559.26 s, system=28.3945 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.12 4.10 5/265 347832
/proc/meminfo: memFree=128302784/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146584 memory=130072 CPUtime=1781.95 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23276 0 0 0 178188 7 0 0 20 0 1 0 64008989 150102016 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36646 32518 820 745 0 35711 0
Current children cumulated CPU time: 3575.63 s
Current children cumulated vsize: 165176 KiB
Current children cumulated memory: 133784 KiB

[startup+3590.4 s]
/proc/loadavg: 4.17 4.12 4.10 5/265 347834
/proc/meminfo: memFree=128302792/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146584 memory=130072 CPUtime=1788.33 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23276 0 0 0 178826 7 0 0 20 0 1 0 64008989 150102016 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36646 32518 820 745 0 35711 0
Current children cumulated CPU time: 3582.01 s
Current children cumulated vsize: 165176 KiB
Current children cumulated memory: 133784 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 347834
/proc/meminfo: memFree=128302784/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146584 memory=130072 CPUtime=1791.52 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23276 0 0 0 179145 7 0 0 20 0 1 0 64008989 150102016 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36646 32518 820 745 0 35711 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 165176 KiB
Current children cumulated memory: 133784 KiB

[startup+3595.2 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 347834
/proc/meminfo: memFree=128302580/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146768 memory=130072 CPUtime=1793.12 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23320 0 0 0 179305 7 0 0 20 0 1 0 64008989 150290432 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36692 32518 820 745 0 35757 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 165360 KiB
Current children cumulated memory: 133784 KiB

[startup+3595.6 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 347834
/proc/meminfo: memFree=128302580/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146768 memory=130072 CPUtime=1793.52 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23320 0 0 0 179345 7 0 0 20 0 1 0 64008989 150290432 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36692 32518 820 745 0 35757 0
Current children cumulated CPU time: 3587.2 s
Current children cumulated vsize: 165360 KiB
Current children cumulated memory: 133784 KiB

[startup+3596 s]*
/proc/loadavg: 4.16 4.11 4.09 5/265 347834
/proc/meminfo: memFree=128302596/131524600 swapFree=131071996/131071996
[pid=345824] ppid=345821 vsize=9932 memory=2676 CPUtime=1793.68 cores=5,7
/proc/345824/stat : 345824 (Hybrid-LSMabP+E) S 345821 345824 344724 0 -1 4194304 267 15818 0 0 0 0 176537 2831 20 0 1 0 63829188 10170368 669 134679101440 94378318770176 94378319849496 140734464474208 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94378321947952 94378321995140 94378347438080 140734464480234 140734464480379 140734464480379 140734464487394 0
/proc/345824/statm: 2483 669 578 264 0 134 0
[pid=346904] ppid=345824 vsize=8660 memory=1036 CPUtime=0 cores=5,7
/proc/346904/stat : 346904 (timeout) S 345824 346904 344724 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64008989 8867840 259 134679101440 94816584527872 94816584562888 140726521446592 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94816586660304 94816586662436 94816587309056 140726521451508 140726521451677 140726521451677 140726521458663 0
/proc/346904/statm: 2165 259 234 9 0 87 0
[pid=346905] ppid=346904 vsize=146768 memory=130072 CPUtime=1793.92 cores=5,7
/proc/346905/stat : 346905 (Exact) R 346904 346904 344724 0 -1 4194304 23320 0 0 0 179385 7 0 0 20 0 1 0 64008989 150290432 32518 134679101440 4194304 7243121 140732277958224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7942632 8006904 15740928 140732277965840 140732277965990 140732277965990 140732277972976 0
/proc/346905/statm: 36692 32518 820 745 0 35757 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 165360 KiB
Current children cumulated memory: 133784 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3587.65
CPU user time (s): 3559.26
CPU system time (s): 28.3945
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (KiB): 165360
Max. memory (cumulated for all children) (KiB): 133784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.26
system time used= 28.3945
maximum resident set size= 130072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 1553


# summary of solver processes directly reported to runsolver:
#   pid: 345824
#   total CPU time (s): 3587.65
#   total CPU user time (s): 3559.26
#   total CPU system time (s): 28.3945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08881 second user time and 16.1009 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-08-06 21:24:07
IDJOB=4437572
IDBENCH=148185
IDSOLVER=3071
FILE ID=nodeC028/4437572-1722972247
RUNJOBID= nodeC028-1722970448-344737
SLURM_JOB_ID= 8259053
Free space on /tmp= 890040 MiB

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

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=415704357

nodeC028.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		: 3666.330
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.94
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.570
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.71
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		: 3609.083
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.94
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		: 3614.672
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.71
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		: 3650.805
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.94
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		: 3667.290
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.71
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		: 3655.840
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.94
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		: 3663.367
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.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129336868 kB
MemAvailable:   129681736 kB
Buffers:          331756 kB
Cached:           861012 kB
SwapCached:            0 kB
Active:           610236 kB
Inactive:        1053176 kB
Active(anon):       1544 kB
Inactive(anon):   506816 kB
Active(file):     608692 kB
Inactive(file):   546360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             46544 kB
Writeback:            12 kB
AnonPages:        470120 kB
Mapped:           105036 kB
Shmem:             37720 kB
KReclaimable:      59276 kB
Slab:             154392 kB
SReclaimable:      59276 kB
SUnreclaim:        95116 kB
KernelStack:        4112 kB
PageTables:        10048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     859468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            30272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 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:      305876 kB
DirectMap2M:    18341888 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889980 MiB
End job on nodeC028 at 2024-08-06 22:24:03