Trace number 4509098

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-06OPT-55 908.273 910.896

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
MD5SUM6237d0bdc810edc13b25bb83c842e0a8
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 benchmark-55
Best CPU time to get the best result obtained on this benchmark0.023558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables576
Total number of constraints832
Number of constraints which are clauses384
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 384
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 384
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 384
Number of bits of the biggest sum of numbers9
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.04	c RoundingSat 2
0.00/0.04	c branch 
0.00/0.04	c commit 
0.00/0.04	c [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 576 #constraints 896
0.00/0.04	c SMALL=int, LARGE=long long
0.00/0.04	c bounds - >= -192 @ 0.00719
0.00/0.04	c stratification level: 0
0.00/0.06	c bounds - >= -66 @ 0.009318
0.00/0.06	c bounds - >= -65 @ 0.010252
0.00/0.06	c bounds - >= -64 @ 0.010361
0.00/0.06	c bounds - >= -63 @ 0.011605
0.00/0.06	c bounds - >= -62 @ 0.012241
0.00/0.06	c bounds - >= -61 @ 0.012241
0.00/0.06	c bounds - >= -60 @ 0.013153
0.00/0.06	c bounds - >= -59 @ 0.013229
0.00/0.06	c finalizing WCE round: reformulating cores
0.38/0.45	c bounds -47 >= -59 @ 0.363035
0.38/0.45	c bounds -47 >= -58 @ 0.364505
0.38/0.45	c #Conflicts:       1000 | #Constraints:       2000
0.38/0.45	c bounds -47 >= -57 @ 0.378353
0.38/0.45	c finalizing WCE round: reformulating cores
1.15/1.22	c #Conflicts:       2000 | #Constraints:       3018
1.15/1.22	c INPROCESSING
1.15/1.22	c GARBAGE COLLECT
1.15/1.22	c bounds -50 >= -57 @ 0.961672
1.15/1.22	c bounds -50 >= -56 @ 0.984349
1.15/1.22	c #Conflicts:       3000 | #Constraints:       3013
1.15/1.22	c finalizing WCE round: reformulating cores
82.92/83.22	c bounds -54 >= -56 @ 1.33913
82.92/83.22	c bounds -54 >= -55 @ 1.38524
82.92/83.22	c #Conflicts:       4000 | #Constraints:       4038
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:       5000 | #Constraints:       3444
82.92/83.22	c #Conflicts:       6000 | #Constraints:       4444
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:       7000 | #Constraints:       3459
82.92/83.22	c #Conflicts:       8000 | #Constraints:       4459
82.92/83.22	c #Conflicts:       9000 | #Constraints:       5459
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      10000 | #Constraints:       4179
82.92/83.22	c #Conflicts:      11000 | #Constraints:       5179
82.92/83.22	c #Conflicts:      12000 | #Constraints:       6179
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      13000 | #Constraints:       4642
82.92/83.22	c #Conflicts:      14000 | #Constraints:       5642
82.92/83.22	c #Conflicts:      15000 | #Constraints:       6642
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      16000 | #Constraints:       4866
82.92/83.22	c #Conflicts:      17000 | #Constraints:       5866
82.92/83.22	c #Conflicts:      18000 | #Constraints:       6866
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      19000 | #Constraints:       4888
82.92/83.22	c #Conflicts:      20000 | #Constraints:       5888
82.92/83.22	c #Conflicts:      21000 | #Constraints:       6888
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      22000 | #Constraints:       4687
82.92/83.22	c #Conflicts:      23000 | #Constraints:       5687
82.92/83.22	c #Conflicts:      24000 | #Constraints:       6687
82.92/83.22	c #Conflicts:      25000 | #Constraints:       7687
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      26000 | #Constraints:       5291
82.92/83.22	c #Conflicts:      27000 | #Constraints:       6291
82.92/83.22	c #Conflicts:      28000 | #Constraints:       7291
82.92/83.22	c #Conflicts:      29000 | #Constraints:       8291
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      30000 | #Constraints:       5708
82.92/83.22	c #Conflicts:      31000 | #Constraints:       6708
82.92/83.22	c #Conflicts:      32000 | #Constraints:       7708
82.92/83.22	c #Conflicts:      33000 | #Constraints:       8708
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      34000 | #Constraints:       5910
82.92/83.22	c #Conflicts:      35000 | #Constraints:       6910
82.92/83.22	c #Conflicts:      36000 | #Constraints:       7910
82.92/83.22	c #Conflicts:      37000 | #Constraints:       8910
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      38000 | #Constraints:       5910
82.92/83.22	c #Conflicts:      39000 | #Constraints:       6910
82.92/83.22	c #Conflicts:      40000 | #Constraints:       7910
82.92/83.22	c #Conflicts:      41000 | #Constraints:       8910
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      42000 | #Constraints:       5708
82.92/83.22	c #Conflicts:      43000 | #Constraints:       6708
82.92/83.22	c #Conflicts:      44000 | #Constraints:       7708
82.92/83.22	c #Conflicts:      45000 | #Constraints:       8708
82.92/83.22	c #Conflicts:      46000 | #Constraints:       9708
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      47000 | #Constraints:       6314
82.92/83.22	c #Conflicts:      48000 | #Constraints:       7314
82.92/83.22	c #Conflicts:      49000 | #Constraints:       8314
82.92/83.22	c #Conflicts:      50000 | #Constraints:       9314
82.92/83.22	c #Conflicts:      51000 | #Constraints:      10314
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      52000 | #Constraints:       6716
82.92/83.22	c #Conflicts:      53000 | #Constraints:       7716
82.92/83.22	c #Conflicts:      54000 | #Constraints:       8716
82.92/83.22	c #Conflicts:      55000 | #Constraints:       9716
82.92/83.22	c #Conflicts:      56000 | #Constraints:      10716
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      57000 | #Constraints:       6911
82.92/83.22	c #Conflicts:      58000 | #Constraints:       7911
82.92/83.22	c #Conflicts:      59000 | #Constraints:       8911
82.92/83.22	c #Conflicts:      60000 | #Constraints:       9911
82.92/83.22	c #Conflicts:      61000 | #Constraints:      10911
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      62000 | #Constraints:       6908
82.92/83.22	c #Conflicts:      63000 | #Constraints:       7908
82.92/83.22	c #Conflicts:      64000 | #Constraints:       8908
82.92/83.22	c #Conflicts:      65000 | #Constraints:       9908
82.92/83.22	c #Conflicts:      66000 | #Constraints:      10908
82.92/83.22	c INPROCESSING
82.92/83.22	c GARBAGE COLLECT
82.92/83.22	c #Conflicts:      67000 | #Constraints:       6711
82.92/83.22	c #Conflicts:      68000 | #Constraints:       7711
82.92/83.22	c #Conflicts:      69000 | #Constraints:       8711
82.92/83.22	c #Conflicts:      70000 | #Constraints:       9711
305.71/306.68	c #Conflicts:      71000 | #Constraints:      10711
305.71/306.68	c #Conflicts:      72000 | #Constraints:      11711
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:      73000 | #Constraints:       7330
305.71/306.68	c #Conflicts:      74000 | #Constraints:       8330
305.71/306.68	c #Conflicts:      75000 | #Constraints:       9330
305.71/306.68	c #Conflicts:      76000 | #Constraints:      10330
305.71/306.68	c #Conflicts:      77000 | #Constraints:      11330
305.71/306.68	c #Conflicts:      78000 | #Constraints:      12330
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:      79000 | #Constraints:       7718
305.71/306.68	c #Conflicts:      80000 | #Constraints:       8718
305.71/306.68	c #Conflicts:      81000 | #Constraints:       9718
305.71/306.68	c #Conflicts:      82000 | #Constraints:      10718
305.71/306.68	c #Conflicts:      83000 | #Constraints:      11718
305.71/306.68	c #Conflicts:      84000 | #Constraints:      12718
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:      85000 | #Constraints:       7908
305.71/306.68	c #Conflicts:      86000 | #Constraints:       8908
305.71/306.68	c #Conflicts:      87000 | #Constraints:       9908
305.71/306.68	c #Conflicts:      88000 | #Constraints:      10908
305.71/306.68	c #Conflicts:      89000 | #Constraints:      11908
305.71/306.68	c #Conflicts:      90000 | #Constraints:      12908
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:      91000 | #Constraints:       7909
305.71/306.68	c #Conflicts:      92000 | #Constraints:       8909
305.71/306.68	c #Conflicts:      93000 | #Constraints:       9909
305.71/306.68	c #Conflicts:      94000 | #Constraints:      10909
305.71/306.68	c #Conflicts:      95000 | #Constraints:      11909
305.71/306.68	c #Conflicts:      96000 | #Constraints:      12909
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:      97000 | #Constraints:       7722
305.71/306.68	c #Conflicts:      98000 | #Constraints:       8722
305.71/306.68	c #Conflicts:      99000 | #Constraints:       9722
305.71/306.68	c #Conflicts:     100000 | #Constraints:      10722
305.71/306.68	c #Conflicts:     101000 | #Constraints:      11722
305.71/306.68	c #Conflicts:     102000 | #Constraints:      12722
305.71/306.68	c #Conflicts:     103000 | #Constraints:      13722
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:     104000 | #Constraints:       8315
305.71/306.68	c #Conflicts:     105000 | #Constraints:       9315
305.71/306.68	c #Conflicts:     106000 | #Constraints:      10315
305.71/306.68	c #Conflicts:     107000 | #Constraints:      11315
305.71/306.68	c #Conflicts:     108000 | #Constraints:      12315
305.71/306.68	c #Conflicts:     109000 | #Constraints:      13315
305.71/306.68	c #Conflicts:     110000 | #Constraints:      14315
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:     111000 | #Constraints:       8723
305.71/306.68	c #Conflicts:     112000 | #Constraints:       9723
305.71/306.68	c #Conflicts:     113000 | #Constraints:      10723
305.71/306.68	c #Conflicts:     114000 | #Constraints:      11723
305.71/306.68	c #Conflicts:     115000 | #Constraints:      12723
305.71/306.68	c #Conflicts:     116000 | #Constraints:      13723
305.71/306.68	c #Conflicts:     117000 | #Constraints:      14723
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:     118000 | #Constraints:       8937
305.71/306.68	c #Conflicts:     119000 | #Constraints:       9937
305.71/306.68	c #Conflicts:     120000 | #Constraints:      10937
305.71/306.68	c #Conflicts:     121000 | #Constraints:      11937
305.71/306.68	c #Conflicts:     122000 | #Constraints:      12937
305.71/306.68	c #Conflicts:     123000 | #Constraints:      13937
305.71/306.68	c #Conflicts:     124000 | #Constraints:      14937
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:     125000 | #Constraints:       8941
305.71/306.68	c #Conflicts:     126000 | #Constraints:       9941
305.71/306.68	c #Conflicts:     127000 | #Constraints:      10941
305.71/306.68	c #Conflicts:     128000 | #Constraints:      11941
305.71/306.68	c #Conflicts:     129000 | #Constraints:      12941
305.71/306.68	c #Conflicts:     130000 | #Constraints:      13941
305.71/306.68	c #Conflicts:     131000 | #Constraints:      14941
305.71/306.68	c INPROCESSING
305.71/306.68	c GARBAGE COLLECT
305.71/306.68	c #Conflicts:     132000 | #Constraints:       8744
305.71/306.68	c #Conflicts:     133000 | #Constraints:       9744
305.71/306.68	c #Conflicts:     134000 | #Constraints:      10744
305.71/306.68	c #Conflicts:     135000 | #Constraints:      11744
305.71/306.68	c #Conflicts:     136000 | #Constraints:      12744
305.71/306.68	c #Conflicts:     137000 | #Constraints:      13744
305.71/306.68	c #Conflicts:     138000 | #Constraints:      14744
305.71/306.68	c #Conflicts:     139000 | #Constraints:      15744
305.71/306.68	c #Conflicts:     140000 | #Constraints:      16744
305.71/306.68	c #Conflicts:     141000 | #Constraints:      17744
305.71/306.68	c #Conflicts:     142000 | #Constraints:      18744
305.71/306.68	c #Conflicts:     143000 | #Constraints:      19744
908.17/910.85	c #Conflicts:     144000 | #Constraints:      20744
908.17/910.85	c #Conflicts:     145000 | #Constraints:      21744
908.17/910.85	c #Conflicts:     146000 | #Constraints:      22744
908.17/910.85	c #Conflicts:     147000 | #Constraints:      23744
908.17/910.85	c #Conflicts:     148000 | #Constraints:      24744
908.17/910.85	c #Conflicts:     149000 | #Constraints:      25744
908.17/910.85	c #Conflicts:     150000 | #Constraints:      26744
908.17/910.85	c #Conflicts:     151000 | #Constraints:      27744
908.17/910.85	c #Conflicts:     152000 | #Constraints:      28744
908.17/910.85	c #Conflicts:     153000 | #Constraints:      29744
908.17/910.85	c #Conflicts:     154000 | #Constraints:      30744
908.17/910.85	c #Conflicts:     155000 | #Constraints:      31744
908.17/910.85	c #Conflicts:     156000 | #Constraints:      32744
908.17/910.85	c #Conflicts:     157000 | #Constraints:      33744
908.17/910.85	c #Conflicts:     158000 | #Constraints:      34744
908.17/910.85	c #Conflicts:     159000 | #Constraints:      35744
908.17/910.85	c #Conflicts:     160000 | #Constraints:      36744
908.17/910.85	c #Conflicts:     161000 | #Constraints:      37744
908.17/910.85	c #Conflicts:     162000 | #Constraints:      38744
908.17/910.85	c #Conflicts:     163000 | #Constraints:      39744
908.17/910.85	c #Conflicts:     164000 | #Constraints:      40744
908.17/910.85	c #Conflicts:     165000 | #Constraints:      41744
908.17/910.85	c INPROCESSING
908.17/910.85	c GARBAGE COLLECT
908.17/910.85	c #Conflicts:     166000 | #Constraints:      22283
908.17/910.85	c #Conflicts:     167000 | #Constraints:      23283
908.17/910.85	c #Conflicts:     168000 | #Constraints:      24283
908.17/910.85	c #Conflicts:     169000 | #Constraints:      25283
908.17/910.85	c #Conflicts:     170000 | #Constraints:      26283
908.17/910.85	c #Conflicts:     171000 | #Constraints:      27283
908.17/910.85	c #Conflicts:     172000 | #Constraints:      28283
908.17/910.85	c #Conflicts:     173000 | #Constraints:      29283
908.17/910.85	c #Conflicts:     174000 | #Constraints:      30283
908.17/910.85	c INPROCESSING
908.17/910.85	c GARBAGE COLLECT
908.17/910.85	c #Conflicts:     175000 | #Constraints:      16715
908.17/910.85	c #Conflicts:     176000 | #Constraints:      17715
908.17/910.85	c #Conflicts:     177000 | #Constraints:      18715
908.17/910.85	c #Conflicts:     178000 | #Constraints:      19715
908.17/910.85	c #Conflicts:     179000 | #Constraints:      20715
908.17/910.85	c #Conflicts:     180000 | #Constraints:      21715
908.17/910.85	c #Conflicts:     181000 | #Constraints:      22715
908.17/910.85	c #Conflicts:     182000 | #Constraints:      23715
908.17/910.85	c INPROCESSING
908.17/910.85	c GARBAGE COLLECT
908.17/910.85	c #Conflicts:     183000 | #Constraints:      12976
908.17/910.85	c #Conflicts:     184000 | #Constraints:      13976
908.17/910.85	c #Conflicts:     185000 | #Constraints:      14976
908.17/910.85	c #Conflicts:     186000 | #Constraints:      15976
908.17/910.85	c #Conflicts:     187000 | #Constraints:      16976
908.17/910.85	c #Conflicts:     188000 | #Constraints:      17976
908.17/910.85	c #Conflicts:     189000 | #Constraints:      18976
908.17/910.85	c #Conflicts:     190000 | #Constraints:      19976
908.17/910.85	c #Conflicts:     191000 | #Constraints:      20976
908.17/910.85	c #Conflicts:     192000 | #Constraints:      21976
908.17/910.85	c INPROCESSING
908.17/910.85	c GARBAGE COLLECT
908.17/910.85	c #Conflicts:     193000 | #Constraints:      12548
908.17/910.85	c #Conflicts:     194000 | #Constraints:      13548
908.17/910.85	c #Conflicts:     195000 | #Constraints:      14548
908.17/910.85	c #Conflicts:     196000 | #Constraints:      15548
908.17/910.85	c #Conflicts:     197000 | #Constraints:      16548
908.17/910.85	c #Conflicts:     198000 | #Constraints:      17548
908.17/910.85	c #Conflicts:     199000 | #Constraints:      18548
908.17/910.85	c #Conflicts:     200000 | #Constraints:      19548
908.17/910.85	c #Conflicts:     201000 | #Constraints:      20548
908.17/910.85	c INPROCESSING
908.17/910.85	c GARBAGE COLLECT
908.17/910.85	c #Conflicts:     202000 | #Constraints:      11685
908.17/910.85	c #Conflicts:     203000 | #Constraints:      12685
908.17/910.85	c #Conflicts:     204000 | #Constraints:      13685
908.17/910.85	c #Conflicts:     205000 | #Constraints:      14685
908.17/910.85	c #Conflicts:     206000 | #Constraints:      15685
908.17/910.85	c #Conflicts:     207000 | #Constraints:      16685
908.17/910.85	c #Conflicts:     208000 | #Constraints:      17685
908.17/910.85	c #Conflicts:     209000 | #Constraints:      18685
908.17/910.85	c #Conflicts:     210000 | #Constraints:      19685
908.17/910.85	c #Conflicts:     211000 | #Constraints:      20685
908.17/910.85	c #Conflicts:     212000 | #Constraints:      21685
908.17/910.85	c finalizing WCE round: reformulating cores
908.17/910.89	c bounds -55 >= -55 @ 905.87
908.17/910.89	d SOLVEDBY oll
908.17/910.89	c cpu time 905.87 s
908.17/910.89	c deterministic time 70488231408 7.05e+10
908.17/910.89	c optimization time 1.16605 s
908.17/910.89	c total solve time 904.697 s
908.17/910.89	c core-guided solve time 904.697 s
908.17/910.89	c propagation time 810.746 s
908.17/910.89	c conflict analysis time 88.4704 s
908.17/910.89	c propagations 28900276
908.17/910.89	c resolve steps 3456174
908.17/910.89	c decisions 1279738
908.17/910.89	c conflicts 212741
908.17/910.89	c restarts 510
908.17/910.89	c inprocessing phases 33
908.17/910.89	c input clauses 527
908.17/910.89	c input cardinalities 116
908.17/910.89	c input general constraints 409
908.17/910.89	c input average constraint length 11.93
908.17/910.89	c input average constraint degree 5.70
908.17/910.89	c learned clauses 95841
908.17/910.89	c learned cardinalities 6341
908.17/910.89	c learned general constraints 110559
908.17/910.89	c learned average constraint length 229.07
908.17/910.89	c learned average constraint degree 1127290.79
908.17/910.89	c watched constraints 72745
908.17/910.89	c counting constraints 38223
908.17/910.89	c gcd simplifications 14965
908.17/910.89	c detected cardinalities 2487
908.17/910.89	c weakened non-implied lits 20489275
908.17/910.89	c weakened non-implying lits 15155
908.17/910.89	c original variables 576
908.17/910.89	c clausal propagations 5490925
908.17/910.89	c cardinality propagations 3245158
908.17/910.89	c watched propagations 1407914
908.17/910.89	c counting propagations 18185084
908.17/910.89	c watch lookups 21212377237
908.17/910.89	c watch backjump lookups 20310603562
908.17/910.89	c watch checks 24624672567
908.17/910.89	c propagation checks 4126786587
908.17/910.89	c constraint additions 153218686
908.17/910.89	c trail pops 30392754
908.17/910.89	c formula constraints 896
908.17/910.89	c learned constraints 212741
908.17/910.89	c bound constraints 23
908.17/910.89	c core-guided constraints 133
908.17/910.89	c encountered formula constraints 2227504
908.17/910.89	c encountered learned constraints 1340706
908.17/910.89	c encountered bound constraints 1215
908.17/910.89	c encountered core-guided constraints 99489
908.17/910.89	c LP total time 0 s
908.17/910.89	c LP solve time 0 s
908.17/910.89	c LP constraints added 0
908.17/910.89	c LP constraints removed 0
908.17/910.89	c LP pivots internal 0
908.17/910.89	c LP pivots root 0
908.17/910.89	c LP calls 0
908.17/910.89	c LP optimalities 0
908.17/910.89	c LP no pivot count 0
908.17/910.89	c LP infeasibilities 0
908.17/910.89	c LP valid Farkas constraints 0
908.17/910.89	c LP learned Farkas constraints 0
908.17/910.89	c LP basis resets 0
908.17/910.89	c LP cycling count 0
908.17/910.89	c LP singular count 0
908.17/910.89	c LP no primal count 0
908.17/910.89	c LP no farkas count 0
908.17/910.89	c LP other issue count 0
908.17/910.89	c LP Gomory cuts 0
908.17/910.89	c LP learned cuts 0
908.17/910.89	c LP deleted cuts 0
908.17/910.89	c LP encountered Gomory constraints 0
908.17/910.89	c LP encountered Farkas constraints 0
908.17/910.89	c LP encountered learned Farkas constraints 0
908.17/910.89	c CG auxiliary variables introduced 91
908.17/910.89	c CG solutions found 4
908.17/910.89	c CG cores constructed 12
908.17/910.89	c CG core cardinality constraints returned 0
908.17/910.89	c CG unit cores 0
908.17/910.89	c CG single cores 12
908.17/910.89	c CG blocks removed during cardinality reduction 0
908.17/910.89	c CG first core best 0
908.17/910.89	c CG decision core best 0
908.17/910.89	c CG core reduction tie 0
908.17/910.89	c CG core degree average 1.00
908.17/910.89	c CG core slack average 14.25
908.17/910.89	c CG exhausted 0
908.17/910.89	c CG exhaust time 1.15753 s
908.17/910.89	c CG trimmed 0
908.17/910.89	c CG trim time 0.000905 s
908.17/910.89	c CG minimized 0
908.17/910.89	c CG minimize time 0 s
908.17/910.89	c CG am1 prop time 0.002123 s
908.17/910.89	c CG # am1s reformulated 64
908.17/910.89	c CG lower bound derived from am1s 125
908.17/910.89	c CG # clausal cores 12
908.17/910.89	c CG # cardinality cores 0
908.17/910.89	c CG # pb cores 0
908.17/910.89	c CG # pb reforms 0
908.17/910.89	c CG # cores discarded because of pb reform 0
908.17/910.89	d LOWERBOUND -55
908.17/910.89	d NCORES 12
908.17/910.89	d NPBCORES 0
908.17/910.89	d NPBREFORM 0
908.17/910.89	d NTRIMMED 0
908.17/910.89	d NEXHAUSTED 0
908.17/910.89	d NAM1S 64
908.17/910.89	d AM1LB 125
908.17/910.89	o -55
908.17/910.89	s OPTIMUM FOUND
908.17/910.89	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 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576

Verifier Data 

OK	-55

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63072 MiB free)
  memory of node 1: 64507 MiB (63781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509098-1751518082/watcher-4509098-1751518082 -o /tmp/evaluation-result-4509098-1751518082/solver-4509098-1751518082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70845 --watchdog 3760 pb-oll-rs HOME/instance-4509098-1751518082.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=70889, runsolver pid=70881

[startup+0.10007 s]*
/proc/loadavg: 0.78 1.38 2.18 5/273 70904
/proc/meminfo: memFree=129879900/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=20740 memory=6784 CPUtime=0.07 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 530 0 1 0 5 2 0 0 20 0 1 0 67487878 21237760 1696 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 5185 1696 1376 243 0 1434 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 20740 KiB
Current children cumulated memory: 6784 KiB

[startup+0.215247 s]*
/proc/loadavg: 0.78 1.38 2.18 5/273 70904
/proc/meminfo: memFree=129870828/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=21136 memory=7552 CPUtime=0.18 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 729 0 1 0 16 2 0 0 20 0 1 0 67487878 21643264 1888 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 5284 1888 1376 243 0 1533 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 21136 KiB
Current children cumulated memory: 7552 KiB

[startup+0.31417 s]*
/proc/loadavg: 0.78 1.38 2.18 5/273 70904
/proc/meminfo: memFree=129870328/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=21664 memory=8448 CPUtime=0.28 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 952 0 1 0 26 2 0 0 20 0 1 0 67487878 22183936 2112 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 5416 2112 1376 243 0 1665 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 21664 KiB
Current children cumulated memory: 8448 KiB

[startup+0.70026 s]
/proc/loadavg: 0.78 1.38 2.18 5/273 70904
/proc/meminfo: memFree=129868828/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=23152 memory=12144 CPUtime=0.65 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 1369 0 1 0 62 3 0 0 20 0 1 0 67487878 23707648 3036 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 5788 3036 1376 243 0 2037 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 23152 KiB
Current children cumulated memory: 12144 KiB

[startup+1.50028 s]
/proc/loadavg: 0.78 1.38 2.18 5/273 70904
/proc/meminfo: memFree=129857236/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=23964 memory=12912 CPUtime=1.45 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 1553 0 1 0 140 5 0 0 20 0 1 0 67487878 24539136 3228 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 5991 3228 1376 243 0 2240 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 23964 KiB
Current children cumulated memory: 12912 KiB

[startup+3.11421 s]
/proc/loadavg: 1.04 1.42 2.19 5/273 70904
/proc/meminfo: memFree=129846272/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=25760 memory=15600 CPUtime=3.05 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 2213 0 1 0 298 7 0 0 20 0 1 0 67487878 26378240 3900 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 6440 3900 1376 243 0 2689 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 25760 KiB
Current children cumulated memory: 15600 KiB

[startup+6.30027 s]
/proc/loadavg: 1.04 1.42 2.19 5/273 70904
/proc/meminfo: memFree=129869644/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=30560 memory=18672 CPUtime=6.23 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 2998 0 1 0 612 11 0 0 20 0 1 0 67487878 31293440 4668 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 7640 4668 1376 243 0 3889 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 30560 KiB
Current children cumulated memory: 18672 KiB

[startup+12.7003 s]
/proc/loadavg: 1.50 1.51 2.21 5/273 70904
/proc/meminfo: memFree=129861720/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=31012 memory=20464 CPUtime=12.62 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 3434 0 1 0 1243 19 0 0 20 0 1 0 67487878 31756288 5116 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 7753 5116 1376 243 0 4002 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 31012 KiB
Current children cumulated memory: 20464 KiB

[startup+25.5003 s]
/proc/loadavg: 1.88 1.59 2.23 5/274 70906
/proc/meminfo: memFree=129842664/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=38408 memory=25580 CPUtime=25.38 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 4217 0 1 0 2508 30 0 0 20 0 1 0 67487878 39329792 6395 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 9602 6395 1376 243 0 5851 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 38408 KiB
Current children cumulated memory: 25580 KiB

[startup+51.1141 s]
/proc/loadavg: 2.68 1.80 2.28 5/274 70906
/proc/meminfo: memFree=129832540/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=42668 memory=30572 CPUtime=50.93 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 5496 0 1 0 5041 52 0 0 20 0 1 0 67487878 43692032 7643 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 10667 7643 1376 243 0 6916 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 30572 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.19 2.39 5/262 70908
/proc/meminfo: memFree=129772108/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=51992 memory=38368 CPUtime=101.97 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 6429 0 1 0 10115 82 0 0 20 0 1 0 67487878 53239808 9592 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 12998 9592 1376 243 0 9247 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 51992 KiB
Current children cumulated memory: 38368 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.54 2.50 5/263 70911
/proc/meminfo: memFree=129742432/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=62084 memory=49844 CPUtime=161.79 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 8043 0 1 0 16066 113 0 0 20 0 1 0 67487878 63574016 12461 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 15521 12461 1376 243 0 11770 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 62084 KiB
Current children cumulated memory: 49844 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.83 2.61 5/262 70913
/proc/meminfo: memFree=129712756/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=76392 memory=53172 CPUtime=221.64 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 8901 0 1 0 22031 133 0 0 20 0 1 0 67487878 78225408 13293 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 19098 13293 1376 243 0 15347 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 76392 KiB
Current children cumulated memory: 53172 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.06 2.70 5/251 70960
/proc/meminfo: memFree=129730504/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=76972 memory=58320 CPUtime=281.47 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 9161 0 1 0 27992 155 0 0 20 0 1 0 67487878 78819328 14580 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 19243 14580 1376 243 0 15492 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 76972 KiB
Current children cumulated memory: 58320 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.27 2.80 5/252 70967
/proc/meminfo: memFree=129695372/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=120228 memory=86224 CPUtime=341.31 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 13583 0 1 0 33961 170 0 0 20 0 1 0 67487878 123113472 21556 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 30057 21556 1376 243 0 26306 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 86224 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.43 2.88 5/251 70969
/proc/meminfo: memFree=129662384/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=123468 memory=99420 CPUtime=401.13 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 14896 0 1 0 39934 179 0 0 20 0 1 0 67487878 126431232 24855 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 30867 24855 1376 243 0 27116 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 123468 KiB
Current children cumulated memory: 99420 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.54 2.96 5/250 70971
/proc/meminfo: memFree=129620628/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=155064 memory=117128 CPUtime=460.96 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 15945 0 1 0 45912 184 0 0 20 0 1 0 67487878 158785536 29282 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 38766 29282 1376 243 0 35015 0
Current children cumulated CPU time: 460.96 s
Current children cumulated vsize: 155064 KiB
Current children cumulated memory: 117128 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 3.66 3.04 5/251 70976
/proc/meminfo: memFree=129573572/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=159888 memory=124696 CPUtime=520.79 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 16930 0 1 0 51889 190 0 0 20 0 1 0 67487878 163725312 31174 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 39972 31174 1376 243 0 36221 0
Current children cumulated CPU time: 520.79 s
Current children cumulated vsize: 159888 KiB
Current children cumulated memory: 124696 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 3.74 3.10 5/251 70978
/proc/meminfo: memFree=129550244/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=137800 CPUtime=580.61 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22018 0 1 0 57862 199 0 0 20 0 1 0 67487878 189083648 34450 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 34450 1376 243 0 42412 0
Current children cumulated CPU time: 580.61 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 137800 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 3.80 3.17 5/250 70980
/proc/meminfo: memFree=129530516/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=137800 CPUtime=640.43 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22021 0 1 0 63838 205 0 0 20 0 1 0 67487878 189083648 34450 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 34450 1376 243 0 42412 0
Current children cumulated CPU time: 640.43 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 137800 KiB

[startup+702.3 s]
/proc/loadavg: 4.09 3.86 3.23 5/250 70982
/proc/meminfo: memFree=129522492/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=137800 CPUtime=700.24 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22036 0 1 0 69812 212 0 0 20 0 1 0 67487878 189083648 34450 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 34450 1376 243 0 42412 0
Current children cumulated CPU time: 700.24 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 137800 KiB

[startup+762.3 s]
/proc/loadavg: 4.08 3.90 3.28 5/250 70984
/proc/meminfo: memFree=129489020/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=760.07 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22047 0 1 0 75787 220 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 760.07 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+822.3 s]
/proc/loadavg: 4.21 3.97 3.35 5/250 70997
/proc/meminfo: memFree=129508620/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=819.9 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 81763 227 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 819.9 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+882.3 s]
/proc/loadavg: 4.14 3.99 3.40 5/249 70999
/proc/meminfo: memFree=129503960/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=879.74 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 87738 236 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 879.74 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

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

# cumulated CPU time of all completed processes:  user=905.872 s, system=2.40129 s

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

[startup+896 s]*
/proc/loadavg: 4.12 3.99 3.40 5/249 70999
/proc/meminfo: memFree=129504008/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=893.42 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 89104 238 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 893.42 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+902.4 s]
/proc/loadavg: 4.18 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504324/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=899.79 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 89740 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 899.79 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+905.6 s]
/proc/loadavg: 4.18 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504356/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=902.98 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 90059 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 902.98 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+908.8 s]
/proc/loadavg: 4.16 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504108/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=906.17 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 90378 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 906.17 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+909.6 s]
/proc/loadavg: 4.16 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504108/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=906.97 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 90458 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 906.97 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+910.4 s]
/proc/loadavg: 4.16 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504124/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=907.77 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 90538 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 907.77 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

[startup+910.8 s]
/proc/loadavg: 4.16 4.01 3.42 5/249 70999
/proc/meminfo: memFree=129504124/131382112 swapFree=33010416/33010684
[pid=70889] ppid=70881 vsize=184652 memory=152264 CPUtime=908.17 cores=0,2
/proc/70889/stat : 70889 (pb-oll-rs) R 70881 70889 70835 0 -1 4194304 22080 0 1 0 90578 239 0 0 20 0 1 0 67487878 189083648 38066 18446744073709551615 4218880 5211445 140730919668928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 35336192 140730919676316 140730919676393 140730919676393 140730919681995 0
/proc/70889/statm: 46163 38066 1376 243 0 42412 0
Current children cumulated CPU time: 908.17 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 152264 KiB

Child status: 0

Real time (s): 910.896
CPU time (s): 908.273
CPU user time (s): 905.872
CPU system time (s): 2.40129
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 184984
Max. memory (cumulated for all children) (KiB): 152264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.872
system time used= 2.40129
maximum resident set size= 152264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22091
page faults= 1
swaps= 0
block input operations= 16
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153
involuntary context switches= 2009


# summary of solver processes directly reported to runsolver:
#   pid: 70889
#   total CPU time (s): 908.273
#   total CPU user time (s): 905.872
#   total CPU system time (s): 2.40129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23642 second user time and 9.16118 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-03 06:48:02
IDJOB=4509098
IDBENCH=158597
IDSOLVER=3345
FILE ID=nodeC012/4509098-1751518082
RUNJOBID= nodeC012-1751518082-70845
SLURM_JOB_ID= 9598636
Free space on /tmp= 431884 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0088-0888.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509098-1751518082/watcher-4509098-1751518082 -o /tmp/evaluation-result-4509098-1751518082/solver-4509098-1751518082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70845 --watchdog 3760  pb-oll-rs HOME/instance-4509098-1751518082.opb

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

MD5SUM BENCH= 6237d0bdc810edc13b25bb83c842e0a8
RANDOM SEED=4985800

nodeC012 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		: 1197.124
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.39
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		: 1197.150
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.39
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.153
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.39
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.270
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.39
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		: 1197.244
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.39
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.343
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.145
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.39
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.151
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129902096 kB
MemAvailable:   129908948 kB
Buffers:            2136 kB
Cached:           808048 kB
SwapCached:           16 kB
Active:           690804 kB
Inactive:         190372 kB
Active(anon):      81940 kB
Inactive(anon):     6996 kB
Active(file):     608864 kB
Inactive(file):   183376 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7448 kB
Writeback:             8 kB
AnonPages:         74356 kB
Mapped:           103268 kB
Shmem:             17944 kB
KReclaimable:     108092 kB
Slab:             192868 kB
SReclaimable:     108092 kB
SUnreclaim:        84776 kB
KernelStack:        4080 kB
PageTables:         2632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     338728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149656 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431876 MiB
End job on nodeC012 at 2025-07-03 07:03:13