Trace number 4515638

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma 63f22adUNSAT 204.878 205.439

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
MD5SUM2ed11ed0a65f838ec27d78822f3aa2f3
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 benchmark11.3422
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables53655
Total number of constraints10732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints10724
Minimum length of a constraint5
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 30
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4515638-1751223467.opb'
0.00/0.03	c 	read 1.64MB  (26.95ms)
0.00/0.03	c	 [cnf: #variables 53655 #clauses 10732 #duplicates 0 #arr 159510]
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.08/0.11	c	 [group: #orbits ~= 34852] (74.16ms)
0.08/0.11	c 
0.08/0.11	c detect special group actions
0.08/0.11	c 	probe for Johnson action (limit=64)
0.08/0.11	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.14	c 	probe for row symmetry (limit=64, splits=16.78M)
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.14	c 	 found row 4x2, generating row predicate
0.08/0.14	c 	 found row 3x2, generating row predicate
0.08/0.15	c 	 found row 4x2, generating row predicate
0.08/0.15	c 	 found row 3x2, generating row predicate
0.08/0.15	c 	 found row 4x2, generating row predicate
0.08/0.15	c 	 found row 3x2, generating row predicate
0.08/0.15	c 	 (36.75ms)
0.08/0.15	c 
0.08/0.15	c detect symmetries on remainder
0.08/0.15	c 	[graph: #vertices 225352 #edges 640950]
0.08/0.15	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.25	c 	 [group: #symmetries 2.68*10^13268 #generators 32847] (105.48ms)
0.19/0.25	c 
0.19/0.25	c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.26	c 	ran it=0, +gens=2 
0.19/0.29	c 	con best_support=4, best_gens=32847, +gens=0
0.19/0.29	c 	(42.50ms)
0.19/0.29	c 
0.19/0.29	c finalize break order and special generators
0.19/0.30	c 
0.19/0.30	c add generic predicates (break_depth=10)
0.19/0.30	c 	added predicates for 32849 generators (5.72ms)
0.19/0.30	c 
0.19/0.30	c generation finished
0.19/0.30	c 	[sbp: #constraints 32917 #add_vars 4]
0.29/0.31	c 
0.29/0.31	c write result to 'HOME/instance-4515638-1751223467.opb.pre'
0.29/0.31	c 	wrote 2.58MB (6.04ms)
0.29/0.31	c ------------------------------------------------------------------
0.29/0.31	c                 105.48ms 34.30% detect_generic
0.29/0.31	c                  74.16ms 24.11% approx_orbits
0.29/0.31	c                  42.50ms 13.82% optimize_gens
0.29/0.31	c                  36.75ms 11.95% detect_special
0.29/0.31	c                  26.95ms  8.76% parse
0.29/0.31	c                   6.04ms  1.96% output
0.29/0.31	c                   5.72ms  1.86% break_generic
0.29/0.31	c                   5.25ms  1.71% other
0.29/0.31	c                   4.66ms  1.51% finalize_order
0.29/0.31	c         ───────────────────────────────────────────────
0.29/0.31	c                 307.52ms   100% total
0.29/0.31	c ------------------------------------------------------------------
0.29/0.33	c RoundingSat 2
0.29/0.33	c branch pb25
0.29/0.33	c commit 63f22ad
0.57/0.62	c #variables 53659 #constraints 43649
62.21/62.41	c #Conflicts:       1000 | #Constraints:      44648
62.21/62.41	c #Conflicts:       2000 | #Constraints:      45648
62.21/62.41	c INPROCESSING
62.21/62.41	c #Conflicts:       3000 | #Constraints:      45568
62.21/62.41	c #Conflicts:       4000 | #Constraints:      46568
62.21/62.41	c INPROCESSING
62.21/62.41	c #Conflicts:       5000 | #Constraints:      45921
62.21/62.41	c #Conflicts:       6000 | #Constraints:      46921
62.21/62.41	c INPROCESSING
62.21/62.41	c #Conflicts:       7000 | #Constraints:      45930
62.21/62.41	c #Conflicts:       8000 | #Constraints:      46930
62.21/62.41	c #Conflicts:       9000 | #Constraints:      47930
62.21/62.41	c #Conflicts:      10000 | #Constraints:      48930
62.21/62.41	c #Conflicts:      11000 | #Constraints:      49930
62.21/62.41	c #Conflicts:      12000 | #Constraints:      50930
62.21/62.41	c INPROCESSING
62.21/62.41	c GARBAGE COLLECT
62.21/62.41	c #Conflicts:      13000 | #Constraints:      47433
62.21/62.41	c #Conflicts:      14000 | #Constraints:      48433
62.21/62.41	c #Conflicts:      15000 | #Constraints:      49433
62.21/62.41	c #Conflicts:      16000 | #Constraints:      50433
62.21/62.41	c #Conflicts:      17000 | #Constraints:      51433
62.21/62.41	c #Conflicts:      18000 | #Constraints:      52433
62.21/62.41	c #Conflicts:      19000 | #Constraints:      53433
62.21/62.41	c #Conflicts:      20000 | #Constraints:      54433
62.21/62.41	c #Conflicts:      21000 | #Constraints:      55433
62.21/62.41	c INPROCESSING
62.21/62.41	c #Conflicts:      22000 | #Constraints:      49970
62.21/62.41	c #Conflicts:      23000 | #Constraints:      50970
62.21/62.41	c #Conflicts:      24000 | #Constraints:      51970
62.21/62.41	c #Conflicts:      25000 | #Constraints:      52970
62.21/62.41	c #Conflicts:      26000 | #Constraints:      53970
62.21/62.41	c #Conflicts:      27000 | #Constraints:      54970
62.21/62.41	c #Conflicts:      28000 | #Constraints:      55970
62.21/62.41	c #Conflicts:      29000 | #Constraints:      56970
62.21/62.41	c #Conflicts:      30000 | #Constraints:      57970
62.21/62.41	c #Conflicts:      31000 | #Constraints:      58970
62.21/62.41	c INPROCESSING
62.21/62.41	c GARBAGE COLLECT
62.21/62.41	c #Conflicts:      32000 | #Constraints:      51586
62.21/62.41	c #Conflicts:      33000 | #Constraints:      52586
62.21/62.41	c #Conflicts:      34000 | #Constraints:      53586
62.21/62.41	c #Conflicts:      35000 | #Constraints:      54586
62.21/62.41	c #Conflicts:      36000 | #Constraints:      55586
62.21/62.41	c #Conflicts:      37000 | #Constraints:      56586
62.21/62.41	c #Conflicts:      38000 | #Constraints:      57586
62.21/62.41	c #Conflicts:      39000 | #Constraints:      58586
62.21/62.41	c #Conflicts:      40000 | #Constraints:      59586
62.21/62.41	c #Conflicts:      41000 | #Constraints:      60586
62.21/62.41	c #Conflicts:      42000 | #Constraints:      61586
62.21/62.41	c #Conflicts:      43000 | #Constraints:      62586
62.21/62.41	c INPROCESSING
62.21/62.41	c GARBAGE COLLECT
62.21/62.41	c #Conflicts:      44000 | #Constraints:      53482
62.21/62.41	c #Conflicts:      45000 | #Constraints:      54482
62.21/62.41	c #Conflicts:      46000 | #Constraints:      55482
62.21/62.41	c #Conflicts:      47000 | #Constraints:      56482
62.21/62.41	c #Conflicts:      48000 | #Constraints:      57482
62.21/62.41	c #Conflicts:      49000 | #Constraints:      58482
62.21/62.41	c #Conflicts:      50000 | #Constraints:      59482
62.21/62.41	c #Conflicts:      51000 | #Constraints:      60482
62.21/62.41	c #Conflicts:      52000 | #Constraints:      61482
62.21/62.41	c #Conflicts:      53000 | #Constraints:      62482
62.21/62.41	c #Conflicts:      54000 | #Constraints:      63482
62.21/62.41	c #Conflicts:      55000 | #Constraints:      64482
62.21/62.41	c #Conflicts:      56000 | #Constraints:      65482
62.21/62.41	c #Conflicts:      57000 | #Constraints:      66482
62.21/62.41	c INPROCESSING
62.21/62.41	c GARBAGE COLLECT
62.21/62.41	c #Conflicts:      58000 | #Constraints:      56489
62.21/62.41	c #Conflicts:      59000 | #Constraints:      57489
62.21/62.41	c #Conflicts:      60000 | #Constraints:      58489
62.21/62.41	c #Conflicts:      61000 | #Constraints:      59489
62.21/62.41	c #Conflicts:      62000 | #Constraints:      60489
62.21/62.41	c #Conflicts:      63000 | #Constraints:      61489
62.21/62.41	c #Conflicts:      64000 | #Constraints:      62489
62.21/62.41	c #Conflicts:      65000 | #Constraints:      63489
62.21/62.41	c #Conflicts:      66000 | #Constraints:      64489
62.21/62.41	c #Conflicts:      67000 | #Constraints:      65489
62.21/62.41	c #Conflicts:      68000 | #Constraints:      66489
62.21/62.41	c #Conflicts:      69000 | #Constraints:      67489
62.21/62.41	c #Conflicts:      70000 | #Constraints:      68489
62.21/62.41	c #Conflicts:      71000 | #Constraints:      69489
62.21/62.41	c #Conflicts:      72000 | #Constraints:      70489
62.21/62.41	c #Conflicts:      73000 | #Constraints:      71489
62.21/62.41	c INPROCESSING
62.21/62.41	c GARBAGE COLLECT
62.21/62.41	c #Conflicts:      74000 | #Constraints:      59786
62.21/62.41	c #Conflicts:      75000 | #Constraints:      60786
197.55/198.12	c #Conflicts:      76000 | #Constraints:      61786
197.55/198.12	c #Conflicts:      77000 | #Constraints:      62786
197.55/198.12	c #Conflicts:      78000 | #Constraints:      63786
197.55/198.12	c #Conflicts:      79000 | #Constraints:      64786
197.55/198.12	c #Conflicts:      80000 | #Constraints:      65786
197.55/198.12	c #Conflicts:      81000 | #Constraints:      66786
197.55/198.12	c #Conflicts:      82000 | #Constraints:      67786
197.55/198.12	c #Conflicts:      83000 | #Constraints:      68786
197.55/198.12	c #Conflicts:      84000 | #Constraints:      69786
197.55/198.12	c #Conflicts:      85000 | #Constraints:      70786
197.55/198.12	c #Conflicts:      86000 | #Constraints:      71786
197.55/198.12	c #Conflicts:      87000 | #Constraints:      72786
197.55/198.12	c #Conflicts:      88000 | #Constraints:      73786
197.55/198.12	c #Conflicts:      89000 | #Constraints:      74786
197.55/198.12	c #Conflicts:      90000 | #Constraints:      75786
197.55/198.12	c #Conflicts:      91000 | #Constraints:      76786
197.55/198.12	c #Conflicts:      92000 | #Constraints:      77786
197.55/198.12	c INPROCESSING
197.55/198.12	c GARBAGE COLLECT
197.55/198.12	c #Conflicts:      93000 | #Constraints:      64240
197.55/198.12	c #Conflicts:      94000 | #Constraints:      65240
197.55/198.12	c #Conflicts:      95000 | #Constraints:      66240
197.55/198.12	c #Conflicts:      96000 | #Constraints:      67240
197.55/198.12	c #Conflicts:      97000 | #Constraints:      68240
197.55/198.12	c #Conflicts:      98000 | #Constraints:      69240
197.55/198.12	c #Conflicts:      99000 | #Constraints:      70240
197.55/198.12	c #Conflicts:     100000 | #Constraints:      71240
197.55/198.12	c #Conflicts:     101000 | #Constraints:      72241
197.55/198.12	c #Conflicts:     102000 | #Constraints:      73241
197.55/198.12	c #Conflicts:     103000 | #Constraints:      74241
197.55/198.12	c #Conflicts:     104000 | #Constraints:      75241
197.55/198.12	c #Conflicts:     105000 | #Constraints:      76241
197.55/198.12	c #Conflicts:     106000 | #Constraints:      77241
197.55/198.12	c #Conflicts:     107000 | #Constraints:      78241
197.55/198.12	c #Conflicts:     108000 | #Constraints:      79241
197.55/198.12	c #Conflicts:     109000 | #Constraints:      80241
197.55/198.12	c #Conflicts:     110000 | #Constraints:      81241
197.55/198.12	c #Conflicts:     111000 | #Constraints:      82241
197.55/198.12	c #Conflicts:     112000 | #Constraints:      83241
197.55/198.12	c INPROCESSING
197.55/198.12	c GARBAGE COLLECT
197.55/198.12	c #Conflicts:     113000 | #Constraints:      68278
197.55/198.12	c #Conflicts:     114000 | #Constraints:      69278
197.55/198.12	c #Conflicts:     115000 | #Constraints:      70278
197.55/198.12	c #Conflicts:     116000 | #Constraints:      71279
197.55/198.12	c #Conflicts:     117000 | #Constraints:      72279
197.55/198.12	c #Conflicts:     118000 | #Constraints:      73279
197.55/198.12	c #Conflicts:     119000 | #Constraints:      74279
197.55/198.12	c #Conflicts:     120000 | #Constraints:      75279
197.55/198.12	c #Conflicts:     121000 | #Constraints:      76279
197.55/198.12	c #Conflicts:     122000 | #Constraints:      77279
197.55/198.12	c #Conflicts:     123000 | #Constraints:      78279
197.55/198.12	c #Conflicts:     124000 | #Constraints:      79279
197.55/198.12	c #Conflicts:     125000 | #Constraints:      80279
197.55/198.12	c #Conflicts:     126000 | #Constraints:      81279
197.55/198.12	c #Conflicts:     127000 | #Constraints:      82279
197.55/198.12	c #Conflicts:     128000 | #Constraints:      83279
197.55/198.12	c #Conflicts:     129000 | #Constraints:      84279
197.55/198.12	c #Conflicts:     130000 | #Constraints:      85279
197.55/198.12	c #Conflicts:     131000 | #Constraints:      86279
197.55/198.12	c #Conflicts:     132000 | #Constraints:      87279
197.55/198.12	c #Conflicts:     133000 | #Constraints:      88279
197.55/198.12	c #Conflicts:     134000 | #Constraints:      89279
197.55/198.12	c INPROCESSING
197.55/198.12	c GARBAGE COLLECT
197.55/198.12	c #Conflicts:     135000 | #Constraints:      73018
197.55/198.12	c #Conflicts:     136000 | #Constraints:      74018
197.55/198.12	c #Conflicts:     137000 | #Constraints:      75018
197.55/198.12	c #Conflicts:     138000 | #Constraints:      76018
197.55/198.12	c #Conflicts:     139000 | #Constraints:      77018
197.55/198.12	c #Conflicts:     140000 | #Constraints:      78018
197.55/198.12	c #Conflicts:     141000 | #Constraints:      79018
197.55/198.12	c #Conflicts:     142000 | #Constraints:      80018
197.55/198.12	c #Conflicts:     143000 | #Constraints:      81018
197.55/198.12	c #Conflicts:     144000 | #Constraints:      82018
197.55/198.12	c #Conflicts:     145000 | #Constraints:      83018
197.55/198.12	c #Conflicts:     146000 | #Constraints:      84018
197.55/198.12	c #Conflicts:     147000 | #Constraints:      85018
197.55/198.12	c #Conflicts:     148000 | #Constraints:      86018
197.55/198.12	c #Conflicts:     149000 | #Constraints:      87018
197.55/198.12	c #Conflicts:     150000 | #Constraints:      88018
197.55/198.12	c #Conflicts:     151000 | #Constraints:      89018
197.55/198.12	c #Conflicts:     152000 | #Constraints:      90018
204.83/205.41	c #Conflicts:     153000 | #Constraints:      91018
204.83/205.41	c #Conflicts:     154000 | #Constraints:      92018
204.83/205.41	c #Conflicts:     155000 | #Constraints:      93018
204.83/205.41	c #Conflicts:     156000 | #Constraints:      94018
204.83/205.41	c #Conflicts:     157000 | #Constraints:      95018
204.83/205.41	c #Conflicts:     158000 | #Constraints:      96018
204.83/205.41	c INPROCESSING
204.83/205.41	c GARBAGE COLLECT
204.83/205.41	c #Conflicts:     159000 | #Constraints:      77037
204.83/205.41	c #Conflicts:     160000 | #Constraints:      78037
204.83/205.41	c #Conflicts:     161000 | #Constraints:      79037
204.83/205.41	c #Conflicts:     162000 | #Constraints:      80037
204.83/205.41	c #Conflicts:     163000 | #Constraints:      81037
204.83/205.41	c #Conflicts:     164000 | #Constraints:      82037
204.83/205.41	c #Conflicts:     165000 | #Constraints:      83037
204.83/205.41	c #Conflicts:     166000 | #Constraints:      84037
204.83/205.41	c #Conflicts:     167000 | #Constraints:      85037
204.83/205.41	c #Conflicts:     168000 | #Constraints:      86037
204.83/205.41	c #Conflicts:     169000 | #Constraints:      87037
204.83/205.41	c #Conflicts:     170000 | #Constraints:      88037
204.83/205.41	c #Conflicts:     171000 | #Constraints:      89037
204.83/205.41	c #Conflicts:     172000 | #Constraints:      90037
204.83/205.41	c #Conflicts:     173000 | #Constraints:      91037
204.83/205.41	c #Conflicts:     174000 | #Constraints:      92037
204.83/205.41	c #Conflicts:     175000 | #Constraints:      93037
204.83/205.41	c #Conflicts:     176000 | #Constraints:      94037
204.83/205.41	c #Conflicts:     177000 | #Constraints:      95037
204.83/205.41	c #Conflicts:     178000 | #Constraints:      96037
204.83/205.41	c #Conflicts:     179000 | #Constraints:      97037
204.83/205.41	c #Conflicts:     180000 | #Constraints:      98037
204.83/205.41	c #Conflicts:     181000 | #Constraints:      99037
204.83/205.41	c #Conflicts:     182000 | #Constraints:     100037
204.83/205.41	c #Conflicts:     183000 | #Constraints:     101037
204.83/205.41	c cpu time 198.248 s
204.83/205.41	c deterministic time 247819650 2.48e+08
204.83/205.41	c optimization time 6.6e-05 s
204.83/205.41	c total solve time 198.024 s
204.83/205.41	c core-guided solve time 0 s
204.83/205.41	c propagation time 128.602 s
204.83/205.41	c conflict analysis time 1.50596 s
204.83/205.41	c propagations 8714802
204.83/205.41	c resolve steps 387042
204.83/205.41	c decisions 8459684
204.83/205.41	c conflicts 183656
204.83/205.41	c restarts 507
204.83/205.41	c inprocessing phases 13
204.83/205.41	c garbage collections 9 ,( 69.23 )
204.83/205.41	c input clauses 32917 ,( 75.41 )
204.83/205.41	c input cardinalities 147 ,( 0.34 )
204.83/205.41	c input general constraints 10585 ,( 24.25 )
204.83/205.41	c input average constraint length 5.16
204.83/205.41	c input average constraint degree 3.19
204.83/205.41	c learned clauses 60293 ,( 32.83 )
204.83/205.41	c learned cardinalities 19528 ,( 10.63 )
204.83/205.41	c learned general constraints 103836 ,( 56.54 )
204.83/205.41	c learned average constraint length 9.92
204.83/205.41	c learned average constraint degree 44060.69
204.83/205.41	c watched  CF 32, 64, 128, Arb: 4993 , 0 , 0 , 0
204.83/205.41	c counting CF 32, 64, 128, Arb: 109428 , 0 , 0 , 0
204.83/205.41	c watched   constraints 4993 ,( 4.36 ) 
204.83/205.41	c counting  constraints 109428 ,( 95.64 ) 
204.83/205.41	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3032786 , 1790584 , 12190395 ,( 151467 , 12038928 )
204.83/205.41	c gcd simplifications 32330
204.83/205.41	c detected cardinalities 5848
204.83/205.41	c weakened non-implied lits 603890
204.83/205.41	c weakened non-implying lits 24430
204.83/205.41	c original variables 53659
204.83/205.41	c clausal propagations 2580593
204.83/205.41	c cardinality propagations 1259206
204.83/205.41	c watched propagations 5040
204.83/205.41	c counting propagations 4557419
204.83/205.41	c watch lookups 116515053
204.83/205.41	c watch backjump lookups 0
204.83/205.41	c watch checks 5205486
204.83/205.41	c propagation checks 85798315
204.83/205.41	c constraint additions 5707744
204.83/205.41	c trail pops 17353779
204.83/205.41	c formula constraints 43649
204.83/205.41	c learned constraints 183653
204.83/205.41	c bound constraints 0
204.83/205.41	c core-guided constraints 0
204.83/205.41	c encountered formula constraints 283919
204.83/205.41	c encountered learned constraints 286756
204.83/205.41	c encountered bound constraints 0
204.83/205.41	c encountered core-guided constraints 0
204.83/205.41	c LP total time 150.879 s
204.83/205.41	c LP solve time 150.79 s
204.83/205.41	c LP constraints added 43649
204.83/205.41	c LP constraints removed 0
204.83/205.41	c LP pivots internal 43786
204.83/205.41	c LP pivots root 21000
204.83/205.41	c LP calls 8
204.83/205.41	c LP optimalities 0
204.83/205.41	c LP no pivot count 0
204.83/205.41	c LP infeasibilities 2
204.83/205.41	c LP valid Farkas constraints 2
204.83/205.41	c LP learned Farkas constraints 2
204.83/205.41	c LP basis resets 0
204.83/205.41	c LP cycling count 0
204.83/205.41	c LP singular count 0
204.83/205.41	c LP no primal count 0
204.83/205.41	c LP no farkas count 0
204.83/205.41	c LP other issue count 0
204.83/205.41	c LP Gomory cuts 0
204.83/205.41	c LP learned cuts 0
204.83/205.41	c LP deleted cuts 0
204.83/205.41	c LP encountered Gomory constraints 0
204.83/205.41	c LP encountered Farkas constraints 20
204.83/205.41	c LP encountered learned Farkas constraints 1
204.83/205.41	c CG auxiliary variables introduced 0
204.83/205.43	c CG solutions found 0
204.83/205.43	c CG cores constructed 0
204.83/205.43	c CG core cardinality constraints returned 0
204.83/205.43	c CG unit cores 0
204.83/205.43	c CG single cores 0
204.83/205.43	c CG blocks removed during cardinality reduction 0
204.83/205.43	c CG first core best 0
204.83/205.43	c CG decision core best 0
204.83/205.43	c CG core reduction tie 0
204.83/205.43	c CG core degree average 0.00
204.83/205.43	c CG core slack average 0.00
204.83/205.43	c CG core upper bound improvements 0
204.83/205.43	c STR number of successful calls 0
204.83/205.43	c STR number of unsuccessful calls 0
204.83/205.43	c STR number of inconclusive calls 0
204.83/205.43	c STR number of successful attempts 0
204.83/205.43	c STR number of unsuccessful attempts 0
204.83/205.43	c STR number of inconclusive attempts 0
204.83/205.43	c STR average degree increase per successful call inf
204.83/205.43	c STR average degree increase per successful attempt inf
204.83/205.43	c STR total number of conflicts for successful attempts 0
204.83/205.43	c STR total number of conflicts for unsuccessful attempts 0
204.83/205.43	c STR total number of conflicts for inconclusive attempts 0
204.83/205.43	c STR average number of conflicts per successful attempt inf
204.83/205.43	c STR average number of conflicts per unsuccessful attempt inf
204.83/205.43	c STR average number of conflicts per inconclusive attempt inf
204.83/205.43	c AVG.sumWPerc 64.18 
204.83/205.43	c bigint constraints 0 
204.83/205.43	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: 63708 MiB (62433 MiB free)
  memory of node 1: 64465 MiB (62535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515638-1751223467/watcher-4515638-1751223467 -o /tmp/evaluation-result-4515638-1751223467/solver-4515638-1751223467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28906 --watchdog 3760 run-dec-break.sh HOME/instance-4515638-1751223467.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
Current StackSize limit: 8192 KiB

solver pid=30856, runsolver pid=30853

[startup+0.100067 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 30858
/proc/meminfo: memFree=127931748/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30858] ppid=30856 vsize=70304 memory=49732 CPUtime=0.08 cores=0,2
/proc/30858/stat : 30858 (pbsuma) R 30856 30856 28896 0 -1 4194304 11266 0 0 0 7 1 0 0 20 0 1 0 38025265 71991296 12433 18446744073709551615 4210688 4653049 140723917988736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37588992 140723917990243 140723917990450 140723917990450 140723917996015 0
/proc/30858/statm: 17576 12433 1024 108 0 14984 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74496 KiB
Current children cumulated memory: 52676 KiB

[startup+0.205625 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 30858
/proc/meminfo: memFree=127907808/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30858] ppid=30856 vsize=119864 memory=83156 CPUtime=0.19 cores=0,2
/proc/30858/stat : 30858 (pbsuma) R 30856 30856 28896 0 -1 4194304 21195 0 0 0 16 3 0 0 20 0 1 0 38025265 122740736 20789 18446744073709551615 4210688 4653049 140723917988736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37588992 140723917990243 140723917990450 140723917990450 140723917996015 0
/proc/30858/statm: 29966 20789 1024 108 0 27374 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 124056 KiB
Current children cumulated memory: 86100 KiB

[startup+0.305593 s]*
/proc/loadavg: 4.10 4.09 4.09 5/270 30858
/proc/meminfo: memFree=127899744/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30858] ppid=30856 vsize=110660 memory=76444 CPUtime=0.29 cores=0,2
/proc/30858/stat : 30858 (pbsuma) R 30856 30856 28896 0 -1 4194304 22323 0 0 0 26 3 0 0 20 0 1 0 38025265 113315840 19111 18446744073709551615 4210688 4653049 140723917988736 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 37588992 140723917990243 140723917990450 140723917990450 140723917996015 0
/proc/30858/statm: 27665 19111 1024 108 0 25073 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114852 KiB
Current children cumulated memory: 79388 KiB

[startup+0.700223 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 30859
/proc/meminfo: memFree=127916880/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=167800 memory=112756 CPUtime=0.36 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 19702 0 0 0 29 7 0 0 20 0 1 0 38025297 171827200 28189 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 41950 28189 2272 1147 0 29377 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 171992 KiB
Current children cumulated memory: 115700 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 30859
/proc/meminfo: memFree=127868172/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=173516 memory=116340 CPUtime=1.15 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 20583 0 0 0 108 7 0 0 20 0 1 0 38025297 177680384 29085 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 43379 29085 2272 1147 0 30806 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 177708 KiB
Current children cumulated memory: 119284 KiB

[startup+3.10545 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 30859
/proc/meminfo: memFree=127852224/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=177040 memory=119156 CPUtime=2.76 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 21289 0 0 0 268 8 0 0 20 0 1 0 38025297 181288960 29789 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 44260 29789 2272 1147 0 31687 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 181232 KiB
Current children cumulated memory: 122100 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 30859
/proc/meminfo: memFree=127828032/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=179476 memory=123252 CPUtime=5.94 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 22233 0 0 0 582 12 0 0 20 0 1 0 38025297 183783424 30813 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 44869 30813 2368 1147 0 32296 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 183668 KiB
Current children cumulated memory: 126196 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 30859
/proc/meminfo: memFree=127787708/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=190532 memory=132340 CPUtime=12.33 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 24522 0 0 0 1205 28 0 0 20 0 1 0 38025297 195104768 33085 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 47633 33085 2368 1147 0 35060 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 194724 KiB
Current children cumulated memory: 135284 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 30860
/proc/meminfo: memFree=127743984/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=197488 memory=140868 CPUtime=25.09 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 26122 0 0 0 2417 92 0 0 20 0 1 0 38025297 202227712 35217 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 49372 35217 2368 1147 0 36799 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 201680 KiB
Current children cumulated memory: 143812 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.10 4.09 5/269 30860
/proc/meminfo: memFree=127559364/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=216440 memory=157928 CPUtime=50.64 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 30546 0 0 0 4919 145 0 0 20 0 1 0 38025297 221634560 39482 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 54110 39482 2368 1147 0 41537 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 160872 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 30864
/proc/meminfo: memFree=127389244/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=225400 memory=168760 CPUtime=101.69 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 32746 0 0 0 9798 371 0 0 20 0 1 0 38025297 230809600 42190 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 56350 42190 2368 1147 0 43777 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 229592 KiB
Current children cumulated memory: 171704 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 30866
/proc/meminfo: memFree=127297400/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=227404 memory=171192 CPUtime=161.53 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 33265 0 0 0 15768 385 0 0 20 0 1 0 38025297 232861696 42798 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 56851 42798 2464 1147 0 44278 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 231596 KiB
Current children cumulated memory: 174136 KiB

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

# cumulated CPU time of all completed processes:  user=198.542 s, system=6.336 s

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

[startup+179.2 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 30866
/proc/meminfo: memFree=127286904/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=228712 memory=173112 CPUtime=178.39 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 33757 0 0 0 17450 389 0 0 20 0 1 0 38025297 234201088 43278 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 57178 43278 2464 1147 0 44605 0
Current children cumulated CPU time: 178.7 s
Current children cumulated vsize: 232904 KiB
Current children cumulated memory: 176056 KiB

[startup+192 s]*
/proc/loadavg: 4.07 4.09 4.09 5/270 30867
/proc/meminfo: memFree=127269624/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=230096 memory=173880 CPUtime=191.15 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 33933 0 0 0 18724 391 0 0 20 0 1 0 38025297 235618304 43470 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 57524 43470 2464 1147 0 44951 0
Current children cumulated CPU time: 191.46 s
Current children cumulated vsize: 234288 KiB
Current children cumulated memory: 176824 KiB

[startup+198.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244260/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=234516 memory=176276 CPUtime=197.53 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34014 0 0 0 19250 503 0 0 20 0 1 0 38025297 240144384 44069 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58629 44069 2464 1147 0 46056 0
Current children cumulated CPU time: 197.84 s
Current children cumulated vsize: 238708 KiB
Current children cumulated memory: 179220 KiB

[startup+201.6 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244764/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=234516 memory=176276 CPUtime=200.72 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34014 0 0 0 19556 516 0 0 20 0 1 0 38025297 240144384 44069 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58629 44069 2464 1147 0 46056 0
Current children cumulated CPU time: 201.03 s
Current children cumulated vsize: 238708 KiB
Current children cumulated memory: 179220 KiB

[startup+203.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244764/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=234516 memory=176276 CPUtime=202.32 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34014 0 0 0 19667 565 0 0 20 0 1 0 38025297 240144384 44069 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58629 44069 2464 1147 0 46056 0
Current children cumulated CPU time: 202.63 s
Current children cumulated vsize: 238708 KiB
Current children cumulated memory: 179220 KiB

[startup+204.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244764/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=234516 memory=176276 CPUtime=203.91 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34014 0 0 0 19780 611 0 0 20 0 1 0 38025297 240144384 44069 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58629 44069 2464 1147 0 46056 0
Current children cumulated CPU time: 204.22 s
Current children cumulated vsize: 238708 KiB
Current children cumulated memory: 179220 KiB

[startup+205.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244764/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=234516 memory=176916 CPUtime=204.31 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34203 0 0 0 19808 623 0 0 20 0 1 0 38025297 240144384 44229 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58629 44229 2464 1147 0 46056 0
Current children cumulated CPU time: 204.62 s
Current children cumulated vsize: 238708 KiB
Current children cumulated memory: 179860 KiB

[startup+205.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 30878
/proc/meminfo: memFree=127244764/131249988 swapFree=33010684/33010684
[pid=30856] ppid=30853 vsize=4192 memory=2944 CPUtime=0.31 cores=0,2
/proc/30856/stat : 30856 (run-dec-break.s) S 30853 30856 28896 0 -1 4194304 234 22452 0 0 0 0 27 4 20 0 1 0 38025264 4292608 736 18446744073709551615 94706374897664 94706375792197 140731691084352 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94706376031248 94706376078992 94706380566528 140731691092321 140731691092450 140731691092450 140731691098052 0
/proc/30856/statm: 1048 736 672 219 0 110 0
[pid=30859] ppid=30856 vsize=235572 memory=177940 CPUtime=204.52 cores=0,2
/proc/30859/stat : 30859 (roundingsat) R 30856 30856 28896 0 -1 4194304 34452 0 0 0 19824 628 0 0 20 0 1 0 38025297 241225728 44485 18446744073709551615 4227072 8923433 140727984680784 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30121984 140727984687428 140727984687656 140727984687656 140727984693226 0
/proc/30859/statm: 58893 44485 2464 1147 0 46320 0
Current children cumulated CPU time: 204.83 s
Current children cumulated vsize: 239764 KiB
Current children cumulated memory: 180884 KiB

Child status: 0

Real time (s): 205.439
CPU time (s): 204.878
CPU user time (s): 198.542
CPU system time (s): 6.336
CPU usage (%): 99.727
Max. virtual memory (cumulated for all children) (KiB): 239764
Max. memory (cumulated for all children) (KiB): 180884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.542
system time used= 6.336
maximum resident set size= 178068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 480


# summary of solver processes directly reported to runsolver:
#   pid: 30856
#   total CPU time (s): 204.878
#   total CPU user time (s): 198.542
#   total CPU system time (s): 6.336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390219 second user time and 0.97515 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-29 20:57:47
IDJOB=4515638
IDBENCH=165325
IDSOLVER=3357
FILE ID=nodeC031/4515638-1751223467
RUNJOBID= nodeC031-1751215967-28906
SLURM_JOB_ID= 9587654
Free space on /tmp= 433008 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515638-1751223467/watcher-4515638-1751223467 -o /tmp/evaluation-result-4515638-1751223467/solver-4515638-1751223467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28906 --watchdog 3760  run-dec-break.sh HOME/instance-4515638-1751223467.opb

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

MD5SUM BENCH= 2ed11ed0a65f838ec27d78822f3aa2f3
RANDOM SEED=1317724760

nodeC031 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		: 3601.127
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	: 6999.78
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		: 3599.886
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	: 6999.78
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		: 3599.860
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	: 6999.78
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		: 3600.208
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	: 6999.78
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		: 3599.845
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	: 6999.78
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		: 3599.864
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	: 6999.78
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		: 3579.505
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	: 6999.78
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		: 3724.852
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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127976820 kB
MemAvailable:   127830036 kB
Buffers:            3280 kB
Cached:           662396 kB
SwapCached:            0 kB
Active:          2234968 kB
Inactive:         442328 kB
Active(anon):    2029684 kB
Inactive(anon):        0 kB
Active(file):     205284 kB
Inactive(file):   442328 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8436 kB
Writeback:             0 kB
AnonPages:       2014640 kB
Mapped:           116104 kB
Shmem:             18064 kB
KReclaimable:      89688 kB
Slab:             176004 kB
SReclaimable:      89688 kB
SUnreclaim:        86316 kB
KernelStack:        4348 kB
PageTables:         7516 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2618664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    868352 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC031 at 2025-06-29 21:01:13