Trace number 4491430

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 63f22adUNSAT 519.914 521.45

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (63063 MiB free)
  memory of node 1: 64507 MiB (63955 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491430-1751142092/watcher-4491430-1751142092 -o /tmp/evaluation-result-4491430-1751142092/solver-4491430-1751142092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751142092-14084 --watchdog 3760 run-dec-ls.sh HOME/instance-4491430-1751142092.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=14142, runsolver pid=14139

[startup+0.100066 s]*
/proc/loadavg: 1.32 1.25 2.09 5/268 14144
/proc/meminfo: memFree=130012448/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=102528 memory=53132 CPUtime=0.04 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 6985 0 7 0 2 2 0 0 20 0 1 0 29886990 104988672 13283 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 25632 13283 1952 1147 0 13059 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 106720 KiB
Current children cumulated memory: 56076 KiB

[startup+0.205606 s]*
/proc/loadavg: 1.32 1.25 2.09 5/268 14144
/proc/meminfo: memFree=129969984/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=113528 memory=65548 CPUtime=0.15 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 10395 0 7 0 9 6 0 0 20 0 1 0 29886990 116252672 16387 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 28382 16387 1952 1147 0 15809 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 117720 KiB
Current children cumulated memory: 68492 KiB

[startup+0.305508 s]*
/proc/loadavg: 1.32 1.25 2.09 3/262 14144
/proc/meminfo: memFree=129970892/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=124476 memory=77992 CPUtime=0.24 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 13381 0 7 0 15 9 0 0 20 0 1 0 29886990 127463424 19498 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 31119 19498 1952 1147 0 18546 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 128668 KiB
Current children cumulated memory: 80936 KiB

[startup+0.700206 s]
/proc/loadavg: 1.32 1.25 2.09 3/258 14160
/proc/meminfo: memFree=129918052/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=170652 memory=123228 CPUtime=0.63 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 24679 0 7 0 43 20 0 0 20 0 1 0 29886990 174747648 30807 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 42663 30807 1952 1147 0 30090 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 174844 KiB
Current children cumulated memory: 126172 KiB

[startup+1.50022 s]
/proc/loadavg: 1.32 1.25 2.09 4/258 14160
/proc/meminfo: memFree=129650988/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=358208 memory=292616 CPUtime=1.43 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 53081 0 7 0 101 42 0 0 20 0 1 0 29886990 366804992 73154 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 89552 73154 2240 1147 0 76979 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 362400 KiB
Current children cumulated memory: 295560 KiB

[startup+3.10539 s]
/proc/loadavg: 1.32 1.25 2.09 4/265 14250
/proc/meminfo: memFree=128939316/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=806004 memory=721852 CPUtime=3.03 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 77209 0 7 0 242 61 0 0 20 0 1 0 29886990 825348096 180463 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 201501 180463 2272 1147 0 188928 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 810196 KiB
Current children cumulated memory: 724796 KiB

[startup+6.30021 s]
/proc/loadavg: 1.54 1.30 2.10 4/262 14313
/proc/meminfo: memFree=128705600/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=806004 memory=721852 CPUtime=6.21 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 77213 0 7 0 560 61 0 0 20 0 1 0 29886990 825348096 180463 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 201501 180463 2272 1147 0 188928 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 810196 KiB
Current children cumulated memory: 724796 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 1.35 2.11 5/268 14374
/proc/meminfo: memFree=128336732/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=832768 memory=740372 CPUtime=12.59 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 79305 0 7 0 1196 63 0 0 20 0 1 0 29886990 852754432 185093 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 208192 185093 2336 1147 0 195619 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 836960 KiB
Current children cumulated memory: 743316 KiB

[startup+25.5002 s]
/proc/loadavg: 2.24 1.48 2.14 5/267 14374
/proc/meminfo: memFree=128343428/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=832768 memory=742736 CPUtime=25.36 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 79388 0 7 0 2469 67 0 0 20 0 1 0 29886990 852754432 185684 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 208192 185684 2336 1147 0 195619 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 836960 KiB
Current children cumulated memory: 745680 KiB

[startup+51.1055 s]
/proc/loadavg: 2.91 1.70 2.19 5/267 14421
/proc/meminfo: memFree=128319500/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=849044 memory=758788 CPUtime=50.88 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 80920 0 7 0 5013 75 0 0 20 0 1 0 29886990 869421056 189697 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 212261 189697 2336 1147 0 199688 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 853236 KiB
Current children cumulated memory: 761732 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.07 2.30 5/266 14422
/proc/meminfo: memFree=128262464/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=853316 memory=768144 CPUtime=101.92 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 82891 0 7 0 10104 88 0 0 20 0 1 0 29886990 873795584 192036 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 213329 192036 2336 1147 0 200756 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 857508 KiB
Current children cumulated memory: 771088 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.44 2.41 5/266 14424
/proc/meminfo: memFree=128237512/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=873512 memory=787548 CPUtime=161.74 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 85830 0 7 0 16067 107 0 0 20 0 1 0 29886990 894476288 196887 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 218378 196887 2336 1147 0 205805 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 877704 KiB
Current children cumulated memory: 790492 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.74 2.52 5/266 14426
/proc/meminfo: memFree=128197684/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=883212 memory=802552 CPUtime=221.56 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 88575 0 7 0 22038 118 0 0 20 0 1 0 29886990 904409088 200638 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 220803 200638 2336 1147 0 208230 0
Current children cumulated CPU time: 221.56 s

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

/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 90246 0 7 0 28002 138 0 0 20 0 1 0 29886990 926965760 205704 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 226310 205704 2336 1147 0 213737 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 909432 KiB
Current children cumulated memory: 825760 KiB

[startup+342.3 s]
/proc/loadavg: 4.01 3.16 2.70 5/269 14806
/proc/meminfo: memFree=128829204/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=847228 CPUtime=341.23 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92137 0 7 0 33959 164 0 0 20 0 1 0 29886990 949501952 211807 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 211807 2336 1147 0 219239 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 850172 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 3.44 2.83 5/269 14899
/proc/meminfo: memFree=128725940/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=847228 CPUtime=401.07 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92296 0 7 0 39930 177 0 0 20 0 1 0 29886990 949501952 211807 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 211807 2336 1147 0 219239 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 850172 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.54 2.90 5/269 14901
/proc/meminfo: memFree=128624996/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=460.91 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92858 0 7 0 45899 192 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 460.91 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

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

# cumulated CPU time of all completed processes:  user=517.823 s, system=2.0915 s

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

[startup+486.4 s]
/proc/loadavg: 4.23 3.61 2.95 5/269 14903
/proc/meminfo: memFree=128608980/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=484.95 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92859 0 7 0 48297 198 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 484.95 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+499.2 s]
/proc/loadavg: 4.19 3.63 2.96 5/269 14903
/proc/meminfo: memFree=128602512/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=497.72 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92862 0 7 0 49569 203 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 497.72 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+512 s]*
/proc/loadavg: 4.15 3.64 2.97 5/269 14903
/proc/meminfo: memFree=128576016/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=510.48 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92869 0 7 0 50843 205 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 510.48 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+518.4 s]
/proc/loadavg: 4.14 3.65 2.98 5/269 14903
/proc/meminfo: memFree=128576032/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=516.86 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92870 0 7 0 51479 207 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 516.86 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+520 s]*
/proc/loadavg: 4.14 3.65 2.98 5/269 14903
/proc/meminfo: memFree=128579520/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=518.46 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92870 0 7 0 51639 207 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 518.46 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+520.8 s]
/proc/loadavg: 4.14 3.65 2.98 5/269 14903
/proc/meminfo: memFree=128579520/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=519.26 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92870 0 7 0 51718 208 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 519.26 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+521.2 s]
/proc/loadavg: 4.21 3.67 2.99 5/269 14903
/proc/meminfo: memFree=128579520/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=927248 memory=853460 CPUtime=519.65 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92870 0 7 0 51757 208 0 0 20 0 1 0 29886990 949501952 213365 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 231812 213365 2336 1147 0 219239 0
Current children cumulated CPU time: 519.65 s
Current children cumulated vsize: 931440 KiB
Current children cumulated memory: 856404 KiB

[startup+521.4 s]
/proc/loadavg: 4.21 3.67 2.99 5/269 14903
/proc/meminfo: memFree=128579520/131249996 swapFree=33010684/33010684
[pid=14142] ppid=14139 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14142/stat : 14142 (run-dec-ls.sh) S 14139 14142 11488 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29886990 4292608 736 18446744073709551615 94385721835520 94385722730053 140733249274048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385722969104 94385723016848 94385734582272 140733249276263 140733249276389 140733249276389 140733249281991 0
/proc/14142/statm: 1048 736 672 219 0 110 0
[pid=14144] ppid=14142 vsize=906540 memory=835916 CPUtime=519.85 cores=5,7
/proc/14144/stat : 14144 (roundingsat) R 14142 14142 11488 0 -1 4194304 92879 0 7 0 51777 208 0 0 20 0 1 0 29886990 928296960 208979 18446744073709551615 4227072 8923433 140734666216592 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20533248 140734666221984 140734666222120 140734666222120 140734666227690 0
/proc/14144/statm: 226635 208979 2336 1147 0 214062 0
Current children cumulated CPU time: 519.85 s
Current children cumulated vsize: 910732 KiB
Current children cumulated memory: 838860 KiB

Child status: 0

Real time (s): 521.45
CPU time (s): 519.914
CPU user time (s): 517.823
CPU system time (s): 2.0915
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 931440
Max. memory (cumulated for all children) (KiB): 856404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 517.823
system time used= 2.0915
maximum resident set size= 853460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93151
page faults= 7
swaps= 0
block input operations= 9328
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 2854


# summary of solver processes directly reported to runsolver:
#   pid: 14142
#   total CPU time (s): 519.914
#   total CPU user time (s): 517.823
#   total CPU system time (s): 2.0915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87153 second user time and 1.64531 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-28 22:21:32
IDJOB=4491430
IDBENCH=147705
IDSOLVER=3353
FILE ID=nodeC017/4491430-1751142092
RUNJOBID= nodeC017-1751142092-14084
SLURM_JOB_ID= 9587417
Free space on /tmp= 432972 MiB

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

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

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=674949047

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130067296 kB
MemAvailable:   129728528 kB
Buffers:            3280 kB
Cached:           472732 kB
SwapCached:            0 kB
Active:           285380 kB
Inactive:         266156 kB
Active(anon):      93620 kB
Inactive(anon):        0 kB
Active(file):     191760 kB
Inactive(file):   266156 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52568 kB
Writeback:             0 kB
AnonPages:         79096 kB
Mapped:           102784 kB
Shmem:             18080 kB
KReclaimable:      84712 kB
Slab:             167376 kB
SReclaimable:      84712 kB
SUnreclaim:        82664 kB
KernelStack:        4256 kB
PageTables:         3060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     408192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC017 at 2025-06-28 22:30:14