Trace number 4519096

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 NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06OPT0 239.597 240.46

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
MD5SUM682abe62cfc98d0c90b996ee5c2245ad
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.016831
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables416
Total number of constraints608
Number of constraints which are clauses384
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints224
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 32
Biggest coefficient in the objective function 32768
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 131070
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 131070
Number of bits of the biggest sum of numbers17
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 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 416 #constraints 832
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -65535 @ 0.005265
0.00/0.01	c stratification level: 16384
0.35/0.44	c bounds - >= -49151 @ 0.005379
0.35/0.44	c #Conflicts:       1000 | #Constraints:       1833
0.35/0.44	c bounds - >= -32767 @ 0.364528
0.35/0.44	c finalizing WCE round: reformulating cores
33.93/34.14	c #Conflicts:       2000 | #Constraints:       2839
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c bounds 0 >= -32767 @ 0.997286
33.93/34.14	c #Conflicts:       3000 | #Constraints:       2858
33.93/34.14	c #Conflicts:       4000 | #Constraints:       3858
33.93/34.14	c bounds 0 >= -16383 @ 1.61435
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:       5000 | #Constraints:       3080
33.93/34.14	c #Conflicts:       6000 | #Constraints:       4080
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:       7000 | #Constraints:       3186
33.93/34.14	c #Conflicts:       8000 | #Constraints:       4186
33.93/34.14	c #Conflicts:       9000 | #Constraints:       5186
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      10000 | #Constraints:       3942
33.93/34.14	c #Conflicts:      11000 | #Constraints:       4942
33.93/34.14	c #Conflicts:      12000 | #Constraints:       5942
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      13000 | #Constraints:       4427
33.93/34.14	c #Conflicts:      14000 | #Constraints:       5427
33.93/34.14	c #Conflicts:      15000 | #Constraints:       6427
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      16000 | #Constraints:       4671
33.93/34.14	c #Conflicts:      17000 | #Constraints:       5671
33.93/34.14	c #Conflicts:      18000 | #Constraints:       6671
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      19000 | #Constraints:       4697
33.93/34.14	c #Conflicts:      20000 | #Constraints:       5697
33.93/34.14	c #Conflicts:      21000 | #Constraints:       6697
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      22000 | #Constraints:       4506
33.93/34.14	c #Conflicts:      23000 | #Constraints:       5506
33.93/34.14	c #Conflicts:      24000 | #Constraints:       6506
33.93/34.14	c #Conflicts:      25000 | #Constraints:       7506
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      26000 | #Constraints:       5109
33.93/34.14	c #Conflicts:      27000 | #Constraints:       6109
33.93/34.14	c #Conflicts:      28000 | #Constraints:       7109
33.93/34.14	c #Conflicts:      29000 | #Constraints:       8109
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      30000 | #Constraints:       5522
33.93/34.14	c #Conflicts:      31000 | #Constraints:       6522
33.93/34.14	c #Conflicts:      32000 | #Constraints:       7522
33.93/34.14	c #Conflicts:      33000 | #Constraints:       8522
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      34000 | #Constraints:       5727
33.93/34.14	c #Conflicts:      35000 | #Constraints:       6727
33.93/34.14	c #Conflicts:      36000 | #Constraints:       7727
33.93/34.14	c #Conflicts:      37000 | #Constraints:       8727
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      38000 | #Constraints:       5728
33.93/34.14	c #Conflicts:      39000 | #Constraints:       6728
33.93/34.14	c #Conflicts:      40000 | #Constraints:       7728
33.93/34.14	c #Conflicts:      41000 | #Constraints:       8728
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      42000 | #Constraints:       5533
33.93/34.14	c #Conflicts:      43000 | #Constraints:       6533
33.93/34.14	c #Conflicts:      44000 | #Constraints:       7533
33.93/34.14	c #Conflicts:      45000 | #Constraints:       8533
33.93/34.14	c #Conflicts:      46000 | #Constraints:       9533
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      47000 | #Constraints:       6133
33.93/34.14	c #Conflicts:      48000 | #Constraints:       7133
33.93/34.14	c #Conflicts:      49000 | #Constraints:       8133
33.93/34.14	c #Conflicts:      50000 | #Constraints:       9133
33.93/34.14	c #Conflicts:      51000 | #Constraints:      10133
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      52000 | #Constraints:       6536
33.93/34.14	c #Conflicts:      53000 | #Constraints:       7536
33.93/34.14	c #Conflicts:      54000 | #Constraints:       8536
33.93/34.14	c #Conflicts:      55000 | #Constraints:       9536
33.93/34.14	c #Conflicts:      56000 | #Constraints:      10536
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      57000 | #Constraints:       6733
33.93/34.14	c #Conflicts:      58000 | #Constraints:       7733
33.93/34.14	c #Conflicts:      59000 | #Constraints:       8733
33.93/34.14	c #Conflicts:      60000 | #Constraints:       9733
33.93/34.14	c #Conflicts:      61000 | #Constraints:      10733
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      62000 | #Constraints:       6732
33.93/34.14	c #Conflicts:      63000 | #Constraints:       7732
33.93/34.14	c #Conflicts:      64000 | #Constraints:       8732
33.93/34.14	c #Conflicts:      65000 | #Constraints:       9732
33.93/34.14	c #Conflicts:      66000 | #Constraints:      10732
33.93/34.14	c INPROCESSING
33.93/34.14	c GARBAGE COLLECT
33.93/34.14	c #Conflicts:      67000 | #Constraints:       6537
33.93/34.14	c #Conflicts:      68000 | #Constraints:       7537
89.84/90.21	c #Conflicts:      69000 | #Constraints:       8537
89.84/90.21	c #Conflicts:      70000 | #Constraints:       9537
89.84/90.21	c #Conflicts:      71000 | #Constraints:      10537
89.84/90.21	c #Conflicts:      72000 | #Constraints:      11537
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:      73000 | #Constraints:       7133
89.84/90.21	c #Conflicts:      74000 | #Constraints:       8133
89.84/90.21	c #Conflicts:      75000 | #Constraints:       9133
89.84/90.21	c #Conflicts:      76000 | #Constraints:      10133
89.84/90.21	c #Conflicts:      77000 | #Constraints:      11133
89.84/90.21	c #Conflicts:      78000 | #Constraints:      12133
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:      79000 | #Constraints:       7537
89.84/90.21	c #Conflicts:      80000 | #Constraints:       8537
89.84/90.21	c #Conflicts:      81000 | #Constraints:       9537
89.84/90.21	c #Conflicts:      82000 | #Constraints:      10537
89.84/90.21	c #Conflicts:      83000 | #Constraints:      11537
89.84/90.21	c #Conflicts:      84000 | #Constraints:      12537
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:      85000 | #Constraints:       7741
89.84/90.21	c #Conflicts:      86000 | #Constraints:       8741
89.84/90.21	c #Conflicts:      87000 | #Constraints:       9741
89.84/90.21	c #Conflicts:      88000 | #Constraints:      10741
89.84/90.21	c #Conflicts:      89000 | #Constraints:      11741
89.84/90.21	c #Conflicts:      90000 | #Constraints:      12741
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:      91000 | #Constraints:       7737
89.84/90.21	c #Conflicts:      92000 | #Constraints:       8737
89.84/90.21	c #Conflicts:      93000 | #Constraints:       9737
89.84/90.21	c #Conflicts:      94000 | #Constraints:      10737
89.84/90.21	c #Conflicts:      95000 | #Constraints:      11737
89.84/90.21	c #Conflicts:      96000 | #Constraints:      12737
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:      97000 | #Constraints:       7537
89.84/90.21	c #Conflicts:      98000 | #Constraints:       8537
89.84/90.21	c #Conflicts:      99000 | #Constraints:       9537
89.84/90.21	c #Conflicts:     100000 | #Constraints:      10537
89.84/90.21	c #Conflicts:     101000 | #Constraints:      11537
89.84/90.21	c #Conflicts:     102000 | #Constraints:      12537
89.84/90.21	c #Conflicts:     103000 | #Constraints:      13537
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:     104000 | #Constraints:       8141
89.84/90.21	c #Conflicts:     105000 | #Constraints:       9141
89.84/90.21	c #Conflicts:     106000 | #Constraints:      10141
89.84/90.21	c #Conflicts:     107000 | #Constraints:      11141
89.84/90.21	c #Conflicts:     108000 | #Constraints:      12141
89.84/90.21	c #Conflicts:     109000 | #Constraints:      13141
89.84/90.21	c #Conflicts:     110000 | #Constraints:      14141
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:     111000 | #Constraints:       8551
89.84/90.21	c #Conflicts:     112000 | #Constraints:       9551
89.84/90.21	c #Conflicts:     113000 | #Constraints:      10551
89.84/90.21	c #Conflicts:     114000 | #Constraints:      11551
89.84/90.21	c #Conflicts:     115000 | #Constraints:      12551
89.84/90.21	c #Conflicts:     116000 | #Constraints:      13551
89.84/90.21	c #Conflicts:     117000 | #Constraints:      14551
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:     118000 | #Constraints:       8755
89.84/90.21	c #Conflicts:     119000 | #Constraints:       9755
89.84/90.21	c #Conflicts:     120000 | #Constraints:      10755
89.84/90.21	c #Conflicts:     121000 | #Constraints:      11755
89.84/90.21	c #Conflicts:     122000 | #Constraints:      12755
89.84/90.21	c #Conflicts:     123000 | #Constraints:      13755
89.84/90.21	c #Conflicts:     124000 | #Constraints:      14755
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:     125000 | #Constraints:       8748
89.84/90.21	c #Conflicts:     126000 | #Constraints:       9748
89.84/90.21	c #Conflicts:     127000 | #Constraints:      10748
89.84/90.21	c #Conflicts:     128000 | #Constraints:      11748
89.84/90.21	c #Conflicts:     129000 | #Constraints:      12748
89.84/90.21	c #Conflicts:     130000 | #Constraints:      13748
89.84/90.21	c #Conflicts:     131000 | #Constraints:      14748
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
89.84/90.21	c #Conflicts:     132000 | #Constraints:       8545
89.84/90.21	c #Conflicts:     133000 | #Constraints:       9545
89.84/90.21	c #Conflicts:     134000 | #Constraints:      10545
89.84/90.21	c #Conflicts:     135000 | #Constraints:      11545
89.84/90.21	c #Conflicts:     136000 | #Constraints:      12545
89.84/90.21	c #Conflicts:     137000 | #Constraints:      13545
89.84/90.21	c #Conflicts:     138000 | #Constraints:      14545
89.84/90.21	c #Conflicts:     139000 | #Constraints:      15545
89.84/90.21	c INPROCESSING
89.84/90.21	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     140000 | #Constraints:       9149
159.20/159.83	c #Conflicts:     141000 | #Constraints:      10149
159.20/159.83	c #Conflicts:     142000 | #Constraints:      11149
159.20/159.83	c #Conflicts:     143000 | #Constraints:      12149
159.20/159.83	c #Conflicts:     144000 | #Constraints:      13149
159.20/159.83	c #Conflicts:     145000 | #Constraints:      14149
159.20/159.83	c #Conflicts:     146000 | #Constraints:      15149
159.20/159.83	c #Conflicts:     147000 | #Constraints:      16149
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     148000 | #Constraints:       9552
159.20/159.83	c #Conflicts:     149000 | #Constraints:      10552
159.20/159.83	c #Conflicts:     150000 | #Constraints:      11552
159.20/159.83	c #Conflicts:     151000 | #Constraints:      12552
159.20/159.83	c #Conflicts:     152000 | #Constraints:      13552
159.20/159.83	c #Conflicts:     153000 | #Constraints:      14552
159.20/159.83	c #Conflicts:     154000 | #Constraints:      15552
159.20/159.83	c #Conflicts:     155000 | #Constraints:      16552
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     156000 | #Constraints:       9749
159.20/159.83	c #Conflicts:     157000 | #Constraints:      10749
159.20/159.83	c #Conflicts:     158000 | #Constraints:      11749
159.20/159.83	c #Conflicts:     159000 | #Constraints:      12749
159.20/159.83	c #Conflicts:     160000 | #Constraints:      13749
159.20/159.83	c #Conflicts:     161000 | #Constraints:      14749
159.20/159.83	c #Conflicts:     162000 | #Constraints:      15749
159.20/159.83	c #Conflicts:     163000 | #Constraints:      16749
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     164000 | #Constraints:       9743
159.20/159.83	c #Conflicts:     165000 | #Constraints:      10743
159.20/159.83	c #Conflicts:     166000 | #Constraints:      11743
159.20/159.83	c #Conflicts:     167000 | #Constraints:      12743
159.20/159.83	c #Conflicts:     168000 | #Constraints:      13743
159.20/159.83	c #Conflicts:     169000 | #Constraints:      14743
159.20/159.83	c #Conflicts:     170000 | #Constraints:      15743
159.20/159.83	c #Conflicts:     171000 | #Constraints:      16743
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     172000 | #Constraints:       9551
159.20/159.83	c #Conflicts:     173000 | #Constraints:      10551
159.20/159.83	c #Conflicts:     174000 | #Constraints:      11551
159.20/159.83	c #Conflicts:     175000 | #Constraints:      12551
159.20/159.83	c #Conflicts:     176000 | #Constraints:      13551
159.20/159.83	c #Conflicts:     177000 | #Constraints:      14551
159.20/159.83	c #Conflicts:     178000 | #Constraints:      15551
159.20/159.83	c #Conflicts:     179000 | #Constraints:      16551
159.20/159.83	c #Conflicts:     180000 | #Constraints:      17551
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     181000 | #Constraints:      10145
159.20/159.83	c #Conflicts:     182000 | #Constraints:      11145
159.20/159.83	c #Conflicts:     183000 | #Constraints:      12145
159.20/159.83	c #Conflicts:     184000 | #Constraints:      13145
159.20/159.83	c #Conflicts:     185000 | #Constraints:      14145
159.20/159.83	c #Conflicts:     186000 | #Constraints:      15145
159.20/159.83	c #Conflicts:     187000 | #Constraints:      16145
159.20/159.83	c #Conflicts:     188000 | #Constraints:      17145
159.20/159.83	c #Conflicts:     189000 | #Constraints:      18145
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     190000 | #Constraints:      10541
159.20/159.83	c #Conflicts:     191000 | #Constraints:      11541
159.20/159.83	c #Conflicts:     192000 | #Constraints:      12541
159.20/159.83	c #Conflicts:     193000 | #Constraints:      13541
159.20/159.83	c #Conflicts:     194000 | #Constraints:      14541
159.20/159.83	c #Conflicts:     195000 | #Constraints:      15541
159.20/159.83	c #Conflicts:     196000 | #Constraints:      16541
159.20/159.83	c #Conflicts:     197000 | #Constraints:      17541
159.20/159.83	c #Conflicts:     198000 | #Constraints:      18541
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     199000 | #Constraints:      10752
159.20/159.83	c #Conflicts:     200000 | #Constraints:      11752
159.20/159.83	c #Conflicts:     201000 | #Constraints:      12752
159.20/159.83	c #Conflicts:     202000 | #Constraints:      13752
159.20/159.83	c #Conflicts:     203000 | #Constraints:      14752
159.20/159.83	c #Conflicts:     204000 | #Constraints:      15752
159.20/159.83	c #Conflicts:     205000 | #Constraints:      16752
159.20/159.83	c #Conflicts:     206000 | #Constraints:      17752
159.20/159.83	c #Conflicts:     207000 | #Constraints:      18752
159.20/159.83	c INPROCESSING
159.20/159.83	c GARBAGE COLLECT
159.20/159.83	c #Conflicts:     208000 | #Constraints:      10751
159.20/159.83	c #Conflicts:     209000 | #Constraints:      11751
159.20/159.83	c #Conflicts:     210000 | #Constraints:      12751
159.20/159.83	c #Conflicts:     211000 | #Constraints:      13751
159.20/159.83	c #Conflicts:     212000 | #Constraints:      14751
159.20/159.83	c #Conflicts:     213000 | #Constraints:      15751
239.53/240.45	c #Conflicts:     214000 | #Constraints:      16751
239.53/240.45	c #Conflicts:     215000 | #Constraints:      17751
239.53/240.45	c #Conflicts:     216000 | #Constraints:      18751
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     217000 | #Constraints:      10559
239.53/240.45	c #Conflicts:     218000 | #Constraints:      11559
239.53/240.45	c #Conflicts:     219000 | #Constraints:      12559
239.53/240.45	c #Conflicts:     220000 | #Constraints:      13559
239.53/240.45	c #Conflicts:     221000 | #Constraints:      14559
239.53/240.45	c #Conflicts:     222000 | #Constraints:      15559
239.53/240.45	c #Conflicts:     223000 | #Constraints:      16559
239.53/240.45	c #Conflicts:     224000 | #Constraints:      17559
239.53/240.45	c #Conflicts:     225000 | #Constraints:      18559
239.53/240.45	c #Conflicts:     226000 | #Constraints:      19559
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     227000 | #Constraints:      11156
239.53/240.45	c #Conflicts:     228000 | #Constraints:      12156
239.53/240.45	c #Conflicts:     229000 | #Constraints:      13156
239.53/240.45	c #Conflicts:     230000 | #Constraints:      14156
239.53/240.45	c #Conflicts:     231000 | #Constraints:      15156
239.53/240.45	c #Conflicts:     232000 | #Constraints:      16156
239.53/240.45	c #Conflicts:     233000 | #Constraints:      17156
239.53/240.45	c #Conflicts:     234000 | #Constraints:      18156
239.53/240.45	c #Conflicts:     235000 | #Constraints:      19156
239.53/240.45	c #Conflicts:     236000 | #Constraints:      20156
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     237000 | #Constraints:      11556
239.53/240.45	c #Conflicts:     238000 | #Constraints:      12556
239.53/240.45	c #Conflicts:     239000 | #Constraints:      13556
239.53/240.45	c #Conflicts:     240000 | #Constraints:      14556
239.53/240.45	c #Conflicts:     241000 | #Constraints:      15556
239.53/240.45	c #Conflicts:     242000 | #Constraints:      16556
239.53/240.45	c #Conflicts:     243000 | #Constraints:      17556
239.53/240.45	c #Conflicts:     244000 | #Constraints:      18556
239.53/240.45	c #Conflicts:     245000 | #Constraints:      19556
239.53/240.45	c #Conflicts:     246000 | #Constraints:      20556
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     247000 | #Constraints:      11758
239.53/240.45	c #Conflicts:     248000 | #Constraints:      12758
239.53/240.45	c #Conflicts:     249000 | #Constraints:      13758
239.53/240.45	c #Conflicts:     250000 | #Constraints:      14758
239.53/240.45	c #Conflicts:     251000 | #Constraints:      15758
239.53/240.45	c #Conflicts:     252000 | #Constraints:      16758
239.53/240.45	c #Conflicts:     253000 | #Constraints:      17758
239.53/240.45	c #Conflicts:     254000 | #Constraints:      18758
239.53/240.45	c #Conflicts:     255000 | #Constraints:      19758
239.53/240.45	c #Conflicts:     256000 | #Constraints:      20758
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     257000 | #Constraints:      11762
239.53/240.45	c #Conflicts:     258000 | #Constraints:      12762
239.53/240.45	c #Conflicts:     259000 | #Constraints:      13762
239.53/240.45	c #Conflicts:     260000 | #Constraints:      14762
239.53/240.45	c #Conflicts:     261000 | #Constraints:      15762
239.53/240.45	c #Conflicts:     262000 | #Constraints:      16762
239.53/240.45	c #Conflicts:     263000 | #Constraints:      17762
239.53/240.45	c #Conflicts:     264000 | #Constraints:      18762
239.53/240.45	c #Conflicts:     265000 | #Constraints:      19762
239.53/240.45	c #Conflicts:     266000 | #Constraints:      20762
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     267000 | #Constraints:      11556
239.53/240.45	c #Conflicts:     268000 | #Constraints:      12556
239.53/240.45	c #Conflicts:     269000 | #Constraints:      13556
239.53/240.45	c #Conflicts:     270000 | #Constraints:      14556
239.53/240.45	c #Conflicts:     271000 | #Constraints:      15556
239.53/240.45	c #Conflicts:     272000 | #Constraints:      16556
239.53/240.45	c #Conflicts:     273000 | #Constraints:      17556
239.53/240.45	c #Conflicts:     274000 | #Constraints:      18556
239.53/240.45	c #Conflicts:     275000 | #Constraints:      19556
239.53/240.45	c #Conflicts:     276000 | #Constraints:      20556
239.53/240.45	c #Conflicts:     277000 | #Constraints:      21556
239.53/240.45	c INPROCESSING
239.53/240.45	c GARBAGE COLLECT
239.53/240.45	c #Conflicts:     278000 | #Constraints:      12149
239.53/240.45	c #Conflicts:     279000 | #Constraints:      13149
239.53/240.45	c #Conflicts:     280000 | #Constraints:      14149
239.53/240.45	c #Conflicts:     281000 | #Constraints:      15149
239.53/240.45	c #Conflicts:     282000 | #Constraints:      16149
239.53/240.45	c #Conflicts:     283000 | #Constraints:      17149
239.53/240.45	c #Conflicts:     284000 | #Constraints:      18149
239.53/240.45	c bounds 0 >= -16383 @ 238.522
239.53/240.45	d SOLVEDBY oll
239.53/240.45	c cpu time 238.522 s
239.53/240.45	c deterministic time 26460325128 2.65e+10
239.53/240.45	c optimization time 0.632003 s
239.53/240.45	c total solve time 237.885 s
239.53/240.45	c core-guided solve time 237.885 s
239.53/240.45	c propagation time 183.749 s
239.53/240.45	c conflict analysis time 52.5544 s
239.53/240.45	c propagations 38317499
239.53/240.45	c resolve steps 14139675
239.53/240.45	c decisions 410115
239.53/240.45	c conflicts 284867
239.53/240.45	c restarts 677
239.53/240.45	c inprocessing phases 44
239.53/240.45	c input clauses 610
239.53/240.45	c input cardinalities 4
239.53/240.45	c input general constraints 229
239.53/240.45	c input average constraint length 3.07
239.53/240.45	c input average constraint degree 195.87
239.53/240.45	c learned clauses 189525
239.53/240.45	c learned cardinalities 24
239.53/240.45	c learned general constraints 95318
239.53/240.45	c learned average constraint length 87.67
239.53/240.45	c learned average constraint degree 2701484.58
239.53/240.45	c watched constraints 93080
239.53/240.45	c counting constraints 2467
239.53/240.45	c gcd simplifications 8324
239.53/240.45	c detected cardinalities 7
239.53/240.45	c weakened non-implied lits 7255710
239.53/240.45	c weakened non-implying lits 23838
239.53/240.45	c original variables 416
239.53/240.45	c clausal propagations 16685049
239.53/240.45	c cardinality propagations 26975
239.53/240.45	c watched propagations 3271168
239.53/240.45	c counting propagations 18087709
239.53/240.45	c watch lookups 4219107748
239.53/240.45	c watch backjump lookups 2814136586
239.53/240.45	c watch checks 15344908270
239.53/240.45	c propagation checks 3871382883
239.53/240.45	c constraint additions 133049555
239.53/240.45	c trail pops 39012471
239.53/240.45	c formula constraints 832
239.53/240.45	c learned constraints 284867
239.53/240.45	c bound constraints 5
239.53/240.45	c core-guided constraints 6
239.53/240.45	c encountered formula constraints 9505057
239.53/240.45	c encountered learned constraints 4888013
239.53/240.45	c encountered bound constraints 30292
239.53/240.45	c encountered core-guided constraints 1180
239.53/240.45	c LP total time 0 s
239.53/240.45	c LP solve time 0 s
239.53/240.45	c LP constraints added 0
239.53/240.45	c LP constraints removed 0
239.53/240.45	c LP pivots internal 0
239.53/240.45	c LP pivots root 0
239.53/240.45	c LP calls 0
239.53/240.45	c LP optimalities 0
239.53/240.45	c LP no pivot count 0
239.53/240.45	c LP infeasibilities 0
239.53/240.45	c LP valid Farkas constraints 0
239.53/240.45	c LP learned Farkas constraints 0
239.53/240.45	c LP basis resets 0
239.53/240.45	c LP cycling count 0
239.53/240.45	c LP singular count 0
239.53/240.45	c LP no primal count 0
239.53/240.45	c LP no farkas count 0
239.53/240.45	c LP other issue count 0
239.53/240.45	c LP Gomory cuts 0
239.53/240.45	c LP learned cuts 0
239.53/240.45	c LP deleted cuts 0
239.53/240.45	c LP encountered Gomory constraints 0
239.53/240.45	c LP encountered Farkas constraints 0
239.53/240.45	c LP encountered learned Farkas constraints 0
239.53/240.45	c CG auxiliary variables introduced 3
239.53/240.45	c CG solutions found 1
239.53/240.45	c CG cores constructed 4
239.53/240.45	c CG core cardinality constraints returned 0
239.53/240.45	c CG unit cores 1
239.53/240.45	c CG single cores 2
239.53/240.45	c CG blocks removed during cardinality reduction 0
239.53/240.45	c CG first core best 0
239.53/240.45	c CG decision core best 0
239.53/240.45	c CG core reduction tie 0
239.53/240.45	c CG core degree average 0.67
239.53/240.45	c CG core slack average 1.33
239.53/240.45	c CG exhausted 0
239.53/240.45	c CG exhaust time 0.630941 s
239.53/240.45	c CG trimmed 0
239.53/240.45	c CG trim time 0.000126 s
239.53/240.45	c CG minimized 0
239.53/240.45	c CG minimize time 0 s
239.53/240.45	c CG am1 prop time 0.000145 s
239.53/240.45	c CG # am1s reformulated 0
239.53/240.45	c CG lower bound derived from am1s 0
239.53/240.45	c CG # clausal cores 2
239.53/240.45	c CG # cardinality cores 0
239.53/240.45	c CG # pb cores 0
239.53/240.45	c CG # pb reforms 0
239.53/240.45	c CG # cores discarded because of pb reform 0
239.53/240.45	d LOWERBOUND -16383
239.53/240.45	d NCORES 4
239.53/240.45	d NPBCORES 0
239.53/240.45	d NPBREFORM 0
239.53/240.45	d NTRIMMED 0
239.53/240.45	d NEXHAUSTED 0
239.53/240.45	d NAM1S 0
239.53/240.45	d AM1LB 0
239.53/240.45	o 0
239.53/240.45	s OPTIMUM FOUND
239.53/240.45	v -x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 -x10 -x11 x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 x56 -x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 x109 x110 -x111 x112 -x113 x114 x115 -x116 x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 -x140 x141 x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 x225 x226 -x227 -x228 -x229 x230 -x231 x232 x233 -x234 -x235 -x236 -x237 -x238 x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 -x291 x292 x293 -x294 -x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 x354 -x355 x356 x357 -x358 -x359 x360 -x361 -x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 x373 -x374 -x375 x376 -x377 x378 x379 -x380 x381 -x382 x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 x411 x412 -x413 x414 x415 -x416

Verifier Data 

OK	0

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: 63837 MiB (62489 MiB free)
  memory of node 1: 64465 MiB (63660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519096-1751552789/watcher-4519096-1751552789 -o /tmp/evaluation-result-4519096-1751552789/solver-4519096-1751552789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760 pb-oll-rs HOME/instance-4519096-1751552789.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=76984, runsolver pid=76981

[startup+0.100074 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177804/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=20220 memory=6144 CPUtime=0.09 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 369 0 0 0 8 1 0 0 20 0 1 0 70958028 20705280 1536 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5055 1536 1344 243 0 1304 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20220 KiB
Current children cumulated memory: 6144 KiB

[startup+0.214304 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177804/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=20220 memory=6272 CPUtime=0.18 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 423 0 0 0 17 1 0 0 20 0 1 0 70958028 20705280 1568 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5055 1568 1344 243 0 1304 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 20220 KiB
Current children cumulated memory: 6272 KiB

[startup+0.312947 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177804/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=20352 memory=6528 CPUtime=0.27 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 469 0 0 0 26 1 0 0 20 0 1 0 70958028 20840448 1632 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5088 1632 1344 243 0 1337 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 20352 KiB
Current children cumulated memory: 6528 KiB

[startup+0.700242 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 76985
/proc/meminfo: memFree=129177824/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=20748 memory=7168 CPUtime=0.62 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 652 0 0 0 60 2 0 0 20 0 1 0 70958028 21245952 1792 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5187 1792 1344 243 0 1436 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 7168 KiB

[startup+1.50033 s]
/proc/loadavg: 4.12 4.09 4.09 4/249 76993
/proc/meminfo: memFree=129465888/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=20748 memory=7424 CPUtime=1.41 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 720 0 0 0 138 3 0 0 20 0 1 0 70958028 21245952 1856 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5187 1856 1344 243 0 1436 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 7424 KiB

[startup+3.11268 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129454076/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=21144 memory=10172 CPUtime=3.02 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 898 0 0 0 297 5 0 0 20 0 1 0 70958028 21651456 2543 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5286 2543 1344 243 0 1535 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 21144 KiB
Current children cumulated memory: 10172 KiB

[startup+6.30033 s]
/proc/loadavg: 4.19 4.11 4.10 5/250 77030
/proc/meminfo: memFree=129450956/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=21704 memory=10684 CPUtime=6.2 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 1020 0 0 0 612 8 0 0 20 0 1 0 70958028 22224896 2671 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5426 2671 1344 243 0 1675 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 21704 KiB
Current children cumulated memory: 10684 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.10 4.09 5/250 77075
/proc/meminfo: memFree=129782428/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=22416 memory=11324 CPUtime=12.58 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 1209 0 0 0 1245 13 0 0 20 0 1 0 70958028 22953984 2831 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5604 2831 1344 243 0 1853 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 22416 KiB
Current children cumulated memory: 11324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 77076
/proc/meminfo: memFree=129756164/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=22796 memory=11836 CPUtime=25.34 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 1343 0 0 0 2512 22 0 0 20 0 1 0 70958028 23343104 2959 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 5699 2959 1344 243 0 1948 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 22796 KiB
Current children cumulated memory: 11836 KiB

[startup+51.1128 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 77076
/proc/meminfo: memFree=129724204/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=26140 memory=13756 CPUtime=50.88 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 1984 0 0 0 5051 37 0 0 20 0 1 0 70958028 26767360 3439 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 6535 3439 1344 243 0 2784 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 26140 KiB
Current children cumulated memory: 13756 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 77078
/proc/meminfo: memFree=129638368/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=27312 memory=16060 CPUtime=101.9 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 2719 0 0 0 10128 62 0 0 20 0 1 0 70958028 27967488 4015 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 6828 4015 1344 243 0 3077 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 16060 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/250 77080
/proc/meminfo: memFree=129596132/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=28040 memory=17468 CPUtime=161.69 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 3208 0 0 0 16085 84 0 0 20 0 1 0 70958028 28712960 4367 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 7010 4367 1344 243 0 3259 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 28040 KiB
Current children cumulated memory: 17468 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 77082
/proc/meminfo: memFree=129571728/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=33980 memory=21824 CPUtime=221.49 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4007 0 0 0 22048 101 0 0 20 0 1 0 70958028 34795520 5456 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8495 5456 1344 243 0 4744 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 21824 KiB

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

# cumulated CPU time of all completed processes:  user=238.524 s, system=1.07277 s

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

[startup+230.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 77082
/proc/meminfo: memFree=129567884/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=33980 memory=21824 CPUtime=229.57 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4007 0 0 0 22853 104 0 0 20 0 1 0 70958028 34795520 5456 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8495 5456 1344 243 0 4744 0
Current children cumulated CPU time: 229.57 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 21824 KiB

[startup+236.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 77082
/proc/meminfo: memFree=129576452/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=34104 memory=21952 CPUtime=235.94 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4068 0 0 0 23488 106 0 0 20 0 1 0 70958028 34922496 5488 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8526 5488 1344 243 0 4775 0
Current children cumulated CPU time: 235.94 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 21952 KiB

[startup+238.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 77082
/proc/meminfo: memFree=129572608/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=34104 memory=21952 CPUtime=237.54 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4068 0 0 0 23648 106 0 0 20 0 1 0 70958028 34922496 5488 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8526 5488 1344 243 0 4775 0
Current children cumulated CPU time: 237.54 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 21952 KiB

[startup+239.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 77082
/proc/meminfo: memFree=129572608/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=34104 memory=21952 CPUtime=238.33 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4068 0 0 0 23727 106 0 0 20 0 1 0 70958028 34922496 5488 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8526 5488 1344 243 0 4775 0
Current children cumulated CPU time: 238.33 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 21952 KiB

[startup+240 s]*
/proc/loadavg: 4.11 4.11 4.09 5/250 77082
/proc/meminfo: memFree=129580172/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=34104 memory=21952 CPUtime=239.15 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4068 0 0 0 23808 107 0 0 20 0 1 0 70958028 34922496 5488 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8526 5488 1344 243 0 4775 0
Current children cumulated CPU time: 239.15 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 21952 KiB

[startup+240.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 77082
/proc/meminfo: memFree=129580172/131382120 swapFree=33010160/33010684
[pid=76984] ppid=76981 vsize=34104 memory=21952 CPUtime=239.53 cores=5,7
/proc/76984/stat : 76984 (pb-oll-rs) R 76981 76984 76151 0 -1 4194304 4068 0 0 0 23846 107 0 0 20 0 1 0 70958028 34922496 5488 18446744073709551615 4218880 5211445 140724272838688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 25944064 140724272847260 140724272847337 140724272847337 140724272852939 0
/proc/76984/statm: 8526 5488 1344 243 0 4775 0
Current children cumulated CPU time: 239.53 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 21952 KiB

Child status: 0

Real time (s): 240.46
CPU time (s): 239.597
CPU user time (s): 238.524
CPU system time (s): 1.07277
CPU usage (%): 99.6414
Max. virtual memory (cumulated for all children) (KiB): 34104
Max. memory (cumulated for all children) (KiB): 21952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 238.524
system time used= 1.07277
maximum resident set size= 21952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4079
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= 85
involuntary context switches= 1418


# summary of solver processes directly reported to runsolver:
#   pid: 76984
#   total CPU time (s): 239.597
#   total CPU user time (s): 238.524
#   total CPU system time (s): 1.07277

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50703 second user time and 2.0198 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 16:26:29
IDJOB=4519096
IDBENCH=177149
IDSOLVER=3345
FILE ID=nodeC008/4519096-1751552789
RUNJOBID= nodeC008-1751549168-76164
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519096-1751552789/watcher-4519096-1751552789 -o /tmp/evaluation-result-4519096-1751552789/solver-4519096-1751552789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76164 --watchdog 3760  pb-oll-rs HOME/instance-4519096-1751552789.opb

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

MD5SUM BENCH= 682abe62cfc98d0c90b996ee5c2245ad
RANDOM SEED=666068007

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129177804 kB
MemAvailable:   129188140 kB
Buffers:            2128 kB
Cached:           805596 kB
SwapCached:           16 kB
Active:          1357536 kB
Inactive:         286752 kB
Active(anon):     818076 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   250344 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1628 kB
Writeback:             0 kB
AnonPages:        838180 kB
Mapped:           107588 kB
Shmem:             17920 kB
KReclaimable:     120316 kB
Slab:             204672 kB
SReclaimable:     120316 kB
SUnreclaim:        84356 kB
KernelStack:        4032 kB
PageTables:         4656 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1228668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 16:30:30