Trace number 4542268

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 63f22adUNSAT 451.085 452.06

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57648 MiB free)
  memory of node 1: 64465 MiB (55497 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542268-1753215144/watcher-4542268-1753215144 -o /tmp/evaluation-result-4542268-1753215144/solver-4542268-1753215144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171551 --watchdog 3760 run-dec.sh HOME/instance-4542268-1753215144.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=171986, runsolver pid=171983

[startup+0.100067 s]*
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115718448/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=201244 memory=156232 CPUtime=0.08 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 6204 0 0 0 5 3 0 0 20 0 1 0 237193043 206073856 39058 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 50311 39058 1920 1147 0 37738 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 205436 KiB
Current children cumulated memory: 159304 KiB

[startup+0.205934 s]*
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115718448/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=206860 memory=161864 CPUtime=0.19 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 7593 0 0 0 15 4 0 0 20 0 1 0 237193043 211824640 40466 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 51715 40466 1920 1147 0 39142 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 211052 KiB
Current children cumulated memory: 164936 KiB

[startup+0.305811 s]*
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115718448/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=212128 memory=169124 CPUtime=0.29 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 8927 0 0 0 24 5 0 0 20 0 1 0 237193043 217219072 42281 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 53032 42281 1920 1147 0 40459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 216320 KiB
Current children cumulated memory: 172196 KiB

[startup+0.700197 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115707108/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=394248 memory=345348 CPUtime=0.67 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 20333 0 0 0 55 12 0 0 20 0 1 0 237193043 403709952 86337 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 98562 86337 2240 1147 0 85989 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 398440 KiB
Current children cumulated memory: 348420 KiB

[startup+1.50021 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115406040/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=713628 memory=637868 CPUtime=1.48 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 51551 0 0 0 125 23 0 0 20 0 1 0 237193043 730755072 159467 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 178407 159467 2272 1147 0 165834 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 717820 KiB
Current children cumulated memory: 640940 KiB

[startup+3.10581 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115173436/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=792824 memory=714992 CPUtime=3.07 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 57481 0 0 0 229 78 0 0 20 0 1 0 237193043 811851776 178748 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 198206 178748 2368 1147 0 185633 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 797016 KiB
Current children cumulated memory: 718064 KiB

[startup+6.30021 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115169660/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=792824 memory=721056 CPUtime=6.26 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 58564 0 0 0 390 236 0 0 20 0 1 0 237193043 811851776 180264 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 198206 180264 2368 1147 0 185633 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 797016 KiB
Current children cumulated memory: 724128 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 171988
/proc/meminfo: memFree=115165880/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=801020 memory=729248 CPUtime=12.65 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 60691 0 0 0 677 588 0 0 20 0 1 0 237193043 820244480 182312 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 200255 182312 2368 1147 0 187682 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 805212 KiB
Current children cumulated memory: 732320 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 171988
/proc/meminfo: memFree=115085252/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=855120 memory=781624 CPUtime=25.42 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 69232 0 0 0 1288 1254 0 0 20 0 1 0 237193043 875642880 195406 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 213780 195406 2368 1147 0 201207 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 859312 KiB
Current children cumulated memory: 784696 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 171989
/proc/meminfo: memFree=115042436/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=881564 memory=808036 CPUtime=50.97 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 75439 0 0 0 2440 2657 0 0 20 0 1 0 237193043 902721536 202009 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 220391 202009 2368 1147 0 207818 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 885756 KiB
Current children cumulated memory: 811108 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 172266
/proc/meminfo: memFree=110456840/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=905532 memory=833124 CPUtime=102.04 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 81685 0 0 0 4631 5573 0 0 20 0 1 0 237193043 927264768 208281 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 226383 208281 2368 1147 0 213810 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 909724 KiB
Current children cumulated memory: 836196 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/271 172272
/proc/meminfo: memFree=110028028/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=941568 memory=870116 CPUtime=161.91 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 91011 0 0 0 7213 8978 0 0 20 0 1 0 237193043 964165632 217529 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 235392 217529 2368 1147 0 222819 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 945760 KiB
Current children cumulated memory: 873188 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 172274
/proc/meminfo: memFree=109500024/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=968324 memory=904292 CPUtime=221.79 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 97982 0 0 0 9865 12314 0 0 20 0 1 0 237193043 991563776 226073 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 242081 226073 2368 1147 0 229508 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 972516 KiB
Current children cumulated memory: 907364 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 172276
/proc/meminfo: memFree=109343380/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1002088 memory=928228 CPUtime=281.67 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 103627 0 0 0 12452 15715 0 0 20 0 1 0 237193043 1026138112 232057 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 250522 232057 2368 1147 0 237949 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 1006280 KiB
Current children cumulated memory: 931300 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/271 172279
/proc/meminfo: memFree=109201384/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1030860 memory=961124 CPUtime=341.55 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 110905 0 0 0 15021 19134 0 0 20 0 1 0 237193043 1055600640 240281 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 257715 240281 2368 1147 0 245142 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 1035052 KiB
Current children cumulated memory: 964196 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/271 172288
/proc/meminfo: memFree=109146392/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1042444 memory=974820 CPUtime=401.42 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 113916 0 0 0 17571 22571 0 0 20 0 1 0 237193043 1067462656 243705 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 260611 243705 2368 1147 0 248038 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 1046636 KiB
Current children cumulated memory: 977892 KiB

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

# cumulated CPU time of all completed processes:  user=199.058 s, system=252.027 s

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

[startup+409.6 s]
/proc/loadavg: 4.32 4.20 4.13 5/271 172288
/proc/meminfo: memFree=109136820/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1042444 memory=974820 CPUtime=408.7 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 113916 0 0 0 17877 22993 0 0 20 0 1 0 237193043 1067462656 243705 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 260611 243705 2368 1147 0 248038 0
Current children cumulated CPU time: 408.7 s
Current children cumulated vsize: 1046636 KiB
Current children cumulated memory: 977892 KiB

[startup+435.2 s]
/proc/loadavg: 4.25 4.20 4.13 5/271 172289
/proc/meminfo: memFree=109091132/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=434.24 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19171 24253 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 434.24 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+441.6 s]
/proc/loadavg: 4.22 4.20 4.12 5/271 172290
/proc/meminfo: memFree=109082596/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=440.64 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19447 24617 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 440.64 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+448 s]*
/proc/loadavg: 4.21 4.19 4.12 5/269 172290
/proc/meminfo: memFree=109082604/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=447.03 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19728 24975 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 447.03 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+449.6 s]
/proc/loadavg: 4.21 4.19 4.12 5/269 172290
/proc/meminfo: memFree=109082604/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=448.61 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19792 25069 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 448.61 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+451.2 s]
/proc/loadavg: 4.19 4.19 4.12 5/269 172290
/proc/meminfo: memFree=109082604/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=450.21 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19861 25160 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 450.21 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+451.6 s]
/proc/loadavg: 4.19 4.19 4.12 5/269 172290
/proc/meminfo: memFree=109082604/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=1081644 memory=1003052 CPUtime=450.61 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117633 0 0 0 19880 25181 0 0 20 0 1 0 237193043 1107603456 250763 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 270411 250763 2368 1147 0 257838 0
Current children cumulated CPU time: 450.61 s
Current children cumulated vsize: 1085836 KiB
Current children cumulated memory: 1006124 KiB

[startup+452 s]*
/proc/loadavg: 4.19 4.19 4.12 5/269 172290
/proc/meminfo: memFree=109245016/131249996 swapFree=33010160/33010684
[pid=171986] ppid=171983 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/171986/stat : 171986 (run-dec.sh) S 171983 171986 171541 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237193043 4292608 768 18446744073709551615 94408270733312 94408271627845 140736042145024 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94408271866896 94408271914640 94408300945408 140736042154347 140736042154470 140736042154470 140736042160074 0
/proc/171986/statm: 1048 768 704 219 0 110 0
[pid=171988] ppid=171986 vsize=897224 memory=823700 CPUtime=451.02 cores=0,2
/proc/171988/stat : 171988 (roundingsat) R 171986 171986 171541 0 -1 4194304 117637 0 0 0 19901 25201 0 0 20 0 1 0 237193043 918757376 205925 18446744073709551615 4227072 8923433 140724241375072 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39743488 140724241381813 140724241381926 140724241381926 140724241387498 0
/proc/171988/statm: 224306 205925 2368 1147 0 211733 0
Current children cumulated CPU time: 451.02 s
Current children cumulated vsize: 901416 KiB
Current children cumulated memory: 826772 KiB

Child status: 0

Real time (s): 452.06
CPU time (s): 451.085
CPU user time (s): 199.058
CPU system time (s): 252.027
CPU usage (%): 99.7842
Max. virtual memory (cumulated for all children) (KiB): 1086352
Max. memory (cumulated for all children) (KiB): 1006524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.058
system time used= 252.027
maximum resident set size= 1003452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 157
involuntary context switches= 1014


# summary of solver processes directly reported to runsolver:
#   pid: 171986
#   total CPU time (s): 451.085
#   total CPU user time (s): 199.058
#   total CPU system time (s): 252.027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.99816 second user time and 2.00677 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-22 22:12:24
IDJOB=4542268
IDBENCH=163916
IDSOLVER=3349
FILE ID=nodeC032/4542268-1753215144
RUNJOBID= nodeC032-1753211592-171551
SLURM_JOB_ID= 9687796
Free space on /tmp= 432544 MiB

SOLVER NAME= roundingsat 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542268-1753215144/watcher-4542268-1753215144 -o /tmp/evaluation-result-4542268-1753215144/solver-4542268-1753215144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171551 --watchdog 3760  run-dec.sh HOME/instance-4542268-1753215144.opb

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=323756180

nodeC032 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.836
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115861172 kB
MemAvailable:   127922796 kB
Buffers:            2728 kB
Cached:         12741228 kB
SwapCached:           20 kB
Active:          2869180 kB
Inactive:       11610556 kB
Active(anon):    1758896 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11607432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26984 kB
Writeback:             0 kB
AnonPages:       1734936 kB
Mapped:           122400 kB
Shmem:             26240 kB
KReclaimable:     366292 kB
Slab:             465060 kB
SReclaimable:     366292 kB
SUnreclaim:        98768 kB
KernelStack:        4336 kB
PageTables:         6880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2339520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432364 MiB
End job on nodeC032 at 2025-07-22 22:19:56