Trace number 4507277

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 785.587 787.825

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
MD5SUMdd58632d9551a3604736dadf6eadc418
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 benchmark50.6923
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
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 

51.80/52.05	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4507277-1751179894.opb
51.80/52.05	c Solving mode: decision
51.80/52.05	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
51.80/52.05	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
51.80/52.05	c original problem has 6120 variables (6120 bin, 0 int, 0 impl, 0 cont) and 6302 constraints
51.80/52.05	c presolving:
51.80/52.05	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, 1219 clqs
51.80/52.05	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, 1206 clqs
51.80/52.05	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, 1211 clqs
51.80/52.05	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, 1237 clqs
51.80/52.05	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, 1252 clqs
51.80/52.05	c (round 6, exhaustive) 583 del vars, 393 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1255 clqs
51.80/52.05	c (round 7, exhaustive) 583 del vars, 393 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5909 upgd conss, 0 impls, 1255 clqs
51.80/52.05	c (round 8, exhaustive) 648 del vars, 393 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5909 upgd conss, 0 impls, 1242 clqs
51.80/52.05	c (round 9, fast)       713 del vars, 458 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5909 upgd conss, 0 impls, 1242 clqs
51.80/52.05	c (round 10, exhaustive) 739 del vars, 459 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 63 chg coeffs, 5909 upgd conss, 0 impls, 36071 clqs
51.80/52.05	c (round 11, fast)       741 del vars, 486 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 128 chg coeffs, 5909 upgd conss, 0 impls, 36088 clqs
51.80/52.05	c (round 12, exhaustive) 767 del vars, 486 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 129 chg coeffs, 5909 upgd conss, 0 impls, 36507 clqs
51.80/52.05	c (round 13, fast)       767 del vars, 512 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 187 chg coeffs, 5909 upgd conss, 0 impls, 36513 clqs
51.80/52.05	c (round 14, exhaustive) 792 del vars, 512 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 187 chg coeffs, 5909 upgd conss, 0 impls, 36514 clqs
51.80/52.05	c (round 15, fast)       792 del vars, 537 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 239 chg coeffs, 5909 upgd conss, 0 impls, 36521 clqs
51.80/52.05	c (round 16, exhaustive) 817 del vars, 537 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 239 chg coeffs, 5909 upgd conss, 0 impls, 36503 clqs
51.80/52.05	c (round 17, fast)       817 del vars, 562 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 287 chg coeffs, 5909 upgd conss, 0 impls, 36511 clqs
51.80/52.05	c (round 18, exhaustive) 842 del vars, 562 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 287 chg coeffs, 5909 upgd conss, 0 impls, 36423 clqs
51.80/52.05	c (round 19, fast)       842 del vars, 587 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 296 chg coeffs, 5909 upgd conss, 0 impls, 36423 clqs
51.80/52.05	c (round 20, exhaustive) 867 del vars, 587 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 296 chg coeffs, 5909 upgd conss, 0 impls, 36306 clqs
51.80/52.05	c (round 21, fast)       867 del vars, 612 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 5909 upgd conss, 0 impls, 36306 clqs
51.80/52.05	c (round 22, exhaustive) 892 del vars, 612 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 5909 upgd conss, 0 impls, 36285 clqs
51.80/52.05	c (round 23, fast)       892 del vars, 637 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 327 chg coeffs, 5909 upgd conss, 0 impls, 36286 clqs
51.80/52.05	c (round 24, exhaustive) 917 del vars, 637 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 327 chg coeffs, 5909 upgd conss, 0 impls, 36165 clqs
51.80/52.05	c (round 25, fast)       917 del vars, 662 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 336 chg coeffs, 5909 upgd conss, 0 impls, 36165 clqs
51.80/52.05	c (round 26, exhaustive) 942 del vars, 662 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 336 chg coeffs, 5909 upgd conss, 0 impls, 36066 clqs
51.80/52.05	c (round 27, fast)       942 del vars, 687 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 346 chg coeffs, 5909 upgd conss, 0 impls, 36066 clqs
51.80/52.05	c    (1.8s) probing: 1000/5693 (17.6%) - 240 fixings, 1 aggregations, 544212 implications, 0 bound changes
51.80/52.05	c (round 28, exhaustive) 967 del vars, 687 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 346 chg coeffs, 5909 upgd conss, 0 impls, 36573 clqs
51.80/52.05	c (round 29, fast)       967 del vars, 712 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 362 chg coeffs, 5909 upgd conss, 0 impls, 36573 clqs
51.80/52.05	c    (2.8s) probing: 2000/5693 (35.1%) - 274 fixings, 1 aggregations, 1078311 implications, 0 bound changes
51.80/52.05	c (round 30, exhaustive) 992 del vars, 712 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 362 chg coeffs, 5909 upgd conss, 0 impls, 36620 clqs
51.80/52.05	c (round 31, fast)       992 del vars, 737 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 5909 upgd conss, 0 impls, 36620 clqs
51.80/52.05	c    (3.7s) probing: 3000/5693 (52.7%) - 298 fixings, 1 aggregations, 1486080 implications, 0 bound changes
51.80/52.05	c (round 32, exhaustive) 1017 del vars, 737 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 5909 upgd conss, 0 impls, 36625 clqs
51.80/52.05	c (round 33, fast)       1017 del vars, 762 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 439 chg coeffs, 5909 upgd conss, 0 impls, 36626 clqs
51.80/52.05	c    (4.7s) probing: 4000/5693 (70.3%) - 307 fixings, 1 aggregations, 1905078 implications, 0 bound changes
51.80/52.05	c    (5.2s) probing: 4635/5693 (81.4%) - 307 fixings, 1 aggregations, 2144014 implications, 0 bound changes
51.80/52.05	c    (5.2s) probing aborted: 1000/1000 successive useless probings
51.80/52.05	c (round 34, exhaustive) 1025 del vars, 762 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 448 chg coeffs, 5909 upgd conss, 0 impls, 36662 clqs
51.80/52.05	c (round 35, fast)       1025 del vars, 769 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 452 chg coeffs, 5909 upgd conss, 0 impls, 36665 clqs
51.80/52.05	c    (5.3s) probing: 4735/5693 (83.2%) - 307 fixings, 1 aggregations, 2182003 implications, 0 bound changes
51.80/52.05	c    (5.3s) probing aborted: 1000/1000 successive useless probings
51.80/52.05	c    (5.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
51.80/52.05	c    (5.3s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
51.80/52.05	c dynamic symmetry handling statistics:
51.80/52.05	c    orbitopal reduction:       no components
51.80/52.05	c    orbital reduction:         no components
51.80/52.05	c    lexicographic reduction:    4 permutations with support sizes 168, 332, 168, 152
51.80/52.05	c handled 5 out of 5 symmetry components
51.80/52.05	c presolving (36 rounds: 36 fast, 17 medium, 17 exhaustive):
51.80/52.05	c  1028 deleted vars, 769 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 453 changed coefficients
51.80/52.05	c  0 implications, 36658 cliques
51.80/52.05	c presolved problem has 5380 variables (5380 bin, 0 int, 0 impl, 0 cont) and 5536 constraints
51.80/52.05	c    1182 constraints of type <setppc>
51.80/52.05	c       3 constraints of type <orbitope>
51.80/52.05	c    4351 constraints of type <logicor>
51.80/52.05	c transformed objective value is always integral (scale: 1)
51.80/52.05	c Presolving Time: 5.34
51.80/52.05	c 
51.80/52.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
51.80/52.05	c   9.7s|     1 |     0 | 12084 |     - |   115M |   0 |5380 |5634 |5530 |   0 |  0 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
51.80/52.05	c  45.8s|     1 |     0 | 72117 |     - |   121M |   0 |5380 |5841 |5545 |  15 |  1 | 107 |   0 | 0.000000e+00 |      --      |    Inf | unknown
51.80/52.05	c  48.7s|     1 |     0 | 78198 |     - |   123M |   0 |5380 |5842 |5553 |  23 |  2 | 108 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  51.9s|     1 |     0 | 84751 |     - |   124M |   0 |5380 |5844 |5565 |  35 |  3 | 110 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  57.0s|     1 |     0 | 94907 |     - |   127M |   0 |5380 |5845 |5582 |  52 |  4 | 111 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  61.9s|     1 |     0 |104229 |     - |   129M |   0 |5380 |5850 |5595 |  65 |  5 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  64.7s|     1 |     0 |109131 |     - |   131M |   0 |5380 |5853 |5603 |  73 |  6 | 119 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  67.8s|     1 |     0 |114825 |     - |   132M |   0 |5380 |5842 |5613 |  83 |  7 | 124 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  72.5s|     1 |     0 |124079 |     - |   133M |   0 |5380 |5839 |5627 |  97 |  8 | 125 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  77.0s|     1 |     0 |132725 |     - |   134M |   0 |5380 |5840 |5641 | 111 |  9 | 126 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  82.2s|     1 |     0 |142681 |     - |   135M |   0 |5380 |5843 |5652 | 122 | 10 | 129 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c  85.4s|     1 |     0 |148826 |     - |   135M |   0 |5380 |5844 |5659 | 129 | 11 | 130 |   0 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c   140s|     1 |     2 |215057 |     - |   137M |   0 |5380 |5852 |5659 | 129 | 11 | 158 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c   234s|   100 |    27 |426192 |2801.7 |   147M |  37 |5380 |5917 |   0 | 172 |  0 | 235 |  11 | 0.000000e+00 |      --      |    Inf | unknown
498.71/500.20	c   351s|   200 |    51 |727264 |2906.7 |   161M |  40 |5380 |5934 |5607 | 232 |  1 | 332 |  11 | 0.000000e+00 |      --      |    Inf |   0.78%
498.71/500.20	c 
498.71/500.20	c SCIP Status        : solving was interrupted [time limit reached]
498.71/500.20	c Solving Time (sec) : 500.00
498.71/500.20	c Solving Nodes      : 247
498.71/500.20	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
498.71/500.20	c Dual Bound         : +0.00000000000000e+00
498.71/500.20	c Gap                : infinite
498.71/500.20	c ----------------------------------------------------------------------
498.71/500.20	c dual bound: 0.0 -> 0
498.71/500.20	c primal bound: 1e+20 -> 100000000000000000000
498.71/500.20	c scip-goal-lb: 0
498.71/500.20	c scip-goal-ub: 100000000000000000000
498.71/500.20	c writing output to: HOME/tmppsf0ql7c.opb
498.71/500.20	c appending fixed variable constraints
498.71/500.20	c scip-fixed vars: 13.74% (739/5380)
498.71/500.20	c ----------------------------------------------------------------------
498.71/500.20	c executing external solver: HOME/naps-1.03a6
498.71/500.20	c ----------------------------------------------------------------------
498.71/500.20	c command: HOME/naps-1.03a6 HOME/tmppsf0ql7c.opb
498.71/500.20	c NaPS 1.03a6.
498.71/500.20	c Input file name: HOME/tmppsf0ql7c.opb
785.45/787.75	c _____________________________________________________________________________
785.45/787.75	c std/band forms        : 90,0
785.45/787.75	c 2cl/3cl ITE-codings   : 0,0
785.45/787.75	c BDD/srt/adr Max costs : 0,1410,0
785.45/787.75	c BDDraw/bin/mul/srt/adr: 0,0,0,90,0
785.45/787.75	c BDD nodes             : 0
785.45/787.75	c Es1/CC detections     : 0,0
785.45/787.75	c CC sort               : 90
785.45/787.75	c SAT/UNSAT calls       : 1,0
785.45/787.75	c regenrated variables  : 0
785.45/787.75	c eliminated fixed lits : 846
785.45/787.75	c goal lit flips        : 0
785.45/787.75	c goal stages           : 0
785.45/787.75	c goal shrink           : 0
785.45/787.75	c goal coeff separations: 0
785.45/787.75	c restarts              : 70166
785.45/787.75	c conflicts             : 3238084        (11294 /sec)
785.45/787.75	c decisions             : 18561617       (64743 /sec)
785.45/787.75	c propagations          : 1844391537     (6433212 /sec)
785.45/787.75	c inspects              : 0              (0 /sec)
785.45/787.75	c CPU time (solving tm) : 286.7 s        (286.6 s, SAT 286.6 s, UNSAT 0 s)
785.45/787.75	c Time for Opt-base     : 0.001412 s
785.45/787.75	c Steps for Opt-base    : 0
785.45/787.75	c Time for BDD coding   : 0 s
785.45/787.75	c Time for srt coding   : 0.01058 s
785.45/787.75	c _____________________________________________________________________________
785.45/787.76	s SATISFIABLE
785.45/787.76	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
785.45/787.76	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
785.45/787.76	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999
785.45/787.76	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=20016, runsolver pid=20013

[startup+0.100064 s]*
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128218844/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1176044 memory=27936 CPUtime=0.04 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 3108 0 0 0 4 0 0 0 20 0 1 0 33667251 1204269056 6984 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 294011 6984 4488 1 0 266108 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 1180236 KiB
Current children cumulated memory: 31008 KiB

[startup+0.205685 s]*
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128185328/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1224776 memory=76576 CPUtime=0.15 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 12184 0 0 0 13 2 0 0 20 0 1 0 33667251 1254170624 19144 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 306194 19144 7848 1 0 277552 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1228968 KiB
Current children cumulated memory: 79648 KiB

[startup+0.305669 s]*
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128177264/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1236416 memory=88096 CPUtime=0.25 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 15067 0 0 0 22 3 0 0 20 0 1 0 33667251 1266089984 22024 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 309104 22024 7880 1 0 280462 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1240608 KiB
Current children cumulated memory: 91168 KiB

[startup+0.70021 s]
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128154320/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1258300 memory=108064 CPUtime=0.64 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 20108 0 0 0 60 4 0 0 20 0 1 0 33667251 1288499200 27016 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 314575 27016 7912 1 0 285933 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1262492 KiB
Current children cumulated memory: 111136 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128154320/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1258300 memory=108576 CPUtime=1.44 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 20241 0 0 0 140 4 0 0 20 0 1 0 33667251 1288499200 27144 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 314575 27144 7912 1 0 285933 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1262492 KiB
Current children cumulated memory: 111648 KiB

[startup+3.10557 s]
/proc/loadavg: 4.11 4.21 4.15 5/271 20021
/proc/meminfo: memFree=128154480/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1258444 memory=108704 CPUtime=3.04 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 20282 0 0 0 300 4 0 0 20 0 1 0 33667251 1288646656 27176 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 314611 27176 7912 1 0 285969 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1262636 KiB
Current children cumulated memory: 111776 KiB

[startup+6.30014 s]
/proc/loadavg: 4.11 4.20 4.15 5/271 20021
/proc/meminfo: memFree=128115168/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1320764 memory=153248 CPUtime=6.23 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 31302 0 0 0 617 6 0 0 20 0 1 0 33667251 1352462336 38312 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 330191 38312 8104 1 0 301549 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1324956 KiB
Current children cumulated memory: 156320 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.20 4.15 5/271 20021
/proc/meminfo: memFree=128103288/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1323476 memory=155808 CPUtime=12.61 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 31923 0 0 0 1255 6 0 0 20 0 1 0 33667251 1355239424 38952 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 330869 38952 8104 1 0 302227 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1327668 KiB
Current children cumulated memory: 158880 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.20 4.15 5/271 20021
/proc/meminfo: memFree=128124332/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1323692 memory=156064 CPUtime=25.38 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 32008 0 0 0 2532 6 0 0 20 0 1 0 33667251 1355460608 39016 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 330923 39016 8104 1 0 302281 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1327884 KiB
Current children cumulated memory: 159136 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.19 4.15 5/271 20022
/proc/meminfo: memFree=128054920/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1389788 memory=220012 CPUtime=50.9 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 47464 0 1 0 5082 8 0 0 20 0 1 0 33667251 1423142912 55003 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 347447 55003 8136 1 0 318805 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1393980 KiB
Current children cumulated memory: 223084 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/271 20024
/proc/meminfo: memFree=128062580/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1388744 memory=219240 CPUtime=101.96 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 47537 0 1 0 10188 8 0 0 20 0 1 0 33667251 1422073856 54810 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 347186 54810 8136 1 0 318544 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1392936 KiB
Current children cumulated memory: 222312 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/269 20074
/proc/meminfo: memFree=128583608/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1388748 memory=221764 CPUtime=161.8 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 55456 0 1 0 16170 10 0 0 20 0 1 0 33667251 1422077952 55441 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 347187 55441 8136 1 0 318545 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1392940 KiB
Current children cumulated memory: 224836 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/270 20080
/proc/meminfo: memFree=128443176/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1388748 memory=228916 CPUtime=221.61 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 57958 0 1 0 22151 10 0 0 20 0 1 0 33667251 1422077952 57229 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 347187 57229 8136 1 0 318545 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1392940 KiB

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

/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46472 memory=43576 CPUtime=141.71 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 34175 0 0 0 14163 8 0 0 20 0 1 0 33717268 47587328 10894 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11618 10894 544 696 0 10779 0
Current children cumulated CPU time: 640.42 s
Current children cumulated vsize: 1466388 KiB
Current children cumulated memory: 313468 KiB

[startup+702.3 s]
/proc/loadavg: 4.37 4.20 4.15 5/274 20166
/proc/meminfo: memFree=128674916/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=44616 CPUtime=201.56 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 37046 0 0 0 20147 9 0 0 20 0 1 0 33717268 47890432 11154 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 11154 544 696 0 10853 0
Current children cumulated CPU time: 700.27 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 314508 KiB

[startup+762.3 s]
/proc/loadavg: 4.27 4.20 4.15 5/272 20216
/proc/meminfo: memFree=128818964/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=43976 CPUtime=261.39 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38051 0 0 0 26130 9 0 0 20 0 1 0 33717268 47890432 10994 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 10994 544 696 0 10853 0
Current children cumulated CPU time: 760.1 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 313868 KiB

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

# cumulated CPU time of all completed processes:  user=785.312 s, system=0.274701 s

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

[startup+768 s]*
/proc/loadavg: 4.25 4.20 4.15 5/272 20216
/proc/meminfo: memFree=128819468/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=45000 CPUtime=267.08 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38289 0 0 0 26699 9 0 0 20 0 1 0 33717268 47890432 11250 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 11250 544 696 0 10853 0
Current children cumulated CPU time: 765.79 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 314892 KiB

[startup+780.8 s]
/proc/loadavg: 4.21 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128719628/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=54960 memory=47432 CPUtime=279.85 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38378 0 0 0 27975 10 0 0 20 0 1 0 33717268 56279040 11858 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 13740 11858 544 696 0 12901 0
Current children cumulated CPU time: 778.56 s
Current children cumulated vsize: 1474876 KiB
Current children cumulated memory: 317324 KiB

[startup+784 s]*
/proc/loadavg: 4.20 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=43592 CPUtime=283.05 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38539 0 0 0 28295 10 0 0 20 0 1 0 33717268 47890432 10898 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 10898 544 696 0 10853 0
Current children cumulated CPU time: 781.76 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 313484 KiB

[startup+785.6 s]
/proc/loadavg: 4.20 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=42672 memory=40968 CPUtime=284.64 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38907 0 0 0 28454 10 0 0 20 0 1 0 33717268 43696128 10242 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 10668 10242 544 696 0 9829 0
Current children cumulated CPU time: 783.35 s
Current children cumulated vsize: 1462588 KiB
Current children cumulated memory: 310860 KiB

[startup+787.2 s]
/proc/loadavg: 4.18 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=43336 CPUtime=286.24 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 38988 0 0 0 28614 10 0 0 20 0 1 0 33717268 47890432 10834 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 10834 544 696 0 10853 0
Current children cumulated CPU time: 784.95 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 313228 KiB

[startup+787.6 s]
/proc/loadavg: 4.18 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1415724 memory=266820 CPUtime=498.71 cores=1,3
/proc/20021/stat : 20021 (python3) S 20016 20016 18676 0 -1 4194304 85626 0 5 0 49855 16 0 0 20 0 1 0 33667251 1449701376 66705 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 353931 66705 8296 1 0 325289 0
[pid=20147] ppid=20021 vsize=46768 memory=43848 CPUtime=286.64 cores=1,3
/proc/20147/stat : 20147 (naps-1.03a6) R 20021 20147 20147 0 -1 4194304 39124 0 0 0 28654 10 0 0 20 0 1 0 33717268 47890432 10962 18446744073709551615 4198400 7047149 140729509932016 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18669568 140729509935505 140729509935603 140729509935603 140729509941193 0
/proc/20147/statm: 11692 10962 544 696 0 10853 0
Current children cumulated CPU time: 785.35 s
Current children cumulated vsize: 1466684 KiB
Current children cumulated memory: 313740 KiB

[startup+787.8 s]
/proc/loadavg: 4.18 4.19 4.15 5/270 20217
/proc/meminfo: memFree=128720148/131249996 swapFree=33010684/33010684
[pid=20016] ppid=20013 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/20016/stat : 20016 (scip-naps-1.00.) S 20013 20016 18676 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 33667248 4292608 768 18446744073709551615 94211224231936 94211225126469 140737438803648 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94211225365520 94211225413264 94211237113856 140737438808481 140737438808578 140737438808578 140737438814180 0
/proc/20016/statm: 1048 768 704 219 0 110 0
[pid=20021] ppid=20016 vsize=1411216 memory=262312 CPUtime=785.54 cores=1,3
/proc/20021/stat : 20021 (python3) R 20016 20016 18676 0 -1 4194304 86286 39125 5 0 49858 16 28670 10 20 0 1 0 33667251 1445085184 65578 18446744073709551615 94311698255872 94311698256249 140736092910320 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94311698267544 94311698268164 94311725817856 140736092911960 140736092912162 140736092912162 140736092917735 0
/proc/20021/statm: 352804 65578 8296 1 0 324162 0
Current children cumulated CPU time: 785.54 s
Current children cumulated vsize: 1415408 KiB
Current children cumulated memory: 265384 KiB

Child status: 0

Real time (s): 787.825
CPU time (s): 785.587
CPU user time (s): 785.312
CPU system time (s): 0.274701
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 1476992
Max. memory (cumulated for all children) (KiB): 317324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 785.312
system time used= 0.274701
maximum resident set size= 270884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129299
page faults= 5
swaps= 0
block input operations= 832
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 1124


# summary of solver processes directly reported to runsolver:
#   pid: 20016
#   total CPU time (s): 785.587
#   total CPU user time (s): 785.312
#   total CPU system time (s): 0.274701

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51519 second user time and 3.34304 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 08:51:34
IDJOB=4507277
IDBENCH=158339
IDSOLVER=3368
FILE ID=nodeC023/4507277-1751179894
RUNJOBID= nodeC023-1751170906-18688
SLURM_JOB_ID= 9587532
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=756328262

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128223260 kB
MemAvailable:   127964860 kB
Buffers:            3280 kB
Cached:           552016 kB
SwapCached:            0 kB
Active:          2147512 kB
Inactive:         282076 kB
Active(anon):    1892356 kB
Inactive(anon):        0 kB
Active(file):     255156 kB
Inactive(file):   282076 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5804 kB
Writeback:            60 kB
AnonPages:       1869556 kB
Mapped:           131820 kB
Shmem:             18064 kB
KReclaimable:      87212 kB
Slab:             173080 kB
SReclaimable:      87212 kB
SUnreclaim:        85868 kB
KernelStack:        4384 kB
PageTables:         7476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5593540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    933888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC023 at 2025-06-29 09:04:42