Trace number 4491431

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22adUNSAT cert. 574.796 576.777

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM911cf7319fa5fa56cdd8e7a94536c536
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 benchmark43.6526
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
3.54/3.61	c #variables 168111 #constraints 487525
249.42/250.24	c #Conflicts:       1000 | #Constraints:     488524
249.42/250.24	c #Conflicts:       2000 | #Constraints:     489524
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:       3000 | #Constraints:     475662
249.42/250.24	c #Conflicts:       4000 | #Constraints:     476662
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:       5000 | #Constraints:     476099
249.42/250.24	c #Conflicts:       6000 | #Constraints:     477099
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:       7000 | #Constraints:     476124
249.42/250.24	c #Conflicts:       8000 | #Constraints:     477124
249.42/250.24	c #Conflicts:       9000 | #Constraints:     478124
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      10000 | #Constraints:     464793
249.42/250.24	c #Conflicts:      11000 | #Constraints:     465793
249.42/250.24	c #Conflicts:      12000 | #Constraints:     466793
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      13000 | #Constraints:     465298
249.42/250.24	c #Conflicts:      14000 | #Constraints:     466298
249.42/250.24	c #Conflicts:      15000 | #Constraints:     467298
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      16000 | #Constraints:     465564
249.42/250.24	c #Conflicts:      17000 | #Constraints:     466564
249.42/250.24	c #Conflicts:      18000 | #Constraints:     467564
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      19000 | #Constraints:     465596
249.42/250.24	c #Conflicts:      20000 | #Constraints:     466596
249.42/250.24	c #Conflicts:      21000 | #Constraints:     467596
249.42/250.24	c INPROCESSING
249.42/250.24	c GARBAGE COLLECT
249.42/250.24	c #Conflicts:      22000 | #Constraints:     455817
249.42/250.24	c #Conflicts:      23000 | #Constraints:     456817
249.42/250.24	c #Conflicts:      24000 | #Constraints:     457817
249.42/250.24	c #Conflicts:      25000 | #Constraints:     458817
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      26000 | #Constraints:     456436
249.42/250.24	c #Conflicts:      27000 | #Constraints:     457436
249.42/250.24	c #Conflicts:      28000 | #Constraints:     458436
249.42/250.24	c #Conflicts:      29000 | #Constraints:     459436
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      30000 | #Constraints:     456122
249.42/250.24	c #Conflicts:      31000 | #Constraints:     457122
249.42/250.24	c #Conflicts:      32000 | #Constraints:     458122
249.42/250.24	c #Conflicts:      33000 | #Constraints:     459122
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      34000 | #Constraints:     456332
249.42/250.24	c #Conflicts:      35000 | #Constraints:     457332
249.42/250.24	c #Conflicts:      36000 | #Constraints:     458332
249.42/250.24	c #Conflicts:      37000 | #Constraints:     459332
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      38000 | #Constraints:     456367
249.42/250.24	c #Conflicts:      39000 | #Constraints:     457367
249.42/250.24	c #Conflicts:      40000 | #Constraints:     458367
249.42/250.24	c #Conflicts:      41000 | #Constraints:     459367
249.42/250.24	c INPROCESSING
249.42/250.24	c GARBAGE COLLECT
249.42/250.24	c #Conflicts:      42000 | #Constraints:     456109
249.42/250.24	c #Conflicts:      43000 | #Constraints:     457109
249.42/250.24	c #Conflicts:      44000 | #Constraints:     458109
249.42/250.24	c #Conflicts:      45000 | #Constraints:     459109
249.42/250.24	c #Conflicts:      46000 | #Constraints:     460109
249.42/250.24	c #Conflicts:      47000 | #Constraints:     461109
249.42/250.24	c #Conflicts:      48000 | #Constraints:     462109
249.42/250.24	c #Conflicts:      49000 | #Constraints:     463109
249.42/250.24	c #Conflicts:      50000 | #Constraints:     464109
249.42/250.24	c #Conflicts:      51000 | #Constraints:     465109
249.42/250.24	c #Conflicts:      52000 | #Constraints:     466109
249.42/250.24	c #Conflicts:      53000 | #Constraints:     467109
249.42/250.24	c #Conflicts:      54000 | #Constraints:     468109
249.42/250.24	c #Conflicts:      55000 | #Constraints:     469109
249.42/250.24	c #Conflicts:      56000 | #Constraints:     470109
249.42/250.24	c #Conflicts:      57000 | #Constraints:     471109
249.42/250.24	c #Conflicts:      58000 | #Constraints:     472109
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      59000 | #Constraints:     462450
249.42/250.24	c #Conflicts:      60000 | #Constraints:     463450
249.42/250.24	c #Conflicts:      61000 | #Constraints:     464450
249.42/250.24	c #Conflicts:      62000 | #Constraints:     465450
249.42/250.24	c #Conflicts:      63000 | #Constraints:     466450
249.42/250.24	c #Conflicts:      64000 | #Constraints:     467450
249.42/250.24	c INPROCESSING
249.42/250.24	c GARBAGE COLLECT
249.42/250.24	c #Conflicts:      65000 | #Constraints:     460275
249.42/250.24	c #Conflicts:      66000 | #Constraints:     461275
249.42/250.24	c #Conflicts:      67000 | #Constraints:     462275
249.42/250.24	c #Conflicts:      68000 | #Constraints:     463275
249.42/250.24	c #Conflicts:      69000 | #Constraints:     464275
249.42/250.24	c #Conflicts:      70000 | #Constraints:     465275
249.42/250.24	c INPROCESSING
249.42/250.24	c #Conflicts:      71000 | #Constraints:     459247
249.42/250.24	c #Conflicts:      72000 | #Constraints:     460247
249.42/250.24	c #Conflicts:      73000 | #Constraints:     461247
249.42/250.24	c #Conflicts:      74000 | #Constraints:     462247
505.34/506.91	c #Conflicts:      75000 | #Constraints:     463247
505.34/506.91	c #Conflicts:      76000 | #Constraints:     464247
505.34/506.91	c INPROCESSING
505.34/506.91	c #Conflicts:      77000 | #Constraints:     457723
505.34/506.91	c #Conflicts:      78000 | #Constraints:     458723
505.34/506.91	c #Conflicts:      79000 | #Constraints:     459723
505.34/506.91	c #Conflicts:      80000 | #Constraints:     460723
505.34/506.91	c #Conflicts:      81000 | #Constraints:     461723
505.34/506.91	c #Conflicts:      82000 | #Constraints:     462723
505.34/506.91	c #Conflicts:      83000 | #Constraints:     463723
505.34/506.91	c #Conflicts:      84000 | #Constraints:     464723
505.34/506.91	c #Conflicts:      85000 | #Constraints:     465723
505.34/506.91	c #Conflicts:      86000 | #Constraints:     466723
505.34/506.91	c #Conflicts:      87000 | #Constraints:     467723
505.34/506.91	c #Conflicts:      88000 | #Constraints:     468723
505.34/506.91	c #Conflicts:      89000 | #Constraints:     469723
505.34/506.91	c #Conflicts:      90000 | #Constraints:     470723
505.34/506.91	c #Conflicts:      91000 | #Constraints:     471723
505.34/506.91	c #Conflicts:      92000 | #Constraints:     472723
505.34/506.91	c #Conflicts:      93000 | #Constraints:     473723
505.34/506.91	c #Conflicts:      94000 | #Constraints:     474723
505.34/506.91	c #Conflicts:      95000 | #Constraints:     475723
505.34/506.91	c #Conflicts:      96000 | #Constraints:     476723
505.34/506.91	c #Conflicts:      97000 | #Constraints:     477723
505.34/506.91	c #Conflicts:      98000 | #Constraints:     478723
505.34/506.91	c #Conflicts:      99000 | #Constraints:     479723
505.34/506.91	c INPROCESSING
505.34/506.91	c GARBAGE COLLECT
505.34/506.91	c #Conflicts:     100000 | #Constraints:     461606
505.34/506.91	c #Conflicts:     101000 | #Constraints:     462606
505.34/506.91	c #Conflicts:     102000 | #Constraints:     463606
505.34/506.91	c #Conflicts:     103000 | #Constraints:     464606
505.34/506.91	c #Conflicts:     104000 | #Constraints:     465606
505.34/506.91	c #Conflicts:     105000 | #Constraints:     466606
505.34/506.91	c #Conflicts:     106000 | #Constraints:     467606
505.34/506.91	c INPROCESSING
505.34/506.91	c #Conflicts:     107000 | #Constraints:     457670
505.34/506.91	c #Conflicts:     108000 | #Constraints:     458670
505.34/506.91	c #Conflicts:     109000 | #Constraints:     459670
505.34/506.91	c #Conflicts:     110000 | #Constraints:     460670
505.34/506.91	c #Conflicts:     111000 | #Constraints:     461670
505.34/506.91	c #Conflicts:     112000 | #Constraints:     462670
505.34/506.91	c #Conflicts:     113000 | #Constraints:     463670
505.34/506.91	c #Conflicts:     114000 | #Constraints:     464670
505.34/506.91	c INPROCESSING
505.34/506.91	c GARBAGE COLLECT
505.34/506.91	c #Conflicts:     115000 | #Constraints:     455874
505.34/506.91	c #Conflicts:     116000 | #Constraints:     456874
505.34/506.91	c #Conflicts:     117000 | #Constraints:     457874
505.34/506.91	c #Conflicts:     118000 | #Constraints:     458874
505.34/506.91	c #Conflicts:     119000 | #Constraints:     459874
505.34/506.91	c #Conflicts:     120000 | #Constraints:     460874
505.34/506.91	c #Conflicts:     121000 | #Constraints:     461874
505.34/506.91	c INPROCESSING
505.34/506.91	c #Conflicts:     122000 | #Constraints:     454372
505.34/506.91	c #Conflicts:     123000 | #Constraints:     455372
505.34/506.91	c #Conflicts:     124000 | #Constraints:     456372
505.34/506.91	c #Conflicts:     125000 | #Constraints:     457372
505.34/506.91	c #Conflicts:     126000 | #Constraints:     458372
505.34/506.91	c #Conflicts:     127000 | #Constraints:     459372
505.34/506.91	c #Conflicts:     128000 | #Constraints:     460372
505.34/506.91	c #Conflicts:     129000 | #Constraints:     461372
505.34/506.91	c #Conflicts:     130000 | #Constraints:     462372
505.34/506.91	c #Conflicts:     131000 | #Constraints:     463372
505.34/506.91	c #Conflicts:     132000 | #Constraints:     464372
505.34/506.91	c #Conflicts:     133000 | #Constraints:     465372
505.34/506.91	c #Conflicts:     134000 | #Constraints:     466372
505.34/506.91	c #Conflicts:     135000 | #Constraints:     467372
505.34/506.91	c #Conflicts:     136000 | #Constraints:     468372
505.34/506.91	c #Conflicts:     137000 | #Constraints:     469372
505.34/506.91	c #Conflicts:     138000 | #Constraints:     470372
505.34/506.91	c #Conflicts:     139000 | #Constraints:     471372
505.34/506.91	c #Conflicts:     140000 | #Constraints:     472372
505.34/506.91	c #Conflicts:     141000 | #Constraints:     473372
505.34/506.91	c #Conflicts:     142000 | #Constraints:     474372
505.34/506.91	c #Conflicts:     143000 | #Constraints:     475372
505.34/506.91	c #Conflicts:     144000 | #Constraints:     476372
505.34/506.91	c #Conflicts:     145000 | #Constraints:     477372
505.34/506.91	c #Conflicts:     146000 | #Constraints:     478372
505.34/506.91	c #Conflicts:     147000 | #Constraints:     479372
505.34/506.91	c #Conflicts:     148000 | #Constraints:     480372
505.34/506.91	c #Conflicts:     149000 | #Constraints:     481372
505.34/506.91	c INPROCESSING
505.34/506.91	c GARBAGE COLLECT
505.34/506.91	c #Conflicts:     150000 | #Constraints:     464186
574.63/576.40	c #Conflicts:     151000 | #Constraints:     465186
574.63/576.40	c #Conflicts:     152000 | #Constraints:     466186
574.63/576.40	c #Conflicts:     153000 | #Constraints:     467186
574.63/576.40	c #Conflicts:     154000 | #Constraints:     468186
574.63/576.40	c #Conflicts:     155000 | #Constraints:     469186
574.63/576.40	c #Conflicts:     156000 | #Constraints:     470186
574.63/576.40	c #Conflicts:     157000 | #Constraints:     471186
574.63/576.40	c #Conflicts:     158000 | #Constraints:     472186
574.63/576.40	c INPROCESSING
574.63/576.40	c GARBAGE COLLECT
574.63/576.40	c #Conflicts:     159000 | #Constraints:     458695
574.63/576.40	c #Conflicts:     160000 | #Constraints:     459695
574.63/576.40	c #Conflicts:     161000 | #Constraints:     460695
574.63/576.40	c #Conflicts:     162000 | #Constraints:     461695
574.63/576.40	c #Conflicts:     163000 | #Constraints:     462695
574.63/576.40	c #Conflicts:     164000 | #Constraints:     463695
574.63/576.40	c #Conflicts:     165000 | #Constraints:     464695
574.63/576.40	c #Conflicts:     166000 | #Constraints:     465695
574.63/576.40	c #Conflicts:     167000 | #Constraints:     466695
574.63/576.40	c #Conflicts:     168000 | #Constraints:     467695
574.63/576.40	c INPROCESSING
574.63/576.40	c GARBAGE COLLECT
574.63/576.40	c #Conflicts:     169000 | #Constraints:     453671
574.63/576.40	c #Conflicts:     170000 | #Constraints:     454671
574.63/576.40	c #Conflicts:     171000 | #Constraints:     455671
574.63/576.40	c #Conflicts:     172000 | #Constraints:     456671
574.63/576.40	c #Conflicts:     173000 | #Constraints:     457671
574.63/576.40	c #Conflicts:     174000 | #Constraints:     458671
574.63/576.40	c #Conflicts:     175000 | #Constraints:     459671
574.63/576.40	c cpu time 571.82 s
574.63/576.40	c deterministic time 7348658669 7.35e+09
574.63/576.40	c optimization time 0.000314 s
574.63/576.40	c total solve time 569.093 s
574.63/576.40	c core-guided solve time 0 s
574.63/576.40	c propagation time 283.38 s
574.63/576.40	c conflict analysis time 84.0288 s
574.63/576.40	c propagations 1333108405
574.63/576.40	c resolve steps 14805873
574.63/576.40	c decisions 627009
574.63/576.40	c conflicts 175169
574.63/576.40	c restarts 480
574.63/576.40	c inprocessing phases 24
574.63/576.40	c garbage collections 8 ,( 33.33 )
574.63/576.40	c input clauses 468727 ,( 96.14 )
574.63/576.40	c input cardinalities 0 ,( 0.00 )
574.63/576.40	c input general constraints 18798 ,( 3.86 )
574.63/576.40	c input average constraint length 2.79
574.63/576.40	c input average constraint degree 4.98
574.63/576.40	c learned clauses 156803 ,( 89.52 )
574.63/576.40	c learned cardinalities 0 ,( 0.00 )
574.63/576.40	c learned general constraints 18365 ,( 10.48 )
574.63/576.40	c learned average constraint length 95.79
574.63/576.40	c learned average constraint degree 3089.16
574.63/576.40	c watched  CF 32, 64, 128, Arb: 4544 , 0 , 0 , 0
574.63/576.40	c counting CF 32, 64, 128, Arb: 32619 , 0 , 0 , 0
574.63/576.40	c watched   constraints 4544 ,( 12.23 ) 
574.63/576.40	c counting  constraints 32619 ,( 87.77 ) 
574.63/576.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1495745865 , 0 , 105832222 ,( 25988877 , 79843345 )
574.63/576.40	c gcd simplifications 7569
574.63/576.40	c detected cardinalities 0
574.63/576.40	c weakened non-implied lits 435419
574.63/576.40	c weakened non-implying lits 6732
574.63/576.40	c original variables 168111
574.63/576.40	c clausal propagations 1328445769
574.63/576.40	c cardinality propagations 0
574.63/576.40	c watched propagations 3711
574.63/576.40	c counting propagations 4483042
574.63/576.40	c watch lookups 2232214757
574.63/576.40	c watch backjump lookups 0
574.63/576.40	c watch checks 943374579
574.63/576.40	c propagation checks 1427595855
574.63/576.40	c constraint additions 77781329
574.63/576.40	c trail pops 1333893734
574.63/576.40	c formula constraints 487525
574.63/576.40	c learned constraints 175168
574.63/576.40	c bound constraints 0
574.63/576.40	c core-guided constraints 0
574.63/576.40	c encountered formula constraints 13304540
574.63/576.40	c encountered learned constraints 1676502
574.63/576.40	c encountered bound constraints 0
574.63/576.40	c encountered core-guided constraints 0
574.63/576.40	c LP total time 137.214 s
574.63/576.40	c LP solve time 136.86 s
574.63/576.40	c LP constraints added 487525
574.63/576.40	c LP constraints removed 0
574.63/576.40	c LP pivots internal 42000
574.63/576.40	c LP pivots root 21000
574.63/576.40	c LP calls 6
574.63/576.40	c LP optimalities 0
574.63/576.40	c LP no pivot count 0
574.63/576.40	c LP infeasibilities 0
574.63/576.40	c LP valid Farkas constraints 0
574.63/576.40	c LP learned Farkas constraints 0
574.63/576.40	c LP basis resets 0
574.63/576.40	c LP cycling count 0
574.63/576.40	c LP singular count 0
574.63/576.40	c LP no primal count 0
574.63/576.40	c LP no farkas count 0
574.63/576.40	c LP other issue count 0
574.63/576.40	c LP Gomory cuts 0
574.63/576.40	c LP learned cuts 0
574.63/576.40	c LP deleted cuts 0
574.63/576.40	c LP encountered Gomory constraints 0
574.63/576.40	c LP encountered Farkas constraints 0
574.63/576.40	c LP encountered learned Farkas constraints 0
574.63/576.40	c CG auxiliary variables introduced 0
574.63/576.40	c CG solutions found 0
574.63/576.40	c CG cores constructed 0
574.63/576.40	c CG core cardinality constraints returned 0
574.63/576.40	c CG unit cores 0
574.63/576.40	c CG single cores 0
574.63/576.40	c CG blocks removed during cardinality reduction 0
574.63/576.40	c CG first core best 0
574.63/576.40	c CG decision core best 0
574.63/576.40	c CG core reduction tie 0
574.63/576.40	c CG core degree average 0.00
574.71/576.77	c CG core slack average 0.00
574.71/576.77	c CG core upper bound improvements 0
574.71/576.77	c STR number of successful calls 0
574.71/576.77	c STR number of unsuccessful calls 0
574.71/576.77	c STR number of inconclusive calls 0
574.71/576.77	c STR number of successful attempts 0
574.71/576.77	c STR number of unsuccessful attempts 0
574.71/576.77	c STR number of inconclusive attempts 0
574.71/576.77	c STR average degree increase per successful call inf
574.71/576.77	c STR average degree increase per successful attempt inf
574.71/576.77	c STR total number of conflicts for successful attempts 0
574.71/576.77	c STR total number of conflicts for unsuccessful attempts 0
574.71/576.77	c STR total number of conflicts for inconclusive attempts 0
574.71/576.77	c STR average number of conflicts per successful attempt inf
574.71/576.77	c STR average number of conflicts per unsuccessful attempt inf
574.71/576.77	c STR average number of conflicts per inconclusive attempt inf
574.71/576.77	c AVG.sumWPerc 79.04 
574.71/576.77	c bigint constraints 0 
574.71/576.77	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 18:13:18 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: 63794 MiB (63175 MiB free)
  memory of node 1: 64507 MiB (64029 MiB free)
  node distances:
     10  21
     21  10

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

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=13935, runsolver pid=13932
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 1.20 1.72 2.53 6/255 13937
/proc/meminfo: memFree=130221168/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=101464 memory=52356 CPUtime=0.07 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 6657 0 0 0 3 4 0 0 20 0 1 0 29916962 103899136 13057 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 25366 13057 2016 1147 0 12793 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 105656 KiB
Current children cumulated memory: 55428 KiB

[startup+0.2171 s]*
/proc/loadavg: 1.20 1.72 2.53 5/255 13937
/proc/meminfo: memFree=130215624/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=105376 memory=56580 CPUtime=0.19 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 7757 0 0 0 12 7 0 0 20 0 1 0 29916962 107905024 14145 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 26344 14145 2016 1147 0 13771 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109568 KiB
Current children cumulated memory: 59652 KiB

[startup+0.312767 s]*
/proc/loadavg: 1.34 1.74 2.53 5/252 13937
/proc/meminfo: memFree=130210088/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=109388 memory=60992 CPUtime=0.28 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 9016 0 0 0 18 10 0 0 20 0 1 0 29916962 112013312 15248 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 27347 15248 2016 1147 0 14774 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 113580 KiB
Current children cumulated memory: 64064 KiB

[startup+0.700367 s]
/proc/loadavg: 1.34 1.74 2.53 5/251 13953
/proc/meminfo: memFree=130233188/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=125116 memory=78524 CPUtime=0.66 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 13561 0 0 0 48 18 0 0 20 0 1 0 29916962 128118784 19631 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 31279 19631 2016 1147 0 18706 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 129308 KiB
Current children cumulated memory: 81596 KiB

[startup+1.50038 s]
/proc/loadavg: 1.34 1.74 2.53 3/245 13953
/proc/meminfo: memFree=130191340/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=171324 memory=121936 CPUtime=1.45 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 25549 0 0 0 107 38 0 0 20 0 1 0 29916962 175435776 30484 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 42831 30484 2016 1147 0 30258 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 175516 KiB
Current children cumulated memory: 125008 KiB

[startup+3.11332 s]
/proc/loadavg: 1.34 1.74 2.53 5/255 14031
/proc/meminfo: memFree=129586676/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=481200 memory=404304 CPUtime=3.06 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 60321 0 0 0 230 76 0 0 20 0 1 0 29916962 492748800 101076 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 120300 101076 2240 1147 0 107727 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 485392 KiB
Current children cumulated memory: 407376 KiB

[startup+6.30038 s]
/proc/loadavg: 1.56 1.78 2.54 5/255 14078
/proc/meminfo: memFree=128947040/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=827692 memory=743692 CPUtime=6.23 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 82607 0 0 0 532 91 0 0 20 0 1 0 29916962 847556608 185923 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 206923 185923 2272 1147 0 194350 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 831884 KiB
Current children cumulated memory: 746764 KiB

[startup+12.7004 s]
/proc/loadavg: 1.91 1.85 2.56 5/255 14171
/proc/meminfo: memFree=128578248/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=854380 memory=763180 CPUtime=12.62 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 84908 0 0 0 1168 94 0 0 20 0 1 0 29916962 874885120 190795 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 213595 190795 2336 1147 0 201022 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 858572 KiB
Current children cumulated memory: 766252 KiB

[startup+25.5004 s]
/proc/loadavg: 2.23 1.92 2.57 5/256 14173
/proc/meminfo: memFree=128467372/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=854380 memory=766568 CPUtime=25.38 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 85259 0 0 0 2443 95 0 0 20 0 1 0 29916962 874885120 191642 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 213595 191642 2336 1147 0 201022 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 858572 KiB
Current children cumulated memory: 769640 KiB

[startup+51.1134 s]
/proc/loadavg: 2.93 2.12 2.62 5/257 14221
/proc/meminfo: memFree=128437476/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=872848 memory=781976 CPUtime=50.92 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 86604 0 0 0 4990 102 0 0 20 0 1 0 29916962 893796352 195494 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 218212 195494 2336 1147 0 205639 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 877040 KiB
Current children cumulated memory: 785048 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 2.51 2.73 5/258 14224
/proc/meminfo: memFree=128262544/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=880912 memory=797420 CPUtime=101.95 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 89968 0 0 0 10078 117 0 0 20 0 1 0 29916962 902053888 199355 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 220228 199355 2336 1147 0 207655 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 885104 KiB
Current children cumulated memory: 800492 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 2.93 2.86 5/259 14227
/proc/meminfo: memFree=127982096/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=889696 memory=803180 CPUtime=161.78 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 91491 0 0 0 16037 141 0 0 20 0 1 0 29916962 911048704 200795 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 222424 200795 2336 1147 0 209851 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 893888 KiB
Current children cumulated memory: 806252 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 3.14 2.94 5/259 14229
/proc/meminfo: memFree=127825956/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=908504 memory=825752 CPUtime=221.6 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 94144 0 0 0 22008 152 0 0 20 0 1 0 29916962 930308096 206438 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 227126 206438 2336 1147 0 214553 0

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

/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98828 0 0 0 39885 220 0 0 20 0 1 0 29916962 975368192 216152 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 216152 2336 1147 0 225554 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 867680 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.71 3.23 5/260 14707
/proc/meminfo: memFree=127555456/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=864608 CPUtime=460.87 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98932 0 0 0 45843 244 0 0 20 0 1 0 29916962 975368192 216152 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 216152 2336 1147 0 225554 0
Current children cumulated CPU time: 460.87 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 867680 KiB

[startup+522.3 s]
/proc/loadavg: 4.10 3.78 3.28 5/261 14712
/proc/meminfo: memFree=126979540/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=879724 CPUtime=520.69 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98945 0 0 0 51805 264 0 0 20 0 1 0 29916962 975368192 219931 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 219931 2336 1147 0 225554 0
Current children cumulated CPU time: 520.69 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 882796 KiB

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

# cumulated CPU time of all completed processes:  user=571.956 s, system=2.83962 s

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

[startup+537.6 s]
/proc/loadavg: 4.08 3.79 3.29 5/263 14714
/proc/meminfo: memFree=126861404/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=535.94 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98952 0 0 0 53326 268 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 535.94 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+563.2 s]
/proc/loadavg: 4.11 3.82 3.32 5/263 14714
/proc/meminfo: memFree=126644980/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=561.47 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 55871 276 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 561.47 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+569.6 s]
/proc/loadavg: 4.10 3.83 3.32 5/261 14715
/proc/meminfo: memFree=126619440/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=567.85 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 56506 279 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 567.85 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+572.8 s]
/proc/loadavg: 4.09 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126592988/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=571.04 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 56823 281 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 571.04 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+574.4 s]
/proc/loadavg: 4.09 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126577496/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=572.64 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 56983 281 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 572.64 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+576 s]*
/proc/loadavg: 4.08 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126545240/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=574.25 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 57143 282 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 574.25 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+576.4 s]
/proc/loadavg: 4.08 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126545240/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=574.63 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98953 0 0 0 57181 282 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 574.63 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+576.6 s]
/proc/loadavg: 4.08 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126545240/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=952508 memory=880364 CPUtime=574.64 cores=0,2
/proc/13937/stat : 13937 (roundingsat) D 13935 13935 11065 0 -1 4194304 98953 0 0 0 57182 282 0 0 20 0 1 0 29916962 975368192 220091 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 238127 220091 2336 1147 0 225554 0
Current children cumulated CPU time: 574.64 s
Current children cumulated vsize: 956700 KiB
Current children cumulated memory: 883436 KiB

[startup+576.7 s]
/proc/loadavg: 4.08 3.83 3.33 5/261 14715
/proc/meminfo: memFree=126545240/131382112 swapFree=33010684/33010684
[pid=13935] ppid=13932 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/13935/stat : 13935 (run-dec-ls-log.) S 13932 13935 11065 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 29916961 4292608 768 18446744073709551615 94135057760256 94135058654789 140727191132336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94135058893840 94135058941584 94135071911936 140727191136539 140727191136737 140727191136737 140727191142339 0
/proc/13935/statm: 1048 768 704 219 0 110 0
[pid=13937] ppid=13935 vsize=624960 memory=573560 CPUtime=574.71 cores=0,2
/proc/13937/stat : 13937 (roundingsat) R 13935 13935 11065 0 -1 4194304 98986 0 0 0 57188 283 0 0 20 0 1 0 29916962 639959040 143390 18446744073709551615 4227072 8923433 140728747850400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12492800 140728747854160 140728747854376 140728747854376 140728747859946 0
/proc/13937/statm: 156240 143390 2336 1147 0 143667 0
Current children cumulated CPU time: 574.71 s
Current children cumulated vsize: 629152 KiB
Current children cumulated memory: 576632 KiB

Child status: 0

Real time (s): 576.777
CPU time (s): 574.796
CPU user time (s): 571.956
CPU system time (s): 2.83962
CPU usage (%): 99.6565
Max. virtual memory (cumulated for all children) (KiB): 956700
Max. memory (cumulated for all children) (KiB): 883436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 571.956
system time used= 2.83962
maximum resident set size= 880364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 442296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 602
involuntary context switches= 1326


# summary of solver processes directly reported to runsolver:
#   pid: 13935
#   total CPU time (s): 574.796
#   total CPU user time (s): 571.956
#   total CPU system time (s): 2.83962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.14375 second user time and 5.86462 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-28 22:26:12
IDJOB=4491431
IDBENCH=147705
IDSOLVER=3354
FILE ID=nodeC009/4491431-1751142371
RUNJOBID= nodeC009-1751142371-13873
SLURM_JOB_ID= 9587409
Free space on /tmp= 433016 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491431-1751142371/watcher-4491431-1751142371 -o /tmp/evaluation-result-4491431-1751142371/solver-4491431-1751142371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751142371-13873 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4491431-1751142371.opb PROOFDIR/proof-4491431-1751142371

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

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=1723719833

nodeC009 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		: 1197.226
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.85
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		: 1197.231
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.85
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.479
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.85
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.329
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.85
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		: 1197.294
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.85
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		: 1197.222
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.85
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.262
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.85
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.178
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130275292 kB
MemAvailable:   129903764 kB
Buffers:            3280 kB
Cached:           424308 kB
SwapCached:            0 kB
Active:           343560 kB
Inactive:         213684 kB
Active(anon):     148272 kB
Inactive(anon):        0 kB
Active(file):     195288 kB
Inactive(file):   213684 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52312 kB
Writeback:             0 kB
AnonPages:        133732 kB
Mapped:           113432 kB
Shmem:             17960 kB
KReclaimable:      83452 kB
Slab:             162060 kB
SReclaimable:      83452 kB
SUnreclaim:        78608 kB
KernelStack:        3908 kB
PageTables:         2912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     486804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC009 at 2025-06-28 22:35:49