Trace number 4427897

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
LS-MabSP 2024-07-10SAT22 3558.01 3564.73

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
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 697
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 

0.00/0.00	c Filename:instance-4427897-1722809647.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.00/0.09	c Parse finsih
0.09/0.11	c Start Presolve
0.39/0.45	c After Reduce Vars: 6070 Clauses: 22054 Top clause weight: 662 Hard Clauses: 21393
1775.46/1779.55	c Use LS-small
1775.46/1779.55	c Use postsolve
1775.46/1779.56	o 26
1776.75/1780.85	c Use postsolve
1776.75/1780.86	o 25
1776.85/1780.95	c Use postsolve
1776.85/1780.96	o 24
1777.15/1781.27	c Use postsolve
1777.15/1781.28	o 23
1779.55/1783.65	c Use postsolve
1779.55/1783.66	o 22
3557.96/3564.72	s SATISFIABLE
3557.96/3564.72	c Use postsolve
3557.96/3564.73	v x1 x363 x532 x696 x859 -x1010 -x1068 -x1126 -x1184 -x1242 -x1300 -x1358 -x1416 x11 -x1474 -x14 -x1501 -x17 -x1528 -x20 -x1555 -x23 -x1582 x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 -x39 -x1744 -x42 -x1771 -x45 -x1798 -x1825 -x50 -x1852 x53 -x1879 -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 x77 -x2095 -x80 -x2122 -x83 -x2149 -x86 -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 -x2328 -x2330 -x2342 -x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442 -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566 -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 -x2620 -x2622 -x2634 -x2636 -x2648 -x2650 -x2662 -x2664 -x2676 -x2678 -x2690 -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 x2774 -x2776 -x2788 -x2790 -x2802 -x2804 -x2816 -x2818 -x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 -x2900 -x2902 -x2914 -x2916 -x2928 -x2930 -x2942 -x2944 x2956 x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 -x3017 -x3022 -x3027 -x3032 -x3037 -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122 -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207 -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 -x3282 -x3287 -x3292 -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 -x3416 -x3443 -x3470 -x3497 -x3524 -x3551 -x3563 -x376 -x3575 -x379 -x3587 -x382 -x3599 -x3611 -x3623 -x389 -x3635 -x392 -x3647 -x395 -x3659 -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 -x3707 -x3719 -x412 -x3731 -x415 -x3743 -x418 -x3755 -x421 -x3767 -x424 -x3779 -x3791 -x3803 -x3805 -x3810 -x3812 x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852 -x3854 -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913 -x3915 -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 -x3955 -x3957 -x3962 -x3964 -x3969 -x3971 -x3976 -x3978 -x3983 -x3985 x3990 x3992 -x3997 -x3999 -x4004 -x4006 -x4011 -x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034 -x4039 -x4041 -x4046 -x4073 -x4100 -x4127 x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 -x549 -x4271 -x4283 -x4295 -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 x582 -x4427 -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 -x4508 -x4510 -x4515 -x4517 -x4522 -x4524 -x4529 -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 -x4569 x4571 -x4576 -x4578 -x4583 -x4585 -x4590 -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 -x4632 -x4634 -x4639 -x4641 -x4646 -x4648 -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 -x4679 -x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 -x4709 -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 -x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 -x716 -x4977 -x719 -x4989 x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 -x742 -x5097 -x5109 -x747 -x5121 -x5133 -x5145 -x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 -x5209 -x5211 x5216 x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 -x5270 -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5321 -x5326 -x5328 -x5333 -x5335 -x5340 -x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 -x5389 -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 -x5491 -x5518 -x5545 -x5572 -x5599 -x5611 -x5623 -x5635 -x5647 -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 -x5791 -x5803 -x5815 -x5827 -x5839 -x5851 -x5856 -x5858 -x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 -x5903 -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 -x5960 -x5962 -x5967 -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 -x6025 -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 -x6061 -x6063 x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 -x91 -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 -x114 -x116 -x115 -x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 -x135 -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x178 -x177 -x179 -x181 -x180 -x182 -x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 -x241 -x240 -x242 -x244 -x243 -x245 x247 x246 x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325 -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 -x346 -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 -x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 -x394 -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 -x420 -x422 -x423 -x425 -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 -x466 -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 x508 x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 -x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529 -x531 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -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 -x673 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 -x712 -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 -x739 -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 x777 x776 x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 -x818 -x817 -x819 -x821 -x820 -x822 -x824 -x823 -x825 -x827 -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x915 -x917 -x918 -x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 -x936 -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 -x957 -x958 -x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 -x1000 -x999 -x1001 -x1003 -x1002 -x1004 x1006 x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2231 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2245 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2259 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2273 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2301 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2315 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2343 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2455 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2537 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2551 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2565 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2621 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2649 x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2691 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2733 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2775 x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2957 x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2971 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3013 x3014 -x3015 -x3016 x3018 -x3019 -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 x3033 x3034 -x3035 -x3036 -x3038 -x3039 -x3040 -x3041 x3043 -x3044 -x3045 x3046 -x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 x3058 -x3059 -x3060 -x3061 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 x3098 -x3099 x3100 -x3101 -x3103 -x3104 -x3105 -x3106 x3108 -x3109 -x3110 -x3111 x3113 x3114 -x3115 -x3116 x3118 -x3119 -x3120 -x3121 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3133 -x3134 -x3135 -x3136 x3138 -x3139 -x3140 -x3141 -x3143 -x3144 -x3145 -x3146 x3148 x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3176 -x3178 -x3179 -x3180 -x3181 x3183 -x3184 -x3185 x3186 -x3188 -x3189 -x3190 -x3191 x3193 -x3194 -x3195 -x3196 x3198 -x3199 -x3200 -x3201 -x3203 -x3204 -x3205 -x3206 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3228 -x3229 -x3230 -x3231 x3233 -x3234 -x3235 x3236 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3248 -x3249 -x3250 -x3251 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3278 -x3279 -x3280 -x3281 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 x3308 x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 -x3320 -x3321 x3323 -x3324 -x3325 -x3326 x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 x3753 -x3754 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3804 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 x3818 x3820 -x3821 -x3822 -x3823 x3825 x3827 -x3828 -x3829 -x3830 x3832 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3846 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3860 -x3861 -x3862 -x3863 -x3865 -x3867 -x3868 -x3869 -x3870 -x3872 -x3874 -x3875 -x3876 -x3877 x3879 -x3881 -x3882 -x3883 -x3884 -x3886 x3888 -x3889 -x3890 -x3891 x3893 -x3895 -x3896 -x3897 -x3898 x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 -x3914 -x3916 -x3917 -x3918 -x3919 -x3921 -x3923 -x3924 -x3925 -x3926 x3928 -x3930 -x3931 -x3932 -x3933 -x3935 -x3937 -x3938 -x3939 -x3940 -x3942 -x3944 -x3945 -x3946 -x3947 -x3949 -x3951 -x3952 -x3953 -x3954 -x3956 x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3970 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3984 x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3998 -x4000 -x4001 -x4002 -x4003 x4005 -x4007 -x4008 -x4009 -x4010 x4012 x4014 -x4015 -x4016 -x4017 -x4019 x4021 x4022 -x4023 -x4024 -x4026 -x4028 -x4029 -x4030 -x4031 -x4033 x4035 -x4036 -x4037 -x4038 -x4040 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4488 -x4490 -x4491 -x4492 -x4493 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 x4504 -x4505 -x4506 x4507 x4509 x4511 -x4512 -x4513 -x4514 -x4516 -x4518 -x4519 -x4520 -x4521 -x4523 -x4525 -x4526 -x4527 -x4528 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4551 -x4552 -x4553 -x4554 x4556 -x4558 -x4559 -x4560 -x4561 -x4563 -x4565 -x4566 -x4567 -x4568 x4570 x4572 -x4573 -x4574 -x4575 -x4577 -x4579 -x4580 -x4581 -x4582 x4584 -x4586 -x4587 -x4588 -x4589 -x4591 -x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601 -x4602 -x4603 -x4605 -x4607 -x4608 -x4609 -x4610 x4612 -x4614 -x4615 -x4616 -x4617 -x4619 x4621 -x4622 x4623 -x4624 x4626 -x4628 -x4629 -x4630 -x4631 -x4633 -x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4649 -x4650 -x4651 -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 -x4663 -x4664 -x4665 -x4666 x4668 -x4670 -x4671 -x4672 -x4673 -x4675 -x4676 -x4677 -x4678 -x4680 -x4682 -x4683 -x4684 -x4685 x4687 -x4689 -x4690 -x4691 -x4692 x4694 -x4696 -x4697 -x4698 -x4699 x4701 -x4703 -x4704 -x4705 -x4706 -x4708 -x4710 -x4711 -x4712 -x4713 x4715 -x4717 -x4718 -x4719 -x4720 -x4722 -x4724 -x4725 -x4726 -x4727 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -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 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 -x5172 -x5173 -x5174 -x5175 x5177 -x5179 -x5180 -x5181 -x5182 -x5184 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5196 -x5198 -x5199 -x5200 -x5201 -x5203 -x5205 -x5206 -x5207 -x5208 -x5210 -x5212 -x5213 -x5214 -x5215 x5217 x5219 x5220 -x5221 -x5222 -x5224 -x5226 -x5227 -x5228 -x5229 -x5231 -x5233 -x5234 -x5235 -x5236 x5238 -x5240 -x5241 -x5242 -x5243 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 x5257 -x5259 -x5260 -x5261 -x5262 x5264 -x5266 -x5267 -x5268 -x5269 x5271 x5273 -x5274 x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 x5313 x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324 -x5325 x5327 x5329 -x5330 -x5331 -x5332 -x5334 -x5336 -x5337 -x5338 -x5339 -x5341 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5364 -x5365 -x5366 -x5367 x5369 x5371 -x5372 -x5373 x5374 -x5376 -x5378 -x5379 -x5380 -x5381 -x5383 -x5385 -x5386 -x5387 -x5388 x5390 x5392 -x5393 -x5394 -x5395 -x5397 -x5399 -x5400 -x5401 -x5402 x5404 -x5406 -x5407 -x5408 -x5409 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5852 -x5853 -x5854 -x5855 x5857 -x5859 -x5860 -x5861 -x5862 x5864 -x5865 -x5866 x5867 x5869 x5871 -x5872 -x5873 -x5874 x5876 x5878 -x5879 x5880 -x5881 -x5883 -x5885 -x5886 -x5887 -x5888 x5890 -x5891 -x5892 -x5893 -x5895 -x5897 -x5898 -x5899 -x5900 x5902 -x5904 -x5905 -x5906 -x5907 -x5909 -x5911 -x5912 -x5913 -x5914 x5916 -x5918 -x5919 -x5920 -x5921 -x5923 -x5925 -x5926 -x5927 -x5928 -x5930 x5932 -x5933 -x5934 -x5935 -x5937 -x5938 -x5939 -x5940 -x5942 -x5944 -x5945 -x5946 -x5947 -x5949 -x5951 -x5952 -x5953 -x5954 x5956 -x5957 -x5958 -x5959 -x5961 -x5963 -x5964 -x5965 -x5966 x5968 -x5970 -x5971 -x5972 -x5973 -x5975 -x5977 -x5978 -x5979 -x5980 x5982 -x5984 -x5985 -x5986 -x5987 -x5989 -x5991 -x5992 -x5993 -x5994 -x5996 x5998 -x5999 -x6000 -x6001 -x6003 -x6005 -x6006 -x6007 -x6008 -x6010 -x6012 -x6013 -x6014 -x6015 x6017 -x6019 -x6020 -x6021 -x6022 x6024 -x6026 -x6027 -x6028 -x6029 -x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 x6041 x6043 x6044 -x6045 -x6046 x6048 -x6050 -x6051 -x6052 -x6053 x6055 x6057 x6058 -x6059 -x6060 -x6062 -x6064 -x6065 -x6066 -x6067 x6069 -x6071 -x6073 -x6074 -x6075 -x6076 
3557.96/3564.73	c Done 1779.61s

Verifier Data 

OK	22

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61946 MiB free)
  memory of node 1: 64510 MiB (63043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427897-1722809647/watcher-4427897-1722809647 -o /tmp/evaluation-result-4427897-1722809647/solver-4427897-1722809647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722806084-262608 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427897-1722809647.opb -t 3558 -s 893628007 

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=265137, runsolver pid=265134

[startup+0.100897 s]*
/proc/loadavg: 4.13 4.14 4.06 5/258 265138
/proc/meminfo: memFree=127972936/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=26676 memory=13684 CPUtime=0.09 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 2484 0 0 0 9 0 0 0 20 0 1 0 47560340 27316224 3421 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 6669 3421 1073 2753 0 3322 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26676 KiB
Current children cumulated memory: 13684 KiB

[startup+0.205235 s]*
/proc/loadavg: 4.13 4.14 4.06 5/258 265138
/proc/meminfo: memFree=127966536/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=33040 memory=20192 CPUtime=0.19 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 4804 0 0 0 19 0 0 0 20 0 1 0 47560340 33832960 5048 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 8260 5048 1105 2753 0 4913 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33040 KiB
Current children cumulated memory: 20192 KiB

[startup+0.305192 s]*
/proc/loadavg: 4.13 4.14 4.06 5/258 265138
/proc/meminfo: memFree=127966396/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=33040 memory=20192 CPUtime=0.29 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 4804 0 0 0 29 0 0 0 20 0 1 0 47560340 33832960 5048 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 8260 5048 1105 2753 0 4913 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33040 KiB
Current children cumulated memory: 20192 KiB

[startup+0.700216 s]
/proc/loadavg: 4.13 4.14 4.06 5/258 265138
/proc/meminfo: memFree=127931484/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=104520 memory=93124 CPUtime=0.68 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 22126 0 0 0 66 2 0 0 20 0 1 0 47560340 107028480 23281 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 26130 23281 2737 2753 0 22783 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104520 KiB
Current children cumulated memory: 93124 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.14 4.06 4/253 265148
/proc/meminfo: memFree=127883788/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=174560 memory=162584 CPUtime=1.48 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 39440 0 0 0 144 4 0 0 20 0 1 0 47560340 178749440 40646 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 43640 40646 2849 2753 0 40293 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174560 KiB
Current children cumulated memory: 162584 KiB

[startup+3.10524 s]
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127747844/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=195456 memory=183768 CPUtime=3.08 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 44734 0 0 0 303 5 0 0 20 0 1 0 47560340 200146944 45942 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 48864 45942 2849 2753 0 45517 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 195456 KiB
Current children cumulated memory: 183768 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.16 4.06 5/258 265232
/proc/meminfo: memFree=127639604/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=217284 memory=196944 CPUtime=6.26 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 48070 0 0 0 621 5 0 0 20 0 1 0 47560340 222498816 49236 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 54321 49236 2849 2753 0 50974 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 217284 KiB
Current children cumulated memory: 196944 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.06 5/258 265233
/proc/meminfo: memFree=127630636/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=229728 memory=204052 CPUtime=12.65 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 49847 0 0 0 1259 6 0 0 20 0 1 0 47560340 235241472 51013 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 57432 51013 2849 2753 0 54085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229728 KiB
Current children cumulated memory: 204052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.06 5/258 265236
/proc/meminfo: memFree=127586884/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=247736 CPUtime=25.42 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60777 0 0 0 2534 8 0 0 20 0 1 0 47560340 279662592 61934 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 61934 2849 2753 0 64930 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 247736 KiB

[startup+51.1051 s]
/proc/loadavg: 4.17 4.15 4.06 5/258 265240
/proc/meminfo: memFree=127586316/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=247736 CPUtime=50.96 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60810 0 0 0 5088 8 0 0 20 0 1 0 47560340 279662592 61934 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 61934 2849 2753 0 64930 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 247736 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.07 5/255 265250
/proc/meminfo: memFree=127584860/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=247900 CPUtime=102.03 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60838 0 0 0 10195 8 0 0 20 0 1 0 47560340 279662592 61975 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 61975 2849 2753 0 64930 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 247900 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/255 265261
/proc/meminfo: memFree=127583704/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=247900 CPUtime=161.89 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60887 0 0 0 16180 9 0 0 20 0 1 0 47560340 279662592 61975 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 61975 2849 2753 0 64930 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 247900 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/255 265272
/proc/meminfo: memFree=127581388/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=248148 CPUtime=221.74 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60917 0 0 0 22165 9 0 0 20 0 1 0 47560340 279662592 62037 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 62037 2849 2753 0 64930 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 248148 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 265283
/proc/meminfo: memFree=127575904/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=253232 CPUtime=281.59 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 60976 0 0 0 28150 9 0 0 20 0 1 0 47560340 279662592 63308 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 63308 2849 2753 0 64930 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 253232 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/255 265293
/proc/meminfo: memFree=127572456/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=273108 memory=256008 CPUtime=341.45 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 61052 0 0 0 34136 9 0 0 20 0 1 0 47560340 279662592 64002 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 68277 64002 2849 2753 0 64930 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 273108 KiB
Current children cumulated memory: 256008 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/259 265310
/proc/meminfo: memFree=127558164/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=276448 memory=269084 CPUtime=401.31 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 61249 0 0 0 40122 9 0 0 20 0 1 0 47560340 283082752 67271 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 69112 67271 2849 2753 0 65765 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 276448 KiB
Current children cumulated memory: 269084 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/259 265321
/proc/meminfo: memFree=127555676/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=282184 memory=270968 CPUtime=461.17 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 67458 0 0 0 46108 9 0 0 20 0 1 0 47560340 288956416 67742 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0

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

/proc/loadavg: 4.24 4.23 4.14 5/258 267022
/proc/meminfo: memFree=127361536/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3216.08 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105218 0 0 0 319599 2009 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3216.08 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/258 267033
/proc/meminfo: memFree=127360544/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3275.98 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105227 0 0 0 325488 2110 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3275.98 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/256 267044
/proc/meminfo: memFree=127359724/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3335.89 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105236 0 0 0 331374 2215 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3335.89 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/258 267058
/proc/meminfo: memFree=127358964/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3395.81 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105245 0 0 0 337283 2298 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3395.81 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/258 267069
/proc/meminfo: memFree=127358256/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3455.72 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105254 0 0 0 343194 2378 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3455.72 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/257 267080
/proc/meminfo: memFree=127357640/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3515.63 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 349112 2451 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3515.63 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

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

# cumulated CPU time of all completed processes:  user=3532.94 s, system=25.0729 s

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

[startup+3532.8 s]
/proc/loadavg: 4.09 4.15 4.13 5/257 267082
/proc/meminfo: memFree=127357452/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3526.12 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 350147 2465 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3526.12 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.16 4.13 5/257 267083
/proc/meminfo: memFree=127357444/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3538.9 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 351410 2480 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3538.9 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.15 4.13 5/257 267086
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3551.68 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 352671 2497 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3551.68 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.15 4.13 5/257 267088
/proc/meminfo: memFree=127357072/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3554.87 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 352986 2501 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3554.87 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3563.2 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127356992/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3556.46 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 353142 2504 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3556.46 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3564 s]*
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3557.27 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 353222 2505 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3557.27 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3564.4 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3557.67 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 353261 2506 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3557.67 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3564.6 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3557.86 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 353280 2506 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3557.86 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

[startup+3564.7 s]
/proc/loadavg: 4.10 4.15 4.12 5/257 267088
/proc/meminfo: memFree=127357040/131524600 swapFree=131071996/131071996
[pid=265137] ppid=265134 vsize=435160 memory=429600 CPUtime=3557.96 cores=5,7
/proc/265137/stat : 265137 (LS-MabSP) R 265134 265137 262595 0 -1 4194304 105263 0 0 0 353290 2506 0 0 20 0 1 0 47560340 445603840 107400 134679101440 4194304 15467897 140721545350320 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51507200 140721545352223 140721545352325 140721545352325 140721545359341 0
/proc/265137/statm: 108790 107400 2849 2753 0 105443 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 435160 KiB
Current children cumulated memory: 429600 KiB

Child status: 0

Real time (s): 3564.73
CPU time (s): 3558.01
CPU user time (s): 3532.94
CPU system time (s): 25.0729
CPU usage (%): 99.8114
Max. virtual memory (cumulated for all children) (KiB): 447416
Max. memory (cumulated for all children) (KiB): 437904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.94
system time used= 25.0729
maximum resident set size= 437904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 1292


# summary of solver processes directly reported to runsolver:
#   pid: 265137
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3532.94
#   total CPU system time (s): 25.0729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06412 second user time and 12.2345 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-08-05 00:14:07
IDJOB=4427897
IDBENCH=148194
IDSOLVER=3047
FILE ID=nodeC014/4427897-1722809647
RUNJOBID= nodeC014-1722806084-262608
SLURM_JOB_ID= 8258555
Free space on /tmp= 890048 MiB

SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427897-1722809647/watcher-4427897-1722809647 -o /tmp/evaluation-result-4427897-1722809647/solver-4427897-1722809647 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722806084-262608 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427897-1722809647.opb -t 3558 -s 893628007

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=893628007

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127992088 kB
MemAvailable:   129792560 kB
Buffers:          306604 kB
Cached:          2326340 kB
SwapCached:            0 kB
Active:           705640 kB
Inactive:        2303640 kB
Active(anon):       1528 kB
Inactive(anon):   404004 kB
Active(file):     704112 kB
Inactive(file):  1899636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32688 kB
Writeback:            52 kB
AnonPages:        375968 kB
Mapped:           120648 kB
Shmem:             29528 kB
KReclaimable:      72740 kB
Slab:             163176 kB
SReclaimable:      72740 kB
SUnreclaim:        90436 kB
KernelStack:        4112 kB
PageTables:        10040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     743724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            24672 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295636 kB
DirectMap2M:    21497856 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC014 at 2024-08-05 01:13:32