Trace number 4529770

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.00a2UNSAT 537.823 540.152

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM209c63ac31a13f6816f27826d17fc4ad
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.2254
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
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 

11.22/12.09	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529770-1752253254.opb
11.22/12.09	c Solving mode: decision
11.22/12.09	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
11.22/12.09	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
11.22/12.09	c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints
11.22/12.09	c presolving:
11.22/12.09	c (round 1, fast)       64 del vars, 2 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124606 clqs
11.22/12.09	c (round 2, fast)       126 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124637 clqs
11.22/12.09	c (round 3, medium)     624 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 123639 clqs
11.22/12.09	c (round 4, fast)       624 del vars, 1157 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 123643 clqs
11.22/12.09	c (round 5, exhaustive) 624 del vars, 1164 del conss, 0 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 123643 clqs
11.22/12.09	c (round 6, exhaustive) 631 del vars, 186553 del conss, 61792 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 123632 clqs
11.22/12.09	c (round 7, exhaustive) 1038 del vars, 186563 del conss, 61800 add conss, 1 chg bounds, 257 chg sides, 504 chg coeffs, 185941 upgd conss, 0 impls, 122760 clqs
11.22/12.09	c (round 8, fast)       1337 del vars, 186623 del conss, 61800 add conss, 1 chg bounds, 257 chg sides, 564 chg coeffs, 185941 upgd conss, 0 impls, 122701 clqs
11.22/12.09	c (round 9, exhaustive) 1342 del vars, 186758 del conss, 61935 add conss, 1 chg bounds, 257 chg sides, 564 chg coeffs, 185941 upgd conss, 0 impls, 122690 clqs
11.22/12.09	c (round 10, exhaustive) 1426 del vars, 186851 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 122525 clqs
11.22/12.09	c (round 11, exhaustive) 1491 del vars, 186923 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 122393 clqs
11.22/12.09	c (round 12, exhaustive) 2147 del vars, 186923 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 565 chg coeffs, 185941 upgd conss, 0 impls, 147196 clqs
11.22/12.09	c (round 13, fast)       2414 del vars, 187198 del conss, 61940 add conss, 1 chg bounds, 257 chg sides, 832 chg coeffs, 186147 upgd conss, 0 impls, 146695 clqs
11.22/12.09	c (round 14, exhaustive) 2466 del vars, 187207 del conss, 61945 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 146742 clqs
11.22/12.09	c (round 15, exhaustive) 2466 del vars, 187255 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 146749 clqs
11.22/12.09	c (round 16, exhaustive) 2814 del vars, 187299 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 834 chg coeffs, 186151 upgd conss, 0 impls, 161080 clqs
11.22/12.09	c (round 17, fast)       2953 del vars, 187444 del conss, 61991 add conss, 1 chg bounds, 257 chg sides, 978 chg coeffs, 186314 upgd conss, 0 impls, 160771 clqs
11.22/12.09	c (round 18, exhaustive) 3364 del vars, 187474 del conss, 61995 add conss, 1 chg bounds, 257 chg sides, 979 chg coeffs, 186316 upgd conss, 0 impls, 165045 clqs
11.22/12.09	c (round 19, fast)       3537 del vars, 187654 del conss, 61995 add conss, 1 chg bounds, 257 chg sides, 1157 chg coeffs, 186507 upgd conss, 0 impls, 164491 clqs
11.22/12.09	c (round 20, exhaustive) 3767 del vars, 187692 del conss, 62004 add conss, 1 chg bounds, 257 chg sides, 1157 chg coeffs, 186507 upgd conss, 0 impls, 169924 clqs
11.22/12.09	c (round 21, fast)       3852 del vars, 187790 del conss, 62004 add conss, 1 chg bounds, 257 chg sides, 1247 chg coeffs, 186608 upgd conss, 0 impls, 169590 clqs
11.22/12.09	c (round 22, exhaustive) 4312 del vars, 187817 del conss, 62015 add conss, 1 chg bounds, 257 chg sides, 1247 chg coeffs, 186608 upgd conss, 0 impls, 174071 clqs
11.22/12.09	c (round 23, fast)       4532 del vars, 188048 del conss, 62015 add conss, 1 chg bounds, 257 chg sides, 1472 chg coeffs, 186829 upgd conss, 0 impls, 172962 clqs
11.22/12.09	c (round 24, exhaustive) 4544 del vars, 188090 del conss, 62024 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 173059 clqs
11.22/12.09	c (round 25, exhaustive) 4704 del vars, 188262 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 172407 clqs
11.22/12.09	c (round 26, exhaustive) 4824 del vars, 188387 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 171733 clqs
11.22/12.09	c (round 27, exhaustive) 4993 del vars, 188409 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1473 chg coeffs, 186831 upgd conss, 0 impls, 177663 clqs
11.22/12.09	c (round 28, fast)       5041 del vars, 188465 del conss, 62033 add conss, 1 chg bounds, 257 chg sides, 1526 chg coeffs, 186892 upgd conss, 0 impls, 177379 clqs
11.22/12.09	c (round 29, exhaustive) 5608 del vars, 188478 del conss, 62037 add conss, 1 chg bounds, 257 chg sides, 1526 chg coeffs, 186892 upgd conss, 0 impls, 188450 clqs
11.22/12.09	c (round 30, fast)       5767 del vars, 188640 del conss, 62037 add conss, 1 chg bounds, 257 chg sides, 1686 chg coeffs, 187126 upgd conss, 0 impls, 187395 clqs
11.22/12.09	c (round 31, exhaustive) 5786 del vars, 188682 del conss, 62044 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 187434 clqs
11.22/12.09	c (round 32, exhaustive) 5894 del vars, 188798 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 186837 clqs
11.22/12.09	c (round 33, exhaustive) 5973 del vars, 188883 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 186246 clqs
11.22/12.09	c (round 34, exhaustive) 6922 del vars, 188903 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1690 chg coeffs, 187130 upgd conss, 0 impls, 209409 clqs
11.22/12.09	c (round 35, fast)       7151 del vars, 189132 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1919 chg coeffs, 187179 upgd conss, 0 impls, 208926 clqs
11.22/12.09	c (round 36, exhaustive) 7217 del vars, 189135 del conss, 62055 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 208728 clqs
11.22/12.09	c (round 37, exhaustive) 7233 del vars, 189212 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 208627 clqs
11.22/12.09	c (round 38, exhaustive) 7317 del vars, 189221 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1921 chg coeffs, 187182 upgd conss, 0 impls, 212999 clqs
11.22/12.09	c (round 39, fast)       7334 del vars, 189248 del conss, 62116 add conss, 1 chg bounds, 257 chg sides, 1943 chg coeffs, 187210 upgd conss, 0 impls, 212886 clqs
11.22/12.09	c (round 40, exhaustive) 7911 del vars, 189252 del conss, 62120 add conss, 1 chg bounds, 257 chg sides, 1943 chg coeffs, 187210 upgd conss, 0 impls, 219286 clqs
11.22/12.09	c (round 41, fast)       8072 del vars, 189416 del conss, 62120 add conss, 1 chg bounds, 257 chg sides, 2105 chg coeffs, 187436 upgd conss, 0 impls, 217883 clqs
11.22/12.09	c (round 42, exhaustive) 8293 del vars, 189451 del conss, 62127 add conss, 1 chg bounds, 257 chg sides, 2105 chg coeffs, 187436 upgd conss, 0 impls, 229502 clqs
11.22/12.09	c (round 43, fast)       8392 del vars, 189561 del conss, 62127 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187539 upgd conss, 0 impls, 228510 clqs
11.22/12.09	c (round 44, exhaustive) 8430 del vars, 189600 del conss, 62148 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 228225 clqs
11.22/12.09	c (round 45, exhaustive) 8569 del vars, 189785 del conss, 62185 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 227004 clqs
11.22/12.09	c (round 46, exhaustive) 8674 del vars, 189898 del conss, 62185 add conss, 1 chg bounds, 257 chg sides, 2205 chg coeffs, 187540 upgd conss, 0 impls, 225798 clqs
11.22/12.09	c    (10.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.22/12.09	c    (10.8s) no symmetry present (symcode time: 0.05)
11.22/12.09	c presolving (47 rounds: 47 fast, 32 medium, 31 exhaustive):
499.16/501.43	c  8717 deleted vars, 189914 deleted constraints, 62185 added constraints, 1 tightened bounds, 0 added holes, 257 changed sides, 2205 changed coefficients
499.16/501.43	c  0 implications, 255901 cliques
499.16/501.43	c presolved problem has 54290 variables (54290 bin, 0 int, 0 impl, 0 cont) and 56156 constraints
499.16/501.43	c     504 constraints of type <knapsack>
499.16/501.43	c    1706 constraints of type <setppc>
499.16/501.43	c   53946 constraints of type <and>
499.16/501.43	c transformed objective value is always integral (scale: 1)
499.16/501.43	c Presolving Time: 10.54
499.16/501.43	c 
499.16/501.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.16/501.43	c  12.9s|     1 |     0 |  2059 |     - |   746M |   0 |  54k|  56k| 110k|   0 |  0 |  57 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  30.2s|     1 |     0 |  9126 |     - |   772M |   0 |  54k|  56k| 109k| 401 |  1 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  44.0s|     1 |     0 | 10814 |     - |   786M |   0 |  54k|  56k| 109k| 836 |  2 |  61 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  58.4s|     1 |     0 | 13061 |     - |   800M |   0 |  54k|  56k| 109k|1316 |  3 |  62 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  75.6s|     1 |     0 | 16327 |     - |   813M |   0 |  54k|  56k| 110k|1838 |  4 |  67 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  95.6s|     1 |     0 | 20318 |     - |   827M |   0 |  54k|  56k| 111k|2441 |  5 |  68 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   117s|     1 |     0 | 24502 |     - |   842M |   0 |  54k|  56k| 111k|3198 |  6 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   140s|     1 |     0 | 30094 |     - |   856M |   0 |  54k|  56k| 112k|3936 |  7 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   163s|     1 |     0 | 35896 |     - |   869M |   0 |  54k|  56k| 113k|4776 |  8 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   186s|     1 |     0 | 41258 |     - |   883M |   0 |  54k|  56k| 114k|5577 |  9 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   215s|     1 |     0 | 49635 |     - |   899M |   0 |  54k|  56k| 114k|6286 | 10 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   241s|     1 |     0 | 59051 |     - |   911M |   0 |  54k|  56k| 115k|7153 | 11 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   242s|     1 |     0 | 59265 |     - |   912M |   0 |  54k|  55k| 115k|7153 | 11 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   268s|     1 |     0 | 66869 |     - |   925M |   0 |  54k|  55k| 116k|8087 | 12 |  79 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   300s|     1 |     0 | 76452 |     - |   937M |   0 |  54k|  55k| 117k|8877 | 13 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
499.16/501.43	c   331s|     1 |     0 | 86080 |     - |   949M |   0 |  54k|  55k| 118k|9735 | 14 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   359s|     1 |     0 | 94224 |     - |   961M |   0 |  54k|  55k| 117k|  10k| 15 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   387s|     1 |     0 |102184 |     - |   973M |   0 |  54k|  55k| 118k|  11k| 16 |  88 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   417s|     1 |     0 |111293 |     - |   985M |   0 |  54k|  55k| 118k|  12k| 17 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   446s|     1 |     0 |119365 |     - |   997M |   0 |  54k|  55k| 119k|  12k| 18 |  91 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   475s|     1 |     0 |127544 |     - |  1010M |   0 |  54k|  55k| 120k|  13k| 19 |  93 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c   500s|     1 |     0 |131628 |     - |  1022M |   0 |  54k|  55k| 121k|  14k| 20 |  94 |   0 | 0.000000e+00 |      --      |    Inf | unknown
499.16/501.43	c (node 1) LP solver hit time limit in LP 29 -- using pseudo solution instead
499.16/501.43	c 
499.16/501.43	c SCIP Status        : solving was interrupted [time limit reached]
499.16/501.43	c Solving Time (sec) : 500.00
499.16/501.43	c Solving Nodes      : 1
499.16/501.43	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
499.16/501.43	c Dual Bound         : +0.00000000000000e+00
499.16/501.43	c Gap                : infinite
499.16/501.43	c ----------------------------------------------------------------------
499.16/501.43	c dual bound: 0.0 -> 0
499.16/501.43	c primal bound: 1e+20 -> 100000000000000000000
499.16/501.43	c scip-goal-lb: 0
499.16/501.43	c scip-goal-ub: 100000000000000000000
499.16/501.43	c writing output to: HOME/tmp5cf17f4d.opb
499.16/501.43	c appending fixed variable constraints
499.16/501.43	c scip-fixed vars: 11.17% (6065/54290)
499.16/501.43	c ----------------------------------------------------------------------
499.16/501.43	c executing external solver: HOME/naps-1.03a6
499.16/501.43	c ----------------------------------------------------------------------
499.16/501.43	c command: HOME/naps-1.03a6 HOME/tmp5cf17f4d.opb
499.16/501.44	c NaPS 1.03a6.
499.16/501.44	c Input file name: HOME/tmp5cf17f4d.opb
537.15/539.55	c s UNSATISFIABLE
537.15/539.55	c _____________________________________________________________________________
537.15/539.55	c std/band forms        : 504,0
537.15/539.55	c 2cl/3cl ITE-codings   : 25736,0
537.15/539.55	c BDD/srt/adr Max costs : 126,0,0
537.15/539.55	c BDDraw/bin/mul/srt/adr: 0,0,504,0,0
537.15/539.55	c BDD nodes             : 41328
537.15/539.55	c Es1/CC detections     : 0,0
537.15/539.55	c CC sort               : 0
537.15/539.55	c SAT/UNSAT calls       : 0,1
537.15/539.55	c regenrated variables  : 0
537.15/539.55	c eliminated fixed lits : 10489
537.15/539.55	c goal lit flips        : 0
537.15/539.55	c goal stages           : 0
537.15/539.55	c goal shrink           : 0
537.15/539.55	c goal coeff separations: 0
537.15/539.55	c restarts              : 12147
537.15/539.55	c conflicts             : 205207         (5406 /sec)
537.15/539.55	c decisions             : 930171         (24506 /sec)
537.15/539.55	c propagations          : 311323930      (8202173 /sec)
537.15/539.55	c inspects              : 0              (0 /sec)
537.15/539.55	c CPU time (solving tm) : 37.96 s        (36.52 s, SAT 0 s, UNSAT 36.52 s)
537.15/539.55	c Time for Opt-base     : 0.07893 s
537.15/539.55	c Steps for Opt-base    : 207900
537.15/539.55	c Time for BDD coding   : 0.1879 s
537.15/539.55	c Time for srt coding   : 0 s
537.15/539.55	c _____________________________________________________________________________
537.15/539.55	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

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: 63665 MiB (61020 MiB free)
  memory of node 1: 64507 MiB (63963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529770-1752253254/watcher-4529770-1752253254 -o /tmp/evaluation-result-4529770-1752253254/solver-4529770-1752253254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111198 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529770-1752253254.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=111262, runsolver pid=111247
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 1.09 1.32 2.36 1/268 111275
/proc/meminfo: memFree=127962196/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=60364 memory=22528 CPUtime=0.03 cores=0,2
/proc/111274/stat : 111274 (python3) D 111262 111262 110042 0 -1 4194304 2723 0 0 0 3 0 0 0 20 0 1 0 141005342 61812736 5632 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 2 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 15091 5632 3328 1 0 3807 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64556 KiB
Current children cumulated memory: 25472 KiB

[startup+0.205651 s]*
/proc/loadavg: 1.09 1.32 2.36 1/268 111275
/proc/meminfo: memFree=127961788/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=64172 memory=22912 CPUtime=0.04 cores=0,2
/proc/111274/stat : 111274 (python3) D 111262 111262 110042 0 -1 4194304 2781 0 2 0 4 0 0 0 20 0 1 0 141005342 65712128 5728 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 2 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 16043 5728 3360 1 0 3872 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 68364 KiB
Current children cumulated memory: 25856 KiB

[startup+0.305186 s]*
/proc/loadavg: 1.09 1.32 2.36 1/268 111275
/proc/meminfo: memFree=127957252/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=82680 memory=24832 CPUtime=0.05 cores=0,2
/proc/111274/stat : 111274 (python3) D 111262 111262 110042 0 -1 4194304 2873 0 9 0 4 1 0 0 20 0 1 0 141005342 84664320 6208 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 2 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 20670 6208 3776 1 0 3899 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 86872 KiB
Current children cumulated memory: 27776 KiB

[startup+0.700208 s]
/proc/loadavg: 1.09 1.32 2.36 1/268 111275
/proc/meminfo: memFree=127939132/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=1190004 memory=34904 CPUtime=0.1 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 4376 0 26 0 8 2 0 0 20 0 1 0 141005342 1218564096 8726 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 297501 8726 5014 1 0 269410 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 1194196 KiB
Current children cumulated memory: 37848 KiB

[startup+1.5002 s]
/proc/loadavg: 1.09 1.32 2.36 5/269 111276
/proc/meminfo: memFree=127697076/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=1507956 memory=359640 CPUtime=0.77 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 83103 0 137 0 63 14 0 0 20 0 1 0 141005342 1544146944 89910 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 376989 89910 7670 1 0 348347 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 1512148 KiB
Current children cumulated memory: 362584 KiB

[startup+3.10571 s]
/proc/loadavg: 1.09 1.32 2.36 5/269 111276
/proc/meminfo: memFree=127210476/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=1707372 memory=545368 CPUtime=2.37 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 129692 0 137 0 217 20 0 0 20 0 1 0 141005342 1748348928 136342 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 426843 136342 7830 1 0 398201 0
Current children cumulated CPU time: 2.37 s
Current children cumulated vsize: 1711564 KiB
Current children cumulated memory: 548312 KiB
heavy processes:

[startup+6.30021 s]
/proc/loadavg: 1.33 1.36 2.37 4/265 111334
/proc/meminfo: memFree=127097484/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=1707840 memory=548440 CPUtime=5.53 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 130613 0 137 0 531 22 0 0 20 0 1 0 141005342 1748828160 137110 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 426960 137110 7830 1 0 398318 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 1712032 KiB
Current children cumulated memory: 551384 KiB

[startup+12.7002 s]
/proc/loadavg: 1.54 1.41 2.38 4/265 111394
/proc/meminfo: memFree=126517512/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=1979492 memory=739100 CPUtime=11.91 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 181253 0 137 0 1160 31 0 0 20 0 1 0 141005342 2026999808 184775 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 494873 184775 7958 1 0 466231 0
Current children cumulated CPU time: 11.91 s
Current children cumulated vsize: 1983684 KiB
Current children cumulated memory: 742044 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.54 2.41 4/265 111444
/proc/meminfo: memFree=125252996/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2281492 memory=1025576 CPUtime=24.66 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 252392 0 137 0 2425 41 0 0 20 0 1 0 141005342 2336247808 256394 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 570373 256394 8054 1 0 541731 0
Current children cumulated CPU time: 24.66 s
Current children cumulated vsize: 2285684 KiB
Current children cumulated memory: 1028520 KiB

[startup+51.1058 s]
/proc/loadavg: 2.73 1.73 2.45 5/270 111975
/proc/meminfo: memFree=124950612/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2281492 memory=1029160 CPUtime=50.03 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 252777 0 137 0 4943 60 0 0 20 0 1 0 141005342 2336247808 257290 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 570373 257290 8054 1 0 541731 0
Current children cumulated CPU time: 50.03 s
Current children cumulated vsize: 2285684 KiB
Current children cumulated memory: 1032104 KiB

[startup+102.3 s]
/proc/loadavg: 3.49 2.10 2.54 5/270 111976
/proc/meminfo: memFree=124431764/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2281492 memory=1034280 CPUtime=101.06 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 253504 0 137 0 10045 61 0 0 20 0 1 0 141005342 2336247808 258570 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 570373 258570 8054 1 0 541731 0
Current children cumulated CPU time: 101.06 s
Current children cumulated vsize: 2285684 KiB
Current children cumulated memory: 1037224 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.48 2.64 5/270 111978
/proc/meminfo: memFree=124136184/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2281492 memory=1034664 CPUtime=160.9 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 253595 0 137 0 16029 61 0 0 20 0 1 0 141005342 2336247808 258666 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 570373 258666 8054 1 0 541731 0
Current children cumulated CPU time: 160.9 s
Current children cumulated vsize: 2285684 KiB
Current children cumulated memory: 1037608 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.77 2.74 5/270 111980
/proc/meminfo: memFree=124009352/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2281492 memory=1035816 CPUtime=220.75 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 253749 0 137 0 22014 61 0 0 20 0 1 0 141005342 2336247808 258954 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 570373 258954 8054 1 0 541731 0

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


[startup+462.3 s]
/proc/loadavg: 4.12 3.53 3.06 5/267 111994
/proc/meminfo: memFree=123945116/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2323116 memory=1056656 CPUtime=460.17 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 255479 0 137 0 45955 62 0 0 20 0 1 0 141005342 2378870784 264164 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 580779 264164 8054 1 0 552137 0
Current children cumulated CPU time: 460.17 s
Current children cumulated vsize: 2327308 KiB
Current children cumulated memory: 1059600 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 3.63 3.13 5/269 112146
/proc/meminfo: memFree=123871336/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1092880 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273220 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273220 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54472 memory=47320 CPUtime=20.78 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16536 0 0 0 2074 4 0 0 20 0 1 0 141055484 55779328 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13618 11830 544 696 0 12779 0
Current children cumulated CPU time: 519.99 s
Current children cumulated vsize: 2439124 KiB
Current children cumulated memory: 1143144 KiB

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

# cumulated CPU time of all completed processes:  user=537.082 s, system=0.740584 s

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

[startup+524.8 s]
/proc/loadavg: 4.08 3.64 3.14 5/269 112146
/proc/meminfo: memFree=123874864/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1092880 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273220 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273220 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54472 memory=47320 CPUtime=23.28 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16537 0 0 0 2324 4 0 0 20 0 1 0 141055484 55779328 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13618 11830 544 696 0 12779 0
Current children cumulated CPU time: 522.49 s
Current children cumulated vsize: 2439124 KiB
Current children cumulated memory: 1143144 KiB

[startup+531.2 s]
/proc/loadavg: 4.08 3.64 3.14 5/269 112146
/proc/meminfo: memFree=123815808/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1093776 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273444 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273444 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54472 memory=47320 CPUtime=29.66 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16538 0 0 0 2962 4 0 0 20 0 1 0 141055484 55779328 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13618 11830 544 696 0 12779 0
Current children cumulated CPU time: 528.87 s
Current children cumulated vsize: 2439124 KiB
Current children cumulated memory: 1144040 KiB

[startup+534.4 s]
/proc/loadavg: 4.15 3.66 3.15 5/269 112146
/proc/meminfo: memFree=123525908/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1093776 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273444 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273444 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54376 memory=47320 CPUtime=32.85 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16539 0 0 0 3281 4 0 0 20 0 1 0 141055484 55681024 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13594 11830 544 696 0 12755 0
Current children cumulated CPU time: 532.06 s
Current children cumulated vsize: 2439028 KiB
Current children cumulated memory: 1144040 KiB

[startup+537.6 s]
/proc/loadavg: 4.15 3.66 3.15 5/269 112146
/proc/meminfo: memFree=123085380/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1093904 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273476 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273476 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54376 memory=47320 CPUtime=36.04 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16539 0 0 0 3600 4 0 0 20 0 1 0 141055484 55681024 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13594 11830 544 696 0 12755 0
Current children cumulated CPU time: 535.25 s
Current children cumulated vsize: 2439028 KiB
Current children cumulated memory: 1144168 KiB

[startup+539.2 s]
/proc/loadavg: 4.14 3.67 3.16 5/269 112146
/proc/meminfo: memFree=122946772/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1093904 CPUtime=499.21 cores=0,2
/proc/111274/stat : 111274 (python3) S 111262 111262 110042 0 -1 4194304 264697 0 138 0 49857 64 0 0 20 0 1 0 141005342 2437591040 273476 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273476 8054 1 0 566473 0
[pid=111996] ppid=111274 vsize=54376 memory=47320 CPUtime=37.64 cores=0,2
/proc/111996/stat : 111996 (naps-1.03a6) R 111274 111996 111996 0 -1 4194304 16539 0 0 0 3760 4 0 0 20 0 1 0 141055484 55681024 11830 18446744073709551615 4198400 7047149 140732235075296 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30928896 140732235078031 140732235078129 140732235078129 140732235083721 0
/proc/111996/statm: 13594 11830 544 696 0 12755 0
Current children cumulated CPU time: 536.85 s
Current children cumulated vsize: 2439028 KiB
Current children cumulated memory: 1144168 KiB

[startup+539.6 s]
/proc/loadavg: 4.14 3.67 3.16 5/269 112146
/proc/meminfo: memFree=122946772/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2380460 memory=1093904 CPUtime=537.24 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 266362 16540 138 0 49861 64 3795 4 20 0 1 0 141005342 2437591040 273476 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 595115 273476 8054 1 0 566473 0
Current children cumulated CPU time: 537.24 s
Current children cumulated vsize: 2384652 KiB
Current children cumulated memory: 1096848 KiB

[startup+540 s]*
/proc/loadavg: 4.14 3.67 3.16 5/268 112146
/proc/meminfo: memFree=123105424/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2376744 memory=1090528 CPUtime=537.65 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 276946 16540 138 0 49900 66 3795 4 20 0 1 0 141005342 2433785856 272632 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 594186 272632 8054 1 0 565544 0
Current children cumulated CPU time: 537.65 s
Current children cumulated vsize: 2380936 KiB
Current children cumulated memory: 1093472 KiB

[startup+540.106 s]
/proc/loadavg: 4.14 3.67 3.16 5/268 112146
/proc/meminfo: memFree=123105424/131250000 swapFree=33010416/33010684
[pid=111262] ppid=111247 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/111262/stat : 111262 (scip-naps-1.00a) S 111247 111262 110042 0 -1 4194304 259 346 0 0 0 0 0 0 20 0 1 0 141005339 4292608 736 18446744073709551615 93826812915712 93826813810245 140729221864848 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826814049296 93826814097040 93826836242432 140729221867931 140729221868030 140729221868030 140729221873634 0
/proc/111262/statm: 1048 736 672 219 0 110 0
[pid=111274] ppid=111262 vsize=2191040 memory=1036988 CPUtime=537.74 cores=0,2
/proc/111274/stat : 111274 (python3) R 111262 111262 110042 0 -1 4194304 284662 16540 138 0 49909 66 3795 4 20 0 1 0 141005342 2243624960 259247 18446744073709551615 94521973534720 94521973535097 140735755982608 0 0 0 0 16781312 0 0 0 0 17 0 0 0 0 0 0 94521973546392 94521973547012 94522001137664 140735755991375 140735755991584 140735755991584 140735755997159 0
/proc/111274/statm: 547760 259247 8054 1 0 519118 0
Current children cumulated CPU time: 537.74 s
Current children cumulated vsize: 2195232 KiB
Current children cumulated memory: 1039932 KiB

Child status: 0

Real time (s): 540.152
CPU time (s): 537.823
CPU user time (s): 537.082
CPU system time (s): 0.740584
CPU usage (%): 99.5688
Max. virtual memory (cumulated for all children) (KiB): 2453976
Max. memory (cumulated for all children) (KiB): 1155180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 537.082
system time used= 0.740584
maximum resident set size= 1093904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305763
page faults= 138
swaps= 0
block input operations= 25808
block output operations= 11224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 821
involuntary context switches= 1225


# summary of solver processes directly reported to runsolver:
#   pid: 111262
#   total CPU time (s): 537.823
#   total CPU user time (s): 537.082
#   total CPU system time (s): 0.740584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.994537 second user time and 2.28179 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-11 19:00:55
IDJOB=4529770
IDBENCH=147718
IDSOLVER=3388
FILE ID=nodeC027/4529770-1752253254
RUNJOBID= nodeC027-1752253254-111198
SLURM_JOB_ID= 9682567
Free space on /tmp= 431172 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529770-1752253254/watcher-4529770-1752253254 -o /tmp/evaluation-result-4529770-1752253254/solver-4529770-1752253254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1752253254-111198 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4529770-1752253254.opb

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

MD5SUM BENCH= 209c63ac31a13f6816f27826d17fc4ad
RANDOM SEED=1570954296

nodeC027 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.891
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.29
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		: 3500.911
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.29
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.651
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.29
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		: 3598.785
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.686
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.29
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		: 1468.899
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.29
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		: 3595.905
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.615
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127988728 kB
MemAvailable:   129720788 kB
Buffers:            2488 kB
Cached:          2524740 kB
SwapCached:           12 kB
Active:           636440 kB
Inactive:        1964240 kB
Active(anon):      88732 kB
Inactive(anon):     2792 kB
Active(file):     547708 kB
Inactive(file):  1961448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28668 kB
Writeback:            24 kB
AnonPages:         76492 kB
Mapped:           105928 kB
Shmem:             18056 kB
KReclaimable:     123884 kB
Slab:             216120 kB
SReclaimable:     123884 kB
SUnreclaim:        92236 kB
KernelStack:        4160 kB
PageTables:         2916 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431124 MiB
End job on nodeC027 at 2025-07-11 19:09:55