Trace number 4542504

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
roundingsat-ls 63f22ad? (TO) 3600.39 3609.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
MD5SUMcca449fd552693742bf3f30208712226
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 benchmark1436.41
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2436672
Total number of constraints113788
Number of constraints which are clauses57482
Number of constraints which are cardinality constraints (but not clauses)51746
Number of constraints which are nor clauses,nor cardinality constraints4560
Minimum length of a constraint45
Maximum length of a constraint50
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 53
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
2.67/2.70	c #variables 2436672 #constraints 113788
2767.91/2775.06	c #Conflicts:       1000 | #Constraints:     114787
2767.91/2775.06	c #Conflicts:       2000 | #Constraints:     115787
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c #Conflicts:       3000 | #Constraints:     115798
2767.91/2775.06	c #Conflicts:       4000 | #Constraints:     116798
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:       5000 | #Constraints:     116201
2767.91/2775.06	c #Conflicts:       6000 | #Constraints:     117201
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c #Conflicts:       7000 | #Constraints:     116213
2767.91/2775.06	c #Conflicts:       8000 | #Constraints:     117213
2767.91/2775.06	c #Conflicts:       9000 | #Constraints:     118213
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      10000 | #Constraints:     116910
2767.91/2775.06	c #Conflicts:      11000 | #Constraints:     117910
2767.91/2775.06	c #Conflicts:      12000 | #Constraints:     118910
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      13000 | #Constraints:     117369
2767.91/2775.06	c #Conflicts:      14000 | #Constraints:     118369
2767.91/2775.06	c #Conflicts:      15000 | #Constraints:     119369
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      16000 | #Constraints:     117589
2767.91/2775.06	c #Conflicts:      17000 | #Constraints:     118589
2767.91/2775.06	c #Conflicts:      18000 | #Constraints:     119589
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      19000 | #Constraints:     117606
2767.91/2775.06	c #Conflicts:      20000 | #Constraints:     118606
2767.91/2775.06	c #Conflicts:      21000 | #Constraints:     119606
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      22000 | #Constraints:     117420
2767.91/2775.06	c #Conflicts:      23000 | #Constraints:     118420
2767.91/2775.06	c #Conflicts:      24000 | #Constraints:     119420
2767.91/2775.06	c #Conflicts:      25000 | #Constraints:     120420
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      26000 | #Constraints:     118027
2767.91/2775.06	c #Conflicts:      27000 | #Constraints:     119027
2767.91/2775.06	c #Conflicts:      28000 | #Constraints:     120027
2767.91/2775.06	c #Conflicts:      29000 | #Constraints:     121027
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      30000 | #Constraints:     118429
2767.91/2775.06	c #Conflicts:      31000 | #Constraints:     119429
2767.91/2775.06	c #Conflicts:      32000 | #Constraints:     120429
2767.91/2775.06	c #Conflicts:      33000 | #Constraints:     121429
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      34000 | #Constraints:     118623
2767.91/2775.06	c #Conflicts:      35000 | #Constraints:     119623
2767.91/2775.06	c #Conflicts:      36000 | #Constraints:     120623
2767.91/2775.06	c #Conflicts:      37000 | #Constraints:     121623
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      38000 | #Constraints:     118625
2767.91/2775.06	c #Conflicts:      39000 | #Constraints:     119625
2767.91/2775.06	c #Conflicts:      40000 | #Constraints:     120625
2767.91/2775.06	c #Conflicts:      41000 | #Constraints:     121625
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      42000 | #Constraints:     118452
2767.91/2775.06	c #Conflicts:      43000 | #Constraints:     119452
2767.91/2775.06	c #Conflicts:      44000 | #Constraints:     120452
2767.91/2775.06	c #Conflicts:      45000 | #Constraints:     121452
2767.91/2775.06	c #Conflicts:      46000 | #Constraints:     122452
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      47000 | #Constraints:     119085
2767.91/2775.06	c #Conflicts:      48000 | #Constraints:     120085
2767.91/2775.06	c #Conflicts:      49000 | #Constraints:     121085
2767.91/2775.06	c #Conflicts:      50000 | #Constraints:     122085
2767.91/2775.06	c #Conflicts:      51000 | #Constraints:     123085
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      52000 | #Constraints:     119445
2767.91/2775.06	c #Conflicts:      53000 | #Constraints:     120445
2767.91/2775.06	c #Conflicts:      54000 | #Constraints:     121445
2767.91/2775.06	c #Conflicts:      55000 | #Constraints:     122445
2767.91/2775.06	c #Conflicts:      56000 | #Constraints:     123445
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      57000 | #Constraints:     119641
2767.91/2775.06	c #Conflicts:      58000 | #Constraints:     120641
2767.91/2775.06	c #Conflicts:      59000 | #Constraints:     121641
2767.91/2775.06	c #Conflicts:      60000 | #Constraints:     122641
2767.91/2775.06	c #Conflicts:      61000 | #Constraints:     123641
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      62000 | #Constraints:     119640
2767.91/2775.06	c #Conflicts:      63000 | #Constraints:     120640
2767.91/2775.06	c #Conflicts:      64000 | #Constraints:     121640
2767.91/2775.06	c #Conflicts:      65000 | #Constraints:     122640
2767.91/2775.06	c #Conflicts:      66000 | #Constraints:     123640
2767.91/2775.06	c INPROCESSING
2767.91/2775.06	c GARBAGE COLLECT
2767.91/2775.06	c #Conflicts:      67000 | #Constraints:     119451
2767.91/2775.06	c #Conflicts:      68000 | #Constraints:     120451
2767.91/2775.06	c #Conflicts:      69000 | #Constraints:     121451
3600.09/3609.10	c #Conflicts:      70000 | #Constraints:     122451
3600.09/3609.10	c #Conflicts:      71000 | #Constraints:     123451
3600.09/3609.10	c #Conflicts:      72000 | #Constraints:     124451
3600.09/3609.10	c INPROCESSING
3600.09/3609.10	c GARBAGE COLLECT
3600.09/3609.10	c #Conflicts:      73000 | #Constraints:     120060
3600.09/3609.10	c #Conflicts:      74000 | #Constraints:     121060
3600.09/3609.10	c #Conflicts:      75000 | #Constraints:     122060
3600.09/3609.10	c #Conflicts:      76000 | #Constraints:     123060
3600.09/3609.10	c #Conflicts:      77000 | #Constraints:     124060
3600.09/3609.10	c #Conflicts:      78000 | #Constraints:     125060
3600.09/3609.10	c INPROCESSING
3600.09/3609.10	c GARBAGE COLLECT
3600.09/3609.10	c #Conflicts:      79000 | #Constraints:     120459
3600.09/3609.10	c #Conflicts:      80000 | #Constraints:     121459
3600.09/3609.10	c #Conflicts:      81000 | #Constraints:     122459
3600.09/3609.10	c #Conflicts:      82000 | #Constraints:     123459
3600.09/3609.10	c #Conflicts:      83000 | #Constraints:     124459
3600.09/3609.10	c #Conflicts:      84000 | #Constraints:     125459
3600.09/3609.10	c INPROCESSING
3600.09/3609.10	c GARBAGE COLLECT
3600.09/3609.10	c #Conflicts:      85000 | #Constraints:     120684
3600.09/3609.10	c #Conflicts:      86000 | #Constraints:     121684
3600.09/3609.10	c #Conflicts:      87000 | #Constraints:     122684
3600.09/3609.10	c #Conflicts:      88000 | #Constraints:     123684
3600.09/3609.10	c #Conflicts:      89000 | #Constraints:     124684
3600.09/3609.10	c #Conflicts:      90000 | #Constraints:     125684
3600.09/3609.10	c INPROCESSING
3600.09/3609.10	c GARBAGE COLLECT
3600.09/3609.10	c #Conflicts:      91000 | #Constraints:     120691
3600.09/3609.10	c #Conflicts:      92000 | #Constraints:     121691
3600.09/3609.10	c #Conflicts:      93000 | #Constraints:     122691
3600.09/3609.10	c #Conflicts:      94000 | #Constraints:     123691
3600.09/3609.10	c #Conflicts:      95000 | #Constraints:     124691
3600.09/3609.10	c #Conflicts:      96000 | #Constraints:     125691
3600.09/3609.10	c INPROCESSING
3600.09/3609.10	c GARBAGE COLLECT
3600.09/3609.10	c cpu time 3191.16 s
3600.09/3609.10	c deterministic time 2799974933 2.80e+09
3600.09/3609.10	c optimization time 41.8848 s
3600.09/3609.10	c total solve time 3147.14 s
3600.09/3609.10	c core-guided solve time 0 s
3600.09/3609.10	c propagation time 158.4 s
3600.09/3609.10	c conflict analysis time 3.05155 s
3600.09/3609.10	c propagations 28570307
3600.09/3609.10	c resolve steps 195114
3600.09/3609.10	c decisions 643909099
3600.09/3609.10	c conflicts 96623
3600.09/3609.10	c restarts 254
3600.09/3609.10	c inprocessing phases 23
3600.09/3609.10	c garbage collections 21 ,( 91.30 )
3600.09/3609.10	c input clauses 57482 ,( 50.52 )
3600.09/3609.10	c input cardinalities 56306 ,( 49.48 )
3600.09/3609.10	c input general constraints 0 ,( 0.00 )
3600.09/3609.10	c input average constraint length 45.81
3600.09/3609.10	c input average constraint degree 22.77
3600.09/3609.10	c learned clauses 2508 ,( 2.60 )
3600.09/3609.10	c learned cardinalities 94115 ,( 97.40 )
3600.09/3609.10	c learned general constraints 0 ,( 0.00 )
3600.09/3609.10	c learned average constraint length 696.75
3600.09/3609.10	c learned average constraint degree 357.85
3600.09/3609.10	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.10	c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3609.10	c watched   constraints 0 ,( -nan ) 
3600.09/3609.10	c counting  constraints 0 ,( -nan ) 
3600.09/3609.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 15728993 , 14752717 , 0 ,( 0 , 0 )
3600.09/3609.10	c gcd simplifications 0
3600.09/3609.10	c detected cardinalities 0
3600.09/3609.10	c weakened non-implied lits 0
3600.09/3609.10	c weakened non-implying lits 0
3600.09/3609.10	c original variables 2436672
3600.09/3609.10	c clausal propagations 14414988
3600.09/3609.10	c cardinality propagations 12812500
3600.09/3609.10	c watched propagations 0
3600.09/3609.10	c counting propagations 0
3600.09/3609.10	c watch lookups 30481710
3600.09/3609.10	c watch backjump lookups 0
3600.09/3609.10	c watch checks 667880089
3600.09/3609.10	c propagation checks 680303731
3600.09/3609.10	c constraint additions 76222968
3600.09/3609.10	c trail pops 672576028
3600.09/3609.10	c formula constraints 113788
3600.09/3609.10	c learned constraints 96623
3600.09/3609.10	c bound constraints 0
3600.09/3609.10	c core-guided constraints 0
3600.09/3609.10	c encountered formula constraints 195295
3600.09/3609.10	c encountered learned constraints 96442
3600.09/3609.10	c encountered bound constraints 0
3600.09/3609.10	c encountered core-guided constraints 0
3600.09/3609.10	c LP total time 8.29648 s
3600.09/3609.10	c LP solve time 6.98 s
3600.09/3609.10	c LP constraints added 113788
3600.09/3609.10	c LP constraints removed 0
3600.09/3609.10	c LP pivots internal 10000
3600.09/3609.10	c LP pivots root 21000
3600.09/3609.10	c LP calls 5
3600.09/3609.10	c LP optimalities 0
3600.09/3609.10	c LP no pivot count 0
3600.09/3609.10	c LP infeasibilities 0
3600.09/3609.10	c LP valid Farkas constraints 0
3600.09/3609.10	c LP learned Farkas constraints 0
3600.09/3609.10	c LP basis resets 0
3600.09/3609.10	c LP cycling count 0
3600.09/3609.10	c LP singular count 0
3600.09/3609.10	c LP no primal count 0
3600.09/3609.10	c LP no farkas count 0
3600.09/3609.10	c LP other issue count 0
3600.09/3609.10	c LP Gomory cuts 0
3600.09/3609.10	c LP learned cuts 0
3600.09/3609.10	c LP deleted cuts 0
3600.09/3609.10	c LP encountered Gomory constraints 0
3600.09/3609.10	c LP encountered Farkas constraints 0
3600.09/3609.10	c LP encountered learned Farkas constraints 0
3600.09/3609.10	c CG auxiliary variables introduced 0
3600.09/3609.10	c CG solutions found 0
3600.09/3609.10	c CG cores constructed 0
3600.09/3609.10	c CG core cardinality constraints returned 0
3600.09/3609.10	c CG unit cores 0
3600.09/3609.10	c CG single cores 0
3600.09/3609.10	c CG blocks removed during cardinality reduction 0
3600.09/3609.10	c CG first core best 0
3600.09/3609.10	c CG decision core best 0
3600.09/3609.10	c CG core reduction tie 0
3600.09/3609.10	c CG core degree average 0.00
3600.09/3609.10	c CG core slack average 0.00
3600.09/3609.10	c CG core upper bound improvements 0
3600.09/3609.10	c STR number of successful calls 0
3600.09/3609.10	c STR number of unsuccessful calls 0
3600.09/3609.10	c STR number of inconclusive calls 0
3600.09/3609.10	c STR number of successful attempts 0
3600.09/3609.10	c STR number of unsuccessful attempts 0
3600.09/3609.10	c STR number of inconclusive attempts 0
3600.09/3609.10	c STR average degree increase per successful call inf
3600.09/3609.10	c STR average degree increase per successful attempt inf
3600.09/3609.10	c STR total number of conflicts for successful attempts 0
3600.09/3609.10	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.10	c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.10	c STR average number of conflicts per successful attempt inf
3600.09/3609.10	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.10	c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.10	c AVG.sumWPerc -nan 
3600.09/3609.10	c bigint constraints 0 
3600.09/3609.10	s UNKNOWN
3600.09/3609.10	c Program interrupted by user.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542504-1753216475/watcher-4542504-1753216475 -o /tmp/evaluation-result-4542504-1753216475/solver-4542504-1753216475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164107 --watchdog 3760 run-dec-ls.sh HOME/instance-4542504-1753216475.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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=164882, runsolver pid=164879
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=113531008/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=294184 memory=240952 CPUtime=0.08 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 1830 0 0 0 4 4 0 0 20 0 1 0 237325068 301244416 60238 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 73546 60238 1888 1147 0 60973 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 298376 KiB
Current children cumulated memory: 244024 KiB

[startup+0.205978 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=113237112/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=622352 memory=550404 CPUtime=0.18 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 8135 0 0 0 8 10 0 0 20 0 1 0 237325068 637288448 137601 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 155588 137601 1920 1147 0 143015 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 626544 KiB
Current children cumulated memory: 553476 KiB

[startup+0.305952 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=113110520/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=736640 memory=653896 CPUtime=0.28 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 12498 0 0 0 15 13 0 0 20 0 1 0 237325068 754319360 163474 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 184160 163474 1984 1147 0 171587 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 740832 KiB
Current children cumulated memory: 656968 KiB

[startup+0.700201 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=113086328/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=790384 memory=709292 CPUtime=0.67 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 25974 0 0 0 50 17 0 0 20 0 1 0 237325068 809353216 177323 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 197596 177323 1984 1147 0 185023 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 794576 KiB
Current children cumulated memory: 712364 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=113008396/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=907492 memory=825188 CPUtime=1.48 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 54023 0 0 0 122 26 0 0 20 0 1 0 237325068 929271808 206297 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 226873 206297 1984 1147 0 214300 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 911684 KiB
Current children cumulated memory: 828260 KiB

[startup+3.10597 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 164884
/proc/meminfo: memFree=112101788/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=1705376 memory=1612888 CPUtime=3.07 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 111657 0 0 0 242 65 0 0 20 0 1 0 237325068 1746305024 403222 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 426344 403222 2240 1147 0 413771 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1709568 KiB
Current children cumulated memory: 1615960 KiB

[startup+6.3002 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 164884
/proc/meminfo: memFree=111387628/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2500760 memory=2336384 CPUtime=6.26 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 142867 0 0 0 534 92 0 0 20 0 1 0 237325068 2560778240 584096 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 625190 584096 2272 1147 0 612617 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2504952 KiB
Current children cumulated memory: 2339456 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 164884
/proc/meminfo: memFree=111375428/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2500760 memory=2336384 CPUtime=12.64 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 142953 0 0 0 1172 92 0 0 20 0 1 0 237325068 2560778240 584096 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 625190 584096 2272 1147 0 612617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2504952 KiB
Current children cumulated memory: 2339456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 164886
/proc/meminfo: memFree=111394056/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2500760 memory=2336384 CPUtime=25.4 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 142958 0 0 0 2448 92 0 0 20 0 1 0 237325068 2560778240 584096 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 625190 584096 2272 1147 0 612617 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2504952 KiB
Current children cumulated memory: 2339456 KiB

[startup+51.106 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 164886
/proc/meminfo: memFree=111318844/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2500760 memory=2336384 CPUtime=50.94 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 143077 0 0 0 5002 92 0 0 20 0 1 0 237325068 2560778240 584096 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 625190 584096 2272 1147 0 612617 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2504952 KiB
Current children cumulated memory: 2339456 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 164890
/proc/meminfo: memFree=111283404/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2500760 memory=2336384 CPUtime=102 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 143238 0 0 0 10108 92 0 0 20 0 1 0 237325068 2560778240 584096 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 625190 584096 2272 1147 0 612617 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2504952 KiB
Current children cumulated memory: 2339456 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 164892
/proc/meminfo: memFree=111205772/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2569224 memory=2398040 CPUtime=161.85 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 146708 0 0 0 16053 132 0 0 20 0 1 0 237325068 2630885376 599510 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 642306 599510 2336 1147 0 629733 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2573416 KiB
Current children cumulated memory: 2401112 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 164901
/proc/meminfo: memFree=111131556/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=2569224 memory=2398040 CPUtime=221.69 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 146803 0 0 0 22037 132 0 0 20 0 1 0 237325068 2630885376 599510 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 642306 599510 2336 1147 0 629733 0

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

/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3177196 memory=3030536 CPUtime=3154.31 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 257759 0 0 0 283697 31734 0 0 20 0 1 0 237325068 3253448704 757634 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 794299 757634 2336 1147 0 781726 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 3181388 KiB
Current children cumulated memory: 3033608 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 167044
/proc/meminfo: memFree=113585552/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3206308 memory=3059720 CPUtime=3214.17 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 265207 0 0 0 287379 34038 0 0 20 0 1 0 237325068 3283259392 764930 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 801577 764930 2336 1147 0 789004 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 3210500 KiB
Current children cumulated memory: 3062792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 167046
/proc/meminfo: memFree=113524932/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3206308 memory=3059720 CPUtime=3274.03 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 265275 0 0 0 293364 34039 0 0 20 0 1 0 237325068 3283259392 764930 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 801577 764930 2336 1147 0 789004 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 3210500 KiB
Current children cumulated memory: 3062792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 167282
/proc/meminfo: memFree=113617108/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3206308 memory=3059720 CPUtime=3333.89 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 265514 0 0 0 298310 35079 0 0 20 0 1 0 237325068 3283259392 764930 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 801577 764930 2336 1147 0 789004 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 3210500 KiB
Current children cumulated memory: 3062792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/271 167333
/proc/meminfo: memFree=113037096/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3227456 memory=3083144 CPUtime=3393.76 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 271310 0 0 0 300923 38453 0 0 20 0 1 0 237325068 3304914944 770786 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 806864 770786 2336 1147 0 794291 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 3231648 KiB
Current children cumulated memory: 3086216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/271 167335
/proc/meminfo: memFree=112953988/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3232788 memory=3090072 CPUtime=3453.62 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 272660 0 0 0 306777 38585 0 0 20 0 1 0 237325068 3310374912 772518 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 808197 772518 2336 1147 0 795624 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 3236980 KiB
Current children cumulated memory: 3093144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 167384
/proc/meminfo: memFree=112586968/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3232788 memory=3090456 CPUtime=3513.48 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 272660 0 0 0 312763 38585 0 0 20 0 1 0 237325068 3310374912 772614 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 808197 772614 2336 1147 0 795624 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 3236980 KiB
Current children cumulated memory: 3093528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 167387
/proc/meminfo: memFree=112573996/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3258068 memory=3115416 CPUtime=3573.35 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 279318 0 0 0 316441 40894 0 0 20 0 1 0 237325068 3336261632 778854 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 814517 778854 2336 1147 0 801944 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 3262260 KiB
Current children cumulated memory: 3118488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 167387
/proc/meminfo: memFree=112521168/131250000 swapFree=33008356/33010684
[pid=164882] ppid=164879 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/164882/stat : 164882 (run-dec-ls.sh) S 164879 164882 164094 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237325067 4292608 768 18446744073709551615 93852876746752 93852877641285 140731197077568 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93852877880336 93852877928080 93852883460096 140731197081957 140731197082083 140731197082083 140731197087687 0
/proc/164882/statm: 1048 768 704 219 0 110 0
[pid=164884] ppid=164882 vsize=3258068 memory=3115416 CPUtime=3600.09 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164882 164882 164094 0 -1 4194304 279381 0 0 0 319115 40894 0 0 20 0 1 0 237325068 3336261632 778854 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 814517 778854 2336 1147 0 801944 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3262260 KiB
Current children cumulated memory: 3118488 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002296 s

[startup+3609.4 s]
# the end of solver process 164884 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3191.43 s, system=408.961 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.2 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 167387
/proc/meminfo: memFree=113404248/131250000 swapFree=33008356/33010684
[pid=164884] ppid=164879 vsize=2332312 memory=2226076 CPUtime=3600.19 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164879 164882 164094 0 -1 4194304 279537 0 0 0 319125 40894 0 0 20 0 1 0 237325068 2388287488 556519 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 583078 556519 2432 1147 0 570505 0
Current cumulated CPU time of completed processes: 0.002296 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 2332312 KiB
Current children cumulated memory: 2226076 KiB

[startup+3609.31 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 167387
/proc/meminfo: memFree=113404248/131250000 swapFree=33008356/33010684
[pid=164884] ppid=164879 vsize=2332312 memory=2226076 CPUtime=3600.29 cores=5,7
/proc/164884/stat : 164884 (roundingsat) R 164879 164882 164094 0 -1 4194304 279667 0 0 0 319134 40895 0 0 20 0 1 0 237325068 2388287488 556519 18446744073709551615 4227072 8923433 140736846210688 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34238464 140736846219678 140736846219814 140736846219814 140736846225386 0
/proc/164884/statm: 583078 556519 2432 1147 0 570505 0
Current cumulated CPU time of completed processes: 0.002296 s
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 2332312 KiB
Current children cumulated memory: 2226076 KiB

Child status: 2

Real time (s): 3609.4
CPU time (s): 3600.39
CPU user time (s): 3191.43
CPU system time (s): 408.961
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 3262260
Max. memory (cumulated for all children) (KiB): 3118488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3191.43
system time used= 408.961
maximum resident set size= 3115800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280008
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= 183
involuntary context switches= 3821


# summary of solver processes directly reported to runsolver:
#   pid: 164882,164884
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3191.43
#   total CPU system time (s): 408.961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92693 second user time and 16.8368 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-22 22:34:36
IDJOB=4542504
IDBENCH=163930
IDSOLVER=3353
FILE ID=nodeC019/4542504-1753216475
RUNJOBID= nodeC019-1753211625-164107
SLURM_JOB_ID= 9687797
Free space on /tmp= 432828 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542504-1753216475/watcher-4542504-1753216475 -o /tmp/evaluation-result-4542504-1753216475/solver-4542504-1753216475 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164107 --watchdog 3760  run-dec-ls.sh HOME/instance-4542504-1753216475.opb

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

MD5SUM BENCH= cca449fd552693742bf3f30208712226
RANDOM SEED=1234585451

nodeC019 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.648
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.37
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.596
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.37
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		: 3600.676
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.37
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		: 3587.768
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.37
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.677
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.37
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.681
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.37
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		: 3536.117
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.37
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		: 3598.526
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        113756704 kB
MemAvailable:   123381500 kB
Buffers:             904 kB
Cached:         10365780 kB
SwapCached:          416 kB
Active:          7435992 kB
Inactive:        9279360 kB
Active(anon):    6361316 kB
Inactive(anon):    12804 kB
Active(file):    1074676 kB
Inactive(file):  9266556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66772 kB
Writeback:             0 kB
AnonPages:       6345436 kB
Mapped:           122328 kB
Shmem:             25452 kB
KReclaimable:     245608 kB
Slab:             341256 kB
SReclaimable:     245608 kB
SUnreclaim:        95648 kB
KernelStack:        4320 kB
PageTables:        15828 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6957876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4792320 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432896 MiB
End job on nodeC019 at 2025-07-22 23:34:45