Trace number 4523645

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
mixed-bag-2024 2025-05-06OPT4 1436.94 1440.6

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB
SOLVEDBYoll

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
MD5SUMb9738ec4eef81a08a451499c860dc376
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 benchmark4
Best CPU time to get the best result obtained on this benchmark111.609
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1450
Total number of constraints2030
Number of constraints which are clauses941
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 157
Biggest coefficient in the objective function 65
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 231
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 438
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1634
Number of bits of the biggest sum of numbers11
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.08	c RoundingSat 2
0.00/0.08	c branch 
0.00/0.08	c commit 
0.00/0.08	c with Papilo
0.00/0.08	c with SCIP
0.00/0.08	c [STEP] parsing instance
0.20/0.31	c [STEP] preprocessing with Papilo
24.38/24.62	c [STEP] solving with SCIP
324.27/325.24	c [STEP] preprocessing done, loading into solver
324.37/325.31	c [STEP] solving
324.37/325.31	c #variables 1449 #constraints 2016
324.37/325.31	c SMALL=int, LARGE=long long
324.37/325.31	d SCIPUB 156
324.37/325.31	c bounds - >= 0 @ 323.926
324.37/325.31	c stratification level: 2
324.37/325.31	c bounds 122 >= 0 @ 323.929
324.37/325.31	c stratification level: 1
324.97/325.96	c bounds 122 >= 1 @ 324.225
324.97/325.96	c finalizing WCE round: reformulating cores
392.62/393.70	c #Conflicts:       1000 | #Constraints:       3021
392.62/393.70	c bounds 121 >= 1 @ 325.127
392.62/393.70	c bounds 121 >= 2 @ 325.381
392.62/393.70	c #Conflicts:       2000 | #Constraints:       4024
392.62/393.70	c INPROCESSING
392.62/393.70	c #Conflicts:       3000 | #Constraints:       3904
392.62/393.70	c #Conflicts:       4000 | #Constraints:       4904
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:       5000 | #Constraints:       4327
392.62/393.70	c #Conflicts:       6000 | #Constraints:       5327
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:       7000 | #Constraints:       4337
392.62/393.70	c #Conflicts:       8000 | #Constraints:       5337
392.62/393.70	c #Conflicts:       9000 | #Constraints:       6337
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      10000 | #Constraints:       5049
392.62/393.70	c #Conflicts:      11000 | #Constraints:       6049
392.62/393.70	c #Conflicts:      12000 | #Constraints:       7049
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      13000 | #Constraints:       5500
392.62/393.70	c #Conflicts:      14000 | #Constraints:       6500
392.62/393.70	c #Conflicts:      15000 | #Constraints:       7500
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      16000 | #Constraints:       5736
392.62/393.70	c #Conflicts:      17000 | #Constraints:       6736
392.62/393.70	c #Conflicts:      18000 | #Constraints:       7736
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      19000 | #Constraints:       5769
392.62/393.70	c #Conflicts:      20000 | #Constraints:       6769
392.62/393.70	c #Conflicts:      21000 | #Constraints:       7769
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      22000 | #Constraints:       5567
392.62/393.70	c #Conflicts:      23000 | #Constraints:       6567
392.62/393.70	c #Conflicts:      24000 | #Constraints:       7567
392.62/393.70	c #Conflicts:      25000 | #Constraints:       8567
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      26000 | #Constraints:       6168
392.62/393.70	c #Conflicts:      27000 | #Constraints:       7168
392.62/393.70	c #Conflicts:      28000 | #Constraints:       8168
392.62/393.70	c #Conflicts:      29000 | #Constraints:       9168
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      30000 | #Constraints:       6588
392.62/393.70	c #Conflicts:      31000 | #Constraints:       7588
392.62/393.70	c #Conflicts:      32000 | #Constraints:       8588
392.62/393.70	c #Conflicts:      33000 | #Constraints:       9588
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      34000 | #Constraints:       6785
392.62/393.70	c #Conflicts:      35000 | #Constraints:       7785
392.62/393.70	c #Conflicts:      36000 | #Constraints:       8785
392.62/393.70	c #Conflicts:      37000 | #Constraints:       9785
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      38000 | #Constraints:       6784
392.62/393.70	c #Conflicts:      39000 | #Constraints:       7784
392.62/393.70	c #Conflicts:      40000 | #Constraints:       8784
392.62/393.70	c #Conflicts:      41000 | #Constraints:       9784
392.62/393.70	c INPROCESSING
392.62/393.70	c #Conflicts:      42000 | #Constraints:       6588
392.62/393.70	c #Conflicts:      43000 | #Constraints:       7588
392.62/393.70	c #Conflicts:      44000 | #Constraints:       8588
392.62/393.70	c #Conflicts:      45000 | #Constraints:       9588
392.62/393.70	c #Conflicts:      46000 | #Constraints:      10588
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      47000 | #Constraints:       7175
392.62/393.70	c #Conflicts:      48000 | #Constraints:       8175
392.62/393.70	c #Conflicts:      49000 | #Constraints:       9175
392.62/393.70	c #Conflicts:      50000 | #Constraints:      10175
392.62/393.70	c #Conflicts:      51000 | #Constraints:      11175
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      52000 | #Constraints:       7582
392.62/393.70	c #Conflicts:      53000 | #Constraints:       8582
392.62/393.70	c #Conflicts:      54000 | #Constraints:       9582
392.62/393.70	c #Conflicts:      55000 | #Constraints:      10582
392.62/393.70	c #Conflicts:      56000 | #Constraints:      11582
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      57000 | #Constraints:       7781
392.62/393.70	c #Conflicts:      58000 | #Constraints:       8781
392.62/393.70	c #Conflicts:      59000 | #Constraints:       9781
392.62/393.70	c #Conflicts:      60000 | #Constraints:      10781
392.62/393.70	c #Conflicts:      61000 | #Constraints:      11781
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      62000 | #Constraints:       7790
392.62/393.70	c #Conflicts:      63000 | #Constraints:       8790
392.62/393.70	c #Conflicts:      64000 | #Constraints:       9790
392.62/393.70	c #Conflicts:      65000 | #Constraints:      10790
392.62/393.70	c #Conflicts:      66000 | #Constraints:      11790
392.62/393.70	c INPROCESSING
392.62/393.70	c GARBAGE COLLECT
392.62/393.70	c #Conflicts:      67000 | #Constraints:       7600
475.01/476.37	c #Conflicts:      68000 | #Constraints:       8600
475.01/476.37	c #Conflicts:      69000 | #Constraints:       9600
475.01/476.37	c #Conflicts:      70000 | #Constraints:      10600
475.01/476.37	c #Conflicts:      71000 | #Constraints:      11600
475.01/476.37	c #Conflicts:      72000 | #Constraints:      12600
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:      73000 | #Constraints:       8198
475.01/476.37	c #Conflicts:      74000 | #Constraints:       9198
475.01/476.37	c #Conflicts:      75000 | #Constraints:      10198
475.01/476.37	c #Conflicts:      76000 | #Constraints:      11198
475.01/476.37	c #Conflicts:      77000 | #Constraints:      12198
475.01/476.37	c #Conflicts:      78000 | #Constraints:      13198
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:      79000 | #Constraints:       8612
475.01/476.37	c #Conflicts:      80000 | #Constraints:       9612
475.01/476.37	c #Conflicts:      81000 | #Constraints:      10612
475.01/476.37	c #Conflicts:      82000 | #Constraints:      11612
475.01/476.37	c #Conflicts:      83000 | #Constraints:      12612
475.01/476.37	c #Conflicts:      84000 | #Constraints:      13612
475.01/476.37	c #Conflicts:      85000 | #Constraints:      14612
475.01/476.37	c #Conflicts:      86000 | #Constraints:      15612
475.01/476.37	c #Conflicts:      87000 | #Constraints:      16612
475.01/476.37	c #Conflicts:      88000 | #Constraints:      17612
475.01/476.37	c #Conflicts:      89000 | #Constraints:      18612
475.01/476.37	c #Conflicts:      90000 | #Constraints:      19612
475.01/476.37	c #Conflicts:      91000 | #Constraints:      20612
475.01/476.37	c #Conflicts:      92000 | #Constraints:      21612
475.01/476.37	c #Conflicts:      93000 | #Constraints:      22612
475.01/476.37	c #Conflicts:      94000 | #Constraints:      23612
475.01/476.37	c #Conflicts:      95000 | #Constraints:      24612
475.01/476.37	c #Conflicts:      96000 | #Constraints:      25612
475.01/476.37	c #Conflicts:      97000 | #Constraints:      26612
475.01/476.37	c #Conflicts:      98000 | #Constraints:      27612
475.01/476.37	c #Conflicts:      99000 | #Constraints:      28612
475.01/476.37	c #Conflicts:     100000 | #Constraints:      29612
475.01/476.37	c #Conflicts:     101000 | #Constraints:      30612
475.01/476.37	c #Conflicts:     102000 | #Constraints:      31612
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     103000 | #Constraints:      17377
475.01/476.37	c #Conflicts:     104000 | #Constraints:      18377
475.01/476.37	c #Conflicts:     105000 | #Constraints:      19377
475.01/476.37	c #Conflicts:     106000 | #Constraints:      20377
475.01/476.37	c #Conflicts:     107000 | #Constraints:      21377
475.01/476.37	c #Conflicts:     108000 | #Constraints:      22377
475.01/476.37	c #Conflicts:     109000 | #Constraints:      23377
475.01/476.37	c #Conflicts:     110000 | #Constraints:      24377
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     111000 | #Constraints:      14214
475.01/476.37	c #Conflicts:     112000 | #Constraints:      15214
475.01/476.37	c #Conflicts:     113000 | #Constraints:      16214
475.01/476.37	c #Conflicts:     114000 | #Constraints:      17214
475.01/476.37	c #Conflicts:     115000 | #Constraints:      18214
475.01/476.37	c #Conflicts:     116000 | #Constraints:      19214
475.01/476.37	c #Conflicts:     117000 | #Constraints:      20214
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     118000 | #Constraints:      11977
475.01/476.37	c #Conflicts:     119000 | #Constraints:      12977
475.01/476.37	c #Conflicts:     120000 | #Constraints:      13977
475.01/476.37	c #Conflicts:     121000 | #Constraints:      14977
475.01/476.37	c #Conflicts:     122000 | #Constraints:      15977
475.01/476.37	c #Conflicts:     123000 | #Constraints:      16977
475.01/476.37	c #Conflicts:     124000 | #Constraints:      17977
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     125000 | #Constraints:      10613
475.01/476.37	c #Conflicts:     126000 | #Constraints:      11613
475.01/476.37	c #Conflicts:     127000 | #Constraints:      12613
475.01/476.37	c #Conflicts:     128000 | #Constraints:      13613
475.01/476.37	c #Conflicts:     129000 | #Constraints:      14613
475.01/476.37	c #Conflicts:     130000 | #Constraints:      15613
475.01/476.37	c #Conflicts:     131000 | #Constraints:      16613
475.01/476.37	c #Conflicts:     132000 | #Constraints:      17613
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     133000 | #Constraints:      10579
475.01/476.37	c #Conflicts:     134000 | #Constraints:      11579
475.01/476.37	c #Conflicts:     135000 | #Constraints:      12579
475.01/476.37	c #Conflicts:     136000 | #Constraints:      13579
475.01/476.37	c #Conflicts:     137000 | #Constraints:      14579
475.01/476.37	c #Conflicts:     138000 | #Constraints:      15579
475.01/476.37	c #Conflicts:     139000 | #Constraints:      16579
475.01/476.37	c #Conflicts:     140000 | #Constraints:      17579
475.01/476.37	c INPROCESSING
475.01/476.37	c GARBAGE COLLECT
475.01/476.37	c #Conflicts:     141000 | #Constraints:      10608
588.64/590.26	c #Conflicts:     142000 | #Constraints:      11608
588.64/590.26	c #Conflicts:     143000 | #Constraints:      12608
588.64/590.26	c #Conflicts:     144000 | #Constraints:      13608
588.64/590.26	c #Conflicts:     145000 | #Constraints:      14608
588.64/590.26	c #Conflicts:     146000 | #Constraints:      15608
588.64/590.26	c #Conflicts:     147000 | #Constraints:      16608
588.64/590.26	c #Conflicts:     148000 | #Constraints:      17608
588.64/590.26	c #Conflicts:     149000 | #Constraints:      18608
588.64/590.26	c #Conflicts:     150000 | #Constraints:      19608
588.64/590.26	c #Conflicts:     151000 | #Constraints:      20608
588.64/590.26	c #Conflicts:     152000 | #Constraints:      21608
588.64/590.26	c #Conflicts:     153000 | #Constraints:      22608
588.64/590.26	c #Conflicts:     154000 | #Constraints:      23608
588.64/590.26	c #Conflicts:     155000 | #Constraints:      24608
588.64/590.26	c #Conflicts:     156000 | #Constraints:      25608
588.64/590.26	c #Conflicts:     157000 | #Constraints:      26608
588.64/590.26	c #Conflicts:     158000 | #Constraints:      27608
588.64/590.26	c #Conflicts:     159000 | #Constraints:      28608
588.64/590.26	c #Conflicts:     160000 | #Constraints:      29608
588.64/590.26	c #Conflicts:     161000 | #Constraints:      30608
588.64/590.26	c #Conflicts:     162000 | #Constraints:      31608
588.64/590.26	c #Conflicts:     163000 | #Constraints:      32608
588.64/590.26	c #Conflicts:     164000 | #Constraints:      33608
588.64/590.26	c #Conflicts:     165000 | #Constraints:      34608
588.64/590.26	c #Conflicts:     166000 | #Constraints:      35608
588.64/590.26	c #Conflicts:     167000 | #Constraints:      36608
588.64/590.26	c #Conflicts:     168000 | #Constraints:      37608
588.64/590.26	c #Conflicts:     169000 | #Constraints:      38608
588.64/590.26	c #Conflicts:     170000 | #Constraints:      39608
588.64/590.26	c #Conflicts:     171000 | #Constraints:      40608
588.64/590.26	c #Conflicts:     172000 | #Constraints:      41608
588.64/590.26	c INPROCESSING
588.64/590.26	c GARBAGE COLLECT
588.64/590.26	c #Conflicts:     173000 | #Constraints:      22423
588.64/590.26	c #Conflicts:     174000 | #Constraints:      23423
588.64/590.26	c #Conflicts:     175000 | #Constraints:      24423
588.64/590.26	c #Conflicts:     176000 | #Constraints:      25423
588.64/590.26	c #Conflicts:     177000 | #Constraints:      26423
588.64/590.26	c #Conflicts:     178000 | #Constraints:      27423
588.64/590.26	c #Conflicts:     179000 | #Constraints:      28423
588.64/590.26	c #Conflicts:     180000 | #Constraints:      29423
588.64/590.26	c #Conflicts:     181000 | #Constraints:      30423
588.64/590.26	c #Conflicts:     182000 | #Constraints:      31423
588.64/590.26	c INPROCESSING
588.64/590.26	c GARBAGE COLLECT
588.64/590.26	c #Conflicts:     183000 | #Constraints:      17749
588.64/590.26	c #Conflicts:     184000 | #Constraints:      18749
588.64/590.26	c #Conflicts:     185000 | #Constraints:      19749
588.64/590.26	c #Conflicts:     186000 | #Constraints:      20749
588.64/590.26	c #Conflicts:     187000 | #Constraints:      21749
588.64/590.26	c #Conflicts:     188000 | #Constraints:      22749
588.64/590.26	c #Conflicts:     189000 | #Constraints:      23749
588.64/590.26	c #Conflicts:     190000 | #Constraints:      24749
588.64/590.26	c #Conflicts:     191000 | #Constraints:      25749
588.64/590.26	c INPROCESSING
588.64/590.26	c GARBAGE COLLECT
588.64/590.26	c #Conflicts:     192000 | #Constraints:      14704
588.64/590.26	c #Conflicts:     193000 | #Constraints:      15704
588.64/590.26	c #Conflicts:     194000 | #Constraints:      16704
588.64/590.26	c #Conflicts:     195000 | #Constraints:      17704
588.64/590.26	c #Conflicts:     196000 | #Constraints:      18704
588.64/590.26	c #Conflicts:     197000 | #Constraints:      19704
588.64/590.26	c #Conflicts:     198000 | #Constraints:      20704
588.64/590.26	c #Conflicts:     199000 | #Constraints:      21704
588.64/590.26	c #Conflicts:     200000 | #Constraints:      22704
588.64/590.26	c #Conflicts:     201000 | #Constraints:      23704
588.64/590.26	c INPROCESSING
588.64/590.26	c GARBAGE COLLECT
588.64/590.26	c #Conflicts:     202000 | #Constraints:      13892
588.64/590.26	c #Conflicts:     203000 | #Constraints:      14892
588.64/590.26	c #Conflicts:     204000 | #Constraints:      15892
588.64/590.26	c #Conflicts:     205000 | #Constraints:      16892
588.64/590.26	c #Conflicts:     206000 | #Constraints:      17892
588.64/590.26	c #Conflicts:     207000 | #Constraints:      18892
588.64/590.26	c #Conflicts:     208000 | #Constraints:      19892
588.64/590.26	c #Conflicts:     209000 | #Constraints:      20892
588.64/590.26	c #Conflicts:     210000 | #Constraints:      21892
588.64/590.26	c INPROCESSING
588.64/590.26	c GARBAGE COLLECT
588.64/590.26	c #Conflicts:     211000 | #Constraints:      12577
588.64/590.26	c #Conflicts:     212000 | #Constraints:      13577
588.64/590.26	c #Conflicts:     213000 | #Constraints:      14577
588.64/590.26	c #Conflicts:     214000 | #Constraints:      15577
588.64/590.26	c #Conflicts:     215000 | #Constraints:      16577
588.64/590.26	c #Conflicts:     216000 | #Constraints:      17577
588.64/590.26	c #Conflicts:     217000 | #Constraints:      18577
737.68/739.64	c #Conflicts:     218000 | #Constraints:      19577
737.68/739.64	c #Conflicts:     219000 | #Constraints:      20577
737.68/739.64	c #Conflicts:     220000 | #Constraints:      21577
737.68/739.64	c #Conflicts:     221000 | #Constraints:      22577
737.68/739.64	c #Conflicts:     222000 | #Constraints:      23577
737.68/739.64	c #Conflicts:     223000 | #Constraints:      24577
737.68/739.64	c #Conflicts:     224000 | #Constraints:      25577
737.68/739.64	c #Conflicts:     225000 | #Constraints:      26577
737.68/739.64	c #Conflicts:     226000 | #Constraints:      27577
737.68/739.64	c #Conflicts:     227000 | #Constraints:      28577
737.68/739.64	c #Conflicts:     228000 | #Constraints:      29577
737.68/739.64	c #Conflicts:     229000 | #Constraints:      30577
737.68/739.64	c #Conflicts:     230000 | #Constraints:      31577
737.68/739.64	c #Conflicts:     231000 | #Constraints:      32577
737.68/739.64	c #Conflicts:     232000 | #Constraints:      33577
737.68/739.64	c #Conflicts:     233000 | #Constraints:      34577
737.68/739.64	c #Conflicts:     234000 | #Constraints:      35577
737.68/739.64	c #Conflicts:     235000 | #Constraints:      36577
737.68/739.64	c #Conflicts:     236000 | #Constraints:      37577
737.68/739.64	c #Conflicts:     237000 | #Constraints:      38577
737.68/739.64	c #Conflicts:     238000 | #Constraints:      39577
737.68/739.64	c #Conflicts:     239000 | #Constraints:      40577
737.68/739.64	c #Conflicts:     240000 | #Constraints:      41577
737.68/739.64	c #Conflicts:     241000 | #Constraints:      42577
737.68/739.64	c #Conflicts:     242000 | #Constraints:      43577
737.68/739.64	c #Conflicts:     243000 | #Constraints:      44577
737.68/739.64	c #Conflicts:     244000 | #Constraints:      45577
737.68/739.64	c #Conflicts:     245000 | #Constraints:      46577
737.68/739.64	c #Conflicts:     246000 | #Constraints:      47577
737.68/739.64	c #Conflicts:     247000 | #Constraints:      48577
737.68/739.64	c #Conflicts:     248000 | #Constraints:      49577
737.68/739.64	c #Conflicts:     249000 | #Constraints:      50577
737.68/739.64	c INPROCESSING
737.68/739.64	c GARBAGE COLLECT
737.68/739.64	c #Conflicts:     250000 | #Constraints:      27015
737.68/739.64	c #Conflicts:     251000 | #Constraints:      28015
737.68/739.64	c #Conflicts:     252000 | #Constraints:      29015
737.68/739.64	c #Conflicts:     253000 | #Constraints:      30015
737.68/739.64	c #Conflicts:     254000 | #Constraints:      31015
737.68/739.64	c #Conflicts:     255000 | #Constraints:      32015
737.68/739.64	c #Conflicts:     256000 | #Constraints:      33015
737.68/739.64	c #Conflicts:     257000 | #Constraints:      34015
737.68/739.64	c #Conflicts:     258000 | #Constraints:      35015
737.68/739.64	c #Conflicts:     259000 | #Constraints:      36015
737.68/739.64	c #Conflicts:     260000 | #Constraints:      37015
737.68/739.64	c INPROCESSING
737.68/739.64	c GARBAGE COLLECT
737.68/739.64	c #Conflicts:     261000 | #Constraints:      20215
737.68/739.64	c #Conflicts:     262000 | #Constraints:      21215
737.68/739.64	c #Conflicts:     263000 | #Constraints:      22215
737.68/739.64	c #Conflicts:     264000 | #Constraints:      23215
737.68/739.64	c #Conflicts:     265000 | #Constraints:      24215
737.68/739.64	c #Conflicts:     266000 | #Constraints:      25215
737.68/739.64	c #Conflicts:     267000 | #Constraints:      26215
737.68/739.64	c #Conflicts:     268000 | #Constraints:      27215
737.68/739.64	c #Conflicts:     269000 | #Constraints:      28215
737.68/739.64	c #Conflicts:     270000 | #Constraints:      29215
737.68/739.64	c #Conflicts:     271000 | #Constraints:      30215
737.68/739.64	c #Conflicts:     272000 | #Constraints:      31215
737.68/739.64	c INPROCESSING
737.68/739.64	c GARBAGE COLLECT
737.68/739.64	c #Conflicts:     273000 | #Constraints:      17628
737.68/739.64	c #Conflicts:     274000 | #Constraints:      18628
737.68/739.64	c #Conflicts:     275000 | #Constraints:      19628
737.68/739.64	c #Conflicts:     276000 | #Constraints:      20628
737.68/739.64	c #Conflicts:     277000 | #Constraints:      21628
737.68/739.64	c #Conflicts:     278000 | #Constraints:      22628
737.68/739.64	c #Conflicts:     279000 | #Constraints:      23628
737.68/739.64	c #Conflicts:     280000 | #Constraints:      24628
737.68/739.64	c #Conflicts:     281000 | #Constraints:      25628
737.68/739.64	c #Conflicts:     282000 | #Constraints:      26628
737.68/739.64	c #Conflicts:     283000 | #Constraints:      27628
737.68/739.64	c INPROCESSING
737.68/739.64	c GARBAGE COLLECT
737.68/739.64	c #Conflicts:     284000 | #Constraints:      15582
737.68/739.64	c #Conflicts:     285000 | #Constraints:      16582
737.68/739.64	c #Conflicts:     286000 | #Constraints:      17582
737.68/739.64	c #Conflicts:     287000 | #Constraints:      18582
737.68/739.64	c #Conflicts:     288000 | #Constraints:      19582
737.68/739.64	c #Conflicts:     289000 | #Constraints:      20582
737.68/739.64	c #Conflicts:     290000 | #Constraints:      21582
737.68/739.64	c #Conflicts:     291000 | #Constraints:      22582
737.68/739.64	c #Conflicts:     292000 | #Constraints:      23582
737.68/739.64	c #Conflicts:     293000 | #Constraints:      24582
1016.28/1018.96	c #Conflicts:     294000 | #Constraints:      25582
1016.28/1018.96	c #Conflicts:     295000 | #Constraints:      26582
1016.28/1018.96	c #Conflicts:     296000 | #Constraints:      27582
1016.28/1018.96	c #Conflicts:     297000 | #Constraints:      28582
1016.28/1018.96	c #Conflicts:     298000 | #Constraints:      29582
1016.28/1018.96	c #Conflicts:     299000 | #Constraints:      30582
1016.28/1018.96	c #Conflicts:     300000 | #Constraints:      31582
1016.28/1018.96	c #Conflicts:     301000 | #Constraints:      32582
1016.28/1018.96	c #Conflicts:     302000 | #Constraints:      33582
1016.28/1018.96	c #Conflicts:     303000 | #Constraints:      34582
1016.28/1018.96	c #Conflicts:     304000 | #Constraints:      35582
1016.28/1018.96	c #Conflicts:     305000 | #Constraints:      36582
1016.28/1018.96	c #Conflicts:     306000 | #Constraints:      37582
1016.28/1018.96	c #Conflicts:     307000 | #Constraints:      38582
1016.28/1018.96	c #Conflicts:     308000 | #Constraints:      39582
1016.28/1018.96	c #Conflicts:     309000 | #Constraints:      40582
1016.28/1018.96	c #Conflicts:     310000 | #Constraints:      41582
1016.28/1018.96	c #Conflicts:     311000 | #Constraints:      42582
1016.28/1018.96	c #Conflicts:     312000 | #Constraints:      43582
1016.28/1018.96	c #Conflicts:     313000 | #Constraints:      44582
1016.28/1018.96	c #Conflicts:     314000 | #Constraints:      45582
1016.28/1018.96	c #Conflicts:     315000 | #Constraints:      46582
1016.28/1018.96	c #Conflicts:     316000 | #Constraints:      47582
1016.28/1018.96	c #Conflicts:     317000 | #Constraints:      48582
1016.28/1018.96	c #Conflicts:     318000 | #Constraints:      49582
1016.28/1018.96	c #Conflicts:     319000 | #Constraints:      50582
1016.28/1018.96	c #Conflicts:     320000 | #Constraints:      51582
1016.28/1018.96	c #Conflicts:     321000 | #Constraints:      52582
1016.28/1018.96	c #Conflicts:     322000 | #Constraints:      53582
1016.28/1018.96	c #Conflicts:     323000 | #Constraints:      54582
1016.28/1018.96	c #Conflicts:     324000 | #Constraints:      55582
1016.28/1018.96	c #Conflicts:     325000 | #Constraints:      56582
1016.28/1018.96	c #Conflicts:     326000 | #Constraints:      57582
1016.28/1018.96	c #Conflicts:     327000 | #Constraints:      58582
1016.28/1018.96	c INPROCESSING
1016.28/1018.96	c GARBAGE COLLECT
1016.28/1018.96	c #Conflicts:     328000 | #Constraints:      31025
1016.28/1018.96	c #Conflicts:     329000 | #Constraints:      32025
1016.28/1018.96	c #Conflicts:     330000 | #Constraints:      33025
1016.28/1018.96	c #Conflicts:     331000 | #Constraints:      34025
1016.28/1018.96	c #Conflicts:     332000 | #Constraints:      35025
1016.28/1018.96	c #Conflicts:     333000 | #Constraints:      36025
1016.28/1018.96	c #Conflicts:     334000 | #Constraints:      37025
1016.28/1018.96	c #Conflicts:     335000 | #Constraints:      38025
1016.28/1018.96	c #Conflicts:     336000 | #Constraints:      39025
1016.28/1018.96	c bounds 121 >= 3 @ 889.682
1016.28/1018.96	c #Conflicts:     337000 | #Constraints:      40028
1016.28/1018.96	c #Conflicts:     338000 | #Constraints:      41028
1016.28/1018.96	c #Conflicts:     339000 | #Constraints:      42028
1016.28/1018.96	c #Conflicts:     340000 | #Constraints:      43028
1016.28/1018.96	c INPROCESSING
1016.28/1018.96	c GARBAGE COLLECT
1016.28/1018.96	c #Conflicts:     341000 | #Constraints:      16824
1016.28/1018.96	c #Conflicts:     342000 | #Constraints:      17824
1016.28/1018.96	c #Conflicts:     343000 | #Constraints:      18824
1016.28/1018.96	c #Conflicts:     344000 | #Constraints:      19824
1016.28/1018.96	c #Conflicts:     345000 | #Constraints:      20824
1016.28/1018.96	c #Conflicts:     346000 | #Constraints:      21824
1016.28/1018.96	c #Conflicts:     347000 | #Constraints:      22824
1016.28/1018.96	c #Conflicts:     348000 | #Constraints:      23824
1016.28/1018.96	c #Conflicts:     349000 | #Constraints:      24824
1016.28/1018.96	c #Conflicts:     350000 | #Constraints:      25824
1016.28/1018.96	c #Conflicts:     351000 | #Constraints:      26824
1016.28/1018.96	c #Conflicts:     352000 | #Constraints:      27824
1016.28/1018.96	c #Conflicts:     353000 | #Constraints:      28824
1016.28/1018.96	c #Conflicts:     354000 | #Constraints:      29824
1016.28/1018.96	c #Conflicts:     355000 | #Constraints:      30824
1016.28/1018.96	c #Conflicts:     356000 | #Constraints:      31824
1016.28/1018.96	c #Conflicts:     357000 | #Constraints:      32824
1016.28/1018.96	c #Conflicts:     358000 | #Constraints:      33824
1016.28/1018.96	c #Conflicts:     359000 | #Constraints:      34824
1016.28/1018.96	c #Conflicts:     360000 | #Constraints:      35824
1016.28/1018.96	c #Conflicts:     361000 | #Constraints:      36824
1016.28/1018.96	c #Conflicts:     362000 | #Constraints:      37824
1016.28/1018.96	c #Conflicts:     363000 | #Constraints:      38824
1016.28/1018.96	c #Conflicts:     364000 | #Constraints:      39824
1016.28/1018.96	c #Conflicts:     365000 | #Constraints:      40824
1016.28/1018.96	c #Conflicts:     366000 | #Constraints:      41824
1016.28/1018.96	c #Conflicts:     367000 | #Constraints:      42824
1016.28/1018.96	c #Conflicts:     368000 | #Constraints:      43824
1016.28/1018.96	c #Conflicts:     369000 | #Constraints:      44824
1016.28/1018.96	c #Conflicts:     370000 | #Constraints:      45824
1436.83/1440.57	c #Conflicts:     371000 | #Constraints:      46824
1436.83/1440.57	c #Conflicts:     372000 | #Constraints:      47824
1436.83/1440.57	c #Conflicts:     373000 | #Constraints:      48824
1436.83/1440.57	c #Conflicts:     374000 | #Constraints:      49824
1436.83/1440.57	c #Conflicts:     375000 | #Constraints:      50824
1436.83/1440.57	c #Conflicts:     376000 | #Constraints:      51824
1436.83/1440.57	c #Conflicts:     377000 | #Constraints:      52824
1436.83/1440.57	c #Conflicts:     378000 | #Constraints:      53824
1436.83/1440.57	c #Conflicts:     379000 | #Constraints:      54824
1436.83/1440.57	c #Conflicts:     380000 | #Constraints:      55824
1436.83/1440.57	c #Conflicts:     381000 | #Constraints:      56824
1436.83/1440.57	c #Conflicts:     382000 | #Constraints:      57824
1436.83/1440.57	c #Conflicts:     383000 | #Constraints:      58824
1436.83/1440.57	c #Conflicts:     384000 | #Constraints:      59824
1436.83/1440.57	c #Conflicts:     385000 | #Constraints:      60824
1436.83/1440.57	c #Conflicts:     386000 | #Constraints:      61824
1436.83/1440.57	c #Conflicts:     387000 | #Constraints:      62824
1436.83/1440.57	c INPROCESSING
1436.83/1440.57	c GARBAGE COLLECT
1436.83/1440.57	c #Conflicts:     388000 | #Constraints:      33132
1436.83/1440.57	c #Conflicts:     389000 | #Constraints:      34132
1436.83/1440.57	c #Conflicts:     390000 | #Constraints:      35132
1436.83/1440.57	c #Conflicts:     391000 | #Constraints:      36132
1436.83/1440.57	c #Conflicts:     392000 | #Constraints:      37132
1436.83/1440.57	c #Conflicts:     393000 | #Constraints:      38132
1436.83/1440.57	c #Conflicts:     394000 | #Constraints:      39132
1436.83/1440.57	c #Conflicts:     395000 | #Constraints:      40132
1436.83/1440.57	c #Conflicts:     396000 | #Constraints:      41132
1436.83/1440.57	c #Conflicts:     397000 | #Constraints:      42132
1436.83/1440.57	c #Conflicts:     398000 | #Constraints:      43132
1436.83/1440.57	c #Conflicts:     399000 | #Constraints:      44132
1436.83/1440.57	c #Conflicts:     400000 | #Constraints:      45132
1436.83/1440.57	c #Conflicts:     401000 | #Constraints:      46132
1436.83/1440.57	c INPROCESSING
1436.83/1440.57	c GARBAGE COLLECT
1436.83/1440.57	c #Conflicts:     402000 | #Constraints:      24772
1436.83/1440.57	c #Conflicts:     403000 | #Constraints:      25772
1436.83/1440.57	c #Conflicts:     404000 | #Constraints:      26772
1436.83/1440.57	c #Conflicts:     405000 | #Constraints:      27772
1436.83/1440.57	c #Conflicts:     406000 | #Constraints:      28772
1436.83/1440.57	c #Conflicts:     407000 | #Constraints:      29772
1436.83/1440.57	c #Conflicts:     408000 | #Constraints:      30772
1436.83/1440.57	c #Conflicts:     409000 | #Constraints:      31772
1436.83/1440.57	c #Conflicts:     410000 | #Constraints:      32772
1436.83/1440.57	c #Conflicts:     411000 | #Constraints:      33772
1436.83/1440.57	c #Conflicts:     412000 | #Constraints:      34772
1436.83/1440.57	c #Conflicts:     413000 | #Constraints:      35772
1436.83/1440.57	c #Conflicts:     414000 | #Constraints:      36772
1436.83/1440.57	c #Conflicts:     415000 | #Constraints:      37772
1436.83/1440.57	c #Conflicts:     416000 | #Constraints:      38772
1436.83/1440.57	c #Conflicts:     417000 | #Constraints:      39772
1436.83/1440.57	c #Conflicts:     418000 | #Constraints:      40772
1436.83/1440.57	c #Conflicts:     419000 | #Constraints:      41772
1436.83/1440.57	c #Conflicts:     420000 | #Constraints:      42772
1436.83/1440.57	c #Conflicts:     421000 | #Constraints:      43772
1436.83/1440.57	c #Conflicts:     422000 | #Constraints:      44772
1436.83/1440.57	c #Conflicts:     423000 | #Constraints:      45772
1436.83/1440.57	c #Conflicts:     424000 | #Constraints:      46772
1436.83/1440.57	c #Conflicts:     425000 | #Constraints:      47772
1436.83/1440.57	c #Conflicts:     426000 | #Constraints:      48772
1436.83/1440.57	c #Conflicts:     427000 | #Constraints:      49772
1436.83/1440.57	c #Conflicts:     428000 | #Constraints:      50772
1436.83/1440.57	c #Conflicts:     429000 | #Constraints:      51772
1436.83/1440.57	c #Conflicts:     430000 | #Constraints:      52772
1436.83/1440.57	c #Conflicts:     431000 | #Constraints:      53772
1436.83/1440.57	c #Conflicts:     432000 | #Constraints:      54772
1436.83/1440.57	c #Conflicts:     433000 | #Constraints:      55772
1436.83/1440.57	c #Conflicts:     434000 | #Constraints:      56772
1436.83/1440.57	c #Conflicts:     435000 | #Constraints:      57772
1436.83/1440.57	c #Conflicts:     436000 | #Constraints:      58772
1436.83/1440.57	c Input conflict
1436.83/1440.57	c bounds 3 >= 3 @ 1433.6
1436.83/1440.57	d SOLVEDBY oll
1436.83/1440.57	c cpu time 1433.6 s
1436.83/1440.57	c deterministic time 237832619776 2.38e+11
1436.83/1440.57	c optimization time 0.697174 s
1436.83/1440.57	c total solve time 1108.97 s
1436.83/1440.57	c core-guided solve time 1108.97 s
1436.83/1440.57	c propagation time 802.28 s
1436.83/1440.57	c conflict analysis time 296.689 s
1436.83/1440.57	c propagations 29216506
1436.83/1440.57	c resolve steps 9977430
1436.83/1440.57	c decisions 1796729
1436.83/1440.57	c conflicts 436029
1436.83/1440.57	c restarts 1021
1436.83/1440.57	c inprocessing phases 39
1436.83/1440.57	c input clauses 938
1436.83/1440.57	c input cardinalities 8
1436.83/1440.57	c input general constraints 1084
1436.83/1440.57	c input average constraint length 197.50
1436.83/1440.57	c input average constraint degree 98.67
1436.83/1440.57	c learned clauses 328304
1436.83/1440.57	c learned cardinalities 9
1436.83/1440.57	c learned general constraints 107716
1436.83/1440.57	c learned average constraint length 428.54
1436.83/1440.57	c learned average constraint degree 33664.28
1436.83/1440.57	c watched constraints 105585
1436.83/1440.57	c counting constraints 3215
1436.83/1440.57	c gcd simplifications 71449
1436.83/1440.57	c detected cardinalities 0
1436.83/1440.57	c weakened non-implied lits 9327353
1436.83/1440.57	c weakened non-implying lits 211321
1436.83/1440.57	c original variables 1450
1436.83/1440.57	c clausal propagations 2287038
1436.83/1440.57	c cardinality propagations 44486
1436.83/1440.57	c watched propagations 9445613
1436.83/1440.57	c counting propagations 16942971
1436.83/1440.57	c watch lookups 5676195223
1436.83/1440.57	c watch backjump lookups 4320586532
1436.83/1440.57	c watch checks 222488952996
1436.83/1440.57	c propagation checks 2747331412
1436.83/1440.57	c constraint additions 2537092148
1436.83/1440.57	c trail pops 31448229
1436.83/1440.57	c formula constraints 2016
1436.83/1440.57	c learned constraints 436029
1436.83/1440.57	c bound constraints 8
1436.83/1440.57	c core-guided constraints 6
1436.83/1440.57	c encountered formula constraints 6291759
1436.83/1440.57	c encountered learned constraints 4121683
1436.83/1440.57	c encountered bound constraints 3
1436.83/1440.57	c encountered core-guided constraints 15
1436.83/1440.57	c LP total time 0 s
1436.83/1440.57	c LP solve time 0 s
1436.83/1440.57	c LP constraints added 0
1436.83/1440.57	c LP constraints removed 0
1436.83/1440.57	c LP pivots internal 0
1436.83/1440.57	c LP pivots root 0
1436.83/1440.57	c LP calls 0
1436.83/1440.57	c LP optimalities 0
1436.83/1440.57	c LP no pivot count 0
1436.83/1440.57	c LP infeasibilities 0
1436.83/1440.57	c LP valid Farkas constraints 0
1436.83/1440.57	c LP learned Farkas constraints 0
1436.83/1440.57	c LP basis resets 0
1436.83/1440.57	c LP cycling count 0
1436.83/1440.57	c LP singular count 0
1436.83/1440.57	c LP no primal count 0
1436.83/1440.57	c LP no farkas count 0
1436.83/1440.57	c LP other issue count 0
1436.83/1440.57	c LP Gomory cuts 0
1436.83/1440.57	c LP learned cuts 0
1436.83/1440.57	c LP deleted cuts 0
1436.83/1440.57	c LP encountered Gomory constraints 0
1436.83/1440.57	c LP encountered Farkas constraints 0
1436.83/1440.57	c LP encountered learned Farkas constraints 0
1436.83/1440.57	c CG auxiliary variables introduced 3
1436.83/1440.57	c CG solutions found 3
1436.83/1440.57	c CG cores constructed 3
1436.83/1440.57	c CG core cardinality constraints returned 0
1436.83/1440.57	c CG unit cores 2
1436.83/1440.57	c CG single cores 1
1436.83/1440.57	c CG blocks removed during cardinality reduction 0
1436.83/1440.57	c CG first core best 0
1436.83/1440.57	c CG decision core best 0
1436.83/1440.57	c CG core reduction tie 0
1436.83/1440.57	c CG core degree average 1.00
1436.83/1440.57	c CG core slack average 155.00
1436.83/1440.57	c CG exhausted 0
1436.83/1440.57	c CG exhaust time 0.58055 s
1436.83/1440.57	c CG trimmed 0
1436.83/1440.57	c CG trim time 0.001937 s
1436.83/1440.57	c CG minimized 0
1436.83/1440.57	c CG minimize time 0 s
1436.83/1440.57	c CG am1 prop time 0.111422 s
1436.83/1440.57	c CG # am1s reformulated 0
1436.83/1440.57	c CG lower bound derived from am1s 0
1436.83/1440.57	c CG # clausal cores 1
1436.83/1440.57	c CG # cardinality cores 0
1436.83/1440.57	c CG # pb cores 0
1436.83/1440.57	c CG # pb reforms 0
1436.83/1440.57	c CG # cores discarded because of pb reform 0
1436.83/1440.57	d LOWERBOUND 3
1436.83/1440.57	d NCORES 3
1436.83/1440.57	d NPBCORES 0
1436.83/1440.57	d NPBREFORM 0
1436.83/1440.57	d NTRIMMED 0
1436.83/1440.57	d NEXHAUSTED 0
1436.83/1440.57	d NAM1S 0
1436.83/1440.57	d AM1LB 0
1436.83/1440.57	c [Papilo Statistics]
1436.83/1440.57	c prepro time 24.249s
1436.83/1440.57	c # tsx applied 1
1436.83/1440.57	c # tsx conflicts 0
1436.83/1440.57	c # bound changes 2
1436.83/1440.57	c # side changes 0
1436.83/1440.57	c # coef changes 0
1436.83/1440.57	c # rounds 2
1436.83/1440.57	c # deted vars 2
1436.83/1440.57	c # deted constrs 15
1436.83/1440.57	c # consecutive rounds of only bound changes 0
1436.83/1440.57	c [STEP] postprocessing with Papilo
1436.83/1440.57	o 4
1436.83/1440.57	s OPTIMUM FOUND
1436.83/1440.57	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 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 x675 x676 -x677 -x678 x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 x692 -x693 -x694 -x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 x799 x800 -x801 x802 x803 -x804 x805 -x806 x807 x808 -x809 x810 x811 x812 -x813 -x814 x815 -x816 x817 x818 -x819 -x820 -x821 x822 -x823 x824 x825 x826 x827 -x828 -x829 x830 -x831 -x832 x833 -x834 -x835 x836 -x837 x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 x858 x859 x860 x861 x862 x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 x872 x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 -x882 x883 -x884 x885 x886 x887 -x888 x889 -x890 -x891 x892 x893 x894 x895 x896 x897 -x898 x899 -x900 x901 x902 -x903 x904 x905 x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 x919 -x920 x921 -x922 x923 -x924 x925 x926 -x927 -x928 x929 x930 x931 x932 -x933 x934 x935 x936 -x937 x938 x939 x940 x941 -x942 -x943 -x944 x945 x946 -x947 -x948 -x949 x950 x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 x971 x972 x973 x974 -x975 -x976 x977 x978 x979 x980 x981 -x982 -x983 x984 x985 x986 x987 x988 x989 x990 x991 -x992 x993 -x994 x995 -x996 x997 x998 x999 x1000 -x1001 x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 x1050 x1051 -x1052 x1053 x1054 x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 x1066 x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 x1076 x1077 x1078 x1079 x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 x1097 x1098 x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 x1118 -x1119 x1120 x1121 x1122 -x1123 -x1124 x1125 x1126 x1127 x1128 x1129 -x1130 x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 x1151 x1152 -x1153 x1154 -x1155 x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 x1197 x1198 -x1199 x1200 -x1201 x1202 x1203 x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 x1221 -x1222 x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 x1273 x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 x1282 x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450

Verifier Data 

OK	4

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (39365 MiB free)
  memory of node 1: 64507 MiB (62788 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523645-1751583710/watcher-4523645-1751583710 -o /tmp/evaluation-result-4523645-1751583710/solver-4523645-1751583710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90104 --watchdog 3760 mixed-bag HOME/instance-4523645-1751583710.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=91958, runsolver pid=91955

[startup+0.100062 s]*
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104605032/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=84048 memory=11280 CPUtime=0.01 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 1377 0 0 0 1 0 0 0 20 0 1 0 74048934 86065152 2820 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 21012 2820 2176 2842 0 3245 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 84048 KiB
Current children cumulated memory: 11280 KiB

[startup+0.205516 s]*
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104569192/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=90192 memory=18008 CPUtime=0.12 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 2558 0 0 0 11 1 0 0 20 0 1 0 74048934 92356608 4502 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 22548 4502 2176 2842 0 4781 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 90192 KiB
Current children cumulated memory: 18008 KiB

[startup+0.305548 s]*
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104544744/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=123580 memory=42988 CPUtime=0.2 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 5242 0 0 0 19 1 0 0 20 0 1 0 74048934 126545920 10747 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 30895 10747 2176 2842 0 13128 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123580 KiB
Current children cumulated memory: 42988 KiB

[startup+0.700198 s]
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104532408/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=151264 memory=68560 CPUtime=0.54 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 7943 0 0 0 52 2 0 0 20 0 1 0 74048934 154894336 17140 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 37816 17140 2304 2842 0 19510 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68560 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104532408/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=151264 memory=68560 CPUtime=1.34 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 7943 0 0 0 132 2 0 0 20 0 1 0 74048934 154894336 17140 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 37816 17140 2304 2842 0 19510 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68560 KiB

[startup+3.1054 s]
/proc/loadavg: 4.12 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104514024/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=151264 memory=68560 CPUtime=2.94 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 7948 0 0 0 292 2 0 0 20 0 1 0 74048934 154894336 17140 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 37816 17140 2304 2842 0 19510 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68560 KiB

[startup+6.30017 s]
/proc/loadavg: 4.11 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104510608/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=151264 memory=68560 CPUtime=6.13 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 7953 0 0 0 611 2 0 0 20 0 1 0 74048934 154894336 17140 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 37816 17140 2304 2842 0 19510 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68560 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.21 4.18 5/266 91959
/proc/meminfo: memFree=104425848/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=151264 memory=68560 CPUtime=12.51 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 7958 0 0 0 1249 2 0 0 20 0 1 0 74048934 154894336 17140 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 37816 17140 2304 2842 0 19510 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 151264 KiB
Current children cumulated memory: 68560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.22 4.18 5/266 91959
/proc/meminfo: memFree=104113652/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=252100 memory=174388 CPUtime=25.28 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 27221 0 0 0 2523 5 0 0 20 0 1 0 74048934 258150400 43597 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 63025 43597 4064 2842 0 44719 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 252100 KiB
Current children cumulated memory: 174388 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.20 4.17 5/266 91959
/proc/meminfo: memFree=103640228/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=272660 memory=195144 CPUtime=50.83 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 38656 0 0 0 5076 7 0 0 20 0 1 0 74048934 279203840 48786 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 68165 48786 4096 2842 0 49859 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 272660 KiB
Current children cumulated memory: 195144 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/265 91962
/proc/meminfo: memFree=101775268/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=846556 memory=741140 CPUtime=101.89 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 153934 0 0 0 10161 28 0 0 20 0 1 0 74048934 866873344 185285 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 211639 185285 4288 2842 0 193333 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 846556 KiB
Current children cumulated memory: 741140 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/265 91968
/proc/meminfo: memFree=99822024/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=848492 memory=743276 CPUtime=161.75 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 174630 0 0 0 16142 33 0 0 20 0 1 0 74048934 868855808 185819 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 212123 185819 4288 2842 0 193817 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 848492 KiB
Current children cumulated memory: 743276 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/264 91970
/proc/meminfo: memFree=99598820/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=854708 memory=749644 CPUtime=221.6 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 196149 0 0 0 22123 37 0 0 20 0 1 0 74048934 875220992 187411 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 213677 187411 4288 2842 0 195371 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 854708 KiB
Current children cumulated memory: 749644 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/264 91972
/proc/meminfo: memFree=99282784/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=871552 memory=760216 CPUtime=281.47 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 218874 0 0 0 28105 42 0 0 20 0 1 0 74048934 892469248 190054 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 217888 190054 4288 2842 0 199582 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 871552 KiB
Current children cumulated memory: 760216 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/264 91974
/proc/meminfo: memFree=99005040/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=700056 memory=623944 CPUtime=341.34 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 239999 0 0 0 34067 67 0 0 20 0 1 0 74048934 716857344 155986 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 175014 155986 4448 2842 0 156708 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 700056 KiB
Current children cumulated memory: 623944 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/264 91977
/proc/meminfo: memFree=98643168/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=711732 memory=636232 CPUtime=401.2 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 240516 0 0 0 40024 96 0 0 20 0 1 0 74048934 728813568 159058 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 177933 159058 4448 2842 0 159627 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 711732 KiB
Current children cumulated memory: 636232 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/264 91979
/proc/meminfo: memFree=98280728/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=761520 memory=658928 CPUtime=461.04 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 241596 0 0 0 45981 123 0 0 20 0 1 0 74048934 779796480 164732 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 190380 164732 4448 2842 0 172074 0

################
# More data... #
################

/proc/loadavg: 4.12 4.13 4.14 5/265 92106
/proc/meminfo: memFree=122111412/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=754340 CPUtime=999.72 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243006 0 0 0 99705 267 0 0 20 0 1 0 74048934 914427904 188585 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 188585 4448 2842 0 204943 0
Current children cumulated CPU time: 999.72 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 754340 KiB

[startup+1062.3 s]
/proc/loadavg: 4.39 4.21 4.16 5/264 92109
/proc/meminfo: memFree=122063032/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=762532 CPUtime=1059.57 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243025 0 0 0 105679 278 0 0 20 0 1 0 74048934 914427904 190633 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 190633 4448 2842 0 204943 0
Current children cumulated CPU time: 1059.57 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 762532 KiB

[startup+1122.3 s]
/proc/loadavg: 4.19 4.18 4.16 5/263 92111
/proc/meminfo: memFree=122043512/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=785060 CPUtime=1119.42 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243036 0 0 0 111654 288 0 0 20 0 1 0 74048934 914427904 196265 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 196265 4448 2842 0 204943 0
Current children cumulated CPU time: 1119.42 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 785060 KiB

[startup+1182.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/264 92116
/proc/meminfo: memFree=122001916/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=791204 CPUtime=1179.26 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243039 0 0 0 117629 297 0 0 20 0 1 0 74048934 914427904 197801 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 197801 4448 2842 0 204943 0
Current children cumulated CPU time: 1179.26 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 791204 KiB

[startup+1242.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/264 92118
/proc/meminfo: memFree=122013104/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=791204 CPUtime=1239.11 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243039 0 0 0 123604 307 0 0 20 0 1 0 74048934 914427904 197801 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 197801 4448 2842 0 204943 0
Current children cumulated CPU time: 1239.11 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 791204 KiB

[startup+1302.3 s]
/proc/loadavg: 4.07 4.13 4.14 5/264 92165
/proc/meminfo: memFree=122643572/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=791204 CPUtime=1298.97 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243039 0 0 0 129581 316 0 0 20 0 1 0 74048934 914427904 197801 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 197801 4448 2842 0 204943 0
Current children cumulated CPU time: 1298.97 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 791204 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/264 92167
/proc/meminfo: memFree=121984764/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=791204 CPUtime=1358.82 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243076 0 0 0 135558 324 0 0 20 0 1 0 74048934 914427904 197801 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 197801 4448 2842 0 204943 0
Current children cumulated CPU time: 1358.82 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 791204 KiB

[startup+1422.3 s]
/proc/loadavg: 4.04 4.11 4.13 5/264 92174
/proc/meminfo: memFree=121835568/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=791204 CPUtime=1418.68 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243088 0 0 0 141538 330 0 0 20 0 1 0 74048934 914427904 197801 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 197801 4448 2842 0 204943 0
Current children cumulated CPU time: 1418.68 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 791204 KiB

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

# cumulated CPU time of all completed processes:  user=1433.6 s, system=3.33865 s

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

[startup+1433.6 s]
/proc/loadavg: 4.12 4.12 4.13 5/264 92174
/proc/meminfo: memFree=121799140/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1429.95 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 142664 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1429.95 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1436.8 s]
/proc/loadavg: 4.11 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121799172/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1433.14 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 142983 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1433.14 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1438.4 s]
/proc/loadavg: 4.11 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121782548/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1434.74 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 143143 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1434.74 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1439.2 s]
/proc/loadavg: 4.11 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121782612/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1435.53 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 143222 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1435.53 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1440 s]*
/proc/loadavg: 4.10 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121782612/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1436.34 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 143303 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1436.34 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1440.4 s]
/proc/loadavg: 4.10 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121782612/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1436.73 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 143342 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1436.73 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

[startup+1440.5 s]
/proc/loadavg: 4.10 4.12 4.13 5/264 92175
/proc/meminfo: memFree=121782612/131250000 swapFree=33010416/33010684
[pid=91958] ppid=91955 vsize=892996 memory=797348 CPUtime=1436.83 cores=5,7
/proc/91958/stat : 91958 (mixed-bag) R 91955 91958 90091 0 -1 4194304 243091 0 0 0 143352 331 0 0 20 0 1 0 74048934 914427904 199337 18446744073709551615 4235264 15874749 140727427078944 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 37814272 140727427086748 140727427086825 140727427086825 140727427092427 0
/proc/91958/statm: 223249 199337 4448 2842 0 204943 0
Current children cumulated CPU time: 1436.83 s
Current children cumulated vsize: 892996 KiB
Current children cumulated memory: 797348 KiB

Child status: 0

Real time (s): 1440.6
CPU time (s): 1436.94
CPU user time (s): 1433.6
CPU system time (s): 3.33865
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 892996
Max. memory (cumulated for all children) (KiB): 797348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.6
system time used= 3.33865
maximum resident set size= 797732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243114
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= 125
involuntary context switches= 691


# summary of solver processes directly reported to runsolver:
#   pid: 91958
#   total CPU time (s): 1436.94
#   total CPU user time (s): 1433.6
#   total CPU system time (s): 3.33865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.9142 second user time and 5.97941 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-04 01:01:51
IDJOB=4523645
IDBENCH=180369
IDSOLVER=3340
FILE ID=nodeC018/4523645-1751583710
RUNJOBID= nodeC018-1751578094-90104
SLURM_JOB_ID= 9598808
Free space on /tmp= 432760 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523645-1751583710/watcher-4523645-1751583710 -o /tmp/evaluation-result-4523645-1751583710/solver-4523645-1751583710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90104 --watchdog 3760  mixed-bag HOME/instance-4523645-1751583710.opb

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

MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376
RANDOM SEED=594268711

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        104605208 kB
MemAvailable:   105048864 kB
Buffers:            2128 kB
Cached:          1207672 kB
SwapCached:           32 kB
Active:         25078588 kB
Inactive:         732804 kB
Active(anon):   24619348 kB
Inactive(anon):      288 kB
Active(file):     459240 kB
Inactive(file):   732516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18712 kB
Writeback:             0 kB
AnonPages:      24600300 kB
Mapped:           138300 kB
Shmem:             18044 kB
KReclaimable:     181876 kB
Slab:             272104 kB
SReclaimable:     181876 kB
SUnreclaim:        90228 kB
KernelStack:        4320 kB
PageTables:        54244 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   29172680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5765120 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432552 MiB
End job on nodeC018 at 2025-07-04 01:25:52