Trace number 4507385

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 505.123 506.413

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
MD5SUM5359c0df8e4997707ebdbb5ef15bc818
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 benchmark1.62353
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
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 99
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 

47.43/47.68	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507385-1751180625.opb
47.43/47.68	c Solving mode: decision
47.43/47.68	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
47.43/47.68	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
47.43/47.68	c original problem has 6664 variables (6664 bin, 0 int, 0 impl, 0 cont) and 6862 constraints
47.43/47.68	c presolving:
47.43/47.68	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, 1331 clqs
47.43/47.68	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, 1318 clqs
47.43/47.68	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, 1323 clqs
47.43/47.68	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, 1349 clqs
47.43/47.68	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, 1364 clqs
47.43/47.68	c (round 6, exhaustive) 583 del vars, 401 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1367 clqs
47.43/47.68	c (round 7, exhaustive) 583 del vars, 401 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6461 upgd conss, 0 impls, 1367 clqs
47.43/47.68	c (round 8, exhaustive) 648 del vars, 401 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6461 upgd conss, 0 impls, 1354 clqs
47.43/47.68	c (round 9, fast)       713 del vars, 466 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6461 upgd conss, 0 impls, 1354 clqs
47.43/47.68	c (round 10, exhaustive) 739 del vars, 467 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6461 upgd conss, 0 impls, 39325 clqs
47.43/47.68	c (round 11, fast)       741 del vars, 494 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 124 chg coeffs, 6461 upgd conss, 0 impls, 39338 clqs
47.43/47.68	c (round 12, exhaustive) 770 del vars, 494 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 127 chg coeffs, 6461 upgd conss, 0 impls, 39726 clqs
47.43/47.68	c (round 13, fast)       770 del vars, 523 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 181 chg coeffs, 6461 upgd conss, 0 impls, 39734 clqs
47.43/47.68	c (round 14, exhaustive) 796 del vars, 523 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 181 chg coeffs, 6461 upgd conss, 0 impls, 39650 clqs
47.43/47.68	c (round 15, fast)       797 del vars, 549 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 238 chg coeffs, 6461 upgd conss, 0 impls, 39658 clqs
47.43/47.68	c (round 16, exhaustive) 822 del vars, 549 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 238 chg coeffs, 6461 upgd conss, 0 impls, 39740 clqs
47.43/47.68	c (round 17, fast)       822 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 280 chg coeffs, 6461 upgd conss, 0 impls, 39745 clqs
47.43/47.68	c (round 18, exhaustive) 848 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 280 chg coeffs, 6461 upgd conss, 0 impls, 39685 clqs
47.43/47.68	c (round 19, fast)       849 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 300 chg coeffs, 6461 upgd conss, 0 impls, 39687 clqs
47.43/47.68	c (round 20, exhaustive) 874 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 300 chg coeffs, 6461 upgd conss, 0 impls, 39562 clqs
47.43/47.68	c (round 21, fast)       874 del vars, 625 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 309 chg coeffs, 6461 upgd conss, 0 impls, 39562 clqs
47.43/47.68	c (round 22, exhaustive) 899 del vars, 625 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 309 chg coeffs, 6461 upgd conss, 0 impls, 39450 clqs
47.43/47.68	c (round 23, fast)       899 del vars, 650 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 318 chg coeffs, 6461 upgd conss, 0 impls, 39450 clqs
47.43/47.68	c (round 24, exhaustive) 924 del vars, 650 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 318 chg coeffs, 6461 upgd conss, 0 impls, 39367 clqs
47.43/47.68	c (round 25, fast)       924 del vars, 675 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 6461 upgd conss, 0 impls, 39367 clqs
47.43/47.68	c (round 26, exhaustive) 949 del vars, 675 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 323 chg coeffs, 6461 upgd conss, 0 impls, 39258 clqs
47.43/47.68	c (round 27, fast)       949 del vars, 700 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 335 chg coeffs, 6461 upgd conss, 0 impls, 39258 clqs
47.43/47.68	c (round 28, exhaustive) 974 del vars, 700 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 335 chg coeffs, 6461 upgd conss, 0 impls, 39163 clqs
47.43/47.68	c (round 29, fast)       974 del vars, 725 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 347 chg coeffs, 6461 upgd conss, 0 impls, 39163 clqs
47.43/47.68	c    (2.1s) probing: 1000/6237 (16.0%) - 256 fixings, 1 aggregations, 573554 implications, 0 bound changes
47.43/47.68	c    (3.3s) probing: 2000/6237 (32.1%) - 266 fixings, 1 aggregations, 1134229 implications, 0 bound changes
47.43/47.68	c    (4.3s) probing: 3000/6237 (48.1%) - 276 fixings, 1 aggregations, 1576351 implications, 0 bound changes
47.43/47.68	c (round 30, exhaustive) 999 del vars, 725 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 347 chg coeffs, 6461 upgd conss, 0 impls, 39851 clqs
47.43/47.68	c (round 31, fast)       999 del vars, 750 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 385 chg coeffs, 6461 upgd conss, 0 impls, 39854 clqs
47.43/47.68	c (round 32, exhaustive) 1024 del vars, 750 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 385 chg coeffs, 6461 upgd conss, 0 impls, 39859 clqs
47.43/47.68	c (round 33, fast)       1024 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 422 chg coeffs, 6461 upgd conss, 0 impls, 39861 clqs
47.43/47.68	c    (5.4s) probing: 4000/6237 (64.1%) - 311 fixings, 1 aggregations, 1985641 implications, 0 bound changes
47.43/47.68	c    (5.8s) probing: 4403/6237 (70.6%) - 311 fixings, 1 aggregations, 2157790 implications, 0 bound changes
47.43/47.68	c    (5.8s) probing aborted: 1000/1000 successive useless probings
47.43/47.68	c (round 34, exhaustive) 1032 del vars, 775 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 422 chg coeffs, 6461 upgd conss, 0 impls, 39908 clqs
47.43/47.68	c (round 35, fast)       1032 del vars, 783 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 432 chg coeffs, 6461 upgd conss, 0 impls, 39908 clqs
47.43/47.68	c    (5.9s) probing: 4503/6237 (72.2%) - 311 fixings, 1 aggregations, 2196080 implications, 0 bound changes
47.43/47.68	c    (5.9s) probing aborted: 1000/1000 successive useless probings
47.43/47.68	c    (5.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
47.43/47.68	c    (5.9s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
47.43/47.68	c dynamic symmetry handling statistics:
47.43/47.68	c    orbitopal reduction:       no components
47.43/47.68	c    orbital reduction:         no components
47.43/47.68	c    lexicographic reduction:    4 permutations with support sizes 184, 364, 184, 168
47.43/47.68	c handled 5 out of 5 symmetry components
47.43/47.68	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
47.43/47.68	c  1035 deleted vars, 783 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 432 changed coefficients
47.43/47.68	c  0 implications, 39918 cliques
47.43/47.68	c presolved problem has 5918 variables (5918 bin, 0 int, 0 impl, 0 cont) and 6082 constraints
47.43/47.68	c    1296 constraints of type <setppc>
47.43/47.68	c       3 constraints of type <orbitope>
47.43/47.68	c    4783 constraints of type <logicor>
47.43/47.68	c transformed objective value is always integral (scale: 1)
47.43/47.68	c Presolving Time: 5.94
47.43/47.68	c 
47.43/47.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
47.43/47.68	c   9.9s|     1 |     0 | 10548 |     - |   124M |   0 |5918 |6212 |6076 |   0 |  0 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
47.43/47.68	c  43.2s|     1 |     0 | 63545 |     - |   133M |   0 |5918 |6413 |6084 |   8 |  1 | 133 |   0 | 0.000000e+00 |      --      |    Inf | unknown
47.43/47.68	c  45.5s|     1 |     0 | 67651 |     - |   139M |   0 |5918 |6415 |6094 |  18 |  2 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  47.5s|     1 |     0 | 70949 |     - |   141M |   0 |5918 |6416 |6102 |  26 |  3 | 136 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  50.8s|     1 |     0 | 76967 |     - |   142M |   0 |5918 |6426 |6111 |  35 |  4 | 146 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  53.1s|     1 |     0 | 80768 |     - |   142M |   0 |5918 |6428 |6120 |  44 |  5 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  56.0s|     1 |     0 | 85866 |     - |   145M |   0 |5918 |6430 |6127 |  51 |  6 | 154 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  58.5s|     1 |     0 | 89706 |     - |   146M |   0 |5918 |6435 |6137 |  61 |  7 | 160 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  60.8s|     1 |     0 | 93258 |     - |   148M |   0 |5918 |6432 |6141 |  65 |  8 | 161 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  66.7s|     1 |     0 |103644 |     - |   148M |   0 |5918 |6418 |6153 |  77 |  9 | 163 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  71.3s|     1 |     0 |110958 |     - |   149M |   0 |5918 |6424 |6161 |  85 | 10 | 171 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c  74.2s|     1 |     0 |116483 |     - |   150M |   0 |5918 |6428 |6168 |  92 | 11 | 175 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c   138s|     1 |     2 |225821 |     - |   152M |   0 |5918 |6416 |6168 |  92 | 11 | 191 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c   210s|   100 |    26 |394103 |2804.2 |   168M |  37 |5918 |6452 |6123 | 136 |  1 | 245 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.82/500.18	c   272s|   200 |    24 |564447 |2251.1 |   182M |  40 |5918 |6485 |6131 | 172 |  1 | 299 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.82/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.82/500.18	c   343s|   300 |    22 |749939 |2118.6 |   191M |  40 |5918 |6416 |6127 | 209 |  1 | 348 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
498.82/500.18	c   417s|   400 |    22 |955430 |2102.6 |   196M |  40 |5918 |6448 |6121 | 272 |  0 | 414 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
498.82/500.18	c   497s|   500 |    25 |  1179k|2131.0 |   199M |  40 |5918 |6466 |6130 | 380 |  1 | 460 |  11 | 0.000000e+00 |      --      |    Inf |  25.00%
498.82/500.18	c 
498.82/500.18	c SCIP Status        : solving was interrupted [time limit reached]
498.82/500.18	c Solving Time (sec) : 500.00
498.82/500.18	c Solving Nodes      : 503
498.82/500.18	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.82/500.18	c Dual Bound         : +0.00000000000000e+00
498.82/500.18	c Gap                : infinite
498.82/500.18	c ----------------------------------------------------------------------
498.82/500.18	c dual bound: 0.0 -> 0
498.82/500.18	c primal bound: 1e+20 -> 100000000000000000000
498.82/500.18	c scip-goal-lb: 0
498.82/500.18	c scip-goal-ub: 100000000000000000000
498.82/500.18	c writing output to: HOME/tmpn7wg79gj.opb
498.82/500.18	c appending fixed variable constraints
498.82/500.18	c scip-fixed vars: 13.33% (789/5918)
498.82/500.18	c ----------------------------------------------------------------------
498.82/500.18	c executing external solver: HOME/naps-1.03a6
498.82/500.18	c ----------------------------------------------------------------------
498.82/500.18	c command: HOME/naps-1.03a6 HOME/tmpn7wg79gj.opb
498.82/500.19	c NaPS 1.03a6.
498.82/500.19	c Input file name: HOME/tmpn7wg79gj.opb
504.98/506.34	c _____________________________________________________________________________
504.98/506.34	c std/band forms        : 98,0
504.98/506.34	c 2cl/3cl ITE-codings   : 0,0
504.98/506.34	c BDD/srt/adr Max costs : 0,1410,0
504.98/506.34	c BDDraw/bin/mul/srt/adr: 0,0,0,98,0
504.98/506.34	c BDD nodes             : 0
504.98/506.34	c Es1/CC detections     : 0,0
504.98/506.34	c CC sort               : 98
504.98/506.34	c SAT/UNSAT calls       : 1,0
504.98/506.34	c regenrated variables  : 0
504.98/506.34	c eliminated fixed lits : 896
504.98/506.34	c goal lit flips        : 0
504.98/506.34	c goal stages           : 0
504.98/506.34	c goal shrink           : 0
504.98/506.34	c goal coeff separations: 0
504.98/506.34	c restarts              : 2634
504.98/506.34	c conflicts             : 59334          (9721 /sec)
504.98/506.34	c decisions             : 725361         (118836 /sec)
504.98/506.34	c propagations          : 53074812       (8695232 /sec)
504.98/506.34	c inspects              : 0              (0 /sec)
504.98/506.34	c CPU time (solving tm) : 6.104 s        (5.98 s, SAT 5.98 s, UNSAT 0 s)
504.98/506.34	c Time for Opt-base     : 0.001409 s
504.98/506.34	c Steps for Opt-base    : 0
504.98/506.34	c Time for BDD coding   : 0 s
504.98/506.34	c Time for srt coding   : 0.01183 s
504.98/506.34	c _____________________________________________________________________________
504.98/506.34	s SATISFIABLE
504.98/506.34	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
504.98/506.34	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
504.98/506.34	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
504.98/506.34	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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20211, runsolver pid=20208

[startup+0.100061 s]*
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128927548/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1187348 memory=32260 CPUtime=0.06 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 3794 0 0 0 5 1 0 0 20 0 1 0 33740335 1215844352 8065 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 296837 8065 4897 1 0 268859 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191540 KiB
Current children cumulated memory: 35204 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128888740/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1227848 memory=79492 CPUtime=0.17 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 12947 0 0 0 14 3 0 0 20 0 1 0 33740335 1257316352 19873 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 306962 19873 7841 1 0 278320 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1232040 KiB
Current children cumulated memory: 82436 KiB

[startup+0.30546 s]*
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128881180/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1239424 memory=91012 CPUtime=0.26 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 15824 0 0 0 23 3 0 0 20 0 1 0 33740335 1269170176 22753 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 309856 22753 7873 1 0 281214 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1243616 KiB
Current children cumulated memory: 93956 KiB

[startup+0.700202 s]
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128872864/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1263032 memory=111876 CPUtime=0.64 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 21088 0 0 0 60 4 0 0 20 0 1 0 33740335 1293344768 27969 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 315758 27969 7905 1 0 287116 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1267224 KiB
Current children cumulated memory: 114820 KiB

[startup+1.50019 s]
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128872864/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1263032 memory=111876 CPUtime=1.44 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 21094 0 0 0 140 4 0 0 20 0 1 0 33740335 1293344768 27969 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 315758 27969 7905 1 0 287116 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1267224 KiB
Current children cumulated memory: 114820 KiB

[startup+3.10557 s]
/proc/loadavg: 4.33 4.21 4.15 5/273 20216
/proc/meminfo: memFree=128873120/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1263032 memory=112388 CPUtime=3.04 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 21239 0 0 0 300 4 0 0 20 0 1 0 33740335 1293344768 28097 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 315758 28097 7905 1 0 287116 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1267224 KiB
Current children cumulated memory: 115332 KiB

[startup+6.30014 s]
/proc/loadavg: 4.30 4.20 4.15 5/273 20216
/proc/meminfo: memFree=128865308/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1328760 memory=159108 CPUtime=6.24 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 32773 0 0 0 618 6 0 0 20 0 1 0 33740335 1360650240 39777 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 332190 39777 8129 1 0 303548 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1332952 KiB
Current children cumulated memory: 162052 KiB

[startup+12.7001 s]
/proc/loadavg: 4.28 4.20 4.15 5/273 20216
/proc/meminfo: memFree=128817680/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1333192 memory=163588 CPUtime=12.62 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 33880 0 0 0 1256 6 0 0 20 0 1 0 33740335 1365188608 40897 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 333298 40897 8129 1 0 304656 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1337384 KiB
Current children cumulated memory: 166532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.21 4.15 5/272 20216
/proc/meminfo: memFree=128818712/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1333572 memory=163972 CPUtime=25.39 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 33990 0 0 0 2533 6 0 0 20 0 1 0 33740335 1365577728 40993 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 333393 40993 8129 1 0 304751 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1337764 KiB
Current children cumulated memory: 166916 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128719896/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=262928 CPUtime=50.93 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 57973 0 0 0 5083 10 0 0 20 0 1 0 33740335 1468821504 65732 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 65732 8129 1 0 329957 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 265872 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/270 20267
/proc/meminfo: memFree=128867564/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=262928 CPUtime=101.99 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 57992 0 0 0 10189 10 0 0 20 0 1 0 33740335 1468821504 65732 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 65732 8129 1 0 329957 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 265872 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/269 20272
/proc/meminfo: memFree=128793868/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=264976 CPUtime=161.84 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58488 0 0 0 16174 10 0 0 20 0 1 0 33740335 1468821504 66244 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 66244 8129 1 0 329957 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 267920 KiB

[startup+222.3 s]
/proc/loadavg: 3.88 4.09 4.12 4/263 20311
/proc/meminfo: memFree=129311048/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=264976 CPUtime=221.69 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58492 0 0 0 22159 10 0 0 20 0 1 0 33740335 1468821504 66244 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 66244 8129 1 0 329957 0
Current children cumulated CPU time: 221.69 s

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

[pid=20216] ppid=20211 vsize=1434396 memory=264976 CPUtime=281.55 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58493 0 0 0 28145 10 0 0 20 0 1 0 33740335 1468821504 66244 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 66244 8129 1 0 329957 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 267920 KiB

[startup+342.3 s]
/proc/loadavg: 3.22 3.77 3.99 4/264 20316
/proc/meminfo: memFree=129314832/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=264976 CPUtime=341.41 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58493 0 0 0 34130 11 0 0 20 0 1 0 33740335 1468821504 66244 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 66244 8129 1 0 329957 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 267920 KiB

[startup+402.3 s]
/proc/loadavg: 3.12 3.64 3.93 4/264 20318
/proc/meminfo: memFree=129280960/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=270736 CPUtime=401.27 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58504 0 0 0 40115 12 0 0 20 0 1 0 33740335 1468821504 67684 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 67684 8129 1 0 329957 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 273680 KiB

[startup+462.3 s]
/proc/loadavg: 3.15 3.55 3.88 4/262 20320
/proc/meminfo: memFree=129229508/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=282512 CPUtime=461.11 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58606 0 0 0 46099 12 0 0 20 0 1 0 33740335 1468821504 70628 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 70628 8129 1 0 329957 0
Current children cumulated CPU time: 461.11 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 285456 KiB

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

# cumulated CPU time of all completed processes:  user=504.955 s, system=0.168319 s

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

[startup+486.4 s]
/proc/loadavg: 3.10 3.51 3.86 4/262 20321
/proc/meminfo: memFree=129231824/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=282640 CPUtime=485.15 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58610 0 0 0 48503 12 0 0 20 0 1 0 33740335 1468821504 70660 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 70660 8129 1 0 329957 0
Current children cumulated CPU time: 485.15 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 285584 KiB

[startup+499.2 s]
/proc/loadavg: 3.08 3.49 3.85 4/262 20321
/proc/meminfo: memFree=129231552/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1434396 memory=282640 CPUtime=497.92 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 58615 0 0 0 49780 12 0 0 20 0 1 0 33740335 1468821504 70660 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 358599 70660 8129 1 0 329957 0
Current children cumulated CPU time: 497.92 s
Current children cumulated vsize: 1438588 KiB
Current children cumulated memory: 285584 KiB

[startup+502.4 s]
/proc/loadavg: 3.16 3.50 3.85 4/263 20322
/proc/meminfo: memFree=129198980/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1437980 memory=286480 CPUtime=498.91 cores=4,6
/proc/20216/stat : 20216 (python3) S 20211 20211 18676 0 -1 4194304 59744 0 0 0 49878 13 0 0 20 0 1 0 33740335 1472491520 71620 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 359495 71620 8161 1 0 330853 0
[pid=20322] ppid=20216 vsize=33868 memory=27876 CPUtime=2.18 cores=4,6
/proc/20322/stat : 20322 (naps-1.03a6) R 20216 20322 20322 0 -1 4194304 11796 0 0 0 217 1 0 0 20 0 1 0 33790352 34680832 6969 18446744073709551615 4198400 7047149 140735719614896 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 16146432 140735719618961 140735719619059 140735719619059 140735719624649 0
/proc/20322/statm: 8467 6969 544 696 0 7628 0
Current children cumulated CPU time: 501.09 s
Current children cumulated vsize: 1476040 KiB
Current children cumulated memory: 317300 KiB

[startup+504 s]*
/proc/loadavg: 3.16 3.50 3.85 4/263 20322
/proc/meminfo: memFree=129198980/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1437980 memory=286480 CPUtime=498.91 cores=4,6
/proc/20216/stat : 20216 (python3) S 20211 20211 18676 0 -1 4194304 59744 0 0 0 49878 13 0 0 20 0 1 0 33740335 1472491520 71620 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 359495 71620 8161 1 0 330853 0
[pid=20322] ppid=20216 vsize=33868 memory=28004 CPUtime=3.78 cores=4,6
/proc/20322/stat : 20322 (naps-1.03a6) R 20216 20322 20322 0 -1 4194304 11818 0 0 0 377 1 0 0 20 0 1 0 33790352 34680832 7001 18446744073709551615 4198400 7047149 140735719614896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 16146432 140735719618961 140735719619059 140735719619059 140735719624649 0
/proc/20322/statm: 8467 7001 544 696 0 7628 0
Current children cumulated CPU time: 502.69 s
Current children cumulated vsize: 1476040 KiB
Current children cumulated memory: 317428 KiB

[startup+505.6 s]
/proc/loadavg: 3.14 3.49 3.84 4/263 20322
/proc/meminfo: memFree=129198980/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1437980 memory=286480 CPUtime=498.91 cores=4,6
/proc/20216/stat : 20216 (python3) S 20211 20211 18676 0 -1 4194304 59744 0 0 0 49878 13 0 0 20 0 1 0 33740335 1472491520 71620 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 359495 71620 8161 1 0 330853 0
[pid=20322] ppid=20216 vsize=33868 memory=28004 CPUtime=5.37 cores=4,6
/proc/20322/stat : 20322 (naps-1.03a6) R 20216 20322 20322 0 -1 4194304 11818 0 0 0 536 1 0 0 20 0 1 0 33790352 34680832 7001 18446744073709551615 4198400 7047149 140735719614896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 16146432 140735719618961 140735719619059 140735719619059 140735719624649 0
/proc/20322/statm: 8467 7001 544 696 0 7628 0
Current children cumulated CPU time: 504.28 s
Current children cumulated vsize: 1476040 KiB
Current children cumulated memory: 317428 KiB

[startup+506 s]*
/proc/loadavg: 3.14 3.49 3.84 4/262 20322
/proc/meminfo: memFree=129198980/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1437980 memory=286480 CPUtime=498.91 cores=4,6
/proc/20216/stat : 20216 (python3) S 20211 20211 18676 0 -1 4194304 59744 0 0 0 49878 13 0 0 20 0 1 0 33740335 1472491520 71620 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 359495 71620 8161 1 0 330853 0
[pid=20322] ppid=20216 vsize=33868 memory=28004 CPUtime=5.77 cores=4,6
/proc/20322/stat : 20322 (naps-1.03a6) R 20216 20322 20322 0 -1 4194304 11818 0 0 0 576 1 0 0 20 0 1 0 33790352 34680832 7001 18446744073709551615 4198400 7047149 140735719614896 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 16146432 140735719618961 140735719619059 140735719619059 140735719624649 0
/proc/20322/statm: 8467 7001 544 696 0 7628 0
Current children cumulated CPU time: 504.68 s
Current children cumulated vsize: 1476040 KiB
Current children cumulated memory: 317428 KiB

[startup+506.4 s]
/proc/loadavg: 3.14 3.49 3.84 4/262 20322
/proc/meminfo: memFree=129198980/131249996 swapFree=33010684/33010684
[pid=20211] ppid=20208 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20211/stat : 20211 (scip-naps-1.00.) S 20208 20211 18676 0 -1 4194304 258 343 0 0 0 0 0 0 20 0 1 0 33740333 4292608 736 18446744073709551615 94844850122752 94844851017285 140725645357104 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94844851256336 94844851304080 94844864610304 140725645359521 140725645359618 140725645359618 140725645365220 0
/proc/20211/statm: 1048 736 672 219 0 110 0
[pid=20216] ppid=20211 vsize=1387988 memory=243220 CPUtime=505.09 cores=4,6
/proc/20216/stat : 20216 (python3) R 20211 20211 18676 0 -1 4194304 63181 11819 0 0 49883 14 610 2 20 0 1 0 33740335 1421299712 60805 18446744073709551615 93923029307392 93923029307769 140730961690512 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 93923029319064 93923029319684 93923036278784 140730961697112 140730961697314 140730961697314 140730961702887 0
/proc/20216/statm: 346997 60805 8161 1 0 318355 0
Current children cumulated CPU time: 505.09 s
Current children cumulated vsize: 1392180 KiB
Current children cumulated memory: 246164 KiB

Child status: 0

Real time (s): 506.413
CPU time (s): 505.123
CPU user time (s): 504.955
CPU system time (s): 0.168319
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 1476040
Max. memory (cumulated for all children) (KiB): 317428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 504.955
system time used= 0.168319
maximum resident set size= 286480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76901
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 399
involuntary context switches= 314


# summary of solver processes directly reported to runsolver:
#   pid: 20211
#   total CPU time (s): 505.123
#   total CPU user time (s): 504.955
#   total CPU system time (s): 0.168319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.871909 second user time and 2.12342 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 09:03:45
IDJOB=4507385
IDBENCH=158344
IDSOLVER=3368
FILE ID=nodeC023/4507385-1751180625
RUNJOBID= nodeC023-1751170906-18687
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_K98.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507385-1751180625/watcher-4507385-1751180625 -o /tmp/evaluation-result-4507385-1751180625/solver-4507385-1751180625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18687 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4507385-1751180625.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
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.888
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		: 3599.891
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		: 3599.931
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		: 3598.982
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		: 3601.024
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.889
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		: 3599.886
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		: 3596.922
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:        128939136 kB
MemAvailable:   128677368 kB
Buffers:            3280 kB
Cached:           548640 kB
SwapCached:            0 kB
Active:          1428292 kB
Inactive:         278284 kB
Active(anon):    1172720 kB
Inactive(anon):        0 kB
Active(file):     255572 kB
Inactive(file):   278284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5952 kB
Writeback:             0 kB
AnonPages:       1153188 kB
Mapped:           130148 kB
Shmem:             18064 kB
KReclaimable:      87228 kB
Slab:             173212 kB
SReclaimable:      87228 kB
SUnreclaim:        85984 kB
KernelStack:        4432 kB
PageTables:         5948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4721264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    868352 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= 433044 MiB
End job on nodeC023 at 2025-06-29 09:12:11