Trace number 4507493

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1SAT 769.805 773.407

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
MD5SUMb65f6b5f7cc62b44e438e625661039cb
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 benchmark130.979
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5916
Total number of constraints6092
Number of constraints which are clauses6005
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
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 88
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 

42.88/44.30	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507493-1751183027.opb
42.88/44.30	c Solving mode: decision
42.88/44.30	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
42.88/44.30	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
42.88/44.30	c original problem has 5916 variables (5916 bin, 0 int, 0 impl, 0 cont) and 6092 constraints
42.88/44.30	c presolving:
42.88/44.30	c (round 1, fast)       148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1177 clqs
42.88/44.30	c (round 2, fast)       392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1164 clqs
42.88/44.30	c (round 3, fast)       506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1169 clqs
42.88/44.30	c (round 4, fast)       570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1195 clqs
42.88/44.30	c (round 5, fast)       581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1210 clqs
42.88/44.30	c (round 6, exhaustive) 583 del vars, 390 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1213 clqs
42.88/44.30	c (round 7, exhaustive) 583 del vars, 390 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5702 upgd conss, 0 impls, 1213 clqs
42.88/44.30	c (round 8, exhaustive) 648 del vars, 390 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5702 upgd conss, 0 impls, 1200 clqs
42.88/44.30	c (round 9, fast)       713 del vars, 455 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5702 upgd conss, 0 impls, 1200 clqs
42.88/44.30	c (round 10, exhaustive) 738 del vars, 456 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5702 upgd conss, 0 impls, 34863 clqs
42.88/44.30	c (round 11, fast)       738 del vars, 481 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 124 chg coeffs, 5702 upgd conss, 0 impls, 34878 clqs
42.88/44.30	c (round 12, exhaustive) 764 del vars, 481 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 124 chg coeffs, 5702 upgd conss, 0 impls, 35290 clqs
42.88/44.30	c (round 13, fast)       764 del vars, 507 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 181 chg coeffs, 5702 upgd conss, 0 impls, 35297 clqs
42.88/44.30	c (round 14, exhaustive) 789 del vars, 507 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 181 chg coeffs, 5702 upgd conss, 0 impls, 35301 clqs
42.88/44.30	c (round 15, fast)       789 del vars, 532 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 237 chg coeffs, 5702 upgd conss, 0 impls, 35309 clqs
42.88/44.30	c (round 16, exhaustive) 819 del vars, 532 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 237 chg coeffs, 5702 upgd conss, 0 impls, 35296 clqs
42.88/44.30	c (round 17, fast)       824 del vars, 562 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 286 chg coeffs, 5702 upgd conss, 0 impls, 35304 clqs
42.88/44.30	c (round 18, exhaustive) 849 del vars, 562 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 286 chg coeffs, 5702 upgd conss, 0 impls, 35217 clqs
42.88/44.30	c (round 19, fast)       849 del vars, 587 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 296 chg coeffs, 5702 upgd conss, 0 impls, 35217 clqs
42.88/44.30	c (round 20, exhaustive) 874 del vars, 587 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 296 chg coeffs, 5702 upgd conss, 0 impls, 35137 clqs
42.88/44.30	c (round 21, fast)       874 del vars, 612 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 5702 upgd conss, 0 impls, 35137 clqs
42.88/44.30	c (round 22, exhaustive) 899 del vars, 612 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 5702 upgd conss, 0 impls, 35151 clqs
42.88/44.30	c (round 23, fast)       899 del vars, 637 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 319 chg coeffs, 5702 upgd conss, 0 impls, 35151 clqs
42.88/44.30	c (round 24, exhaustive) 924 del vars, 637 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 319 chg coeffs, 5702 upgd conss, 0 impls, 35019 clqs
42.88/44.30	c (round 25, fast)       924 del vars, 662 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 5702 upgd conss, 0 impls, 35019 clqs
42.88/44.30	c (round 26, exhaustive) 949 del vars, 662 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 328 chg coeffs, 5702 upgd conss, 0 impls, 34881 clqs
42.88/44.30	c (round 27, fast)       949 del vars, 687 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 336 chg coeffs, 5702 upgd conss, 0 impls, 34881 clqs
42.88/44.30	c    (1.7s) probing: 1000/5489 (18.2%) - 236 fixings, 1 aggregations, 529732 implications, 0 bound changes
42.88/44.30	c    (2.8s) probing: 2000/5489 (36.4%) - 248 fixings, 1 aggregations, 1056173 implications, 0 bound changes
42.88/44.30	c (round 28, exhaustive) 974 del vars, 687 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 336 chg coeffs, 5702 upgd conss, 0 impls, 35388 clqs
42.88/44.30	c (round 29, fast)       974 del vars, 712 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 364 chg coeffs, 5702 upgd conss, 0 impls, 35389 clqs
42.88/44.30	c (round 30, exhaustive) 999 del vars, 712 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 364 chg coeffs, 5702 upgd conss, 0 impls, 35405 clqs
42.88/44.30	c (round 31, fast)       999 del vars, 737 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 399 chg coeffs, 5702 upgd conss, 0 impls, 35405 clqs
42.88/44.30	c    (3.8s) probing: 3000/5489 (54.7%) - 284 fixings, 1 aggregations, 1472189 implications, 0 bound changes
42.88/44.30	c    (4.7s) probing: 4000/5489 (72.9%) - 296 fixings, 1 aggregations, 1884554 implications, 0 bound changes
42.88/44.30	c    (5.7s) probing: 5000/5489 (91.1%) - 297 fixings, 1 aggregations, 2261204 implications, 0 bound changes
42.88/44.30	c    (6.0s) probing cycle finished: starting next cycle
42.88/44.30	c (round 32, exhaustive) 1024 del vars, 737 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 399 chg coeffs, 5702 upgd conss, 0 impls, 34172 clqs
42.88/44.30	c (round 33, fast)       1024 del vars, 762 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 440 chg coeffs, 5702 upgd conss, 0 impls, 34172 clqs
42.88/44.30	c    (7.3s) probing: 1000/5185 (19.3%) - 303 fixings, 3 aggregations, 2963504 implications, 0 bound changes
42.88/44.30	c    (7.7s) probing: 1345/5185 (25.9%) - 303 fixings, 3 aggregations, 3148222 implications, 0 bound changes
42.88/44.30	c    (7.7s) probing aborted: 1000/1000 successive useless probings
42.88/44.30	c (round 34, exhaustive) 1029 del vars, 762 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 440 chg coeffs, 5702 upgd conss, 0 impls, 35213 clqs
42.88/44.30	c (round 35, fast)       1029 del vars, 767 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 455 chg coeffs, 5702 upgd conss, 0 impls, 35218 clqs
42.88/44.30	c    (7.8s) probing: 1445/5185 (27.9%) - 303 fixings, 3 aggregations, 3196602 implications, 0 bound changes
42.88/44.30	c    (7.8s) probing aborted: 1000/1000 successive useless probings
42.88/44.30	c    (7.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
42.88/44.30	c    (7.9s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
42.88/44.30	c dynamic symmetry handling statistics:
42.88/44.30	c    orbitopal reduction:       no components
42.88/44.30	c    orbital reduction:         no components
42.88/44.30	c    lexicographic reduction:    4 permutations with support sizes 162, 320, 162, 146
42.88/44.30	c handled 5 out of 5 symmetry components
42.88/44.30	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
42.88/44.30	c  1032 deleted vars, 767 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 455 changed coefficients
42.88/44.30	c  0 implications, 35451 cliques
42.88/44.30	c presolved problem has 5175 variables (5175 bin, 0 int, 0 impl, 0 cont) and 5328 constraints
42.88/44.30	c    1136 constraints of type <setppc>
42.88/44.30	c       3 constraints of type <orbitope>
42.88/44.30	c    4189 constraints of type <logicor>
42.88/44.30	c transformed objective value is always integral (scale: 1)
42.88/44.30	c Presolving Time: 7.87
42.88/44.30	c 
42.88/44.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
42.88/44.30	c  11.9s|     1 |     0 | 11758 |     - |   110M |   0 |5175 |5409 |5322 |   0 |  0 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  42.9s|     1 |     0 | 70214 |     - |   119M |   0 |5175 |5613 |5327 |   5 |  1 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  44.5s|     1 |     0 | 73445 |     - |   120M |   0 |5175 |5615 |5332 |  10 |  2 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  46.0s|     1 |     0 | 76108 |     - |   122M |   0 |5175 |5621 |5341 |  19 |  3 |  98 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  47.3s|     1 |     0 | 78309 |     - |   124M |   0 |5175 |5622 |5348 |  26 |  4 | 101 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  48.9s|     1 |     0 | 81074 |     - |   125M |   0 |5175 |5620 |5356 |  34 |  5 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  50.3s|     1 |     0 | 83330 |     - |   127M |   0 |5175 |5621 |5362 |  40 |  6 | 103 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  55.4s|     1 |     0 | 93673 |     - |   130M |   0 |5175 |5622 |5375 |  53 |  7 | 109 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  58.1s|     1 |     0 | 98254 |     - |   130M |   0 |5175 |5624 |5389 |  67 |  8 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  61.3s|     1 |     0 |104444 |     - |   131M |   0 |5175 |5626 |5400 |  78 |  9 | 118 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  65.1s|     1 |     0 |112191 |     - |   132M |   0 |5175 |5627 |5414 |  92 | 10 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c  70.0s|     1 |     0 |122277 |     - |   132M |   0 |5175 |5627 |5428 | 106 | 11 | 121 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c   130s|     1 |     2 |147637 |     - |   133M |   0 |5175 |5640 |5428 | 106 | 11 | 134 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.68/501.45	c   359s|   100 |    31 |621377 |5041.4 |   145M |  30 |5175 |5786 |5370 | 243 |  1 | 339 |  11 | 0.000000e+00 |      --      |    Inf |  13.84%
498.68/501.45	c 
498.68/501.45	c SCIP Status        : solving was interrupted [time limit reached]
498.68/501.45	c Solving Time (sec) : 500.00
498.68/501.45	c Solving Nodes      : 111
498.68/501.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.68/501.45	c Dual Bound         : +0.00000000000000e+00
498.68/501.45	c Gap                : infinite
498.68/501.45	c ----------------------------------------------------------------------
498.68/501.45	c dual bound: 0.0 -> 0
498.68/501.45	c primal bound: 1e+20 -> 100000000000000000000
498.68/501.45	c scip-goal-lb: 0
498.68/501.45	c scip-goal-ub: 100000000000000000000
498.68/501.45	c writing output to: HOME/tmpa55ki984.opb
498.68/501.45	c appending fixed variable constraints
498.68/501.45	c scip-fixed vars: 14.26% (738/5175)
498.68/501.45	c ----------------------------------------------------------------------
498.68/501.45	c executing external solver: HOME/naps-1.03a6
498.68/501.45	c ----------------------------------------------------------------------
498.68/501.45	c command: HOME/naps-1.03a6 HOME/tmpa55ki984.opb
498.68/501.46	c NaPS 1.03a6.
498.68/501.46	c Input file name: HOME/tmpa55ki984.opb
769.67/773.34	c _____________________________________________________________________________
769.67/773.34	c std/band forms        : 87,0
769.67/773.34	c 2cl/3cl ITE-codings   : 0,0
769.67/773.34	c BDD/srt/adr Max costs : 0,1410,0
769.67/773.34	c BDDraw/bin/mul/srt/adr: 0,0,0,87,0
769.67/773.34	c BDD nodes             : 0
769.67/773.34	c Es1/CC detections     : 0,0
769.67/773.34	c CC sort               : 87
769.67/773.34	c SAT/UNSAT calls       : 1,0
769.67/773.34	c regenrated variables  : 0
769.67/773.34	c eliminated fixed lits : 845
769.67/773.34	c goal lit flips        : 0
769.67/773.34	c goal stages           : 0
769.67/773.34	c goal shrink           : 0
769.67/773.34	c goal coeff separations: 0
769.67/773.34	c restarts              : 72035
769.67/773.34	c conflicts             : 3112448        (11494 /sec)
769.67/773.34	c decisions             : 17929668       (66211 /sec)
769.67/773.34	c propagations          : 1793740981     (6623954 /sec)
769.67/773.34	c inspects              : 0              (0 /sec)
769.67/773.34	c CPU time (solving tm) : 270.8 s        (270.7 s, SAT 270.7 s, UNSAT 0 s)
769.67/773.34	c Time for Opt-base     : 0.001425 s
769.67/773.34	c Steps for Opt-base    : 0
769.67/773.34	c Time for BDD coding   : 0 s
769.67/773.34	c Time for srt coding   : 0.01188 s
769.67/773.34	c _____________________________________________________________________________
769.67/773.34	s SATISFIABLE
769.67/773.34	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
769.67/773.34	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 x3804 -x3805 x3806 -x3807 x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
769.67/773.34	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63152 MiB free)
  memory of node 1: 64465 MiB (61259 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507493-1751183027/watcher-4507493-1751183027 -o /tmp/evaluation-result-4507493-1751183027/solver-4507493-1751183027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22498 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507493-1751183027.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
Current StackSize limit: 8192 KiB

solver pid=22543, runsolver pid=22538

[startup+0.100065 s]*
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127379976/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=20332 memory=14208 CPUtime=0.02 cores=4,6
/proc/22569/stat : 22569 (python3) D 22543 22543 22487 0 -1 4194304 1887 0 1 0 2 0 0 0 20 0 1 0 33977229 20819968 3552 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 5083 3552 1984 1 0 1837 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 24524 KiB
Current children cumulated memory: 17152 KiB

[startup+0.206072 s]*
/proc/loadavg: 0.52 1.05 1.99 2/272 22572
/proc/meminfo: memFree=127378684/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=44944 memory=14208 CPUtime=0.02 cores=4,6
/proc/22569/stat : 22569 (python3) D 22543 22543 22487 0 -1 4194304 1890 0 3 0 2 0 0 0 20 0 1 0 33977229 46022656 3552 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 11236 3552 1984 1 0 1923 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49136 KiB
Current children cumulated memory: 17152 KiB

[startup+0.305239 s]*
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127377940/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=45024 memory=14464 CPUtime=0.02 cores=4,6
/proc/22569/stat : 22569 (python3) D 22543 22543 22487 0 -1 4194304 1903 0 5 0 2 0 0 0 20 0 1 0 33977229 46104576 3616 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 1 0 0 17 6 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 11256 3616 2048 1 0 3404 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 49216 KiB
Current children cumulated memory: 17408 KiB

[startup+0.70018 s]
/proc/loadavg: 0.52 1.05 1.99 1/272 22572
/proc/meminfo: memFree=127371392/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=75428 memory=24320 CPUtime=0.05 cores=4,6
/proc/22569/stat : 22569 (python3) D 22543 22543 22487 0 -1 4194304 2832 0 77 0 4 1 0 0 20 0 1 0 33977229 77238272 6080 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 18857 6080 3680 1 0 3880 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 79620 KiB
Current children cumulated memory: 27264 KiB

[startup+1.50021 s]
/proc/loadavg: 0.80 1.10 2.00 1/272 22572
/proc/meminfo: memFree=127334108/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1228892 memory=80012 CPUtime=0.2 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 13127 0 224 0 16 4 0 0 20 0 1 0 33977229 1258385408 20003 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 307223 20003 7686 1 0 278581 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1233084 KiB
Current children cumulated memory: 82956 KiB

[startup+3.10572 s]
/proc/loadavg: 0.80 1.10 2.00 5/272 22572
/proc/meminfo: memFree=127060368/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1256020 memory=105612 CPUtime=1.8 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 19586 0 227 0 175 5 0 0 20 0 1 0 33977229 1286164480 26403 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 314005 26403 7750 1 0 285363 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 1260212 KiB
Current children cumulated memory: 108556 KiB
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 1.05 1.15 2.01 5/272 22572
/proc/meminfo: memFree=127050968/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1257092 memory=106764 CPUtime=4.99 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 19840 0 227 0 494 5 0 0 20 0 1 0 33977229 1287262208 26691 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 314273 26691 7782 1 0 285631 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 1261284 KiB
Current children cumulated memory: 109708 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 1.29 1.20 2.02 5/272 22572
/proc/meminfo: memFree=126902636/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1317016 memory=151336 CPUtime=11.37 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 30368 0 227 0 1130 7 0 0 20 0 1 0 33977229 1348624384 37834 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 329254 37834 7974 1 0 300612 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 1321208 KiB
Current children cumulated memory: 154280 KiB

[startup+25.5002 s]
/proc/loadavg: 1.71 1.29 2.05 5/272 22573
/proc/meminfo: memFree=126826960/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1319356 memory=153512 CPUtime=24.14 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 30911 0 227 0 2407 7 0 0 20 0 1 0 33977229 1351020544 38378 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 329839 38378 7974 1 0 301197 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 1323548 KiB
Current children cumulated memory: 156456 KiB

[startup+51.1056 s]
/proc/loadavg: 2.68 1.57 2.12 5/272 22573
/proc/meminfo: memFree=126682928/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1378068 memory=210508 CPUtime=49.67 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 49749 0 227 0 4957 10 0 0 20 0 1 0 33977229 1411141632 52627 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 344517 52627 8006 1 0 315875 0
Current children cumulated CPU time: 49.67 s
Current children cumulated vsize: 1382260 KiB
Current children cumulated memory: 213452 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 1.96 2.22 5/271 22575
/proc/meminfo: memFree=126463928/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1383552 memory=223948 CPUtime=100.75 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 51437 0 227 0 10064 11 0 0 20 0 1 0 33977229 1416757248 55987 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 345888 55987 8006 1 0 317246 0
Current children cumulated CPU time: 100.75 s
Current children cumulated vsize: 1387744 KiB
Current children cumulated memory: 226892 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.35 2.34 5/272 22578
/proc/meminfo: memFree=126410280/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1386120 memory=237428 CPUtime=160.59 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 56623 0 227 0 16047 12 0 0 20 0 1 0 33977229 1419386880 59357 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 346530 59357 8006 1 0 317888 0
Current children cumulated CPU time: 160.59 s
Current children cumulated vsize: 1390312 KiB
Current children cumulated memory: 240372 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.67 2.45 5/271 22583
/proc/meminfo: memFree=126392924/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1386752 memory=240280 CPUtime=220.43 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 59769 0 227 0 22030 13 0 0 20 0 1 0 33977229 1420034048 60070 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 346688 60070 8006 1 0 318046 0

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

/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=35572 memory=31340 CPUtime=20.74 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 22315 0 0 0 2070 4 0 0 20 0 1 0 34027371 36425728 7835 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 8893 7835 544 696 0 8054 0
Current children cumulated CPU time: 519.47 s
Current children cumulated vsize: 1434204 KiB
Current children cumulated memory: 282252 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 3.68 3.00 5/270 22704
/proc/meminfo: memFree=126403380/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=38732 memory=35088 CPUtime=80.55 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 56986 0 0 0 8042 13 0 0 20 0 1 0 34027371 39661568 8772 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 9683 8772 544 696 0 8844 0
Current children cumulated CPU time: 579.28 s
Current children cumulated vsize: 1437364 KiB
Current children cumulated memory: 286000 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 3.76 3.07 5/270 22706
/proc/meminfo: memFree=126391192/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44044 memory=40548 CPUtime=140.36 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 69718 0 0 0 14019 17 0 0 20 0 1 0 34027371 45101056 10137 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11011 10137 544 696 0 10172 0
Current children cumulated CPU time: 639.09 s
Current children cumulated vsize: 1442676 KiB
Current children cumulated memory: 291460 KiB

[startup+702.3 s]
/proc/loadavg: 4.10 3.82 3.13 5/270 22708
/proc/meminfo: memFree=126403236/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=41928 CPUtime=200.16 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 75656 0 0 0 19998 18 0 0 20 0 1 0 34027371 45256704 10482 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10482 544 696 0 10210 0
Current children cumulated CPU time: 698.89 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 292840 KiB

[startup+762.3 s]
/proc/loadavg: 4.40 3.95 3.22 5/271 22711
/proc/meminfo: memFree=126364760/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=40712 CPUtime=259.97 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 77109 0 0 0 25978 19 0 0 20 0 1 0 34027371 45256704 10178 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10178 544 696 0 10210 0
Current children cumulated CPU time: 758.7 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 291624 KiB

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

# cumulated CPU time of all completed processes:  user=769.423 s, system=0.381523 s

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

[startup+768 s]*
/proc/loadavg: 4.37 3.95 3.23 5/271 22711
/proc/meminfo: memFree=126355704/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=41096 CPUtime=265.66 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 77224 0 0 0 26547 19 0 0 20 0 1 0 34027371 45256704 10274 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10274 544 696 0 10210 0
Current children cumulated CPU time: 764.39 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 292008 KiB

[startup+771.2 s]
/proc/loadavg: 4.34 3.95 3.23 5/271 22711
/proc/meminfo: memFree=126339320/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=41480 CPUtime=268.84 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 77300 0 0 0 26865 19 0 0 20 0 1 0 34027371 45256704 10370 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10370 544 696 0 10210 0
Current children cumulated CPU time: 767.57 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 292392 KiB

[startup+772.8 s]
/proc/loadavg: 4.34 3.95 3.23 5/271 22711
/proc/meminfo: memFree=126339572/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=41608 CPUtime=270.44 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 77334 0 0 0 27025 19 0 0 20 0 1 0 34027371 45256704 10402 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10402 544 696 0 10210 0
Current children cumulated CPU time: 769.17 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 292520 KiB

[startup+773.2 s]
/proc/loadavg: 4.34 3.95 3.23 5/271 22711
/proc/meminfo: memFree=126339572/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1394440 memory=247968 CPUtime=498.73 cores=4,6
/proc/22569/stat : 22569 (python3) S 22543 22543 22487 0 -1 4194304 77932 0 228 0 49857 16 0 0 20 0 1 0 33977229 1427906560 61992 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 348610 61992 8038 1 0 319968 0
[pid=22599] ppid=22569 vsize=44196 memory=41608 CPUtime=270.84 cores=4,6
/proc/22599/stat : 22599 (naps-1.03a6) R 22569 22599 22599 0 -1 4194304 77334 0 0 0 27065 19 0 0 20 0 1 0 34027371 45256704 10402 18446744073709551615 4198400 7047149 140723251059040 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 41099264 140723251067281 140723251067379 140723251067379 140723251072969 0
/proc/22599/statm: 11049 10402 544 696 0 10210 0
Current children cumulated CPU time: 769.57 s
Current children cumulated vsize: 1442828 KiB
Current children cumulated memory: 292520 KiB

[startup+773.4 s]
/proc/loadavg: 4.34 3.95 3.23 5/271 22711
/proc/meminfo: memFree=126339572/131249992 swapFree=33010672/33010684
[pid=22543] ppid=22538 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22543/stat : 22543 (scip-naps-1.00.) S 22538 22543 22487 0 -1 4194304 256 339 0 1 0 0 0 0 20 0 1 0 33977225 4292608 736 18446744073709551615 94592345210880 94592346105413 140721401622832 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94592346344464 94592346392208 94592357466112 140721401624993 140721401625090 140721401625090 140721401630692 0
/proc/22543/statm: 1048 736 672 219 0 110 0
[pid=22569] ppid=22543 vsize=1368440 memory=223032 CPUtime=769.77 cores=4,6
/proc/22569/stat : 22569 (python3) R 22543 22543 22487 0 -1 4194304 82637 77336 228 0 49862 17 27079 19 20 0 1 0 33977229 1401282560 55758 18446744073709551615 94044551790592 94044551790969 140730752219792 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 94044551802264 94044551802884 94044579209216 140730752227672 140730752227874 140730752227874 140730752233447 0
/proc/22569/statm: 342110 55758 8038 1 0 313468 0
Current children cumulated CPU time: 769.77 s
Current children cumulated vsize: 1372632 KiB
Current children cumulated memory: 225976 KiB

Child status: 0

Real time (s): 773.407
CPU time (s): 769.805
CPU user time (s): 769.423
CPU system time (s): 0.381523
CPU usage (%): 99.5343
Max. virtual memory (cumulated for all children) (KiB): 1459216
Max. memory (cumulated for all children) (KiB): 301304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 769.423
system time used= 0.381523
maximum resident set size= 274400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160976
page faults= 229
swaps= 0
block input operations= 35648
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 959
involuntary context switches= 841


# summary of solver processes directly reported to runsolver:
#   pid: 22543
#   total CPU time (s): 769.805
#   total CPU user time (s): 769.423
#   total CPU system time (s): 0.381523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5132 second user time and 3.34323 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=1261576972

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127398980 kB
MemAvailable:   129774800 kB
Buffers:            2352 kB
Cached:          3170752 kB
SwapCached:            8 kB
Active:           266048 kB
Inactive:        2971440 kB
Active(anon):      76532 kB
Inactive(anon):     6040 kB
Active(file):     189516 kB
Inactive(file):  2965400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23600 kB
Writeback:             0 kB
AnonPages:         67584 kB
Mapped:           102756 kB
Shmem:             18056 kB
KReclaimable:     120284 kB
Slab:             206300 kB
SReclaimable:     120284 kB
SUnreclaim:        86016 kB
KernelStack:        4144 kB
PageTables:         2904 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC035 at 2025-06-29 09:56:40