Trace number 4542162

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 2025-06-13? (TO) 3600.42 3616.13

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
MD5SUMc26c89c819410142827dd0be6bce850a
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 benchmark2155.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3121404
Total number of constraints136276
Number of constraints which are clauses68801
Number of constraints which are cardinality constraints (but not clauses)62324
Number of constraints which are nor clauses,nor cardinality constraints5151
Minimum length of a constraint48
Maximum length of a constraint53
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4542162-1753209885.opb>
4.27/4.37	c original problem has 3121404 variables (3121404 bin, 0 int, 0 cont) and 136276 constraints
4.27/4.37	c problem read in 4.369 seconds
4.37/4.40	c problem without objective
11.05/11.18	c presolving:
15.14/15.29	c    (15.3s) running MILP presolver
18.53/18.62	c    (18.6s) MILP presolver found nothing
21.02/21.16	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 73903 upgd conss, 0 impls, 62322 clqs
24.60/24.76	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 136276 upgd conss, 0 impls, 62322 clqs
59.79/60.03	c    (60.0s) probing: 51/3121404 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
59.79/60.03	c    (60.0s) probing aborted: 50/50 successive totally useless probings
61.67/61.97	c    (61.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
65.46/65.78	c    (65.8s) symmetry computation finished: 20 generators found (max: 20, log10 of symmetry group size: 17.39) (symcode time: 2.63)
65.56/65.82	c dynamic symmetry handling statistics:
65.56/65.82	c    orbitopal reduction:       no components
65.56/65.82	c    orbital reduction:         no components
65.56/65.82	c    lexicographic reduction:   no permutations
65.56/65.82	c handled 2 out of 2 symmetry components
67.45/67.71	c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
67.45/67.71	c  190 deleted vars, 0 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
67.45/67.71	c  0 implications, 62323 cliques
67.45/67.71	c presolved problem has 3121214 variables (3121214 bin, 0 int, 0 cont) and 136278 constraints
67.45/67.71	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
67.45/67.71	c    5153 constraints of type <knapsack>
67.45/67.71	c   62322 constraints of type <setppc>
67.45/67.71	c       1 constraints of type <linear>
67.45/67.71	c       1 constraints of type <orbitope_pp>
67.45/67.71	c   68801 constraints of type <logicor>
67.45/67.71	c transformed objective value is always integral (scale: 1)
67.45/67.71	c Presolving Time: 58.08
67.45/67.71	c 
67.45/67.71	c - non default parameters ----------------------------------------------------------------------
67.45/67.71	c 
67.45/67.71	c # SCIP version 10.0.0
67.45/67.71	c 
67.45/67.71	c # maximal time in seconds to run
67.45/67.71	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
67.45/67.71	c limits/time = 3596.99801
67.45/67.71	c 
67.45/67.71	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
67.45/67.71	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
67.45/67.71	c limits/memory = 27900
67.45/67.71	c 
67.45/67.71	c # belongs reading time to solving time?
67.45/67.71	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
67.45/67.71	c timing/reading = TRUE
67.45/67.71	c 
67.45/67.71	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
67.45/67.71	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
67.45/67.71	c reading/opbreader/maxintsize = 47
67.45/67.71	c 
67.45/67.71	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
67.45/67.71	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
67.45/67.71	c propagating/genvbounds/timingmask = 0
67.45/67.71	c 
67.45/67.71	c -----------------------------------------------------------------------------------------------
67.95/68.27	c 
450.10/451.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
450.10/451.82	c   452s|     1 |     0 |314547 |     - |    12G |   0 |3121k| 136k| 136k|   0 |  0 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1494.17/1500.53	c  1501s|     1 |     0 |472909 |     - |    13G |   0 |3121k| 136k| 136k| 187 |  1 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1662.33/1669.44	c  1669s|     1 |     0 |473941 |     - |    13G |   0 |3121k| 136k| 136k| 361 |  2 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1833.57/1841.49	c  1841s|     1 |     0 |474726 |     - |    14G |   0 |3121k| 136k| 136k| 513 |  3 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2007.78/2016.47	c  2016s|     1 |     0 |475508 |     - |    14G |   0 |3121k| 136k| 136k| 667 |  4 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2194.06/2203.54	c  2204s|     1 |     0 |476395 |     - |    14G |   0 |3121k| 136k| 137k| 810 |  5 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2393.80/2404.14	c  2404s|     1 |     0 |477251 |     - |    14G |   0 |3121k| 136k| 137k| 938 |  6 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2585.27/2596.46	c  2596s|     1 |     0 |478102 |     - |    14G |   0 |3121k| 136k| 137k|1022 |  7 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2772.44/2784.44	c  2784s|     1 |     0 |478874 |     - |    14G |   0 |3121k| 136k| 137k|1147 |  8 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2963.41/2976.23	c  2976s|     1 |     0 |479737 |     - |    14G |   0 |3121k| 136k| 137k|1221 |  9 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3161.18/3174.82	c  3175s|     1 |     0 |480880 |     - |    14G |   0 |3121k| 136k| 137k|1320 | 10 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3323.09/3337.48	c  3337s|     1 |     0 |481572 |     - |    15G |   0 |3121k| 136k| 137k|1392 | 11 | 252 |   0 | 0.000000e+00 |      --      |    Inf | unknown

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542162-1753209885/watcher-4542162-1753209885 -o /tmp/evaluation-result-4542162-1753209885/solver-4542162-1753209885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760 pbsolver -f HOME/instance-4542162-1753209885.opb -t 3600 -m 31000 

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
Current StackSize limit: 8192 KiB

solver pid=158679, runsolver pid=158676

[startup+0.100068 s]*
/proc/loadavg: 1.87 3.45 3.86 4/263 158680
/proc/meminfo: memFree=126656280/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=107976 memory=96896 CPUtime=0.09 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 22293 0 0 0 6 3 0 0 20 0 1 0 236663122 110567424 24224 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 26994 24224 2176 2575 0 23901 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107976 KiB
Current children cumulated memory: 96896 KiB

[startup+0.205332 s]*
/proc/loadavg: 1.87 3.45 3.86 5/262 158684
/proc/meminfo: memFree=126503164/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=189052 memory=178048 CPUtime=0.2 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 42574 0 0 0 14 6 0 0 20 0 1 0 236663122 193589248 44512 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 47263 44512 2176 2575 0 44170 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 189052 KiB
Current children cumulated memory: 178048 KiB

[startup+0.305761 s]*
/proc/loadavg: 1.87 3.45 3.86 4/261 158688
/proc/meminfo: memFree=126365720/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=264660 memory=253184 CPUtime=0.29 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 61356 0 0 0 22 7 0 0 20 0 1 0 236663122 271011840 63296 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 66165 63296 2176 2575 0 63072 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 264660 KiB
Current children cumulated memory: 253184 KiB

[startup+0.700171 s]
/proc/loadavg: 1.87 3.45 3.86 4/261 158688
/proc/meminfo: memFree=126002020/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=552844 memory=540644 CPUtime=0.69 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 130657 0 0 0 52 17 0 0 20 0 1 0 236663122 566112256 135161 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 138211 135161 2176 2575 0 135118 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 552844 KiB
Current children cumulated memory: 540644 KiB

[startup+1.50018 s]
/proc/loadavg: 1.87 3.45 3.86 4/263 158703
/proc/meminfo: memFree=125057840/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=1141392 memory=1129320 CPUtime=1.48 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 272730 0 0 0 110 38 0 0 20 0 1 0 236663122 1168785408 282330 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 285348 282330 2176 2575 0 282255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1141392 KiB
Current children cumulated memory: 1129320 KiB

[startup+3.10526 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=121850324/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=2305436 memory=2291564 CPUtime=3.08 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 552046 0 0 0 228 80 0 0 20 0 1 0 236663122 2360766464 572891 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 576359 572891 2176 2575 0 573266 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2305436 KiB
Current children cumulated memory: 2291564 KiB

[startup+6.30018 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=118442820/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=5040116 memory=5013184 CPUtime=6.27 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 1219229 0 0 0 453 174 0 0 20 0 1 0 236663122 5161078784 1253296 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 1260029 1253296 2368 2575 0 1256936 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 5040116 KiB
Current children cumulated memory: 5013184 KiB

[startup+12.7002 s]
/proc/loadavg: 2.27 3.48 3.87 5/265 158726
/proc/meminfo: memFree=114938672/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=8246564 memory=8152548 CPUtime=12.64 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 1854847 0 0 0 989 275 0 0 20 0 1 0 236663122 8444481536 2038137 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 2061641 2038137 2400 2575 0 2058548 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 8246564 KiB
Current children cumulated memory: 8152548 KiB

[startup+25.5002 s]
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112475460/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=9000248 memory=8833148 CPUtime=25.4 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 1931512 0 0 0 2187 353 0 0 20 0 1 0 236663122 9216253952 2208287 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 2250062 2208287 2528 2575 0 2246969 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 9000248 KiB
Current children cumulated memory: 8833148 KiB

[startup+51.1055 s]
/proc/loadavg: 3.26 3.58 3.89 5/265 158771
/proc/meminfo: memFree=103942120/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=9528552 memory=9245556 CPUtime=50.92 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 1944196 0 0 0 4730 362 0 0 20 0 1 0 236663122 9757237248 2311389 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 2382138 2311389 2592 2575 0 2379045 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 9528552 KiB
Current children cumulated memory: 9245556 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.66 3.90 5/265 158773
/proc/meminfo: memFree=98397900/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=13032716 memory=12099376 CPUtime=101.91 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2250504 0 0 0 9697 494 0 0 20 0 1 0 236663122 13345501184 3024844 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3258179 3024844 2624 2575 0 3255086 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 13032716 KiB
Current children cumulated memory: 12099376 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.74 3.91 5/265 158775
/proc/meminfo: memFree=98711644/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=13032716 memory=12099376 CPUtime=161.65 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2250517 0 0 0 15671 494 0 0 20 0 1 0 236663122 13345501184 3024844 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3258179 3024844 2624 2575 0 3255086 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 13032716 KiB
Current children cumulated memory: 12099376 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 3.84 3.94 5/265 158777
/proc/meminfo: memFree=96023924/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=14533408 memory=13211988 CPUtime=221.47 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2298287 0 0 0 21625 522 0 0 20 0 1 0 236663122 14882209792 3302997 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3633352 3302997 2656 2575 0 3630259 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 14533408 KiB
Current children cumulated memory: 13211988 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.89 3.95 5/264 158779
/proc/meminfo: memFree=95955220/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=14546384 memory=13220624 CPUtime=281.28 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2298561 0 0 0 27606 522 0 0 20 0 1 0 236663122 14895497216 3305156 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3636596 3305156 2656 2575 0 3633503 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 14546384 KiB
Current children cumulated memory: 13220624 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.92 3.96 5/262 158781
/proc/meminfo: memFree=95899944/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=14546384 memory=13222684 CPUtime=341.06 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2298750 0 0 0 33584 522 0 0 20 0 1 0 236663122 14895497216 3305671 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3636596 3305671 2656 2575 0 3633503 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 14546384 KiB
Current children cumulated memory: 13222684 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.97 3.98 5/263 158784
/proc/meminfo: memFree=95599772/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=14546384 memory=13222684 CPUtime=400.8 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2298917 0 0 0 39558 522 0 0 20 0 1 0 236663122 14895497216 3305671 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3636596 3305671 2656 2575 0 3633503 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 14546384 KiB
Current children cumulated memory: 13222684 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.99 3.99 5/263 158786
/proc/meminfo: memFree=94824148/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=14939956 memory=13496524 CPUtime=460.56 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2304756 0 0 0 45528 528 0 0 20 0 1 0 236663122 15298514944 3374131 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 3734989 3374131 2656 2575 0 3731896 0

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

/proc/meminfo: memFree=88452984/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=16945460 memory=14789632 CPUtime=2909.74 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2450237 0 0 0 290380 594 0 0 20 0 1 0 236663122 17352151040 3697408 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4236365 3697408 2688 2575 0 4233272 0
Current children cumulated CPU time: 2909.74 s
Current children cumulated vsize: 16945460 KiB
Current children cumulated memory: 14789632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 158924
/proc/meminfo: memFree=88316892/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=16905952 memory=14854708 CPUtime=2969.48 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2458800 0 0 0 296352 596 0 0 20 0 1 0 236663122 17311694848 3713677 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4226488 3713677 2688 2575 0 4223395 0
Current children cumulated CPU time: 2969.48 s
Current children cumulated vsize: 16905952 KiB
Current children cumulated memory: 14854708 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 158926
/proc/meminfo: memFree=88224120/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17114452 memory=14943012 CPUtime=3029.23 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2478362 0 0 0 302323 600 0 0 20 0 1 0 236663122 17525198848 3735753 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4278613 3735753 2688 2575 0 4275520 0
Current children cumulated CPU time: 3029.23 s
Current children cumulated vsize: 17114452 KiB
Current children cumulated memory: 14943012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 158928
/proc/meminfo: memFree=88218488/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17114452 memory=14943012 CPUtime=3088.98 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2478379 0 0 0 308298 600 0 0 20 0 1 0 236663122 17525198848 3735753 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4278613 3735753 2688 2575 0 4275520 0
Current children cumulated CPU time: 3088.98 s
Current children cumulated vsize: 17114452 KiB
Current children cumulated memory: 14943012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 158931
/proc/meminfo: memFree=88122292/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17068004 memory=15002416 CPUtime=3148.73 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2485128 0 0 0 314267 606 0 0 20 0 1 0 236663122 17477636096 3750604 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4267001 3750604 2688 2575 0 4263908 0
Current children cumulated CPU time: 3148.73 s
Current children cumulated vsize: 17068004 KiB
Current children cumulated memory: 15002416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 158933
/proc/meminfo: memFree=88098976/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17178308 memory=15031428 CPUtime=3208.47 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2488112 0 0 0 320240 607 0 0 20 0 1 0 236663122 17590587392 3757857 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4294577 3757857 2688 2575 0 4291484 0
Current children cumulated CPU time: 3208.47 s
Current children cumulated vsize: 17178308 KiB
Current children cumulated memory: 15031428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 158937
/proc/meminfo: memFree=88093640/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17178308 memory=15031428 CPUtime=3268.21 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2488136 0 0 0 326213 608 0 0 20 0 1 0 236663122 17590587392 3757857 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4294577 3757857 2688 2575 0 4291484 0
Current children cumulated CPU time: 3268.21 s
Current children cumulated vsize: 17178308 KiB
Current children cumulated memory: 15031428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 158939
/proc/meminfo: memFree=88034868/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048744 CPUtime=3327.96 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2492718 0 0 0 332185 611 0 0 20 0 1 0 236663122 17537630208 3762186 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762186 2688 2575 0 4278555 0
Current children cumulated CPU time: 3327.96 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048744 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 158941
/proc/meminfo: memFree=88033720/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048744 CPUtime=3387.66 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2492888 0 0 0 338155 611 0 0 20 0 1 0 236663122 17537630208 3762186 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762186 2688 2575 0 4278555 0
Current children cumulated CPU time: 3387.66 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048744 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 158943
/proc/meminfo: memFree=87970456/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048744 CPUtime=3447.36 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2493102 0 0 0 344124 612 0 0 20 0 1 0 236663122 17537630208 3762186 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762186 2688 2575 0 4278555 0
Current children cumulated CPU time: 3447.36 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048744 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 158945
/proc/meminfo: memFree=85065696/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048744 CPUtime=3507.05 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2493221 0 0 0 350093 612 0 0 20 0 1 0 236663122 17537630208 3762186 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762186 2688 2575 0 4278555 0
Current children cumulated CPU time: 3507.05 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.38 4.18 4.12 5/264 158955
/proc/meminfo: memFree=81938952/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048744 CPUtime=3566.74 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2493465 0 0 0 356061 613 0 0 20 0 1 0 236663122 17537630208 3762186 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762186 2688 2575 0 4278555 0
Current children cumulated CPU time: 3566.74 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.8 s]
/proc/loadavg: 4.37 4.19 4.12 5/264 159046
/proc/meminfo: memFree=84400812/131249992 swapFree=33009392/33010684
[pid=158679] ppid=158676 vsize=17126592 memory=15048872 CPUtime=3600.08 cores=0,2
/proc/158679/stat : 158679 (pbsolver) R 158676 158679 158250 0 -1 4194304 2493546 0 0 0 359395 613 0 0 20 0 1 0 236663122 17537630208 3762218 18446744073709551615 4198400 14743177 140723870609920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 37560320 140723870615944 140723870616040 140723870616040 140723870621644 0
/proc/158679/statm: 4281648 3762218 2688 2575 0 4278555 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 17126592 KiB
Current children cumulated memory: 15048872 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3616.13 s]
# the end of solver process 158679 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3593.96 s, system=6.4648 s

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

[startup+3616.01 s]*
/proc/loadavg: 4.37 4.19 4.12 5/264 159046
/proc/meminfo: memFree=93696712/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3616.11 s]
/proc/loadavg: 4.37 4.19 4.12 5/264 159046
/proc/meminfo: memFree=93696712/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3616.13
CPU time (s): 3600.42
CPU user time (s): 3593.96
CPU system time (s): 6.4648
CPU usage (%): 99.5657
Max. virtual memory (cumulated for all children) (KiB): 17178308
Max. memory (cumulated for all children) (KiB): 15048872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.96
system time used= 6.46479
maximum resident set size= 15152896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2493546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 8549


# summary of solver processes directly reported to runsolver:
#   pid: 158679
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3593.96
#   total CPU system time (s): 6.4648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1704 second user time and 16.3813 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-22 20:44:46
IDJOB=4542162
IDBENCH=163903
IDSOLVER=3366
FILE ID=nodeC035/4542162-1753209885
RUNJOBID= nodeC035-1753209881-158260
SLURM_JOB_ID= 9687779
Free space on /tmp= 432320 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542162-1753209885/watcher-4542162-1753209885 -o /tmp/evaluation-result-4542162-1753209885/solver-4542162-1753209885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158260 --watchdog 3760  pbsolver -f HOME/instance-4542162-1753209885.opb -t 3600 -m 31000

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

MD5SUM BENCH= c26c89c819410142827dd0be6bce850a
RANDOM SEED=1613162073

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.553
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		: 3599.078
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:        126849564 kB
MemAvailable:   129190372 kB
Buffers:             664 kB
Cached:          3092128 kB
SwapCached:          336 kB
Active:          1427224 kB
Inactive:        2221816 kB
Active(anon):     563300 kB
Inactive(anon):    18908 kB
Active(file):     863924 kB
Inactive(file):  2202908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            162652 kB
Writeback:             0 kB
AnonPages:        559200 kB
Mapped:           138536 kB
Shmem:             25904 kB
KReclaimable:     226428 kB
Slab:             322028 kB
SReclaimable:     226428 kB
SUnreclaim:        95600 kB
KernelStack:        4304 kB
PageTables:         3888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     937860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 432212 MiB
End job on nodeC035 at 2025-07-22 21:45:02