Trace number 4497849

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a1OPT21 1078.05 1081.5

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark24.4815
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

15.69/15.87	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4497849-1751390847.opb
15.69/15.87	c Solving mode: optimization
15.69/15.87	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
15.69/15.87	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
15.69/15.87	c original problem has 6076 variables (6076 bin, 0 int, 0 impl, 0 cont) and 21401 constraints
15.69/15.87	c presolving:
15.69/15.87	c (round 1, fast)       601 del vars, 1197 del conss, 0 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 0 upgd conss, 0 impls, 15380 clqs
15.69/15.87	c (round 2, exhaustive) 605 del vars, 1213 del conss, 0 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15372 clqs
15.69/15.87	c (round 3, exhaustive) 605 del vars, 20799 del conss, 4810 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15372 clqs
15.69/15.87	c (round 4, exhaustive) 739 del vars, 20933 del conss, 4810 add conss, 5 chg bounds, 4 chg sides, 8 chg coeffs, 20188 upgd conss, 0 impls, 15103 clqs
15.69/15.87	c    (0.3s) probing: 51/5337 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
15.69/15.87	c    (0.3s) probing aborted: 50/50 successive totally useless probings
15.69/15.87	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.69/15.87	c    (0.3s) no symmetry present (symcode time: 0.00)
15.69/15.87	c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
15.69/15.87	c  739 deleted vars, 20933 deleted constraints, 4810 added constraints, 5 tightened bounds, 0 added holes, 4 changed sides, 8 changed coefficients
15.69/15.87	c  0 implications, 15103 cliques
15.69/15.87	c presolved problem has 5337 variables (5337 bin, 0 int, 0 impl, 0 cont) and 5278 constraints
15.69/15.87	c       1 constraints of type <knapsack>
15.69/15.87	c     596 constraints of type <setppc>
15.69/15.87	c    4676 constraints of type <and>
15.69/15.87	c       5 constraints of type <logicor>
15.69/15.87	c transformed objective value is always integral (scale: 1)
15.69/15.87	c Presolving Time: 0.26
15.69/15.87	c 
15.69/15.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.69/15.87	c p 0.6s|     1 |     0 |     0 |     - |shiftand|   0 |5337 |5341 |9953 |   0 |  0 |  62 |   0 | 5.000000e+00 | 2.600000e+01 | 420.00%| unknown
15.69/15.87	c   0.7s|     1 |     0 |   514 |     - |    94M |   0 |5337 |5341 |9953 |   0 |  0 |  62 |   0 | 7.600000e+00 | 2.600000e+01 | 242.11%| unknown
15.69/15.87	c   1.5s|     1 |     0 |   632 |     - |   112M |   0 |5337 |5536 |  10k|  60 |  1 |  62 |   0 | 8.333333e+00 | 2.600000e+01 | 212.00%| unknown
15.69/15.87	c   1.8s|     1 |     0 |   869 |     - |   123M |   0 |5337 |5536 |  10k|  86 |  2 |  62 |   0 | 9.166667e+00 | 2.600000e+01 | 183.64%| unknown
15.69/15.87	c   2.0s|     1 |     0 |  1271 |     - |   125M |   0 |5337 |5537 |  10k| 122 |  3 |  63 |   0 | 1.000000e+01 | 2.600000e+01 | 160.00%| unknown
15.69/15.87	c   2.3s|     1 |     0 |  2166 |     - |   129M |   0 |5337 |5537 |  10k| 197 |  4 |  63 |   0 | 1.000000e+01 | 2.600000e+01 | 160.00%| unknown
15.69/15.87	c   2.6s|     1 |     0 |  2716 |     - |   134M |   0 |5337 |5541 |  10k| 289 |  5 |  67 |   0 | 1.000000e+01 | 2.600000e+01 | 160.00%| unknown
15.69/15.87	c   3.2s|     1 |     0 |  3412 |     - |   155M |   0 |5337 |5551 |  10k| 384 |  6 |  77 |   0 | 1.020000e+01 | 2.600000e+01 | 154.90%| unknown
15.69/15.87	c   3.4s|     1 |     0 |  3817 |     - |   158M |   0 |5337 |5551 |  10k| 433 |  7 |  77 |   0 | 1.060784e+01 | 2.600000e+01 | 145.10%| unknown
15.69/15.87	c   3.6s|     1 |     0 |  4472 |     - |   161M |   0 |5337 |5552 |  10k| 544 |  8 |  78 |   0 | 1.090670e+01 | 2.600000e+01 | 138.39%| unknown
15.69/15.87	c   3.8s|     1 |     0 |  5165 |     - |   165M |   0 |5337 |5552 |  10k| 630 |  9 |  78 |   0 | 1.100802e+01 | 2.600000e+01 | 136.19%| unknown
15.69/15.87	c   4.8s|     1 |     0 |  5961 |     - |   178M |   0 |5337 |5555 |  10k| 766 | 10 |  81 |   0 | 1.105001e+01 | 2.600000e+01 | 135.29%| unknown
15.69/15.87	c   5.0s|     1 |     0 |  6744 |     - |   179M |   0 |5337 |5562 |  10k| 940 | 11 |  88 |   0 | 1.113624e+01 | 2.600000e+01 | 133.47%| unknown
15.69/15.87	c   5.2s|     1 |     0 |  7638 |     - |   180M |   0 |5337 |5564 |  11k|1107 | 12 |  90 |   0 | 1.117500e+01 | 2.600000e+01 | 132.66%| unknown
15.69/15.87	c   5.5s|     1 |     0 |  8631 |     - |   182M |   0 |5337 |5574 |  11k|1309 | 13 | 100 |   0 | 1.120322e+01 | 2.600000e+01 | 132.08%| unknown
15.69/15.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.69/15.87	c   5.7s|     1 |     0 |  9689 |     - |   184M |   0 |5337 |5583 |  11k|1481 | 14 | 110 |   0 | 1.122157e+01 | 2.600000e+01 | 131.70%| unknown
15.69/15.87	c   6.2s|     1 |     0 | 11431 |     - |   186M |   0 |5337 |5593 |  11k|1700 | 15 | 120 |   0 | 1.125173e+01 | 2.600000e+01 | 131.08%| unknown
15.69/15.87	c   6.7s|     1 |     0 | 13308 |     - |   187M |   0 |5337 |5603 |  11k|1923 | 16 | 130 |   0 | 1.128252e+01 | 2.600000e+01 | 130.45%| unknown
15.69/15.87	c   7.3s|     1 |     0 | 15828 |     - |   188M |   0 |5337 |5613 |  11k|2120 | 17 | 140 |   0 | 1.131024e+01 | 2.600000e+01 | 129.88%| unknown
15.69/15.87	c   8.1s|     1 |     0 | 18628 |     - |   191M |   0 |5337 |5623 |  12k|2335 | 18 | 150 |   0 | 1.133948e+01 | 2.600000e+01 | 129.29%| unknown
15.69/15.87	c   8.9s|     1 |     0 | 21685 |     - |   192M |   0 |5337 |5624 |  12k|2529 | 19 | 152 |   0 | 1.138450e+01 | 2.600000e+01 | 128.38%| unknown
15.69/15.87	c   9.6s|     1 |     0 | 24368 |     - |   193M |   0 |5337 |5625 |  12k|2754 | 20 | 154 |   0 | 1.139892e+01 | 2.600000e+01 | 128.09%| unknown
15.69/15.87	c  10.2s|     1 |     0 | 26293 |     - |   194M |   0 |5337 |5630 |  12k|2932 | 21 | 164 |   0 | 1.140700e+01 | 2.600000e+01 | 127.93%| unknown
15.69/15.87	c  10.7s|     1 |     0 | 28036 |     - |   194M |   0 |5337 |5639 |  12k|3118 | 22 | 174 |   0 | 1.141157e+01 | 2.600000e+01 | 127.84%| unknown
15.69/15.87	c  11.1s|     1 |     0 | 29462 |     - |   194M |   0 |5337 |5640 |  12k|3261 | 23 | 176 |   0 | 1.141364e+01 | 2.600000e+01 | 127.80%| unknown
15.69/15.87	c  11.5s|     1 |     0 | 30686 |     - |   194M |   0 |5337 |5648 |  13k|3368 | 24 | 186 |   0 | 1.141515e+01 | 2.600000e+01 | 127.77%| unknown
15.69/15.87	c  12.1s|     1 |     0 | 32840 |     - |   195M |   0 |5337 |5652 |  13k|3468 | 25 | 190 |   0 | 1.141761e+01 | 2.600000e+01 | 127.72%| unknown
15.69/15.87	c  12.5s|     1 |     0 | 34022 |     - |   195M |   0 |5337 |5653 |  13k|3580 | 26 | 191 |   0 | 1.141878e+01 | 2.600000e+01 | 127.70%| unknown
15.69/15.87	c  12.7s|     1 |     0 | 34768 |     - |   195M |   0 |5337 |5663 |  13k|3651 | 27 | 201 |   0 | 1.141948e+01 | 2.600000e+01 | 127.68%| unknown
15.69/15.87	c  13.0s|     1 |     0 | 35549 |     - |   195M |   0 |5337 |5672 |  13k|3717 | 28 | 211 |   0 | 1.141991e+01 | 2.600000e+01 | 127.67%| unknown
15.69/15.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.69/15.87	c  13.5s|     1 |     0 | 36984 |     - |   195M |   0 |5337 |5671 |  13k|3824 | 29 | 213 |   0 | 1.142204e+01 | 2.600000e+01 | 127.63%| unknown
15.69/15.87	c  14.0s|     1 |     0 | 38325 |     - |   195M |   0 |5337 |5674 |  13k|3897 | 30 | 217 |   0 | 1.142322e+01 | 2.600000e+01 | 127.61%| unknown
15.69/15.87	c  14.4s|     1 |     0 | 39372 |     - |   196M |   0 |5337 |5683 |  13k|3984 | 31 | 227 |   0 | 1.142395e+01 | 2.600000e+01 | 127.59%| unknown
15.69/15.87	c  14.6s|     1 |     0 | 39754 |     - |   196M |   0 |5337 |5692 |  13k|4070 | 32 | 237 |   0 | 1.142411e+01 | 2.600000e+01 | 127.59%| unknown
15.69/15.87	c  14.8s|     1 |     0 | 40120 |     - |   196M |   0 |5337 |5698 |  13k|4114 | 33 | 247 |   0 | 1.142418e+01 | 2.600000e+01 | 127.59%| unknown
15.69/15.87	c  15.0s|     1 |     0 | 40523 |     - |   196M |   0 |5337 |5706 |  13k|4153 | 34 | 257 |   0 | 1.142446e+01 | 2.600000e+01 | 127.58%| unknown
15.69/15.87	c  15.1s|     1 |     0 | 40674 |     - |   196M |   0 |5337 |5711 |  13k|4163 | 35 | 262 |   0 | 1.142447e+01 | 2.600000e+01 | 127.58%| unknown
15.69/15.87	c  15.3s|     1 |     0 | 40902 |     - |   196M |   0 |5337 |5712 |  13k|4191 | 36 | 263 |   0 | 1.142455e+01 | 2.600000e+01 | 127.58%| unknown
15.69/15.87	c  15.5s|     1 |     0 | 41178 |     - |   197M |   0 |5337 |5715 |  13k|4247 | 37 | 267 |   0 | 1.142457e+01 | 2.600000e+01 | 127.58%| unknown
997.08/1000.33	c  15.6s|     1 |     0 | 41236 |     - |   197M |   0 |5337 |5724 |  13k|4258 | 38 | 277 |   0 | 1.142457e+01 | 2.600000e+01 | 127.58%| unknown
997.08/1000.33	c  15.8s|     1 |     0 | 41324 |     - |   197M |   0 |5337 |5731 |  13k|4267 | 39 | 287 |   0 | 1.142457e+01 | 2.600000e+01 | 127.58%| unknown
997.08/1000.33	c  15.9s|     1 |     0 | 41337 |     - |   197M |   0 |5337 |5741 |  13k|4289 | 40 | 297 |   0 | 1.142457e+01 | 2.600000e+01 | 127.58%| unknown
997.08/1000.33	c  16.0s|     1 |     0 | 41431 |     - |   197M |   0 |5337 |5742 |  13k|4292 | 41 | 298 |   0 | 1.142457e+01 | 2.600000e+01 | 127.58%| unknown
997.08/1000.33	c  36.4s|     1 |     2 | 64071 |     - |   198M |   0 |5337 |5754 |  13k|4292 | 41 | 310 |  11 | 1.143550e+01 | 2.600000e+01 | 127.36%| unknown
997.08/1000.33	c  1000s|   100 |   101 |  2391k|23734.5 |   284M |  19 |5337 |5852 |  16k|  26k|  3 | 419 |1382 | 1.181097e+01 | 2.600000e+01 | 120.13%| unknown
997.08/1000.33	c 
997.08/1000.33	c SCIP Status        : solving was interrupted [time limit reached]
997.08/1000.33	c Solving Time (sec) : 1000.00
997.08/1000.33	c Solving Nodes      : 100
997.08/1000.33	c Primal Bound       : +2.60000000000000e+01 (12 solutions)
997.08/1000.33	c Dual Bound         : +1.18109741628188e+01
997.08/1000.33	c Gap                : 120.13 %
997.08/1000.33	c All original constraints are satisfied.
997.08/1000.33	c SCIP's best solution is verified feasible for the original problem.
997.08/1000.33	c ----------------------------------------------------------------------
997.08/1000.33	c dual bound: 11.810974162818829 -> 12
997.08/1000.33	c primal bound: 26.0 -> 26
997.08/1000.33	c scip-goal-lb: 12
997.08/1000.33	c scip-goal-ub: 26
997.08/1000.33	c writing output to: HOME/tmpniy1mo7o.opb
997.08/1000.33	c appending fixed variable constraints
997.08/1000.33	c scip-fixed vars: 0.09% (5/5337)
997.08/1000.33	c ----------------------------------------------------------------------
997.08/1000.33	c executing external solver: HOME/naps-1.03a6
997.08/1000.33	c ----------------------------------------------------------------------
997.08/1000.33	c command: HOME/naps-1.03a6 -goal-lb=12 -goal-ub=25 HOME/tmpniy1mo7o.opb
997.08/1000.34	c NaPS 1.03a6.
997.08/1000.34	c Input file name: HOME/tmpniy1mo7o.opb
997.12/1000.50	c single stage optimization mode
1077.83/1081.36	o 25
1077.83/1081.36	o 24
1077.83/1081.36	o 22
1077.83/1081.36	o 21
1077.83/1081.36	c _____________________________________________________________________________
1077.83/1081.36	c std/band forms        : 6,0
1077.83/1081.36	c 2cl/3cl ITE-codings   : 0,0
1077.83/1081.36	c BDD/srt/adr Max costs : 0,37545,0
1077.83/1081.36	c BDDraw/bin/mul/srt/adr: 0,0,0,6,0
1077.83/1081.36	c BDD nodes             : 0
1077.83/1081.36	c Es1/CC detections     : 0,0
1077.83/1081.36	c CC sort               : 5
1077.83/1081.36	c SAT/UNSAT calls       : 4,1
1077.83/1081.36	c regenrated variables  : 0
1077.83/1081.36	c eliminated fixed lits : 45
1077.83/1081.36	c goal lit flips        : 0
1077.83/1081.36	c goal stages           : 1
1077.83/1081.36	c goal shrink           : 0
1077.83/1081.36	c goal coeff separations: 0
1077.83/1081.36	c restarts              : 18188
1077.83/1081.36	c conflicts             : 563527         (6984 /sec)
1077.83/1081.36	c decisions             : 1620269        (20080 /sec)
1077.83/1081.36	c propagations          : 511844399      (6343349 /sec)
1077.83/1081.36	c inspects              : 0              (0 /sec)
1077.83/1081.36	c CPU time (solving tm) : 80.69 s        (80.52 s, SAT 0.7822 s, UNSAT 79.73 s)
1077.83/1081.36	c Time for Opt-base     : 0.000949 s
1077.83/1081.36	c Steps for Opt-base    : 0
1077.83/1081.36	c Time for BDD coding   : 0 s
1077.83/1081.36	c Time for srt coding   : 0.01024 s
1077.83/1081.36	c _____________________________________________________________________________
1077.83/1081.36	s OPTIMUM FOUND
1077.83/1081.36	v x1 x363 x532 x696 x859 -x1010 -x1068 -x1126 -x1184 -x1242 -x1300 -x1358 -x1416 x11 -x1474 -x14 -x1501 -x17 -x1528 -x20 -x1555 -x23 -x1582 -x26 -x1609 -x29 -x1636 -x1663 -x1690 -x36 -x1717 -x39 -x1744 -x42 -x1771 -x45 -x1798 x1825 -x50 -x1852 x53 -x1879 -x56 -x1906 -x59 -x1933 -x62 -x1960 -x65 -x1987 -x68 -x2014 -x71 -x2041 -x74 -x2068 x77 -x2095 -x80 -x2122 -x83 -x2149 -x86 -x2176 -x89 -x2203 -x2230 -x2232 -x2244 -x2246 -x2258 -x2260 -x2272 -x2274 -x2286 -x2288 -x2300 -x2302 -x2314 -x2316 -x2328 -x2330 -x2342 -x2344 -x2356 -x2358 -x2370 -x2372 -x2384 -x2386 -x2398 -x2400 -x2412 -x2414 -x2426 -x2428 -x2440 -x2442 -x2454 -x2456 -x2468 -x2470 -x2482 -x2484 -x2496 -x2498 -x2510 -x2512 -x2524 -x2536 -x2538 -x2550 -x2552 -x2564 -x2566 -x2578 -x2580 -x2592 -x2594 -x2606 -x2608 -x2620 -x2622 -x2634 -x2636 -x2648 -x2650 -x2662 -x2664 -x2676 -x2678 -x2690 -x2692 -x2704 -x2706 -x2718 -x2720 -x2732 -x2734 -x2746 -x2748 -x2760 -x2762 -x2774 -x2776 -x2788 -x2790 -x2802 -x2804 -x2816 -x2818 -x2830 -x2832 -x2844 -x2846 -x2858 -x2860 -x2872 -x2874 -x2886 -x2888 -x2900 -x2902 -x2914 -x2916 -x2928 -x2930 -x2942 -x2944 x2956 -x2958 -x2970 -x2972 -x2984 -x2986 -x2998 -x3000 -x3012 x3017 -x3022 -x3027 -x3032 -x3037 -x3042 -x3047 -x3052 -x3057 -x3062 -x3067 -x3072 -x3077 -x3082 -x3087 -x3092 -x3097 -x3102 -x3107 -x3112 -x3117 -x3122 -x3127 -x3132 -x3137 -x3142 -x3147 -x3152 -x3157 -x3162 -x3167 -x3172 -x3177 -x3182 -x3187 -x3192 -x3197 -x3202 -x3207 -x3212 -x3217 -x3222 -x3227 -x3232 -x3237 -x3242 -x3247 -x3252 -x3257 -x3262 -x3267 -x3272 -x3277 -x3282 -x3287 -x3292 -x3297 -x3302 -x3307 -x3312 -x3317 -x3322 -x3327 -x3332 -x3337 -x3342 -x3347 -x3352 -x3357 -x3362 -x3389 -x3416 -x3443 -x3470 -x3497 -x3524 -x3551 -x3563 -x376 -x3575 -x379 -x3587 -x382 -x3599 -x3611 -x3623 -x389 -x3635 -x392 -x3647 -x395 -x3659 -x398 -x3671 -x401 -x3683 -x404 -x3695 -x407 -x3707 -x3719 -x412 -x3731 -x415 -x3743 -x418 -x3755 x421 x3767 -x424 -x3779 -x3791 -x3803 -x3805 -x3810 -x3812 -x3817 -x3819 -x3824 -x3826 -x3831 -x3833 -x3838 -x3840 -x3845 -x3847 -x3852 -x3854 -x3859 -x3864 -x3866 -x3871 -x3873 -x3878 -x3880 -x3885 -x3887 -x3892 -x3894 -x3899 -x3901 -x3906 -x3908 -x3913 -x3915 -x3920 -x3922 -x3927 -x3929 -x3934 -x3936 -x3941 -x3943 -x3948 -x3950 -x3955 -x3957 -x3962 -x3964 -x3969 -x3971 -x3976 -x3978 -x3983 -x3985 x3990 -x3992 -x3997 -x3999 -x4004 -x4006 -x4011 -x4013 -x4018 -x4020 -x4025 -x4027 -x4032 -x4034 -x4039 -x4041 -x4046 x4073 -x4100 -x4127 -x4154 -x4181 -x4208 -x541 -x4235 -x4247 -x546 -x4259 x549 -x4271 -x4283 -x4295 -x556 -x4307 -x559 -x4319 -x562 -x4331 -x565 -x4343 -x568 -x4355 -x4367 -x573 -x4379 -x4391 -x4403 -x4415 -x582 -x4427 -x4439 -x4451 -x4463 -x591 -x4475 -x4487 -x4489 -x4494 -x4496 -x4501 -x4503 -x4508 -x4510 -x4515 -x4517 -x4522 -x4524 -x4529 -x4531 -x4536 -x4541 -x4543 -x4548 -x4550 -x4555 -x4557 -x4562 -x4564 x4569 -x4571 -x4576 -x4578 -x4583 -x4585 -x4590 -x4592 -x4597 -x4599 -x4604 -x4606 -x4611 -x4613 -x4618 -x4620 -x4625 -x4627 -x4632 -x4634 -x4639 -x4641 -x4646 -x4648 -x4653 -x4655 -x4660 -x4662 -x4667 -x4669 -x4674 -x4679 -x4681 -x4686 -x4688 -x4693 -x4695 -x4700 -x4702 -x4707 -x4709 -x4714 -x4716 -x4721 -x4723 -x4728 -x4755 x4782 -x4809 -x4836 -x4863 -x4890 -x4917 -x4929 -x709 -x4941 -x4953 -x4965 -x716 -x4977 -x719 -x4989 -x722 -x5001 -x5013 -x5025 -x5037 -x731 -x5049 -x734 -x5061 -x737 -x5073 -x5085 -x742 -x5097 -x5109 x747 -x5121 -x5133 -x5145 -x754 -x5157 -x5169 -x5171 -x5176 -x5178 -x5183 -x5185 -x5190 -x5195 -x5197 -x5202 -x5204 -x5209 -x5211 -x5216 -x5218 -x5223 -x5225 -x5230 -x5232 -x5237 -x5239 -x5244 -x5246 -x5251 -x5256 -x5258 -x5263 -x5265 -x5270 -x5272 -x5277 -x5279 -x5284 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 x5312 -x5314 -x5319 -x5321 -x5326 -x5328 -x5333 -x5335 -x5340 -x5342 -x5347 -x5349 -x5354 -x5356 -x5361 -x5363 -x5368 -x5370 -x5375 -x5377 -x5382 -x5384 -x5389 -x5391 -x5396 -x5398 -x5403 -x5405 -x5410 -x5437 -x5464 -x5491 -x5518 -x5545 -x5572 -x5599 -x5611 -x5623 -x5635 -x5647 -x5659 -x5671 -x882 -x5683 -x5695 -x887 -x5707 -x890 -x5719 -x5731 -x5743 -x5755 -x5767 -x901 -x5779 -x5791 -x5803 -x5815 -x5827 -x5839 -x5851 -x5856 -x5858 x5863 -x5868 -x5870 -x5875 -x5877 -x5882 -x5884 -x5889 -x5894 -x5896 -x5901 -x5903 -x5908 -x5910 -x5915 -x5917 -x5922 -x5924 -x5929 -x5931 -x5936 -x5941 -x5943 -x5948 -x5950 -x5955 -x5960 -x5962 -x5967 -x5969 -x5974 -x5976 -x5981 -x5983 -x5988 -x5990 -x5995 -x5997 -x6002 -x6004 -x6009 -x6011 -x6016 -x6018 -x6023 -x6025 -x6030 -x6035 -x6040 -x6042 -x6047 -x6049 -x6054 -x6056 -x6061 -x6063 -x6068 -x6070 -x6072 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 x47 x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x92 -x91 -x93 -x95 -x94 -x96 -x98 -x97 -x99 -x101 -x100 -x102 -x104 -x103 -x105 -x107 -x106 -x108 -x110 -x109 -x111 -x113 -x112 -x114 -x116 -x115 -x117 -x119 -x118 -x120 -x122 -x121 -x123 -x125 -x124 -x126 -x128 -x127 -x129 -x131 -x130 -x132 -x134 -x133 -x135 -x137 -x136 -x138 -x140 -x139 -x141 -x143 -x142 -x144 -x146 -x145 -x147 -x149 -x148 -x150 -x152 -x151 -x153 -x154 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x178 -x177 -x179 -x181 -x180 -x182 -x184 -x183 -x185 -x187 -x186 -x188 -x190 -x189 -x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 -x238 -x237 -x239 -x241 -x240 -x242 -x244 -x243 -x245 x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 x260 -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 -x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325 -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 -x346 -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x377 -x378 -x380 -x381 -x383 -x384 -x385 -x386 -x387 -x388 -x390 -x391 -x393 -x394 -x396 -x397 -x399 -x400 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x413 -x414 -x416 -x417 -x419 x420 x422 -x423 -x425 -x426 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x452 -x453 -x455 -x454 -x456 -x458 -x457 -x459 -x461 -x460 -x462 -x464 -x463 -x465 -x467 -x466 -x468 -x470 -x469 -x471 -x473 -x472 -x474 -x476 -x475 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x503 -x502 -x504 -x506 -x505 -x507 x509 -x508 -x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 -x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529 -x531 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x540 -x542 -x543 -x544 -x545 -x547 -x548 -x550 -x551 -x552 -x553 -x554 -x555 -x557 -x558 -x560 -x561 -x563 -x564 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x614 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x673 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x704 -x705 -x706 -x707 -x708 -x710 -x711 -x712 -x713 -x714 -x715 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x732 -x733 -x735 -x736 -x738 -x739 -x740 -x741 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 x818 -x817 -x819 -x821 -x820 -x822 -x824 -x823 -x825 -x827 -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x888 -x889 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x915 -x917 x918 x919 -x921 -x920 -x922 -x924 -x923 -x925 -x927 -x926 -x928 -x929 -x930 -x932 -x931 -x933 -x935 -x934 -x936 -x938 -x937 -x939 -x941 -x940 -x942 -x944 -x943 -x945 -x947 -x946 -x948 -x949 -x950 -x952 -x951 -x953 -x955 -x954 -x956 -x957 -x958 -x960 -x959 -x961 -x963 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x989 -x990 -x991 -x992 -x994 -x993 -x995 -x997 -x996 -x998 -x1000 -x999 -x1001 -x1003 -x1002 -x1004 -x1006 -x1005 -x1008 -x1007 -x1009 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -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 -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 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 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 -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 -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 -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
1077.83/1081.36	v -x1411 -x1412 -x1413 -x1414 -x1415 -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 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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -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 -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 -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 -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 -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 -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 -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 -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 x2231 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2245 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2259 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2273 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2301 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2315 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2343 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2427 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2441 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2455 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2497 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2511 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2537 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2551 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2565 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2579 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2593 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2621 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2663 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2677 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2691 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2719 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2733 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2747 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2775 x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2789 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2845 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2873 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2887 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2901 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2915 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2957 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2971 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2985 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2999 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3013 x3014 -x3015 -x3016 x3018 -x3019 -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3028 -x3029 -x3030 -x3031 x3033 x3034 -x3035 -x3036 -x3038 -x3039 -x3040 -x3041 -x3043 -x3044 -x3045 -x3046 -x3048 -x3049 -x3050 -x3051 -x3053 -x3054 -x3055 -x3056 x3058 -x3059 -x3060 -x3061 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090 -x3091 -x3093 -x3094 -x3095 -x3096 x3098 -x3099 x3100 -x3101 -x3103 -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 x3113 x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3133 -x3134 -x3135 -x3136 -x3138 -x3139 -x3140 -x3141 -x3143 -x3144 -x3145 -x3146 x3148 x3149 -x3150 -x3151 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3173 -x3174 -x3175 -x3176 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3193 -x3194 -x3195 -x3196 x3198 -x3199 -x3200 -x3201 -x3203 -x3204 -x3205 -x3206 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3228 -x3229 -x3230 -x3231 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3248 -x3249 -x3250 -x3251 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3278 -x3279 -x3280 -x3281 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3293 -x3294 -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 x3308 x3309 -x3310 -x3311 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 -x3320 -x3321 x3323 -x3324 -x3325 -x3326 -x3328 -x3329 -x3330 -x3331 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 -x3345 -x3346 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 -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 -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 -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 -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 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 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 -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 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634
1077.83/1081.36	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3768 x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 x3804 -x3806 -x3807 -x3808 -x3809 x3811 x3813 -x3814 -x3815 x3816 x3818 x3820 -x3821 -x3822 -x3823 x3825 x3827 -x3828 -x3829 -x3830 x3832 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3846 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3860 -x3861 -x3862 -x3863 -x3865 -x3867 -x3868 -x3869 -x3870 -x3872 -x3874 -x3875 -x3876 -x3877 -x3879 -x3881 -x3882 -x3883 -x3884 x3886 x3888 -x3889 -x3890 -x3891 -x3893 -x3895 -x3896 -x3897 -x3898 x3900 -x3902 -x3903 -x3904 -x3905 -x3907 -x3909 -x3910 -x3911 -x3912 -x3914 -x3916 -x3917 -x3918 -x3919 -x3921 -x3923 -x3924 -x3925 -x3926 x3928 -x3930 -x3931 -x3932 -x3933 -x3935 -x3937 -x3938 -x3939 -x3940 -x3942 -x3944 -x3945 -x3946 -x3947 -x3949 -x3951 -x3952 -x3953 -x3954 x3956 x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 x3970 -x3972 -x3973 -x3974 -x3975 -x3977 x3979 x3980 -x3981 -x3982 -x3984 -x3986 -x3987 -x3988 -x3989 x3991 x3993 x3994 -x3995 -x3996 x3998 -x4000 -x4001 -x4002 -x4003 x4005 -x4007 -x4008 -x4009 -x4010 x4012 -x4014 -x4015 -x4016 -x4017 x4019 x4021 x4022 -x4023 -x4024 -x4026 -x4028 -x4029 -x4030 -x4031 x4033 -x4035 -x4036 -x4037 -x4038 x4040 -x4042 -x4043 -x4044 -x4045 -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 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 -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 -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 -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 -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 -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 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4488 -x4490 -x4491 -x4492 -x4493 -x4495 -x4497 -x4498 -x4499 -x4500 x4502 x4504 -x4505 -x4506 -x4507 -x4509 x4511 -x4512 -x4513 -x4514 -x4516 -x4518 -x4519 -x4520 -x4521 -x4523 -x4525 -x4526 -x4527 -x4528 x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 x4542 -x4544 -x4545 -x4546 -x4547 x4549 -x4551 -x4552 -x4553 -x4554 -x4556 -x4558 -x4559 -x4560 -x4561 -x4563 -x4565 -x4566 -x4567 -x4568 x4570 x4572 -x4573 -x4574 -x4575 x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4586 -x4587 -x4588 -x4589 -x4591 x4593 -x4594 -x4595 -x4596 -x4598 -x4600 -x4601 -x4602 -x4603 -x4605 -x4607 -x4608 -x4609 -x4610 x4612 x4614 -x4615 -x4616 -x4617 -x4619 -x4621 -x4622 -x4623 -x4624 -x4626 x4628 -x4629 x4630 -x4631 -x4633 x4635 -x4636 -x4637 -x4638 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4649 -x4650 -x4651 -x4652 -x4654 -x4656 -x4657 -x4658 -x4659 -x4661 -x4663 -x4664 -x4665 -x4666 -x4668 -x4670 -x4671 -x4672 -x4673 x4675 -x4676 -x4677 -x4678 -x4680 -x4682 -x4683 -x4684 -x4685 x4687 -x4689 -x4690 -x4691 -x4692 x4694 -x4696 -x4697 -x4698 -x4699 -x4701 -x4703 -x4704 -x4705 -x4706 -x4708 -x4710 -x4711 -x4712 -x4713 -x4715 -x4717 -x4718 -x4719 -x4720 -x4722 -x4724 -x4725 -x4726 -x4727 -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 -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 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 -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 -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 -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 -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 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 x5074 -x5075 -x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 -x5172 -x5173 -x5174 -x5175 -x5177 -x5179 -x5180 -x5181 -x5182 x5184 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5196 -x5198 -x5199 -x5200 -x5201 -x5203 -x5205 -x5206 -x5207 -x5208 x5210 x5212 -x5213 -x5214 -x5215 -x5217 x5219 -x5220 -x5221 -x5222 -x5224 -x5226 -x5227 -x5228 -x5229 x5231 -x5233 -x5234 -x5235 -x5236 -x5238 -x5240 -x5241 -x5242 -x5243 x5245 -x5247 -x5248 -x5249 -x5250 x5252 -x5253 -x5254 -x5255 x5257 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5271 x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 x5287 -x5288 x5289 -x5290 -x5292 x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 x5313 x5315 -x5316 -x5317 -x5318 -x5320 -x5322 -x5323 -x5324 -x5325 -x5327 -x5329 -x5330 -x5331 -x5332 -x5334 -x5336 -x5337 -x5338 -x5339 -x5341 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 x5355 x5357 -x5358 -x5359 -x5360 -x5362 x5364 -x5365 -x5366 -x5367 -x5369 -x5371 -x5372 -x5373 -x5374 -x5376 -x5378 -x5379 -x5380 -x5381 -x5383 -x5385 -x5386 -x5387 -x5388 x5390 -x5392 -x5393 -x5394 -x5395 x5397 -x5399 -x5400 -x5401 -x5402 -x5404 -x5406 -x5407 -x5408 -x5409 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 -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 -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 -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 -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 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 -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 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5648 -x5649 -x5650 x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 x5801 -x5802 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5859 -x5860 -x5861 -x5862 x5864 -x5865 -x5866 -x5867 -x5869 x5871 -x5872 -x5873 -x5874 -x5876 -x5878 -x5879 -x5880 -x5881 -x5883 -x5885 -x5886 -x5887 -x5888 -x5890 -x5891 -x5892 -x5893 -x5895 -x5897 -x5898 -x5899 -x5900 x5902 -x5904 -x5905 -x5906 -x5907 -x5909 -x5911 -x5912 -x5913 -x5914 -x5916 x5918 -x5919 x5920 -x5921 -x5923 -x5925 -x5926 -x5927 -x5928 -x5930 x5932 -x5933 -x5934 -x5935 -x5937 -x5938 -x5939 -x5940 -x5942 -x5944 -x5945 -x5946 -x5947 -x5949 -x5951 -x5952 -x5953 -x5954 -x5956 -x5957 -x5958 -x5959 -x5961 -x5963 -x5964 -x5965 -x5966 x5968 -x5970
1077.83/1081.36	v -x5971 -x5972 -x5973 x5975 -x5977 -x5978 -x5979 -x5980 -x5982 -x5984 -x5985 -x5986 -x5987 -x5989 -x5991 -x5992 -x5993 -x5994 x5996 x5998 -x5999 -x6000 -x6001 x6003 -x6005 -x6006 -x6007 -x6008 -x6010 -x6012 -x6013 -x6014 -x6015 -x6017 -x6019 -x6020 -x6021 -x6022 -x6024 x6026 -x6027 -x6028 -x6029 x6031 -x6032 -x6033 -x6034 -x6036 -x6037 -x6038 -x6039 x6041 -x6043 -x6044 -x6045 -x6046 x6048 x6050 -x6051 -x6052 -x6053 -x6055 -x6057 -x6058 -x6059 -x6060 -x6062 -x6064 -x6065 -x6066 -x6067 -x6069 -x6071 -x6073 -x6074 -x6075 -x6076

Verifier Data 

OK	21

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497849-1751390847/watcher-4497849-1751390847 -o /tmp/evaluation-result-4497849-1751390847/solver-4497849-1751390847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51592 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4497849-1751390847.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
solver pid=53501, runsolver pid=53498
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.09 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126549088/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=127376 memory=26240 CPUtime=0.04 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 2928 0 0 0 3 1 0 0 20 0 1 0 54707192 130433024 6560 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 31844 6560 4128 1 0 3946 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 131568 KiB
Current children cumulated memory: 29312 KiB

[startup+0.20568 s]*
/proc/loadavg: 4.09 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126526092/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1212540 memory=63932 CPUtime=0.15 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 9246 0 0 0 12 3 0 0 20 0 1 0 54707192 1241640960 15983 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 303135 15983 7631 1 0 274493 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1216732 KiB
Current children cumulated memory: 67004 KiB

[startup+0.305626 s]*
/proc/loadavg: 4.09 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126493836/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1245148 memory=96188 CPUtime=0.24 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 17056 0 0 0 20 4 0 0 20 0 1 0 54707192 1275031552 24047 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 311287 24047 7887 1 0 282645 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1249340 KiB
Current children cumulated memory: 99260 KiB

[startup+0.700205 s]
/proc/loadavg: 4.09 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126477708/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1293876 memory=137016 CPUtime=0.64 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 27802 0 0 0 58 6 0 0 20 0 1 0 54707192 1324929024 34254 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 323469 34254 8079 1 0 294827 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1298068 KiB
Current children cumulated memory: 140088 KiB

[startup+1.5002 s]
/proc/loadavg: 4.09 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126413700/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1361316 memory=201092 CPUtime=1.43 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 46608 0 0 0 135 8 0 0 20 0 1 0 54707192 1393987584 50273 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 340329 50273 8143 1 0 311687 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1365508 KiB
Current children cumulated memory: 204164 KiB

[startup+3.10556 s]
/proc/loadavg: 4.08 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126389928/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1362408 memory=205316 CPUtime=3.04 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 47692 0 0 0 295 9 0 0 20 0 1 0 54707192 1395105792 51329 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 340602 51329 8143 1 0 311960 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1366600 KiB
Current children cumulated memory: 208388 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 4.14 4.11 5/268 53506
/proc/meminfo: memFree=126358680/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1402764 memory=232708 CPUtime=6.22 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 54562 0 0 0 612 10 0 0 20 0 1 0 54707192 1436430336 58177 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 350691 58177 8143 1 0 322049 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1406956 KiB
Current children cumulated memory: 235780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.12 5/268 53506
/proc/meminfo: memFree=126358792/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1412404 memory=236548 CPUtime=12.6 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 55525 0 0 0 1250 10 0 0 20 0 1 0 54707192 1446301696 59137 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 353101 59137 8143 1 0 324459 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1416596 KiB
Current children cumulated memory: 239620 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.16 4.12 5/268 53506
/proc/meminfo: memFree=126308528/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1460216 memory=282116 CPUtime=25.37 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 66929 0 0 0 2525 12 0 0 20 0 1 0 54707192 1495261184 70529 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 365054 70529 8143 1 0 336412 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1464408 KiB
Current children cumulated memory: 285188 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.15 4.12 5/268 53507
/proc/meminfo: memFree=126300488/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1465852 memory=290436 CPUtime=50.9 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 69009 0 0 0 5077 13 0 0 20 0 1 0 54707192 1501032448 72609 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 366463 72609 8143 1 0 337821 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1470044 KiB
Current children cumulated memory: 293508 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 53510
/proc/meminfo: memFree=126280428/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1465852 memory=290436 CPUtime=101.95 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 69019 0 0 0 10182 13 0 0 20 0 1 0 54707192 1501032448 72609 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 366463 72609 8143 1 0 337821 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1470044 KiB
Current children cumulated memory: 293508 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/269 53511
/proc/meminfo: memFree=126262448/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1465852 memory=290564 CPUtime=161.78 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 69035 0 0 0 16165 13 0 0 20 0 1 0 54707192 1501032448 72641 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 366463 72641 8143 1 0 337821 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1470044 KiB
Current children cumulated memory: 293636 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/270 53515
/proc/meminfo: memFree=126248080/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1465852 memory=290692 CPUtime=221.61 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 69076 0 0 0 22148 13 0 0 20 0 1 0 54707192 1501032448 72673 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 366463 72673 8143 1 0 337821 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1470044 KiB

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

/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1500268 memory=294532 CPUtime=939.28 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 70043 0 0 0 93915 13 0 0 20 0 1 0 54707192 1536274432 73633 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 375067 73633 8143 1 0 346425 0
Current children cumulated CPU time: 939.28 s
Current children cumulated vsize: 1504460 KiB
Current children cumulated memory: 297604 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 53946
/proc/meminfo: memFree=103495148/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=33584 memory=31404 CPUtime=1.94 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 11006 0 0 0 192 2 0 0 20 0 1 0 54807223 34390016 7851 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 8396 7851 608 696 0 7557 0
Current children cumulated CPU time: 999.06 s
Current children cumulated vsize: 1542404 KiB
Current children cumulated memory: 333488 KiB

[startup+1062.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 53948
/proc/meminfo: memFree=103751768/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=35896 memory=33892 CPUtime=61.76 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 26209 0 0 0 6170 6 0 0 20 0 1 0 54807223 36757504 8473 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 8974 8473 608 696 0 8135 0
Current children cumulated CPU time: 1058.88 s
Current children cumulated vsize: 1544716 KiB
Current children cumulated memory: 335976 KiB

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

# cumulated CPU time of all completed processes:  user=1077.78 s, system=0.273403 s

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

[startup+1062.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 53948
/proc/meminfo: memFree=103751768/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=35896 memory=33892 CPUtime=61.86 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 26209 0 0 0 6180 6 0 0 20 0 1 0 54807223 36757504 8473 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 8974 8473 608 696 0 8135 0
Current children cumulated CPU time: 1058.98 s
Current children cumulated vsize: 1544716 KiB
Current children cumulated memory: 335976 KiB

[startup+1075.2 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 53948
/proc/meminfo: memFree=103751768/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=36544 memory=34716 CPUtime=74.63 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 28706 0 0 0 7455 8 0 0 20 0 1 0 54807223 37421056 8679 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 9136 8679 608 696 0 8297 0
Current children cumulated CPU time: 1071.75 s
Current children cumulated vsize: 1545364 KiB
Current children cumulated memory: 336800 KiB

[startup+1078.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 53948
/proc/meminfo: memFree=103759928/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=45360 memory=43428 CPUtime=77.82 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 29377 0 0 0 7774 8 0 0 20 0 1 0 54807223 46448640 10857 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 11340 10857 608 696 0 10501 0
Current children cumulated CPU time: 1074.94 s
Current children cumulated vsize: 1554180 KiB
Current children cumulated memory: 345512 KiB

[startup+1080 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 53948
/proc/meminfo: memFree=103755832/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=37444 memory=35744 CPUtime=79.41 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 30101 0 0 0 7933 8 0 0 20 0 1 0 54807223 38342656 8936 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 9361 8936 608 696 0 8522 0
Current children cumulated CPU time: 1076.53 s
Current children cumulated vsize: 1546264 KiB
Current children cumulated memory: 337828 KiB

[startup+1080.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 53948
/proc/meminfo: memFree=103755832/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=40064 memory=38176 CPUtime=80.21 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 30724 0 0 0 8013 8 0 0 20 0 1 0 54807223 41025536 9544 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 10016 9544 608 696 0 9177 0
Current children cumulated CPU time: 1077.33 s
Current children cumulated vsize: 1548884 KiB
Current children cumulated memory: 340260 KiB

[startup+1081.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 53948
/proc/meminfo: memFree=103755848/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1504628 memory=299012 CPUtime=997.12 cores=1,3
/proc/53506/stat : 53506 (python3) S 53501 53501 51580 0 -1 4194304 71323 0 0 0 99698 14 0 0 20 0 1 0 54707192 1540739072 74753 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 376157 74753 8207 1 0 347515 0
[pid=53946] ppid=53506 vsize=40064 memory=38432 CPUtime=80.61 cores=1,3
/proc/53946/stat : 53946 (naps-1.03a6) R 53506 53946 53946 0 -1 4194304 30799 0 0 0 8053 8 0 0 20 0 1 0 54807223 41025536 9608 18446744073709551615 4198400 7047149 140725103637712 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37236736 140725103647097 140725103647219 140725103647219 140725103652809 0
/proc/53946/statm: 10016 9608 608 696 0 9177 0
Current children cumulated CPU time: 1077.73 s
Current children cumulated vsize: 1548884 KiB
Current children cumulated memory: 340516 KiB

[startup+1081.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 53948
/proc/meminfo: memFree=103755848/131250000 swapFree=33010684/33010684
[pid=53501] ppid=53498 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/53501/stat : 53501 (scip-naps-1.00.) S 53498 53501 51580 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 54707189 4292608 768 18446744073709551615 94102278774784 94102279669317 140733956066624 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94102279908368 94102279956112 94102292262912 140733956073889 140733956073986 140733956073986 140733956079588 0
/proc/53501/statm: 1048 768 704 219 0 110 0
[pid=53506] ppid=53501 vsize=1500272 memory=294764 CPUtime=1077.93 cores=1,3
/proc/53506/stat : 53506 (python3) R 53501 53501 51580 0 -1 4194304 86552 30800 0 0 99701 15 8069 8 20 0 1 0 54707192 1536278528 73691 18446744073709551615 94198594678784 94198594679161 140722660707776 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94198594690456 94198594691076 94198616735744 140722660714855 140722660715042 140722660715042 140722660720615 0
/proc/53506/statm: 375068 73691 8207 1 0 346426 0
Current children cumulated CPU time: 1077.93 s
Current children cumulated vsize: 1504464 KiB
Current children cumulated memory: 297836 KiB

Child status: 0

Real time (s): 1081.5
CPU time (s): 1078.05
CPU user time (s): 1077.78
CPU system time (s): 0.273403
CPU usage (%): 99.6818
Max. virtual memory (cumulated for all children) (KiB): 1554916
Max. memory (cumulated for all children) (KiB): 345512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1077.78
system time used= 0.273403
maximum resident set size= 299012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 365
involuntary context switches= 1703


# summary of solver processes directly reported to runsolver:
#   pid: 53501
#   total CPU time (s): 1078.05
#   total CPU user time (s): 1077.78
#   total CPU system time (s): 0.273403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.99689 second user time and 5.25831 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 19:27:27
IDJOB=4497849
IDBENCH=148194
IDSOLVER=3368
FILE ID=nodeC028/4497849-1751390847
RUNJOBID= nodeC028-1751386400-51592
SLURM_JOB_ID= 9598246
Free space on /tmp= 433020 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497849-1751390847/watcher-4497849-1751390847 -o /tmp/evaluation-result-4497849-1751390847/solver-4497849-1751390847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51592 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4497849-1751390847.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=4791686

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126548912 kB
MemAvailable:   126541152 kB
Buffers:            3280 kB
Cached:           799200 kB
SwapCached:            0 kB
Active:          3599264 kB
Inactive:         490676 kB
Active(anon):    3305528 kB
Inactive(anon):        0 kB
Active(file):     293736 kB
Inactive(file):   490676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6140 kB
Writeback:             0 kB
AnonPages:       3286948 kB
Mapped:           128324 kB
Shmem:             18068 kB
KReclaimable:      94132 kB
Slab:             180484 kB
SReclaimable:      94132 kB
SUnreclaim:        86352 kB
KernelStack:        4320 kB
PageTables:        10500 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7277264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    389120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC028 at 2025-07-01 19:45:28