Trace number 4530370

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2SAT (TO)4219117 3600.13 3611.7

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4219117
Best CPU time to get the best result obtained on this benchmark482.664
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

31.77/31.92	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530370-1752255429.opb
31.77/31.92	c Solving mode: optimization
31.77/31.92	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
31.77/31.92	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
31.77/31.92	c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
31.77/31.92	c presolving:
31.77/31.92	c (round 1, fast)       4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
31.77/31.92	c (round 2, exhaustive) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 0 impls, 71 clqs
31.77/31.92	c    (0.3s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
31.77/31.92	c    (0.3s) probing aborted: 50/50 successive totally useless probings
31.77/31.92	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
31.77/31.92	c    (0.3s) no symmetry present (symcode time: 0.00)
31.77/31.92	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
31.77/31.92	c  4970 deleted vars, 9662 deleted constraints, 0 added constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
31.77/31.92	c  0 implications, 71 cliques
31.77/31.92	c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
31.77/31.92	c    2625 constraints of type <knapsack>
31.77/31.92	c      71 constraints of type <setppc>
31.77/31.92	c       3 constraints of type <linear>
31.77/31.92	c    2485 constraints of type <logicor>
31.77/31.92	c transformed objective value is always integral (scale: 2)
31.77/31.92	c Presolving Time: 0.32
31.77/31.92	c 
31.77/31.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.77/31.92	c p 0.4s|     1 |     0 |   113 |     - |  clique|   0 |4970 |5184 |5184 |   0 |  0 |   0 |   0 |-3.000000e+00 | 1.568109e+08 |    Inf | unknown
31.77/31.92	c   1.8s|     1 |     0 |  6270 |     - |    96M |   0 |4970 |5184 |5184 |   0 |  0 |  53 |   0 | 1.785945e+06 | 1.568109e+08 |8680.27%| unknown
31.77/31.92	c   1.9s|     1 |     0 |  6270 |     - |    96M |   0 |4970 |5185 |5128 |   0 |  0 |  54 |   0 | 1.785945e+06 | 1.568109e+08 |8680.27%| unknown
31.77/31.92	c   2.5s|     1 |     0 |  7292 |     - |   110M |   0 |4970 |5185 |5161 |  33 |  1 |  54 |   0 | 1.849869e+06 | 1.568109e+08 |8376.86%| unknown
31.77/31.92	c   2.9s|     1 |     0 |  8118 |     - |   110M |   0 |4970 |5186 |5188 |  60 |  2 |  55 |   0 | 1.877495e+06 | 1.568109e+08 |8252.13%| unknown
31.77/31.92	c   3.3s|     1 |     0 |  8718 |     - |   111M |   0 |4970 |5187 |5199 |  71 |  3 |  56 |   0 | 1.904515e+06 | 1.568109e+08 |8133.64%| unknown
31.77/31.92	c   3.7s|     1 |     0 |  9140 |     - |   113M |   0 |4970 |5188 |5205 |  77 |  4 |  57 |   0 | 1.915666e+06 | 1.568109e+08 |8085.71%| unknown
31.77/31.92	c   4.1s|     1 |     0 |  9569 |     - |   116M |   0 |4970 |5189 |5219 |  91 |  5 |  58 |   0 | 1.927231e+06 | 1.568109e+08 |8036.59%| unknown
31.77/31.92	c   4.5s|     1 |     0 |  9872 |     - |   118M |   0 |4970 |5190 |5224 |  96 |  6 |  59 |   0 | 1.936049e+06 | 1.568109e+08 |7999.53%| unknown
31.77/31.92	c   4.9s|     1 |     0 | 10225 |     - |   120M |   0 |4970 |5191 |5229 | 101 |  7 |  60 |   0 | 1.953088e+06 | 1.568109e+08 |7928.87%| unknown
31.77/31.92	c   5.3s|     1 |     0 | 10540 |     - |   120M |   0 |4970 |5192 |5237 | 109 |  8 |  61 |   0 | 1.959094e+06 | 1.568109e+08 |7904.25%| unknown
31.77/31.92	c   5.8s|     1 |     0 | 11436 |     - |   121M |   0 |4970 |5193 |5241 | 113 |  9 |  62 |   0 | 1.980870e+06 | 1.568109e+08 |7816.26%| unknown
31.77/31.92	c   6.3s|     1 |     0 | 11952 |     - |   122M |   0 |4970 |5194 |5254 | 126 | 10 |  63 |   0 | 1.991637e+06 | 1.568109e+08 |7773.46%| unknown
31.77/31.92	c   6.5s|     1 |     0 | 12462 |     - |   123M |   0 |4970 |5195 |5260 | 132 | 11 |  64 |   0 | 2.001622e+06 | 1.568109e+08 |7734.19%| unknown
31.77/31.92	c   6.7s|     1 |     0 | 12640 |     - |   124M |   0 |4970 |5196 |5269 | 141 | 12 |  65 |   0 | 2.002520e+06 | 1.568109e+08 |7730.68%| unknown
31.77/31.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.77/31.92	c   6.8s|     1 |     0 | 12804 |     - |   125M |   0 |4970 |5197 |5273 | 145 | 13 |  66 |   0 | 2.003395e+06 | 1.568109e+08 |7727.25%| unknown
31.77/31.92	c   7.1s|     1 |     0 | 13351 |     - |   126M |   0 |4970 |5198 |5279 | 151 | 14 |  67 |   0 | 2.008364e+06 | 1.568109e+08 |7707.89%| unknown
31.77/31.92	c   7.4s|     1 |     0 | 13773 |     - |   126M |   0 |4970 |5199 |5287 | 159 | 15 |  68 |   0 | 2.014412e+06 | 1.568109e+08 |7684.45%| unknown
31.77/31.92	c   7.6s|     1 |     0 | 14237 |     - |   127M |   0 |4970 |5200 |5291 | 165 | 16 |  69 |   0 | 2.026581e+06 | 1.568109e+08 |7637.71%| unknown
31.77/31.92	c   7.8s|     1 |     0 | 14662 |     - |   127M |   0 |4970 |5202 |5303 | 177 | 17 |  71 |   0 | 2.031993e+06 | 1.568109e+08 |7617.09%| unknown
31.77/31.92	c   8.2s|     1 |     0 | 15711 |     - |   128M |   0 |4970 |5203 |5308 | 182 | 18 |  72 |   0 | 2.042168e+06 | 1.568109e+08 |7578.65%| unknown
31.77/31.92	c   8.5s|     1 |     0 | 16113 |     - |   130M |   0 |4970 |5204 |5315 | 189 | 19 |  73 |   0 | 2.043904e+06 | 1.568109e+08 |7572.12%| unknown
31.77/31.92	c   8.7s|     1 |     0 | 16402 |     - |   130M |   0 |4970 |5205 |5326 | 200 | 20 |  74 |   0 | 2.046678e+06 | 1.568109e+08 |7561.73%| unknown
31.77/31.92	c   8.8s|     1 |     0 | 16409 |     - |   131M |   0 |4970 |5206 |5328 | 202 | 21 |  75 |   0 | 2.046686e+06 | 1.568109e+08 |7561.70%| unknown
31.77/31.92	c d17.0s|     1 |     0 | 42367 |     - |conflict|   0 |4970 |5205 |5328 |   0 | 22 |  77 |   0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
31.77/31.92	c  18.6s|     1 |     0 | 42367 |     - |   132M |   0 |4970 |5069 |5328 | 202 | 22 |  77 |   0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
31.77/31.92	c  18.6s|     1 |     0 | 42367 |     - |   133M |   0 |4970 |5070 |5185 | 202 | 22 |  78 |   0 | 2.046686e+06 | 1.058013e+08 |5069.40%| unknown
31.77/31.92	c  25.1s|     1 |     2 | 42367 |     - |   133M |   0 |4970 |5063 |5185 | 202 | 23 |  78 |  24 | 2.061273e+06 | 1.058013e+08 |5032.81%| unknown
31.77/31.92	c (run 1, node 1) restarting after 199 global fixings of integer variables
31.77/31.92	c 
31.77/31.92	c (restart) converted 51 cuts from the global cut pool into linear constraints
31.77/31.92	c 
31.77/31.92	c presolving:
31.77/31.92	c (round 1, fast)       199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
31.77/31.92	c (round 2, exhaustive) 199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 46 upgd conss, 0 impls, 71 clqs
31.77/31.92	c (round 3, medium)     199 del vars, 53 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 6 chg coeffs, 46 upgd conss, 0 impls, 71 clqs
31.77/31.92	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
31.77/31.92	c  199 deleted vars, 53 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 6 changed coefficients
31.77/31.92	c  0 implications, 71 cliques
31.77/31.92	c presolved problem has 4771 variables (4771 bin, 0 int, 0 impl, 0 cont) and 5061 constraints
31.77/31.92	c    2469 constraints of type <knapsack>
31.77/31.92	c      71 constraints of type <setppc>
31.77/31.92	c       8 constraints of type <linear>
31.77/31.92	c    2513 constraints of type <logicor>
31.77/31.92	c transformed objective value is always integral (scale: 2)
31.77/31.92	c Presolving Time: 0.41
31.77/31.92	c transformed 2/2 original solutions to the transformed problem space
31.77/31.92	c 
31.77/31.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.77/31.92	c  28.2s|     1 |     0 | 52971 |     - |   138M |   0 |4771 |5061 |5036 |   0 |  0 |  78 |  24 | 2.061273e+06 | 1.058013e+08*|5032.81%| unknown
31.77/31.92	c  29.4s|     1 |     0 | 55379 |     - |   139M |   0 |4771 |5062 |5085 |  49 |  1 |  79 |  24 | 2.061273e+06 | 1.058013e+08*|5032.81%| unknown
31.77/31.92	c  30.1s|     1 |     0 | 56253 |     - |   140M |   0 |4771 |5063 |5114 |  78 |  2 |  80 |  24 | 2.061273e+06 | 1.058013e+08*|5032.81%| unknown
31.77/31.92	c  30.6s|     1 |     0 | 56860 |     - |   140M |   0 |4771 |5063 |5132 |  96 |  3 |  80 |  24 | 2.064959e+06 | 1.058013e+08*|5023.65%| unknown
31.77/31.92	c  31.2s|     1 |     0 | 57252 |     - |   141M |   0 |4771 |5064 |5141 | 105 |  4 |  81 |  24 | 2.067946e+06 | 1.058013e+08*|5016.25%| unknown
861.21/863.98	c  31.7s|     1 |     0 | 57823 |     - |   141M |   0 |4771 |5064 |5146 | 110 |  5 |  81 |  24 | 2.071589e+06 | 1.058013e+08*|5007.25%| unknown
861.21/863.98	c  32.2s|     1 |     0 | 58003 |     - |   142M |   0 |4771 |5065 |5149 | 113 |  6 |  82 |  24 | 2.072618e+06 | 1.058013e+08*|5004.72%| unknown
861.21/863.98	c  32.8s|     1 |     0 | 58309 |     - |   143M |   0 |4771 |5066 |5157 | 121 |  7 |  83 |  24 | 2.074397e+06 | 1.058013e+08*|5000.34%| unknown
861.21/863.98	c  33.2s|     1 |     0 | 58516 |     - |   143M |   0 |4771 |5067 |5164 | 128 |  8 |  84 |  24 | 2.075036e+06 | 1.058013e+08*|4998.77%| unknown
861.21/863.98	c  33.7s|     1 |     0 | 58735 |     - |   144M |   0 |4771 |5068 |5171 | 135 |  9 |  85 |  24 | 2.076014e+06 | 1.058013e+08*|4996.37%| unknown
861.21/863.98	c  34.3s|     1 |     0 | 59058 |     - |   144M |   0 |4771 |5069 |5173 | 137 | 10 |  86 |  24 | 2.077420e+06 | 1.058013e+08*|4992.92%| unknown
861.21/863.98	c  34.7s|     1 |     0 | 60066 |     - |   145M |   0 |4771 |5069 |5179 | 143 | 11 |  86 |  24 | 2.081250e+06 | 1.058013e+08*|4983.55%| unknown
861.21/863.98	c  35.0s|     1 |     0 | 60316 |     - |   146M |   0 |4771 |5070 |5170 | 149 | 12 |  87 |  24 | 2.083088e+06 | 1.058013e+08*|4979.06%| unknown
861.21/863.98	c  35.4s|     1 |     0 | 61132 |     - |   146M |   0 |4771 |5071 |5177 | 156 | 13 |  88 |  24 | 2.087652e+06 | 1.058013e+08*|4967.96%| unknown
861.21/863.98	c  35.8s|     1 |     0 | 61628 |     - |   147M |   0 |4771 |5072 |5181 | 160 | 14 |  89 |  24 | 2.092163e+06 | 1.058013e+08*|4957.03%| unknown
861.21/863.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
861.21/863.98	c  36.2s|     1 |     0 | 62307 |     - |   147M |   0 |4771 |5073 |5184 | 163 | 15 |  90 |  24 | 2.094611e+06 | 1.058013e+08*|4951.12%| unknown
861.21/863.98	c  36.5s|     1 |     0 | 62667 |     - |   148M |   0 |4771 |5074 |5188 | 167 | 16 |  91 |  24 | 2.095694e+06 | 1.058013e+08*|4948.51%| unknown
861.21/863.98	c  36.8s|     1 |     0 | 63097 |     - |   148M |   0 |4771 |5075 |5192 | 171 | 17 |  92 |  24 | 2.096877e+06 | 1.058013e+08*|4945.66%| unknown
861.21/863.98	c  37.1s|     1 |     0 | 63395 |     - |   148M |   0 |4771 |5076 |5193 | 175 | 18 |  93 |  24 | 2.097904e+06 | 1.058013e+08*|4943.19%| unknown
861.21/863.98	c  37.4s|     1 |     0 | 63716 |     - |   149M |   0 |4771 |5077 |5196 | 178 | 19 |  94 |  24 | 2.098636e+06 | 1.058013e+08*|4941.43%| unknown
861.21/863.98	c  37.7s|     1 |     0 | 64006 |     - |   150M |   0 |4771 |5078 |5197 | 179 | 20 |  95 |  24 | 2.099501e+06 | 1.058013e+08*|4939.36%| unknown
861.21/863.98	c  37.9s|     1 |     0 | 64038 |     - |   150M |   0 |4771 |5079 |5199 | 181 | 21 |  96 |  24 | 2.099526e+06 | 1.058013e+08*|4939.30%| unknown
861.21/863.98	c d48.6s|     1 |     0 | 96841 |     - |conflict|   0 |4771 |5080 |5199 |   0 | 22 |  97 |  24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
861.21/863.98	c  49.4s|     1 |     0 | 96841 |     - |   150M |   0 |4771 |4687 |5199 | 181 | 22 |  97 |  24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
861.21/863.98	c  49.4s|     1 |     0 | 96841 |     - |   150M |   0 |4771 |4690 |4785 | 181 | 22 | 100 |  24 | 2.099526e+06 | 5.466186e+07 |2503.53%| unknown
861.21/863.98	c  56.6s|     1 |     2 | 96841 |     - |   150M |   0 |4771 |4669 |4785 | 181 | 23 | 100 |  47 | 2.107485e+06 | 5.466186e+07 |2493.70%| unknown
861.21/863.98	c *85.6s|     7 |     6 |109742 |10253.6 |strongbr|   6 |4771 |4669 |4766 | 181 |  1 | 100 | 203 | 2.107485e+06 | 4.615261e+06 | 118.99%| unknown
861.21/863.98	c * 103s|    15 |    10 |117916 |5329.9 |    LP  |  12 |4771 |4682 |4780 | 209 |  2 | 113 | 292 | 2.107485e+06 | 4.585001e+06 | 117.56%|   2.23%
861.21/863.98	c   112s|   100 |    25 |141884 |1039.2 |   154M |  36 |4771 |4704 |4782 | 219 |  2 | 135 | 301 | 2.107485e+06 | 4.585001e+06 | 117.56%|   3.61%
861.21/863.98	c   160s|   200 |    17 |247126 |1045.8 |   165M |  36 |4771 |4720 |4815 | 387 | 10 | 201 | 374 | 2.115212e+06 | 4.585001e+06 | 116.76%|  24.34%
861.21/863.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
861.21/863.98	c   232s|   300 |    15 |392865 |1183.0 |   176M |  36 |4771 |4733 |4819 | 689 | 13 | 223 | 520 | 2.124353e+06 | 4.585001e+06 | 115.83%|  27.59%
861.21/863.98	c   292s|   400 |    21 |531986 |1235.0 |   179M |  36 |4771 |4804 |4786 | 865 |  2 | 300 | 660 | 2.262285e+06 | 4.585001e+06 | 102.67%|  28.61%
861.21/863.98	c   322s|   500 |    39 |631066 |1186.2 |   181M |  44 |4771 |4826 |4808 | 917 |  2 | 340 | 699 | 2.262503e+06 | 4.585001e+06 | 102.65%|  28.61%
861.21/863.98	c   345s|   600 |    41 |682681 |1074.5 |   182M |  44 |4771 |4829 |4796 | 956 |  0 | 429 | 766 | 2.266746e+06 | 4.585001e+06 | 102.27%|  28.63%
861.21/863.98	c   360s|   700 |    45 |715056 | 967.3 |   182M |  44 |4771 |4839 |4799 | 984 |  1 | 460 | 806 | 2.266746e+06 | 4.585001e+06 | 102.27%|  28.63%
861.21/863.98	c   383s|   800 |    41 |771281 | 916.6 |   183M |  44 |4771 |4892 |4796 |1022 |  0 | 543 | 887 | 2.281323e+06 | 4.585001e+06 | 100.98%|  33.29%
861.21/863.98	c   412s|   900 |    63 |843281 | 894.8 |   183M |  44 |4771 |4925 |4797 |1042 |  2 | 606 | 971 | 2.283547e+06 | 4.585001e+06 | 100.78%|  33.30%
861.21/863.98	c   436s|  1000 |    91 |903908 | 865.9 |   184M |  44 |4771 |4978 |4790 |1057 |  0 | 679 |1048 | 2.291425e+06 | 4.585001e+06 | 100.09%|  33.34%
861.21/863.98	c   458s|  1100 |    99 |956951 | 835.4 |   184M |  44 |4771 |5009 |4802 |1080 |  0 | 745 |1097 | 2.304732e+06 | 4.585001e+06 |  98.94%|  33.41%
861.21/863.98	c   480s|  1200 |   105 |  1010k| 810.8 |   185M |  44 |4771 |4991 |4801 |1098 |  0 | 807 |1149 | 2.352267e+06 | 4.585001e+06 |  94.92%|  33.88%
861.21/863.98	c   502s|  1300 |   117 |  1071k| 795.0 |   186M |  44 |4771 |5001 |4802 |1125 |  3 | 851 |1203 | 2.352267e+06 | 4.585001e+06 |  94.92%|  33.88%
861.21/863.98	c   541s|  1400 |   115 |  1170k| 809.0 |   186M |  44 |4771 |5138 |4798 |1189 |  2 |1039 |1394 | 2.353981e+06 | 4.585001e+06 |  94.78%|  33.89%
861.21/863.98	c   561s|  1500 |   105 |  1218k| 786.7 |   187M |  44 |4771 |5138 |4796 |1231 |  0 |1139 |1469 | 2.353981e+06 | 4.585001e+06 |  94.78%|  33.89%
861.21/863.98	c   585s|  1600 |   113 |  1273k| 772.5 |   187M |  44 |4771 |5164 |4788 |1284 |  1 |1242 |1588 | 2.384286e+06 | 4.585001e+06 |  92.30%|  34.05%
861.21/863.98	c * 596s|  1660 |   108 |  1302k| 761.6 |    LP  |  44 |4771 |5208 |4792 |1317 |  2 |1287 |1615 | 2.389989e+06 | 4.481461e+06 |  87.51%|  34.08%
861.21/863.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
861.21/863.98	c   613s|  1700 |   110 |  1341k| 766.9 |   187M |  44 |4771 |5114 |4788 |1328 |  1 |1311 |1661 | 2.392193e+06 | 4.481461e+06 |  87.34%|  35.82%
861.21/863.98	c * 624s|  1755 |   109 |  1370k| 759.1 |    LP  |  44 |4771 |5148 |4791 |1342 |  2 |1348 |1697 | 2.392193e+06 | 4.349113e+06 |  81.80%|  36.03%
861.21/863.98	c   632s|  1800 |   108 |  1387k| 750.0 |   187M |  44 |4771 |5182 |4789 |1364 |  1 |1399 |1726 | 2.392193e+06 | 4.349113e+06 |  81.80%|  37.87%
861.21/863.98	c   657s|  1900 |   100 |  1448k| 742.4 |   187M |  44 |4771 |5218 |4794 |1404 |  0 |1549 |1826 | 2.392193e+06 | 4.349113e+06 |  81.80%|  40.56%
861.21/863.98	c   680s|  2000 |   106 |  1501k| 732.0 |   187M |  44 |4771 |5210 |4792 |1448 |  1 |1600 |1890 | 2.464860e+06 | 4.349113e+06 |  76.44%|  41.04%
861.21/863.98	c   704s|  2100 |    94 |  1562k| 725.9 |   188M |  44 |4771 |5118 |4790 |1468 |  1 |1690 |2031 | 2.464860e+06 | 4.349113e+06 |  76.44%|  43.52%
861.21/863.98	c   728s|  2200 |    90 |  1621k| 720.0 |   188M |  44 |4771 |5031 |4789 |1476 |  2 |1756 |2104 | 2.530926e+06 | 4.349113e+06 |  71.84%|  46.36%
861.21/863.98	c   748s|  2300 |    92 |  1671k| 710.1 |   189M |  44 |4771 |5017 |   0 |1514 |  0 |1845 |2190 | 2.530926e+06 | 4.349113e+06 |  71.84%|  46.38%
861.21/863.98	c   776s|  2400 |    92 |  1736k| 707.7 |   189M |  44 |4771 |5033 |4791 |1517 |  3 |1919 |2295 | 2.542575e+06 | 4.349113e+06 |  71.05%|  46.62%
861.21/863.98	c * 786s|  2435 |    93 |  1762k| 708.4 |    LP  |  44 |4771 |4871 |4800 |1532 |  1 |1933 |2316 | 2.574058e+06 | 4.333081e+06 |  68.34%|  46.64%
861.21/863.98	c   804s|  2500 |    94 |  1803k| 706.1 |   190M |  49 |4771 |4898 |4808 |1632 |  0 |1981 |2383 | 2.586388e+06 | 4.333081e+06 |  67.53%|  47.94%
861.21/863.98	c   822s|  2600 |    95 |  1847k| 695.9 |   191M |  55 |4771 |4977 |4826 |1678 |  0 |2079 |2454 | 2.625839e+06 | 4.333081e+06 |  65.02%|  48.23%
861.21/863.98	c   844s|  2700 |   101 |  1897k| 688.7 |   193M |  55 |4771 |4959 |4801 |1755 |  0 |2139 |2559 | 2.660877e+06 | 4.333081e+06 |  62.84%|  48.27%
997.23/1000.31	c   864s|  2800 |    98 |  1946k| 681.5 |   193M |  55 |4771 |5020 |4808 |1777 |  3 |2262 |2644 | 2.676060e+06 | 4.333081e+06 |  61.92%|  48.30%
997.23/1000.31	c   880s|  2900 |   101 |  1984k| 671.2 |   196M |  55 |4771 |5055 |4801 |1804 |  1 |2309 |2699 | 2.676060e+06 | 4.333081e+06 |  61.92%|  48.36%
997.23/1000.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.23/1000.31	c * 899s|  2969 |    93 |  2031k| 671.4 |strongbr|  55 |4771 |5191 |4810 |1850 |  6 |2452 |2786 | 2.702781e+06 | 4.219117e+06 |  56.10%|  48.53%
997.23/1000.31	c   908s|  3000 |    94 |  2050k| 670.9 |   197M |  55 |4771 |5215 |4813 |1855 |  1 |2489 |2834 | 2.702781e+06 | 4.219117e+06 |  56.10%|  48.81%
997.23/1000.31	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
997.23/1000.31	c (run 2, node 3083) performing user restart
997.23/1000.31	c 
997.23/1000.31	c (restart) converted 68 cuts from the global cut pool into linear constraints
997.23/1000.31	c 
997.23/1000.31	c presolving:
997.23/1000.31	c (round 1, fast)       1842 del vars, 1434 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 568 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c (round 2, medium)     1844 del vars, 1436 del conss, 4 add conss, 0 chg bounds, 2 chg sides, 568 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c (round 3, fast)       1844 del vars, 1444 del conss, 6 add conss, 0 chg bounds, 2 chg sides, 576 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c (round 4, exhaustive) 1844 del vars, 1444 del conss, 6 add conss, 0 chg bounds, 2 chg sides, 576 chg coeffs, 68 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c (round 5, medium)     1844 del vars, 1444 del conss, 6 add conss, 0 chg bounds, 6 chg sides, 580 chg coeffs, 68 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c (round 6, exhaustive) 1844 del vars, 1509 del conss, 6 add conss, 0 chg bounds, 6 chg sides, 5652 chg coeffs, 68 upgd conss, 0 impls, 70 clqs
997.23/1000.31	c presolving (7 rounds: 7 fast, 5 medium, 3 exhaustive):
997.23/1000.31	c  1844 deleted vars, 1509 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 5687 changed coefficients
997.23/1000.31	c  0 implications, 70 cliques
997.23/1000.31	c presolved problem has 2927 variables (2927 bin, 0 int, 0 impl, 0 cont) and 3852 constraints
997.23/1000.31	c     686 constraints of type <knapsack>
997.23/1000.31	c      70 constraints of type <setppc>
997.23/1000.31	c      16 constraints of type <linear>
997.23/1000.31	c    3080 constraints of type <logicor>
997.23/1000.31	c transformed objective value is always integral (scale: 2)
997.23/1000.31	c Presolving Time: 0.63
997.23/1000.31	c transformed 12/16 original solutions to the transformed problem space
997.23/1000.31	c 
997.23/1000.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.23/1000.31	c   926s|     1 |     0 |  2095k|     - |   203M |   0 |2927 |3852 |3260 |   0 |  0 |2595 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   927s|     1 |     0 |  2099k|     - |   203M |   0 |2927 |3853 |3299 |  39 |  1 |2596 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   927s|     1 |     0 |  2099k|     - |   203M |   0 |2927 |3854 |3298 |  39 |  1 |2597 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   928s|     1 |     0 |  2100k|     - |   204M |   0 |2927 |3851 |3327 |  68 |  2 |2597 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   928s|     1 |     0 |  2100k|     - |   204M |   0 |2927 |3851 |3326 |  68 |  2 |2597 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   928s|     1 |     0 |  2101k|     - |   204M |   0 |2927 |3850 |3356 |  98 |  3 |2597 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   928s|     1 |     0 |  2102k|     - |   204M |   0 |2927 |3836 |3374 | 116 |  4 |2598 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   929s|     1 |     0 |  2102k|     - |   205M |   0 |2927 |3835 |3385 | 127 |  5 |2599 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   929s|     1 |     0 |  2103k|     - |   205M |   0 |2927 |3825 |3398 | 140 |  6 |2600 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   929s|     1 |     0 |  2104k|     - |   206M |   0 |2927 |3820 |3407 | 149 |  7 |2601 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   930s|     1 |     0 |  2104k|     - |   206M |   0 |2927 |3815 |3413 | 155 |  8 |2602 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   930s|     1 |     0 |  2104k|     - |   206M |   0 |2927 |3805 |3419 | 161 |  9 |2604 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   930s|     1 |     0 |  2105k|     - |   207M |   0 |2927 |3799 |3423 | 165 | 10 |2605 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   930s|     1 |     0 |  2105k|     - |   207M |   0 |2927 |3794 |3427 | 169 | 11 |2606 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   931s|     1 |     0 |  2106k|     - |   207M |   0 |2927 |3788 |3433 | 175 | 12 |2608 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.23/1000.31	c   931s|     1 |     0 |  2106k|     - |   208M |   0 |2927 |3784 |3436 | 178 | 13 |2608 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   931s|     1 |     0 |  2107k|     - |   208M |   0 |2927 |3775 |3372 | 182 | 14 |2609 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   931s|     1 |     0 |  2107k|     - |   208M |   0 |2927 |3767 |3378 | 188 | 15 |2610 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2108k|     - |   209M |   0 |2927 |3752 |3383 | 193 | 16 |2612 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2108k|     - |   209M |   0 |2927 |3743 |3391 | 201 | 17 |2613 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2108k|     - |   210M |   0 |2927 |3737 |3396 | 206 | 18 |2614 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2109k|     - |   210M |   0 |2927 |3730 |3400 | 210 | 19 |2615 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2109k|     - |   210M |   0 |2927 |3710 |3392 | 216 | 20 |2616 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2109k|     - |   210M |   0 |2927 |3691 |3395 | 219 | 21 |2617 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   932s|     1 |     0 |  2109k|     - |   210M |   0 |2927 |3684 |3396 | 220 | 22 |2618 |2893 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c   947s|     1 |     2 |  2153k|     - |   211M |   0 |2927 |3611 |3396 | 220 | 23 |2631 |2903 | 2.713604e+06 | 4.219117e+06 |  55.48%| unknown
997.23/1000.31	c 
997.23/1000.31	c SCIP Status        : solving was interrupted [time limit reached]
997.23/1000.31	c Solving Time (sec) : 1000.00
997.23/1000.31	c Solving Nodes      : 65 (total of 3149 nodes in 3 runs)
997.23/1000.31	c Primal Bound       : +4.21911700000000e+06 (16 solutions)
997.23/1000.31	c Dual Bound         : +2.71360372499995e+06
997.23/1000.31	c Gap                : 55.48 %
997.23/1000.31	c All original constraints are satisfied.
997.23/1000.31	c SCIP's best solution is verified feasible for the original problem.
997.23/1000.31	c ----------------------------------------------------------------------
997.23/1000.31	c dual bound: 2713603.7249999517 -> 2713604
997.23/1000.31	c primal bound: 4219117.0 -> 4219117
997.23/1000.31	c scip-goal-lb: 2713604
997.23/1000.31	c scip-goal-ub: 4219117
997.23/1000.31	c writing output to: HOME/tmpew2ua1gb.opb
997.23/1000.31	c appending fixed variable constraints
997.23/1000.31	c scip-fixed vars: 144.38% (4226/2927)
997.23/1000.31	c ----------------------------------------------------------------------
997.23/1000.31	c executing external solver: HOME/naps-1.03a6
997.23/1000.31	c ----------------------------------------------------------------------
997.23/1000.31	c command: HOME/naps-1.03a6 -goal-lb=2713604 -goal-ub=4219116 HOME/tmpew2ua1gb.opb
997.23/1000.31	c NaPS 1.03a6.
997.23/1000.32	c Input file name: HOME/tmpew2ua1gb.opb
1023.44/1026.69	c single stage optimization mode
3600.00/3611.60	c
3600.00/3611.60	c *** TERMINATED *** by signal 15
3600.00/3611.60	c s UNKNOWN
3600.00/3611.60	c _____________________________________________________________________________
3600.00/3611.60	c std/band forms        : 2634,0
3600.00/3611.60	c 2cl/3cl ITE-codings   : 124718,0
3600.00/3611.60	c BDD/srt/adr Max costs : 1146,8382562,0
3600.00/3611.60	c BDDraw/bin/mul/srt/adr: 2625,0,0,9,0
3600.00/3611.60	c BDD nodes             : 153662
3600.00/3611.60	c Es1/CC detections     : 0,0
3600.00/3611.60	c CC sort               : 4
3600.00/3611.60	c SAT/UNSAT calls       : 0,0
3600.00/3611.60	c regenrated variables  : 0
3600.00/3611.60	c eliminated fixed lits : 14718
3600.00/3611.60	c goal lit flips        : 0
3600.00/3611.60	c goal stages           : 1
3600.00/3611.60	c goal shrink           : 0
3600.00/3611.60	c goal coeff separations: 1524
3600.00/3611.60	c restarts              : 0
3600.00/3611.60	c conflicts             : 0              (0 /sec)
3600.00/3611.60	c decisions             : 0              (0 /sec)
3600.00/3611.60	c propagations          : 0              (0 /sec)
3600.00/3611.60	c inspects              : 0              (0 /sec)
3600.00/3611.60	c CPU time (solving tm) : 2592 s        (2567 s, SAT 0 s, UNSAT 0 s)
3600.00/3611.60	c Time for Opt-base     : 14.31 s
3600.00/3611.60	c Steps for Opt-base    : 81632345
3600.00/3611.60	c Time for BDD coding   : 0.4108 s
3600.00/3611.60	c Time for srt coding   : 2.766 s
3600.00/3611.60	c _____________________________________________________________________________
3600.00/3611.60	c received SIGTERM, forwarding to pbsolver...
3600.00/3611.63	v -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 -x1541 -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 -x2311 -x2312 -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 -x3081 -x3082 -x3083 -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 -x3851 -x3852 -x3853 -x3854 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871
3600.00/3611.63	v -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 -x4621 -x4622 -x4623 -x4624 -x4625 -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 -x4761 -x4762 x4763 -x4764 x4765 -x4766 -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 -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 -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
3600.00/3611.63	v -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 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -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 -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 -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 -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 -x365 -x366 -x367 -x368 -x369 -x370 -x371
3600.00/3611.63	v -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 -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 -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 -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 -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
3600.00/3611.63	v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -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 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -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 -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 -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 -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
3600.00/3611.63	v -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 -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 -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 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 -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
3600.00/3611.63	v -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 -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 -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 -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 -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 -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
3600.00/3611.63	v -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 -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 -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 -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 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -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
3600.00/3611.63	v -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -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 -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 -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 -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 -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
3600.00/3611.63	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -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 -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 -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 -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
3600.00/3611.63	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -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 -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 -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 -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
3600.00/3611.63	v -x2987 -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 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -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 -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 -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 -x3343 -x3344 -x3345 -x3346 -x3347
3600.00/3611.63	v -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 -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 -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 -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 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637
3600.00/3611.63	v -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 -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 -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 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -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 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997
3600.00/3611.63	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -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 -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 -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 -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 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
3600.00/3611.63	v -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 -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 -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 -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 -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
3600.00/3611.63	v -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 -x4620 -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 -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 -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 -x6511 -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
3600.00/3611.63	v -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 -x7281 -x7282 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x8051 -x8052 -x8053 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8821 -x8822 -x8823 -x8824 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x9591 -x9592 -x9593 -x9594 -x9595 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636
3600.00/3611.63	v -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 x9807 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 x9823 -x9824 -x9825 x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -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
3600.00/3611.63	v -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -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 -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 -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 -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
3600.00/3611.63	v -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -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 -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 -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 -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
3600.00/3611.63	v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -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 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -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 -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 -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 -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
3600.00/3611.63	v -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -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 -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 -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 -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
3600.00/3611.63	v -x6324 -x6325 -x6326 -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 -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 -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 -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 -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 -x6682 -x6683
3600.00/3611.63	v -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 -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 -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 -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 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972
3600.00/3611.63	v -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 -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 -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 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261
3600.00/3611.63	v -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620
3600.00/3611.63	v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909
3600.00/3611.63	v -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268
3600.00/3611.63	v -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557
3600.00/3611.63	v -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916
3600.00/3611.63	v -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205
3600.00/3611.63	v -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494
3600.00/3611.63	v -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9590 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -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 -x771 -x1542 -x2313 -x3084 -x3855 -x4626 -x4767 -x4838 -x4909 -x80 -x151 -x222 -x293 -x364 -x435 -x506 -x577 -x648 -x719 -x860 -x931 -x1002 -x1073 -x1144 -x1215 -x1286 -x1357 -x1428 -x1499 -x1640 -x1711 -x1782 -x1853 -x1924 -x1995 -x2066 -x2137 -x2208 -x2279 -x2420 -x2491 -x2562 -x2633 -x2704 -x2775 -x2846 -x2917 -x2988 -x3059 -x3200 -x3271 -x3342 -x3413 -x3484 -x3555 -x3626 -x3697 -x3768 -x3839 -x3980 -x4051 -x4122 -x4193 -x4264 -x4335 -x4406 -x4477 -x4548 -x4619 -x4760 -x5741 -x6512 -x7283 -x8054 -x8825 -x9596
3600.00/3611.63	v -x9737 -x9808 -x9879 -x5050 -x5121 -x5192 -x5263 -x5334 -x5405 -x5476 -x5547 -x5618 -x5689 -x5830 -x5901 -x5972 -x6043 -x6114 -x6185 -x6256 -x6327 -x6398 -x6469 -x6610 -x6681 -x6752 -x6823 -x6894 -x6965 -x7036 -x7107 -x7178 -x7249 -x7390 -x7461 -x7532 -x7603 -x7674 -x7745 -x7816 -x7887 -x7958 -x8029 -x8170 -x8241 -x8312 -x8383 -x8454 -x8525 -x8596 -x8667 -x8738 -x8809 -x8950 -x9021 -x9092 -x9163 -x9234 -x9305 -x9376 -x9447 -x9518 -x9589 -x9730
3600.00/3611.63	o 4219117
3600.00/3611.63	s SATISFIABLE

Verifier Data

OK	4219117

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530370-1752255429/watcher-4530370-1752255429 -o /tmp/evaluation-result-4530370-1752255429/solver-4530370-1752255429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115887 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530370-1752255429.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.05 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123956336/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1187400 memory=32484 CPUtime=0.07 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 3824 0 0 0 6 1 0 0 20 0 1 0 141165444 1215897600 8121 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 296850 8121 4927 1 0 268872 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191592 KiB
Current children cumulated memory: 35428 KiB

[startup+0.205665 s]*
/proc/loadavg: 4.05 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123920048/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1230016 memory=83428 CPUtime=0.18 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 13897 0 0 0 15 3 0 0 20 0 1 0 141165444 1259536384 20857 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 307504 20857 7839 1 0 278862 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1234208 KiB
Current children cumulated memory: 86372 KiB

[startup+0.305682 s]*
/proc/loadavg: 4.05 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123895856/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1252212 memory=103780 CPUtime=0.27 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 18915 0 0 0 24 3 0 0 20 0 1 0 141165444 1282265088 25945 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 313053 25945 7903 1 0 284411 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1256404 KiB
Current children cumulated memory: 106724 KiB

[startup+0.700212 s]
/proc/loadavg: 4.05 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123879980/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1302492 memory=144068 CPUtime=0.66 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 29354 0 0 0 61 5 0 0 20 0 1 0 141165444 1333751808 36017 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 325623 36017 8159 1 0 296981 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1306684 KiB
Current children cumulated memory: 147012 KiB

[startup+1.50021 s]
/proc/loadavg: 4.05 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123848984/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1304348 memory=146372 CPUtime=1.45 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 29919 0 0 0 140 5 0 0 20 0 1 0 141165444 1335652352 36593 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 326087 36593 8159 1 0 297445 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1308540 KiB
Current children cumulated memory: 149316 KiB

[startup+3.10552 s]
/proc/loadavg: 4.04 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123840784/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1319660 memory=160964 CPUtime=3.06 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 33603 0 0 0 300 6 0 0 20 0 1 0 141165444 1351331840 40241 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 329915 40241 8159 1 0 301273 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1323852 KiB
Current children cumulated memory: 163908 KiB

[startup+6.3002 s]
/proc/loadavg: 4.04 4.08 4.01 5/270 116758
/proc/meminfo: memFree=123829196/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1330904 memory=172228 CPUtime=6.24 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 36438 0 0 0 618 6 0 0 20 0 1 0 141165444 1362845696 43057 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 332726 43057 8159 1 0 304084 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1335096 KiB
Current children cumulated memory: 175172 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.07 4.01 5/270 116758
/proc/meminfo: memFree=123817108/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1343180 memory=184552 CPUtime=12.63 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 39805 0 0 0 1256 7 0 0 20 0 1 0 141165444 1375416320 46138 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 335795 46138 8159 1 0 307153 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1347372 KiB
Current children cumulated memory: 187496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.01 5/271 116759
/proc/meminfo: memFree=123718732/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1370256 memory=210240 CPUtime=25.38 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 47073 0 0 0 2530 8 0 0 20 0 1 0 141165444 1403142144 52560 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 342564 52560 8159 1 0 313922 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1374448 KiB
Current children cumulated memory: 213184 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.01 5/270 116809
/proc/meminfo: memFree=124726252/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1389200 memory=228024 CPUtime=50.91 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 51877 0 0 0 5082 9 0 0 20 0 1 0 141165444 1422540800 57006 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 347300 57006 8159 1 0 318658 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1393392 KiB
Current children cumulated memory: 230968 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/270 116813
/proc/meminfo: memFree=124717224/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1389200 memory=228024 CPUtime=101.96 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 51901 0 0 0 10186 10 0 0 20 0 1 0 141165444 1422540800 57006 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 347300 57006 8159 1 0 318658 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1393392 KiB
Current children cumulated memory: 230968 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/270 116816
/proc/meminfo: memFree=124641344/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1389200 memory=228280 CPUtime=161.78 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 51962 0 0 0 16168 10 0 0 20 0 1 0 141165444 1422540800 57070 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 347300 57070 8159 1 0 318658 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1393392 KiB
Current children cumulated memory: 231224 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/270 116822
/proc/meminfo: memFree=124599824/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1400048 memory=239288 CPUtime=221.57 cores=0,2
/proc/116758/stat : 116758 (python3) R 116753 116753 115877 0 -1 4194304 55043 0 0 0 22147 10 0 0 20 0 1 0 141165444 1433649152 59822 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 350012 59822 8159 1 0 321370 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1404240 KiB

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

[pid=116956] ppid=116758 vsize=5061496 memory=4813864 CPUtime=2155.1 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 699578 0 0 0 214634 876 0 0 20 0 1 0 141265474 5182971904 1203466 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1265374 1203466 640 696 0 1264535 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 6515352 KiB
Current children cumulated memory: 5117008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 117125
/proc/meminfo: memFree=82281160/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4944372 memory=4715268 CPUtime=2214.87 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 702420 0 0 0 220600 887 0 0 20 0 1 0 141265474 5063036928 1178817 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1236093 1178817 640 696 0 1235254 0
Current children cumulated CPU time: 3212.11 s
Current children cumulated vsize: 6398228 KiB
Current children cumulated memory: 5018412 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/271 117131
/proc/meminfo: memFree=82282656/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4944372 memory=4715268 CPUtime=2274.65 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 703233 0 0 0 226578 887 0 0 20 0 1 0 141265474 5063036928 1178817 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1236093 1178817 640 696 0 1235254 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 6398228 KiB
Current children cumulated memory: 5018412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 117133
/proc/meminfo: memFree=82352872/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4793500 memory=4640172 CPUtime=2334.42 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 706039 0 0 0 232539 903 0 0 20 0 1 0 141265474 4908544000 1160043 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1198375 1160043 640 696 0 1197536 0
Current children cumulated CPU time: 3331.66 s
Current children cumulated vsize: 6247356 KiB
Current children cumulated memory: 4943316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/272 117136
/proc/meminfo: memFree=79862516/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4793500 memory=4640172 CPUtime=2394.19 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 706300 0 0 0 238516 903 0 0 20 0 1 0 141265474 4908544000 1160043 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1198375 1160043 640 696 0 1197536 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 6247356 KiB
Current children cumulated memory: 4943316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/273 117139
/proc/meminfo: memFree=82520180/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4920188 memory=4766868 CPUtime=2453.99 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 714648 0 0 0 244463 936 0 0 20 0 1 0 141265474 5038272512 1191717 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1230047 1191717 640 696 0 1229208 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 6374044 KiB
Current children cumulated memory: 5070012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 117141
/proc/meminfo: memFree=82964096/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4798080 memory=4648208 CPUtime=2513.79 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 733271 0 0 0 250370 1009 0 0 20 0 1 0 141265474 4913233920 1162052 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1199520 1162052 640 696 0 1198681 0
Current children cumulated CPU time: 3511.03 s
Current children cumulated vsize: 6251936 KiB
Current children cumulated memory: 4951352 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 117143
/proc/meminfo: memFree=82806700/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4698228 memory=4636700 CPUtime=2573.56 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 738803 0 0 0 256319 1037 0 0 20 0 1 0 141265474 4810985472 1159175 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1174557 1159175 640 696 0 1173718 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 6152084 KiB
Current children cumulated memory: 4939844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 117145
/proc/meminfo: memFree=83347324/131250000 swapFree=33010684/33010684
[pid=116753] ppid=116750 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/116753/stat : 116753 (scip-naps-1.00a) S 116750 116753 115877 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 141165442 4292608 736 18446744073709551615 94396192034816 94396192929349 140721729635216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94396193168400 94396193216144 94396216778752 140721729636763 140721729636862 140721729636862 140721729642466 0
/proc/116753/statm: 1048 736 672 219 0 110 0
[pid=116758] ppid=116753 vsize=1449664 memory=300200 CPUtime=997.24 cores=0,2
/proc/116758/stat : 116758 (python3) S 116753 116753 115877 0 -1 4194304 70968 0 0 0 99708 16 0 0 20 0 1 0 141165444 1484455936 75050 18446744073709551615 94739536994304 94739536994681 140735818313632 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94739537005976 94739537006596 94739557228544 140735818320222 140735818320416 140735818320416 140735818325991 0
/proc/116758/statm: 362416 75050 8223 1 0 333774 0
[pid=116956] ppid=116758 vsize=4700904 memory=4639376 CPUtime=2602.76 cores=0,2
/proc/116956/stat : 116956 (naps-1.03a6) R 116758 116956 116956 0 -1 4194304 740097 0 0 0 259227 1049 0 0 20 0 1 0 141265474 4813725696 1159844 18446744073709551615 4198400 7047149 140732316323152 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37396480 140732316326253 140732316326385 140732316326385 140732316331977 0
/proc/116956/statm: 1175226 1159844 640 696 0 1174387 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6154760 KiB
Current children cumulated memory: 4942520 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.61 s]
# the end of solver process 116753 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001853 s, system=0.004448 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3589.43 s, system=10.6986 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 0

Real time (s): 3611.7
CPU time (s): 3600.13
CPU user time (s): 3589.43
CPU system time (s): 10.6986
CPU usage (%): 99.6797
Max. virtual memory (cumulated for all children) (KiB): 7740216
Max. memory (cumulated for all children) (KiB): 6443084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.43
system time used= 10.6986
maximum resident set size= 6139940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 815841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 792
involuntary context switches= 5133


# summary of solver processes directly reported to runsolver:
#   pid: 116753,116758
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3589.43
#   total CPU system time (s): 10.6986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48822 second user time and 17.2923 second system time

The end

Launcher Data

Begin job on nodeC028 at 2025-07-11 19:37:09
IDJOB=4530370
IDBENCH=155605
IDSOLVER=3388
FILE ID=nodeC028/4530370-1752255429
RUNJOBID= nodeC028-1752253269-115887
SLURM_JOB_ID= 9682584
Free space on /tmp= 431160 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530370-1752255429/watcher-4530370-1752255429 -o /tmp/evaluation-result-4530370-1752255429/solver-4530370-1752255429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752253269-115887 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530370-1752255429.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1418140878

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.237
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.082
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.972
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.926
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.167
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.081
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3589.940
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3638.549
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123972908 kB
MemAvailable:   126402532 kB
Buffers:            3280 kB
Cached:          3227460 kB
SwapCached:            0 kB
Active:          3704140 kB
Inactive:        2914512 kB
Active(anon):    3405980 kB
Inactive(anon):        0 kB
Active(file):     298160 kB
Inactive(file):  2914512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6240 kB
Writeback:            32 kB
AnonPages:       3390604 kB
Mapped:           131324 kB
Shmem:             18068 kB
KReclaimable:     112380 kB
Slab:             205512 kB
SReclaimable:     112380 kB
SUnreclaim:        93132 kB
KernelStack:        4396 kB
PageTables:        10876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7699596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    907264 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431160 MiB
End job on nodeC028 at 2025-07-11 20:37:21