Trace number 4491680

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat 63f22adUNSAT 232.069 232.915

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491680-1751141661/watcher-4491680-1751141661 -o /tmp/evaluation-result-4491680-1751141661/solver-4491680-1751141661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751141655-14075 --watchdog 3760 run-dec.sh HOME/instance-4491680-1751141661.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
Linuxing watchdog threadard l
5.14.0-503.14.1.el9_5.x86_64Linuxing watchdog threadard l
5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=14317, runsolver pid=14314

[startup+0.100068 s]*
/proc/loadavg: 1.41 2.04 3.00 4/252 14327
/proc/meminfo: memFree=129351964/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=74452 memory=29400 CPUtime=0.09 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 3130 0 0 0 5 4 0 0 20 0 1 0 29845834 76238848 7350 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 18613 7350 1888 1147 0 6040 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78644 KiB
Current children cumulated memory: 32344 KiB

[startup+0.221167 s]*
/proc/loadavg: 1.41 2.04 3.00 5/255 14333
/proc/meminfo: memFree=129351208/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=75504 memory=30424 CPUtime=0.2 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 3428 0 0 0 13 7 0 0 20 0 1 0 29845834 77316096 7606 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 18876 7606 1888 1147 0 6303 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79696 KiB
Current children cumulated memory: 33368 KiB

[startup+0.313423 s]*
/proc/loadavg: 1.41 2.04 3.00 6/255 14333
/proc/meminfo: memFree=129350956/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=77152 memory=31960 CPUtime=0.29 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 3872 0 0 0 19 10 0 0 20 0 1 0 29845834 79003648 7990 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 19288 7990 1888 1147 0 6715 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81344 KiB
Current children cumulated memory: 34904 KiB

[startup+0.70034 s]
/proc/loadavg: 1.41 2.04 3.00 5/255 14333
/proc/meminfo: memFree=129349316/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=87352 memory=42764 CPUtime=0.66 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 7167 0 0 0 45 21 0 0 20 0 1 0 29845834 89448448 10691 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 21838 10691 1888 1147 0 9265 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 91544 KiB
Current children cumulated memory: 45708 KiB

[startup+1.50029 s]
/proc/loadavg: 1.41 2.04 3.00 5/255 14333
/proc/meminfo: memFree=129326180/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=351632 memory=238416 CPUtime=1.46 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 21144 0 0 0 107 39 0 0 20 0 1 0 29845834 360071168 59604 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 87908 59604 2240 1147 0 75335 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 355824 KiB
Current children cumulated memory: 241360 KiB

[startup+3.11319 s]
/proc/loadavg: 1.62 2.08 3.01 5/257 14365
/proc/meminfo: memFree=128950896/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=571864 memory=407888 CPUtime=3.06 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 39519 0 0 0 255 51 0 0 20 0 1 0 29845834 585588736 101972 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 142966 101972 2304 1147 0 130393 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 576056 KiB
Current children cumulated memory: 410832 KiB

[startup+6.3004 s]
/proc/loadavg: 1.62 2.08 3.01 5/257 14365
/proc/meminfo: memFree=128890096/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=571864 memory=411284 CPUtime=6.24 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 39850 0 0 0 570 54 0 0 20 0 1 0 29845834 585588736 102821 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 142966 102821 2336 1147 0 130393 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 576056 KiB
Current children cumulated memory: 414228 KiB

[startup+12.7004 s]
/proc/loadavg: 2.07 2.16 3.02 5/257 14365
/proc/meminfo: memFree=128862380/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=593060 memory=428792 CPUtime=12.61 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 42738 0 0 0 1200 61 0 0 20 0 1 0 29845834 607293440 107198 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 148265 107198 2336 1147 0 135692 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 597252 KiB
Current children cumulated memory: 431736 KiB

[startup+25.5004 s]
/proc/loadavg: 2.36 2.22 3.04 5/257 14411
/proc/meminfo: memFree=128887556/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=602676 memory=440736 CPUtime=25.37 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 44722 0 0 0 2461 76 0 0 20 0 1 0 29845834 617140224 110184 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 150669 110184 2336 1147 0 138096 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 606868 KiB
Current children cumulated memory: 443680 KiB

[startup+51.1134 s]
/proc/loadavg: 2.99 2.38 3.07 5/257 14411
/proc/meminfo: memFree=128832924/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=628308 memory=467200 CPUtime=50.89 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 49337 0 0 0 5005 84 0 0 20 0 1 0 29845834 643387392 116800 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 157077 116800 2336 1147 0 144504 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 632500 KiB
Current children cumulated memory: 470144 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.67 3.13 5/257 14417
/proc/meminfo: memFree=128805284/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=654712 memory=480760 CPUtime=101.9 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 50688 0 0 0 10068 122 0 0 20 0 1 0 29845834 670425088 120190 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 163678 120190 2336 1147 0 151105 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 658904 KiB
Current children cumulated memory: 483704 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.93 3.19 5/257 14419
/proc/meminfo: memFree=128779884/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=661072 memory=487692 CPUtime=161.69 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 51980 0 0 0 16026 143 0 0 20 0 1 0 29845834 676937728 121923 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 165268 121923 2336 1147 0 152695 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 665264 KiB
Current children cumulated memory: 490636 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.14 3.25 5/256 14421
/proc/meminfo: memFree=128761168/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=661072 memory=502468 CPUtime=221.49 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52103 0 0 0 21966 183 0 0 20 0 1 0 29845834 676937728 125617 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 165268 125617 2336 1147 0 152695 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 665264 KiB
Current children cumulated memory: 505412 KiB

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

# cumulated CPU time of all completed processes:  user=230.14 s, system=1.92923 s

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

[startup+224 s]*
/proc/loadavg: 4.00 3.14 3.25 5/256 14421
/proc/meminfo: memFree=128756064/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=661072 memory=502468 CPUtime=223.19 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52103 0 0 0 22135 184 0 0 20 0 1 0 29845834 676937728 125617 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 165268 125617 2336 1147 0 152695 0
Current children cumulated CPU time: 223.19 s
Current children cumulated vsize: 665264 KiB
Current children cumulated memory: 505412 KiB

[startup+227.2 s]
/proc/loadavg: 4.00 3.15 3.25 5/256 14421
/proc/meminfo: memFree=128751968/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=661072 memory=502468 CPUtime=226.37 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52103 0 0 0 22451 186 0 0 20 0 1 0 29845834 676937728 125617 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 165268 125617 2336 1147 0 152695 0
Current children cumulated CPU time: 226.37 s
Current children cumulated vsize: 665264 KiB
Current children cumulated memory: 505412 KiB

[startup+230.4 s]
/proc/loadavg: 4.00 3.15 3.25 4/250 14429
/proc/meminfo: memFree=129060072/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=691892 memory=505740 CPUtime=229.55 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52401 0 0 0 22767 188 0 0 20 0 1 0 29845834 708497408 126435 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 172973 126435 2336 1147 0 160400 0
Current children cumulated CPU time: 229.55 s
Current children cumulated vsize: 696084 KiB
Current children cumulated memory: 508684 KiB

[startup+232 s]*
/proc/loadavg: 4.00 3.17 3.26 5/251 14469
/proc/meminfo: memFree=129051796/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=691892 memory=508952 CPUtime=231.16 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52694 0 0 0 22925 191 0 0 20 0 1 0 29845834 708497408 127238 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 172973 127238 2336 1147 0 160400 0
Current children cumulated CPU time: 231.16 s
Current children cumulated vsize: 696084 KiB
Current children cumulated memory: 511896 KiB

[startup+232.4 s]
/proc/loadavg: 4.00 3.17 3.26 5/251 14469
/proc/meminfo: memFree=129051796/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=691892 memory=508952 CPUtime=231.54 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52694 0 0 0 22963 191 0 0 20 0 1 0 29845834 708497408 127238 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 172973 127238 2336 1147 0 160400 0
Current children cumulated CPU time: 231.54 s
Current children cumulated vsize: 696084 KiB
Current children cumulated memory: 511896 KiB

[startup+232.8 s]
/proc/loadavg: 4.00 3.17 3.26 5/251 14469
/proc/meminfo: memFree=129051796/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=691892 memory=508952 CPUtime=231.94 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52694 0 0 0 23003 191 0 0 20 0 1 0 29845834 708497408 127238 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 172973 127238 2336 1147 0 160400 0
Current children cumulated CPU time: 231.94 s
Current children cumulated vsize: 696084 KiB
Current children cumulated memory: 511896 KiB

[startup+232.9 s]
/proc/loadavg: 4.00 3.17 3.26 5/251 14469
/proc/meminfo: memFree=129051796/131382116 swapFree=33010684/33010684
[pid=14317] ppid=14314 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/14317/stat : 14317 (run-dec.sh) S 14314 14317 11404 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 29845834 4292608 736 18446744073709551615 94573753331712 94573754226245 140727712508784 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94573754465296 94573754513040 94573774348288 140727712512365 140727712512488 140727712512488 140727712518090 0
/proc/14317/statm: 1048 736 672 219 0 110 0
[pid=14319] ppid=14317 vsize=412192 memory=336000 CPUtime=232.05 cores=5,7
/proc/14319/stat : 14319 (roundingsat) R 14317 14317 11404 0 -1 4194304 52708 0 0 0 23013 192 0 0 20 0 1 0 29845834 422084608 84000 18446744073709551615 4227072 8923433 140722253173264 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23564288 140722253179319 140722253179432 140722253179432 140722253185002 0
/proc/14319/statm: 103048 84000 2336 1147 0 90475 0
Current children cumulated CPU time: 232.05 s
Current children cumulated vsize: 416384 KiB
Current children cumulated memory: 338944 KiB

Child status: 0

Real time (s): 232.915
CPU time (s): 232.069
CPU user time (s): 230.14
CPU system time (s): 1.92923
CPU usage (%): 99.6366
Max. virtual memory (cumulated for all children) (KiB): 696084
Max. memory (cumulated for all children) (KiB): 511896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.14
system time used= 1.92923
maximum resident set size= 508952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52941
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= 1442


# summary of solver processes directly reported to runsolver:
#   pid: 14317
#   total CPU time (s): 232.069
#   total CPU user time (s): 230.14
#   total CPU system time (s): 1.92923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2166 second user time and 2.5207 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-28 22:14:21
IDJOB=4491680
IDBENCH=147732
IDSOLVER=3349
FILE ID=nodeC011/4491680-1751141661
RUNJOBID= nodeC011-1751141655-14075
SLURM_JOB_ID= 9587411
Free space on /tmp= 432992 MiB

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

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

MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=2030720706

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129323780 kB
MemAvailable:   128951660 kB
Buffers:            3280 kB
Cached:           422496 kB
SwapCached:            0 kB
Active:          1125500 kB
Inactive:         209380 kB
Active(anon):     927064 kB
Inactive(anon):        0 kB
Active(file):     198436 kB
Inactive(file):   209380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             58504 kB
Writeback:             4 kB
AnonPages:        912172 kB
Mapped:           111000 kB
Shmem:             17960 kB
KReclaimable:      83432 kB
Slab:             161340 kB
SReclaimable:      83432 kB
SUnreclaim:        77908 kB
KernelStack:        4080 kB
PageTables:         4852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1340108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    579584 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC011 at 2025-06-28 22:18:14