Trace number 4542271

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22adUNSAT cert. 1228.04 1230.91

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

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul 22 20:19:45 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 (55923 MiB free)
  memory of node 1: 64465 MiB (56318 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=184055, runsolver pid=184052

[startup+0.100057 s]*
/proc/loadavg: 4.13 4.15 4.17 4/256 184057
/proc/meminfo: memFree=116555012/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=266984 memory=207396 CPUtime=0.09 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 10176 0 0 0 4 5 0 0 20 0 1 0 236299266 273391616 51849 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 66746 51849 2016 1147 0 54173 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 271176 KiB
Current children cumulated memory: 210340 KiB

[startup+0.204678 s]*
/proc/loadavg: 4.13 4.15 4.17 4/257 184071
/proc/meminfo: memFree=117398608/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=280424 memory=222668 CPUtime=0.18 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 13512 0 0 0 12 6 0 0 20 0 1 0 236299266 287154176 55667 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 70106 55667 2016 1147 0 57533 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 284616 KiB
Current children cumulated memory: 225612 KiB

[startup+0.305358 s]*
/proc/loadavg: 4.13 4.15 4.17 4/257 184082
/proc/meminfo: memFree=118729812/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=293128 memory=237124 CPUtime=0.28 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 16736 0 0 0 21 7 0 0 20 0 1 0 236299266 300163072 59281 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 73282 59281 2016 1147 0 60709 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 297320 KiB
Current children cumulated memory: 240068 KiB

[startup+0.700175 s]
/proc/loadavg: 4.13 4.15 4.17 5/260 184089
/proc/meminfo: memFree=122417184/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=348708 memory=291000 CPUtime=0.68 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 29512 0 0 0 57 11 0 0 20 0 1 0 236299266 357076992 72750 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 87177 72750 2016 1147 0 74604 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 352900 KiB
Current children cumulated memory: 293944 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.15 4.17 5/260 184098
/proc/meminfo: memFree=122211596/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=654660 memory=590856 CPUtime=1.47 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 57060 0 0 0 124 23 0 0 20 0 1 0 236299266 670371840 147714 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 163665 147714 2272 1147 0 151092 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 658852 KiB
Current children cumulated memory: 593800 KiB

[startup+3.10568 s]
/proc/loadavg: 4.13 4.15 4.17 5/266 184158
/proc/meminfo: memFree=120101340/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=901256 memory=817360 CPUtime=3.07 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 74864 0 0 0 279 28 0 0 20 0 1 0 236299266 922886144 204340 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 225314 204340 2304 1147 0 212741 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 905448 KiB
Current children cumulated memory: 820304 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.15 4.17 5/266 184158
/proc/meminfo: memFree=118493008/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=901256 memory=817360 CPUtime=6.26 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 74894 0 0 0 598 28 0 0 20 0 1 0 236299266 922886144 204340 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 225314 204340 2304 1147 0 212741 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 905448 KiB
Current children cumulated memory: 820304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.17 5/266 184159
/proc/meminfo: memFree=117774332/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=901256 memory=817360 CPUtime=12.64 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 74922 0 0 0 1236 28 0 0 20 0 1 0 236299266 922886144 204340 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 225314 204340 2304 1147 0 212741 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 905448 KiB
Current children cumulated memory: 820304 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119347532/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=901256 memory=817360 CPUtime=25.41 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 74922 0 0 0 2513 28 0 0 20 0 1 0 236299266 922886144 204340 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 225314 204340 2304 1147 0 212741 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 905448 KiB
Current children cumulated memory: 820304 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.16 4.17 5/267 184212
/proc/meminfo: memFree=119324284/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=934620 memory=851052 CPUtime=50.95 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 76766 0 0 0 5032 63 0 0 20 0 1 0 236299266 957050880 212763 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 233655 212763 2368 1147 0 221082 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 938812 KiB
Current children cumulated memory: 853996 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/267 184214
/proc/meminfo: memFree=119264164/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=942876 memory=866936 CPUtime=102 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 79297 0 0 0 9959 241 0 0 20 0 1 0 236299266 965505024 216734 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 235719 216734 2368 1147 0 223146 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 947068 KiB
Current children cumulated memory: 869880 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/267 184216
/proc/meminfo: memFree=119103124/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=962148 memory=884636 CPUtime=161.86 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 82762 0 0 0 15798 388 0 0 20 0 1 0 236299266 985239552 221159 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 240537 221159 2368 1147 0 227964 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 966340 KiB
Current children cumulated memory: 887580 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/267 184218
/proc/meminfo: memFree=119027356/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1000908 memory=932296 CPUtime=221.71 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 90074 0 0 0 21139 1032 0 0 20 0 1 0 236299266 1024929792 233074 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 250227 233074 2368 1147 0 237654 0

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

/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 139752 0 0 0 84930 21049 0 0 20 0 1 0 236299266 1244594176 287999 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 303856 287999 2368 1147 0 291283 0
Current children cumulated CPU time: 1059.79 s
Current children cumulated vsize: 1219616 KiB
Current children cumulated memory: 1154940 KiB

[startup+1122.3 s]
/proc/loadavg: 4.41 4.21 4.17 5/267 184267
/proc/meminfo: memFree=118190884/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1215740 memory=1152380 CPUtime=1119.65 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 139874 0 0 0 89277 22688 0 0 20 0 1 0 236299266 1244917760 288095 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 303935 288095 2368 1147 0 291362 0
Current children cumulated CPU time: 1119.65 s
Current children cumulated vsize: 1219932 KiB
Current children cumulated memory: 1155324 KiB

[startup+1182.3 s]
/proc/loadavg: 4.15 4.17 4.16 5/267 184269
/proc/meminfo: memFree=118076544/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1179.52 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 94327 23625 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1179.52 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

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

# cumulated CPU time of all completed processes:  user=976.59 s, system=251.445 s

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

[startup+1203.2 s]
/proc/loadavg: 4.17 4.17 4.16 5/267 184269
/proc/meminfo: memFree=118034208/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1200.37 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 96412 23625 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1200.37 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1216 s]*
/proc/loadavg: 4.13 4.16 4.16 5/267 184269
/proc/meminfo: memFree=118033984/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1213.15 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97012 24303 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1213.15 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1222.4 s]
/proc/loadavg: 4.12 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1219.53 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97288 24665 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1219.53 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1225.6 s]
/proc/loadavg: 4.12 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1222.73 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97422 24851 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1222.73 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1228.8 s]
/proc/loadavg: 4.11 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1225.92 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97557 25035 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1225.92 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1229.6 s]
/proc/loadavg: 4.11 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1226.71 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97592 25079 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1226.71 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1230.4 s]
/proc/loadavg: 4.11 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1256352 memory=1183272 CPUtime=1227.52 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145249 0 0 0 97628 25124 0 0 20 0 1 0 236299266 1286504448 295818 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 314088 295818 2368 1147 0 301515 0
Current children cumulated CPU time: 1227.52 s
Current children cumulated vsize: 1260544 KiB
Current children cumulated memory: 1186216 KiB

[startup+1230.8 s]
/proc/loadavg: 4.11 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=1193104 memory=1121988 CPUtime=1227.92 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145250 0 0 0 97649 25143 0 0 20 0 1 0 236299266 1221738496 280497 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 298276 280497 2368 1147 0 285703 0
Current children cumulated CPU time: 1227.92 s
Current children cumulated vsize: 1197296 KiB
Current children cumulated memory: 1124932 KiB

[startup+1230.9 s]
/proc/loadavg: 4.11 4.16 4.16 5/268 184277
/proc/meminfo: memFree=118033440/131249996 swapFree=33010160/33010684
[pid=184055] ppid=184052 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/184055/stat : 184055 (run-dec-ls-log.) S 184052 184055 183292 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236299265 4292608 736 18446744073709551615 94100191682560 94100192577093 140736845133328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94100192816144 94100192863888 94100207050752 140736845138239 140736845138399 140736845138399 140736845144003 0
/proc/184055/statm: 1048 736 672 219 0 110 0
[pid=184057] ppid=184055 vsize=870252 memory=816972 CPUtime=1228.01 cores=5,7
/proc/184057/stat : 184057 (roundingsat) R 184055 184055 183292 0 -1 4194304 145279 0 0 0 97658 25143 0 0 20 0 1 0 236299266 891138048 204243 18446744073709551615 4227072 8923433 140729705451312 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32268288 140729705453940 140729705454118 140729705454118 140729705459690 0
/proc/184057/statm: 217563 204243 2368 1147 0 204990 0
Current children cumulated CPU time: 1228.01 s
Current children cumulated vsize: 874444 KiB
Current children cumulated memory: 819916 KiB

Child status: 0

Real time (s): 1230.91
CPU time (s): 1228.04
CPU user time (s): 976.59
CPU system time (s): 251.445
CPU usage (%): 99.7663
Max. virtual memory (cumulated for all children) (KiB): 1261060
Max. memory (cumulated for all children) (KiB): 1186616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 976.59
system time used= 251.445
maximum resident set size= 1183672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145510
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= 190
involuntary context switches= 1019


# summary of solver processes directly reported to runsolver:
#   pid: 184055
#   total CPU time (s): 1228.04
#   total CPU user time (s): 976.59
#   total CPU system time (s): 251.445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48342 second user time and 5.47442 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-22 19:43:28
IDJOB=4542271
IDBENCH=163916
IDSOLVER=3354
FILE ID=nodeC029/4542271-1753206208
RUNJOBID= nodeC029-1753198973-183312
SLURM_JOB_ID= 9687762
Free space on /tmp= 419020 MiB

SOLVER NAME= roundingsat-ls-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-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542271-1753206208/watcher-4542271-1753206208 -o /tmp/evaluation-result-4542271-1753206208/solver-4542271-1753206208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4542271-1753206208.opb /tmp/proof-4542271-1753206208

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=2091113130

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113621912 kB
MemAvailable:   125948788 kB
Buffers:            2128 kB
Cached:         13077324 kB
SwapCached:           36 kB
Active:          5011660 kB
Inactive:       11837536 kB
Active(anon):    3791244 kB
Inactive(anon):     4716 kB
Active(file):    1220416 kB
Inactive(file): 11832820 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            100956 kB
Writeback:             0 kB
AnonPages:       3770280 kB
Mapped:           115228 kB
Shmem:             26216 kB
KReclaimable:     225756 kB
Slab:             322488 kB
SReclaimable:     225756 kB
SUnreclaim:        96732 kB
KernelStack:        4188 kB
PageTables:        10628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4275244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3317760 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432808 MiB
End job on nodeC029 at 2025-07-22 20:03:59