Trace number 4542273

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+pbsuma-log 63f22adUNSAT cert. 1262.02 1265.34

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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4542273-1753215344.opb'
0.49/0.59	c 	read 20.32MB  (574.29ms)
0.49/0.59	c	 [cnf: #variables 837976 #clauses 52507 #duplicates 0 #arr 1832604]
0.49/0.59	c output proof to '/tmp/proof-4542273-1753215344'
0.49/0.60	c 
0.49/0.60	c make graph and approximate orbits
1.36/1.45	c	 [group: #orbits ~= 3572] (847.41ms)
1.36/1.45	c 
1.36/1.45	c detect special group actions
1.36/1.45	c 	 exceeded limit
1.36/1.45	c 	 (0.00ms)
1.36/1.45	c 
1.36/1.45	c detect symmetries on remainder
1.36/1.45	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
1.36/1.45	c 
1.36/1.45	c finalize break order and special generators
1.46/1.52	c 
1.46/1.52	c generation finished
1.46/1.52	c 	[sbp: #constraints 0 #add_vars 0]
1.46/1.52	c 
1.46/1.52	c write result to 'HOME/instance-4542273-1753215344.opb.pre'
1.46/1.59	c 	wrote 20.34MB (63.17ms)
1.46/1.59	c ------------------------------------------------------------------
1.46/1.59	c                 847.41ms 53.87% approx_orbits
1.46/1.59	c                 574.29ms 36.51% parse
1.46/1.59	c                  63.17ms  4.02% output
1.46/1.59	c                  58.05ms  3.69% finalize_order
1.46/1.59	c                  30.05ms  1.91% other
1.46/1.59	c                   0.01ms  0.00% detect_generic
1.46/1.59	c                   0.00ms  0.00% detect_special
1.46/1.59	c         ───────────────────────────────────────────────
1.46/1.59	c                1572.98ms   100% total
1.46/1.59	c ------------------------------------------------------------------
1.56/1.64	c RoundingSat 2
1.56/1.64	c branch pb25
1.56/1.64	c commit 63f22ad
2.95/3.08	c #variables 837976 #constraints 52507
881.11/883.61	c #Conflicts:       1000 | #Constraints:      53506
881.11/883.61	c #Conflicts:       2000 | #Constraints:      54506
881.11/883.61	c INPROCESSING
881.11/883.61	c #Conflicts:       3000 | #Constraints:      54521
881.11/883.61	c #Conflicts:       4000 | #Constraints:      55521
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:       5000 | #Constraints:      54926
881.11/883.61	c #Conflicts:       6000 | #Constraints:      55926
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:       7000 | #Constraints:      54921
881.11/883.61	c #Conflicts:       8000 | #Constraints:      55921
881.11/883.61	c #Conflicts:       9000 | #Constraints:      56921
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      10000 | #Constraints:      55628
881.11/883.61	c #Conflicts:      11000 | #Constraints:      56628
881.11/883.61	c #Conflicts:      12000 | #Constraints:      57628
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      13000 | #Constraints:      56084
881.11/883.61	c #Conflicts:      14000 | #Constraints:      57084
881.11/883.61	c #Conflicts:      15000 | #Constraints:      58084
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      16000 | #Constraints:      56304
881.11/883.61	c #Conflicts:      17000 | #Constraints:      57304
881.11/883.61	c #Conflicts:      18000 | #Constraints:      58304
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      19000 | #Constraints:      56339
881.11/883.61	c #Conflicts:      20000 | #Constraints:      57339
881.11/883.61	c #Conflicts:      21000 | #Constraints:      58339
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      22000 | #Constraints:      56129
881.11/883.61	c #Conflicts:      23000 | #Constraints:      57129
881.11/883.61	c #Conflicts:      24000 | #Constraints:      58129
881.11/883.61	c #Conflicts:      25000 | #Constraints:      59129
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      26000 | #Constraints:      56736
881.11/883.61	c #Conflicts:      27000 | #Constraints:      57736
881.11/883.61	c #Conflicts:      28000 | #Constraints:      58736
881.11/883.61	c #Conflicts:      29000 | #Constraints:      59736
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      30000 | #Constraints:      57152
881.11/883.61	c #Conflicts:      31000 | #Constraints:      58152
881.11/883.61	c #Conflicts:      32000 | #Constraints:      59152
881.11/883.61	c #Conflicts:      33000 | #Constraints:      60152
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      34000 | #Constraints:      57350
881.11/883.61	c #Conflicts:      35000 | #Constraints:      58350
881.11/883.61	c #Conflicts:      36000 | #Constraints:      59350
881.11/883.61	c #Conflicts:      37000 | #Constraints:      60350
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      38000 | #Constraints:      57362
881.11/883.61	c #Conflicts:      39000 | #Constraints:      58362
881.11/883.61	c #Conflicts:      40000 | #Constraints:      59362
881.11/883.61	c #Conflicts:      41000 | #Constraints:      60362
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      42000 | #Constraints:      57199
881.11/883.61	c #Conflicts:      43000 | #Constraints:      58199
881.11/883.61	c #Conflicts:      44000 | #Constraints:      59199
881.11/883.61	c #Conflicts:      45000 | #Constraints:      60199
881.11/883.61	c #Conflicts:      46000 | #Constraints:      61199
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      47000 | #Constraints:      57798
881.11/883.61	c #Conflicts:      48000 | #Constraints:      58798
881.11/883.61	c #Conflicts:      49000 | #Constraints:      59798
881.11/883.61	c #Conflicts:      50000 | #Constraints:      60798
881.11/883.61	c #Conflicts:      51000 | #Constraints:      61798
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      52000 | #Constraints:      58214
881.11/883.61	c #Conflicts:      53000 | #Constraints:      59214
881.11/883.61	c #Conflicts:      54000 | #Constraints:      60214
881.11/883.61	c #Conflicts:      55000 | #Constraints:      61214
881.11/883.61	c #Conflicts:      56000 | #Constraints:      62214
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      57000 | #Constraints:      58416
881.11/883.61	c #Conflicts:      58000 | #Constraints:      59416
881.11/883.61	c #Conflicts:      59000 | #Constraints:      60416
881.11/883.61	c #Conflicts:      60000 | #Constraints:      61416
881.11/883.61	c #Conflicts:      61000 | #Constraints:      62416
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      62000 | #Constraints:      58449
881.11/883.61	c #Conflicts:      63000 | #Constraints:      59449
881.11/883.61	c #Conflicts:      64000 | #Constraints:      60449
881.11/883.61	c #Conflicts:      65000 | #Constraints:      61449
881.11/883.61	c #Conflicts:      66000 | #Constraints:      62449
881.11/883.61	c INPROCESSING
881.11/883.61	c GARBAGE COLLECT
881.11/883.61	c #Conflicts:      67000 | #Constraints:      58258
881.11/883.61	c #Conflicts:      68000 | #Constraints:      59258
1261.85/1265.20	c #Conflicts:      69000 | #Constraints:      60258
1261.85/1265.20	c #Conflicts:      70000 | #Constraints:      61258
1261.85/1265.20	c #Conflicts:      71000 | #Constraints:      62258
1261.85/1265.20	c #Conflicts:      72000 | #Constraints:      63258
1261.85/1265.20	c INPROCESSING
1261.85/1265.20	c GARBAGE COLLECT
1261.85/1265.20	c #Conflicts:      73000 | #Constraints:      58887
1261.85/1265.20	c #Conflicts:      74000 | #Constraints:      59887
1261.85/1265.20	c #Conflicts:      75000 | #Constraints:      60887
1261.85/1265.20	c #Conflicts:      76000 | #Constraints:      61887
1261.85/1265.20	c #Conflicts:      77000 | #Constraints:      62887
1261.85/1265.20	c #Conflicts:      78000 | #Constraints:      63887
1261.85/1265.20	c INPROCESSING
1261.85/1265.20	c GARBAGE COLLECT
1261.85/1265.20	c #Conflicts:      79000 | #Constraints:      59320
1261.85/1265.20	c #Conflicts:      80000 | #Constraints:      60320
1261.85/1265.20	c #Conflicts:      81000 | #Constraints:      61320
1261.85/1265.20	c #Conflicts:      82000 | #Constraints:      62320
1261.85/1265.20	c #Conflicts:      83000 | #Constraints:      63320
1261.85/1265.20	c #Conflicts:      84000 | #Constraints:      64320
1261.85/1265.20	c INPROCESSING
1261.85/1265.20	c GARBAGE COLLECT
1261.85/1265.20	c #Conflicts:      85000 | #Constraints:      59595
1261.85/1265.20	c #Conflicts:      86000 | #Constraints:      60595
1261.85/1265.21	c #Conflicts:      87000 | #Constraints:      61595
1261.85/1265.21	c #Conflicts:      88000 | #Constraints:      62595
1261.85/1265.21	c #Conflicts:      89000 | #Constraints:      63595
1261.85/1265.21	c #Conflicts:      90000 | #Constraints:      64595
1261.85/1265.21	c INPROCESSING
1261.85/1265.21	c GARBAGE COLLECT
1261.85/1265.21	c #Conflicts:      91000 | #Constraints:      59676
1261.85/1265.21	c #Conflicts:      92000 | #Constraints:      60676
1261.85/1265.21	c #Conflicts:      93000 | #Constraints:      61676
1261.85/1265.21	c #Conflicts:      94000 | #Constraints:      62676
1261.85/1265.21	c #Conflicts:      95000 | #Constraints:      63676
1261.85/1265.21	c #Conflicts:      96000 | #Constraints:      64676
1261.85/1265.21	c INPROCESSING
1261.85/1265.21	c GARBAGE COLLECT
1261.85/1265.21	c #Conflicts:      97000 | #Constraints:      59549
1261.85/1265.21	c #Conflicts:      98000 | #Constraints:      60549
1261.85/1265.21	c #Conflicts:      99000 | #Constraints:      61549
1261.85/1265.21	c #Conflicts:     100000 | #Constraints:      62549
1261.85/1265.21	c #Conflicts:     101000 | #Constraints:      63549
1261.85/1265.21	c #Conflicts:     102000 | #Constraints:      64549
1261.85/1265.21	c #Conflicts:     103000 | #Constraints:      65549
1261.85/1265.21	c INPROCESSING
1261.85/1265.21	c #Conflicts:     104000 | #Constraints:      60187
1261.85/1265.21	c #Conflicts:     105000 | #Constraints:      61187
1261.85/1265.21	c #Conflicts:     106000 | #Constraints:      62187
1261.85/1265.21	c #Conflicts:     107000 | #Constraints:      63187
1261.85/1265.21	c #Conflicts:     108000 | #Constraints:      64187
1261.85/1265.21	c #Conflicts:     109000 | #Constraints:      65187
1261.85/1265.21	c #Conflicts:     110000 | #Constraints:      66187
1261.85/1265.21	c #Conflicts:     111000 | #Constraints:      67187
1261.85/1265.21	c #Conflicts:     112000 | #Constraints:      68187
1261.85/1265.21	c #Conflicts:     113000 | #Constraints:      69187
1261.85/1265.21	c cpu time 1003.39 s
1261.85/1265.21	c deterministic time 1755197014 1.76e+09
1261.85/1265.21	c optimization time 0.00138 s
1261.85/1265.21	c total solve time 1002.22 s
1261.85/1265.21	c core-guided solve time 0 s
1261.85/1265.21	c propagation time 105.164 s
1261.85/1265.21	c conflict analysis time 3.10188 s
1261.85/1265.21	c propagations 24104178
1261.85/1265.21	c resolve steps 300841
1261.85/1265.21	c decisions 399024322
1261.85/1265.21	c conflicts 113705
1261.85/1265.21	c restarts 295
1261.85/1265.21	c inprocessing phases 24
1261.85/1265.21	c garbage collections 22 ,( 91.67 )
1261.85/1265.21	c input clauses 26605 ,( 50.67 )
1261.85/1265.21	c input cardinalities 25902 ,( 49.33 )
1261.85/1265.21	c input general constraints 0 ,( 0.00 )
1261.85/1265.21	c input average constraint length 34.90
1261.85/1265.21	c input average constraint degree 17.28
1261.85/1265.21	c learned clauses 23570 ,( 20.73 )
1261.85/1265.21	c learned cardinalities 90118 ,( 79.26 )
1261.85/1265.21	c learned general constraints 16 ,( 0.01 )
1261.85/1265.21	c learned average constraint length 332.00
1261.85/1265.21	c learned average constraint degree 170.75
1261.85/1265.21	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1261.85/1265.21	c counting CF 32, 64, 128, Arb: 16 , 0 , 0 , 0
1261.85/1265.21	c watched   constraints 0 ,( 0.00 ) 
1261.85/1265.21	c counting  constraints 16 ,( 100.00 ) 
1261.85/1265.21	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 13456585 , 12382444 , 652 ,( 0 , 652 )
1261.85/1265.21	c gcd simplifications 0
1261.85/1265.21	c detected cardinalities 0
1261.85/1265.21	c weakened non-implied lits 66
1261.85/1265.21	c weakened non-implying lits 0
1261.85/1265.21	c original variables 837976
1261.85/1265.21	c clausal propagations 11958938
1261.85/1265.21	c cardinality propagations 11505334
1261.85/1265.21	c watched propagations 0
1261.85/1265.21	c counting propagations 43
1261.85/1265.21	c watch lookups 25889419
1261.85/1265.21	c watch backjump lookups 0
1261.85/1265.21	c watch checks 406438838
1261.85/1265.21	c propagation checks 431435603
1261.85/1265.21	c constraint additions 44999470
1261.85/1265.21	c trail pops 423242183
1261.85/1265.21	c formula constraints 52507
1261.85/1265.21	c learned constraints 113704
1261.85/1265.21	c bound constraints 0
1261.85/1265.21	c core-guided constraints 0
1261.95/1265.33	c encountered formula constraints 191903
1261.95/1265.33	c encountered learned constraints 222643
1261.95/1265.33	c encountered bound constraints 0
1261.95/1265.33	c encountered core-guided constraints 0
1261.95/1265.33	c LP total time 7.15858 s
1261.95/1265.33	c LP solve time 6.68 s
1261.95/1265.33	c LP constraints added 52507
1261.95/1265.33	c LP constraints removed 0
1261.95/1265.33	c LP pivots internal 42000
1261.95/1265.33	c LP pivots root 21000
1261.95/1265.33	c LP calls 6
1261.95/1265.33	c LP optimalities 0
1261.95/1265.33	c LP no pivot count 0
1261.95/1265.33	c LP infeasibilities 0
1261.95/1265.33	c LP valid Farkas constraints 0
1261.95/1265.33	c LP learned Farkas constraints 0
1261.95/1265.33	c LP basis resets 0
1261.95/1265.33	c LP cycling count 0
1261.95/1265.33	c LP singular count 0
1261.95/1265.33	c LP no primal count 0
1261.95/1265.33	c LP no farkas count 0
1261.95/1265.33	c LP other issue count 0
1261.95/1265.33	c LP Gomory cuts 0
1261.95/1265.33	c LP learned cuts 0
1261.95/1265.33	c LP deleted cuts 0
1261.95/1265.33	c LP encountered Gomory constraints 0
1261.95/1265.33	c LP encountered Farkas constraints 0
1261.95/1265.33	c LP encountered learned Farkas constraints 0
1261.95/1265.33	c CG auxiliary variables introduced 0
1261.95/1265.33	c CG solutions found 0
1261.95/1265.33	c CG cores constructed 0
1261.95/1265.33	c CG core cardinality constraints returned 0
1261.95/1265.33	c CG unit cores 0
1261.95/1265.33	c CG single cores 0
1261.95/1265.33	c CG blocks removed during cardinality reduction 0
1261.95/1265.33	c CG first core best 0
1261.95/1265.33	c CG decision core best 0
1261.95/1265.33	c CG core reduction tie 0
1261.95/1265.33	c CG core degree average 0.00
1261.95/1265.33	c CG core slack average 0.00
1261.95/1265.33	c CG core upper bound improvements 0
1261.95/1265.33	c STR number of successful calls 0
1261.95/1265.33	c STR number of unsuccessful calls 0
1261.95/1265.33	c STR number of inconclusive calls 0
1261.95/1265.33	c STR number of successful attempts 0
1261.95/1265.33	c STR number of unsuccessful attempts 0
1261.95/1265.33	c STR number of inconclusive attempts 0
1261.95/1265.33	c STR average degree increase per successful call inf
1261.95/1265.33	c STR average degree increase per successful attempt inf
1261.95/1265.33	c STR total number of conflicts for successful attempts 0
1261.95/1265.33	c STR total number of conflicts for unsuccessful attempts 0
1261.95/1265.33	c STR total number of conflicts for inconclusive attempts 0
1261.95/1265.33	c STR average number of conflicts per successful attempt inf
1261.95/1265.33	c STR average number of conflicts per unsuccessful attempt inf
1261.95/1265.33	c STR average number of conflicts per inconclusive attempt inf
1261.95/1265.33	c AVG.sumWPerc 70.47 
1261.95/1265.33	c bigint constraints 0 
1261.95/1265.33	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul 22 23:01:59 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: 63837 MiB (53652 MiB free)
  memory of node 1: 64465 MiB (49377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542273-1753215344/watcher-4542273-1753215344 -o /tmp/evaluation-result-4542273-1753215344/solver-4542273-1753215344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157538 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542273-1753215344.opb /tmp/proof-4542273-1753215344 

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 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
solver pid=157970, runsolver pid=157967
Current StackSize limit: 8192 KiB


[startup+0.100073 s]*
/proc/loadavg: 4.11 4.16 4.11 5/254 157972
/proc/meminfo: memFree=105368732/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157972] ppid=157970 vsize=52260 memory=44116 CPUtime=0.07 cores=0,2
/proc/157972/stat : 157972 (pbsuma) R 157970 157970 157528 0 -1 4194304 3941 0 0 0 5 2 0 0 20 0 1 0 237213113 53514240 11029 18446744073709551615 4210688 4653049 140728255488592 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 15183872 140728255494407 140728255494704 140728255494704 140728255500271 0
/proc/157972/statm: 13065 11029 960 108 0 10473 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 56452 KiB
Current children cumulated memory: 47060 KiB

[startup+0.214101 s]*
/proc/loadavg: 4.11 4.16 4.11 5/254 157972
/proc/meminfo: memFree=105298160/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157972] ppid=157970 vsize=62948 memory=55584 CPUtime=0.19 cores=0,2
/proc/157972/stat : 157972 (pbsuma) R 157970 157970 157528 0 -1 4194304 7380 0 0 0 15 4 0 0 20 0 1 0 237213113 64458752 13896 18446744073709551615 4210688 4653049 140728255488592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 15183872 140728255494407 140728255494704 140728255494704 140728255500271 0
/proc/157972/statm: 15737 13896 960 108 0 13145 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67140 KiB
Current children cumulated memory: 58528 KiB

[startup+0.313736 s]*
/proc/loadavg: 4.11 4.16 4.11 5/254 157972
/proc/meminfo: memFree=105192364/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157972] ppid=157970 vsize=78072 memory=69724 CPUtime=0.29 cores=0,2
/proc/157972/stat : 157972 (pbsuma) R 157970 157970 157528 0 -1 4194304 10567 0 0 0 24 5 0 0 20 0 1 0 237213113 79945728 17431 18446744073709551615 4210688 4653049 140728255488592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 15183872 140728255494407 140728255494704 140728255494704 140728255500271 0
/proc/157972/statm: 19518 17431 960 108 0 16926 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82264 KiB
Current children cumulated memory: 72668 KiB

[startup+0.7004 s]
/proc/loadavg: 4.11 4.16 4.11 5/254 157972
/proc/meminfo: memFree=105555796/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157972] ppid=157970 vsize=238436 memory=171840 CPUtime=0.66 cores=0,2
/proc/157972/stat : 157972 (pbsuma) R 157970 157970 157528 0 -1 4194304 21498 0 0 0 54 12 0 0 20 0 1 0 237213113 244158464 42960 18446744073709551615 4210688 4653049 140728255488592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 15183872 140728255494407 140728255494704 140728255494704 140728255500271 0
/proc/157972/statm: 59609 42960 992 108 0 57017 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 242628 KiB
Current children cumulated memory: 174784 KiB

[startup+1.50038 s]
/proc/loadavg: 4.11 4.16 4.11 5/254 157973
/proc/meminfo: memFree=105401496/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157972] ppid=157970 vsize=747620 memory=526100 CPUtime=1.46 cores=0,2
/proc/157972/stat : 157972 (pbsuma) R 157970 157970 157528 0 -1 4194304 37463 0 0 0 118 28 0 0 20 0 1 0 237213113 765562880 131525 18446744073709551615 4210688 4653049 140728255488592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 15183872 140728255494407 140728255494704 140728255494704 140728255500271 0
/proc/157972/statm: 186905 131525 992 108 0 184313 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 751812 KiB
Current children cumulated memory: 529044 KiB

[startup+3.11339 s]
/proc/loadavg: 4.11 4.16 4.11 5/254 157974
/proc/meminfo: memFree=104456440/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=609076 memory=527380 CPUtime=1.46 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 54145 0 0 0 119 27 0 0 20 0 1 0 237213276 623693824 131813 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 152269 131813 2304 1147 0 139696 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 613268 KiB
Current children cumulated memory: 530324 KiB

[startup+6.30037 s]
/proc/loadavg: 4.18 4.17 4.11 5/253 157974
/proc/meminfo: memFree=105238588/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=901252 memory=815624 CPUtime=4.63 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 75481 0 0 0 428 35 0 0 20 0 1 0 237213276 922882048 203906 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 225313 203906 2336 1147 0 212740 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 905444 KiB
Current children cumulated memory: 818568 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.17 4.11 5/250 158098
/proc/meminfo: memFree=108104712/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=901252 memory=815624 CPUtime=11.01 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 75535 0 0 0 1066 35 0 0 20 0 1 0 237213276 922882048 203906 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 225313 203906 2336 1147 0 212740 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 905444 KiB
Current children cumulated memory: 818568 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.16 4.11 5/254 158171
/proc/meminfo: memFree=106234924/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=901252 memory=815624 CPUtime=23.78 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 75535 0 0 0 2343 35 0 0 20 0 1 0 237213276 922882048 203906 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 225313 203906 2336 1147 0 212740 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 905444 KiB
Current children cumulated memory: 818568 KiB

[startup+51.1133 s]
/proc/loadavg: 4.16 4.16 4.11 5/254 158222
/proc/meminfo: memFree=103272296/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=934616 memory=849220 CPUtime=49.33 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 77881 0 0 0 4866 67 0 0 20 0 1 0 237213276 957046784 212305 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 233654 212305 2400 1147 0 221081 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 938808 KiB
Current children cumulated memory: 852164 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/254 158230
/proc/meminfo: memFree=103244280/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=934616 memory=856496 CPUtime=100.37 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 78242 0 0 0 9901 136 0 0 20 0 1 0 237213276 957046784 214124 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 233654 214124 2400 1147 0 221081 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 938808 KiB
Current children cumulated memory: 859440 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 158233
/proc/meminfo: memFree=103180072/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=962144 memory=882268 CPUtime=160.19 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 83746 0 0 0 15628 391 0 0 20 0 1 0 237213276 985235456 220567 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 240536 220567 2400 1147 0 227963 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 966336 KiB
Current children cumulated memory: 885212 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 158235
/proc/meminfo: memFree=102986380/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1000908 memory=921564 CPUtime=220.02 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 91210 0 0 0 20944 1058 0 0 20 0 1 0 237213276 1024929792 230391 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 250227 230391 2400 1147 0 237654 0

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

/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 135913 0 0 0 81142 18653 0 0 20 0 1 0 237213276 1229606912 278739 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 300197 278739 2400 1147 0 287624 0
Current children cumulated CPU time: 999.54 s
Current children cumulated vsize: 1204980 KiB
Current children cumulated memory: 1117900 KiB

[startup+1062.3 s]
/proc/loadavg: 4.16 4.32 4.21 5/253 158270
/proc/meminfo: memFree=102199300/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1215416 memory=1133268 CPUtime=1057.82 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 139130 0 0 0 85402 20380 0 0 20 0 1 0 237213276 1244585984 283317 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 303854 283317 2400 1147 0 291281 0
Current children cumulated CPU time: 1059.41 s
Current children cumulated vsize: 1219608 KiB
Current children cumulated memory: 1136212 KiB

[startup+1122.3 s]
/proc/loadavg: 4.10 4.28 4.20 5/253 158272
/proc/meminfo: memFree=102145440/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1215728 memory=1134676 CPUtime=1117.69 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 139251 0 0 0 89493 22276 0 0 20 0 1 0 237213276 1244905472 283669 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 303932 283669 2400 1147 0 291359 0
Current children cumulated CPU time: 1119.28 s
Current children cumulated vsize: 1219920 KiB
Current children cumulated memory: 1137620 KiB

[startup+1182.3 s]
/proc/loadavg: 4.14 4.26 4.19 5/254 158275
/proc/meminfo: memFree=102075996/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1215904 memory=1136596 CPUtime=1177.55 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 139300 0 0 0 94164 23591 0 0 20 0 1 0 237213276 1245085696 284149 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 303976 284149 2400 1147 0 291403 0
Current children cumulated CPU time: 1179.14 s
Current children cumulated vsize: 1220096 KiB
Current children cumulated memory: 1139540 KiB

[startup+1242.3 s]
/proc/loadavg: 4.10 4.22 4.18 5/254 158277
/proc/meminfo: memFree=101995284/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1169816 CPUtime=1237.41 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143716 0 0 0 99333 24408 0 0 20 0 1 0 237213276 1286492160 292454 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292454 2400 1147 0 301512 0
Current children cumulated CPU time: 1239 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1172760 KiB

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

# cumulated CPU time of all completed processes:  user=1004.81 s, system=257.209 s

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

[startup+1254.4 s]
/proc/loadavg: 4.08 4.21 4.18 5/254 158277
/proc/meminfo: memFree=101993944/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1169816 CPUtime=1249.49 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143716 0 0 0 99859 25090 0 0 20 0 1 0 237213276 1286492160 292454 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292454 2400 1147 0 301512 0
Current children cumulated CPU time: 1251.08 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1172760 KiB

[startup+1260.8 s]
/proc/loadavg: 4.07 4.21 4.18 5/254 158278
/proc/meminfo: memFree=101994700/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1171224 CPUtime=1255.88 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143760 0 0 0 100139 25449 0 0 20 0 1 0 237213276 1286492160 292806 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292806 2400 1147 0 301512 0
Current children cumulated CPU time: 1257.47 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1174168 KiB

[startup+1262.4 s]
/proc/loadavg: 4.07 4.21 4.18 5/254 158278
/proc/meminfo: memFree=101982916/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1171224 CPUtime=1257.47 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143760 0 0 0 100210 25537 0 0 20 0 1 0 237213276 1286492160 292806 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292806 2400 1147 0 301512 0
Current children cumulated CPU time: 1259.06 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1174168 KiB

[startup+1264 s]*
/proc/loadavg: 4.07 4.20 4.18 5/254 158278
/proc/meminfo: memFree=101983168/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1171224 CPUtime=1259.08 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143761 0 0 0 100281 25627 0 0 20 0 1 0 237213276 1286492160 292806 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292806 2400 1147 0 301512 0
Current children cumulated CPU time: 1260.67 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1174168 KiB

[startup+1264.8 s]
/proc/loadavg: 4.07 4.20 4.18 5/254 158278
/proc/meminfo: memFree=101983168/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1171224 CPUtime=1259.86 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143761 0 0 0 100318 25668 0 0 20 0 1 0 237213276 1286492160 292806 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292806 2400 1147 0 301512 0
Current children cumulated CPU time: 1261.45 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1174168 KiB

[startup+1265.2 s]
/proc/loadavg: 4.07 4.20 4.18 5/254 158278
/proc/meminfo: memFree=101983168/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1256340 memory=1171224 CPUtime=1260.26 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143761 0 0 0 100338 25688 0 0 20 0 1 0 237213276 1286492160 292806 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 314085 292806 2400 1147 0 301512 0
Current children cumulated CPU time: 1261.85 s
Current children cumulated vsize: 1260532 KiB
Current children cumulated memory: 1174168 KiB

[startup+1265.3 s]
/proc/loadavg: 4.07 4.20 4.18 5/254 158278
/proc/meminfo: memFree=101983168/131382120 swapFree=33010160/33010684
[pid=157970] ppid=157967 vsize=4192 memory=2944 CPUtime=1.59 cores=0,2
/proc/157970/stat : 157970 (run-dec-break-l) S 157967 157970 157528 0 -1 4194304 238 37592 0 0 0 0 129 30 20 0 1 0 237213112 4292608 736 18446744073709551615 94732187766784 94732188661317 140736914056736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94732188900368 94732188948112 94732219396096 140736914061625 140736914061788 140736914061788 140736914067392 0
/proc/157970/statm: 1048 736 672 219 0 110 0
[pid=157974] ppid=157970 vsize=1008672 memory=940228 CPUtime=1260.36 cores=0,2
/proc/157974/stat : 157974 (roundingsat) R 157970 157970 157528 0 -1 4194304 143789 0 0 0 100347 25689 0 0 20 0 1 0 237213276 1032880128 235057 18446744073709551615 4227072 8923433 140728660359200 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35733504 140728660363544 140728660363814 140728660363814 140728660369386 0
/proc/157974/statm: 252168 235057 2400 1147 0 239595 0
Current children cumulated CPU time: 1261.95 s
Current children cumulated vsize: 1012864 KiB
Current children cumulated memory: 943172 KiB

Child status: 0

Real time (s): 1265.34
CPU time (s): 1262.02
CPU user time (s): 1004.81
CPU system time (s): 257.209
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 1261048
Max. memory (cumulated for all children) (KiB): 1174168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1004.81
system time used= 257.209
maximum resident set size= 1171224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 93872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 2814


# summary of solver processes directly reported to runsolver:
#   pid: 157970
#   total CPU time (s): 1262.02
#   total CPU user time (s): 1004.81
#   total CPU system time (s): 257.209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73146 second user time and 13.1266 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-22 22:15:44
IDJOB=4542273
IDBENCH=163916
IDSOLVER=3358
FILE ID=nodeC003/4542273-1753215344
RUNJOBID= nodeC003-1753211729-157538
SLURM_JOB_ID= 9687799
Free space on /tmp= 431956 MiB

SOLVER NAME= roundingsat+pbsuma-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-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542273-1753215344/watcher-4542273-1753215344 -o /tmp/evaluation-result-4542273-1753215344/solver-4542273-1753215344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157538 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4542273-1753215344.opb /tmp/proof-4542273-1753215344

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

MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=1473273300

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        105642100 kB
MemAvailable:   125718136 kB
Buffers:            2736 kB
Cached:         20844236 kB
SwapCached:           36 kB
Active:          5321628 kB
Inactive:       19738916 kB
Active(anon):    4232084 kB
Inactive(anon):     7604 kB
Active(file):    1089544 kB
Inactive(file): 19731312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             73528 kB
Writeback:             0 kB
AnonPages:       4213920 kB
Mapped:           116620 kB
Shmem:             26116 kB
KReclaimable:     189616 kB
Slab:             280456 kB
SReclaimable:     189616 kB
SUnreclaim:        90840 kB
KernelStack:        4128 kB
PageTables:        11152 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4906420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3608576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431740 MiB
End job on nodeC003 at 2025-07-22 22:36:50