Trace number 4497784

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
NuPBO-DeepOptS+ 2025-06-02SAT (TO)20 3600.11 3608.81

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 benchmark57.5933
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 

2.09/2.14	c Filename:instance-4497784-1751415385.opb, Cutoff_time:3600, memory_limit_gb:500000
2.09/2.14	c Scip time: 1800
2.09/2.14	c Use Presolve
2.09/2.14	c Parse finsih
2.09/2.14	c Start Presolve
2.09/2.14	c After Reduce Vars: 8895 Clauses: 33075 Top clause weight: 786 Hard Clauses: 32290
3600.09/3608.80	c Use LS-small
3600.09/3608.80	c Use postsolve
3600.09/3608.80	o 23
3600.09/3608.80	c Use postsolve
3600.09/3608.80	o 22
3600.09/3608.80	c Use postsolve
3600.09/3608.80	o 21
3600.09/3608.80	c Use postsolve
3600.09/3608.80	o 20
3600.09/3608.80	s SATISFIABLE
3600.09/3608.80	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
3600.09/3608.80	v -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
3600.09/3608.80	c Use postsolve
3600.09/3608.80	c Done 1895.04s

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: 63708 MiB (62533 MiB free)
  memory of node 1: 64465 MiB (63635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497784-1751415385/watcher-4497784-1751415385 -o /tmp/evaluation-result-4497784-1751415385/solver-4497784-1751415385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751415385-61507 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4497784-1751415385.opb -t 3600 -s 1039608800 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61557, runsolver pid=61547

[startup+0.100057 s]*
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=129175408/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=23820 memory=9244 CPUtime=0.1 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 1863 0 0 0 10 0 0 0 20 0 1 0 57217982 24391680 2311 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 5955 2311 1088 2752 0 2608 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23820 KiB
Current children cumulated memory: 9244 KiB

[startup+0.205122 s]*
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=129151720/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=41164 memory=25780 CPUtime=0.2 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 6614 0 0 0 19 1 0 0 20 0 1 0 57217982 42151936 6445 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 10291 6445 1152 2752 0 6944 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 25780 KiB

[startup+0.305669 s]*
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=129119716/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=41164 memory=25780 CPUtime=0.3 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 6614 0 0 0 29 1 0 0 20 0 1 0 57217982 42151936 6445 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 10291 6445 1152 2752 0 6944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 25780 KiB

[startup+0.700173 s]
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=128983132/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=41164 memory=25780 CPUtime=0.69 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 6614 0 0 0 68 1 0 0 20 0 1 0 57217982 42151936 6445 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 10291 6445 1152 2752 0 6944 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 25780 KiB

[startup+1.50012 s]
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=128741464/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=175020 memory=160972 CPUtime=1.49 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 39533 0 0 0 143 6 0 0 20 0 1 0 57217982 179220480 40243 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 43755 40243 2752 2752 0 40408 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 175020 KiB
Current children cumulated memory: 160972 KiB

[startup+3.10498 s]
/proc/loadavg: 0.75 0.98 1.15 6/266 61566
/proc/meminfo: memFree=128492528/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=255216 memory=240436 CPUtime=3.09 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 60473 0 0 0 300 9 0 0 20 0 1 0 57217982 261341184 60109 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 63804 60109 2848 2752 0 60457 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 240436 KiB

[startup+6.30012 s]
/proc/loadavg: 1.01 1.03 1.16 6/266 61566
/proc/meminfo: memFree=128459708/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=267536 memory=249652 CPUtime=6.27 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 63439 0 0 0 618 9 0 0 20 0 1 0 57217982 273956864 62413 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 66884 62413 2848 2752 0 63537 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 267536 KiB
Current children cumulated memory: 249652 KiB

[startup+12.7001 s]
/proc/loadavg: 1.25 1.08 1.18 6/266 61566
/proc/meminfo: memFree=128367276/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=320220 memory=281396 CPUtime=12.65 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 71611 0 0 0 1254 11 0 0 20 0 1 0 57217982 327905280 70349 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 80055 70349 2848 2752 0 76708 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 320220 KiB
Current children cumulated memory: 281396 KiB

[startup+25.5001 s]
/proc/loadavg: 1.93 1.24 1.23 6/266 61566
/proc/meminfo: memFree=128314252/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=325072 memory=286644 CPUtime=25.41 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 72971 0 0 0 2530 11 0 0 20 0 1 0 57217982 332873728 71661 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 81268 71661 2848 2752 0 77921 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 325072 KiB
Current children cumulated memory: 286644 KiB

[startup+51.105 s]
/proc/loadavg: 2.72 1.48 1.31 6/266 61567
/proc/meminfo: memFree=128311628/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=330356 memory=292148 CPUtime=50.93 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 74381 0 0 0 5082 11 0 0 20 0 1 0 57217982 338284544 73037 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 82589 73037 2848 2752 0 79242 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 330356 KiB
Current children cumulated memory: 292148 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.90 1.46 6/264 61569
/proc/meminfo: memFree=128246092/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=354740 CPUtime=101.97 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90057 0 0 0 10183 14 0 0 20 0 1 0 57217982 402616320 88685 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 88685 2848 2752 0 94948 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 354740 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.30 1.63 6/264 61571
/proc/meminfo: memFree=128198032/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=358196 CPUtime=161.79 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90095 0 0 0 16165 14 0 0 20 0 1 0 57217982 402616320 89549 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 89549 2848 2752 0 94948 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 358196 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 2.66 1.80 6/264 61573
/proc/meminfo: memFree=128199608/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=359604 CPUtime=221.63 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90171 0 0 0 22149 14 0 0 20 0 1 0 57217982 402616320 89901 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 89901 2848 2752 0 94948 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 359604 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.92 1.94 6/265 61578
/proc/meminfo: memFree=128176100/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=376372 CPUtime=281.47 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90265 0 0 0 28133 14 0 0 20 0 1 0 57217982 402616320 94093 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 94093 2848 2752 0 94948 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 376372 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.13 2.08 6/263 61584
/proc/meminfo: memFree=128123364/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=384436 CPUtime=341.32 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90413 0 0 0 34118 14 0 0 20 0 1 0 57217982 402616320 96109 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 96109 2848 2752 0 94948 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 384436 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.32 2.21 6/263 61586
/proc/meminfo: memFree=128103452/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=384436 CPUtime=401.15 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90565 0 0 0 40100 15 0 0 20 0 1 0 57217982 402616320 96109 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 96109 2848 2752 0 94948 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 393180 KiB
Current children cumulated memory: 384436 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.47 2.33 6/264 61589
/proc/meminfo: memFree=128092012/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=393180 memory=384436 CPUtime=460.97 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 90566 0 0 0 46082 15 0 0 20 0 1 0 57217982 402616320 96109 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 98295 96109 2848 2752 0 94948 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 458224 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.02 6/266 61723
/proc/meminfo: memFree=127291028/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=2855.09 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112447 0 0 0 285488 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 2855.09 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.02 6/266 61725
/proc/meminfo: memFree=127290696/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=2914.97 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112459 0 0 0 291476 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 2914.97 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.02 6/265 61727
/proc/meminfo: memFree=127290428/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=2974.84 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112459 0 0 0 297463 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.02 6/263 61729
/proc/meminfo: memFree=127290420/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3034.72 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112459 0 0 0 303451 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.02 6/263 61731
/proc/meminfo: memFree=127291176/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3094.6 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112459 0 0 0 309439 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.03 6/263 61733
/proc/meminfo: memFree=127290740/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3154.48 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112471 0 0 0 315427 21 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.03 6/264 61735
/proc/meminfo: memFree=127290892/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3214.37 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112471 0 0 0 321415 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/265 61741
/proc/meminfo: memFree=127290188/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3274.25 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112471 0 0 0 327403 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.03 6/265 61747
/proc/meminfo: memFree=127290436/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3334.13 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112471 0 0 0 333391 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.03 6/265 61749
/proc/meminfo: memFree=127290620/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3394.01 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112483 0 0 0 339379 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.04 6/265 61751
/proc/meminfo: memFree=127290988/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3453.89 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112483 0 0 0 345367 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/266 61755
/proc/meminfo: memFree=127291140/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3513.76 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112483 0 0 0 351354 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.05 6/266 61757
/proc/meminfo: memFree=127291084/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3573.64 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112483 0 0 0 357342 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3573.64 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.10 4.11 4.04 6/266 61759
/proc/meminfo: memFree=127291208/131250000 swapFree=33009904/33010684
[pid=61557] ppid=61547 vsize=466888 memory=458224 CPUtime=3600.09 cores=4,6
/proc/61557/stat : 61557 (NuPBO-DeepOptS+) R 61547 61557 60643 0 -1 4194304 112495 0 0 0 359987 22 0 0 20 0 1 0 57217982 478093312 114556 18446744073709551615 4198400 15468185 140732358752144 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53374976 140732358760854 140732358760964 140732358760964 140732358766566 0
/proc/61557/statm: 116722 114556 2848 2752 0 113375 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 466888 KiB
Current children cumulated memory: 458224 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.81 s]
# the end of solver process 61557 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.88 s, system=0.226943 s

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

Child status: 10

Real time (s): 3608.81
CPU time (s): 3600.11
CPU user time (s): 3599.88
CPU system time (s): 0.226943
CPU usage (%): 99.7589
Max. virtual memory (cumulated for all children) (KiB): 471512
Max. memory (cumulated for all children) (KiB): 458224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.226943
maximum resident set size= 458352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112582
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= 30
involuntary context switches= 1178


# summary of solver processes directly reported to runsolver:
#   pid: 61557
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.88
#   total CPU system time (s): 0.226943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92437 second user time and 11.8689 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-02 02:16:25
IDJOB=4497784
IDBENCH=148193
IDSOLVER=3343
FILE ID=nodeC033/4497784-1751415385
RUNJOBID= nodeC033-1751415385-61507
SLURM_JOB_ID= 9598313
Free space on /tmp= 431944 MiB

SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497784-1751415385/watcher-4497784-1751415385 -o /tmp/evaluation-result-4497784-1751415385/solver-4497784-1751415385 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751415385-61507 --watchdog 3760  ./NuPBO-DeepOptS+ -f HOME/instance-4497784-1751415385.opb -t 3600 -s 1039608800

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

MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7
RANDOM SEED=1039608800

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.837
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.438
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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.102
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3597.153
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3598.789
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3600.563
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.100
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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		: 3604.309
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129198628 kB
MemAvailable:   129743884 kB
Buffers:            2128 kB
Cached:          1342584 kB
SwapCached:           68 kB
Active:           315440 kB
Inactive:        1092320 kB
Active(anon):      56588 kB
Inactive(anon):    24488 kB
Active(file):     258852 kB
Inactive(file):  1067832 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66096 kB
Writeback:             0 kB
AnonPages:         66068 kB
Mapped:           103988 kB
Shmem:             18028 kB
KReclaimable:     115624 kB
Slab:             204584 kB
SReclaimable:     115624 kB
SUnreclaim:        88960 kB
KernelStack:        3968 kB
PageTables:         2552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431880 MiB
End job on nodeC033 at 2025-07-02 03:16:35