Trace number 4428702

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-MabP 2024-07-10SAT20 3558.02 3565.5

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMa7d8f923a6cdb36d5c6f2d05cbd48ec7
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 benchmark19
Best CPU time to get the best result obtained on this benchmark263.345
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
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 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
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-4428702-1722806084.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.10/0.13	c Parse finsih
0.10/0.15	c Start Presolve
0.69/0.79	c After Reduce Vars: 8895 Clauses: 33075 Top clause weight: 786 Hard Clauses: 32290
0.79/0.81	c Use LS-small
0.79/0.85	c Use postsolve
0.79/0.86	o 30
1.79/1.84	c Use postsolve
1.79/1.85	o 29
1.89/1.99	c Use postsolve
1.89/2.00	o 28
3.28/3.35	c Use postsolve
3.28/3.35	o 27
3.28/3.36	c Use postsolve
3.28/3.36	o 26
3.28/3.37	c Use postsolve
3.28/3.37	o 25
7.58/7.63	c Use postsolve
7.58/7.64	o 24
8.87/8.95	c Use postsolve
8.87/8.95	o 23
16.96/17.05	c Use postsolve
16.96/17.05	o 22
17.55/17.68	c Use postsolve
17.55/17.69	o 21
70.34/70.50	c Use postsolve
70.34/70.51	o 20
3557.91/3565.49	s SATISFIABLE
3557.91/3565.49	c Use postsolve
3557.91/3565.49	v x1 x362 x699 x862 x1196 -x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 -x14 -x1698 -x17 -x1725 -x20 -x1752 x23 -x1779 x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 x50 -x2049 -x53 -x2076 -x56 -x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 x70 -x2238 -x73 -x2265 -x76 -x2292 -x79 -x2319 -x82 -x2346 -x85 -x2373 x88 -x2400 -x2427 -x2429 -x2441 -x2443 -x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 -x2525 -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 -x2639 -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 -x2763 -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 -x2887 -x2889 -x2901 -x2903 -x2915 -x2917 -x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 -x3001 -x3013 -x3015 -x3027 -x3029 -x3041 -x3043 -x3055 -x3057 -x3069 -x3071 -x3083 -x3085 -x3097 -x3099 -x3111 -x3113 -x3125 -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 -x3181 -x3183 -x3195 -x3197 -x3209 -x3214 -x3219 -x3224 -x3229 -x3234 -x3239 -x3244 -x3249 -x3254 -x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 -x3319 -x3324 x3329 x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 -x3404 -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 -x3479 -x3484 -x3489 -x3494 -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 -x3733 -x3791 -x3849 -x3907 -x3965 -x4023 -x4050 -x4077 x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 -x4320 -x4347 -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 -x416 -x4536 -x419 -x4563 -x4590 x424 -x4617 -x4644 -x429 -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 -x4857 -x4869 -x4871 -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 -x4951 -x4953 -x4965 -x4977 -x4979 -x4991 -x4993 -x5005 -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 -x5113 -x5115 -x5127 -x5129 -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 -x5249 -x5251 -x5263 -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 -x5373 -x5375 -x5387 -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 -x5473 -x5485 -x5487 -x5499 -x5501 -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 -x5576 -x5581 -x5586 -x5591 -x5596 -x5601 -x5606 -x5611 x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 -x5676 -x5681 -x5686 -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 -x5761 -x5766 -x5771 -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 -x5841 -x5846 -x5851 -x5856 -x5861 -x5866 -x5871 -x5876 -x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 -x712 -x6094 -x715 -x6106 -x718 -x6118 -x721 -x6130 -x6142 -x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 -x738 -x6214 -x741 -x6226 x744 -x6238 -x6250 -x6262 -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 -x6348 -x6350 -x6355 -x6357 -x6362 -x6364 -x6369 -x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 x6404 x6406 -x6411 -x6413 -x6418 -x6420 -x6425 -x6427 -x6432 -x6434 -x6439 -x6441 -x6446 -x6448 -x6453 -x6455 -x6460 -x6462 -x6467 -x6469 -x6474 -x6476 -x6481 -x6483 -x6488 -x6493 -x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 -x6537 -x6542 -x6544 -x6549 -x6551 -x6556 -x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 -x6969 -x7027 -x7054 -x7081 -x7108 -x7135 -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 -x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 -x7513 -x7540 -x7567 -x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 -x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 -x7811 -x7823 -x7825 -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 -x7955 -x7967 -x7969 -x7981 -x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 -x8079 -x8091 -x8093 -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 -x8201 -x8203 -x8215 -x8217 -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 -x8313 -x8315 -x8327 -x8329 -x8341 -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 -x8453 -x8465 -x8467 -x8479 -x8481 -x8493 -x8495 -x8507 -x8509 -x8521 -x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 -x8569 -x8574 -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 -x8654 -x8659 -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 x8804 x8809 -x8814 -x8819 -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8896 -x8898 -x8900 -x1202 -x1204 -x1205 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x33 -x34 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x68 -x69 -x71 -x72 -x74 -x75 -x77 -x78 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 x294 x293 x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x459 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x476 -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 -x502 -x503 -x504 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 -x521 -x520 -x522 -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 -x540 -x542 -x544 -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 x619 x620 -x622 -x621 -x623 -x625 -x624 -x626 -x628 -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 -x666 -x668 -x670 -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x707 -x708 -x709 -x710 -x711 -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 x795 x794 x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x822 -x821 -x823 -x825 -x824 -x826 -x828 -x827 -x829 -x830 -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 -x860 -x859 -x861 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891 -x892 -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x972 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 -x1000 -x1001 -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 -x1017 -x1019 -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033 -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 -x1068 -x1070 -x1072 -x1071 -x1073 -x1075 -x1074 -x1076 -x1078 -x1077 -x1079 -x1081 -x1080 -x1082 -x1084 -x1083 -x1085 -x1087 -x1086 -x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101 -x1103 -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120 -x1119 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136 -x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 x1170 x1169 x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 -x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188 -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x1201 -x1203 x1206 -x1197 -x1198 -x1199 -x1200 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -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 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2470 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2484 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2554 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2610 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2624 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2652 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2680 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2750 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2764 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2778 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2806 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2874 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2888 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2930 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2972 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x3000 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3014 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3028 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3098 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3182 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3196 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3215 -x3216 -x3217 -x3218 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227 -x3228 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3240 -x3241 -x3242 -x3243 -x3245 -x3246 -x3247 -x3248 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 x3275 x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3295 -x3296 -x3297 -x3298 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3315 -x3316 -x3317 -x3318 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 x3330 -x3331 x3332 -x3333 x3335 -x3336 x3337 -x3338 -x3340 -x3341 -x3342 -x3343 -x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 -x3395 -x3396 -x3397 -x3398 x3400 -x3401 -x3402 x3403 x3405 -x3406 x3407 -x3408 x3410 -x3411 -x3412 x3413 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3435 -x3436 -x3437 -x3438 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 -x3480 -x3481 -x3482 -x3483 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3495 -x3496 -x3497 -x3498 x3500 -x3501 x3502 -x3503 x3505 -x3506 -x3507 x3508 x3510 -x3511 x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 -x3537 -x3538 -x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548 x3550 x3551 -x3552 -x3553 -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 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 x4078 -x4079 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4830 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4870 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4938 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5114 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5142 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5182 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5222 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5292 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5320 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5334 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5388 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5402 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5472 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5486 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5514 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5562 -x5563 -x5564 -x5565 -x5567 -x5568 -x5569 -x5570 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5582 -x5583 -x5584 -x5585 x5587 -x5588 x5589 -x5590 -x5592 -x5593 -x5594 -x5595 -x5597 -x5598 -x5599 -x5600 -x5602 -x5603 -x5604 -x5605 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 x5617 -x5618 -x5619 x5620 -x5622 -x5623 -x5624 -x5625 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 x5642 -x5643 x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5652 -x5653 -x5654 -x5655 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 x5702 -x5703 x5704 -x5705 x5707 -x5708 -x5709 x5710 -x5712 -x5713 -x5714 -x5715 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5727 -x5728 -x5729 -x5730 x5732 -x5733 x5734 -x5735 -x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5752 -x5753 -x5754 -x5755 -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 x5782 x5783 -x5784 -x5785 x5787 -x5788 -x5789 x5790 -x5792 -x5793 -x5794 -x5795 -x5797 -x5798 -x5799 -x5800 -x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 -x5812 -x5813 -x5814 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 x5827 -x5828 x5829 -x5830 -x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 -x5840 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5858 -x5859 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 x6191 -x6192 -x6193 -x6194 -x6195 x6196 -x6197 -x6198 -x6199 -x6200 -x6201 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6323 -x6324 -x6325 -x6326 -x6328 x6330 -x6331 -x6332 x6333 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6344 -x6345 -x6346 -x6347 x6349 x6351 x6352 -x6353 -x6354 x6356 x6358 -x6359 -x6360 x6361 -x6363 -x6365 -x6366 -x6367 -x6368 -x6370 -x6372 -x6373 -x6374 -x6375 x6377 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 -x6389 -x6391 -x6393 -x6394 -x6395 -x6396 -x6398 -x6400 -x6401 -x6402 -x6403 x6405 x6407 -x6408 -x6409 x6410 -x6412 -x6414 -x6415 -x6416 -x6417 -x6419 -x6421 -x6422 -x6423 -x6424 x6426 x6428 -x6429 -x6430 -x6431 -x6433 -x6435 -x6436 -x6437 -x6438 -x6440 -x6442 -x6443 -x6444 -x6445 x6447 x6449 -x6450 -x6451 -x6452 -x6454 -x6456 -x6457 -x6458 -x6459 -x6461 -x6463 -x6464 -x6465 -x6466 x6468 x6470 -x6471 -x6472 -x6473 x6475 -x6477 -x6478 -x6479 -x6480 x6482 -x6484 -x6485 -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 x6494 -x6496 -x6497 -x6498 -x6499 x6501 -x6503 -x6504 -x6505 -x6506 x6508 x6510 -x6511 -x6512 -x6513 x6515 -x6517 -x6518 -x6519 -x6520 x6522 -x6524 -x6525 -x6526 -x6527 x6529 -x6531 -x6532 -x6533 -x6534 x6536 -x6538 -x6539 -x6540 -x6541 -x6543 -x6545 -x6546 -x6547 -x6548 -x6550 -x6552 -x6553 -x6554 -x6555 x6557 -x6559 -x6560 -x6561 -x6562 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 x7514 -x7515 -x7516 -x7517 x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7810 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7824 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 x7852 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 x7954 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 x7968 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 x7994 x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 x8008 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8022 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8064 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8078 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 x8092 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8146 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 x8160 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8188 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8202 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 x8216 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8230 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 x8244 x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 x8300 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8314 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 x8328 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 x8356 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 x8370 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 x8384 x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 x8398 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 x8424 x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8438 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8480 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8508 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8522 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8536 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586 -x8587 -x8588 -x8590 -x8591 -x8592 -x8593 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8610 -x8611 -x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 -x8626 -x8627 -x8628 x8630 -x8631 x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 x8645 -x8646 -x8647 x8648 -x8650 -x8651 -x8652 -x8653 -x8655 -x8656 -x8657 -x8658 x8660 -x8661 x8662 -x8663 x8665 -x8666 x8667 -x8668 -x8670 -x8671 -x8672 -x8673 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 x8690 -x8691 x8692 -x8693 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 -x8705 -x8706 -x8707 -x8708 x8710 -x8711 x8712 -x8713 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8725 -x8726 -x8727 -x8728 x8730 -x8731 x8732 -x8733 -x8735 -x8736 -x8737 -x8738 x8740 -x8741 x8742 -x8743 x8745 -x8746 -x8747 x8748 -x8750 -x8751 -x8752 -x8753 -x8755 -x8756 -x8757 -x8758 x8760 -x8761 x8762 -x8763 -x8765 -x8766 -x8767 -x8768 x8770 -x8771 -x8772 x8773 -x8775 -x8776 -x8777 -x8778 -x8780 -x8781 -x8782 -x8783 -x8785 -x8786 -x8787 -x8788 x8790 -x8791 x8792 -x8793 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801 -x8802 -x8803 x8805 -x8806 x8807 -x8808 x8810 -x8811 -x8812 x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 -x8825 -x8826 -x8827 -x8828 -x8830 -x8831 -x8832 -x8833 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8845 -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 -x8853 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8865 -x8866 -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 x8895 x8897 x8899 x8901 
3558.00/3565.50	c Done 70.35s

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428702-1722806084/watcher-4428702-1722806084 -o /tmp/evaluation-result-4428702-1722806084/solver-4428702-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722806084-261396 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428702-1722806084.opb -t 3558 -s 2019462709 --no-s 

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
solver pid=261456, runsolver pid=261453
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 0.08 0.08 0.09 5/258 261457
/proc/meminfo: memFree=121609552/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=23720 memory=11232 CPUtime=0.1 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 1857 0 0 0 10 0 0 0 20 0 1 0 47206379 24289280 2808 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 5930 2808 1073 2753 0 2583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23720 KiB
Current children cumulated memory: 11232 KiB

[startup+0.205241 s]*
/proc/loadavg: 0.08 0.08 0.09 5/258 261457
/proc/meminfo: memFree=121592844/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=41064 memory=27768 CPUtime=0.2 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 6702 0 0 0 20 0 0 0 20 0 1 0 47206379 42049536 6942 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 10266 6942 1105 2753 0 6919 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41064 KiB
Current children cumulated memory: 27768 KiB

[startup+0.305375 s]*
/proc/loadavg: 0.08 0.08 0.09 5/258 261457
/proc/meminfo: memFree=121592452/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=41064 memory=27768 CPUtime=0.3 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 6702 0 0 0 30 0 0 0 20 0 1 0 47206379 42049536 6942 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 10266 6942 1105 2753 0 6919 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41064 KiB
Current children cumulated memory: 27768 KiB

[startup+0.700164 s]
/proc/loadavg: 0.08 0.08 0.09 5/258 261457
/proc/meminfo: memFree=121592452/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=41064 memory=27768 CPUtime=0.69 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 6702 0 0 0 69 0 0 0 20 0 1 0 47206379 42049536 6942 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 10266 6942 1105 2753 0 6919 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41064 KiB
Current children cumulated memory: 27768 KiB

[startup+1.50015 s]
/proc/loadavg: 0.39 0.15 0.11 5/258 261457
/proc/meminfo: memFree=121582808/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37516 CPUtime=1.48 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 10779 0 0 0 147 1 0 0 20 0 1 0 47206379 51978240 9379 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9379 1153 2753 0 9343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37516 KiB

[startup+3.10542 s]
/proc/loadavg: 0.39 0.15 0.11 5/258 261457
/proc/meminfo: memFree=121558480/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=3.09 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 13115 0 0 0 306 3 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+6.30015 s]
/proc/loadavg: 0.68 0.21 0.13 5/258 261457
/proc/meminfo: memFree=121558528/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=6.28 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 16620 0 0 0 621 7 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+12.7001 s]
/proc/loadavg: 0.95 0.28 0.15 5/258 261459
/proc/meminfo: memFree=121558556/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=12.66 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 18957 0 0 0 1252 14 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+25.5001 s]
/proc/loadavg: 1.42 0.40 0.19 5/258 261460
/proc/meminfo: memFree=121557320/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=25.43 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 21294 0 0 0 2514 29 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+51.1049 s]
/proc/loadavg: 2.50 0.76 0.32 5/258 261465
/proc/meminfo: memFree=121556420/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=50.99 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 21294 0 0 0 5038 61 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 5/255 261473
/proc/meminfo: memFree=121555436/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=102.07 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22463 0 0 0 10085 122 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.79 0.75 5/255 261483
/proc/meminfo: memFree=121554740/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=161.94 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22463 0 0 0 15998 196 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.21 0.96 5/255 261495
/proc/meminfo: memFree=121552104/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=37584 CPUtime=221.82 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22463 0 0 0 21913 269 0 0 20 0 1 0 47206379 51978240 9396 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9396 1169 2753 0 9343 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 37584 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.55 1.16 5/255 261506
/proc/meminfo: memFree=121550416/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=281.68 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22508 0 0 0 27833 335 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 2.83 1.34 5/254 261516
/proc/meminfo: memFree=121549672/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=341.56 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22543 0 0 0 33743 413 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.08 1.52 5/256 261531
/proc/meminfo: memFree=121548880/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=401.43 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22566 0 0 0 39664 479 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.25 1.68 6/256 261541
/proc/meminfo: memFree=121548020/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=461.31 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 22578 0 0 0 45588 543 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0

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

/proc/loadavg: 4.08 4.18 4.09 5/256 263253
/proc/meminfo: memFree=121612468/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3215.53 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23112 0 0 0 317755 3798 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3215.53 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.16 4.09 5/258 263489
/proc/meminfo: memFree=121611640/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3275.4 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23123 0 0 0 323681 3859 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3275.4 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/258 263499
/proc/meminfo: memFree=121610896/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3335.28 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23135 0 0 0 329599 3929 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3335.28 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 263801
/proc/meminfo: memFree=121658344/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3395.15 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23146 0 0 0 335520 3995 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3395.15 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 263812
/proc/meminfo: memFree=121657624/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3455.03 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23157 0 0 0 341439 4064 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3455.03 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/259 263822
/proc/meminfo: memFree=121656748/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3514.9 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 347368 4122 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3514.9 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

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

# cumulated CPU time of all completed processes:  user=3516.37 s, system=41.6493 s

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

[startup+3532.8 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 263823
/proc/meminfo: memFree=121656608/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3525.37 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 348405 4132 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3525.37 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3545.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/257 263826
/proc/meminfo: memFree=121656188/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3538.15 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 349671 4144 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3538.15 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3550.92 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 350935 4157 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3550.92 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3554.12 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 351251 4161 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3554.12 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3563.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3555.71 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 351409 4162 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3555.71 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3557.31 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 351568 4163 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3557.31 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3565.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3557.71 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 351607 4164 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3565.4 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3557.91 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 23168 0 0 0 351627 4164 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

[startup+3565.5 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261456] ppid=261453 vsize=50760 memory=38076 CPUtime=3558 cores=5,7
/proc/261456/stat : 261456 (LS-MabP) R 261453 261456 261383 0 -1 4194304 24338 0 0 0 351636 4164 0 0 20 0 1 0 47206379 51978240 9519 134679101440 4194304 15467897 140731699987968 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 43163648 140731699995673 140731699995782 140731699995782 140731700002798 0
/proc/261456/statm: 12690 9519 1169 2753 0 9343 0
Current children cumulated CPU time: 3558 s
Current children cumulated vsize: 50760 KiB
Current children cumulated memory: 38076 KiB

Child status: 0

Real time (s): 3565.5
CPU time (s): 3558.02
CPU user time (s): 3516.37
CPU system time (s): 41.6493
CPU usage (%): 99.7901
Max. virtual memory (cumulated for all children) (KiB): 50760
Max. memory (cumulated for all children) (KiB): 38076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516.37
system time used= 41.6493
maximum resident set size= 42636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24340
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= 13
involuntary context switches= 1149


# summary of solver processes directly reported to runsolver:
#   pid: 261456
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3516.37
#   total CPU system time (s): 41.6493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29354 second user time and 11.8356 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-08-04 23:14:44
IDJOB=4428702
IDBENCH=148193
IDSOLVER=3049
FILE ID=nodeC020/4428702-1722806084
RUNJOBID= nodeC020-1722806084-261396
SLURM_JOB_ID= 8258571
Free space on /tmp= 890032 MiB

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

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=2019462709

nodeC020.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		: 3667.009
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.38
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		: 3685.086
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.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.211
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.38
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		: 3611.511
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.00
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		: 3654.659
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.38
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		: 3666.551
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.00
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		: 3667.913
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.38
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		: 3665.439
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.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121665804 kB
MemAvailable:   129740768 kB
Buffers:          303308 kB
Cached:          8589744 kB
SwapCached:           28 kB
Active:           530112 kB
Inactive:        8781644 kB
Active(anon):       1808 kB
Inactive(anon):   446048 kB
Active(file):     528304 kB
Inactive(file):  8335596 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             68968 kB
Writeback:             0 kB
AnonPages:        416384 kB
Mapped:           110936 kB
Shmem:             29476 kB
KReclaimable:     101420 kB
Slab:             190452 kB
SReclaimable:     101420 kB
SUnreclaim:        89032 kB
KernelStack:        4116 kB
PageTables:        10272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     795300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      287444 kB
DirectMap2M:    27797504 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC020 at 2024-08-05 00:14:10