Trace number 4454904

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-07-19SAT (TO)338 3600.11 3612.02

DiagnosticValue
AM1LB0
LOWERBOUND4
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB2501

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
MD5SUMe9a18706671e83c85382be3233ac0f60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.09/0.20	c [STEP] preprocessing with Papilo
0.20/0.29	c Papilo could not simplify the problem
0.20/0.29	c [STEP] solving with SCIP
299.45/300.41	c [STEP] preprocessing done, loading into solver
299.54/300.51	c [STEP] solving
299.54/300.51	c #variables 2701 #constraints 43070
299.54/300.51	c SMALL=int, LARGE=long long
299.54/300.51	d SCIPUB 2501
299.54/300.51	c bounds - >= 0 @ 299.325
299.54/300.51	c stratification level: 4
303.74/304.71	c #Conflicts:       1000 | #Constraints:      44069
303.74/304.71	c #Conflicts:       2000 | #Constraints:      45069
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:       3000 | #Constraints:      45090
303.74/304.71	c #Conflicts:       4000 | #Constraints:      46090
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:       5000 | #Constraints:      45509
303.74/304.71	c #Conflicts:       6000 | #Constraints:      46509
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:       7000 | #Constraints:      45516
303.74/304.71	c #Conflicts:       8000 | #Constraints:      46516
303.74/304.71	c #Conflicts:       9000 | #Constraints:      47516
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:      10000 | #Constraints:      46225
303.74/304.71	c #Conflicts:      11000 | #Constraints:      47225
303.74/304.71	c #Conflicts:      12000 | #Constraints:      48225
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      13000 | #Constraints:      46698
303.74/304.71	c #Conflicts:      14000 | #Constraints:      47698
303.74/304.71	c #Conflicts:      15000 | #Constraints:      48698
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:      16000 | #Constraints:      46924
303.74/304.71	c #Conflicts:      17000 | #Constraints:      47924
303.74/304.71	c #Conflicts:      18000 | #Constraints:      48924
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      19000 | #Constraints:      46953
303.74/304.71	c #Conflicts:      20000 | #Constraints:      47953
303.74/304.71	c #Conflicts:      21000 | #Constraints:      48953
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:      22000 | #Constraints:      46746
303.74/304.71	c #Conflicts:      23000 | #Constraints:      47746
303.74/304.71	c #Conflicts:      24000 | #Constraints:      48746
303.74/304.71	c #Conflicts:      25000 | #Constraints:      49746
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      26000 | #Constraints:      47357
303.74/304.71	c #Conflicts:      27000 | #Constraints:      48357
303.74/304.71	c #Conflicts:      28000 | #Constraints:      49357
303.74/304.71	c #Conflicts:      29000 | #Constraints:      50357
303.74/304.71	c INPROCESSING
303.74/304.71	c #Conflicts:      30000 | #Constraints:      47751
303.74/304.71	c #Conflicts:      31000 | #Constraints:      48751
303.74/304.71	c #Conflicts:      32000 | #Constraints:      49751
303.74/304.71	c #Conflicts:      33000 | #Constraints:      50751
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      34000 | #Constraints:      47962
303.74/304.71	c #Conflicts:      35000 | #Constraints:      48962
303.74/304.71	c #Conflicts:      36000 | #Constraints:      49962
303.74/304.71	c #Conflicts:      37000 | #Constraints:      50962
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      38000 | #Constraints:      47974
303.74/304.71	c #Conflicts:      39000 | #Constraints:      48974
303.74/304.71	c #Conflicts:      40000 | #Constraints:      49974
303.74/304.71	c #Conflicts:      41000 | #Constraints:      50974
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      42000 | #Constraints:      47783
303.74/304.71	c #Conflicts:      43000 | #Constraints:      48783
303.74/304.71	c #Conflicts:      44000 | #Constraints:      49783
303.74/304.71	c #Conflicts:      45000 | #Constraints:      50783
303.74/304.71	c #Conflicts:      46000 | #Constraints:      51783
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      47000 | #Constraints:      48386
303.74/304.71	c #Conflicts:      48000 | #Constraints:      49386
303.74/304.71	c #Conflicts:      49000 | #Constraints:      50386
303.74/304.71	c #Conflicts:      50000 | #Constraints:      51386
303.74/304.71	c #Conflicts:      51000 | #Constraints:      52386
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      52000 | #Constraints:      48796
303.74/304.71	c #Conflicts:      53000 | #Constraints:      49796
303.74/304.71	c #Conflicts:      54000 | #Constraints:      50796
303.74/304.71	c #Conflicts:      55000 | #Constraints:      51796
303.74/304.71	c #Conflicts:      56000 | #Constraints:      52796
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      57000 | #Constraints:      49007
303.74/304.71	c #Conflicts:      58000 | #Constraints:      50007
303.74/304.71	c #Conflicts:      59000 | #Constraints:      51007
303.74/304.71	c #Conflicts:      60000 | #Constraints:      52007
303.74/304.71	c #Conflicts:      61000 | #Constraints:      53007
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      62000 | #Constraints:      48990
303.74/304.71	c #Conflicts:      63000 | #Constraints:      49990
303.74/304.71	c #Conflicts:      64000 | #Constraints:      50990
303.74/304.71	c #Conflicts:      65000 | #Constraints:      51990
303.74/304.71	c #Conflicts:      66000 | #Constraints:      52990
303.74/304.71	c INPROCESSING
303.74/304.71	c GARBAGE COLLECT
303.74/304.71	c #Conflicts:      67000 | #Constraints:      48772
303.74/304.71	c #Conflicts:      68000 | #Constraints:      49772
303.74/304.71	c #Conflicts:      69000 | #Constraints:      50772
303.74/304.71	c #Conflicts:      70000 | #Constraints:      51772
309.91/310.97	c #Conflicts:      71000 | #Constraints:      52772
309.91/310.97	c #Conflicts:      72000 | #Constraints:      53772
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:      73000 | #Constraints:      49390
309.91/310.97	c #Conflicts:      74000 | #Constraints:      50390
309.91/310.97	c #Conflicts:      75000 | #Constraints:      51390
309.91/310.97	c #Conflicts:      76000 | #Constraints:      52390
309.91/310.97	c #Conflicts:      77000 | #Constraints:      53390
309.91/310.97	c #Conflicts:      78000 | #Constraints:      54390
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:      79000 | #Constraints:      49801
309.91/310.97	c #Conflicts:      80000 | #Constraints:      50801
309.91/310.97	c #Conflicts:      81000 | #Constraints:      51801
309.91/310.97	c #Conflicts:      82000 | #Constraints:      52801
309.91/310.97	c #Conflicts:      83000 | #Constraints:      53801
309.91/310.97	c #Conflicts:      84000 | #Constraints:      54801
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:      85000 | #Constraints:      50019
309.91/310.97	c #Conflicts:      86000 | #Constraints:      51019
309.91/310.97	c #Conflicts:      87000 | #Constraints:      52019
309.91/310.97	c #Conflicts:      88000 | #Constraints:      53019
309.91/310.97	c #Conflicts:      89000 | #Constraints:      54019
309.91/310.97	c #Conflicts:      90000 | #Constraints:      55019
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:      91000 | #Constraints:      50016
309.91/310.97	c #Conflicts:      92000 | #Constraints:      51016
309.91/310.97	c #Conflicts:      93000 | #Constraints:      52016
309.91/310.97	c #Conflicts:      94000 | #Constraints:      53016
309.91/310.97	c #Conflicts:      95000 | #Constraints:      54016
309.91/310.97	c #Conflicts:      96000 | #Constraints:      55016
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:      97000 | #Constraints:      49836
309.91/310.97	c #Conflicts:      98000 | #Constraints:      50836
309.91/310.97	c #Conflicts:      99000 | #Constraints:      51836
309.91/310.97	c #Conflicts:     100000 | #Constraints:      52836
309.91/310.97	c #Conflicts:     101000 | #Constraints:      53836
309.91/310.97	c #Conflicts:     102000 | #Constraints:      54836
309.91/310.97	c #Conflicts:     103000 | #Constraints:      55836
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     104000 | #Constraints:      50431
309.91/310.97	c #Conflicts:     105000 | #Constraints:      51431
309.91/310.97	c #Conflicts:     106000 | #Constraints:      52431
309.91/310.97	c #Conflicts:     107000 | #Constraints:      53431
309.91/310.97	c #Conflicts:     108000 | #Constraints:      54431
309.91/310.97	c #Conflicts:     109000 | #Constraints:      55431
309.91/310.97	c #Conflicts:     110000 | #Constraints:      56431
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     111000 | #Constraints:      50844
309.91/310.97	c #Conflicts:     112000 | #Constraints:      51844
309.91/310.97	c #Conflicts:     113000 | #Constraints:      52844
309.91/310.97	c #Conflicts:     114000 | #Constraints:      53844
309.91/310.97	c #Conflicts:     115000 | #Constraints:      54844
309.91/310.97	c #Conflicts:     116000 | #Constraints:      55844
309.91/310.97	c #Conflicts:     117000 | #Constraints:      56844
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     118000 | #Constraints:      51039
309.91/310.97	c #Conflicts:     119000 | #Constraints:      52039
309.91/310.97	c #Conflicts:     120000 | #Constraints:      53039
309.91/310.97	c #Conflicts:     121000 | #Constraints:      54039
309.91/310.97	c #Conflicts:     122000 | #Constraints:      55039
309.91/310.97	c #Conflicts:     123000 | #Constraints:      56039
309.91/310.97	c #Conflicts:     124000 | #Constraints:      57039
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     125000 | #Constraints:      51039
309.91/310.97	c #Conflicts:     126000 | #Constraints:      52039
309.91/310.97	c #Conflicts:     127000 | #Constraints:      53039
309.91/310.97	c #Conflicts:     128000 | #Constraints:      54039
309.91/310.97	c #Conflicts:     129000 | #Constraints:      55039
309.91/310.97	c #Conflicts:     130000 | #Constraints:      56039
309.91/310.97	c #Conflicts:     131000 | #Constraints:      57039
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     132000 | #Constraints:      50845
309.91/310.97	c #Conflicts:     133000 | #Constraints:      51845
309.91/310.97	c #Conflicts:     134000 | #Constraints:      52845
309.91/310.97	c #Conflicts:     135000 | #Constraints:      53845
309.91/310.97	c #Conflicts:     136000 | #Constraints:      54845
309.91/310.97	c #Conflicts:     137000 | #Constraints:      55845
309.91/310.97	c #Conflicts:     138000 | #Constraints:      56845
309.91/310.97	c #Conflicts:     139000 | #Constraints:      57845
309.91/310.97	c INPROCESSING
309.91/310.97	c GARBAGE COLLECT
309.91/310.97	c #Conflicts:     140000 | #Constraints:      51451
309.91/310.97	c #Conflicts:     141000 | #Constraints:      52451
309.91/310.97	c #Conflicts:     142000 | #Constraints:      53451
318.79/319.82	c #Conflicts:     143000 | #Constraints:      54451
318.79/319.82	c #Conflicts:     144000 | #Constraints:      55451
318.79/319.82	c #Conflicts:     145000 | #Constraints:      56451
318.79/319.82	c #Conflicts:     146000 | #Constraints:      57451
318.79/319.82	c #Conflicts:     147000 | #Constraints:      58451
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     148000 | #Constraints:      51869
318.79/319.82	c #Conflicts:     149000 | #Constraints:      52869
318.79/319.82	c #Conflicts:     150000 | #Constraints:      53869
318.79/319.82	c #Conflicts:     151000 | #Constraints:      54869
318.79/319.82	c #Conflicts:     152000 | #Constraints:      55869
318.79/319.82	c #Conflicts:     153000 | #Constraints:      56869
318.79/319.82	c #Conflicts:     154000 | #Constraints:      57869
318.79/319.82	c #Conflicts:     155000 | #Constraints:      58869
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     156000 | #Constraints:      52069
318.79/319.82	c #Conflicts:     157000 | #Constraints:      53069
318.79/319.82	c #Conflicts:     158000 | #Constraints:      54069
318.79/319.82	c #Conflicts:     159000 | #Constraints:      55069
318.79/319.82	c #Conflicts:     160000 | #Constraints:      56069
318.79/319.82	c #Conflicts:     161000 | #Constraints:      57069
318.79/319.82	c #Conflicts:     162000 | #Constraints:      58069
318.79/319.82	c #Conflicts:     163000 | #Constraints:      59069
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     164000 | #Constraints:      52073
318.79/319.82	c #Conflicts:     165000 | #Constraints:      53073
318.79/319.82	c #Conflicts:     166000 | #Constraints:      54073
318.79/319.82	c #Conflicts:     167000 | #Constraints:      55073
318.79/319.82	c #Conflicts:     168000 | #Constraints:      56073
318.79/319.82	c #Conflicts:     169000 | #Constraints:      57073
318.79/319.82	c #Conflicts:     170000 | #Constraints:      58073
318.79/319.82	c #Conflicts:     171000 | #Constraints:      59073
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     172000 | #Constraints:      51872
318.79/319.82	c #Conflicts:     173000 | #Constraints:      52872
318.79/319.82	c #Conflicts:     174000 | #Constraints:      53872
318.79/319.82	c #Conflicts:     175000 | #Constraints:      54872
318.79/319.82	c #Conflicts:     176000 | #Constraints:      55872
318.79/319.82	c #Conflicts:     177000 | #Constraints:      56872
318.79/319.82	c #Conflicts:     178000 | #Constraints:      57872
318.79/319.82	c #Conflicts:     179000 | #Constraints:      58872
318.79/319.82	c #Conflicts:     180000 | #Constraints:      59872
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     181000 | #Constraints:      52478
318.79/319.82	c #Conflicts:     182000 | #Constraints:      53478
318.79/319.82	c #Conflicts:     183000 | #Constraints:      54478
318.79/319.82	c #Conflicts:     184000 | #Constraints:      55478
318.79/319.82	c #Conflicts:     185000 | #Constraints:      56478
318.79/319.82	c #Conflicts:     186000 | #Constraints:      57478
318.79/319.82	c #Conflicts:     187000 | #Constraints:      58478
318.79/319.82	c #Conflicts:     188000 | #Constraints:      59478
318.79/319.82	c #Conflicts:     189000 | #Constraints:      60478
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     190000 | #Constraints:      52883
318.79/319.82	c #Conflicts:     191000 | #Constraints:      53883
318.79/319.82	c #Conflicts:     192000 | #Constraints:      54883
318.79/319.82	c #Conflicts:     193000 | #Constraints:      55883
318.79/319.82	c #Conflicts:     194000 | #Constraints:      56883
318.79/319.82	c #Conflicts:     195000 | #Constraints:      57883
318.79/319.82	c #Conflicts:     196000 | #Constraints:      58883
318.79/319.82	c #Conflicts:     197000 | #Constraints:      59883
318.79/319.82	c #Conflicts:     198000 | #Constraints:      60883
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     199000 | #Constraints:      53085
318.79/319.82	c #Conflicts:     200000 | #Constraints:      54085
318.79/319.82	c #Conflicts:     201000 | #Constraints:      55085
318.79/319.82	c #Conflicts:     202000 | #Constraints:      56085
318.79/319.82	c #Conflicts:     203000 | #Constraints:      57085
318.79/319.82	c #Conflicts:     204000 | #Constraints:      58085
318.79/319.82	c #Conflicts:     205000 | #Constraints:      59085
318.79/319.82	c #Conflicts:     206000 | #Constraints:      60085
318.79/319.82	c #Conflicts:     207000 | #Constraints:      61085
318.79/319.82	c INPROCESSING
318.79/319.82	c GARBAGE COLLECT
318.79/319.82	c #Conflicts:     208000 | #Constraints:      53111
318.79/319.82	c #Conflicts:     209000 | #Constraints:      54111
318.79/319.82	c #Conflicts:     210000 | #Constraints:      55111
318.79/319.82	c #Conflicts:     211000 | #Constraints:      56111
318.79/319.82	c #Conflicts:     212000 | #Constraints:      57111
318.79/319.82	c #Conflicts:     213000 | #Constraints:      58111
318.79/319.82	c #Conflicts:     214000 | #Constraints:      59111
318.79/319.82	c #Conflicts:     215000 | #Constraints:      60111
331.06/332.16	c #Conflicts:     216000 | #Constraints:      61111
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     217000 | #Constraints:      52917
331.06/332.16	c #Conflicts:     218000 | #Constraints:      53917
331.06/332.16	c #Conflicts:     219000 | #Constraints:      54917
331.06/332.16	c #Conflicts:     220000 | #Constraints:      55917
331.06/332.16	c #Conflicts:     221000 | #Constraints:      56917
331.06/332.16	c #Conflicts:     222000 | #Constraints:      57917
331.06/332.16	c #Conflicts:     223000 | #Constraints:      58917
331.06/332.16	c #Conflicts:     224000 | #Constraints:      59917
331.06/332.16	c #Conflicts:     225000 | #Constraints:      60917
331.06/332.16	c #Conflicts:     226000 | #Constraints:      61917
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     227000 | #Constraints:      53523
331.06/332.16	c #Conflicts:     228000 | #Constraints:      54523
331.06/332.16	c #Conflicts:     229000 | #Constraints:      55523
331.06/332.16	c #Conflicts:     230000 | #Constraints:      56523
331.06/332.16	c #Conflicts:     231000 | #Constraints:      57523
331.06/332.16	c #Conflicts:     232000 | #Constraints:      58523
331.06/332.16	c #Conflicts:     233000 | #Constraints:      59523
331.06/332.16	c #Conflicts:     234000 | #Constraints:      60523
331.06/332.16	c #Conflicts:     235000 | #Constraints:      61523
331.06/332.16	c #Conflicts:     236000 | #Constraints:      62523
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     237000 | #Constraints:      53925
331.06/332.16	c #Conflicts:     238000 | #Constraints:      54925
331.06/332.16	c #Conflicts:     239000 | #Constraints:      55925
331.06/332.16	c #Conflicts:     240000 | #Constraints:      56925
331.06/332.16	c #Conflicts:     241000 | #Constraints:      57925
331.06/332.16	c #Conflicts:     242000 | #Constraints:      58925
331.06/332.16	c #Conflicts:     243000 | #Constraints:      59925
331.06/332.16	c #Conflicts:     244000 | #Constraints:      60925
331.06/332.16	c #Conflicts:     245000 | #Constraints:      61925
331.06/332.16	c #Conflicts:     246000 | #Constraints:      62925
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     247000 | #Constraints:      54130
331.06/332.16	c #Conflicts:     248000 | #Constraints:      55130
331.06/332.16	c #Conflicts:     249000 | #Constraints:      56130
331.06/332.16	c #Conflicts:     250000 | #Constraints:      57130
331.06/332.16	c #Conflicts:     251000 | #Constraints:      58130
331.06/332.16	c #Conflicts:     252000 | #Constraints:      59130
331.06/332.16	c #Conflicts:     253000 | #Constraints:      60130
331.06/332.16	c #Conflicts:     254000 | #Constraints:      61130
331.06/332.16	c #Conflicts:     255000 | #Constraints:      62130
331.06/332.16	c #Conflicts:     256000 | #Constraints:      63130
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     257000 | #Constraints:      54125
331.06/332.16	c #Conflicts:     258000 | #Constraints:      55125
331.06/332.16	c #Conflicts:     259000 | #Constraints:      56125
331.06/332.16	c #Conflicts:     260000 | #Constraints:      57125
331.06/332.16	c #Conflicts:     261000 | #Constraints:      58125
331.06/332.16	c #Conflicts:     262000 | #Constraints:      59125
331.06/332.16	c #Conflicts:     263000 | #Constraints:      60125
331.06/332.16	c #Conflicts:     264000 | #Constraints:      61125
331.06/332.16	c #Conflicts:     265000 | #Constraints:      62125
331.06/332.16	c #Conflicts:     266000 | #Constraints:      63125
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     267000 | #Constraints:      53948
331.06/332.16	c #Conflicts:     268000 | #Constraints:      54948
331.06/332.16	c #Conflicts:     269000 | #Constraints:      55948
331.06/332.16	c #Conflicts:     270000 | #Constraints:      56948
331.06/332.16	c #Conflicts:     271000 | #Constraints:      57948
331.06/332.16	c #Conflicts:     272000 | #Constraints:      58948
331.06/332.16	c #Conflicts:     273000 | #Constraints:      59948
331.06/332.16	c #Conflicts:     274000 | #Constraints:      60948
331.06/332.16	c #Conflicts:     275000 | #Constraints:      61948
331.06/332.16	c #Conflicts:     276000 | #Constraints:      62948
331.06/332.16	c #Conflicts:     277000 | #Constraints:      63948
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     278000 | #Constraints:      54543
331.06/332.16	c #Conflicts:     279000 | #Constraints:      55543
331.06/332.16	c #Conflicts:     280000 | #Constraints:      56543
331.06/332.16	c #Conflicts:     281000 | #Constraints:      57543
331.06/332.16	c #Conflicts:     282000 | #Constraints:      58543
331.06/332.16	c #Conflicts:     283000 | #Constraints:      59543
331.06/332.16	c #Conflicts:     284000 | #Constraints:      60543
331.06/332.16	c #Conflicts:     285000 | #Constraints:      61543
331.06/332.16	c #Conflicts:     286000 | #Constraints:      62543
331.06/332.16	c #Conflicts:     287000 | #Constraints:      63543
331.06/332.16	c #Conflicts:     288000 | #Constraints:      64543
331.06/332.16	c INPROCESSING
331.06/332.16	c GARBAGE COLLECT
331.06/332.16	c #Conflicts:     289000 | #Constraints:      54954
337.43/338.59	c #Conflicts:     290000 | #Constraints:      55954
337.43/338.59	c #Conflicts:     291000 | #Constraints:      56954
337.43/338.59	c #Conflicts:     292000 | #Constraints:      57954
337.43/338.59	c #Conflicts:     293000 | #Constraints:      58954
337.43/338.59	c #Conflicts:     294000 | #Constraints:      59954
337.43/338.59	c #Conflicts:     295000 | #Constraints:      60954
337.43/338.59	c #Conflicts:     296000 | #Constraints:      61954
337.43/338.59	c #Conflicts:     297000 | #Constraints:      62954
337.43/338.59	c #Conflicts:     298000 | #Constraints:      63954
337.43/338.59	c #Conflicts:     299000 | #Constraints:      64954
337.43/338.59	c INPROCESSING
337.43/338.59	c GARBAGE COLLECT
337.43/338.59	c #Conflicts:     300000 | #Constraints:      55158
337.43/338.59	c #Conflicts:     301000 | #Constraints:      56158
337.43/338.59	c #Conflicts:     302000 | #Constraints:      57158
337.43/338.59	c #Conflicts:     303000 | #Constraints:      58158
337.43/338.59	c #Conflicts:     304000 | #Constraints:      59158
337.43/338.59	c #Conflicts:     305000 | #Constraints:      60158
337.43/338.59	c #Conflicts:     306000 | #Constraints:      61158
337.43/338.59	c #Conflicts:     307000 | #Constraints:      62158
337.43/338.59	c #Conflicts:     308000 | #Constraints:      63158
337.43/338.59	c #Conflicts:     309000 | #Constraints:      64158
337.43/338.59	c #Conflicts:     310000 | #Constraints:      65158
337.43/338.59	c INPROCESSING
337.43/338.59	c GARBAGE COLLECT
337.43/338.59	c #Conflicts:     311000 | #Constraints:      55173
337.43/338.59	c #Conflicts:     312000 | #Constraints:      56173
337.43/338.59	c #Conflicts:     313000 | #Constraints:      57173
337.43/338.59	c #Conflicts:     314000 | #Constraints:      58173
337.43/338.59	c #Conflicts:     315000 | #Constraints:      59173
337.43/338.59	c #Conflicts:     316000 | #Constraints:      60173
337.43/338.59	c #Conflicts:     317000 | #Constraints:      61173
337.43/338.59	c bounds - >= 4 @ 336.01
337.43/338.59	c finalizing WCE round: reformulating cores
372.32/373.57	c #Conflicts:     318000 | #Constraints:      62177
372.32/373.57	c bounds 338 >= 4 @ 336.144
372.32/373.57	c #Conflicts:     319000 | #Constraints:      63177
372.32/373.57	c #Conflicts:     320000 | #Constraints:      64177
372.32/373.57	c #Conflicts:     321000 | #Constraints:      65177
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     322000 | #Constraints:      54951
372.32/373.57	c #Conflicts:     323000 | #Constraints:      55951
372.32/373.57	c #Conflicts:     324000 | #Constraints:      56951
372.32/373.57	c #Conflicts:     325000 | #Constraints:      57951
372.32/373.57	c #Conflicts:     326000 | #Constraints:      58951
372.32/373.57	c #Conflicts:     327000 | #Constraints:      59951
372.32/373.57	c #Conflicts:     328000 | #Constraints:      60951
372.32/373.57	c #Conflicts:     329000 | #Constraints:      61951
372.32/373.57	c #Conflicts:     330000 | #Constraints:      62951
372.32/373.57	c #Conflicts:     331000 | #Constraints:      63951
372.32/373.57	c #Conflicts:     332000 | #Constraints:      64951
372.32/373.57	c #Conflicts:     333000 | #Constraints:      65951
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     334000 | #Constraints:      55552
372.32/373.57	c #Conflicts:     335000 | #Constraints:      56552
372.32/373.57	c #Conflicts:     336000 | #Constraints:      57552
372.32/373.57	c #Conflicts:     337000 | #Constraints:      58552
372.32/373.57	c #Conflicts:     338000 | #Constraints:      59552
372.32/373.57	c #Conflicts:     339000 | #Constraints:      60552
372.32/373.57	c #Conflicts:     340000 | #Constraints:      61552
372.32/373.57	c #Conflicts:     341000 | #Constraints:      62552
372.32/373.57	c #Conflicts:     342000 | #Constraints:      63552
372.32/373.57	c #Conflicts:     343000 | #Constraints:      64552
372.32/373.57	c #Conflicts:     344000 | #Constraints:      65552
372.32/373.57	c #Conflicts:     345000 | #Constraints:      66552
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     346000 | #Constraints:      55918
372.32/373.57	c #Conflicts:     347000 | #Constraints:      56918
372.32/373.57	c #Conflicts:     348000 | #Constraints:      57918
372.32/373.57	c #Conflicts:     349000 | #Constraints:      58918
372.32/373.57	c #Conflicts:     350000 | #Constraints:      59918
372.32/373.57	c #Conflicts:     351000 | #Constraints:      60918
372.32/373.57	c #Conflicts:     352000 | #Constraints:      61918
372.32/373.57	c #Conflicts:     353000 | #Constraints:      62918
372.32/373.57	c #Conflicts:     354000 | #Constraints:      63918
372.32/373.57	c #Conflicts:     355000 | #Constraints:      64918
372.32/373.57	c #Conflicts:     356000 | #Constraints:      65918
372.32/373.57	c #Conflicts:     357000 | #Constraints:      66918
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     358000 | #Constraints:      56122
372.32/373.57	c #Conflicts:     359000 | #Constraints:      57122
372.32/373.57	c #Conflicts:     360000 | #Constraints:      58122
372.32/373.57	c #Conflicts:     361000 | #Constraints:      59122
372.32/373.57	c #Conflicts:     362000 | #Constraints:      60122
372.32/373.57	c #Conflicts:     363000 | #Constraints:      61122
372.32/373.57	c #Conflicts:     364000 | #Constraints:      62122
372.32/373.57	c #Conflicts:     365000 | #Constraints:      63122
372.32/373.57	c #Conflicts:     366000 | #Constraints:      64122
372.32/373.57	c #Conflicts:     367000 | #Constraints:      65122
372.32/373.57	c #Conflicts:     368000 | #Constraints:      66122
372.32/373.57	c #Conflicts:     369000 | #Constraints:      67122
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     370000 | #Constraints:      56095
372.32/373.57	c #Conflicts:     371000 | #Constraints:      57095
372.32/373.57	c #Conflicts:     372000 | #Constraints:      58095
372.32/373.57	c #Conflicts:     373000 | #Constraints:      59095
372.32/373.57	c #Conflicts:     374000 | #Constraints:      60095
372.32/373.57	c #Conflicts:     375000 | #Constraints:      61095
372.32/373.57	c #Conflicts:     376000 | #Constraints:      62095
372.32/373.57	c #Conflicts:     377000 | #Constraints:      63095
372.32/373.57	c #Conflicts:     378000 | #Constraints:      64095
372.32/373.57	c #Conflicts:     379000 | #Constraints:      65095
372.32/373.57	c #Conflicts:     380000 | #Constraints:      66095
372.32/373.57	c #Conflicts:     381000 | #Constraints:      67095
372.32/373.57	c INPROCESSING
372.32/373.57	c GARBAGE COLLECT
372.32/373.57	c #Conflicts:     382000 | #Constraints:      55909
372.32/373.57	c #Conflicts:     383000 | #Constraints:      56909
372.32/373.57	c #Conflicts:     384000 | #Constraints:      57909
372.32/373.57	c #Conflicts:     385000 | #Constraints:      58909
372.32/373.57	c #Conflicts:     386000 | #Constraints:      59909
372.32/373.57	c #Conflicts:     387000 | #Constraints:      60909
372.32/373.57	c #Conflicts:     388000 | #Constraints:      61909
372.32/373.57	c #Conflicts:     389000 | #Constraints:      62909
372.32/373.57	c #Conflicts:     390000 | #Constraints:      63909
372.32/373.57	c #Conflicts:     391000 | #Constraints:      64909
372.32/373.57	c #Conflicts:     392000 | #Constraints:      65909
1249.01/1253.15	c #Conflicts:     393000 | #Constraints:      66909
1249.01/1253.15	c #Conflicts:     394000 | #Constraints:      67909
1249.01/1253.15	c INPROCESSING
1249.01/1253.15	c GARBAGE COLLECT
1249.01/1253.15	c #Conflicts:     395000 | #Constraints:      56539
1249.01/1253.15	c #Conflicts:     396000 | #Constraints:      57539
1249.01/1253.15	c #Conflicts:     397000 | #Constraints:      58539
1249.01/1253.15	c #Conflicts:     398000 | #Constraints:      59539
1249.01/1253.15	c #Conflicts:     399000 | #Constraints:      60539
1249.01/1253.15	c #Conflicts:     400000 | #Constraints:      61539
1249.01/1253.15	c #Conflicts:     401000 | #Constraints:      62539
1249.01/1253.15	c #Conflicts:     402000 | #Constraints:      63539
1249.01/1253.15	c #Conflicts:     403000 | #Constraints:      64539
1249.01/1253.15	c #Conflicts:     404000 | #Constraints:      65539
1249.01/1253.15	c #Conflicts:     405000 | #Constraints:      66539
1249.01/1253.15	c #Conflicts:     406000 | #Constraints:      67539
1249.01/1253.15	c #Conflicts:     407000 | #Constraints:      68539
1249.01/1253.15	c INPROCESSING
1249.01/1253.15	c GARBAGE COLLECT
1249.01/1253.15	c #Conflicts:     408000 | #Constraints:      56949
1249.01/1253.15	c #Conflicts:     409000 | #Constraints:      57949
1249.01/1253.15	c #Conflicts:     410000 | #Constraints:      58949
1249.01/1253.15	c #Conflicts:     411000 | #Constraints:      59949
1249.01/1253.15	c #Conflicts:     412000 | #Constraints:      60949
1249.01/1253.15	c #Conflicts:     413000 | #Constraints:      61949
1249.01/1253.15	c #Conflicts:     414000 | #Constraints:      62949
1249.01/1253.15	c #Conflicts:     415000 | #Constraints:      63949
1249.01/1253.15	c #Conflicts:     416000 | #Constraints:      64949
1249.01/1253.15	c #Conflicts:     417000 | #Constraints:      65949
1249.01/1253.15	c #Conflicts:     418000 | #Constraints:      66949
1249.01/1253.15	c #Conflicts:     419000 | #Constraints:      67949
1249.01/1253.15	c #Conflicts:     420000 | #Constraints:      68949
1249.01/1253.15	c #Conflicts:     421000 | #Constraints:      69949
1249.01/1253.15	c #Conflicts:     422000 | #Constraints:      70949
1249.01/1253.15	c #Conflicts:     423000 | #Constraints:      71949
1249.01/1253.15	c #Conflicts:     424000 | #Constraints:      72949
1249.01/1253.15	c #Conflicts:     425000 | #Constraints:      73949
1249.01/1253.15	c #Conflicts:     426000 | #Constraints:      74949
1249.01/1253.15	c #Conflicts:     427000 | #Constraints:      75949
1249.01/1253.15	c #Conflicts:     428000 | #Constraints:      76949
1249.01/1253.15	c #Conflicts:     429000 | #Constraints:      77949
1249.01/1253.15	c #Conflicts:     430000 | #Constraints:      78949
1249.01/1253.15	c #Conflicts:     431000 | #Constraints:      79949
1249.01/1253.15	c #Conflicts:     432000 | #Constraints:      80949
1249.01/1253.15	c #Conflicts:     433000 | #Constraints:      81949
1249.01/1253.15	c #Conflicts:     434000 | #Constraints:      82949
1249.01/1253.15	c #Conflicts:     435000 | #Constraints:      83949
1249.01/1253.15	c #Conflicts:     436000 | #Constraints:      84949
1249.01/1253.15	c #Conflicts:     437000 | #Constraints:      85949
1249.01/1253.15	c #Conflicts:     438000 | #Constraints:      86949
1249.01/1253.15	c #Conflicts:     439000 | #Constraints:      87949
1249.01/1253.15	c #Conflicts:     440000 | #Constraints:      88949
1249.01/1253.15	c #Conflicts:     441000 | #Constraints:      89949
1249.01/1253.15	c #Conflicts:     442000 | #Constraints:      90949
1249.01/1253.15	c #Conflicts:     443000 | #Constraints:      91949
1249.01/1253.15	c #Conflicts:     444000 | #Constraints:      92949
1249.01/1253.15	c #Conflicts:     445000 | #Constraints:      93949
1249.01/1253.15	c #Conflicts:     446000 | #Constraints:      94949
1249.01/1253.15	c #Conflicts:     447000 | #Constraints:      95949
1249.01/1253.15	c #Conflicts:     448000 | #Constraints:      96949
1249.01/1253.15	c #Conflicts:     449000 | #Constraints:      97949
1249.01/1253.15	c #Conflicts:     450000 | #Constraints:      98949
1249.01/1253.15	c #Conflicts:     451000 | #Constraints:      99949
1249.01/1253.15	c #Conflicts:     452000 | #Constraints:     100949
1249.01/1253.15	c #Conflicts:     453000 | #Constraints:     101949
1249.01/1253.15	c #Conflicts:     454000 | #Constraints:     102949
1249.01/1253.15	c #Conflicts:     455000 | #Constraints:     103949
1249.01/1253.15	c #Conflicts:     456000 | #Constraints:     104949
1249.01/1253.15	c #Conflicts:     457000 | #Constraints:     105949
1249.01/1253.15	c #Conflicts:     458000 | #Constraints:     106949
1249.01/1253.15	c #Conflicts:     459000 | #Constraints:     107949
1249.01/1253.15	c #Conflicts:     460000 | #Constraints:     108949
1249.01/1253.15	c #Conflicts:     461000 | #Constraints:     109949
1249.01/1253.15	c #Conflicts:     462000 | #Constraints:     110949
1249.01/1253.15	c #Conflicts:     463000 | #Constraints:     111949
1249.01/1253.15	c #Conflicts:     464000 | #Constraints:     112949
1249.01/1253.15	c #Conflicts:     465000 | #Constraints:     113949
1249.01/1253.15	c #Conflicts:     466000 | #Constraints:     114949
1249.01/1253.15	c #Conflicts:     467000 | #Constraints:     115949
1249.01/1253.15	c #Conflicts:     468000 | #Constraints:     116949
1249.01/1253.15	c #Conflicts:     469000 | #Constraints:     117949
3282.69/3293.68	c #Conflicts:     470000 | #Constraints:     118949
3282.69/3293.68	c INPROCESSING
3282.69/3293.68	c GARBAGE COLLECT
3282.69/3293.68	c #Conflicts:     471000 | #Constraints:      81976
3282.69/3293.68	c #Conflicts:     472000 | #Constraints:      82976
3282.69/3293.68	c #Conflicts:     473000 | #Constraints:      83976
3282.69/3293.68	c #Conflicts:     474000 | #Constraints:      84976
3282.69/3293.68	c #Conflicts:     475000 | #Constraints:      85976
3282.69/3293.68	c #Conflicts:     476000 | #Constraints:      86976
3282.69/3293.68	c #Conflicts:     477000 | #Constraints:      87976
3282.69/3293.68	c #Conflicts:     478000 | #Constraints:      88976
3282.69/3293.68	c #Conflicts:     479000 | #Constraints:      89976
3282.69/3293.68	c #Conflicts:     480000 | #Constraints:      90976
3282.69/3293.68	c #Conflicts:     481000 | #Constraints:      91976
3282.69/3293.68	c #Conflicts:     482000 | #Constraints:      92976
3282.69/3293.68	c #Conflicts:     483000 | #Constraints:      93976
3282.69/3293.68	c #Conflicts:     484000 | #Constraints:      94976
3282.69/3293.68	c INPROCESSING
3282.69/3293.68	c GARBAGE COLLECT
3282.69/3293.68	c #Conflicts:     485000 | #Constraints:      69974
3282.69/3293.68	c #Conflicts:     486000 | #Constraints:      70974
3282.69/3293.68	c #Conflicts:     487000 | #Constraints:      71974
3282.69/3293.68	c #Conflicts:     488000 | #Constraints:      72974
3282.69/3293.68	c #Conflicts:     489000 | #Constraints:      73974
3282.69/3293.68	c #Conflicts:     490000 | #Constraints:      74974
3282.69/3293.68	c #Conflicts:     491000 | #Constraints:      75974
3282.69/3293.68	c #Conflicts:     492000 | #Constraints:      76974
3282.69/3293.68	c #Conflicts:     493000 | #Constraints:      77974
3282.69/3293.68	c #Conflicts:     494000 | #Constraints:      78974
3282.69/3293.68	c #Conflicts:     495000 | #Constraints:      79974
3282.69/3293.68	c #Conflicts:     496000 | #Constraints:      80974
3282.69/3293.68	c #Conflicts:     497000 | #Constraints:      81974
3282.69/3293.68	c #Conflicts:     498000 | #Constraints:      82974
3282.69/3293.68	c INPROCESSING
3282.69/3293.68	c GARBAGE COLLECT
3282.69/3293.68	c #Conflicts:     499000 | #Constraints:      63782
3282.69/3293.68	c #Conflicts:     500000 | #Constraints:      64782
3282.69/3293.68	c #Conflicts:     501000 | #Constraints:      65782
3282.69/3293.68	c #Conflicts:     502000 | #Constraints:      66782
3282.69/3293.68	c #Conflicts:     503000 | #Constraints:      67782
3282.69/3293.68	c #Conflicts:     504000 | #Constraints:      68782
3282.69/3293.68	c #Conflicts:     505000 | #Constraints:      69782
3282.69/3293.68	c #Conflicts:     506000 | #Constraints:      70782
3282.69/3293.68	c #Conflicts:     507000 | #Constraints:      71782
3282.69/3293.68	c #Conflicts:     508000 | #Constraints:      72782
3282.69/3293.68	c #Conflicts:     509000 | #Constraints:      73782
3282.69/3293.68	c #Conflicts:     510000 | #Constraints:      74782
3282.69/3293.68	c #Conflicts:     511000 | #Constraints:      75782
3282.69/3293.68	c #Conflicts:     512000 | #Constraints:      76782
3282.69/3293.68	c #Conflicts:     513000 | #Constraints:      77782
3282.69/3293.68	c #Conflicts:     514000 | #Constraints:      78782
3282.69/3293.68	c #Conflicts:     515000 | #Constraints:      79782
3282.69/3293.68	c #Conflicts:     516000 | #Constraints:      80782
3282.69/3293.68	c #Conflicts:     517000 | #Constraints:      81782
3282.69/3293.68	c #Conflicts:     518000 | #Constraints:      82782
3282.69/3293.68	c #Conflicts:     519000 | #Constraints:      83782
3282.69/3293.68	c #Conflicts:     520000 | #Constraints:      84782
3282.69/3293.68	c #Conflicts:     521000 | #Constraints:      85782
3282.69/3293.68	c #Conflicts:     522000 | #Constraints:      86782
3282.69/3293.68	c #Conflicts:     523000 | #Constraints:      87782
3282.69/3293.68	c #Conflicts:     524000 | #Constraints:      88782
3282.69/3293.68	c #Conflicts:     525000 | #Constraints:      89782
3282.69/3293.68	c #Conflicts:     526000 | #Constraints:      90782
3282.69/3293.68	c #Conflicts:     527000 | #Constraints:      91782
3282.69/3293.68	c #Conflicts:     528000 | #Constraints:      92782
3282.69/3293.68	c #Conflicts:     529000 | #Constraints:      93782
3282.69/3293.68	c #Conflicts:     530000 | #Constraints:      94782
3282.69/3293.68	c #Conflicts:     531000 | #Constraints:      95782
3282.69/3293.68	c #Conflicts:     532000 | #Constraints:      96782
3282.69/3293.68	c #Conflicts:     533000 | #Constraints:      97782
3282.69/3293.68	c #Conflicts:     534000 | #Constraints:      98782
3282.69/3293.68	c #Conflicts:     535000 | #Constraints:      99782
3282.69/3293.68	c #Conflicts:     536000 | #Constraints:     100782
3282.69/3293.68	c #Conflicts:     537000 | #Constraints:     101782
3282.69/3293.68	c #Conflicts:     538000 | #Constraints:     102782
3282.69/3293.68	c #Conflicts:     539000 | #Constraints:     103782
3282.69/3293.68	c #Conflicts:     540000 | #Constraints:     104782
3282.69/3293.68	c #Conflicts:     541000 | #Constraints:     105782
3282.69/3293.68	c #Conflicts:     542000 | #Constraints:     106782
3282.69/3293.68	c #Conflicts:     543000 | #Constraints:     107782
3282.69/3293.68	c #Conflicts:     544000 | #Constraints:     108782
3282.69/3293.68	c #Conflicts:     545000 | #Constraints:     109782
3282.69/3293.68	c #Conflicts:     546000 | #Constraints:     110782
3600.09/3612.00	c #Conflicts:     547000 | #Constraints:     111782
3600.09/3612.00	c #Conflicts:     548000 | #Constraints:     112782
3600.09/3612.00	c #Conflicts:     549000 | #Constraints:     113782
3600.09/3612.00	c #Conflicts:     550000 | #Constraints:     114782
3600.09/3612.00	c #Conflicts:     551000 | #Constraints:     115782
3600.09/3612.00	c #Conflicts:     552000 | #Constraints:     116782
3600.09/3612.00	c #Conflicts:     553000 | #Constraints:     117782
3600.09/3612.00	c #Conflicts:     554000 | #Constraints:     118782
3600.09/3612.00	c Program interrupted by user.
3600.09/3612.00	c cpu time 3593.22 s
3600.09/3612.00	c deterministic time 212402043189 2.12e+11
3600.09/3612.00	c optimization time 1790.46 s
3600.09/3612.00	c total solve time 1503.43 s
3600.09/3612.00	c core-guided solve time 1503.43 s
3600.09/3612.00	c propagation time 2923.32 s
3600.09/3612.00	c conflict analysis time 356.988 s
3600.09/3612.00	c propagations 125957249
3600.09/3612.00	c resolve steps 10424495
3600.09/3612.00	c decisions 4382808
3600.09/3612.00	c conflicts 554828
3600.09/3612.00	c restarts 1149
3600.09/3612.00	c inprocessing phases 58
3600.09/3612.00	c input clauses 20670
3600.09/3612.00	c input cardinalities 801
3600.09/3612.00	c input general constraints 21603
3600.09/3612.00	c input average constraint length 7.30
3600.09/3612.00	c input average constraint degree 5.30
3600.09/3612.00	c learned clauses 464119
3600.09/3612.00	c learned cardinalities 10372
3600.09/3612.00	c learned general constraints 80337
3600.09/3612.00	c learned average constraint length 177.50
3600.09/3612.00	c learned average constraint degree 794068.81
3600.09/3612.00	c watched constraints 74931
3600.09/3612.00	c counting constraints 27009
3600.09/3612.00	c gcd simplifications 935
3600.09/3612.00	c detected cardinalities 9
3600.09/3612.00	c weakened non-implied lits 13570781
3600.09/3612.00	c weakened non-implying lits 3448
3600.09/3612.00	c original variables 2700
3600.09/3612.00	c clausal propagations 57931625
3600.09/3612.00	c cardinality propagations 55274946
3600.09/3612.00	c watched propagations 5677976
3600.09/3612.00	c counting propagations 6515330
3600.09/3612.00	c watch lookups 62418522348
3600.09/3612.00	c watch backjump lookups 59997499959
3600.09/3612.00	c watch checks 75023083933
3600.09/3612.00	c propagation checks 14342344561
3600.09/3612.00	c constraint additions 359358434
3600.09/3612.00	c trail pops 130893896
3600.09/3612.00	c formula constraints 43070
3600.09/3612.00	c learned constraints 554828
3600.09/3612.00	c bound constraints 2
3600.09/3612.00	c core-guided constraints 2
3600.09/3612.00	c encountered formula constraints 5109609
3600.09/3612.00	c encountered learned constraints 5860624
3600.09/3612.00	c encountered bound constraints 0
3600.09/3612.00	c encountered core-guided constraints 9090
3600.09/3612.00	c LP total time 0 s
3600.09/3612.00	c LP solve time 0 s
3600.09/3612.00	c LP constraints added 0
3600.09/3612.00	c LP constraints removed 0
3600.09/3612.00	c LP pivots internal 0
3600.09/3612.00	c LP pivots root 0
3600.09/3612.00	c LP calls 0
3600.09/3612.00	c LP optimalities 0
3600.09/3612.00	c LP no pivot count 0
3600.09/3612.00	c LP infeasibilities 0
3600.09/3612.00	c LP valid Farkas constraints 0
3600.09/3612.00	c LP learned Farkas constraints 0
3600.09/3612.00	c LP basis resets 0
3600.09/3612.00	c LP cycling count 0
3600.09/3612.00	c LP singular count 0
3600.09/3612.00	c LP no primal count 0
3600.09/3612.00	c LP no farkas count 0
3600.09/3612.00	c LP other issue count 0
3600.09/3612.00	c LP Gomory cuts 0
3600.09/3612.00	c LP learned cuts 0
3600.09/3612.00	c LP deleted cuts 0
3600.09/3612.00	c LP encountered Gomory constraints 0
3600.09/3612.00	c LP encountered Farkas constraints 0
3600.09/3612.00	c LP encountered learned Farkas constraints 0
3600.09/3612.00	c CG auxiliary variables introduced 1
3600.09/3612.00	c CG solutions found 1
3600.09/3612.00	c CG cores constructed 1
3600.09/3612.00	c CG core cardinality constraints returned 0
3600.09/3612.00	c CG unit cores 0
3600.09/3612.00	c CG single cores 1
3600.09/3612.00	c CG blocks removed during cardinality reduction 0
3600.09/3612.00	c CG first core best 0
3600.09/3612.00	c CG decision core best 0
3600.09/3612.00	c CG core reduction tie 0
3600.09/3612.00	c CG core degree average 1.00
3600.09/3612.00	c CG core slack average 182.00
3600.09/3612.00	c CG exhausted 0
3600.09/3612.00	c CG exhaust time 0.098633 s
3600.09/3612.00	c CG trimmed 0
3600.09/3612.00	c CG trim time 0.000228 s
3600.09/3612.00	c CG minimized 0
3600.09/3612.00	c CG minimize time 0 s
3600.09/3612.00	c CG am1 prop time 0.000916 s
3600.09/3612.00	c CG # am1s reformulated 0
3600.09/3612.00	c CG lower bound derived from am1s 0
3600.09/3612.00	c CG # clausal cores 1
3600.09/3612.00	c CG # cardinality cores 0
3600.09/3612.00	c CG # pb cores 0
3600.09/3612.00	c CG # pb reforms 0
3600.09/3612.00	c CG # cores discarded because of pb reform 0
3600.09/3612.00	d LOWERBOUND 4
3600.09/3612.00	d NCORES 1
3600.09/3612.00	d NPBCORES 0
3600.09/3612.00	d NPBREFORM 0
3600.09/3612.00	d NTRIMMED 0
3600.09/3612.00	d NEXHAUSTED 0
3600.09/3612.00	d NAM1S 0
3600.09/3612.00	d AM1LB 0
3600.09/3612.00	c [Papilo Statistics]
3600.09/3612.00	c prepro time 0.0861808s
3600.09/3612.00	c # tsx applied 0
3600.09/3612.00	c # tsx conflicts 0
3600.09/3612.00	c # bound changes 0
3600.09/3612.00	c # side changes 0
3600.09/3612.00	c # coef changes 0
3600.09/3612.00	c # rounds 1
3600.09/3612.00	c # deted vars 0
3600.09/3612.00	c # deted constrs 0
3600.09/3612.00	c # consecutive rounds of only bound changes 0
3600.09/3612.00	c [STEP] postprocessing with Papilo
3600.09/3612.01	o 338
3600.09/3612.01	s SATISFIABLE
3600.09/3612.01	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 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 x2524 x2525 -x2526 -x2527 x2528 x2529 x2530 -x2531 x2532 -x2533 x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 x2543 -x2544 -x2545 x2546 x2547 x2548 -x2549 -x2550 x2551 -x2552 x2553 x2554 x2555 -x2556 x2557 x2558 x2559 -x2560 -x2561 -x2562 x2563 x2564 x2565 -x2566 -x2567 -x2568 x2569 x2570 x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 x2579 x2580 x2581 -x2582 -x2583 -x2584 x2585 x2586 -x2587 -x2588 -x2589 x2590 x2591 x2592 -x2593 x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 -x2601 x2602 x2603 -x2604 x2605 -x2606 -x2607 -x2608 x2609 x2610 -x2611 x2612 x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 x2620 x2621 x2622 -x2623 x2624 x2625 x2626 -x2627 -x2628 x2629 x2630 x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 x2638 -x2639 x2640 x2641 -x2642 -x2643 x2644 x2645 -x2646 x2647 x2648 x2649 -x2650 x2651 x2652 x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 x2664 x2665 -x2666 -x2667 x2668 -x2669 x2670 -x2671 x2672 x2673 -x2674 x2675 x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 x2689 x2690 x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 x2698 x2699 x2700

Verifier Data 

OK	338

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: 63968 MiB (61093 MiB free)
  memory of node 1: 64473 MiB (62009 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454904-1721473253/watcher-4454904-1721473253 -o /tmp/evaluation-result-4454904-1721473253/solver-4454904-1721473253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721472774-1055759 --watchdog 3760 mixed-bag HOME/instance-4454904-1721473253.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1056977, runsolver pid=1056974
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=126048548/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=84036 memory=14904 CPUtime=0.09 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 2744 0 0 0 9 0 0 0 20 0 1 0 199492020 86052864 3726 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 21009 3726 1705 3002 0 5297 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84036 KiB
Current children cumulated memory: 14904 KiB

[startup+0.205457 s]*
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=126016368/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=135160 memory=56240 CPUtime=0.2 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 7574 0 0 0 18 2 0 0 20 0 1 0 199492020 138403840 14060 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 33790 14060 1787 3002 0 17539 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 135160 KiB
Current children cumulated memory: 56240 KiB

[startup+0.305541 s]*
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=126002584/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=143132 memory=70144 CPUtime=0.3 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 9493 0 0 0 28 2 0 0 20 0 1 0 199492020 146567168 17536 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 35783 17536 3390 3002 0 19532 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143132 KiB
Current children cumulated memory: 70144 KiB

[startup+0.700219 s]
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=125809864/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=254020 memory=180492 CPUtime=0.68 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 39703 0 0 0 61 7 0 0 20 0 1 0 199492020 260116480 45123 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 63505 45123 3838 3002 0 47254 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 254020 KiB
Current children cumulated memory: 180492 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=125767052/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=273956 memory=200676 CPUtime=1.48 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 44759 0 0 0 140 8 0 0 20 0 1 0 199492020 280530944 50169 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 68489 50169 3870 3002 0 52238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 273956 KiB
Current children cumulated memory: 200676 KiB

[startup+3.10546 s]
/proc/loadavg: 4.08 3.87 3.84 5/258 1056978
/proc/meminfo: memFree=125470292/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=552828 memory=438608 CPUtime=3.09 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 79099 0 0 0 293 16 0 0 20 0 1 0 199492020 566095872 109652 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 138207 109652 4037 3002 0 121956 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 552828 KiB
Current children cumulated memory: 438608 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 3.87 3.84 5/258 1056979
/proc/meminfo: memFree=125461836/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=555116 memory=439520 CPUtime=6.27 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 79283 0 0 0 611 16 0 0 20 0 1 0 199492020 568438784 109880 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 138779 109880 4069 3002 0 122528 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 555116 KiB
Current children cumulated memory: 439520 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 3.88 3.84 5/258 1056979
/proc/meminfo: memFree=125449400/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=555116 memory=440248 CPUtime=12.65 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 79502 0 0 0 1249 16 0 0 20 0 1 0 199492020 568438784 110062 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 138779 110062 4069 3002 0 122528 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 555116 KiB
Current children cumulated memory: 440248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 3.88 3.84 5/258 1056981
/proc/meminfo: memFree=125433772/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=555116 memory=440816 CPUtime=25.41 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 79650 0 0 0 2525 16 0 0 20 0 1 0 199492020 568438784 110204 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 138779 110204 4085 3002 0 122528 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 555116 KiB
Current children cumulated memory: 440816 KiB

[startup+51.1049 s]
/proc/loadavg: 4.09 3.91 3.85 5/258 1056986
/proc/meminfo: memFree=125411172/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=580088 memory=456400 CPUtime=50.92 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 82564 0 0 0 5075 17 0 0 20 0 1 0 199492020 594010112 114100 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 145022 114100 4101 3002 0 128771 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 580088 KiB
Current children cumulated memory: 456400 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.94 3.87 5/259 1056998
/proc/meminfo: memFree=124836124/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=600584 memory=466400 CPUtime=101.96 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 83530 0 0 0 10178 18 0 0 20 0 1 0 199492020 614998016 116600 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 150146 116600 4101 3002 0 133895 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 600584 KiB
Current children cumulated memory: 466400 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.98 3.89 5/258 1057009
/proc/meminfo: memFree=124734500/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=634584 memory=479508 CPUtime=161.77 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 85295 0 0 0 16159 18 0 0 20 0 1 0 199492020 649814016 119877 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 158646 119877 4101 3002 0 142395 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 634584 KiB
Current children cumulated memory: 479508 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.01 3.91 5/258 1057068
/proc/meminfo: memFree=124949936/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=634584 memory=479508 CPUtime=221.58 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 85329 0 0 0 22140 18 0 0 20 0 1 0 199492020 649814016 119877 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 158646 119877 4101 3002 0 142395 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 634584 KiB
Current children cumulated memory: 479508 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.03 3.92 5/256 1057078
/proc/meminfo: memFree=124871344/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=692612 memory=539488 CPUtime=281.4 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 99807 0 0 0 28120 20 0 0 20 0 1 0 199492020 709234688 134872 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 173153 134872 4116 3002 0 156902 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 692612 KiB
Current children cumulated memory: 539488 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.12 3.96 5/257 1057089
/proc/meminfo: memFree=124937660/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=554508 memory=449212 CPUtime=341.21 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 101481 0 0 0 33964 157 0 0 20 0 1 0 199492020 567816192 112303 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 138627 112303 4232 3002 0 122376 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 554508 KiB
Current children cumulated memory: 449212 KiB

[startup+402.3 s]
/proc/loadavg: 4.28 4.14 3.98 5/255 1057100
/proc/meminfo: memFree=124904656/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=566184 memory=457508 CPUtime=401.02 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 102006 0 0 0 39879 223 0 0 20 0 1 0 199492020 579772416 114377 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 141546 114377 4248 3002 0 125295 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 566184 KiB
Current children cumulated memory: 457508 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.14 4.00 5/255 1057110
/proc/meminfo: memFree=124750412/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=585152 memory=465836 CPUtime=460.82 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 102576 0 0 0 45824 258 0 0 20 0 1 0 199492020 599195648 116459 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 146288 116459 4248 3002 0 130037 0

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

Current children cumulated memory: 548700 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1058201
/proc/meminfo: memFree=123024800/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=548708 CPUtime=2852.85 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105020 0 0 0 284661 624 0 0 20 0 1 0 199492020 682045440 137177 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 137177 4248 3002 0 150264 0
Current children cumulated CPU time: 2852.85 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 548708 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 1058211
/proc/meminfo: memFree=122973080/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=548732 CPUtime=2912.64 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105071 0 0 0 290636 628 0 0 20 0 1 0 199492020 682045440 137183 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 137183 4248 3002 0 150264 0
Current children cumulated CPU time: 2912.64 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 548732 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1058226
/proc/meminfo: memFree=122972776/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=548732 CPUtime=2972.44 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105113 0 0 0 296610 634 0 0 20 0 1 0 199492020 682045440 137183 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 137183 4248 3002 0 150264 0
Current children cumulated CPU time: 2972.44 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 548732 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1058237
/proc/meminfo: memFree=122971908/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=549176 CPUtime=3032.24 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105314 0 0 0 302584 640 0 0 20 0 1 0 199492020 682045440 137294 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 137294 4248 3002 0 150264 0
Current children cumulated CPU time: 3032.24 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 549176 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1058247
/proc/meminfo: memFree=122967468/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=553428 CPUtime=3092.04 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105362 0 0 0 308559 645 0 0 20 0 1 0 199492020 682045440 138357 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 138357 4248 3002 0 150264 0
Current children cumulated CPU time: 3092.04 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 553428 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/257 1058258
/proc/meminfo: memFree=122965056/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=555544 CPUtime=3151.83 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105440 0 0 0 314533 650 0 0 20 0 1 0 199492020 682045440 138886 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 138886 4248 3002 0 150264 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 555544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1058269
/proc/meminfo: memFree=122962636/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=557624 CPUtime=3211.63 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105559 0 0 0 320507 656 0 0 20 0 1 0 199492020 682045440 139406 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 139406 4248 3002 0 150264 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 557624 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1058662
/proc/meminfo: memFree=122960020/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=559688 CPUtime=3271.43 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105838 0 0 0 326481 662 0 0 20 0 1 0 199492020 682045440 139922 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 139922 4248 3002 0 150264 0
Current children cumulated CPU time: 3271.43 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 559688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 1058672
/proc/meminfo: memFree=122955552/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=563792 CPUtime=3331.23 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105893 0 0 0 332455 668 0 0 20 0 1 0 199492020 682045440 140948 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 140948 4248 3002 0 150264 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 563792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 1058684
/proc/meminfo: memFree=122953168/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=666060 memory=565864 CPUtime=3391.03 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 105939 0 0 0 338432 671 0 0 20 0 1 0 199492020 682045440 141466 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 166515 141466 4248 3002 0 150264 0
Current children cumulated CPU time: 3391.03 s
Current children cumulated vsize: 666060 KiB
Current children cumulated memory: 565864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 4/252 1058895
/proc/meminfo: memFree=123702284/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=747448 memory=568048 CPUtime=3450.83 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 106056 0 0 0 344409 674 0 0 20 0 1 0 199492020 765386752 142012 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 186862 142012 4248 3002 0 170611 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 747448 KiB
Current children cumulated memory: 568048 KiB

[startup+3522.3 s]
/proc/loadavg: 3.50 3.93 4.03 4/252 1058905
/proc/meminfo: memFree=123696512/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=747448 memory=573584 CPUtime=3510.64 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 106601 0 0 0 350385 679 0 0 20 0 1 0 199492020 765386752 143396 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 186862 143396 4248 3002 0 170611 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 747448 KiB
Current children cumulated memory: 573584 KiB

[startup+3582.3 s]
/proc/loadavg: 3.24 3.77 3.97 4/252 1058919
/proc/meminfo: memFree=123691348/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=747448 memory=578692 CPUtime=3570.47 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 106692 0 0 0 356362 685 0 0 20 0 1 0 199492020 765386752 144673 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 186862 144673 4248 3002 0 170611 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 747448 KiB
Current children cumulated memory: 578692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 3.14 3.70 3.94 3/246 1058967
/proc/meminfo: memFree=127343880/131524600 swapFree=131071996/131071996
[pid=1056977] ppid=1056974 vsize=747448 memory=581336 CPUtime=3600.09 cores=1,3
/proc/1056977/stat : 1056977 (mixed-bag) R 1056974 1056977 1050985 0 -1 4194304 106788 0 0 0 359321 688 0 0 20 0 1 0 199492020 765386752 145334 134679101440 4194304 16488053 140728640479280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 42995712 140728640488469 140728640488546 140728640488546 140728640495563 0
/proc/1056977/statm: 186862 145334 4248 3002 0 170611 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 747448 KiB
Current children cumulated memory: 581336 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3593.22 s, system=6.89176 s

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

Child status: 0

Real time (s): 3612.02
CPU time (s): 3600.11
CPU user time (s): 3593.22
CPU system time (s): 6.89176
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 747448
Max. memory (cumulated for all children) (KiB): 581336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.22
system time used= 6.89176
maximum resident set size= 582184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106816
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= 34
involuntary context switches= 3130


# summary of solver processes directly reported to runsolver:
#   pid: 1056977
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.22
#   total CPU system time (s): 6.89176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69165 second user time and 15.9803 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-20 13:01:06
IDJOB=4454904
IDBENCH=155380
IDSOLVER=3083
FILE ID=nodeC027/4454904-1721473253
RUNJOBID= nodeC027-1721472774-1055759
SLURM_JOB_ID= 7545716
Free space on /tmp= 890016 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454904-1721473253/watcher-4454904-1721473253 -o /tmp/evaluation-result-4454904-1721473253/solver-4454904-1721473253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721472774-1055759 --watchdog 3760  mixed-bag HOME/instance-4454904-1721473253.opb

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=5769667

nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3676.355
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3666.448
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3600.372
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3669.936
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3600.828
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3670.403
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3676.446
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3620.669
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126058004 kB
MemAvailable:   127504604 kB
Buffers:          545836 kB
Cached:          1743744 kB
SwapCached:            0 kB
Active:          1080160 kB
Inactive:        3764344 kB
Active(anon):       1552 kB
Inactive(anon):  2599276 kB
Active(file):    1078608 kB
Inactive(file):  1165068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44916 kB
Writeback:             0 kB
AnonPages:       2553640 kB
Mapped:           139652 kB
Shmem:             45912 kB
KReclaimable:      85492 kB
Slab:             198084 kB
SReclaimable:      85492 kB
SUnreclaim:       112592 kB
KernelStack:        4112 kB
PageTables:        14724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3187400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72320 kB
HardwareCorrupted:     0 kB
AnonHugePages:    858112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC027 at 2024-07-20 14:01:18