Trace number 4512020

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 63f22ad? (TO) 3601.75 3610.56

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
MD5SUM8e74907d75b3430f44949ac6e798f9f2
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 benchmark13.8301
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2766336
Total number of constraints11830
Number of constraints which are clauses5402
Number of constraints which are cardinality constraints (but not clauses)5402
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5402
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 1983745
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4451165
Number of bits of the biggest sum of numbers23
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
5.16/5.23	c #variables 2766336 #constraints 11830
2757.94/2764.81	c #Conflicts:       1000 | #Constraints:      12829
2757.94/2764.81	c #Conflicts:       2000 | #Constraints:      13829
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:       3000 | #Constraints:      13859
2757.94/2764.81	c #Conflicts:       4000 | #Constraints:      14859
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:       5000 | #Constraints:      14277
2757.94/2764.81	c #Conflicts:       6000 | #Constraints:      15277
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:       7000 | #Constraints:      14272
2757.94/2764.81	c #Conflicts:       8000 | #Constraints:      15272
2757.94/2764.81	c #Conflicts:       9000 | #Constraints:      16272
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      10000 | #Constraints:      14981
2757.94/2764.81	c #Conflicts:      11000 | #Constraints:      15981
2757.94/2764.81	c #Conflicts:      12000 | #Constraints:      16981
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      13000 | #Constraints:      15438
2757.94/2764.81	c #Conflicts:      14000 | #Constraints:      16438
2757.94/2764.81	c #Conflicts:      15000 | #Constraints:      17438
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      16000 | #Constraints:      15689
2757.94/2764.81	c #Conflicts:      17000 | #Constraints:      16689
2757.94/2764.81	c #Conflicts:      18000 | #Constraints:      17689
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      19000 | #Constraints:      15701
2757.94/2764.81	c #Conflicts:      20000 | #Constraints:      16701
2757.94/2764.81	c #Conflicts:      21000 | #Constraints:      17701
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      22000 | #Constraints:      15505
2757.94/2764.81	c #Conflicts:      23000 | #Constraints:      16505
2757.94/2764.81	c #Conflicts:      24000 | #Constraints:      17505
2757.94/2764.81	c #Conflicts:      25000 | #Constraints:      18505
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      26000 | #Constraints:      16125
2757.94/2764.81	c #Conflicts:      27000 | #Constraints:      17125
2757.94/2764.81	c #Conflicts:      28000 | #Constraints:      18125
2757.94/2764.81	c #Conflicts:      29000 | #Constraints:      19125
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      30000 | #Constraints:      16529
2757.94/2764.81	c #Conflicts:      31000 | #Constraints:      17529
2757.94/2764.81	c #Conflicts:      32000 | #Constraints:      18529
2757.94/2764.81	c #Conflicts:      33000 | #Constraints:      19529
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      34000 | #Constraints:      16741
2757.94/2764.81	c #Conflicts:      35000 | #Constraints:      17741
2757.94/2764.81	c #Conflicts:      36000 | #Constraints:      18741
2757.94/2764.81	c #Conflicts:      37000 | #Constraints:      19741
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      38000 | #Constraints:      16749
2757.94/2764.81	c #Conflicts:      39000 | #Constraints:      17749
2757.94/2764.81	c #Conflicts:      40000 | #Constraints:      18749
2757.94/2764.81	c #Conflicts:      41000 | #Constraints:      19749
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      42000 | #Constraints:      16560
2757.94/2764.81	c #Conflicts:      43000 | #Constraints:      17560
2757.94/2764.81	c #Conflicts:      44000 | #Constraints:      18560
2757.94/2764.81	c #Conflicts:      45000 | #Constraints:      19560
2757.94/2764.81	c #Conflicts:      46000 | #Constraints:      20560
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      47000 | #Constraints:      17160
2757.94/2764.81	c #Conflicts:      48000 | #Constraints:      18160
2757.94/2764.81	c #Conflicts:      49000 | #Constraints:      19160
2757.94/2764.81	c #Conflicts:      50000 | #Constraints:      20160
2757.94/2764.81	c #Conflicts:      51000 | #Constraints:      21160
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      52000 | #Constraints:      17557
2757.94/2764.81	c #Conflicts:      53000 | #Constraints:      18557
2757.94/2764.81	c #Conflicts:      54000 | #Constraints:      19557
2757.94/2764.81	c #Conflicts:      55000 | #Constraints:      20557
2757.94/2764.81	c #Conflicts:      56000 | #Constraints:      21557
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      57000 | #Constraints:      17755
2757.94/2764.81	c #Conflicts:      58000 | #Constraints:      18755
2757.94/2764.81	c #Conflicts:      59000 | #Constraints:      19755
2757.94/2764.81	c #Conflicts:      60000 | #Constraints:      20755
2757.94/2764.81	c #Conflicts:      61000 | #Constraints:      21755
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      62000 | #Constraints:      17759
2757.94/2764.81	c #Conflicts:      63000 | #Constraints:      18759
2757.94/2764.81	c #Conflicts:      64000 | #Constraints:      19759
2757.94/2764.81	c #Conflicts:      65000 | #Constraints:      20759
2757.94/2764.81	c #Conflicts:      66000 | #Constraints:      21759
2757.94/2764.81	c INPROCESSING
2757.94/2764.81	c GARBAGE COLLECT
2757.94/2764.81	c #Conflicts:      67000 | #Constraints:      17547
2757.94/2764.81	c #Conflicts:      68000 | #Constraints:      18547
3600.08/3608.97	c #Conflicts:      69000 | #Constraints:      19547
3600.08/3608.97	c #Conflicts:      70000 | #Constraints:      20547
3600.08/3608.97	c #Conflicts:      71000 | #Constraints:      21547
3600.08/3608.97	c #Conflicts:      72000 | #Constraints:      22547
3600.08/3608.97	c INPROCESSING
3600.08/3608.97	c GARBAGE COLLECT
3600.08/3608.97	c #Conflicts:      73000 | #Constraints:      18151
3600.08/3608.97	c #Conflicts:      74000 | #Constraints:      19151
3600.08/3608.97	c #Conflicts:      75000 | #Constraints:      20151
3600.08/3608.97	c #Conflicts:      76000 | #Constraints:      21151
3600.08/3608.97	c #Conflicts:      77000 | #Constraints:      22151
3600.08/3608.97	c #Conflicts:      78000 | #Constraints:      23151
3600.08/3608.97	c INPROCESSING
3600.08/3608.97	c GARBAGE COLLECT
3600.08/3608.97	c #Conflicts:      79000 | #Constraints:      18555
3600.08/3608.97	c #Conflicts:      80000 | #Constraints:      19555
3600.08/3608.97	c #Conflicts:      81000 | #Constraints:      20555
3600.08/3608.97	c #Conflicts:      82000 | #Constraints:      21555
3600.08/3608.97	c #Conflicts:      83000 | #Constraints:      22555
3600.08/3608.97	c #Conflicts:      84000 | #Constraints:      23555
3600.08/3608.97	c INPROCESSING
3600.08/3608.97	c GARBAGE COLLECT
3600.08/3608.97	c #Conflicts:      85000 | #Constraints:      18758
3600.08/3608.97	c #Conflicts:      86000 | #Constraints:      19758
3600.08/3608.97	c #Conflicts:      87000 | #Constraints:      20758
3600.08/3608.97	c #Conflicts:      88000 | #Constraints:      21758
3600.08/3608.97	c #Conflicts:      89000 | #Constraints:      22758
3600.08/3608.97	c #Conflicts:      90000 | #Constraints:      23758
3600.08/3608.97	c INPROCESSING
3600.08/3608.97	c GARBAGE COLLECT
3600.08/3608.97	c #Conflicts:      91000 | #Constraints:      18747
3600.08/3608.97	c #Conflicts:      92000 | #Constraints:      19747
3600.08/3608.97	c #Conflicts:      93000 | #Constraints:      20747
3600.08/3608.97	c #Conflicts:      94000 | #Constraints:      21747
3600.08/3608.97	c #Conflicts:      95000 | #Constraints:      22747
3600.08/3608.97	c #Conflicts:      96000 | #Constraints:      23747
3600.08/3608.97	c INPROCESSING
3600.08/3608.97	c GARBAGE COLLECT
3600.08/3608.97	c #Conflicts:      97000 | #Constraints:      18554
3600.08/3608.97	c #Conflicts:      98000 | #Constraints:      19554
3600.08/3608.97	c #Conflicts:      99000 | #Constraints:      20554
3600.08/3608.97	c #Conflicts:     100000 | #Constraints:      21554
3600.08/3608.97	c cpu time 3431.62 s
3600.08/3608.97	c deterministic time 135090728890 1.35e+11
3600.08/3608.97	c optimization time 79.1386 s
3600.08/3608.97	c total solve time 3347.95 s
3600.08/3608.97	c core-guided solve time 0 s
3600.08/3608.97	c propagation time 1262.16 s
3600.08/3608.97	c conflict analysis time 656.333 s
3600.08/3608.97	c propagations 516491906
3600.08/3608.97	c resolve steps 507660
3600.08/3608.97	c decisions 245716447
3600.08/3608.97	c conflicts 100108
3600.08/3608.97	c restarts 254
3600.08/3608.97	c inprocessing phases 23
3600.08/3608.97	c garbage collections 23 ,( 100.00 )
3600.08/3608.97	c input clauses 5402 ,( 45.66 )
3600.08/3608.97	c input cardinalities 5402 ,( 45.66 )
3600.08/3608.97	c input general constraints 1026 ,( 8.67 )
3600.08/3608.97	c input average constraint length 933.72
3600.08/3608.97	c input average constraint degree 204166.86
3600.08/3608.97	c learned clauses 3230 ,( 3.23 )
3600.08/3608.97	c learned cardinalities 187 ,( 0.19 )
3600.08/3608.97	c learned general constraints 96691 ,( 96.59 )
3600.08/3608.97	c learned average constraint length 16055.22
3600.08/3608.97	c learned average constraint degree 72701751.73
3600.08/3608.97	c watched  CF 32, 64, 128, Arb: 45854 , 0 , 0 , 0
3600.08/3608.97	c counting CF 32, 64, 128, Arb: 51863 , 0 , 0 , 0
3600.08/3608.97	c watched   constraints 45854 ,( 46.93 ) 
3600.08/3608.97	c counting  constraints 51863 ,( 53.07 ) 
3600.08/3608.97	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2408226 , 953143 , 123667675 ,( 44308966 , 79358709 )
3600.08/3608.97	c gcd simplifications 2211
3600.08/3608.97	c detected cardinalities 6
3600.08/3608.97	c weakened non-implied lits 540209230
3600.08/3608.97	c weakened non-implying lits 35364
3600.08/3608.97	c original variables 2766336
3600.08/3608.97	c clausal propagations 433982
3600.08/3608.97	c cardinality propagations 110607453
3600.08/3608.97	c watched propagations 8922250
3600.08/3608.97	c counting propagations 381338612
3600.08/3608.97	c watch lookups 3690561030
3600.08/3608.97	c watch backjump lookups 0
3600.08/3608.97	c watch checks 93663055977
3600.08/3608.97	c propagation checks 31684021582
3600.08/3608.97	c constraint additions 4531221915
3600.08/3608.97	c trail pops 759627310
3600.08/3608.97	c formula constraints 11830
3600.08/3608.97	c learned constraints 100106
3600.08/3608.97	c bound constraints 0
3600.08/3608.97	c core-guided constraints 0
3600.08/3608.97	c encountered formula constraints 388268
3600.08/3608.97	c encountered learned constraints 219401
3600.08/3608.97	c encountered bound constraints 0
3600.08/3608.97	c encountered core-guided constraints 0
3600.08/3608.97	c LP total time 1371.97 s
3600.08/3608.97	c LP solve time 1369.23 s
3600.08/3608.97	c LP constraints added 11830
3600.08/3608.97	c LP constraints removed 0
3600.08/3608.97	c LP pivots internal 11722
3600.08/3608.97	c LP pivots root 21000
3600.08/3608.97	c LP calls 6
3600.08/3608.97	c LP optimalities 0
3600.08/3608.97	c LP no pivot count 0
3600.08/3608.97	c LP infeasibilities 1
3600.08/3608.97	c LP valid Farkas constraints 1
3600.08/3608.97	c LP learned Farkas constraints 1
3600.08/3608.97	c LP basis resets 0
3600.08/3608.97	c LP cycling count 0
3600.08/3608.97	c LP singular count 0
3600.08/3608.97	c LP no primal count 0
3600.08/3608.97	c LP no farkas count 0
3600.08/3608.97	c LP other issue count 0
3600.08/3608.97	c LP Gomory cuts 0
3600.08/3608.97	c LP learned cuts 0
3600.08/3608.97	c LP deleted cuts 0
3600.08/3608.97	c LP encountered Gomory constraints 0
3600.08/3608.97	c LP encountered Farkas constraints 98
3600.08/3608.97	c LP encountered learned Farkas constraints 0
3600.08/3608.97	c CG auxiliary variables introduced 0
3600.08/3608.97	c CG solutions found 0
3600.08/3608.97	c CG cores constructed 0
3600.08/3608.97	c CG core cardinality constraints returned 0
3600.08/3608.97	c CG unit cores 0
3600.08/3608.97	c CG single cores 0
3600.08/3608.97	c CG blocks removed during cardinality reduction 0
3600.08/3608.97	c CG first core best 0
3600.08/3608.97	c CG decision core best 0
3600.08/3608.97	c CG core reduction tie 0
3600.08/3608.97	c CG core degree average 0.00
3600.08/3608.97	c CG core slack average 0.00
3600.08/3608.97	c CG core upper bound improvements 0
3600.08/3608.97	c STR number of successful calls 0
3600.08/3608.97	c STR number of unsuccessful calls 0
3600.08/3608.97	c STR number of inconclusive calls 0
3600.08/3608.97	c STR number of successful attempts 0
3600.08/3608.97	c STR number of unsuccessful attempts 0
3600.08/3608.97	c STR number of inconclusive attempts 0
3600.08/3608.97	c STR average degree increase per successful call inf
3600.08/3608.97	c STR average degree increase per successful attempt inf
3600.08/3608.97	c STR total number of conflicts for successful attempts 0
3600.08/3608.97	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3608.97	c STR total number of conflicts for inconclusive attempts 0
3600.08/3608.97	c STR average number of conflicts per successful attempt inf
3600.08/3608.97	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3608.97	c STR average number of conflicts per inconclusive attempt inf
3600.08/3608.97	c AVG.sumWPerc 46.36 
3600.08/3608.97	c bigint constraints 0 
3600.08/3608.97	s UNKNOWN
3600.08/3608.97	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: 63837 MiB (53865 MiB free)
  memory of node 1: 64465 MiB (26281 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512020-1751205877/watcher-4512020-1751205877 -o /tmp/evaluation-result-4512020-1751205877/solver-4512020-1751205877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21225 --watchdog 3760 run-dec.sh HOME/instance-4512020-1751205877.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=24324, runsolver pid=24321

[startup+0.100106 s]*
/proc/loadavg: 4.09 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81857096/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=306280 memory=253560 CPUtime=0.09 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 2440 0 0 0 4 5 0 0 20 0 1 0 36266645 313630720 63390 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 76570 63390 1856 1147 0 63997 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 310472 KiB
Current children cumulated memory: 256632 KiB

[startup+0.214071 s]*
/proc/loadavg: 4.09 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81595712/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=577476 memory=521040 CPUtime=0.2 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 5918 0 0 0 10 10 0 0 20 0 1 0 36266645 591335424 130260 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 144369 130260 1888 1147 0 131796 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 581668 KiB
Current children cumulated memory: 524112 KiB

[startup+0.313958 s]*
/proc/loadavg: 4.09 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81541208/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=587864 memory=542684 CPUtime=0.3 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 9628 0 0 0 20 10 0 0 20 0 1 0 36266645 601972736 135671 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 146966 135671 1888 1147 0 134393 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 592056 KiB
Current children cumulated memory: 545756 KiB

[startup+0.700411 s]
/proc/loadavg: 4.09 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81521488/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=629160 memory=585452 CPUtime=0.67 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 18775 0 0 0 55 12 0 0 20 0 1 0 36266645 644259840 146363 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 157290 146363 1920 1147 0 144717 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 633352 KiB
Current children cumulated memory: 588524 KiB

[startup+1.50048 s]
/proc/loadavg: 4.09 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81455840/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=732008 memory=687336 CPUtime=1.47 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 41317 0 0 0 129 18 0 0 20 0 1 0 36266645 749576192 171834 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 183002 171834 1920 1147 0 170429 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 736200 KiB
Current children cumulated memory: 690408 KiB

[startup+3.11349 s]
/proc/loadavg: 4.08 4.21 4.18 5/255 24326
/proc/meminfo: memFree=81282520/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=840224 memory=770516 CPUtime=3.08 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 112293 0 0 0 278 30 0 0 20 0 1 0 36266645 860389376 192629 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 210056 192629 1920 1147 0 197483 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 844416 KiB
Current children cumulated memory: 773588 KiB

[startup+6.30043 s]
/proc/loadavg: 4.08 4.21 4.18 5/255 24326
/proc/meminfo: memFree=80117256/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=1952528 memory=1894856 CPUtime=6.26 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 220841 0 0 0 541 85 0 0 20 0 1 0 36266645 1999388672 473714 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 488132 473714 2240 1147 0 475559 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1956720 KiB
Current children cumulated memory: 1897928 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 4.20 4.17 5/255 24326
/proc/meminfo: memFree=79326852/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=2651896 memory=2491228 CPUtime=12.64 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 248923 0 0 0 1034 230 0 0 20 0 1 0 36266645 2715541504 622807 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 662974 622807 2272 1147 0 650401 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2656088 KiB
Current children cumulated memory: 2494300 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.19 4.17 5/255 24326
/proc/meminfo: memFree=78985596/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=2939136 memory=2739868 CPUtime=25.41 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 252887 0 0 0 2238 303 0 0 20 0 1 0 36266645 3009675264 684967 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 734784 684967 2304 1147 0 722211 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2943328 KiB
Current children cumulated memory: 2742940 KiB

[startup+51.1134 s]
/proc/loadavg: 4.18 4.21 4.18 5/254 24327
/proc/meminfo: memFree=78688696/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=3071396 memory=2862564 CPUtime=50.94 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 253581 0 0 0 4598 496 0 0 20 0 1 0 36266645 3145109504 715641 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 767849 715641 2304 1147 0 755276 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3075588 KiB
Current children cumulated memory: 2865636 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/253 24329
/proc/meminfo: memFree=77336024/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=3635568 memory=3239224 CPUtime=101.98 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 255558 0 0 0 9632 566 0 0 20 0 1 0 36266645 3722821632 809806 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 908892 809806 2336 1147 0 896319 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3639760 KiB
Current children cumulated memory: 3242296 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/253 24331
/proc/meminfo: memFree=75729084/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=4297612 memory=3928892 CPUtime=161.8 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 421135 0 0 0 15161 1019 0 0 20 0 1 0 36266645 4400754688 982223 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 1074403 982223 2336 1147 0 1061830 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 4301804 KiB
Current children cumulated memory: 3931964 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/253 24333
/proc/meminfo: memFree=73204188/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=5071580 memory=4673980 CPUtime=221.62 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 607755 0 0 0 20827 1335 0 0 20 0 1 0 36266645 5193297920 1168495 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 1267895 1168495 2336 1147 0 1255322 0
Current children cumulated CPU time: 221.62 s

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

/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3694436 0 0 0 304915 16524 0 0 20 0 1 0 36266645 18747285504 4280671 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4576974 4280671 2336 1147 0 4564401 0
Current children cumulated CPU time: 3214.39 s
Current children cumulated vsize: 18312088 KiB
Current children cumulated memory: 17125756 KiB

[startup+3282.3 s]
/proc/loadavg: 1.10 1.13 1.50 2/232 24575
/proc/meminfo: memFree=111725472/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=18801096 memory=17837676 CPUtime=3274.23 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3805023 0 0 0 310742 16681 0 0 20 0 1 0 36266645 19252322304 4459419 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4700274 4459419 2336 1147 0 4687701 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 18805288 KiB
Current children cumulated memory: 17840748 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.12 1.47 2/232 24577
/proc/meminfo: memFree=111726936/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=18801096 memory=17837804 CPUtime=3334.1 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3805428 0 0 0 316699 16711 0 0 20 0 1 0 36266645 19252322304 4459451 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4700274 4459451 2336 1147 0 4687701 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 18805288 KiB
Current children cumulated memory: 17840876 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.11 1.44 2/233 24593
/proc/meminfo: memFree=111588036/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=18961424 memory=17978860 CPUtime=3393.97 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3840968 0 0 0 322677 16720 0 0 20 0 1 0 36266645 19416498176 4494715 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4740356 4494715 2336 1147 0 4727783 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 18965616 KiB
Current children cumulated memory: 17981932 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.12 1.42 2/233 24595
/proc/meminfo: memFree=111276840/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=19341340 memory=18296940 CPUtime=3453.83 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3920893 0 0 0 328647 16736 0 0 20 0 1 0 36266645 19805532160 4574235 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4835335 4574235 2336 1147 0 4822762 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 19345532 KiB
Current children cumulated memory: 18300012 KiB

[startup+3522.3 s]
/proc/loadavg: 1.04 1.09 1.39 2/233 24597
/proc/meminfo: memFree=111109276/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=19458840 memory=18458092 CPUtime=3513.69 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 3961575 0 0 0 334621 16748 0 0 20 0 1 0 36266645 19925852160 4614523 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4864710 4614523 2336 1147 0 4852137 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 19463032 KiB
Current children cumulated memory: 18461164 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.10 1.38 2/233 24599
/proc/meminfo: memFree=110692448/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=19904924 memory=18876152 CPUtime=3573.54 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 4063433 0 0 0 340501 16853 0 0 20 0 1 0 36266645 20382642176 4719038 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4976231 4719038 2336 1147 0 4963658 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 19909116 KiB
Current children cumulated memory: 18879224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 1.08 1.09 1.36 2/233 24601
/proc/meminfo: memFree=110692700/131382120 swapFree=33010684/33010684
[pid=24324] ppid=24321 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/24324/stat : 24324 (run-dec.sh) S 24321 24324 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 36266644 4292608 768 18446744073709551615 93975239835648 93975240730181 140727539558384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93975240969232 93975241016976 93975258214400 140727539562861 140727539562984 140727539562984 140727539568586 0
/proc/24324/statm: 1048 768 704 219 0 110 0
[pid=24326] ppid=24324 vsize=19904924 memory=18876152 CPUtime=3600.08 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24324 24324 21214 0 -1 4194304 4063589 0 0 0 343155 16853 0 0 20 0 1 0 36266645 20382642176 4719038 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4976231 4719038 2336 1147 0 4963658 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19909116 KiB
Current children cumulated memory: 18879224 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001283 s, system=0.003841 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3432.68 s, system=169.073 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.6 s]
/proc/loadavg: 1.08 1.09 1.36 2/232 24601
/proc/meminfo: memFree=111643912/131382120 swapFree=33010684/33010684
[pid=24326] ppid=24321 vsize=18932608 memory=17911152 CPUtime=3600.77 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24321 24324 21214 0 -1 4194304 4063623 0 0 0 343224 16853 0 0 20 0 1 0 36266645 19386990592 4477788 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4733152 4477788 2432 1147 0 4720579 0
Current cumulated CPU time of completed processes: 0.005124 s
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 18932608 KiB
Current children cumulated memory: 17911152 KiB

[startup+3610 s]*
/proc/loadavg: 1.08 1.09 1.36 2/232 24601
/proc/meminfo: memFree=111643988/131382120 swapFree=33010684/33010684
[pid=24326] ppid=24321 vsize=18932608 memory=17911152 CPUtime=3601.18 cores=4,6
/proc/24326/stat : 24326 (roundingsat) R 24321 24324 21214 0 -1 4194304 4063631 0 0 0 343265 16853 0 0 20 0 1 0 36266645 19386990592 4477788 18446744073709551615 4227072 8923433 140723414052224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 24064000 140723414059447 140723414059560 140723414059560 140723414065130 0
/proc/24326/statm: 4733152 4477788 2432 1147 0 4720579 0
Current cumulated CPU time of completed processes: 0.005124 s
Current children cumulated CPU time: 3601.18 s
Current children cumulated vsize: 18932608 KiB
Current children cumulated memory: 17911152 KiB

[startup+3610.41 s]
/proc/loadavg: 1.08 1.09 1.36 2/232 24601
/proc/meminfo: memFree=122265056/131382120 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.005124 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.5 s]
/proc/loadavg: 1.08 1.09 1.36 2/232 24601
/proc/meminfo: memFree=122265056/131382120 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.005124 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): 3610.56
CPU time (s): 3601.75
CPU user time (s): 3432.68
CPU system time (s): 169.073
CPU usage (%): 99.7559
Max. virtual memory (cumulated for all children) (KiB): 19909116
Max. memory (cumulated for all children) (KiB): 18879224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3432.68
system time used= 169.073
maximum resident set size= 18876536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4063949
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= 216
involuntary context switches= 4214


# summary of solver processes directly reported to runsolver:
#   pid: 24324,24326
#   total CPU time (s): 3601.75
#   total CPU user time (s): 3432.68
#   total CPU system time (s): 169.073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8083 second user time and 38.4879 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 16:04:40
IDJOB=4512020
IDBENCH=160490
IDSOLVER=3349
FILE ID=nodeC003/4512020-1751205877
RUNJOBID= nodeC003-1751196106-21225
SLURM_JOB_ID= 9587607
Free space on /tmp= 432504 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512020-1751205877/watcher-4512020-1751205877 -o /tmp/evaluation-result-4512020-1751205877/solver-4512020-1751205877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21225 --watchdog 3760  run-dec.sh HOME/instance-4512020-1751205877.opb

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

MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=1026010470

nodeC003 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	: 0xb00001f
cpu MHz		: 3491.762
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3657.888
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.368
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3491.718
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3491.798
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.688
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.148
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        82070500 kB
MemAvailable:   82443492 kB
Buffers:            3280 kB
Cached:          1182960 kB
SwapCached:            0 kB
Active:         47690088 kB
Inactive:         969144 kB
Active(anon):   47490952 kB
Inactive(anon):        0 kB
Active(file):     199136 kB
Inactive(file):   969144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            134512 kB
Writeback:             0 kB
AnonPages:      47474196 kB
Mapped:           115720 kB
Shmem:             17960 kB
KReclaimable:      88680 kB
Slab:             169808 kB
SReclaimable:      88680 kB
SUnreclaim:        81128 kB
KernelStack:        4128 kB
PageTables:       103376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   55263460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5959680 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432616 MiB
End job on nodeC003 at 2025-06-29 17:04:50