Trace number 4529824

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a2SAT 518.705 520.116

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
MD5SUM9c6bc9cc94309c2493f896d524de96fb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.42493
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3905
Total number of constraints4049
Number of constraints which are clauses3978
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

6.93/7.02	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529824-1752259049.opb
6.93/7.02	c Solving mode: decision
6.93/7.02	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
6.93/7.02	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
6.93/7.02	c original problem has 3905 variables (3905 bin, 0 int, 0 impl, 0 cont) and 4049 constraints
6.93/7.02	c presolving:
6.93/7.02	c (round 1, fast)       174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 738 clqs
6.93/7.02	c (round 2, fast)       434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 725 clqs
6.93/7.02	c (round 3, fast)       551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 722 clqs
6.93/7.02	c (round 4, fast)       644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 733 clqs
6.93/7.02	c (round 5, fast)       701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 755 clqs
6.93/7.02	c (round 6, fast)       723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
6.93/7.02	c (round 7, fast)       727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 782 clqs
6.93/7.02	c (round 8, exhaustive) 727 del vars, 481 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
6.93/7.02	c (round 9, exhaustive) 727 del vars, 481 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3568 upgd conss, 0 impls, 783 clqs
6.93/7.02	c (round 10, exhaustive) 779 del vars, 481 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3568 upgd conss, 0 impls, 773 clqs
6.93/7.02	c (round 11, fast)       831 del vars, 533 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3568 upgd conss, 0 impls, 773 clqs
6.93/7.02	c (round 12, exhaustive) 856 del vars, 534 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 49 chg coeffs, 3568 upgd conss, 0 impls, 22271 clqs
6.93/7.02	c (round 13, fast)       856 del vars, 559 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 73 chg coeffs, 3568 upgd conss, 0 impls, 22275 clqs
6.93/7.02	c (round 14, exhaustive) 882 del vars, 559 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 75 chg coeffs, 3568 upgd conss, 0 impls, 22678 clqs
6.93/7.02	c (round 15, fast)       882 del vars, 585 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 130 chg coeffs, 3568 upgd conss, 0 impls, 22693 clqs
6.93/7.02	c (round 16, exhaustive) 908 del vars, 585 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 132 chg coeffs, 3568 upgd conss, 0 impls, 22682 clqs
6.93/7.02	c (round 17, fast)       909 del vars, 611 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 192 chg coeffs, 3568 upgd conss, 0 impls, 22694 clqs
6.93/7.02	c (round 18, exhaustive) 934 del vars, 611 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 192 chg coeffs, 3568 upgd conss, 0 impls, 22649 clqs
6.93/7.02	c (round 19, fast)       934 del vars, 636 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 220 chg coeffs, 3568 upgd conss, 0 impls, 22657 clqs
6.93/7.02	c (round 20, exhaustive) 959 del vars, 636 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 220 chg coeffs, 3568 upgd conss, 0 impls, 22701 clqs
6.93/7.02	c (round 21, fast)       959 del vars, 661 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3568 upgd conss, 0 impls, 22710 clqs
6.93/7.02	c (round 22, exhaustive) 984 del vars, 661 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 269 chg coeffs, 3568 upgd conss, 0 impls, 22513 clqs
6.93/7.02	c (round 23, fast)       984 del vars, 686 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 276 chg coeffs, 3568 upgd conss, 0 impls, 22513 clqs
6.93/7.02	c (round 24, exhaustive) 1009 del vars, 686 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 276 chg coeffs, 3568 upgd conss, 0 impls, 22390 clqs
6.93/7.02	c (round 25, fast)       1009 del vars, 711 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 287 chg coeffs, 3568 upgd conss, 0 impls, 22390 clqs
6.93/7.02	c (round 26, exhaustive) 1034 del vars, 711 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 287 chg coeffs, 3568 upgd conss, 0 impls, 22250 clqs
6.93/7.02	c (round 27, fast)       1034 del vars, 736 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 296 chg coeffs, 3568 upgd conss, 0 impls, 22250 clqs
6.93/7.02	c (round 28, exhaustive) 1059 del vars, 736 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 296 chg coeffs, 3568 upgd conss, 0 impls, 22316 clqs
6.93/7.02	c (round 29, fast)       1059 del vars, 761 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 326 chg coeffs, 3568 upgd conss, 0 impls, 22316 clqs
6.93/7.02	c    (1.5s) probing: 1000/3397 (29.4%) - 231 fixings, 6 aggregations, 322684 implications, 0 bound changes
6.93/7.02	c (round 30, exhaustive) 1084 del vars, 761 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 327 chg coeffs, 3568 upgd conss, 0 impls, 22777 clqs
6.93/7.02	c (round 31, fast)       1084 del vars, 786 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 373 chg coeffs, 3568 upgd conss, 0 impls, 22790 clqs
6.93/7.02	c (round 32, exhaustive) 1109 del vars, 786 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 373 chg coeffs, 3568 upgd conss, 0 impls, 22778 clqs
6.93/7.02	c (round 33, fast)       1109 del vars, 811 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 416 chg coeffs, 3568 upgd conss, 0 impls, 22780 clqs
6.93/7.02	c    (2.3s) probing: 2000/3397 (58.9%) - 283 fixings, 6 aggregations, 648714 implications, 0 bound changes
6.93/7.02	c    (3.0s) probing: 3000/3397 (88.3%) - 285 fixings, 6 aggregations, 976481 implications, 0 bound changes
6.93/7.02	c    (3.2s) probing cycle finished: starting next cycle
6.93/7.02	c    (3.4s) probing: 165/3105 (5.3%) - 285 fixings, 6 aggregations, 1149000 implications, 0 bound changes
6.93/7.02	c    (3.4s) probing aborted: 1000/1000 successive useless probings
6.93/7.02	c (round 34, exhaustive) 1125 del vars, 811 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 420 chg coeffs, 3568 upgd conss, 0 impls, 22791 clqs
6.93/7.02	c (round 35, fast)       1125 del vars, 826 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 434 chg coeffs, 3568 upgd conss, 0 impls, 22791 clqs
6.93/7.02	c    (4.0s) probing: 1000/3105 (32.2%) - 288 fixings, 6 aggregations, 1408080 implications, 0 bound changes
6.93/7.02	c    (4.4s) probing: 1529/3105 (49.2%) - 288 fixings, 6 aggregations, 1588396 implications, 0 bound changes
6.93/7.02	c    (4.4s) probing aborted: 1000/1000 successive useless probings
6.93/7.02	c (round 36, exhaustive) 1129 del vars, 826 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 436 chg coeffs, 3568 upgd conss, 0 impls, 22782 clqs
6.93/7.02	c (round 37, fast)       1129 del vars, 829 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 437 chg coeffs, 3568 upgd conss, 0 impls, 22782 clqs
6.93/7.02	c    (4.4s) probing: 1629/3105 (52.5%) - 288 fixings, 6 aggregations, 1622510 implications, 0 bound changes
6.93/7.02	c    (4.4s) probing aborted: 1000/1000 successive useless probings
6.93/7.02	c    (4.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.93/7.02	c    (4.5s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
6.93/7.02	c dynamic symmetry handling statistics:
6.93/7.02	c    orbitopal reduction:       no components
6.93/7.02	c    orbital reduction:         no components
6.93/7.02	c    lexicographic reduction:    3 permutations with support sizes 312, 122, 116
6.93/7.02	c handled 3 out of 3 symmetry components
6.93/7.02	c presolving (38 rounds: 38 fast, 17 medium, 17 exhaustive):
6.93/7.02	c  1129 deleted vars, 829 deleted constraints, 0 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 437 changed coefficients
6.93/7.02	c  0 implications, 22830 cliques
6.93/7.02	c presolved problem has 3102 variables (3102 bin, 0 int, 0 impl, 0 cont) and 3220 constraints
6.93/7.02	c     658 constraints of type <setppc>
6.93/7.02	c    2562 constraints of type <logicor>
6.93/7.02	c transformed objective value is always integral (scale: 1)
6.93/7.02	c Presolving Time: 4.44
6.93/7.02	c 
6.93/7.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.13/500.51	c   6.6s|     1 |     0 | 10384 |     - |    70M |   0 |3102 |3410 |3220 |   0 |  0 | 191 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  20.5s|     1 |     0 | 59259 |     - |    75M |   0 |3102 |3613 |3228 |   8 |  1 | 199 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  21.3s|     1 |     0 | 61817 |     - |    76M |   0 |3102 |3621 |3240 |  20 |  2 | 209 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  22.1s|     1 |     0 | 63687 |     - |    77M |   0 |3102 |3621 |3244 |  24 |  3 | 210 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  22.8s|     1 |     0 | 65299 |     - |    78M |   0 |3102 |3624 |3255 |  35 |  4 | 214 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  24.2s|     1 |     0 | 69886 |     - |    79M |   0 |3102 |3623 |3267 |  47 |  5 | 216 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  24.9s|     1 |     0 | 71451 |     - |    80M |   0 |3102 |3622 |3278 |  58 |  6 | 217 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  25.7s|     1 |     0 | 73059 |     - |    80M |   0 |3102 |3626 |3290 |  70 |  7 | 223 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  26.8s|     1 |     0 | 76023 |     - |    82M |   0 |3102 |3625 |3299 |  79 |  8 | 226 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  27.9s|     1 |     0 | 78706 |     - |    82M |   0 |3102 |3620 |3307 |  87 |  9 | 227 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  29.1s|     1 |     0 | 81778 |     - |    83M |   0 |3102 |3609 |3318 |  98 | 10 | 229 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  30.1s|     1 |     0 | 84740 |     - |    84M |   0 |3102 |3607 |3327 | 107 | 11 | 230 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c  45.0s|     1 |     2 |116786 |     - |    84M |   0 |3102 |3567 |3327 | 107 | 11 | 242 |  11 | 0.000000e+00 |      --      |    Inf | unknown
499.13/500.51	c   126s|   100 |    49 |393535 |3119.1 |    93M |  25 |3102 |3666 |   0 | 166 |  0 | 387 |  11 | 0.000000e+00 |      --      |    Inf |   1.56%
499.13/500.51	c   344s|   200 |   111 |  1225k|5731.8 |   101M |  25 |3102 |3873 |3277 | 213 |  1 | 750 |  11 | 0.000000e+00 |      --      |    Inf |  28.85%
499.13/500.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.13/500.51	c   394s|   300 |   157 |  1444k|4548.7 |   104M |  25 |3102 |3876 |3262 | 245 |  1 | 878 |  11 | 0.000000e+00 |      --      |    Inf |  30.24%
499.13/500.51	c   444s|   400 |   197 |  1644k|3909.4 |   108M |  28 |3102 |3912 |3277 | 345 |  1 |1093 |  11 | 0.000000e+00 |      --      |    Inf |  30.25%
499.13/500.51	c   458s|   500 |   207 |  1708k|3254.6 |   109M |  28 |3102 |3950 |3269 | 408 |  0 |1167 |  11 | 0.000000e+00 |      --      |    Inf |  30.59%
499.13/500.51	c   470s|   600 |   205 |  1764k|2803.9 |   110M |  28 |3102 |3972 |3273 | 426 |  0 |1199 |  11 | 0.000000e+00 |      --      |    Inf |  30.83%
499.13/500.51	c   496s|   700 |   215 |  1879k|2567.2 |   112M |  38 |3102 |4071 |3277 | 463 |  0 |1339 |  11 | 0.000000e+00 |      --      |    Inf |  30.86%
499.13/500.51	c 
499.13/500.51	c SCIP Status        : solving was interrupted [time limit reached]
499.13/500.51	c Solving Time (sec) : 500.10
499.13/500.51	c Solving Nodes      : 751
499.13/500.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.13/500.51	c Dual Bound         : +0.00000000000000e+00
499.13/500.51	c Gap                : infinite
499.13/500.51	c ----------------------------------------------------------------------
499.13/500.51	c dual bound: 0.0 -> 0
499.13/500.51	c primal bound: 1e+20 -> 100000000000000000000
499.13/500.51	c scip-goal-lb: 0
499.13/500.51	c scip-goal-ub: 100000000000000000000
499.13/500.51	c writing output to: HOME/tmpkumv30e5.opb
499.13/500.51	c appending fixed variable constraints
499.13/500.51	c scip-fixed vars: 25.66% (796/3102)
499.13/500.51	c ----------------------------------------------------------------------
499.13/500.51	c executing external solver: HOME/naps-1.03a6
499.13/500.51	c ----------------------------------------------------------------------
499.13/500.51	c command: HOME/naps-1.03a6 HOME/tmpkumv30e5.opb
499.13/500.51	c NaPS 1.03a6.
499.13/500.51	c Input file name: HOME/tmpkumv30e5.opb
518.47/519.96	c s SATISFIABLE
518.47/519.96	c _____________________________________________________________________________
518.47/519.96	c std/band forms        : 71,0
518.47/519.96	c 2cl/3cl ITE-codings   : 0,0
518.47/519.96	c BDD/srt/adr Max costs : 0,914,0
518.47/519.96	c BDDraw/bin/mul/srt/adr: 0,0,0,71,0
518.47/519.96	c BDD nodes             : 0
518.47/519.96	c Es1/CC detections     : 0,0
518.47/519.96	c CC sort               : 71
518.47/519.96	c SAT/UNSAT calls       : 1,0
518.47/519.96	c regenrated variables  : 0
518.47/519.96	c eliminated fixed lits : 915
518.47/519.96	c goal lit flips        : 0
518.47/519.96	c goal stages           : 0
518.47/519.96	c goal shrink           : 0
518.47/519.96	c goal coeff separations: 0
518.47/519.96	c restarts              : 3470
518.47/519.96	c conflicts             : 180155         (9312 /sec)
518.47/519.96	c decisions             : 962227         (49734 /sec)
518.47/519.96	c propagations          : 139751086      (7223265 /sec)
518.47/519.96	c inspects              : 0              (0 /sec)
518.47/519.96	c CPU time (solving tm) : 19.35 s        (19.15 s, SAT 19.15 s, UNSAT 0 s)
518.47/519.96	c Time for Opt-base     : 0.001709 s
518.47/519.96	c Steps for Opt-base    : 0
518.47/519.96	c Time for BDD coding   : 0 s
518.47/519.96	c Time for srt coding   : 0.01319 s
518.47/519.96	c _____________________________________________________________________________
518.47/519.96	c v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
518.47/519.96	c v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905
518.47/519.96	s SATISFIABLE
518.47/519.96	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 x630 -x631 x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
518.47/519.96	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 x3815 -x3816 x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (49857 MiB free)
  memory of node 1: 64465 MiB (26683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529824-1752259049/watcher-4529824-1752259049 -o /tmp/evaluation-result-4529824-1752259049/solver-4529824-1752259049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119336 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529824-1752259049.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100105 s]*
/proc/loadavg: 4.10 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78377524/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=18840 memory=13440 CPUtime=0.07 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 1809 0 0 0 6 1 0 0 20 0 1 0 141583540 19292160 3296 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 4710 3328 1792 1 0 1483 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23032 KiB
Current children cumulated memory: 16384 KiB

[startup+0.213883 s]*
/proc/loadavg: 4.10 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78377860/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1186712 memory=31548 CPUtime=0.17 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 3685 0 0 0 15 2 0 0 20 0 1 0 141583540 1215193088 7887 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 296742 7887 4855 1 0 268764 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1190904 KiB
Current children cumulated memory: 34492 KiB

[startup+0.313719 s]*
/proc/loadavg: 4.10 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78377620/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1191088 memory=36412 CPUtime=0.27 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 4677 0 0 0 24 3 0 0 20 0 1 0 141583540 1219674112 9103 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 297772 9103 5111 1 0 269663 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1195280 KiB
Current children cumulated memory: 39356 KiB

[startup+0.700417 s]
/proc/loadavg: 4.10 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78385652/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1233616 memory=84284 CPUtime=0.64 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 14123 0 0 0 57 7 0 0 20 0 1 0 141583540 1263222784 21071 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 308404 21071 7927 1 0 279762 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1237808 KiB
Current children cumulated memory: 87228 KiB

[startup+1.50045 s]
/proc/loadavg: 4.10 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78385652/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1234616 memory=85180 CPUtime=1.44 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 14349 0 0 0 137 7 0 0 20 0 1 0 141583540 1264246784 21295 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 308654 21295 7927 1 0 280012 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1238808 KiB
Current children cumulated memory: 88124 KiB

[startup+3.1135 s]
/proc/loadavg: 4.09 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78401452/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1235772 memory=86332 CPUtime=3.05 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 14639 0 0 0 298 7 0 0 20 0 1 0 141583540 1265430528 21583 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 308943 21583 7927 1 0 280301 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1239964 KiB
Current children cumulated memory: 89276 KiB

[startup+6.30041 s]
/proc/loadavg: 4.09 4.12 3.77 5/257 119545
/proc/meminfo: memFree=78441776/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1272372 memory=113340 CPUtime=6.22 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 21187 0 0 0 614 8 0 0 20 0 1 0 141583540 1302908928 28335 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 318093 28335 8151 1 0 289451 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1276564 KiB
Current children cumulated memory: 116284 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.14 3.78 5/257 119546
/proc/meminfo: memFree=79611468/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1274620 memory=115260 CPUtime=12.61 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 21689 0 0 0 1252 9 0 0 20 0 1 0 141583540 1305210880 28815 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 318655 28815 8151 1 0 290013 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1278812 KiB
Current children cumulated memory: 118204 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 3.79 6/257 119546
/proc/meminfo: memFree=79724240/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1322052 memory=161340 CPUtime=25.37 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 33213 0 1 0 2526 11 0 0 20 0 1 0 141583540 1353781248 40335 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 330513 40335 8151 1 0 301871 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1326244 KiB
Current children cumulated memory: 164284 KiB

[startup+51.1135 s]
/proc/loadavg: 4.24 4.15 3.80 5/256 119546
/proc/meminfo: memFree=78318740/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1322080 memory=163356 CPUtime=50.92 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 35590 0 1 0 5080 12 0 0 20 0 1 0 141583540 1353809920 40839 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 330520 40839 8151 1 0 301878 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1326272 KiB
Current children cumulated memory: 166300 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 3.82 5/256 119548
/proc/meminfo: memFree=83480740/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1323740 memory=165020 CPUtime=101.96 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 36016 0 1 0 10184 12 0 0 20 0 1 0 141583540 1355509760 41255 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 330935 41255 8151 1 0 302293 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1327932 KiB
Current children cumulated memory: 167964 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 3.84 5/257 119551
/proc/meminfo: memFree=87675372/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1324568 memory=165888 CPUtime=161.8 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 40654 0 1 0 16167 13 0 0 20 0 1 0 141583540 1356357632 41472 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 331142 41472 8151 1 0 302500 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1328760 KiB
Current children cumulated memory: 168832 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 3.86 5/257 119553
/proc/meminfo: memFree=88388944/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1324568 memory=165888 CPUtime=221.65 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 40655 0 1 0 22152 13 0 0 20 0 1 0 141583540 1356357632 41472 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 331142 41472 8151 1 0 302500 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1328760 KiB

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

[pid=119545] ppid=119540 vsize=1331236 memory=172568 CPUtime=401.2 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 54678 0 1 0 40103 17 0 0 20 0 1 0 141583540 1363185664 43142 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 332809 43142 8151 1 0 304167 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1335428 KiB
Current children cumulated memory: 175512 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.15 3.94 5/256 119568
/proc/meminfo: memFree=87823984/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1332152 memory=173488 CPUtime=461.03 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 63898 0 1 0 46084 19 0 0 20 0 1 0 141583540 1364123648 43372 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333038 43372 8151 1 0 304396 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 1336344 KiB
Current children cumulated memory: 176432 KiB

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

# cumulated CPU time of all completed processes:  user=518.385 s, system=0.319943 s

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

[startup+486.4 s]
/proc/loadavg: 4.19 4.15 3.95 5/256 119569
/proc/meminfo: memFree=87543192/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335288 memory=176568 CPUtime=485.07 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 70148 0 1 0 48486 21 0 0 20 0 1 0 141583540 1367334912 44142 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333822 44142 8151 1 0 305180 0
Current children cumulated CPU time: 485.07 s
Current children cumulated vsize: 1339480 KiB
Current children cumulated memory: 179512 KiB

[startup+499.2 s]
/proc/loadavg: 4.15 4.15 3.95 5/256 119569
/proc/meminfo: memFree=87443260/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1333568 memory=174992 CPUtime=497.83 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 72561 0 1 0 49762 21 0 0 20 0 1 0 141583540 1365573632 43748 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333392 43748 8151 1 0 304750 0
Current children cumulated CPU time: 497.83 s
Current children cumulated vsize: 1337760 KiB
Current children cumulated memory: 177936 KiB

[startup+512 s]*
/proc/loadavg: 4.12 4.14 3.95 5/257 119571
/proc/meminfo: memFree=87617336/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335616 memory=177168 CPUtime=499.15 cores=4,6
/proc/119545/stat : 119545 (python3) S 119540 119540 119325 0 -1 4194304 73268 0 1 0 49893 22 0 0 20 0 1 0 141583540 1367670784 44292 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333904 44292 8183 1 0 305262 0
[pid=119570] ppid=119545 vsize=30160 memory=22648 CPUtime=11.46 cores=4,6
/proc/119570/stat : 119570 (naps-1.03a6) R 119545 119570 119570 0 -1 4194304 11426 0 0 0 1142 4 0 0 20 0 1 0 141633588 30883840 5662 18446744073709551615 4198400 7047149 140723183158848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32628736 140723183167887 140723183167985 140723183167985 140723183173577 0
/proc/119570/statm: 7540 5662 544 696 0 6701 0
Current children cumulated CPU time: 510.61 s
Current children cumulated vsize: 1369968 KiB
Current children cumulated memory: 202760 KiB

[startup+515.2 s]
/proc/loadavg: 4.11 4.14 3.95 5/257 119571
/proc/meminfo: memFree=88007332/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335616 memory=177168 CPUtime=499.15 cores=4,6
/proc/119545/stat : 119545 (python3) S 119540 119540 119325 0 -1 4194304 73268 0 1 0 49893 22 0 0 20 0 1 0 141583540 1367670784 44292 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333904 44292 8183 1 0 305262 0
[pid=119570] ppid=119545 vsize=30160 memory=23288 CPUtime=14.64 cores=4,6
/proc/119570/stat : 119570 (naps-1.03a6) R 119545 119570 119570 0 -1 4194304 11559 0 0 0 1460 4 0 0 20 0 1 0 141633588 30883840 5822 18446744073709551615 4198400 7047149 140723183158848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32628736 140723183167887 140723183167985 140723183167985 140723183173577 0
/proc/119570/statm: 7540 5822 544 696 0 6701 0
Current children cumulated CPU time: 513.79 s
Current children cumulated vsize: 1369968 KiB
Current children cumulated memory: 203400 KiB

[startup+518.4 s]
/proc/loadavg: 4.18 4.15 3.96 5/257 119571
/proc/meminfo: memFree=88007332/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335616 memory=177168 CPUtime=499.15 cores=4,6
/proc/119545/stat : 119545 (python3) S 119540 119540 119325 0 -1 4194304 73268 0 1 0 49893 22 0 0 20 0 1 0 141583540 1367670784 44292 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333904 44292 8183 1 0 305262 0
[pid=119570] ppid=119545 vsize=30160 memory=23288 CPUtime=17.83 cores=4,6
/proc/119570/stat : 119570 (naps-1.03a6) R 119545 119570 119570 0 -1 4194304 11588 0 0 0 1779 4 0 0 20 0 1 0 141633588 30883840 5822 18446744073709551615 4198400 7047149 140723183158848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32628736 140723183167887 140723183167985 140723183167985 140723183173577 0
/proc/119570/statm: 7540 5822 544 696 0 6701 0
Current children cumulated CPU time: 516.98 s
Current children cumulated vsize: 1369968 KiB
Current children cumulated memory: 203400 KiB

[startup+519.2 s]
/proc/loadavg: 4.18 4.15 3.96 5/257 119571
/proc/meminfo: memFree=88007332/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335616 memory=177168 CPUtime=499.15 cores=4,6
/proc/119545/stat : 119545 (python3) S 119540 119540 119325 0 -1 4194304 73268 0 1 0 49893 22 0 0 20 0 1 0 141583540 1367670784 44292 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333904 44292 8183 1 0 305262 0
[pid=119570] ppid=119545 vsize=26064 memory=21328 CPUtime=18.62 cores=4,6
/proc/119570/stat : 119570 (naps-1.03a6) R 119545 119570 119570 0 -1 4194304 11763 0 0 0 1858 4 0 0 20 0 1 0 141633588 26689536 5332 18446744073709551615 4198400 7047149 140723183158848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32628736 140723183167887 140723183167985 140723183167985 140723183173577 0
/proc/119570/statm: 6516 5332 544 696 0 5677 0
Current children cumulated CPU time: 517.77 s
Current children cumulated vsize: 1365872 KiB
Current children cumulated memory: 201440 KiB

[startup+519.6 s]
/proc/loadavg: 4.18 4.15 3.96 5/257 119571
/proc/meminfo: memFree=88007332/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1335616 memory=177168 CPUtime=499.15 cores=4,6
/proc/119545/stat : 119545 (python3) S 119540 119540 119325 0 -1 4194304 73268 0 1 0 49893 22 0 0 20 0 1 0 141583540 1367670784 44292 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333904 44292 8183 1 0 305262 0
[pid=119570] ppid=119545 vsize=26064 memory=21968 CPUtime=19.02 cores=4,6
/proc/119570/stat : 119570 (naps-1.03a6) R 119545 119570 119570 0 -1 4194304 11939 0 0 0 1898 4 0 0 20 0 1 0 141633588 26689536 5492 18446744073709551615 4198400 7047149 140723183158848 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32628736 140723183167887 140723183167985 140723183167985 140723183173577 0
/proc/119570/statm: 6516 5492 544 696 0 5677 0
Current children cumulated CPU time: 518.17 s
Current children cumulated vsize: 1365872 KiB
Current children cumulated memory: 202080 KiB

[startup+520 s]*
/proc/loadavg: 4.18 4.15 3.96 5/256 119571
/proc/meminfo: memFree=88028768/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
[pid=119545] ppid=119540 vsize=1334052 memory=175604 CPUtime=518.57 cores=4,6
/proc/119545/stat : 119545 (python3) R 119540 119540 119325 0 -1 4194304 82520 11946 1 0 49896 23 1934 4 20 0 1 0 141583540 1366069248 43901 18446744073709551615 94655036960768 94655036961145 140728408880784 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94655036972440 94655036973060 94655066206208 140728408885583 140728408885792 140728408885792 140728408891367 0
/proc/119545/statm: 333513 43901 8183 1 0 304871 0
Current children cumulated CPU time: 518.57 s
Current children cumulated vsize: 1338244 KiB
Current children cumulated memory: 178548 KiB

[startup+520.113 s]
/proc/loadavg: 4.18 4.15 3.96 5/256 119571
/proc/meminfo: memFree=88028768/131382120 swapFree=33010416/33010684
[pid=119540] ppid=119537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/119540/stat : 119540 (scip-naps-1.00a) S 119537 119540 119325 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141583537 4292608 736 18446744073709551615 94569640075264 94569640969797 140726346631856 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94569641208848 94569641256592 94569663709184 140726346639771 140726346639870 140726346639870 140726346645474 0
/proc/119540/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 520.116
CPU time (s): 518.705
CPU user time (s): 518.385
CPU system time (s): 0.319943
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 1369968
Max. memory (cumulated for all children) (KiB): 204040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.385
system time used= 0.319943
maximum resident set size= 181564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357
involuntary context switches= 488


# summary of solver processes directly reported to runsolver:
#   pid: 119540
#   total CPU time (s): 518.705
#   total CPU user time (s): 518.385
#   total CPU system time (s): 0.319943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.32893 second user time and 6.01195 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-11 20:37:29
IDJOB=4529824
IDBENCH=158375
IDSOLVER=3388
FILE ID=nodeC003/4529824-1752259049
RUNJOBID= nodeC003-1752257289-119336
SLURM_JOB_ID= 9682606
Free space on /tmp= 431812 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529824-1752259049/watcher-4529824-1752259049 -o /tmp/evaluation-result-4529824-1752259049/solver-4529824-1752259049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752257289-119336 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529824-1752259049.opb

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1485478540

nodeC003 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	: 0xb00001f
cpu MHz		: 3491.793
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3491.726
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.485
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.420
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.166
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3691.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1796.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.461
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        78377860 kB
MemAvailable:   78997688 kB
Buffers:            2736 kB
Cached:          1412612 kB
SwapCached:           36 kB
Active:         50533464 kB
Inactive:         866432 kB
Active(anon):   49994868 kB
Inactive(anon):     7604 kB
Active(file):     538596 kB
Inactive(file):   858828 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5884 kB
Writeback:            20 kB
AnonPages:      49986236 kB
Mapped:           136068 kB
Shmem:             17924 kB
KReclaimable:     124064 kB
Slab:             213044 kB
SReclaimable:     124064 kB
SUnreclaim:        88980 kB
KernelStack:        4128 kB
PageTables:       101756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   57160724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  26830848 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431804 MiB
End job on nodeC003 at 2025-07-11 20:46:09