Trace number 4491682

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 320.925 321.823

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM62e5546fe4d774fb864c3bf961c813a7
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 benchmark20.2468
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
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
1.36/1.42	c #variables 109757 #constraints 313451
132.90/133.35	c #Conflicts:       1000 | #Constraints:     314450
132.90/133.35	c #Conflicts:       2000 | #Constraints:     315450
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:       3000 | #Constraints:     309714
132.90/133.35	c #Conflicts:       4000 | #Constraints:     310714
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:       5000 | #Constraints:     310143
132.90/133.35	c #Conflicts:       6000 | #Constraints:     311143
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:       7000 | #Constraints:     309307
132.90/133.35	c #Conflicts:       8000 | #Constraints:     310307
132.90/133.35	c #Conflicts:       9000 | #Constraints:     311307
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      10000 | #Constraints:     310014
132.90/133.35	c #Conflicts:      11000 | #Constraints:     311014
132.90/133.35	c #Conflicts:      12000 | #Constraints:     312014
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      13000 | #Constraints:     310397
132.90/133.35	c #Conflicts:      14000 | #Constraints:     311397
132.90/133.35	c #Conflicts:      15000 | #Constraints:     312397
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      16000 | #Constraints:     310646
132.90/133.35	c #Conflicts:      17000 | #Constraints:     311646
132.90/133.35	c #Conflicts:      18000 | #Constraints:     312646
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      19000 | #Constraints:     310688
132.90/133.35	c #Conflicts:      20000 | #Constraints:     311688
132.90/133.35	c #Conflicts:      21000 | #Constraints:     312688
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      22000 | #Constraints:     310495
132.90/133.35	c #Conflicts:      23000 | #Constraints:     311495
132.90/133.35	c #Conflicts:      24000 | #Constraints:     312495
132.90/133.35	c #Conflicts:      25000 | #Constraints:     313495
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      26000 | #Constraints:     311106
132.90/133.35	c #Conflicts:      27000 | #Constraints:     312106
132.90/133.35	c #Conflicts:      28000 | #Constraints:     313106
132.90/133.35	c #Conflicts:      29000 | #Constraints:     314106
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      30000 | #Constraints:     311505
132.90/133.35	c #Conflicts:      31000 | #Constraints:     312505
132.90/133.35	c #Conflicts:      32000 | #Constraints:     313505
132.90/133.35	c #Conflicts:      33000 | #Constraints:     314505
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      34000 | #Constraints:     311749
132.90/133.35	c #Conflicts:      35000 | #Constraints:     312749
132.90/133.35	c #Conflicts:      36000 | #Constraints:     313749
132.90/133.35	c #Conflicts:      37000 | #Constraints:     314749
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      38000 | #Constraints:     311753
132.90/133.35	c #Conflicts:      39000 | #Constraints:     312753
132.90/133.35	c #Conflicts:      40000 | #Constraints:     313753
132.90/133.35	c #Conflicts:      41000 | #Constraints:     314753
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      42000 | #Constraints:     311573
132.90/133.35	c #Conflicts:      43000 | #Constraints:     312573
132.90/133.35	c #Conflicts:      44000 | #Constraints:     313573
132.90/133.35	c #Conflicts:      45000 | #Constraints:     314573
132.90/133.35	c #Conflicts:      46000 | #Constraints:     315573
132.90/133.35	c INPROCESSING
132.90/133.35	c #Conflicts:      47000 | #Constraints:     312065
132.90/133.35	c #Conflicts:      48000 | #Constraints:     313065
132.90/133.35	c #Conflicts:      49000 | #Constraints:     314065
132.90/133.35	c #Conflicts:      50000 | #Constraints:     315065
132.90/133.35	c #Conflicts:      51000 | #Constraints:     316065
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      52000 | #Constraints:     312472
132.90/133.35	c #Conflicts:      53000 | #Constraints:     313472
132.90/133.35	c #Conflicts:      54000 | #Constraints:     314472
132.90/133.35	c #Conflicts:      55000 | #Constraints:     315472
132.90/133.35	c #Conflicts:      56000 | #Constraints:     316472
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      57000 | #Constraints:     312675
132.90/133.35	c #Conflicts:      58000 | #Constraints:     313675
132.90/133.35	c #Conflicts:      59000 | #Constraints:     314675
132.90/133.35	c #Conflicts:      60000 | #Constraints:     315675
132.90/133.35	c #Conflicts:      61000 | #Constraints:     316675
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      62000 | #Constraints:     312675
132.90/133.35	c #Conflicts:      63000 | #Constraints:     313675
132.90/133.35	c #Conflicts:      64000 | #Constraints:     314675
132.90/133.35	c #Conflicts:      65000 | #Constraints:     315675
132.90/133.35	c #Conflicts:      66000 | #Constraints:     316675
132.90/133.35	c INPROCESSING
132.90/133.35	c GARBAGE COLLECT
132.90/133.35	c #Conflicts:      67000 | #Constraints:     312463
132.90/133.35	c #Conflicts:      68000 | #Constraints:     313463
132.90/133.35	c #Conflicts:      69000 | #Constraints:     314463
132.90/133.35	c #Conflicts:      70000 | #Constraints:     315463
132.90/133.35	c #Conflicts:      71000 | #Constraints:     316463
271.62/272.46	c #Conflicts:      72000 | #Constraints:     317463
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:      73000 | #Constraints:     313069
271.62/272.46	c #Conflicts:      74000 | #Constraints:     314069
271.62/272.46	c #Conflicts:      75000 | #Constraints:     315069
271.62/272.46	c #Conflicts:      76000 | #Constraints:     316069
271.62/272.46	c #Conflicts:      77000 | #Constraints:     317069
271.62/272.46	c #Conflicts:      78000 | #Constraints:     318069
271.62/272.46	c #Conflicts:      79000 | #Constraints:     319069
271.62/272.46	c #Conflicts:      80000 | #Constraints:     320069
271.62/272.46	c #Conflicts:      81000 | #Constraints:     321069
271.62/272.46	c #Conflicts:      82000 | #Constraints:     322069
271.62/272.46	c #Conflicts:      83000 | #Constraints:     323069
271.62/272.46	c #Conflicts:      84000 | #Constraints:     324069
271.62/272.46	c #Conflicts:      85000 | #Constraints:     325069
271.62/272.46	c #Conflicts:      86000 | #Constraints:     326069
271.62/272.46	c #Conflicts:      87000 | #Constraints:     327069
271.62/272.46	c #Conflicts:      88000 | #Constraints:     328069
271.62/272.46	c #Conflicts:      89000 | #Constraints:     329069
271.62/272.46	c #Conflicts:      90000 | #Constraints:     330069
271.62/272.46	c #Conflicts:      91000 | #Constraints:     331069
271.62/272.46	c #Conflicts:      92000 | #Constraints:     332069
271.62/272.46	c #Conflicts:      93000 | #Constraints:     333069
271.62/272.46	c #Conflicts:      94000 | #Constraints:     334069
271.62/272.46	c #Conflicts:      95000 | #Constraints:     335069
271.62/272.46	c #Conflicts:      96000 | #Constraints:     336069
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:      97000 | #Constraints:     309508
271.62/272.46	c #Conflicts:      98000 | #Constraints:     310508
271.62/272.46	c #Conflicts:      99000 | #Constraints:     311508
271.62/272.46	c #Conflicts:     100000 | #Constraints:     312508
271.62/272.46	c #Conflicts:     101000 | #Constraints:     313508
271.62/272.46	c #Conflicts:     102000 | #Constraints:     314508
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:     103000 | #Constraints:     304820
271.62/272.46	c #Conflicts:     104000 | #Constraints:     305820
271.62/272.46	c #Conflicts:     105000 | #Constraints:     306820
271.62/272.46	c #Conflicts:     106000 | #Constraints:     307820
271.62/272.46	c #Conflicts:     107000 | #Constraints:     308820
271.62/272.46	c #Conflicts:     108000 | #Constraints:     309820
271.62/272.46	c #Conflicts:     109000 | #Constraints:     310820
271.62/272.46	c #Conflicts:     110000 | #Constraints:     311820
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:     111000 | #Constraints:     303931
271.62/272.46	c #Conflicts:     112000 | #Constraints:     304931
271.62/272.46	c #Conflicts:     113000 | #Constraints:     305931
271.62/272.46	c #Conflicts:     114000 | #Constraints:     306931
271.62/272.46	c #Conflicts:     115000 | #Constraints:     307931
271.62/272.46	c #Conflicts:     116000 | #Constraints:     308931
271.62/272.46	c #Conflicts:     117000 | #Constraints:     309931
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:     118000 | #Constraints:     302843
271.62/272.46	c #Conflicts:     119000 | #Constraints:     303843
271.62/272.46	c #Conflicts:     120000 | #Constraints:     304843
271.62/272.46	c #Conflicts:     121000 | #Constraints:     305843
271.62/272.46	c #Conflicts:     122000 | #Constraints:     306843
271.62/272.46	c #Conflicts:     123000 | #Constraints:     307843
271.62/272.46	c #Conflicts:     124000 | #Constraints:     308843
271.62/272.46	c INPROCESSING
271.62/272.46	c GARBAGE COLLECT
271.62/272.46	c #Conflicts:     125000 | #Constraints:     302050
271.62/272.46	c #Conflicts:     126000 | #Constraints:     303050
271.62/272.46	c #Conflicts:     127000 | #Constraints:     304050
271.62/272.46	c #Conflicts:     128000 | #Constraints:     305050
271.62/272.46	c #Conflicts:     129000 | #Constraints:     306050
271.62/272.46	c #Conflicts:     130000 | #Constraints:     307050
271.62/272.46	c #Conflicts:     131000 | #Constraints:     308050
271.62/272.46	c #Conflicts:     132000 | #Constraints:     309050
271.62/272.46	c #Conflicts:     133000 | #Constraints:     310050
271.62/272.46	c #Conflicts:     134000 | #Constraints:     311050
271.62/272.46	c #Conflicts:     135000 | #Constraints:     312050
271.62/272.46	c #Conflicts:     136000 | #Constraints:     313050
271.62/272.46	c #Conflicts:     137000 | #Constraints:     314050
271.62/272.46	c #Conflicts:     138000 | #Constraints:     315050
271.62/272.46	c #Conflicts:     139000 | #Constraints:     316050
271.62/272.46	c #Conflicts:     140000 | #Constraints:     317050
271.62/272.46	c #Conflicts:     141000 | #Constraints:     318050
271.62/272.46	c #Conflicts:     142000 | #Constraints:     319050
271.62/272.46	c #Conflicts:     143000 | #Constraints:     320050
271.62/272.46	c #Conflicts:     144000 | #Constraints:     321050
271.62/272.46	c #Conflicts:     145000 | #Constraints:     322050
271.62/272.46	c #Conflicts:     146000 | #Constraints:     323050
320.79/321.75	c #Conflicts:     147000 | #Constraints:     324050
320.79/321.75	c #Conflicts:     148000 | #Constraints:     325050
320.79/321.75	c #Conflicts:     149000 | #Constraints:     326050
320.79/321.75	c #Conflicts:     150000 | #Constraints:     327050
320.79/321.75	c #Conflicts:     151000 | #Constraints:     328050
320.79/321.75	c #Conflicts:     152000 | #Constraints:     329050
320.79/321.75	c #Conflicts:     153000 | #Constraints:     330050
320.79/321.75	c #Conflicts:     154000 | #Constraints:     331050
320.79/321.75	c #Conflicts:     155000 | #Constraints:     332050
320.79/321.75	c INPROCESSING
320.79/321.75	c GARBAGE COLLECT
320.79/321.75	c #Conflicts:     156000 | #Constraints:     309037
320.79/321.75	c #Conflicts:     157000 | #Constraints:     310037
320.79/321.75	c #Conflicts:     158000 | #Constraints:     311037
320.79/321.75	c #Conflicts:     159000 | #Constraints:     312037
320.79/321.75	c #Conflicts:     160000 | #Constraints:     313037
320.79/321.75	c #Conflicts:     161000 | #Constraints:     314037
320.79/321.75	c #Conflicts:     162000 | #Constraints:     315037
320.79/321.75	c #Conflicts:     163000 | #Constraints:     316037
320.79/321.75	c INPROCESSING
320.79/321.75	c GARBAGE COLLECT
320.79/321.75	c #Conflicts:     164000 | #Constraints:     301905
320.79/321.75	c #Conflicts:     165000 | #Constraints:     302905
320.79/321.75	c #Conflicts:     166000 | #Constraints:     303905
320.79/321.75	c #Conflicts:     167000 | #Constraints:     304905
320.79/321.75	c #Conflicts:     168000 | #Constraints:     305905
320.79/321.75	c #Conflicts:     169000 | #Constraints:     306905
320.79/321.75	c #Conflicts:     170000 | #Constraints:     307905
320.79/321.75	c #Conflicts:     171000 | #Constraints:     308905
320.79/321.75	c #Conflicts:     172000 | #Constraints:     309905
320.79/321.75	c INPROCESSING
320.79/321.75	c GARBAGE COLLECT
320.79/321.75	c #Conflicts:     173000 | #Constraints:     299958
320.79/321.75	c #Conflicts:     174000 | #Constraints:     300958
320.79/321.75	c #Conflicts:     175000 | #Constraints:     301958
320.79/321.75	c #Conflicts:     176000 | #Constraints:     302958
320.79/321.75	c #Conflicts:     177000 | #Constraints:     303958
320.79/321.75	c #Conflicts:     178000 | #Constraints:     304958
320.79/321.75	c #Conflicts:     179000 | #Constraints:     305958
320.79/321.75	c #Conflicts:     180000 | #Constraints:     306958
320.79/321.75	c #Conflicts:     181000 | #Constraints:     307958
320.79/321.75	c #Conflicts:     182000 | #Constraints:     308958
320.79/321.75	c INPROCESSING
320.79/321.75	c GARBAGE COLLECT
320.79/321.75	c #Conflicts:     183000 | #Constraints:     299894
320.79/321.75	c #Conflicts:     184000 | #Constraints:     300894
320.79/321.75	c #Conflicts:     185000 | #Constraints:     301894
320.79/321.75	c #Conflicts:     186000 | #Constraints:     302894
320.79/321.75	c #Conflicts:     187000 | #Constraints:     303894
320.79/321.75	c #Conflicts:     188000 | #Constraints:     304894
320.79/321.75	c #Conflicts:     189000 | #Constraints:     305894
320.79/321.75	c #Conflicts:     190000 | #Constraints:     306894
320.79/321.75	c #Conflicts:     191000 | #Constraints:     307894
320.79/321.75	c #Conflicts:     192000 | #Constraints:     308894
320.79/321.75	c #Conflicts:     193000 | #Constraints:     309894
320.79/321.75	c #Conflicts:     194000 | #Constraints:     310894
320.79/321.75	c #Conflicts:     195000 | #Constraints:     311894
320.79/321.75	c #Conflicts:     196000 | #Constraints:     312894
320.79/321.75	c #Conflicts:     197000 | #Constraints:     313894
320.79/321.75	c #Conflicts:     198000 | #Constraints:     314894
320.79/321.75	c #Conflicts:     199000 | #Constraints:     315894
320.79/321.75	c #Conflicts:     200000 | #Constraints:     316894
320.79/321.75	c #Conflicts:     201000 | #Constraints:     317894
320.79/321.75	c #Conflicts:     202000 | #Constraints:     318894
320.79/321.75	c #Conflicts:     203000 | #Constraints:     319894
320.79/321.75	c #Conflicts:     204000 | #Constraints:     320894
320.79/321.75	c #Conflicts:     205000 | #Constraints:     321894
320.79/321.75	c #Conflicts:     206000 | #Constraints:     322894
320.79/321.75	c cpu time 318.996 s
320.79/321.75	c deterministic time 3280411719 3.28e+09
320.79/321.75	c optimization time 0.000116 s
320.79/321.75	c total solve time 317.978 s
320.79/321.75	c core-guided solve time 0 s
320.79/321.75	c propagation time 139.032 s
320.79/321.75	c conflict analysis time 44.0087 s
320.79/321.75	c propagations 374595202
320.79/321.75	c resolve steps 10891072
320.79/321.75	c decisions 501649
320.79/321.75	c conflicts 206883
320.79/321.75	c restarts 510
320.79/321.75	c inprocessing phases 28
320.79/321.75	c garbage collections 18 ,( 64.29 )
320.79/321.75	c input clauses 295929 ,( 94.41 )
320.79/321.75	c input cardinalities 0 ,( 0.00 )
320.79/321.75	c input general constraints 17522 ,( 5.59 )
320.79/321.75	c input average constraint length 3.00
320.79/321.75	c input average constraint degree 7.15
320.79/321.75	c learned clauses 177196 ,( 85.65 )
320.79/321.75	c learned cardinalities 0 ,( 0.00 )
320.79/321.75	c learned general constraints 29686 ,( 14.35 )
320.79/321.75	c learned average constraint length 212.10
320.79/321.75	c learned average constraint degree 2428.73
320.79/321.75	c watched  CF 32, 64, 128, Arb: 8875 , 0 , 0 , 0
320.79/321.75	c counting CF 32, 64, 128, Arb: 38333 , 0 , 0 , 0
320.89/321.81	c watched   constraints 8875 ,( 18.80 ) 
320.89/321.81	c counting  constraints 38333 ,( 81.20 ) 
320.89/321.81	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 428221915 , 0 , 48256478 ,( 13762621 , 34493857 )
320.89/321.81	c gcd simplifications 5618
320.89/321.81	c detected cardinalities 0
320.89/321.81	c weakened non-implied lits 487026
320.89/321.81	c weakened non-implying lits 6769
320.89/321.81	c original variables 109757
320.89/321.81	c clausal propagations 371050543
320.89/321.81	c cardinality propagations 0
320.89/321.81	c watched propagations 6348
320.89/321.81	c counting propagations 3330960
320.89/321.81	c watch lookups 1008722102
320.89/321.81	c watch backjump lookups 0
320.89/321.81	c watch checks 944203274
320.89/321.81	c propagation checks 441146246
320.89/321.81	c constraint additions 135923638
320.89/321.81	c trail pops 375256607
320.89/321.81	c formula constraints 313451
320.89/321.81	c learned constraints 206882
320.89/321.81	c bound constraints 0
320.89/321.81	c core-guided constraints 0
320.89/321.81	c encountered formula constraints 9810815
320.89/321.81	c encountered learned constraints 1287140
320.89/321.81	c encountered bound constraints 0
320.89/321.81	c encountered core-guided constraints 0
320.89/321.81	c LP total time 125.637 s
320.89/321.81	c LP solve time 125.41 s
320.89/321.81	c LP constraints added 313451
320.89/321.81	c LP constraints removed 0
320.89/321.81	c LP pivots internal 42000
320.89/321.81	c LP pivots root 21000
320.89/321.81	c LP calls 6
320.89/321.81	c LP optimalities 0
320.89/321.81	c LP no pivot count 0
320.89/321.81	c LP infeasibilities 0
320.89/321.81	c LP valid Farkas constraints 0
320.89/321.81	c LP learned Farkas constraints 0
320.89/321.81	c LP basis resets 0
320.89/321.81	c LP cycling count 0
320.89/321.81	c LP singular count 0
320.89/321.81	c LP no primal count 0
320.89/321.81	c LP no farkas count 0
320.89/321.81	c LP other issue count 0
320.89/321.81	c LP Gomory cuts 0
320.89/321.81	c LP learned cuts 0
320.89/321.81	c LP deleted cuts 0
320.89/321.81	c LP encountered Gomory constraints 0
320.89/321.81	c LP encountered Farkas constraints 0
320.89/321.81	c LP encountered learned Farkas constraints 0
320.89/321.81	c CG auxiliary variables introduced 0
320.89/321.81	c CG solutions found 0
320.89/321.81	c CG cores constructed 0
320.89/321.81	c CG core cardinality constraints returned 0
320.89/321.81	c CG unit cores 0
320.89/321.81	c CG single cores 0
320.89/321.81	c CG blocks removed during cardinality reduction 0
320.89/321.81	c CG first core best 0
320.89/321.81	c CG decision core best 0
320.89/321.81	c CG core reduction tie 0
320.89/321.81	c CG core degree average 0.00
320.89/321.81	c CG core slack average 0.00
320.89/321.81	c CG core upper bound improvements 0
320.89/321.81	c STR number of successful calls 0
320.89/321.81	c STR number of unsuccessful calls 0
320.89/321.81	c STR number of inconclusive calls 0
320.89/321.81	c STR number of successful attempts 0
320.89/321.81	c STR number of unsuccessful attempts 0
320.89/321.81	c STR number of inconclusive attempts 0
320.89/321.81	c STR average degree increase per successful call inf
320.89/321.81	c STR average degree increase per successful attempt inf
320.89/321.81	c STR total number of conflicts for successful attempts 0
320.89/321.81	c STR total number of conflicts for unsuccessful attempts 0
320.89/321.81	c STR total number of conflicts for inconclusive attempts 0
320.89/321.81	c STR average number of conflicts per successful attempt inf
320.89/321.81	c STR average number of conflicts per unsuccessful attempt inf
320.89/321.81	c STR average number of conflicts per inconclusive attempt inf
320.89/321.81	c AVG.sumWPerc 71.47 
320.89/321.81	c bigint constraints 0 
320.89/321.81	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 (62712 MiB free)
  memory of node 1: 64507 MiB (62956 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100026 s]*
/proc/loadavg: 1.54 1.30 2.10 5/268 14328
/proc/meminfo: memFree=128648476/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=89312 memory=42568 CPUtime=0.08 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 6516 0 0 0 5 3 0 0 20 0 1 0 29887618 91455488 10642 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 22328 10642 1920 1147 0 9755 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 45384 KiB

[startup+0.205648 s]*
/proc/loadavg: 1.54 1.30 2.10 5/268 14328
/proc/meminfo: memFree=128632600/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=101696 memory=54072 CPUtime=0.18 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 9981 0 0 0 12 6 0 0 20 0 1 0 29887618 104136704 13518 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 25424 13518 1920 1147 0 12851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105888 KiB
Current children cumulated memory: 56888 KiB

[startup+0.305538 s]*
/proc/loadavg: 1.54 1.30 2.10 5/268 14328
/proc/meminfo: memFree=128624788/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=113788 memory=66104 CPUtime=0.28 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 13004 0 0 0 19 9 0 0 20 0 1 0 29887618 116518912 16526 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 28447 16526 1920 1147 0 15874 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117980 KiB
Current children cumulated memory: 68920 KiB

[startup+0.700186 s]
/proc/loadavg: 1.54 1.30 2.10 5/268 14328
/proc/meminfo: memFree=128601352/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=165036 memory=113376 CPUtime=0.66 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 24815 0 0 0 45 21 0 0 20 0 1 0 29887618 168996864 28344 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 41259 28344 1920 1147 0 28686 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 169228 KiB
Current children cumulated memory: 116192 KiB

[startup+1.5002 s]
/proc/loadavg: 1.54 1.30 2.10 5/268 14328
/proc/meminfo: memFree=128496448/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=629828 memory=467104 CPUtime=1.47 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 50610 0 0 0 107 40 0 0 20 0 1 0 29887618 644943872 116776 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 157457 116776 2240 1147 0 144884 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 634020 KiB
Current children cumulated memory: 469920 KiB

[startup+3.10532 s]
/proc/loadavg: 1.54 1.30 2.10 4/263 14364
/proc/meminfo: memFree=128519868/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=641480 memory=480516 CPUtime=3.05 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 57091 0 0 0 263 42 0 0 20 0 1 0 29887618 656875520 120129 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 160370 120129 2272 1147 0 147797 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 645672 KiB
Current children cumulated memory: 483332 KiB

[startup+6.30018 s]
/proc/loadavg: 1.73 1.35 2.11 5/267 14374
/proc/meminfo: memFree=128336732/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=659808 memory=495708 CPUtime=6.24 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 58341 0 0 0 580 44 0 0 20 0 1 0 29887618 675643392 123927 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 164952 123927 2336 1147 0 152379 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 664000 KiB
Current children cumulated memory: 498524 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 1.39 2.12 5/267 14374
/proc/meminfo: memFree=128348080/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=659808 memory=496988 CPUtime=12.62 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 58693 0 0 0 1216 46 0 0 20 0 1 0 29887618 675643392 124247 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 164952 124247 2336 1147 0 152379 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 664000 KiB
Current children cumulated memory: 499804 KiB

[startup+25.5002 s]
/proc/loadavg: 2.38 1.52 2.15 5/267 14420
/proc/meminfo: memFree=128396668/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=668328 memory=505656 CPUtime=25.38 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 59909 0 0 0 2485 53 0 0 20 0 1 0 29887618 684367872 126414 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 167082 126414 2336 1147 0 154509 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 672520 KiB
Current children cumulated memory: 508472 KiB

[startup+51.1055 s]
/proc/loadavg: 3.00 1.73 2.20 5/267 14421
/proc/meminfo: memFree=128310908/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=693712 memory=521536 CPUtime=50.92 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 62862 0 0 0 5028 64 0 0 20 0 1 0 29887618 710361088 130384 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 173428 130384 2336 1147 0 160855 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 697904 KiB
Current children cumulated memory: 524352 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 2.10 2.31 5/266 14423
/proc/meminfo: memFree=128260504/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=723716 memory=550744 CPUtime=101.97 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 67133 0 0 0 10107 90 0 0 20 0 1 0 29887618 741085184 137686 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 180929 137686 2336 1147 0 168356 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 727908 KiB
Current children cumulated memory: 553560 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.46 2.42 5/266 14425
/proc/meminfo: memFree=128231912/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=747492 memory=568444 CPUtime=161.82 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 69071 0 0 0 16065 117 0 0 20 0 1 0 29887618 765431808 142111 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 186873 142111 2336 1147 0 174300 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 751684 KiB
Current children cumulated memory: 571260 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.76 2.53 5/266 14426
/proc/meminfo: memFree=128197684/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=753296 memory=576032 CPUtime=221.66 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 70504 0 0 0 22030 136 0 0 20 0 1 0 29887618 771375104 144008 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 188324 144008 2336 1147 0 175751 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 757488 KiB
Current children cumulated memory: 578848 KiB

[startup+282.3 s]
/proc/loadavg: 3.92 2.97 2.62 5/268 14756
/proc/meminfo: memFree=128451292/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=753296 memory=588404 CPUtime=281.5 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 70547 0 0 0 27985 165 0 0 20 0 1 0 29887618 771375104 147101 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 188324 147101 2336 1147 0 175751 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 757488 KiB
Current children cumulated memory: 591220 KiB

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

# cumulated CPU time of all completed processes:  user=319.051 s, system=1.8737 s

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

[startup+307.2 s]
/proc/loadavg: 4.02 3.07 2.66 5/268 14757
/proc/meminfo: memFree=128361332/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=753296 memory=588404 CPUtime=306.33 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 70552 0 0 0 30458 175 0 0 20 0 1 0 29887618 771375104 147101 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 188324 147101 2336 1147 0 175751 0
Current children cumulated CPU time: 306.33 s
Current children cumulated vsize: 757488 KiB
Current children cumulated memory: 591220 KiB

[startup+313.6 s]
/proc/loadavg: 4.02 3.09 2.67 5/268 14757
/proc/meminfo: memFree=128341612/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=753296 memory=588404 CPUtime=312.71 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 70552 0 0 0 31092 179 0 0 20 0 1 0 29887618 771375104 147101 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 188324 147101 2336 1147 0 175751 0
Current children cumulated CPU time: 312.71 s
Current children cumulated vsize: 757488 KiB
Current children cumulated memory: 591220 KiB

[startup+316.8 s]
/proc/loadavg: 4.02 3.10 2.67 5/268 14757
/proc/meminfo: memFree=128341868/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=753296 memory=588404 CPUtime=315.91 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 70555 0 0 0 31409 182 0 0 20 0 1 0 29887618 771375104 147101 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 188324 147101 2336 1147 0 175751 0
Current children cumulated CPU time: 315.91 s
Current children cumulated vsize: 757488 KiB
Current children cumulated memory: 591220 KiB

[startup+320 s]*
/proc/loadavg: 4.02 3.12 2.68 5/268 14757
/proc/meminfo: memFree=128337520/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=784116 memory=594816 CPUtime=319.1 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 71145 0 0 0 31726 184 0 0 20 0 1 0 29887618 802934784 148704 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 196029 148704 2336 1147 0 183456 0
Current children cumulated CPU time: 319.1 s
Current children cumulated vsize: 788308 KiB
Current children cumulated memory: 597632 KiB

[startup+320.8 s]
/proc/loadavg: 4.02 3.12 2.68 5/268 14757
/proc/meminfo: memFree=128337520/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=784116 memory=594816 CPUtime=319.89 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 71145 0 0 0 31804 185 0 0 20 0 1 0 29887618 802934784 148704 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 196029 148704 2336 1147 0 183456 0
Current children cumulated CPU time: 319.89 s
Current children cumulated vsize: 788308 KiB
Current children cumulated memory: 597632 KiB

[startup+321.6 s]
/proc/loadavg: 4.02 3.12 2.68 5/268 14757
/proc/meminfo: memFree=128337528/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=784116 memory=594816 CPUtime=320.69 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 71145 0 0 0 31884 185 0 0 20 0 1 0 29887618 802934784 148704 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 196029 148704 2336 1147 0 183456 0
Current children cumulated CPU time: 320.69 s
Current children cumulated vsize: 788308 KiB
Current children cumulated memory: 597632 KiB

[startup+321.8 s]
/proc/loadavg: 4.02 3.12 2.68 5/268 14757
/proc/meminfo: memFree=128337528/131249996 swapFree=33010684/33010684
[pid=14326] ppid=14323 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/14326/stat : 14326 (run-dec-ls.sh) S 14323 14326 11488 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 29887617 4292608 704 18446744073709551615 94538245386240 94538246280773 140728587934608 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94538246519824 94538246567568 94538264838144 140728587942247 140728587942373 140728587942373 140728587947975 0
/proc/14326/statm: 1048 704 672 219 0 110 0
[pid=14328] ppid=14326 vsize=488040 memory=410224 CPUtime=320.89 cores=0,2
/proc/14328/stat : 14328 (roundingsat) R 14326 14326 11488 0 -1 4194304 71155 0 0 0 31903 186 0 0 20 0 1 0 29887618 499752960 102556 18446744073709551615 4227072 8923433 140721142577008 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 11337728 140721142581664 140721142581800 140721142581800 140721142587370 0
/proc/14328/statm: 122010 102556 2336 1147 0 109437 0
Current children cumulated CPU time: 320.89 s
Current children cumulated vsize: 492232 KiB
Current children cumulated memory: 413040 KiB

Child status: 0

Real time (s): 321.823
CPU time (s): 320.925
CPU user time (s): 319.051
CPU system time (s): 1.8737
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 788308
Max. memory (cumulated for all children) (KiB): 597632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.051
system time used= 1.8737
maximum resident set size= 594816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 441


# summary of solver processes directly reported to runsolver:
#   pid: 14326
#   total CPU time (s): 320.925
#   total CPU user time (s): 319.051
#   total CPU system time (s): 1.8737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.634787 second user time and 1.46238 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-28 22:21:39
IDJOB=4491682
IDBENCH=147732
IDSOLVER=3353
FILE ID=nodeC017/4491682-1751142098
RUNJOBID= nodeC017-1751142092-14081
SLURM_JOB_ID= 9587417
Free space on /tmp= 432952 MiB

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

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

MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=423715076

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		: 3600.111
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.030
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		: 3600.057
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		: 3598.490
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.063
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.012
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		: 3586.140
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		: 3605.568
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:        128685456 kB
MemAvailable:   128378832 kB
Buffers:            3280 kB
Cached:           504816 kB
SwapCached:            0 kB
Active:          1612972 kB
Inactive:         285948 kB
Active(anon):    1408912 kB
Inactive(anon):        0 kB
Active(file):     204060 kB
Inactive(file):   285948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62300 kB
Writeback:             0 kB
AnonPages:       1394036 kB
Mapped:           115648 kB
Shmem:             18080 kB
KReclaimable:      84816 kB
Slab:             167592 kB
SReclaimable:      84816 kB
SUnreclaim:        82776 kB
KernelStack:        4320 kB
PageTables:         5996 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1845792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    739328 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= 432956 MiB
End job on nodeC017 at 2025-06-28 22:27:01