Trace number 4507421

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 NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1SAT 506.917 508.484

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
MD5SUM433935bc469f703143ab8083d95aeb05
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.08246
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

61.29/61.58	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507421-1751180683.opb
61.29/61.58	c Solving mode: decision
61.29/61.58	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
61.29/61.58	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
61.29/61.58	c original problem has 6936 variables (6936 bin, 0 int, 0 impl, 0 cont) and 7142 constraints
61.29/61.58	c presolving:
61.29/61.58	c (round 1, fast)       148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1387 clqs
61.29/61.58	c (round 2, fast)       392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1374 clqs
61.29/61.58	c (round 3, fast)       506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1379 clqs
61.29/61.58	c (round 4, fast)       570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1405 clqs
61.29/61.58	c (round 5, fast)       581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1420 clqs
61.29/61.58	c (round 6, exhaustive) 583 del vars, 405 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1423 clqs
61.29/61.58	c (round 7, exhaustive) 583 del vars, 405 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6737 upgd conss, 0 impls, 1423 clqs
61.29/61.58	c (round 8, exhaustive) 648 del vars, 405 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6737 upgd conss, 0 impls, 1410 clqs
61.29/61.58	c (round 9, fast)       713 del vars, 470 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6737 upgd conss, 0 impls, 1410 clqs
61.29/61.58	c (round 10, exhaustive) 739 del vars, 471 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6737 upgd conss, 0 impls, 40748 clqs
61.29/61.58	c (round 11, fast)       739 del vars, 497 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 130 chg coeffs, 6737 upgd conss, 0 impls, 40767 clqs
61.29/61.58	c (round 12, exhaustive) 764 del vars, 497 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 130 chg coeffs, 6737 upgd conss, 0 impls, 41372 clqs
61.29/61.58	c (round 13, fast)       764 del vars, 522 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 185 chg coeffs, 6737 upgd conss, 0 impls, 41379 clqs
61.29/61.58	c (round 14, exhaustive) 790 del vars, 522 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 185 chg coeffs, 6737 upgd conss, 0 impls, 41364 clqs
61.29/61.58	c (round 15, fast)       791 del vars, 548 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 242 chg coeffs, 6737 upgd conss, 0 impls, 41370 clqs
61.29/61.58	c (round 16, exhaustive) 818 del vars, 548 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 242 chg coeffs, 6737 upgd conss, 0 impls, 41369 clqs
61.29/61.58	c (round 17, fast)       818 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 290 chg coeffs, 6737 upgd conss, 0 impls, 41377 clqs
61.29/61.58	c (round 18, exhaustive) 843 del vars, 575 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 290 chg coeffs, 6737 upgd conss, 0 impls, 41336 clqs
61.29/61.58	c (round 19, fast)       843 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 299 chg coeffs, 6737 upgd conss, 0 impls, 41336 clqs
61.29/61.58	c (round 20, exhaustive) 868 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 299 chg coeffs, 6737 upgd conss, 0 impls, 41263 clqs
61.29/61.58	c (round 21, fast)       868 del vars, 625 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 307 chg coeffs, 6737 upgd conss, 0 impls, 41263 clqs
61.29/61.58	c (round 22, exhaustive) 893 del vars, 625 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 307 chg coeffs, 6737 upgd conss, 0 impls, 41131 clqs
61.29/61.58	c (round 23, fast)       893 del vars, 650 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 313 chg coeffs, 6737 upgd conss, 0 impls, 41131 clqs
61.29/61.58	c (round 24, exhaustive) 918 del vars, 650 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 313 chg coeffs, 6737 upgd conss, 0 impls, 41071 clqs
61.29/61.58	c (round 25, fast)       918 del vars, 675 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 6737 upgd conss, 0 impls, 41071 clqs
61.29/61.58	c (round 26, exhaustive) 943 del vars, 675 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 6737 upgd conss, 0 impls, 40949 clqs
61.29/61.58	c (round 27, fast)       943 del vars, 700 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 330 chg coeffs, 6737 upgd conss, 0 impls, 40949 clqs
61.29/61.58	c    (2.1s) probing: 1000/6509 (15.4%) - 250 fixings, 1 aggregations, 591532 implications, 0 bound changes
61.29/61.58	c (round 28, exhaustive) 968 del vars, 700 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 330 chg coeffs, 6737 upgd conss, 0 impls, 41400 clqs
61.29/61.58	c (round 29, fast)       968 del vars, 725 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 345 chg coeffs, 6737 upgd conss, 0 impls, 41400 clqs
61.29/61.58	c (round 30, exhaustive) 993 del vars, 725 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 345 chg coeffs, 6737 upgd conss, 0 impls, 41445 clqs
61.29/61.58	c (round 31, fast)       993 del vars, 750 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 371 chg coeffs, 6737 upgd conss, 0 impls, 41445 clqs
61.29/61.58	c    (3.3s) probing: 2000/6509 (30.7%) - 281 fixings, 1 aggregations, 1138993 implications, 0 bound changes
61.29/61.58	c    (4.3s) probing: 3000/6509 (46.1%) - 290 fixings, 1 aggregations, 1605828 implications, 0 bound changes
61.29/61.58	c (round 32, exhaustive) 1018 del vars, 750 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 371 chg coeffs, 6737 upgd conss, 0 impls, 41398 clqs
61.29/61.58	c (round 33, fast)       1018 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 421 chg coeffs, 6737 upgd conss, 0 impls, 41401 clqs
61.29/61.58	c    (5.3s) probing: 4000/6509 (61.5%) - 317 fixings, 1 aggregations, 2016399 implications, 0 bound changes
61.29/61.58	c    (6.2s) probing: 5000/6509 (76.8%) - 320 fixings, 1 aggregations, 2429521 implications, 0 bound changes
61.29/61.58	c    (6.7s) probing: 5536/6509 (85.1%) - 320 fixings, 1 aggregations, 2636434 implications, 0 bound changes
61.29/61.58	c    (6.7s) probing aborted: 1000/1000 successive useless probings
61.29/61.58	c (round 34, exhaustive) 1036 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 421 chg coeffs, 6737 upgd conss, 0 impls, 41468 clqs
61.29/61.58	c (round 35, fast)       1036 del vars, 793 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 450 chg coeffs, 6737 upgd conss, 0 impls, 41468 clqs
61.29/61.58	c    (6.9s) probing: 5636/6509 (86.6%) - 320 fixings, 1 aggregations, 2675763 implications, 0 bound changes
61.29/61.58	c    (6.9s) probing aborted: 1000/1000 successive useless probings
61.29/61.58	c    (6.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
61.29/61.58	c    (6.9s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
61.29/61.58	c dynamic symmetry handling statistics:
61.29/61.58	c    orbitopal reduction:       no components
61.29/61.58	c    orbital reduction:         no components
61.29/61.58	c    lexicographic reduction:    4 permutations with support sizes 192, 380, 192, 176
61.29/61.58	c handled 5 out of 5 symmetry components
61.29/61.58	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
61.29/61.58	c  1039 deleted vars, 793 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 450 changed coefficients
61.29/61.58	c  0 implications, 41542 cliques
61.29/61.58	c presolved problem has 6184 variables (6184 bin, 0 int, 0 impl, 0 cont) and 6352 constraints
61.29/61.58	c    1350 constraints of type <setppc>
61.29/61.58	c       3 constraints of type <orbitope>
61.29/61.58	c    4999 constraints of type <logicor>
61.29/61.58	c transformed objective value is always integral (scale: 1)
61.29/61.58	c Presolving Time: 6.89
61.29/61.58	c 
61.29/61.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
61.29/61.58	c  11.5s|     1 |     0 | 11459 |     - |   130M |   0 |6184 |6460 |6346 |   0 |  0 | 110 |   0 | 0.000000e+00 |      --      |    Inf | unknown
61.29/61.58	c  54.5s|     1 |     0 | 71622 |     - |   139M |   0 |6184 |6661 |6358 |  12 |  1 | 111 |   0 | 0.000000e+00 |      --      |    Inf | unknown
61.29/61.58	c  57.9s|     1 |     0 | 77729 |     - |   143M |   0 |6184 |6666 |6371 |  25 |  2 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  61.4s|     1 |     0 | 84009 |     - |   145M |   0 |6184 |6667 |6387 |  41 |  3 | 117 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  64.5s|     1 |     0 | 89008 |     - |   146M |   0 |6184 |6671 |6396 |  50 |  4 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  66.9s|     1 |     0 | 92712 |     - |   148M |   0 |6184 |6668 |6408 |  62 |  5 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  71.5s|     1 |     0 |100992 |     - |   149M |   0 |6184 |6671 |6426 |  80 |  6 | 128 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  74.5s|     1 |     0 |105810 |     - |   150M |   0 |6184 |6679 |6432 |  86 |  7 | 136 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  80.0s|     1 |     0 |115518 |     - |   152M |   0 |6184 |6689 |6449 | 103 |  8 | 146 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  85.1s|     1 |     0 |124091 |     - |   153M |   0 |6184 |6689 |6462 | 116 |  9 | 152 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  92.7s|     1 |     0 |135466 |     - |   154M |   0 |6184 |6694 |6477 | 131 | 10 | 162 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c  99.3s|     1 |     0 |145773 |     - |   156M |   0 |6184 |6704 |6494 | 148 | 11 | 172 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c   151s|     1 |     2 |193981 |     - |   158M |   0 |6184 |6666 |6494 | 148 | 11 | 197 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c   242s|   100 |    27 |394447 |2511.9 |   169M |  40 |6184 |6688 |6430 | 197 |  0 | 222 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.55/500.18	c   308s|   200 |    27 |569005 |2126.8 |   181M |  40 |6184 |6710 |6438 | 220 |  0 | 249 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
498.55/500.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
498.55/500.18	c   381s|   300 |    27 |769332 |2085.5 |   189M |  40 |6184 |6770 |6437 | 261 |  1 | 314 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
498.55/500.18	c 
498.55/500.18	c SCIP Status        : solving was interrupted [time limit reached]
498.55/500.18	c Solving Time (sec) : 500.00
498.55/500.18	c Solving Nodes      : 394
498.55/500.18	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.55/500.18	c Dual Bound         : +0.00000000000000e+00
498.55/500.18	c Gap                : infinite
498.55/500.18	c ----------------------------------------------------------------------
498.55/500.18	c dual bound: 0.0 -> 0
498.55/500.18	c primal bound: 1e+20 -> 100000000000000000000
498.55/500.18	c scip-goal-lb: 0
498.55/500.18	c scip-goal-ub: 100000000000000000000
498.55/500.18	c writing output to: HOME/tmpeb3yee9s.opb
498.55/500.18	c appending fixed variable constraints
498.55/500.18	c scip-fixed vars: 12.14% (751/6184)
498.55/500.18	c ----------------------------------------------------------------------
498.55/500.18	c executing external solver: HOME/naps-1.03a6
498.55/500.18	c ----------------------------------------------------------------------
498.55/500.18	c command: HOME/naps-1.03a6 HOME/tmpeb3yee9s.opb
498.55/500.19	c NaPS 1.03a6.
498.55/500.19	c Input file name: HOME/tmpeb3yee9s.opb
506.70/508.38	c _____________________________________________________________________________
506.70/508.38	c std/band forms        : 102,0
506.70/508.38	c 2cl/3cl ITE-codings   : 0,0
506.70/508.38	c BDD/srt/adr Max costs : 0,1410,0
506.70/508.38	c BDDraw/bin/mul/srt/adr: 0,0,0,102,0
506.70/508.38	c BDD nodes             : 0
506.70/508.38	c Es1/CC detections     : 0,0
506.70/508.38	c CC sort               : 102
506.70/508.38	c SAT/UNSAT calls       : 1,0
506.70/508.38	c regenrated variables  : 0
506.70/508.38	c eliminated fixed lits : 858
506.70/508.38	c goal lit flips        : 0
506.70/508.38	c goal stages           : 0
506.70/508.38	c goal shrink           : 0
506.70/508.38	c goal coeff separations: 0
506.70/508.38	c restarts              : 1171
506.70/508.38	c conflicts             : 92353          (11344 /sec)
506.70/508.38	c decisions             : 643792         (79080 /sec)
506.70/508.38	c propagations          : 54473454       (6691198 /sec)
506.70/508.38	c inspects              : 0              (0 /sec)
506.70/508.38	c CPU time (solving tm) : 8.141 s        (8.011 s, SAT 8.011 s, UNSAT 0 s)
506.70/508.38	c Time for Opt-base     : 0.001669 s
506.70/508.38	c Steps for Opt-base    : 0
506.70/508.38	c Time for BDD coding   : 0 s
506.70/508.38	c Time for srt coding   : 0.01396 s
506.70/508.38	c _____________________________________________________________________________
506.70/508.39	s SATISFIABLE
506.70/508.39	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 x300 -x301 x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -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 -x1555 -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 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -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 -x1671 -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 -x1698 -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 -x1725 -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 -x1752 -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 -x1779 -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 -x1806 -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 -x1833 -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 -x1860 -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 -x1887 -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 -x1914 -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 -x1941 -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 -x1968 -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 -x1995 -x1996 -x1997 -x1998 -x1999
506.70/508.39	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -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 -x2265 -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 -x2292 -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 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -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 -x3617 -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 -x3675 -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 -x3733 -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 -x3791 -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 -x3849 -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 -x3907 -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 -x3965 -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
506.70/508.39	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -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 -x4050 -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 -x4077 -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 -x4104 -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 -x4131 -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 -x4158 -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 -x4185 -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 -x4212 -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 -x4239 -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 -x4266 -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 -x4293 -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 -x4320 -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 -x4347 -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 -x4374 -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 -x4401 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 -x4428 -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 -x4455 -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 -x4482 -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 -x4509 -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 -x4536 -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 -x4563 -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 -x4590 -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 -x4617 -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 -x4644 -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 -x4671 -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 -x4698 -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 -x4725 -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 -x4752 -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 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 x4856 -x4857 x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 x5282 -x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -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 -x5908 -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 -x5935 -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 -x5962 -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 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999
506.70/508.39	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -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 -x6043 -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 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 x6480 -x6481 x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -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 -x6621 -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 -x6679 -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 -x6737 -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 -x6795 -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 -x6853 -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 -x6911 -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

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507421-1751180683/watcher-4507421-1751180683 -o /tmp/evaluation-result-4507421-1751180683/solver-4507421-1751180683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18688 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507421-1751180683.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=20261, runsolver pid=20258

[startup+0.100061 s]*
/proc/loadavg: 4.18 4.19 4.15 5/269 20266
/proc/meminfo: memFree=128988776/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1187348 memory=32420 CPUtime=0.07 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 3825 0 0 0 7 0 0 0 20 0 1 0 33746152 1215844352 8105 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 296837 8105 4905 1 0 268859 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191540 KiB
Current children cumulated memory: 35492 KiB

[startup+0.205548 s]*
/proc/loadavg: 4.18 4.19 4.15 5/269 20266
/proc/meminfo: memFree=128948456/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1228476 memory=80164 CPUtime=0.17 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 13077 0 0 0 15 2 0 0 20 0 1 0 33746152 1257959424 20041 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 307119 20041 7849 1 0 278477 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1232668 KiB
Current children cumulated memory: 83236 KiB

[startup+0.305516 s]*
/proc/loadavg: 4.18 4.19 4.15 5/269 20266
/proc/meminfo: memFree=128940772/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1240920 memory=92708 CPUtime=0.26 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 16203 0 0 0 24 2 0 0 20 0 1 0 33746152 1270702080 23177 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 310230 23177 7881 1 0 281588 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1245112 KiB
Current children cumulated memory: 95780 KiB

[startup+0.700214 s]
/proc/loadavg: 4.18 4.19 4.15 5/269 20266
/proc/meminfo: memFree=128915824/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1264988 memory=114212 CPUtime=0.66 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 21641 0 0 0 62 4 0 0 20 0 1 0 33746152 1295347712 28553 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 316247 28553 7913 1 0 287605 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1269180 KiB
Current children cumulated memory: 117284 KiB

[startup+1.50021 s]
/proc/loadavg: 4.18 4.19 4.15 5/269 20266
/proc/meminfo: memFree=128915824/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1264988 memory=114212 CPUtime=1.46 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 21647 0 0 0 142 4 0 0 20 0 1 0 33746152 1295347712 28553 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 316247 28553 7913 1 0 287605 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1269180 KiB
Current children cumulated memory: 117284 KiB

[startup+3.10548 s]
/proc/loadavg: 4.16 4.18 4.15 5/269 20266
/proc/meminfo: memFree=128916144/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1266204 memory=115876 CPUtime=3.06 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 22081 0 0 0 302 4 0 0 20 0 1 0 33746152 1296592896 28969 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 316551 28969 7913 1 0 287909 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1270396 KiB
Current children cumulated memory: 118948 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.18 4.15 5/269 20266
/proc/meminfo: memFree=128916648/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1266204 memory=116004 CPUtime=6.24 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 22098 0 0 0 620 4 0 0 20 0 1 0 33746152 1296592896 29001 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 316551 29001 7913 1 0 287909 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1270396 KiB
Current children cumulated memory: 119076 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.18 4.15 5/269 20266
/proc/meminfo: memFree=128860564/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1339904 memory=170820 CPUtime=12.63 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 35211 0 0 0 1257 6 0 0 20 0 1 0 33746152 1372061696 42705 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 334976 42705 8105 1 0 306334 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1344096 KiB
Current children cumulated memory: 173892 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.17 4.14 5/269 20266
/proc/meminfo: memFree=128871408/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1340036 memory=171332 CPUtime=25.39 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 35344 0 0 0 2533 6 0 0 20 0 1 0 33746152 1372196864 42833 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 335009 42833 8105 1 0 306367 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1344228 KiB
Current children cumulated memory: 174404 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.17 4.14 5/270 20269
/proc/meminfo: memFree=128803068/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1416536 memory=244540 CPUtime=50.93 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 52614 0 0 0 5084 9 0 0 20 0 1 0 33746152 1450532864 61135 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 354134 61135 8137 1 0 325492 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1420728 KiB
Current children cumulated memory: 247612 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/269 20272
/proc/meminfo: memFree=128793868/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423396 memory=253244 CPUtime=101.98 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 54777 0 0 0 10189 9 0 0 20 0 1 0 33746152 1457557504 63311 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355849 63311 8137 1 0 327207 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1427588 KiB
Current children cumulated memory: 256316 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 4.09 4.12 4/263 20311
/proc/meminfo: memFree=129301868/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=254684 CPUtime=161.81 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 62856 0 0 0 16170 11 0 0 20 0 1 0 33746152 1457627136 63671 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63671 8137 1 0 327224 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 257756 KiB

[startup+222.3 s]
/proc/loadavg: 3.36 3.91 4.05 4/263 20313
/proc/meminfo: memFree=129314072/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=254684 CPUtime=221.63 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64019 0 0 0 22151 12 0 0 20 0 1 0 33746152 1457627136 63671 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63671 8137 1 0 327224 0
Current children cumulated CPU time: 221.63 s

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

[pid=20266] ppid=20261 vsize=1423464 memory=255196 CPUtime=281.43 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64029 0 0 0 28131 12 0 0 20 0 1 0 33746152 1457627136 63799 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63799 8265 1 0 327224 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 258268 KiB

[startup+342.3 s]
/proc/loadavg: 3.12 3.64 3.93 4/264 20318
/proc/meminfo: memFree=129280952/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=255196 CPUtime=341.24 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64029 0 0 0 34112 12 0 0 20 0 1 0 33746152 1457627136 63799 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63799 8265 1 0 327224 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 258268 KiB

[startup+402.3 s]
/proc/loadavg: 3.15 3.55 3.88 4/262 20320
/proc/meminfo: memFree=129229256/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=255196 CPUtime=401.04 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64029 0 0 0 40092 12 0 0 20 0 1 0 33746152 1457627136 63799 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63799 8265 1 0 327224 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 258268 KiB

[startup+462.3 s]
/proc/loadavg: 2.89 3.42 3.81 3/254 20354
/proc/meminfo: memFree=129468220/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=255964 CPUtime=460.85 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64033 0 0 0 46073 12 0 0 20 0 1 0 33746152 1457627136 63991 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 63991 8265 1 0 327224 0
Current children cumulated CPU time: 460.85 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 259036 KiB

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

# cumulated CPU time of all completed processes:  user=506.734 s, system=0.182533 s

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

[startup+486.4 s]
/proc/loadavg: 2.71 3.34 3.78 4/254 20355
/proc/meminfo: memFree=129460144/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=259804 CPUtime=484.88 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64037 0 0 0 48476 12 0 0 20 0 1 0 33746152 1457627136 64951 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 64951 8265 1 0 327224 0
Current children cumulated CPU time: 484.88 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 262876 KiB

[startup+499.2 s]
/proc/loadavg: 2.55 3.27 3.75 3/254 20355
/proc/meminfo: memFree=129458808/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1423464 memory=259804 CPUtime=497.65 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 64038 0 0 0 49753 12 0 0 20 0 1 0 33746152 1457627136 64951 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355866 64951 8265 1 0 327224 0
Current children cumulated CPU time: 497.65 s
Current children cumulated vsize: 1427656 KiB
Current children cumulated memory: 262876 KiB

[startup+502.4 s]
/proc/loadavg: 2.51 3.25 3.74 3/255 20356
/proc/meminfo: memFree=129451256/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1427304 memory=263772 CPUtime=498.63 cores=1,3
/proc/20266/stat : 20266 (python3) S 20261 20261 18676 0 -1 4194304 65200 0 0 0 49851 12 0 0 20 0 1 0 33746152 1461559296 65943 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 356826 65943 8297 1 0 328184 0
[pid=20356] ppid=20266 vsize=35460 memory=30152 CPUtime=2.18 cores=1,3
/proc/20356/stat : 20356 (naps-1.03a6) R 20266 20356 20356 0 -1 4194304 12844 0 0 0 216 2 0 0 20 0 1 0 33796169 36311040 7538 18446744073709551615 4198400 7047149 140728391548784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29843456 140728391551377 140728391551475 140728391551475 140728391557065 0
/proc/20356/statm: 8865 7538 544 696 0 8026 0
Current children cumulated CPU time: 500.81 s
Current children cumulated vsize: 1466956 KiB
Current children cumulated memory: 296996 KiB

[startup+505.6 s]
/proc/loadavg: 2.51 3.25 3.74 3/255 20356
/proc/meminfo: memFree=129451508/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1427304 memory=263772 CPUtime=498.63 cores=1,3
/proc/20266/stat : 20266 (python3) S 20261 20261 18676 0 -1 4194304 65200 0 0 0 49851 12 0 0 20 0 1 0 33746152 1461559296 65943 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 356826 65943 8297 1 0 328184 0
[pid=20356] ppid=20266 vsize=35368 memory=30280 CPUtime=5.37 cores=1,3
/proc/20356/stat : 20356 (naps-1.03a6) R 20266 20356 20356 0 -1 4194304 12879 0 0 0 535 2 0 0 20 0 1 0 33796169 36216832 7570 18446744073709551615 4198400 7047149 140728391548784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29843456 140728391551377 140728391551475 140728391551475 140728391557065 0
/proc/20356/statm: 8842 7570 544 696 0 8003 0
Current children cumulated CPU time: 504 s
Current children cumulated vsize: 1466864 KiB
Current children cumulated memory: 297124 KiB

[startup+507.2 s]
/proc/loadavg: 2.47 3.23 3.73 3/255 20356
/proc/meminfo: memFree=129451760/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1427304 memory=263772 CPUtime=498.63 cores=1,3
/proc/20266/stat : 20266 (python3) S 20261 20261 18676 0 -1 4194304 65200 0 0 0 49851 12 0 0 20 0 1 0 33746152 1461559296 65943 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 356826 65943 8297 1 0 328184 0
[pid=20356] ppid=20266 vsize=35368 memory=30280 CPUtime=6.97 cores=1,3
/proc/20356/stat : 20356 (naps-1.03a6) R 20266 20356 20356 0 -1 4194304 12879 0 0 0 695 2 0 0 20 0 1 0 33796169 36216832 7570 18446744073709551615 4198400 7047149 140728391548784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29843456 140728391551377 140728391551475 140728391551475 140728391557065 0
/proc/20356/statm: 8842 7570 544 696 0 8003 0
Current children cumulated CPU time: 505.6 s
Current children cumulated vsize: 1466864 KiB
Current children cumulated memory: 297124 KiB

[startup+508 s]*
/proc/loadavg: 2.47 3.23 3.73 3/255 20356
/proc/meminfo: memFree=129451760/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1427304 memory=263772 CPUtime=498.63 cores=1,3
/proc/20266/stat : 20266 (python3) S 20261 20261 18676 0 -1 4194304 65200 0 0 0 49851 12 0 0 20 0 1 0 33746152 1461559296 65943 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 356826 65943 8297 1 0 328184 0
[pid=20356] ppid=20266 vsize=35368 memory=30280 CPUtime=7.77 cores=1,3
/proc/20356/stat : 20356 (naps-1.03a6) R 20266 20356 20356 0 -1 4194304 12879 0 0 0 775 2 0 0 20 0 1 0 33796169 36216832 7570 18446744073709551615 4198400 7047149 140728391548784 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 29843456 140728391551377 140728391551475 140728391551475 140728391557065 0
/proc/20356/statm: 8842 7570 544 696 0 8003 0
Current children cumulated CPU time: 506.4 s
Current children cumulated vsize: 1466864 KiB
Current children cumulated memory: 297124 KiB

[startup+508.407 s]
/proc/loadavg: 2.47 3.23 3.73 3/255 20356
/proc/meminfo: memFree=129451760/131249996 swapFree=33010684/33010684
[pid=20261] ppid=20258 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20261/stat : 20261 (scip-naps-1.00.) S 20258 20261 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 33746150 4292608 768 18446744073709551615 94380509384704 94380510279237 140736019764144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94380510518288 94380510566032 94380544098304 140736019769761 140736019769858 140736019769858 140736019775460 0
/proc/20261/statm: 1048 768 704 219 0 110 0
[pid=20266] ppid=20261 vsize=1421372 memory=257896 CPUtime=506.82 cores=1,3
/proc/20266/stat : 20266 (python3) R 20261 20261 18676 0 -1 4194304 68726 12880 0 0 49853 13 814 2 20 0 1 0 33746152 1455484928 64474 18446744073709551615 94826538508288 94826538508665 140722136588000 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94826538519960 94826538520580 94826567360512 140722136594776 140722136594978 140722136594978 140722136600551 0
/proc/20266/statm: 355343 64474 8297 1 0 326701 0
Current children cumulated CPU time: 506.82 s
Current children cumulated vsize: 1425564 KiB
Current children cumulated memory: 260968 KiB

Child status: 0

Real time (s): 508.484
CPU time (s): 506.917
CPU user time (s): 506.734
CPU system time (s): 0.182533
CPU usage (%): 99.6918
Max. virtual memory (cumulated for all children) (KiB): 1466956
Max. memory (cumulated for all children) (KiB): 297124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 506.734
system time used= 0.182533
maximum resident set size= 285500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 355
involuntary context switches= 696


# summary of solver processes directly reported to runsolver:
#   pid: 20261
#   total CPU time (s): 506.917
#   total CPU user time (s): 506.734
#   total CPU system time (s): 0.182533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.936395 second user time and 2.04701 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 09:04:43
IDJOB=4507421
IDBENCH=158352
IDSOLVER=3368
FILE ID=nodeC023/4507421-1751180683
RUNJOBID= nodeC023-1751170906-18688
SLURM_JOB_ID= 9587532
Free space on /tmp= 433044 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507421-1751180683/watcher-4507421-1751180683 -o /tmp/evaluation-result-4507421-1751180683/solver-4507421-1751180683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18688 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4507421-1751180683.opb

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

MD5SUM BENCH= 433935bc469f703143ab8083d95aeb05
RANDOM SEED=1376222358

nodeC023 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		: 3599.902
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	: 6999.78
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		: 3601.169
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	: 6999.78
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		: 3651.094
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	: 6999.78
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		: 3600.196
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	: 6999.78
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		: 3599.878
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	: 6999.78
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		: 3599.900
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	: 6999.78
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		: 3663.078
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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129000516 kB
MemAvailable:   128738312 kB
Buffers:            3280 kB
Cached:           548216 kB
SwapCached:            0 kB
Active:          1387404 kB
Inactive:         277860 kB
Active(anon):    1131832 kB
Inactive(anon):        0 kB
Active(file):     255572 kB
Inactive(file):   277860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5840 kB
Writeback:            44 kB
AnonPages:       1112636 kB
Mapped:           127368 kB
Shmem:             18064 kB
KReclaimable:      87208 kB
Slab:             173140 kB
SReclaimable:      87208 kB
SUnreclaim:        85932 kB
KernelStack:        4336 kB
PageTables:         5864 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4714492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    653312 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC023 at 2025-06-29 09:13:11