Trace number 4507673

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP-NaPS 1.00a1SAT 517.059 518.535

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507673-1751183802/watcher-4507673-1751183802 -o /tmp/evaluation-result-4507673-1751183802/solver-4507673-1751183802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751183027-22498 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4507673-1751183802.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.34 3.95 3.23 5/270 22760
/proc/meminfo: memFree=126614440/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1187976 memory=32904 CPUtime=0.07 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 3966 0 0 0 7 0 0 0 20 0 1 0 34054722 1216487424 8226 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 296994 8226 4898 1 0 268985 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192168 KiB
Current children cumulated memory: 35848 KiB

[startup+0.205542 s]*
/proc/loadavg: 4.34 3.95 3.23 5/270 22760
/proc/meminfo: memFree=126578152/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1222372 memory=74248 CPUtime=0.17 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 11588 0 0 0 15 2 0 0 20 0 1 0 34054722 1251708928 18562 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 305593 18562 7874 1 0 276951 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1226564 KiB
Current children cumulated memory: 77192 KiB

[startup+0.305539 s]*
/proc/loadavg: 4.34 3.95 3.23 5/270 22760
/proc/meminfo: memFree=126570088/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1233988 memory=84744 CPUtime=0.27 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 14232 0 0 0 24 3 0 0 20 0 1 0 34054722 1263603712 21186 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 308497 21186 7906 1 0 279855 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1238180 KiB
Current children cumulated memory: 87688 KiB

[startup+0.700184 s]
/proc/loadavg: 4.34 3.95 3.23 5/270 22760
/proc/meminfo: memFree=126570088/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1234568 memory=85000 CPUtime=0.66 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 14316 0 0 0 63 3 0 0 20 0 1 0 34054722 1264197632 21250 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 308642 21250 7906 1 0 280000 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1238760 KiB
Current children cumulated memory: 87944 KiB

[startup+1.50018 s]
/proc/loadavg: 4.39 3.97 3.24 5/270 22760
/proc/meminfo: memFree=126570088/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1235724 memory=86280 CPUtime=1.46 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 14615 0 0 0 143 3 0 0 20 0 1 0 34054722 1265381376 21570 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 308931 21570 7906 1 0 280289 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1239916 KiB
Current children cumulated memory: 89224 KiB

[startup+3.10504 s]
/proc/loadavg: 4.39 3.97 3.24 5/270 22760
/proc/meminfo: memFree=126570368/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1235724 memory=86280 CPUtime=3.06 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 14636 0 0 0 303 3 0 0 20 0 1 0 34054722 1265381376 21570 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 308931 21570 7906 1 0 280289 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1239916 KiB
Current children cumulated memory: 89224 KiB

[startup+6.30012 s]
/proc/loadavg: 4.36 3.97 3.25 5/270 22760
/proc/meminfo: memFree=126530296/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1273372 memory=114056 CPUtime=6.25 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 21392 0 0 0 621 4 0 0 20 0 1 0 34054722 1303932928 28514 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 318343 28514 8130 1 0 289701 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1277564 KiB
Current children cumulated memory: 117000 KiB

[startup+12.7001 s]
/proc/loadavg: 4.33 3.97 3.25 5/270 22760
/proc/meminfo: memFree=126522736/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1274572 memory=115208 CPUtime=12.63 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 21669 0 0 0 1259 4 0 0 20 0 1 0 34054722 1305161728 28802 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 318643 28802 8130 1 0 290001 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1278764 KiB
Current children cumulated memory: 118152 KiB

[startup+25.5001 s]
/proc/loadavg: 4.28 3.97 3.26 5/270 22760
/proc/meminfo: memFree=126484060/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1321968 memory=161160 CPUtime=25.39 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 33176 0 0 0 2533 6 0 0 20 0 1 0 34054722 1353695232 40290 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 330492 40290 8130 1 0 301850 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1326160 KiB
Current children cumulated memory: 164104 KiB

[startup+51.1048 s]
/proc/loadavg: 4.17 3.97 3.28 5/269 22762
/proc/meminfo: memFree=126471344/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1322040 memory=163204 CPUtime=50.93 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 35571 0 0 0 5087 6 0 0 20 0 1 0 34054722 1353768960 40801 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 330510 40801 8130 1 0 301868 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1326232 KiB
Current children cumulated memory: 166148 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.00 3.33 5/270 22767
/proc/meminfo: memFree=126470608/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1323696 memory=175364 CPUtime=101.99 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 36045 0 0 0 10193 6 0 0 20 0 1 0 34054722 1355464704 43841 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 330924 43841 8130 1 0 302282 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1327888 KiB
Current children cumulated memory: 178308 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.01 3.38 5/270 22772
/proc/meminfo: memFree=126444644/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1323232 memory=175952 CPUtime=161.84 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 40731 0 0 0 16177 7 0 0 20 0 1 0 34054722 1354989568 43988 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 330808 43988 8130 1 0 302166 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1327424 KiB
Current children cumulated memory: 178896 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 4.12 3.46 5/270 22774
/proc/meminfo: memFree=126457248/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1323232 memory=175952 CPUtime=221.69 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 40731 0 0 0 22162 7 0 0 20 0 1 0 34054722 1354989568 43988 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 330808 43988 8130 1 0 302166 0
Current children cumulated CPU time: 221.69 s

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


[startup+462.3 s]
/proc/loadavg: 4.09 4.09 3.61 5/268 22894
/proc/meminfo: memFree=126584088/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1333012 memory=185616 CPUtime=461.01 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 70283 0 0 0 46086 15 0 0 20 0 1 0 34054722 1365004288 46404 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 333253 46404 8130 1 0 304611 0
Current children cumulated CPU time: 461.01 s
Current children cumulated vsize: 1337204 KiB
Current children cumulated memory: 188560 KiB

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

# cumulated CPU time of all completed processes:  user=516.851 s, system=0.207826 s

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

[startup+486.4 s]
/proc/loadavg: 4.06 4.08 3.62 5/268 22895
/proc/meminfo: memFree=126583412/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1336052 memory=188772 CPUtime=485.03 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 79500 0 0 0 48487 16 0 0 20 0 1 0 34054722 1368117248 47193 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334013 47193 8130 1 0 305371 0
Current children cumulated CPU time: 485.03 s
Current children cumulated vsize: 1340244 KiB
Current children cumulated memory: 191716 KiB

[startup+499.2 s]
/proc/loadavg: 4.20 4.11 3.64 5/268 22895
/proc/meminfo: memFree=126579316/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1336052 memory=188772 CPUtime=497.79 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 80659 0 0 0 49763 16 0 0 20 0 1 0 34054722 1368117248 47193 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334013 47193 8130 1 0 305371 0
Current children cumulated CPU time: 497.79 s
Current children cumulated vsize: 1340244 KiB
Current children cumulated memory: 191716 KiB

[startup+512 s]*
/proc/loadavg: 4.46 4.18 3.66 5/269 22896
/proc/meminfo: memFree=126577560/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=30160 memory=22680 CPUtime=11.77 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 10674 0 0 0 1175 2 0 0 20 0 1 0 34104737 30883840 5670 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 7540 5670 544 696 0 6701 0
Current children cumulated CPU time: 510.53 s
Current children cumulated vsize: 1372452 KiB
Current children cumulated memory: 216700 KiB

[startup+515.2 s]
/proc/loadavg: 4.46 4.18 3.66 5/269 22896
/proc/meminfo: memFree=126573040/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=30160 memory=25016 CPUtime=14.96 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 10722 0 0 0 1494 2 0 0 20 0 1 0 34104737 30883840 6254 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 7540 6254 544 696 0 6701 0
Current children cumulated CPU time: 513.72 s
Current children cumulated vsize: 1372452 KiB
Current children cumulated memory: 219036 KiB

[startup+516.8 s]
/proc/loadavg: 4.46 4.18 3.66 5/269 22896
/proc/meminfo: memFree=126573040/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=30160 memory=25016 CPUtime=16.56 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 10737 0 0 0 1654 2 0 0 20 0 1 0 34104737 30883840 6254 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 7540 6254 544 696 0 6701 0
Current children cumulated CPU time: 515.32 s
Current children cumulated vsize: 1372452 KiB
Current children cumulated memory: 219036 KiB

[startup+517.6 s]
/proc/loadavg: 4.42 4.17 3.67 5/269 22897
/proc/meminfo: memFree=126573072/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=26064 memory=21352 CPUtime=17.35 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 10925 0 0 0 1733 2 0 0 20 0 1 0 34104737 26689536 5338 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 6516 5338 544 696 0 5677 0
Current children cumulated CPU time: 516.11 s
Current children cumulated vsize: 1368356 KiB
Current children cumulated memory: 215372 KiB

[startup+518 s]*
/proc/loadavg: 4.42 4.17 3.67 5/269 22897
/proc/meminfo: memFree=126568736/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=26064 memory=21992 CPUtime=17.75 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 11101 0 0 0 1773 2 0 0 20 0 1 0 34104737 26689536 5498 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 6516 5498 544 696 0 5677 0
Current children cumulated CPU time: 516.51 s
Current children cumulated vsize: 1368356 KiB
Current children cumulated memory: 216012 KiB

[startup+518.4 s]
/proc/loadavg: 4.42 4.17 3.67 5/269 22897
/proc/meminfo: memFree=126568736/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1338100 memory=191076 CPUtime=498.76 cores=4,6
/proc/22760/stat : 22760 (python3) S 22755 22755 22487 0 -1 4194304 82414 0 0 0 49859 17 0 0 20 0 1 0 34054722 1370214400 47769 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334525 47769 8162 1 0 305883 0
[pid=22896] ppid=22760 vsize=26064 memory=22120 CPUtime=18.15 cores=4,6
/proc/22896/stat : 22896 (naps-1.03a6) R 22760 22896 22896 0 -1 4194304 11107 0 0 0 1813 2 0 0 20 0 1 0 34104737 26689536 5530 18446744073709551615 4198400 7047149 140735031836480 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 34615296 140735031843217 140735031843315 140735031843315 140735031848905 0
/proc/22896/statm: 6516 5530 544 696 0 5677 0
Current children cumulated CPU time: 516.91 s
Current children cumulated vsize: 1368356 KiB
Current children cumulated memory: 216140 KiB

[startup+518.501 s]
/proc/loadavg: 4.42 4.17 3.67 5/269 22897
/proc/meminfo: memFree=126568736/131249992 swapFree=33010672/33010684
[pid=22755] ppid=22752 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/22755/stat : 22755 (scip-naps-1.00.) S 22752 22755 22487 0 -1 4194304 258 340 0 0 0 0 0 0 20 0 1 0 34054720 4292608 736 18446744073709551615 93871572385792 93871573280325 140736288118736 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93871573519376 93871573567120 93871600508928 140736288127393 140736288127490 140736288127490 140736288133092 0
/proc/22755/statm: 1048 736 672 219 0 110 0
[pid=22760] ppid=22755 vsize=1336536 memory=189516 CPUtime=516.99 cores=4,6
/proc/22760/stat : 22760 (python3) R 22755 22755 22487 0 -1 4194304 83571 11108 0 0 49859 17 1821 2 20 0 1 0 34054722 1368612864 47379 18446744073709551615 94572088549376 94572088549753 140724167602368 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94572088561048 94572088561668 94572116217856 140724167608664 140724167608866 140724167608866 140724167614439 0
/proc/22760/statm: 334134 47379 8162 1 0 305492 0
Current children cumulated CPU time: 516.99 s
Current children cumulated vsize: 1340728 KiB
Current children cumulated memory: 192460 KiB

Child status: 0

Real time (s): 518.535
CPU time (s): 517.059
CPU user time (s): 516.851
CPU system time (s): 0.207826
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 1372452
Max. memory (cumulated for all children) (KiB): 219036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 516.851
system time used= 0.207826
maximum resident set size= 193448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 388
involuntary context switches= 549


# summary of solver processes directly reported to runsolver:
#   pid: 22755
#   total CPU time (s): 517.059
#   total CPU user time (s): 516.851
#   total CPU system time (s): 0.207826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.916843 second user time and 1.94313 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 09:56:42
IDJOB=4507673
IDBENCH=158375
IDSOLVER=3368
FILE ID=nodeC035/4507673-1751183802
RUNJOBID= nodeC035-1751183027-22498
SLURM_JOB_ID= 9587567
Free space on /tmp= 433044 MiB

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

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1376436920

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126626348 kB
MemAvailable:   129057704 kB
Buffers:            2352 kB
Cached:          3226040 kB
SwapCached:            8 kB
Active:           997628 kB
Inactive:        2975908 kB
Active(anon):     757160 kB
Inactive(anon):     6040 kB
Active(file):     240468 kB
Inactive(file):  2969868 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5836 kB
Writeback:            16 kB
AnonPages:        746444 kB
Mapped:           127940 kB
Shmem:             18056 kB
KReclaimable:     120516 kB
Slab:             206872 kB
SReclaimable:     120516 kB
SUnreclaim:        86356 kB
KernelStack:        4368 kB
PageTables:         5064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4283504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC035 at 2025-06-29 10:05:21