Trace number 4511805

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-log 63f22ad? (TO) 3601.22 3611.51

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM0ade693002e69cf4f48fe48722d4f7a3
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.06659
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
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 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
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
1.17/1.26	c #variables 670720 #constraints 5752
1609.21/1613.94	c #Conflicts:       1000 | #Constraints:       6751
1609.21/1613.94	c #Conflicts:       2000 | #Constraints:       7751
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:       3000 | #Constraints:       7778
1609.21/1613.94	c #Conflicts:       4000 | #Constraints:       8778
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:       5000 | #Constraints:       8187
1609.21/1613.94	c #Conflicts:       6000 | #Constraints:       9187
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:       7000 | #Constraints:       8202
1609.21/1613.94	c #Conflicts:       8000 | #Constraints:       9202
1609.21/1613.94	c #Conflicts:       9000 | #Constraints:      10202
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      10000 | #Constraints:       8950
1609.21/1613.94	c #Conflicts:      11000 | #Constraints:       9950
1609.21/1613.94	c #Conflicts:      12000 | #Constraints:      10950
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      13000 | #Constraints:       9387
1609.21/1613.94	c #Conflicts:      14000 | #Constraints:      10387
1609.21/1613.94	c #Conflicts:      15000 | #Constraints:      11387
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      16000 | #Constraints:       9610
1609.21/1613.94	c #Conflicts:      17000 | #Constraints:      10610
1609.21/1613.94	c #Conflicts:      18000 | #Constraints:      11610
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      19000 | #Constraints:       9611
1609.21/1613.94	c #Conflicts:      20000 | #Constraints:      10611
1609.21/1613.94	c #Conflicts:      21000 | #Constraints:      11611
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      22000 | #Constraints:       9413
1609.21/1613.94	c #Conflicts:      23000 | #Constraints:      10413
1609.21/1613.94	c #Conflicts:      24000 | #Constraints:      11413
1609.21/1613.94	c #Conflicts:      25000 | #Constraints:      12413
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      26000 | #Constraints:      10020
1609.21/1613.94	c #Conflicts:      27000 | #Constraints:      11020
1609.21/1613.94	c #Conflicts:      28000 | #Constraints:      12020
1609.21/1613.94	c #Conflicts:      29000 | #Constraints:      13020
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      30000 | #Constraints:      10427
1609.21/1613.94	c #Conflicts:      31000 | #Constraints:      11427
1609.21/1613.94	c #Conflicts:      32000 | #Constraints:      12427
1609.21/1613.94	c #Conflicts:      33000 | #Constraints:      13427
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      34000 | #Constraints:      10622
1609.21/1613.94	c #Conflicts:      35000 | #Constraints:      11622
1609.21/1613.94	c #Conflicts:      36000 | #Constraints:      12622
1609.21/1613.94	c #Conflicts:      37000 | #Constraints:      13622
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      38000 | #Constraints:      10638
1609.21/1613.94	c #Conflicts:      39000 | #Constraints:      11638
1609.21/1613.94	c #Conflicts:      40000 | #Constraints:      12638
1609.21/1613.94	c #Conflicts:      41000 | #Constraints:      13638
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      42000 | #Constraints:      10439
1609.21/1613.94	c #Conflicts:      43000 | #Constraints:      11439
1609.21/1613.94	c #Conflicts:      44000 | #Constraints:      12439
1609.21/1613.94	c #Conflicts:      45000 | #Constraints:      13439
1609.21/1613.94	c #Conflicts:      46000 | #Constraints:      14439
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      47000 | #Constraints:      11026
1609.21/1613.94	c #Conflicts:      48000 | #Constraints:      12026
1609.21/1613.94	c #Conflicts:      49000 | #Constraints:      13026
1609.21/1613.94	c #Conflicts:      50000 | #Constraints:      14026
1609.21/1613.94	c #Conflicts:      51000 | #Constraints:      15026
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      52000 | #Constraints:      11423
1609.21/1613.94	c #Conflicts:      53000 | #Constraints:      12423
1609.21/1613.94	c #Conflicts:      54000 | #Constraints:      13423
1609.21/1613.94	c #Conflicts:      55000 | #Constraints:      14423
1609.21/1613.94	c #Conflicts:      56000 | #Constraints:      15423
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      57000 | #Constraints:      11625
1609.21/1613.94	c #Conflicts:      58000 | #Constraints:      12625
1609.21/1613.94	c #Conflicts:      59000 | #Constraints:      13625
1609.21/1613.94	c #Conflicts:      60000 | #Constraints:      14625
1609.21/1613.94	c #Conflicts:      61000 | #Constraints:      15625
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      62000 | #Constraints:      11630
1609.21/1613.94	c #Conflicts:      63000 | #Constraints:      12630
1609.21/1613.94	c #Conflicts:      64000 | #Constraints:      13630
1609.21/1613.94	c #Conflicts:      65000 | #Constraints:      14630
1609.21/1613.94	c #Conflicts:      66000 | #Constraints:      15630
1609.21/1613.94	c INPROCESSING
1609.21/1613.94	c GARBAGE COLLECT
1609.21/1613.94	c #Conflicts:      67000 | #Constraints:      11434
1609.21/1613.94	c #Conflicts:      68000 | #Constraints:      12434
3600.18/3610.46	c #Conflicts:      69000 | #Constraints:      13434
3600.18/3610.46	c #Conflicts:      70000 | #Constraints:      14434
3600.18/3610.46	c #Conflicts:      71000 | #Constraints:      15434
3600.18/3610.46	c #Conflicts:      72000 | #Constraints:      16434
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:      73000 | #Constraints:      12020
3600.18/3610.46	c #Conflicts:      74000 | #Constraints:      13020
3600.18/3610.46	c #Conflicts:      75000 | #Constraints:      14020
3600.18/3610.46	c #Conflicts:      76000 | #Constraints:      15020
3600.18/3610.46	c #Conflicts:      77000 | #Constraints:      16020
3600.18/3610.46	c #Conflicts:      78000 | #Constraints:      17020
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:      79000 | #Constraints:      12419
3600.18/3610.46	c #Conflicts:      80000 | #Constraints:      13419
3600.18/3610.46	c #Conflicts:      81000 | #Constraints:      14419
3600.18/3610.46	c #Conflicts:      82000 | #Constraints:      15419
3600.18/3610.46	c #Conflicts:      83000 | #Constraints:      16419
3600.18/3610.46	c #Conflicts:      84000 | #Constraints:      17419
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:      85000 | #Constraints:      12625
3600.18/3610.46	c #Conflicts:      86000 | #Constraints:      13625
3600.18/3610.46	c #Conflicts:      87000 | #Constraints:      14625
3600.18/3610.46	c #Conflicts:      88000 | #Constraints:      15625
3600.18/3610.46	c #Conflicts:      89000 | #Constraints:      16625
3600.18/3610.46	c #Conflicts:      90000 | #Constraints:      17625
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:      91000 | #Constraints:      12623
3600.18/3610.46	c #Conflicts:      92000 | #Constraints:      13623
3600.18/3610.46	c #Conflicts:      93000 | #Constraints:      14623
3600.18/3610.46	c #Conflicts:      94000 | #Constraints:      15623
3600.18/3610.46	c #Conflicts:      95000 | #Constraints:      16623
3600.18/3610.46	c #Conflicts:      96000 | #Constraints:      17623
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:      97000 | #Constraints:      12433
3600.18/3610.46	c #Conflicts:      98000 | #Constraints:      13433
3600.18/3610.46	c #Conflicts:      99000 | #Constraints:      14433
3600.18/3610.46	c #Conflicts:     100000 | #Constraints:      15433
3600.18/3610.46	c #Conflicts:     101000 | #Constraints:      16434
3600.18/3610.46	c #Conflicts:     102000 | #Constraints:      17434
3600.18/3610.46	c #Conflicts:     103000 | #Constraints:      18434
3600.18/3610.46	c INPROCESSING
3600.18/3610.46	c GARBAGE COLLECT
3600.18/3610.46	c #Conflicts:     104000 | #Constraints:      13019
3600.18/3610.46	c cpu time 3532.75 s
3600.18/3610.46	c deterministic time 146591501362 1.47e+11
3600.18/3610.46	c optimization time 378.971 s
3600.18/3610.46	c total solve time 3152.69 s
3600.18/3610.46	c core-guided solve time 0 s
3600.18/3610.46	c propagation time 1691.69 s
3600.18/3610.46	c conflict analysis time 1289.72 s
3600.18/3610.46	c propagations 254594090
3600.18/3610.46	c resolve steps 508245
3600.18/3610.46	c decisions 70367565
3600.18/3610.46	c conflicts 104226
3600.18/3610.46	c restarts 266
3600.18/3610.46	c inprocessing phases 24
3600.18/3610.46	c garbage collections 24 ,( 100.00 )
3600.18/3610.46	c input clauses 2619 ,( 45.53 )
3600.18/3610.46	c input cardinalities 2619 ,( 45.53 )
3600.18/3610.46	c input general constraints 514 ,( 8.94 )
3600.18/3610.46	c input average constraint length 464.93
3600.18/3610.46	c input average constraint degree 101108.35
3600.18/3610.46	c learned clauses 3760 ,( 3.61 )
3600.18/3610.46	c learned cardinalities 224 ,( 0.21 )
3600.18/3610.46	c learned general constraints 100242 ,( 96.18 )
3600.18/3610.46	c learned average constraint length 25616.85
3600.18/3610.46	c learned average constraint degree 11495142958.21
3600.18/3610.46	c watched  CF 32, 64, 128, Arb: 45072 , 0 , 0 , 0
3600.18/3610.46	c counting CF 32, 64, 128, Arb: 55684 , 0 , 0 , 0
3600.18/3610.46	c watched   constraints 45072 ,( 44.73 ) 
3600.18/3610.46	c counting  constraints 55684 ,( 55.27 ) 
3600.18/3610.46	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1618385 , 962124 , 127435759 ,( 43891020 , 83544739 )
3600.18/3610.46	c gcd simplifications 2167
3600.18/3610.46	c detected cardinalities 5
3600.18/3610.46	c weakened non-implied lits 484218935
3600.18/3610.46	c weakened non-implying lits 154208
3600.18/3610.46	c original variables 670720
3600.18/3610.46	c clausal propagations 372964
3600.18/3610.46	c cardinality propagations 35392344
3600.18/3610.46	c watched propagations 19119589
3600.18/3610.46	c counting propagations 187584044
3600.18/3610.46	c watch lookups 6075242185
3600.18/3610.46	c watch backjump lookups 0
3600.18/3610.46	c watch checks 100325641957
3600.18/3610.46	c propagation checks 33732701955
3600.18/3610.46	c constraint additions 5808339426
3600.18/3610.46	c trail pops 324580470
3600.18/3610.46	c formula constraints 5752
3600.18/3610.46	c learned constraints 104224
3600.18/3610.46	c bound constraints 0
3600.18/3610.46	c core-guided constraints 0
3600.18/3610.46	c encountered formula constraints 388872
3600.18/3610.46	c encountered learned constraints 222510
3600.18/3610.46	c encountered bound constraints 0
3600.18/3610.46	c encountered core-guided constraints 0
3600.18/3610.46	c LP total time 272.607 s
3600.18/3610.46	c LP solve time 271.74 s
3600.18/3610.46	c LP constraints added 5752
3600.18/3610.46	c LP constraints removed 0
3600.18/3610.46	c LP pivots internal 12713
3600.18/3610.46	c LP pivots root 21000
3600.18/3610.46	c LP calls 6
3600.18/3610.46	c LP optimalities 0
3600.18/3610.46	c LP no pivot count 0
3600.18/3610.46	c LP infeasibilities 1
3600.18/3610.46	c LP valid Farkas constraints 1
3600.18/3610.46	c LP learned Farkas constraints 1
3600.18/3610.46	c LP basis resets 0
3600.18/3610.46	c LP cycling count 0
3600.18/3610.46	c LP singular count 0
3600.18/3610.46	c LP no primal count 0
3600.18/3610.46	c LP no farkas count 0
3600.18/3610.46	c LP other issue count 0
3600.18/3610.46	c LP Gomory cuts 0
3600.18/3610.46	c LP learned cuts 0
3600.18/3610.46	c LP deleted cuts 0
3600.18/3610.46	c LP encountered Gomory constraints 0
3600.18/3610.46	c LP encountered Farkas constraints 1088
3600.18/3610.46	c LP encountered learned Farkas constraints 0
3600.18/3610.46	c CG auxiliary variables introduced 0
3600.18/3610.46	c CG solutions found 0
3600.18/3610.46	c CG cores constructed 0
3600.18/3610.46	c CG core cardinality constraints returned 0
3600.18/3610.46	c CG unit cores 0
3600.18/3610.46	c CG single cores 0
3600.18/3610.46	c CG blocks removed during cardinality reduction 0
3600.18/3610.46	c CG first core best 0
3600.18/3610.46	c CG decision core best 0
3600.18/3610.46	c CG core reduction tie 0
3600.18/3610.46	c CG core degree average 0.00
3600.18/3610.46	c CG core slack average 0.00
3600.18/3610.46	c CG core upper bound improvements 0
3600.18/3610.46	c STR number of successful calls 0
3600.18/3610.46	c STR number of unsuccessful calls 0
3600.18/3610.46	c STR number of inconclusive calls 0
3600.18/3610.46	c STR number of successful attempts 0
3600.18/3610.46	c STR number of unsuccessful attempts 0
3600.18/3610.46	c STR number of inconclusive attempts 0
3600.18/3610.46	c STR average degree increase per successful call inf
3600.18/3610.46	c STR average degree increase per successful attempt inf
3600.18/3610.46	c STR total number of conflicts for successful attempts 0
3600.18/3610.46	c STR total number of conflicts for unsuccessful attempts 0
3600.18/3610.46	c STR total number of conflicts for inconclusive attempts 0
3600.18/3610.46	c STR average number of conflicts per successful attempt inf
3600.18/3610.46	c STR average number of conflicts per unsuccessful attempt inf
3600.18/3610.46	c STR average number of conflicts per inconclusive attempt inf
3600.18/3610.46	c AVG.sumWPerc 48.75 
3600.18/3610.46	c bigint constraints 0 
3600.18/3610.46	s UNKNOWN
3600.18/3610.46	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 (34904 MiB free)
  memory of node 1: 64465 MiB (59505 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511805-1751201130/watcher-4511805-1751201130 -o /tmp/evaluation-result-4511805-1751201130/solver-4511805-1751201130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27549 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4511805-1751201130.opb PROOFDIR/proof-4511805-1751201130 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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=30364, runsolver pid=30361
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.07 4.09 4.09 5/272 30366
/proc/meminfo: memFree=96543408/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=189944 memory=145212 CPUtime=0.08 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 8665 0 0 0 5 3 0 0 20 0 1 0 35792453 194502656 36303 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 47486 36303 1984 1147 0 34913 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 194136 KiB
Current children cumulated memory: 148284 KiB

[startup+0.205622 s]*
/proc/loadavg: 4.07 4.09 4.09 5/272 30366
/proc/meminfo: memFree=96533832/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=199300 memory=156584 CPUtime=0.19 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 17105 0 0 0 15 4 0 0 20 0 1 0 35792453 204083200 39146 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 49825 39146 1984 1147 0 37252 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 203492 KiB
Current children cumulated memory: 159656 KiB

[startup+0.305509 s]*
/proc/loadavg: 4.07 4.09 4.09 5/272 30366
/proc/meminfo: memFree=96524416/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=210560 memory=166176 CPUtime=0.28 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 25195 0 0 0 23 5 0 0 20 0 1 0 35792453 215613440 41512 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 52704 41544 1984 1147 0 40131 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 214752 KiB
Current children cumulated memory: 169248 KiB

[startup+0.700155 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 30366
/proc/meminfo: memFree=96495120/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=245696 memory=196600 CPUtime=0.67 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 36249 0 0 0 61 6 0 0 20 0 1 0 35792453 251592704 49150 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 61424 49150 1984 1147 0 48851 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 249888 KiB
Current children cumulated memory: 199672 KiB

[startup+1.50021 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 30366
/proc/meminfo: memFree=96459020/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=538396 memory=494720 CPUtime=1.46 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 75094 0 0 0 127 19 0 0 20 0 1 0 35792453 551317504 123680 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 134599 123680 2272 1147 0 122026 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 542588 KiB
Current children cumulated memory: 497792 KiB

[startup+3.10546 s]
/proc/loadavg: 4.14 4.11 4.10 5/272 30366
/proc/meminfo: memFree=96015508/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=696344 memory=627944 CPUtime=3.07 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 96141 0 0 0 279 28 0 0 20 0 1 0 35792453 713056256 156986 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 174086 156986 2304 1147 0 161513 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 700536 KiB
Current children cumulated memory: 631016 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.11 4.10 5/272 30366
/proc/meminfo: memFree=95901688/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=768428 memory=688016 CPUtime=6.26 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 99952 0 0 0 552 74 0 0 20 0 1 0 35792453 786870272 172004 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 192107 172004 2336 1147 0 179534 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 772620 KiB
Current children cumulated memory: 691088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.10 5/272 30366
/proc/meminfo: memFree=95644268/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=799248 memory=732784 CPUtime=12.64 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 100987 0 0 0 1120 144 0 0 20 0 1 0 35792453 818429952 183196 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 199812 183196 2368 1147 0 187239 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 803440 KiB
Current children cumulated memory: 735856 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 30366
/proc/meminfo: memFree=95170532/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=946380 memory=821404 CPUtime=25.41 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 107306 0 0 0 2371 170 0 0 20 0 1 0 35792453 969093120 205351 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 236595 205351 2368 1147 0 224022 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 950572 KiB
Current children cumulated memory: 824476 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 4.10 5/272 30367
/proc/meminfo: memFree=94402756/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=1115656 memory=989132 CPUtime=50.95 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 116557 0 0 0 4912 183 0 0 20 0 1 0 35792453 1142431744 247283 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 278914 247283 2368 1147 0 266341 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1119848 KiB
Current children cumulated memory: 992204 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 30368
/proc/meminfo: memFree=92977872/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=1434616 memory=1260588 CPUtime=102.02 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 143072 0 0 0 9828 374 0 0 20 0 1 0 35792453 1469046784 315147 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 358654 315147 2368 1147 0 346081 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1438808 KiB
Current children cumulated memory: 1263660 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/270 30371
/proc/meminfo: memFree=91659668/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=1802780 memory=1599836 CPUtime=161.89 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 148821 0 0 0 15796 393 0 0 20 0 1 0 35792453 1846046720 399959 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 450695 399959 2368 1147 0 438122 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1806972 KiB
Current children cumulated memory: 1602908 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/273 30376
/proc/meminfo: memFree=90303768/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=2386944 memory=1978892 CPUtime=221.74 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 153695 0 0 0 21761 413 0 0 20 0 1 0 35792453 2444230656 494723 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0

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

Current children cumulated vsize: 23887676 KiB
Current children cumulated memory: 19946284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/275 30786
/proc/meminfo: memFree=33763748/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=23884400 memory=19944108 CPUtime=3272.87 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3115895 0 0 0 320877 6410 0 0 20 0 1 0 35792453 24457625600 4986027 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 5971100 4986027 2368 1147 0 5958527 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 23888592 KiB
Current children cumulated memory: 19947180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/275 30788
/proc/meminfo: memFree=32306196/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=23884400 memory=19944108 CPUtime=3332.72 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3116680 0 0 0 326843 6429 0 0 20 0 1 0 35792453 24457625600 4986027 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 5971100 4986027 2368 1147 0 5958527 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 23888592 KiB
Current children cumulated memory: 19947180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/276 30792
/proc/meminfo: memFree=27826596/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=23998864 memory=20058624 CPUtime=3392.58 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3144611 0 0 0 332800 6458 0 0 20 0 1 0 35792453 24574836736 5014656 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 5999716 5014656 2368 1147 0 5987143 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 24003056 KiB
Current children cumulated memory: 20061696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/277 30797
/proc/meminfo: memFree=24810592/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=24425060 memory=20452612 CPUtime=3452.44 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3299429 0 0 0 338702 6542 0 0 20 0 1 0 35792453 25011261440 5113153 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 6106265 5113153 2368 1147 0 6093692 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 24429252 KiB
Current children cumulated memory: 20455684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/276 30802
/proc/meminfo: memFree=22686216/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=24518200 memory=20700036 CPUtime=3512.29 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3447726 0 0 0 344625 6604 0 0 20 0 1 0 35792453 25106636800 5175009 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 6129550 5175009 2368 1147 0 6116977 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 24522392 KiB
Current children cumulated memory: 20703108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/276 30804
/proc/meminfo: memFree=20424892/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=24781460 memory=20950296 CPUtime=3572.14 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3587070 0 0 0 350541 6673 0 0 20 0 1 0 35792453 25376215040 5237574 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 6195365 5237574 2368 1147 0 6182792 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 24785652 KiB
Current children cumulated memory: 20953368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/275 30806
/proc/meminfo: memFree=18394176/131250000 swapFree=33010684/33010684
[pid=30364] ppid=30361 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/30364/stat : 30364 (run-dec-log.sh) S 30361 30364 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35792452 4292608 768 18446744073709551615 94428591177728 94428592072261 140724340036544 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94428592311312 94428592359056 94428621881344 140724340042017 140724340042212 140724340042212 140724340047814 0
/proc/30364/statm: 1048 768 704 219 0 110 0
[pid=30366] ppid=30364 vsize=26305916 memory=21981136 CPUtime=3600.07 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30364 30364 27537 0 -1 4194304 3871641 0 0 0 353264 6743 0 0 20 0 1 0 35792453 26937257984 5495284 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 6576479 5495284 2368 1147 0 6563906 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 26310108 KiB
Current children cumulated memory: 21984208 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000695 s, system=0.001393 s

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

# cumulated CPU time of all completed processes:  user=3533.08 s, system=68.1411 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+3610.4 s]*
/proc/loadavg: 4.06 4.09 4.09 5/274 30806
/proc/meminfo: memFree=18225192/131250000 swapFree=33010684/33010684
[pid=30366] ppid=30361 vsize=26490968 memory=22097488 CPUtime=3600.18 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30361 30364 27537 0 -1 4194304 3900699 0 0 0 353270 6748 0 0 20 0 1 0 35792453 27126751232 5524340 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 6622742 5524372 2368 1147 0 6610169 0
Current cumulated CPU time of completed processes: 0.002088 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 26490968 KiB
Current children cumulated memory: 22097488 KiB

[startup+3611.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 30806
/proc/meminfo: memFree=20990192/131250000 swapFree=33010684/33010684
[pid=30366] ppid=30361 vsize=8925420 memory=8252004 CPUtime=3600.9 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30361 30364 27537 0 -1 4194304 3915283 0 0 0 353307 6783 0 0 20 0 1 0 35792453 9139630080 2063513 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 2231355 2063001 2464 1147 0 2218782 0
Current cumulated CPU time of completed processes: 0.002088 s
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 8925420 KiB
Current children cumulated memory: 8252004 KiB

[startup+3611.4 s]
/proc/loadavg: 4.06 4.09 4.09 5/274 30806
/proc/meminfo: memFree=20990192/131250000 swapFree=33010684/33010684
[pid=30366] ppid=30361 vsize=8925420 memory=3931468 CPUtime=3601.1 cores=1,3
/proc/30366/stat : 30366 (roundingsat) R 30361 30364 27537 0 -1 4194304 3915283 0 0 0 353307 6803 0 0 20 0 1 0 35792453 9139630080 982867 18446744073709551615 4227072 8923433 140726659947664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28200960 140726659950951 140726659951144 140726659951144 140726659956714 0
/proc/30366/statm: 2231355 982867 2464 1147 0 2218782 0
Current cumulated CPU time of completed processes: 0.002088 s
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 8925420 KiB
Current children cumulated memory: 3931468 KiB

[startup+3611.5 s]*
/proc/loadavg: 4.06 4.09 4.09 5/274 30806
/proc/meminfo: memFree=39443788/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.002088 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.51
CPU time (s): 3601.22
CPU user time (s): 3533.08
CPU system time (s): 68.1411
CPU usage (%): 99.7151
Max. virtual memory (cumulated for all children) (KiB): 26583588
Max. memory (cumulated for all children) (KiB): 22155728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3533.08
system time used= 68.1411
maximum resident set size= 22155728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3915505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41963616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1232
involuntary context switches= 5505


# summary of solver processes directly reported to runsolver:
#   pid: 30364,30366
#   total CPU time (s): 3601.22
#   total CPU user time (s): 3533.08
#   total CPU system time (s): 68.1411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54854 second user time and 16.2055 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 14:45:30
IDJOB=4511805
IDBENCH=160484
IDSOLVER=3352
FILE ID=nodeC033/4511805-1751201130
RUNJOBID= nodeC033-1751193766-27549
SLURM_JOB_ID= 9587591
Free space on /tmp= 432980 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511805-1751201130/watcher-4511805-1751201130 -o /tmp/evaluation-result-4511805-1751201130/solver-4511805-1751201130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27549 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4511805-1751201130.opb PROOFDIR/proof-4511805-1751201130

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

MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=304933951

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        96676108 kB
MemAvailable:   110587672 kB
Buffers:            3280 kB
Cached:         14705500 kB
SwapCached:            0 kB
Active:         19498868 kB
Inactive:       14447352 kB
Active(anon):   19255648 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file): 14447352 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             98592 kB
Writeback:             0 kB
AnonPages:      19239452 kB
Mapped:           113656 kB
Shmem:             18120 kB
KReclaimable:     120464 kB
Slab:             209228 kB
SReclaimable:     120464 kB
SUnreclaim:        88764 kB
KernelStack:        4384 kB
PageTables:        44572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   23422192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1372160 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432624 MiB
End job on nodeC033 at 2025-06-29 15:45:42