Trace number 4542269

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 63f22adUNSAT cert. 453.341 454.433

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
MD5SUM8324c3ed1748cac240c60f4c3727f95f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark268.679
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables837976
Total number of constraints52507
Number of constraints which are clauses26605
Number of constraints which are cardinality constraints (but not clauses)23201
Number of constraints which are nor clauses,nor cardinality constraints2701
Minimum length of a constraint34
Maximum length of a constraint39
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.88/0.99	c #variables 837976 #constraints 52507
266.69/267.42	c #Conflicts:       1000 | #Constraints:      53506
266.69/267.42	c #Conflicts:       2000 | #Constraints:      54506
266.69/267.42	c INPROCESSING
266.69/267.42	c #Conflicts:       3000 | #Constraints:      54521
266.69/267.42	c #Conflicts:       4000 | #Constraints:      55521
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:       5000 | #Constraints:      54926
266.69/267.42	c #Conflicts:       6000 | #Constraints:      55926
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:       7000 | #Constraints:      54921
266.69/267.42	c #Conflicts:       8000 | #Constraints:      55921
266.69/267.42	c #Conflicts:       9000 | #Constraints:      56921
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      10000 | #Constraints:      55628
266.69/267.42	c #Conflicts:      11000 | #Constraints:      56628
266.69/267.42	c #Conflicts:      12000 | #Constraints:      57628
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      13000 | #Constraints:      56084
266.69/267.42	c #Conflicts:      14000 | #Constraints:      57084
266.69/267.42	c #Conflicts:      15000 | #Constraints:      58084
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      16000 | #Constraints:      56304
266.69/267.42	c #Conflicts:      17000 | #Constraints:      57304
266.69/267.42	c #Conflicts:      18000 | #Constraints:      58304
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      19000 | #Constraints:      56339
266.69/267.42	c #Conflicts:      20000 | #Constraints:      57339
266.69/267.42	c #Conflicts:      21000 | #Constraints:      58339
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      22000 | #Constraints:      56129
266.69/267.42	c #Conflicts:      23000 | #Constraints:      57129
266.69/267.42	c #Conflicts:      24000 | #Constraints:      58129
266.69/267.42	c #Conflicts:      25000 | #Constraints:      59129
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      26000 | #Constraints:      56736
266.69/267.42	c #Conflicts:      27000 | #Constraints:      57736
266.69/267.42	c #Conflicts:      28000 | #Constraints:      58736
266.69/267.42	c #Conflicts:      29000 | #Constraints:      59736
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      30000 | #Constraints:      57152
266.69/267.42	c #Conflicts:      31000 | #Constraints:      58152
266.69/267.42	c #Conflicts:      32000 | #Constraints:      59152
266.69/267.42	c #Conflicts:      33000 | #Constraints:      60152
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      34000 | #Constraints:      57350
266.69/267.42	c #Conflicts:      35000 | #Constraints:      58350
266.69/267.42	c #Conflicts:      36000 | #Constraints:      59350
266.69/267.42	c #Conflicts:      37000 | #Constraints:      60350
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      38000 | #Constraints:      57362
266.69/267.42	c #Conflicts:      39000 | #Constraints:      58362
266.69/267.42	c #Conflicts:      40000 | #Constraints:      59362
266.69/267.42	c #Conflicts:      41000 | #Constraints:      60362
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      42000 | #Constraints:      57199
266.69/267.42	c #Conflicts:      43000 | #Constraints:      58199
266.69/267.42	c #Conflicts:      44000 | #Constraints:      59199
266.69/267.42	c #Conflicts:      45000 | #Constraints:      60199
266.69/267.42	c #Conflicts:      46000 | #Constraints:      61199
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      47000 | #Constraints:      57798
266.69/267.42	c #Conflicts:      48000 | #Constraints:      58798
266.69/267.42	c #Conflicts:      49000 | #Constraints:      59798
266.69/267.42	c #Conflicts:      50000 | #Constraints:      60798
266.69/267.42	c #Conflicts:      51000 | #Constraints:      61798
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      52000 | #Constraints:      58214
266.69/267.42	c #Conflicts:      53000 | #Constraints:      59214
266.69/267.42	c #Conflicts:      54000 | #Constraints:      60214
266.69/267.42	c #Conflicts:      55000 | #Constraints:      61214
266.69/267.42	c #Conflicts:      56000 | #Constraints:      62214
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      57000 | #Constraints:      58416
266.69/267.42	c #Conflicts:      58000 | #Constraints:      59416
266.69/267.42	c #Conflicts:      59000 | #Constraints:      60416
266.69/267.42	c #Conflicts:      60000 | #Constraints:      61416
266.69/267.42	c #Conflicts:      61000 | #Constraints:      62416
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      62000 | #Constraints:      58449
266.69/267.42	c #Conflicts:      63000 | #Constraints:      59449
266.69/267.42	c #Conflicts:      64000 | #Constraints:      60449
266.69/267.42	c #Conflicts:      65000 | #Constraints:      61449
266.69/267.42	c #Conflicts:      66000 | #Constraints:      62449
266.69/267.42	c INPROCESSING
266.69/267.42	c GARBAGE COLLECT
266.69/267.42	c #Conflicts:      67000 | #Constraints:      58258
266.69/267.42	c #Conflicts:      68000 | #Constraints:      59258
453.20/454.34	c #Conflicts:      69000 | #Constraints:      60258
453.20/454.34	c #Conflicts:      70000 | #Constraints:      61258
453.20/454.34	c #Conflicts:      71000 | #Constraints:      62258
453.20/454.34	c #Conflicts:      72000 | #Constraints:      63258
453.20/454.34	c INPROCESSING
453.20/454.34	c GARBAGE COLLECT
453.20/454.34	c #Conflicts:      73000 | #Constraints:      58887
453.20/454.34	c #Conflicts:      74000 | #Constraints:      59887
453.20/454.34	c #Conflicts:      75000 | #Constraints:      60887
453.20/454.34	c #Conflicts:      76000 | #Constraints:      61887
453.20/454.34	c #Conflicts:      77000 | #Constraints:      62887
453.20/454.34	c #Conflicts:      78000 | #Constraints:      63887
453.20/454.34	c INPROCESSING
453.20/454.34	c GARBAGE COLLECT
453.20/454.34	c #Conflicts:      79000 | #Constraints:      59320
453.20/454.34	c #Conflicts:      80000 | #Constraints:      60320
453.20/454.34	c #Conflicts:      81000 | #Constraints:      61320
453.20/454.34	c #Conflicts:      82000 | #Constraints:      62320
453.20/454.34	c #Conflicts:      83000 | #Constraints:      63320
453.20/454.34	c #Conflicts:      84000 | #Constraints:      64320
453.20/454.34	c INPROCESSING
453.20/454.34	c GARBAGE COLLECT
453.20/454.34	c #Conflicts:      85000 | #Constraints:      59595
453.20/454.34	c #Conflicts:      86000 | #Constraints:      60595
453.20/454.34	c #Conflicts:      87000 | #Constraints:      61595
453.20/454.34	c #Conflicts:      88000 | #Constraints:      62595
453.20/454.34	c #Conflicts:      89000 | #Constraints:      63595
453.20/454.34	c #Conflicts:      90000 | #Constraints:      64595
453.20/454.34	c INPROCESSING
453.20/454.34	c GARBAGE COLLECT
453.20/454.34	c #Conflicts:      91000 | #Constraints:      59676
453.20/454.34	c #Conflicts:      92000 | #Constraints:      60676
453.20/454.34	c #Conflicts:      93000 | #Constraints:      61676
453.20/454.34	c #Conflicts:      94000 | #Constraints:      62676
453.20/454.34	c #Conflicts:      95000 | #Constraints:      63676
453.20/454.34	c #Conflicts:      96000 | #Constraints:      64676
453.20/454.34	c INPROCESSING
453.20/454.34	c GARBAGE COLLECT
453.20/454.34	c #Conflicts:      97000 | #Constraints:      59549
453.20/454.34	c #Conflicts:      98000 | #Constraints:      60549
453.20/454.34	c #Conflicts:      99000 | #Constraints:      61549
453.20/454.34	c #Conflicts:     100000 | #Constraints:      62549
453.20/454.34	c #Conflicts:     101000 | #Constraints:      63549
453.20/454.34	c #Conflicts:     102000 | #Constraints:      64549
453.20/454.34	c #Conflicts:     103000 | #Constraints:      65549
453.20/454.34	c INPROCESSING
453.20/454.34	c #Conflicts:     104000 | #Constraints:      60187
453.20/454.34	c #Conflicts:     105000 | #Constraints:      61187
453.20/454.34	c #Conflicts:     106000 | #Constraints:      62187
453.20/454.34	c #Conflicts:     107000 | #Constraints:      63187
453.20/454.34	c #Conflicts:     108000 | #Constraints:      64187
453.20/454.34	c #Conflicts:     109000 | #Constraints:      65187
453.20/454.34	c #Conflicts:     110000 | #Constraints:      66187
453.20/454.34	c #Conflicts:     111000 | #Constraints:      67187
453.20/454.34	c #Conflicts:     112000 | #Constraints:      68187
453.20/454.34	c #Conflicts:     113000 | #Constraints:      69187
453.20/454.34	c cpu time 201.863 s
453.20/454.34	c deterministic time 1755197014 1.76e+09
453.20/454.34	c optimization time 4.3e-05 s
453.20/454.34	c total solve time 201.072 s
453.20/454.34	c core-guided solve time 0 s
453.20/454.34	c propagation time 100.777 s
453.20/454.34	c conflict analysis time 2.98582 s
453.20/454.34	c propagations 24104178
453.20/454.34	c resolve steps 300841
453.20/454.34	c decisions 399024322
453.20/454.34	c conflicts 113705
453.20/454.34	c restarts 295
453.20/454.34	c inprocessing phases 24
453.20/454.34	c garbage collections 22 ,( 91.67 )
453.20/454.34	c input clauses 26605 ,( 50.67 )
453.20/454.34	c input cardinalities 25902 ,( 49.33 )
453.20/454.34	c input general constraints 0 ,( 0.00 )
453.20/454.34	c input average constraint length 34.90
453.20/454.34	c input average constraint degree 17.28
453.20/454.34	c learned clauses 23570 ,( 20.73 )
453.20/454.34	c learned cardinalities 90118 ,( 79.26 )
453.20/454.34	c learned general constraints 16 ,( 0.01 )
453.20/454.34	c learned average constraint length 332.00
453.20/454.34	c learned average constraint degree 170.75
453.20/454.34	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
453.20/454.34	c counting CF 32, 64, 128, Arb: 16 , 0 , 0 , 0
453.20/454.34	c watched   constraints 0 ,( 0.00 ) 
453.20/454.34	c counting  constraints 16 ,( 100.00 ) 
453.20/454.34	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 13456585 , 12382444 , 652 ,( 0 , 652 )
453.20/454.34	c gcd simplifications 0
453.20/454.34	c detected cardinalities 0
453.20/454.34	c weakened non-implied lits 66
453.20/454.34	c weakened non-implying lits 0
453.20/454.34	c original variables 837976
453.20/454.34	c clausal propagations 11958938
453.20/454.34	c cardinality propagations 11505334
453.20/454.34	c watched propagations 0
453.20/454.34	c counting propagations 43
453.20/454.34	c watch lookups 25889419
453.20/454.34	c watch backjump lookups 0
453.20/454.34	c watch checks 406438838
453.20/454.34	c propagation checks 431435603
453.20/454.34	c constraint additions 44999470
453.20/454.34	c trail pops 423242183
453.20/454.34	c formula constraints 52507
453.20/454.34	c learned constraints 113704
453.20/454.34	c bound constraints 0
453.20/454.34	c core-guided constraints 0
453.30/454.43	c encountered formula constraints 191903
453.30/454.43	c encountered learned constraints 222643
453.30/454.43	c encountered bound constraints 0
453.30/454.43	c encountered core-guided constraints 0
453.30/454.43	c LP total time 6.95845 s
453.30/454.43	c LP solve time 6.49 s
453.30/454.43	c LP constraints added 52507
453.30/454.43	c LP constraints removed 0
453.30/454.43	c LP pivots internal 42000
453.30/454.43	c LP pivots root 21000
453.30/454.43	c LP calls 6
453.30/454.43	c LP optimalities 0
453.30/454.43	c LP no pivot count 0
453.30/454.43	c LP infeasibilities 0
453.30/454.43	c LP valid Farkas constraints 0
453.30/454.43	c LP learned Farkas constraints 0
453.30/454.43	c LP basis resets 0
453.30/454.43	c LP cycling count 0
453.30/454.43	c LP singular count 0
453.30/454.43	c LP no primal count 0
453.30/454.43	c LP no farkas count 0
453.30/454.43	c LP other issue count 0
453.30/454.43	c LP Gomory cuts 0
453.30/454.43	c LP learned cuts 0
453.30/454.43	c LP deleted cuts 0
453.30/454.43	c LP encountered Gomory constraints 0
453.30/454.43	c LP encountered Farkas constraints 0
453.30/454.43	c LP encountered learned Farkas constraints 0
453.30/454.43	c CG auxiliary variables introduced 0
453.30/454.43	c CG solutions found 0
453.30/454.43	c CG cores constructed 0
453.30/454.43	c CG core cardinality constraints returned 0
453.30/454.43	c CG unit cores 0
453.30/454.43	c CG single cores 0
453.30/454.43	c CG blocks removed during cardinality reduction 0
453.30/454.43	c CG first core best 0
453.30/454.43	c CG decision core best 0
453.30/454.43	c CG core reduction tie 0
453.30/454.43	c CG core degree average 0.00
453.30/454.43	c CG core slack average 0.00
453.30/454.43	c CG core upper bound improvements 0
453.30/454.43	c STR number of successful calls 0
453.30/454.43	c STR number of unsuccessful calls 0
453.30/454.43	c STR number of inconclusive calls 0
453.30/454.43	c STR number of successful attempts 0
453.30/454.43	c STR number of unsuccessful attempts 0
453.30/454.43	c STR number of inconclusive attempts 0
453.30/454.43	c STR average degree increase per successful call inf
453.30/454.43	c STR average degree increase per successful attempt inf
453.30/454.43	c STR total number of conflicts for successful attempts 0
453.30/454.43	c STR total number of conflicts for unsuccessful attempts 0
453.30/454.43	c STR total number of conflicts for inconclusive attempts 0
453.30/454.43	c STR average number of conflicts per successful attempt inf
453.30/454.43	c STR average number of conflicts per unsuccessful attempt inf
453.30/454.43	c STR average number of conflicts per inconclusive attempt inf
453.30/454.43	c AVG.sumWPerc 70.47 
453.30/454.43	c bigint constraints 0 
453.30/454.43	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul 22 19:57:41 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

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

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

solver pid=172237, runsolver pid=172234

[startup+0.100066 s]*
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=105441220/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=204600 memory=159784 CPUtime=0.08 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 6528 0 0 0 5 3 0 0 20 0 1 0 236295928 209510400 39946 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 51150 39946 1952 1147 0 38577 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 208792 KiB
Current children cumulated memory: 162856 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=105440968/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=210148 memory=165288 CPUtime=0.19 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 7902 0 0 0 15 4 0 0 20 0 1 0 236295928 215191552 41322 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 52537 41322 1952 1147 0 39964 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 214340 KiB
Current children cumulated memory: 168360 KiB

[startup+0.305534 s]*
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=105420744/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=215276 memory=172420 CPUtime=0.29 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 9208 0 0 0 24 5 0 0 20 0 1 0 236295928 220442624 43105 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 53819 43105 1952 1147 0 41246 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 219468 KiB
Current children cumulated memory: 175492 KiB

[startup+0.700203 s]
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=105412428/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=347000 memory=241096 CPUtime=0.68 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 15612 0 0 0 58 10 0 0 20 0 1 0 236295928 355328000 60274 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 86750 60274 2208 1147 0 74177 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 351192 KiB
Current children cumulated memory: 244168 KiB

[startup+1.50021 s]
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=105121884/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=600828 memory=542628 CPUtime=1.47 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 43898 0 0 0 125 22 0 0 20 0 1 0 236295928 615247872 135657 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 150207 135657 2240 1147 0 137634 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 605020 KiB
Current children cumulated memory: 545700 KiB

[startup+3.10549 s]
/proc/loadavg: 4.20 4.11 4.10 5/267 172239
/proc/meminfo: memFree=104857176/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=811616 memory=735992 CPUtime=3.07 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 57937 0 0 0 235 72 0 0 20 0 1 0 236295928 831094784 183998 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 202904 183998 2336 1147 0 190331 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 815808 KiB
Current children cumulated memory: 739064 KiB

[startup+6.30021 s]
/proc/loadavg: 4.18 4.11 4.10 5/267 172239
/proc/meminfo: memFree=104851064/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=811616 memory=739076 CPUtime=6.27 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 58304 0 0 0 398 229 0 0 20 0 1 0 236295928 831094784 184769 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 202904 184769 2336 1147 0 190331 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 815808 KiB
Current children cumulated memory: 742148 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.10 5/267 172239
/proc/meminfo: memFree=104843212/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=816236 memory=746556 CPUtime=12.64 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 59706 0 0 0 702 562 0 0 20 0 1 0 236295928 835825664 186639 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 204059 186639 2336 1147 0 191486 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 820428 KiB
Current children cumulated memory: 749628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.10 5/267 172239
/proc/meminfo: memFree=104760108/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=871012 memory=798668 CPUtime=25.41 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 68220 0 0 0 1318 1223 0 0 20 0 1 0 236295928 891916288 199667 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 217753 199667 2336 1147 0 205180 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 875204 KiB
Current children cumulated memory: 801740 KiB

[startup+51.1053 s]
/proc/loadavg: 4.16 4.11 4.10 5/267 172525
/proc/meminfo: memFree=125038716/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=895488 memory=825008 CPUtime=50.95 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 74239 0 0 0 2486 2609 0 0 20 0 1 0 236295928 916979712 206252 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 223872 206252 2336 1147 0 211299 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 899680 KiB
Current children cumulated memory: 828080 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 172770
/proc/meminfo: memFree=124858212/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=921432 memory=850608 CPUtime=102.02 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 80811 0 0 0 4701 5501 0 0 20 0 1 0 236295928 943546368 212652 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 230358 212652 2336 1147 0 217785 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 925624 KiB
Current children cumulated memory: 853680 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 173698
/proc/meminfo: memFree=124463816/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=957576 memory=891824 CPUtime=161.85 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 90032 0 0 0 7280 8905 0 0 20 0 1 0 236295928 980557824 222956 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 239394 222956 2336 1147 0 226821 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 961768 KiB
Current children cumulated memory: 894896 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 174218
/proc/meminfo: memFree=124617380/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=984248 memory=922288 CPUtime=221.7 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 96987 0 0 0 9948 12222 0 0 20 0 1 0 236295928 1007869952 230572 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 246062 230572 2336 1147 0 233489 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 988440 KiB
Current children cumulated memory: 925360 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 174485
/proc/meminfo: memFree=123718588/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1018180 memory=951472 CPUtime=281.55 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 102689 0 0 0 12537 15618 0 0 20 0 1 0 236295928 1042616320 237868 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 254545 237868 2336 1147 0 241972 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1022372 KiB
Current children cumulated memory: 954544 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/270 174537
/proc/meminfo: memFree=123041808/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1047048 memory=982192 CPUtime=341.42 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 110013 0 0 0 15138 19004 0 0 20 0 1 0 236295928 1072177152 245548 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 261762 245548 2336 1147 0 249189 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1051240 KiB
Current children cumulated memory: 985264 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/270 174539
/proc/meminfo: memFree=122504280/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1062000 memory=997552 CPUtime=401.3 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 113828 0 0 0 17745 22385 0 0 20 0 1 0 236295928 1087488000 249388 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 265500 249388 2336 1147 0 252927 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 1066192 KiB
Current children cumulated memory: 1000624 KiB

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

# cumulated CPU time of all completed processes:  user=201.943 s, system=251.398 s

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

[startup+409.6 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 174539
/proc/meminfo: memFree=122472848/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1062000 memory=997552 CPUtime=408.59 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 113828 0 0 0 18052 22807 0 0 20 0 1 0 236295928 1087488000 249388 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 265500 249388 2336 1147 0 252927 0
Current children cumulated CPU time: 408.59 s
Current children cumulated vsize: 1066192 KiB
Current children cumulated memory: 1000624 KiB

[startup+435.2 s]
/proc/loadavg: 4.19 4.11 4.10 5/272 174543
/proc/meminfo: memFree=122242552/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1028208 CPUtime=434.14 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119355 0 0 0 19357 24057 0 0 20 0 1 0 236295928 1129078784 257052 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 257052 2336 1147 0 263081 0
Current children cumulated CPU time: 434.14 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1031280 KiB

[startup+448 s]*
/proc/loadavg: 4.16 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122099188/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1032304 CPUtime=446.91 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119403 0 0 0 19910 24781 0 0 20 0 1 0 236295928 1129078784 258076 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 258076 2336 1147 0 263081 0
Current children cumulated CPU time: 446.91 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1035376 KiB

[startup+451.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122083060/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1032304 CPUtime=450.11 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119404 0 0 0 20049 24962 0 0 20 0 1 0 236295928 1129078784 258076 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 258076 2336 1147 0 263081 0
Current children cumulated CPU time: 450.11 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1035376 KiB

[startup+452.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122083060/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1032304 CPUtime=451.7 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119404 0 0 0 20118 25052 0 0 20 0 1 0 236295928 1129078784 258076 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 258076 2336 1147 0 263081 0
Current children cumulated CPU time: 451.7 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1035376 KiB

[startup+453.6 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122066940/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1032304 CPUtime=452.5 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119404 0 0 0 20152 25098 0 0 20 0 1 0 236295928 1129078784 258076 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 258076 2336 1147 0 263081 0
Current children cumulated CPU time: 452.5 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1035376 KiB

[startup+454 s]*
/proc/loadavg: 4.14 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122058876/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=1102616 memory=1032304 CPUtime=452.9 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119404 0 0 0 20170 25120 0 0 20 0 1 0 236295928 1129078784 258076 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 275654 258076 2336 1147 0 263081 0
Current children cumulated CPU time: 452.9 s
Current children cumulated vsize: 1106808 KiB
Current children cumulated memory: 1035376 KiB

[startup+454.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 174543
/proc/meminfo: memFree=122058876/131250000 swapFree=33009904/33010684
[pid=172237] ppid=172234 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/172237/stat : 172237 (run-dec-log.sh) S 172234 172237 171389 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 236295927 4292608 768 18446744073709551615 94486368641024 94486369535557 140720936962112 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94486369774608 94486369822352 94486390902784 140720936966469 140720936966626 140720936966626 140720936972230 0
/proc/172237/statm: 1048 768 704 219 0 110 0
[pid=172239] ppid=172237 vsize=918196 memory=854412 CPUtime=453.3 cores=1,3
/proc/172239/stat : 172239 (roundingsat) R 172237 172237 171389 0 -1 4194304 119409 0 0 0 20191 25139 0 0 20 0 1 0 236295928 940232704 213603 18446744073709551615 4227072 8923433 140736610064608 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34512896 140736610068875 140736610069030 140736610069030 140736610074602 0
/proc/172239/statm: 229549 213603 2336 1147 0 216976 0
Current children cumulated CPU time: 453.3 s
Current children cumulated vsize: 922388 KiB
Current children cumulated memory: 857484 KiB

Child status: 0

Real time (s): 454.433
CPU time (s): 453.341
CPU user time (s): 201.943
CPU system time (s): 251.398
CPU usage (%): 99.7595
Max. virtual memory (cumulated for all children) (KiB): 1107324
Max. memory (cumulated for all children) (KiB): 1036016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.943
system time used= 251.398
maximum resident set size= 1032944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 683


# summary of solver processes directly reported to runsolver:
#   pid: 172237
#   total CPU time (s): 453.341
#   total CPU user time (s): 201.943
#   total CPU system time (s): 251.398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.917844 second user time and 1.87596 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-22 19:42:45
IDJOB=4542269
IDBENCH=163916
IDSOLVER=3352
FILE ID=nodeC033/4542269-1753206165
RUNJOBID= nodeC033-1753198973-171408
SLURM_JOB_ID= 9687766
Free space on /tmp= 410968 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542269-1753206165/watcher-4542269-1753206165 -o /tmp/evaluation-result-4542269-1753206165/solver-4542269-1753206165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171408 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4542269-1753206165.opb /tmp/proof-4542269-1753206165

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=138013926

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.058
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		: 3654.666
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		: 3600.130
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.366
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.990
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.659
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		: 3586.824
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		: 3696.365
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:        105596264 kB
MemAvailable:   127414768 kB
Buffers:            2128 kB
Cached:         22542200 kB
SwapCached:           64 kB
Active:          3565044 kB
Inactive:       21315000 kB
Active(anon):    2356728 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file): 21309716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37928 kB
Writeback:             0 kB
AnonPages:       2337740 kB
Mapped:           123000 kB
Shmem:             26228 kB
KReclaimable:     279424 kB
Slab:             376808 kB
SReclaimable:     279424 kB
SUnreclaim:        97384 kB
KernelStack:        4304 kB
PageTables:         8260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3067144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 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= 431320 MiB
End job on nodeC033 at 2025-07-22 19:50:20