Trace number 4507565

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 509.115 511.805

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
MD5SUM7361f1d7a542e71300a3f7026fcde645
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.52945
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7140
Total number of constraints7352
Number of constraints which are clauses7247
Number of constraints which are cardinality constraints (but not clauses)105
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint105
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 106
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 

68.32/69.88	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507565-1751183027.opb
68.32/69.88	c Solving mode: decision
68.32/69.88	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
68.32/69.88	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
68.32/69.88	c original problem has 7140 variables (7140 bin, 0 int, 0 impl, 0 cont) and 7352 constraints
68.32/69.88	c presolving:
68.32/69.88	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, 1429 clqs
68.32/69.88	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, 1416 clqs
68.32/69.88	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, 1421 clqs
68.32/69.88	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, 1447 clqs
68.32/69.88	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, 1462 clqs
68.32/69.88	c (round 6, exhaustive) 583 del vars, 408 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1465 clqs
68.32/69.88	c (round 7, exhaustive) 583 del vars, 408 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6944 upgd conss, 0 impls, 1465 clqs
68.32/69.88	c (round 8, exhaustive) 648 del vars, 408 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6944 upgd conss, 0 impls, 1452 clqs
68.32/69.88	c (round 9, fast)       713 del vars, 473 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6944 upgd conss, 0 impls, 1452 clqs
68.32/69.88	c (round 10, exhaustive) 738 del vars, 474 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 6944 upgd conss, 0 impls, 42057 clqs
68.32/69.88	c (round 11, fast)       738 del vars, 499 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 123 chg coeffs, 6944 upgd conss, 0 impls, 42072 clqs
68.32/69.88	c (round 12, exhaustive) 765 del vars, 499 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 124 chg coeffs, 6944 upgd conss, 0 impls, 42553 clqs
68.32/69.88	c (round 13, fast)       767 del vars, 526 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6944 upgd conss, 0 impls, 42561 clqs
68.32/69.88	c (round 14, exhaustive) 796 del vars, 526 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6944 upgd conss, 0 impls, 42562 clqs
68.32/69.88	c (round 15, fast)       796 del vars, 555 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 228 chg coeffs, 6944 upgd conss, 0 impls, 42567 clqs
68.32/69.88	c (round 16, exhaustive) 821 del vars, 555 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 228 chg coeffs, 6944 upgd conss, 0 impls, 42555 clqs
68.32/69.88	c (round 17, fast)       821 del vars, 580 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 264 chg coeffs, 6944 upgd conss, 0 impls, 42559 clqs
68.32/69.88	c (round 18, exhaustive) 847 del vars, 580 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 264 chg coeffs, 6944 upgd conss, 0 impls, 42536 clqs
68.32/69.88	c (round 19, fast)       848 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 287 chg coeffs, 6944 upgd conss, 0 impls, 42540 clqs
68.32/69.88	c (round 20, exhaustive) 873 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 287 chg coeffs, 6944 upgd conss, 0 impls, 42432 clqs
68.32/69.88	c (round 21, fast)       873 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 298 chg coeffs, 6944 upgd conss, 0 impls, 42432 clqs
68.32/69.88	c (round 22, exhaustive) 898 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 298 chg coeffs, 6944 upgd conss, 0 impls, 42319 clqs
68.32/69.88	c (round 23, fast)       898 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 304 chg coeffs, 6944 upgd conss, 0 impls, 42319 clqs
68.32/69.88	c (round 24, exhaustive) 923 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 304 chg coeffs, 6944 upgd conss, 0 impls, 42190 clqs
68.32/69.88	c (round 25, fast)       923 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 6944 upgd conss, 0 impls, 42190 clqs
68.32/69.88	c (round 26, exhaustive) 948 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 6944 upgd conss, 0 impls, 42096 clqs
68.32/69.88	c (round 27, fast)       948 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 6944 upgd conss, 0 impls, 42096 clqs
68.32/69.88	c    (3.1s) probing: 1000/6713 (14.9%) - 236 fixings, 1 aggregations, 616010 implications, 0 bound changes
68.32/69.88	c (round 28, exhaustive) 973 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 6944 upgd conss, 0 impls, 42022 clqs
68.32/69.88	c (round 29, fast)       973 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 339 chg coeffs, 6944 upgd conss, 0 impls, 42022 clqs
68.32/69.88	c    (5.1s) probing: 2000/6713 (29.8%) - 271 fixings, 1 aggregations, 1165681 implications, 0 bound changes
68.32/69.88	c (round 30, exhaustive) 998 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 339 chg coeffs, 6944 upgd conss, 0 impls, 42630 clqs
68.32/69.88	c (round 31, fast)       998 del vars, 756 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 367 chg coeffs, 6944 upgd conss, 0 impls, 42634 clqs
68.32/69.88	c (round 32, exhaustive) 1023 del vars, 756 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 367 chg coeffs, 6944 upgd conss, 0 impls, 42663 clqs
68.32/69.88	c (round 33, fast)       1023 del vars, 781 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 400 chg coeffs, 6944 upgd conss, 0 impls, 42663 clqs
68.32/69.88	c    (6.9s) probing: 3000/6713 (44.7%) - 306 fixings, 1 aggregations, 1627296 implications, 0 bound changes
68.32/69.88	c    (8.5s) probing: 4000/6713 (59.6%) - 313 fixings, 1 aggregations, 2058270 implications, 0 bound changes
68.32/69.88	c    (9.9s) probing: 5000/6713 (74.5%) - 316 fixings, 1 aggregations, 2478862 implications, 0 bound changes
68.32/69.88	c    (11.3s) probing: 6000/6713 (89.4%) - 318 fixings, 1 aggregations, 2867615 implications, 0 bound changes
68.32/69.88	c    (11.7s) probing: 6300/6713 (93.8%) - 318 fixings, 1 aggregations, 2986503 implications, 0 bound changes
68.32/69.88	c    (11.7s) probing aborted: 1000/1000 successive useless probings
68.32/69.88	c (round 34, exhaustive) 1038 del vars, 781 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 400 chg coeffs, 6944 upgd conss, 0 impls, 42698 clqs
68.32/69.88	c (round 35, fast)       1038 del vars, 796 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 424 chg coeffs, 6944 upgd conss, 0 impls, 42698 clqs
68.32/69.88	c    (11.9s) probing: 6400/6713 (95.3%) - 318 fixings, 1 aggregations, 3018898 implications, 0 bound changes
68.32/69.88	c    (11.9s) probing aborted: 1000/1000 successive useless probings
68.32/69.88	c    (11.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
68.32/69.88	c    (12.0s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
68.32/69.88	c dynamic symmetry handling statistics:
68.32/69.88	c    orbitopal reduction:       no components
68.32/69.88	c    orbital reduction:         no components
68.32/69.88	c    lexicographic reduction:    4 permutations with support sizes 198, 392, 198, 182
68.32/69.88	c handled 5 out of 5 symmetry components
68.32/69.88	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
68.32/69.88	c  1041 deleted vars, 796 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 424 changed coefficients
68.32/69.88	c  0 implications, 42757 cliques
68.32/69.88	c presolved problem has 6388 variables (6388 bin, 0 int, 0 impl, 0 cont) and 6559 constraints
68.32/69.88	c    1395 constraints of type <setppc>
68.32/69.88	c       3 constraints of type <orbitope>
68.32/69.88	c    5161 constraints of type <logicor>
68.32/69.88	c transformed objective value is always integral (scale: 1)
68.32/69.88	c Presolving Time: 11.96
68.32/69.88	c 
68.32/69.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
68.32/69.88	c  16.5s|     1 |     0 | 10800 |     - |   137M |   0 |6388 |6624 |6553 |   0 |  0 |  86 |   0 | 0.000000e+00 |      --      |    Inf | unknown
68.32/69.88	c  65.2s|     1 |     0 | 66595 |     - |   145M |   0 |6388 |6827 |6559 |   6 |  1 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  68.4s|     1 |     0 | 71614 |     - |   150M |   0 |6388 |6830 |6572 |  19 |  2 |  92 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  72.2s|     1 |     0 | 77360 |     - |   151M |   0 |6388 |6837 |6581 |  28 |  3 |  99 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  74.6s|     1 |     0 | 80625 |     - |   152M |   0 |6388 |6838 |6589 |  36 |  4 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  77.9s|     1 |     0 | 85475 |     - |   153M |   0 |6388 |6838 |6594 |  41 |  5 | 101 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  83.2s|     1 |     0 | 94374 |     - |   154M |   0 |6388 |6839 |6607 |  54 |  6 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  89.7s|     1 |     0 |104494 |     - |   155M |   0 |6388 |6830 |6619 |  66 |  7 | 110 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  93.0s|     1 |     0 |107993 |     - |   157M |   0 |6388 |6832 |6631 |  78 |  8 | 115 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c  96.0s|     1 |     0 |111815 |     - |   159M |   0 |6388 |6833 |6638 |  85 |  9 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c   102s|     1 |     0 |121868 |     - |   160M |   0 |6388 |6837 |6648 |  95 | 10 | 120 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c   108s|     1 |     0 |130550 |     - |   161M |   0 |6388 |6839 |6662 | 109 | 11 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c   163s|     1 |     2 |177424 |     - |   161M |   0 |6388 |6853 |6662 | 109 | 11 | 144 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.72/501.45	c   286s|   100 |    22 |417138 |2894.8 |   176M |  36 |6388 |6860 |6618 | 149 |  0 | 247 |  11 | 0.000000e+00 |      --      |    Inf |  50.11%
498.72/501.45	c 
498.72/501.45	c SCIP Status        : solving was interrupted [time limit reached]
498.72/501.45	c Solving Time (sec) : 500.00
498.72/501.45	c Solving Nodes      : 139
498.72/501.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.72/501.45	c Dual Bound         : +0.00000000000000e+00
498.72/501.45	c Gap                : infinite
498.72/501.45	c ----------------------------------------------------------------------
498.72/501.45	c dual bound: 0.0 -> 0
498.72/501.45	c primal bound: 1e+20 -> 100000000000000000000
498.72/501.45	c scip-goal-lb: 0
498.72/501.45	c scip-goal-ub: 100000000000000000000
498.72/501.45	c writing output to: HOME/tmp4v32zgnq.opb
498.72/501.45	c appending fixed variable constraints
498.72/501.45	c scip-fixed vars: 12.49% (798/6388)
498.72/501.45	c ----------------------------------------------------------------------
498.72/501.45	c executing external solver: HOME/naps-1.03a6
498.72/501.45	c ----------------------------------------------------------------------
498.72/501.45	c command: HOME/naps-1.03a6 HOME/tmp4v32zgnq.opb
498.72/501.46	c NaPS 1.03a6.
498.72/501.46	c Input file name: HOME/tmp4v32zgnq.opb
508.89/511.70	c _____________________________________________________________________________
508.89/511.70	c std/band forms        : 105,0
508.89/511.70	c 2cl/3cl ITE-codings   : 0,0
508.89/511.70	c BDD/srt/adr Max costs : 0,1410,0
508.89/511.70	c BDDraw/bin/mul/srt/adr: 0,0,0,105,0
508.89/511.70	c BDD nodes             : 0
508.89/511.70	c Es1/CC detections     : 0,0
508.89/511.70	c CC sort               : 105
508.89/511.70	c SAT/UNSAT calls       : 1,0
508.89/511.70	c regenrated variables  : 0
508.89/511.70	c eliminated fixed lits : 905
508.89/511.70	c goal lit flips        : 0
508.89/511.70	c goal stages           : 0
508.89/511.70	c goal shrink           : 0
508.89/511.70	c goal coeff separations: 0
508.89/511.70	c restarts              : 4231
508.89/511.70	c conflicts             : 95332          (9363 /sec)
508.89/511.70	c decisions             : 1143067        (112271 /sec)
508.89/511.70	c propagations          : 90340784       (8873211 /sec)
508.89/511.70	c inspects              : 0              (0 /sec)
508.89/511.70	c CPU time (solving tm) : 10.18 s        (10.04 s, SAT 10.04 s, UNSAT 0 s)
508.89/511.70	c Time for Opt-base     : 0.001557 s
508.89/511.70	c Steps for Opt-base    : 0
508.89/511.70	c Time for BDD coding   : 0 s
508.89/511.70	c Time for srt coding   : 0.01488 s
508.89/511.70	c _____________________________________________________________________________
508.99/511.70	s SATISFIABLE
508.99/511.70	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
508.99/511.70	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
508.99/511.70	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
508.99/511.70	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 -x6639 x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 x7139 x7140

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507565-1751183027/watcher-4507565-1751183027 -o /tmp/evaluation-result-4507565-1751183027/solver-4507565-1751183027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22500 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507565-1751183027.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=22551, runsolver pid=22539

[startup+0.100065 s]*
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127378744/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=20332 memory=14336 CPUtime=0.02 cores=5,7
/proc/22571/stat : 22571 (python3) D 22551 22551 22487 0 -1 4194304 1881 0 0 0 2 0 0 0 20 0 1 0 33977230 20819968 3584 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 1 0 0 17 7 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 5083 3584 2016 1 0 1837 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 24524 KiB
Current children cumulated memory: 17280 KiB

[startup+0.205823 s]*
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127378684/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=44944 memory=14336 CPUtime=0.02 cores=5,7
/proc/22571/stat : 22571 (python3) D 22551 22551 22487 0 -1 4194304 1888 0 4 0 2 0 0 0 20 0 1 0 33977230 46022656 3584 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 11236 3584 2016 1 0 3400 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49136 KiB
Current children cumulated memory: 17280 KiB

[startup+0.304973 s]*
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127377940/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=45024 memory=14464 CPUtime=0.02 cores=5,7
/proc/22571/stat : 22571 (python3) D 22551 22551 22487 0 -1 4194304 1897 0 4 0 2 0 0 0 20 0 1 0 33977230 46104576 3616 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 11256 3616 2048 1 0 3404 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49216 KiB
Current children cumulated memory: 17408 KiB

[startup+0.700159 s]
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127371392/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=75384 memory=24064 CPUtime=0.04 cores=5,7
/proc/22571/stat : 22571 (python3) D 22551 22551 22487 0 -1 4194304 2836 0 65 0 3 1 0 0 20 0 1 0 33977230 77193216 6016 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 18846 6016 3648 1 0 3879 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 79576 KiB
Current children cumulated memory: 27008 KiB

[startup+1.50027 s]
/proc/loadavg: 0.80 1.10 2.00 1/272 22572
/proc/meminfo: memFree=127334108/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1230212 memory=80856 CPUtime=0.22 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 13437 0 185 0 17 5 0 0 20 0 1 0 33977230 1259737088 20214 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 307553 20214 7638 1 0 278911 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 1234404 KiB
Current children cumulated memory: 83800 KiB

[startup+3.10569 s]
/proc/loadavg: 0.80 1.10 2.00 5/272 22572
/proc/meminfo: memFree=127060368/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1265340 memory=115084 CPUtime=1.82 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 21521 0 185 0 176 6 0 0 20 0 1 0 33977230 1295708160 28771 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 316335 28771 7702 1 0 287693 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 1269532 KiB
Current children cumulated memory: 118028 KiB
heavy processes:

[startup+6.30017 s]
/proc/loadavg: 1.05 1.15 2.01 5/272 22572
/proc/meminfo: memFree=127050968/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1266508 memory=117132 CPUtime=5 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 22000 0 185 0 494 6 0 0 20 0 1 0 33977230 1296904192 29283 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 316627 29283 7734 1 0 287985 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 1270700 KiB
Current children cumulated memory: 120076 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 1.29 1.20 2.02 5/272 22572
/proc/meminfo: memFree=126902636/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1267532 memory=118156 CPUtime=11.38 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 22257 0 185 0 1132 6 0 0 20 0 1 0 33977230 1297952768 29539 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 316883 29539 7734 1 0 288241 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 1271724 KiB
Current children cumulated memory: 121100 KiB

[startup+25.5002 s]
/proc/loadavg: 1.71 1.29 2.05 5/272 22573
/proc/meminfo: memFree=126826960/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1347644 memory=179092 CPUtime=24.15 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 36858 0 185 0 2406 9 0 0 20 0 1 0 33977230 1379987456 44773 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 336911 44773 7958 1 0 308269 0
Current children cumulated CPU time: 24.15 s
Current children cumulated vsize: 1351836 KiB
Current children cumulated memory: 182036 KiB

[startup+51.1056 s]
/proc/loadavg: 2.68 1.57 2.12 5/272 22573
/proc/meminfo: memFree=126682928/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1348512 memory=180244 CPUtime=49.68 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 37137 0 185 0 4959 9 0 0 20 0 1 0 33977230 1380876288 45061 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 337128 45061 7958 1 0 308486 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 1352704 KiB
Current children cumulated memory: 183188 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.96 2.22 5/271 22575
/proc/meminfo: memFree=126463928/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1445964 memory=275372 CPUtime=100.72 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 60186 0 185 0 10058 14 0 0 20 0 1 0 33977230 1480667136 68843 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361491 68843 7990 1 0 332849 0
Current children cumulated CPU time: 100.72 s
Current children cumulated vsize: 1450156 KiB
Current children cumulated memory: 278316 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.35 2.34 5/272 22578
/proc/meminfo: memFree=126410280/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1445964 memory=277804 CPUtime=160.56 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 60803 0 185 0 16042 14 0 0 20 0 1 0 33977230 1480667136 69451 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361491 69451 7990 1 0 332849 0
Current children cumulated CPU time: 160.56 s
Current children cumulated vsize: 1450156 KiB
Current children cumulated memory: 280748 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.67 2.45 5/271 22583
/proc/meminfo: memFree=126392924/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1446092 memory=278032 CPUtime=220.38 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69117 0 185 0 22022 16 0 0 20 0 1 0 33977230 1480798208 69508 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0

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

[pid=22571] ppid=22551 vsize=1447536 memory=279312 CPUtime=340.04 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69461 0 185 0 33988 16 0 0 20 0 1 0 33977230 1482276864 69828 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361884 69828 7990 1 0 333242 0
Current children cumulated CPU time: 340.04 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 282256 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.31 2.75 5/270 22594
/proc/meminfo: memFree=126330100/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1447536 memory=279312 CPUtime=399.88 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69463 0 185 0 39972 16 0 0 20 0 1 0 33977230 1482276864 69828 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361884 69828 7990 1 0 333242 0
Current children cumulated CPU time: 399.88 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 282256 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.46 2.83 5/270 22596
/proc/meminfo: memFree=126351488/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1447536 memory=279312 CPUtime=459.73 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69463 0 185 0 45957 16 0 0 20 0 1 0 33977230 1482276864 69828 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361884 69828 7990 1 0 333242 0
Current children cumulated CPU time: 459.73 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 282256 KiB

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

# cumulated CPU time of all completed processes:  user=508.883 s, system=0.232462 s

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

[startup+486.4 s]
/proc/loadavg: 4.10 3.52 2.87 5/269 22597
/proc/meminfo: memFree=126335736/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1447536 memory=279312 CPUtime=483.76 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69463 0 185 0 48360 16 0 0 20 0 1 0 33977230 1482276864 69828 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361884 69828 7990 1 0 333242 0
Current children cumulated CPU time: 483.76 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 282256 KiB

[startup+499.2 s]
/proc/loadavg: 4.09 3.53 2.88 5/269 22598
/proc/meminfo: memFree=126348716/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1447536 memory=279312 CPUtime=496.53 cores=5,7
/proc/22571/stat : 22571 (python3) R 22551 22551 22487 0 -1 4194304 69463 0 185 0 49637 16 0 0 20 0 1 0 33977230 1482276864 69828 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 361884 69828 7990 1 0 333242 0
Current children cumulated CPU time: 496.53 s
Current children cumulated vsize: 1451728 KiB
Current children cumulated memory: 282256 KiB

[startup+505.6 s]
/proc/loadavg: 4.08 3.54 2.89 5/273 22602
/proc/meminfo: memFree=126278568/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1451376 memory=283408 CPUtime=498.79 cores=5,7
/proc/22571/stat : 22571 (python3) S 22551 22551 22487 0 -1 4194304 70669 0 185 0 49862 17 0 0 20 0 1 0 33977230 1486209024 70852 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 362844 70852 8022 1 0 334202 0
[pid=22601] ppid=22571 vsize=33552 memory=29036 CPUtime=4.11 cores=5,7
/proc/22601/stat : 22601 (naps-1.03a6) R 22571 22601 22601 0 -1 4194304 12463 0 0 0 409 2 0 0 20 0 1 0 34027372 34357248 7259 18446744073709551615 4198400 7047149 140724078267232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11894784 140724078270865 140724078270963 140724078270963 140724078276553 0
/proc/22601/statm: 8388 7259 544 696 0 7549 0
Current children cumulated CPU time: 502.9 s
Current children cumulated vsize: 1489120 KiB
Current children cumulated memory: 315388 KiB

[startup+508.8 s]
/proc/loadavg: 4.07 3.55 2.90 5/273 22602
/proc/meminfo: memFree=126277836/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1451376 memory=283408 CPUtime=498.79 cores=5,7
/proc/22571/stat : 22571 (python3) S 22551 22551 22487 0 -1 4194304 70669 0 185 0 49862 17 0 0 20 0 1 0 33977230 1486209024 70852 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 362844 70852 8022 1 0 334202 0
[pid=22601] ppid=22571 vsize=35600 memory=29676 CPUtime=7.3 cores=5,7
/proc/22601/stat : 22601 (naps-1.03a6) R 22571 22601 22601 0 -1 4194304 12645 0 0 0 728 2 0 0 20 0 1 0 34027372 36454400 7419 18446744073709551615 4198400 7047149 140724078267232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11894784 140724078270865 140724078270963 140724078270963 140724078276553 0
/proc/22601/statm: 8900 7419 544 696 0 8061 0
Current children cumulated CPU time: 506.09 s
Current children cumulated vsize: 1491168 KiB
Current children cumulated memory: 316028 KiB

[startup+510.4 s]
/proc/loadavg: 4.07 3.55 2.90 4/267 22611
/proc/meminfo: memFree=126549336/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1451376 memory=283408 CPUtime=498.79 cores=5,7
/proc/22571/stat : 22571 (python3) S 22551 22551 22487 0 -1 4194304 70669 0 185 0 49862 17 0 0 20 0 1 0 33977230 1486209024 70852 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 362844 70852 8022 1 0 334202 0
[pid=22601] ppid=22571 vsize=35600 memory=30316 CPUtime=8.9 cores=5,7
/proc/22601/stat : 22601 (naps-1.03a6) R 22571 22601 22601 0 -1 4194304 12798 0 0 0 888 2 0 0 20 0 1 0 34027372 36454400 7579 18446744073709551615 4198400 7047149 140724078267232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11894784 140724078270865 140724078270963 140724078270963 140724078276553 0
/proc/22601/statm: 8900 7579 544 696 0 8061 0
Current children cumulated CPU time: 507.69 s
Current children cumulated vsize: 1491168 KiB
Current children cumulated memory: 316668 KiB

[startup+511.2 s]
/proc/loadavg: 4.07 3.56 2.90 5/273 22653
/proc/meminfo: memFree=126544868/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1451376 memory=283408 CPUtime=498.79 cores=5,7
/proc/22571/stat : 22571 (python3) S 22551 22551 22487 0 -1 4194304 70669 0 185 0 49862 17 0 0 20 0 1 0 33977230 1486209024 70852 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 362844 70852 8022 1 0 334202 0
[pid=22601] ppid=22571 vsize=35600 memory=30444 CPUtime=9.7 cores=5,7
/proc/22601/stat : 22601 (naps-1.03a6) R 22571 22601 22601 0 -1 4194304 12835 0 0 0 968 2 0 0 20 0 1 0 34027372 36454400 7611 18446744073709551615 4198400 7047149 140724078267232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11894784 140724078270865 140724078270963 140724078270963 140724078276553 0
/proc/22601/statm: 8900 7611 544 696 0 8061 0
Current children cumulated CPU time: 508.49 s
Current children cumulated vsize: 1491168 KiB
Current children cumulated memory: 316796 KiB

[startup+511.6 s]
/proc/loadavg: 4.07 3.56 2.90 5/273 22653
/proc/meminfo: memFree=126544868/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
[pid=22571] ppid=22551 vsize=1451376 memory=283408 CPUtime=498.79 cores=5,7
/proc/22571/stat : 22571 (python3) S 22551 22551 22487 0 -1 4194304 70669 0 185 0 49862 17 0 0 20 0 1 0 33977230 1486209024 70852 18446744073709551615 94358858936320 94358858936697 140725757940672 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94358858947992 94358858948612 94358873579520 140725757946200 140725757946402 140725757946402 140725757951975 0
/proc/22571/statm: 362844 70852 8022 1 0 334202 0
[pid=22601] ppid=22571 vsize=35600 memory=30444 CPUtime=10.1 cores=5,7
/proc/22601/stat : 22601 (naps-1.03a6) R 22571 22601 22601 0 -1 4194304 12835 0 0 0 1008 2 0 0 20 0 1 0 34027372 36454400 7611 18446744073709551615 4198400 7047149 140724078267232 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11894784 140724078270865 140724078270963 140724078270963 140724078276553 0
/proc/22601/statm: 8900 7611 544 696 0 8061 0
Current children cumulated CPU time: 508.89 s
Current children cumulated vsize: 1491168 KiB
Current children cumulated memory: 316796 KiB

[startup+511.8 s]
/proc/loadavg: 4.07 3.56 2.90 5/273 22653
/proc/meminfo: memFree=126544868/131249992 swapFree=33010672/33010684
[pid=22551] ppid=22539 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22551/stat : 22551 (scip-naps-1.00.) S 22539 22551 22487 0 -1 4194304 258 337 0 0 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94225794949120 94225795843653 140730408347232 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94225796082704 94225796130448 94225825230848 140730408352161 140730408352258 140730408352258 140730408357860 0
/proc/22551/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 511.805
CPU time (s): 509.115
CPU user time (s): 508.883
CPU system time (s): 0.232462
CPU usage (%): 99.4745
Max. virtual memory (cumulated for all children) (KiB): 1491168
Max. memory (cumulated for all children) (KiB): 316796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 508.883
system time used= 0.232462
maximum resident set size= 310956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112781
page faults= 185
swaps= 0
block input operations= 18952
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 926
involuntary context switches= 2790


# summary of solver processes directly reported to runsolver:
#   pid: 22551
#   total CPU time (s): 509.115
#   total CPU user time (s): 508.883
#   total CPU system time (s): 0.232462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03455 second user time and 2.12824 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 09:43:47
IDJOB=4507565
IDBENCH=158365
IDSOLVER=3368
FILE ID=nodeC035/4507565-1751183027
RUNJOBID= nodeC035-1751183027-22500
SLURM_JOB_ID= 9587567
Free space on /tmp= 433064 MiB

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

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

MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=1261576972

nodeC035 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.725
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.51
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.000
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.51
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.190
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.51
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		: 3599.726
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127398980 kB
MemAvailable:   129774800 kB
Buffers:            2352 kB
Cached:          3170752 kB
SwapCached:            8 kB
Active:           266048 kB
Inactive:        2971440 kB
Active(anon):      76532 kB
Inactive(anon):     6040 kB
Active(file):     189516 kB
Inactive(file):  2965400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23600 kB
Writeback:             0 kB
AnonPages:         67584 kB
Mapped:           102756 kB
Shmem:             18056 kB
KReclaimable:     120284 kB
Slab:             206300 kB
SReclaimable:     120284 kB
SUnreclaim:        86016 kB
KernelStack:        4144 kB
PageTables:         2904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC035 at 2025-06-29 09:52:19