Trace number 4454280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19SAT (TO)70 3600.03 3608.9

DiagnosticValue
AM1LB0
LOWERBOUND18
NAM1S0
NCORES9
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUM01f07e427327757fda434ad4b1d2038d
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 benchmark64
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 540 #constraints 4626
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.013661
0.00/0.01	c stratification level: 2
0.20/0.25	c bounds - >= 2 @ 0.013661
0.20/0.25	c bounds - >= 4 @ 0.013661
0.20/0.25	c bounds - >= 6 @ 0.013661
0.20/0.25	c bounds - >= 8 @ 0.013661
0.20/0.25	c bounds - >= 10 @ 0.013661
0.20/0.25	c bounds - >= 12 @ 0.013661
0.20/0.25	c #Conflicts:       1000 | #Constraints:       5637
0.20/0.25	c #Conflicts:       2000 | #Constraints:       6637
0.20/0.25	c INPROCESSING
0.20/0.25	c GARBAGE COLLECT
0.20/0.25	c #Conflicts:       3000 | #Constraints:       6642
0.20/0.25	c bounds - >= 14 @ 0.229868
0.20/0.25	c finalizing WCE round: reformulating cores
26.62/26.73	c #Conflicts:       4000 | #Constraints:       7646
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:       5000 | #Constraints:       7051
26.62/26.73	c #Conflicts:       6000 | #Constraints:       8060
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:       7000 | #Constraints:       7067
26.62/26.73	c #Conflicts:       8000 | #Constraints:       8069
26.62/26.73	c bounds 70 >= 14 @ 0.70142
26.62/26.73	c bounds 70 >= 16 @ 0.717288
26.62/26.73	c bounds 70 >= 18 @ 0.736164
26.62/26.73	c #Conflicts:       9000 | #Constraints:       9092
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      10000 | #Constraints:       7790
26.62/26.73	c #Conflicts:      11000 | #Constraints:       8790
26.62/26.73	c #Conflicts:      12000 | #Constraints:       9790
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      13000 | #Constraints:       8248
26.62/26.73	c #Conflicts:      14000 | #Constraints:       9248
26.62/26.73	c #Conflicts:      15000 | #Constraints:      10248
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      16000 | #Constraints:       8477
26.62/26.73	c #Conflicts:      17000 | #Constraints:       9477
26.62/26.73	c #Conflicts:      18000 | #Constraints:      10477
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      19000 | #Constraints:       8497
26.62/26.73	c #Conflicts:      20000 | #Constraints:       9497
26.62/26.73	c #Conflicts:      21000 | #Constraints:      10497
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      22000 | #Constraints:       8314
26.62/26.73	c #Conflicts:      23000 | #Constraints:       9314
26.62/26.73	c #Conflicts:      24000 | #Constraints:      10314
26.62/26.73	c #Conflicts:      25000 | #Constraints:      11314
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      26000 | #Constraints:       8925
26.62/26.73	c #Conflicts:      27000 | #Constraints:       9925
26.62/26.73	c #Conflicts:      28000 | #Constraints:      10925
26.62/26.73	c #Conflicts:      29000 | #Constraints:      11925
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      30000 | #Constraints:       9325
26.62/26.73	c #Conflicts:      31000 | #Constraints:      10325
26.62/26.73	c #Conflicts:      32000 | #Constraints:      11325
26.62/26.73	c #Conflicts:      33000 | #Constraints:      12325
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      34000 | #Constraints:       9528
26.62/26.73	c #Conflicts:      35000 | #Constraints:      10528
26.62/26.73	c #Conflicts:      36000 | #Constraints:      11528
26.62/26.73	c #Conflicts:      37000 | #Constraints:      12528
26.62/26.73	c #Conflicts:      38000 | #Constraints:      13528
26.62/26.73	c #Conflicts:      39000 | #Constraints:      14528
26.62/26.73	c #Conflicts:      40000 | #Constraints:      15528
26.62/26.73	c #Conflicts:      41000 | #Constraints:      16528
26.62/26.73	c #Conflicts:      42000 | #Constraints:      17528
26.62/26.73	c #Conflicts:      43000 | #Constraints:      18528
26.62/26.73	c #Conflicts:      44000 | #Constraints:      19528
26.62/26.73	c #Conflicts:      45000 | #Constraints:      20528
26.62/26.73	c #Conflicts:      46000 | #Constraints:      21528
26.62/26.73	c #Conflicts:      47000 | #Constraints:      22528
26.62/26.73	c #Conflicts:      48000 | #Constraints:      23528
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      49000 | #Constraints:      15135
26.62/26.73	c #Conflicts:      50000 | #Constraints:      16135
26.62/26.73	c #Conflicts:      51000 | #Constraints:      17135
26.62/26.73	c #Conflicts:      52000 | #Constraints:      18135
26.62/26.73	c #Conflicts:      53000 | #Constraints:      19135
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      54000 | #Constraints:      12790
26.62/26.73	c #Conflicts:      55000 | #Constraints:      13790
26.62/26.73	c #Conflicts:      56000 | #Constraints:      14790
26.62/26.73	c #Conflicts:      57000 | #Constraints:      15790
26.62/26.73	c #Conflicts:      58000 | #Constraints:      16790
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      59000 | #Constraints:      11368
26.62/26.73	c #Conflicts:      60000 | #Constraints:      12368
26.62/26.73	c #Conflicts:      61000 | #Constraints:      13368
26.62/26.73	c #Conflicts:      62000 | #Constraints:      14368
26.62/26.73	c #Conflicts:      63000 | #Constraints:      15368
26.62/26.73	c #Conflicts:      64000 | #Constraints:      16368
26.62/26.73	c INPROCESSING
26.62/26.73	c GARBAGE COLLECT
26.62/26.73	c #Conflicts:      65000 | #Constraints:      11309
26.62/26.73	c #Conflicts:      66000 | #Constraints:      12309
26.62/26.73	c #Conflicts:      67000 | #Constraints:      13309
26.62/26.73	c #Conflicts:      68000 | #Constraints:      14309
26.62/26.73	c #Conflicts:      69000 | #Constraints:      15309
26.62/26.73	c #Conflicts:      70000 | #Constraints:      16309
26.62/26.73	c #Conflicts:      71000 | #Constraints:      17309
26.62/26.73	c #Conflicts:      72000 | #Constraints:      18309
95.95/96.29	c #Conflicts:      73000 | #Constraints:      19309
95.95/96.29	c #Conflicts:      74000 | #Constraints:      20309
95.95/96.29	c #Conflicts:      75000 | #Constraints:      21309
95.95/96.29	c #Conflicts:      76000 | #Constraints:      22309
95.95/96.29	c #Conflicts:      77000 | #Constraints:      23309
95.95/96.29	c #Conflicts:      78000 | #Constraints:      24309
95.95/96.29	c #Conflicts:      79000 | #Constraints:      25309
95.95/96.29	c #Conflicts:      80000 | #Constraints:      26309
95.95/96.29	c #Conflicts:      81000 | #Constraints:      27309
95.95/96.29	c #Conflicts:      82000 | #Constraints:      28309
95.95/96.29	c #Conflicts:      83000 | #Constraints:      29309
95.95/96.29	c #Conflicts:      84000 | #Constraints:      30309
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:      85000 | #Constraints:      18135
95.95/96.29	c #Conflicts:      86000 | #Constraints:      19135
95.95/96.29	c #Conflicts:      87000 | #Constraints:      20135
95.95/96.29	c #Conflicts:      88000 | #Constraints:      21135
95.95/96.29	c #Conflicts:      89000 | #Constraints:      22135
95.95/96.29	c #Conflicts:      90000 | #Constraints:      23135
95.95/96.29	c #Conflicts:      91000 | #Constraints:      24135
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:      92000 | #Constraints:      15050
95.95/96.29	c #Conflicts:      93000 | #Constraints:      16050
95.95/96.29	c #Conflicts:      94000 | #Constraints:      17050
95.95/96.29	c #Conflicts:      95000 | #Constraints:      18050
95.95/96.29	c #Conflicts:      96000 | #Constraints:      19050
95.95/96.29	c #Conflicts:      97000 | #Constraints:      20050
95.95/96.29	c #Conflicts:      98000 | #Constraints:      21050
95.95/96.29	c #Conflicts:      99000 | #Constraints:      22050
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:     100000 | #Constraints:      14408
95.95/96.29	c #Conflicts:     101000 | #Constraints:      15408
95.95/96.29	c #Conflicts:     102000 | #Constraints:      16408
95.95/96.29	c #Conflicts:     103000 | #Constraints:      17408
95.95/96.29	c #Conflicts:     104000 | #Constraints:      18408
95.95/96.29	c #Conflicts:     105000 | #Constraints:      19408
95.95/96.29	c #Conflicts:     106000 | #Constraints:      20408
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:     107000 | #Constraints:      13381
95.95/96.29	c #Conflicts:     108000 | #Constraints:      14381
95.95/96.29	c #Conflicts:     109000 | #Constraints:      15381
95.95/96.29	c #Conflicts:     110000 | #Constraints:      16381
95.95/96.29	c #Conflicts:     111000 | #Constraints:      17381
95.95/96.29	c #Conflicts:     112000 | #Constraints:      18381
95.95/96.29	c #Conflicts:     113000 | #Constraints:      19381
95.95/96.29	c #Conflicts:     114000 | #Constraints:      20381
95.95/96.29	c #Conflicts:     115000 | #Constraints:      21381
95.95/96.29	c #Conflicts:     116000 | #Constraints:      22381
95.95/96.29	c #Conflicts:     117000 | #Constraints:      23381
95.95/96.29	c #Conflicts:     118000 | #Constraints:      24381
95.95/96.29	c #Conflicts:     119000 | #Constraints:      25381
95.95/96.29	c #Conflicts:     120000 | #Constraints:      26381
95.95/96.29	c #Conflicts:     121000 | #Constraints:      27381
95.95/96.29	c #Conflicts:     122000 | #Constraints:      28381
95.95/96.29	c #Conflicts:     123000 | #Constraints:      29381
95.95/96.29	c #Conflicts:     124000 | #Constraints:      30381
95.95/96.29	c #Conflicts:     125000 | #Constraints:      31381
95.95/96.29	c #Conflicts:     126000 | #Constraints:      32381
95.95/96.29	c #Conflicts:     127000 | #Constraints:      33381
95.95/96.29	c #Conflicts:     128000 | #Constraints:      34381
95.95/96.29	c #Conflicts:     129000 | #Constraints:      35381
95.95/96.29	c #Conflicts:     130000 | #Constraints:      36381
95.95/96.29	c #Conflicts:     131000 | #Constraints:      37381
95.95/96.29	c #Conflicts:     132000 | #Constraints:      38381
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:     133000 | #Constraints:      22577
95.95/96.29	c #Conflicts:     134000 | #Constraints:      23577
95.95/96.29	c #Conflicts:     135000 | #Constraints:      24577
95.95/96.29	c #Conflicts:     136000 | #Constraints:      25577
95.95/96.29	c #Conflicts:     137000 | #Constraints:      26577
95.95/96.29	c #Conflicts:     138000 | #Constraints:      27577
95.95/96.29	c #Conflicts:     139000 | #Constraints:      28577
95.95/96.29	c #Conflicts:     140000 | #Constraints:      29577
95.95/96.29	c INPROCESSING
95.95/96.29	c GARBAGE COLLECT
95.95/96.29	c #Conflicts:     141000 | #Constraints:      17814
95.95/96.29	c #Conflicts:     142000 | #Constraints:      18814
95.95/96.29	c #Conflicts:     143000 | #Constraints:      19814
95.95/96.29	c #Conflicts:     144000 | #Constraints:      20814
95.95/96.29	c #Conflicts:     145000 | #Constraints:      21814
95.95/96.29	c #Conflicts:     146000 | #Constraints:      22814
95.95/96.29	c #Conflicts:     147000 | #Constraints:      23814
202.69/203.25	c #Conflicts:     148000 | #Constraints:      24814
202.69/203.25	c #Conflicts:     149000 | #Constraints:      25814
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     150000 | #Constraints:      15987
202.69/203.25	c #Conflicts:     151000 | #Constraints:      16987
202.69/203.25	c #Conflicts:     152000 | #Constraints:      17987
202.69/203.25	c #Conflicts:     153000 | #Constraints:      18987
202.69/203.25	c #Conflicts:     154000 | #Constraints:      19987
202.69/203.25	c #Conflicts:     155000 | #Constraints:      20987
202.69/203.25	c #Conflicts:     156000 | #Constraints:      21987
202.69/203.25	c #Conflicts:     157000 | #Constraints:      22987
202.69/203.25	c #Conflicts:     158000 | #Constraints:      23987
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     159000 | #Constraints:      15037
202.69/203.25	c #Conflicts:     160000 | #Constraints:      16037
202.69/203.25	c #Conflicts:     161000 | #Constraints:      17037
202.69/203.25	c #Conflicts:     162000 | #Constraints:      18037
202.69/203.25	c #Conflicts:     163000 | #Constraints:      19037
202.69/203.25	c #Conflicts:     164000 | #Constraints:      20037
202.69/203.25	c #Conflicts:     165000 | #Constraints:      21037
202.69/203.25	c #Conflicts:     166000 | #Constraints:      22037
202.69/203.25	c #Conflicts:     167000 | #Constraints:      23037
202.69/203.25	c #Conflicts:     168000 | #Constraints:      24037
202.69/203.25	c #Conflicts:     169000 | #Constraints:      25037
202.69/203.25	c #Conflicts:     170000 | #Constraints:      26037
202.69/203.25	c #Conflicts:     171000 | #Constraints:      27037
202.69/203.25	c #Conflicts:     172000 | #Constraints:      28037
202.69/203.25	c #Conflicts:     173000 | #Constraints:      29037
202.69/203.25	c #Conflicts:     174000 | #Constraints:      30037
202.69/203.25	c #Conflicts:     175000 | #Constraints:      31037
202.69/203.25	c #Conflicts:     176000 | #Constraints:      32037
202.69/203.25	c #Conflicts:     177000 | #Constraints:      33037
202.69/203.25	c #Conflicts:     178000 | #Constraints:      34037
202.69/203.25	c #Conflicts:     179000 | #Constraints:      35037
202.69/203.25	c #Conflicts:     180000 | #Constraints:      36037
202.69/203.25	c #Conflicts:     181000 | #Constraints:      37037
202.69/203.25	c #Conflicts:     182000 | #Constraints:      38037
202.69/203.25	c #Conflicts:     183000 | #Constraints:      39037
202.69/203.25	c #Conflicts:     184000 | #Constraints:      40037
202.69/203.25	c #Conflicts:     185000 | #Constraints:      41037
202.69/203.25	c #Conflicts:     186000 | #Constraints:      42037
202.69/203.25	c #Conflicts:     187000 | #Constraints:      43037
202.69/203.25	c #Conflicts:     188000 | #Constraints:      44037
202.69/203.25	c #Conflicts:     189000 | #Constraints:      45037
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     190000 | #Constraints:      25608
202.69/203.25	c #Conflicts:     191000 | #Constraints:      26608
202.69/203.25	c #Conflicts:     192000 | #Constraints:      27608
202.69/203.25	c #Conflicts:     193000 | #Constraints:      28608
202.69/203.25	c #Conflicts:     194000 | #Constraints:      29608
202.69/203.25	c #Conflicts:     195000 | #Constraints:      30608
202.69/203.25	c #Conflicts:     196000 | #Constraints:      31608
202.69/203.25	c #Conflicts:     197000 | #Constraints:      32608
202.69/203.25	c #Conflicts:     198000 | #Constraints:      33608
202.69/203.25	c #Conflicts:     199000 | #Constraints:      34608
202.69/203.25	c #Conflicts:     200000 | #Constraints:      35608
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     201000 | #Constraints:      21192
202.69/203.25	c #Conflicts:     202000 | #Constraints:      22192
202.69/203.25	c #Conflicts:     203000 | #Constraints:      23192
202.69/203.25	c #Conflicts:     204000 | #Constraints:      24192
202.69/203.25	c #Conflicts:     205000 | #Constraints:      25192
202.69/203.25	c #Conflicts:     206000 | #Constraints:      26192
202.69/203.25	c #Conflicts:     207000 | #Constraints:      27192
202.69/203.25	c #Conflicts:     208000 | #Constraints:      28192
202.69/203.25	c #Conflicts:     209000 | #Constraints:      29192
202.69/203.25	c #Conflicts:     210000 | #Constraints:      30192
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     211000 | #Constraints:      18180
202.69/203.25	c #Conflicts:     212000 | #Constraints:      19180
202.69/203.25	c #Conflicts:     213000 | #Constraints:      20180
202.69/203.25	c #Conflicts:     214000 | #Constraints:      21180
202.69/203.25	c #Conflicts:     215000 | #Constraints:      22180
202.69/203.25	c #Conflicts:     216000 | #Constraints:      23180
202.69/203.25	c #Conflicts:     217000 | #Constraints:      24180
202.69/203.25	c #Conflicts:     218000 | #Constraints:      25180
202.69/203.25	c #Conflicts:     219000 | #Constraints:      26180
202.69/203.25	c #Conflicts:     220000 | #Constraints:      27180
202.69/203.25	c #Conflicts:     221000 | #Constraints:      28180
202.69/203.25	c INPROCESSING
202.69/203.25	c GARBAGE COLLECT
202.69/203.25	c #Conflicts:     222000 | #Constraints:      17289
372.65/373.63	c #Conflicts:     223000 | #Constraints:      18289
372.65/373.63	c #Conflicts:     224000 | #Constraints:      19289
372.65/373.63	c #Conflicts:     225000 | #Constraints:      20289
372.65/373.63	c #Conflicts:     226000 | #Constraints:      21289
372.65/373.63	c #Conflicts:     227000 | #Constraints:      22289
372.65/373.63	c #Conflicts:     228000 | #Constraints:      23289
372.65/373.63	c #Conflicts:     229000 | #Constraints:      24289
372.65/373.63	c #Conflicts:     230000 | #Constraints:      25289
372.65/373.63	c #Conflicts:     231000 | #Constraints:      26289
372.65/373.63	c #Conflicts:     232000 | #Constraints:      27289
372.65/373.63	c #Conflicts:     233000 | #Constraints:      28289
372.65/373.63	c #Conflicts:     234000 | #Constraints:      29289
372.65/373.63	c #Conflicts:     235000 | #Constraints:      30289
372.65/373.63	c #Conflicts:     236000 | #Constraints:      31289
372.65/373.63	c #Conflicts:     237000 | #Constraints:      32289
372.65/373.63	c #Conflicts:     238000 | #Constraints:      33289
372.65/373.63	c #Conflicts:     239000 | #Constraints:      34289
372.65/373.63	c #Conflicts:     240000 | #Constraints:      35289
372.65/373.63	c #Conflicts:     241000 | #Constraints:      36289
372.65/373.63	c #Conflicts:     242000 | #Constraints:      37289
372.65/373.63	c #Conflicts:     243000 | #Constraints:      38289
372.65/373.63	c #Conflicts:     244000 | #Constraints:      39289
372.65/373.63	c #Conflicts:     245000 | #Constraints:      40289
372.65/373.63	c #Conflicts:     246000 | #Constraints:      41289
372.65/373.63	c #Conflicts:     247000 | #Constraints:      42289
372.65/373.63	c #Conflicts:     248000 | #Constraints:      43289
372.65/373.63	c #Conflicts:     249000 | #Constraints:      44289
372.65/373.63	c #Conflicts:     250000 | #Constraints:      45289
372.65/373.63	c #Conflicts:     251000 | #Constraints:      46289
372.65/373.63	c #Conflicts:     252000 | #Constraints:      47289
372.65/373.63	c #Conflicts:     253000 | #Constraints:      48289
372.65/373.63	c #Conflicts:     254000 | #Constraints:      49289
372.65/373.63	c #Conflicts:     255000 | #Constraints:      50289
372.65/373.63	c #Conflicts:     256000 | #Constraints:      51289
372.65/373.63	c #Conflicts:     257000 | #Constraints:      52289
372.65/373.63	c INPROCESSING
372.65/373.63	c GARBAGE COLLECT
372.65/373.63	c #Conflicts:     258000 | #Constraints:      29227
372.65/373.63	c #Conflicts:     259000 | #Constraints:      30227
372.65/373.63	c #Conflicts:     260000 | #Constraints:      31227
372.65/373.63	c #Conflicts:     261000 | #Constraints:      32227
372.65/373.63	c #Conflicts:     262000 | #Constraints:      33227
372.65/373.63	c #Conflicts:     263000 | #Constraints:      34227
372.65/373.63	c #Conflicts:     264000 | #Constraints:      35227
372.65/373.63	c #Conflicts:     265000 | #Constraints:      36227
372.65/373.63	c #Conflicts:     266000 | #Constraints:      37227
372.65/373.63	c #Conflicts:     267000 | #Constraints:      38227
372.65/373.63	c #Conflicts:     268000 | #Constraints:      39227
372.65/373.63	c #Conflicts:     269000 | #Constraints:      40227
372.65/373.63	c INPROCESSING
372.65/373.63	c GARBAGE COLLECT
372.65/373.63	c #Conflicts:     270000 | #Constraints:      23157
372.65/373.63	c #Conflicts:     271000 | #Constraints:      24157
372.65/373.63	c #Conflicts:     272000 | #Constraints:      25157
372.65/373.63	c #Conflicts:     273000 | #Constraints:      26157
372.65/373.63	c #Conflicts:     274000 | #Constraints:      27157
372.65/373.63	c #Conflicts:     275000 | #Constraints:      28157
372.65/373.63	c #Conflicts:     276000 | #Constraints:      29157
372.65/373.63	c #Conflicts:     277000 | #Constraints:      30157
372.65/373.63	c #Conflicts:     278000 | #Constraints:      31157
372.65/373.63	c #Conflicts:     279000 | #Constraints:      32157
372.65/373.63	c #Conflicts:     280000 | #Constraints:      33157
372.65/373.63	c #Conflicts:     281000 | #Constraints:      34157
372.65/373.63	c #Conflicts:     282000 | #Constraints:      35157
372.65/373.63	c INPROCESSING
372.65/373.63	c GARBAGE COLLECT
372.65/373.63	c #Conflicts:     283000 | #Constraints:      20973
372.65/373.63	c #Conflicts:     284000 | #Constraints:      21973
372.65/373.63	c #Conflicts:     285000 | #Constraints:      22973
372.65/373.63	c #Conflicts:     286000 | #Constraints:      23973
372.65/373.63	c #Conflicts:     287000 | #Constraints:      24973
372.65/373.63	c #Conflicts:     288000 | #Constraints:      25973
372.65/373.63	c #Conflicts:     289000 | #Constraints:      26973
372.65/373.63	c #Conflicts:     290000 | #Constraints:      27973
372.65/373.63	c #Conflicts:     291000 | #Constraints:      28973
372.65/373.63	c #Conflicts:     292000 | #Constraints:      29973
372.65/373.63	c #Conflicts:     293000 | #Constraints:      30973
372.65/373.63	c #Conflicts:     294000 | #Constraints:      31973
372.65/373.63	c INPROCESSING
372.65/373.63	c GARBAGE COLLECT
372.65/373.63	c #Conflicts:     295000 | #Constraints:      19134
372.65/373.63	c #Conflicts:     296000 | #Constraints:      20134
372.65/373.63	c #Conflicts:     297000 | #Constraints:      21134
372.65/373.63	c #Conflicts:     298000 | #Constraints:      22134
642.99/644.63	c #Conflicts:     299000 | #Constraints:      23134
642.99/644.63	c #Conflicts:     300000 | #Constraints:      24134
642.99/644.63	c #Conflicts:     301000 | #Constraints:      25134
642.99/644.63	c #Conflicts:     302000 | #Constraints:      26134
642.99/644.63	c #Conflicts:     303000 | #Constraints:      27134
642.99/644.63	c #Conflicts:     304000 | #Constraints:      28134
642.99/644.63	c #Conflicts:     305000 | #Constraints:      29134
642.99/644.63	c #Conflicts:     306000 | #Constraints:      30134
642.99/644.63	c #Conflicts:     307000 | #Constraints:      31134
642.99/644.63	c #Conflicts:     308000 | #Constraints:      32134
642.99/644.63	c #Conflicts:     309000 | #Constraints:      33134
642.99/644.63	c #Conflicts:     310000 | #Constraints:      34134
642.99/644.63	c #Conflicts:     311000 | #Constraints:      35134
642.99/644.63	c #Conflicts:     312000 | #Constraints:      36134
642.99/644.63	c #Conflicts:     313000 | #Constraints:      37134
642.99/644.63	c #Conflicts:     314000 | #Constraints:      38134
642.99/644.63	c #Conflicts:     315000 | #Constraints:      39134
642.99/644.63	c #Conflicts:     316000 | #Constraints:      40134
642.99/644.63	c #Conflicts:     317000 | #Constraints:      41134
642.99/644.63	c #Conflicts:     318000 | #Constraints:      42134
642.99/644.63	c #Conflicts:     319000 | #Constraints:      43134
642.99/644.63	c #Conflicts:     320000 | #Constraints:      44134
642.99/644.63	c #Conflicts:     321000 | #Constraints:      45134
642.99/644.63	c #Conflicts:     322000 | #Constraints:      46134
642.99/644.63	c #Conflicts:     323000 | #Constraints:      47134
642.99/644.63	c #Conflicts:     324000 | #Constraints:      48134
642.99/644.63	c #Conflicts:     325000 | #Constraints:      49134
642.99/644.63	c #Conflicts:     326000 | #Constraints:      50134
642.99/644.63	c #Conflicts:     327000 | #Constraints:      51134
642.99/644.63	c #Conflicts:     328000 | #Constraints:      52134
642.99/644.63	c #Conflicts:     329000 | #Constraints:      53134
642.99/644.63	c #Conflicts:     330000 | #Constraints:      54134
642.99/644.63	c #Conflicts:     331000 | #Constraints:      55134
642.99/644.63	c #Conflicts:     332000 | #Constraints:      56134
642.99/644.63	c #Conflicts:     333000 | #Constraints:      57134
642.99/644.63	c #Conflicts:     334000 | #Constraints:      58134
642.99/644.63	c #Conflicts:     335000 | #Constraints:      59134
642.99/644.63	c #Conflicts:     336000 | #Constraints:      60134
642.99/644.63	c INPROCESSING
642.99/644.63	c GARBAGE COLLECT
642.99/644.63	c #Conflicts:     337000 | #Constraints:      33448
642.99/644.63	c #Conflicts:     338000 | #Constraints:      34448
642.99/644.63	c #Conflicts:     339000 | #Constraints:      35448
642.99/644.63	c #Conflicts:     340000 | #Constraints:      36448
642.99/644.63	c #Conflicts:     341000 | #Constraints:      37448
642.99/644.63	c #Conflicts:     342000 | #Constraints:      38448
642.99/644.63	c #Conflicts:     343000 | #Constraints:      39448
642.99/644.63	c #Conflicts:     344000 | #Constraints:      40448
642.99/644.63	c #Conflicts:     345000 | #Constraints:      41448
642.99/644.63	c #Conflicts:     346000 | #Constraints:      42448
642.99/644.63	c #Conflicts:     347000 | #Constraints:      43448
642.99/644.63	c #Conflicts:     348000 | #Constraints:      44448
642.99/644.63	c #Conflicts:     349000 | #Constraints:      45448
642.99/644.63	c INPROCESSING
642.99/644.63	c GARBAGE COLLECT
642.99/644.63	c #Conflicts:     350000 | #Constraints:      25703
642.99/644.63	c #Conflicts:     351000 | #Constraints:      26703
642.99/644.63	c #Conflicts:     352000 | #Constraints:      27703
642.99/644.63	c #Conflicts:     353000 | #Constraints:      28703
642.99/644.63	c #Conflicts:     354000 | #Constraints:      29703
642.99/644.63	c #Conflicts:     355000 | #Constraints:      30703
642.99/644.63	c #Conflicts:     356000 | #Constraints:      31703
642.99/644.63	c #Conflicts:     357000 | #Constraints:      32703
642.99/644.63	c #Conflicts:     358000 | #Constraints:      33703
642.99/644.63	c #Conflicts:     359000 | #Constraints:      34703
642.99/644.63	c #Conflicts:     360000 | #Constraints:      35703
642.99/644.63	c #Conflicts:     361000 | #Constraints:      36703
642.99/644.63	c #Conflicts:     362000 | #Constraints:      37703
642.99/644.63	c #Conflicts:     363000 | #Constraints:      38703
642.99/644.63	c INPROCESSING
642.99/644.63	c GARBAGE COLLECT
642.99/644.63	c #Conflicts:     364000 | #Constraints:      22355
642.99/644.63	c #Conflicts:     365000 | #Constraints:      23355
642.99/644.63	c #Conflicts:     366000 | #Constraints:      24355
642.99/644.63	c #Conflicts:     367000 | #Constraints:      25355
642.99/644.63	c #Conflicts:     368000 | #Constraints:      26355
642.99/644.63	c #Conflicts:     369000 | #Constraints:      27355
642.99/644.63	c #Conflicts:     370000 | #Constraints:      28355
642.99/644.63	c #Conflicts:     371000 | #Constraints:      29355
642.99/644.63	c #Conflicts:     372000 | #Constraints:      30355
642.99/644.63	c #Conflicts:     373000 | #Constraints:      31355
642.99/644.63	c #Conflicts:     374000 | #Constraints:      32355
642.99/644.63	c #Conflicts:     375000 | #Constraints:      33355
957.34/959.70	c #Conflicts:     376000 | #Constraints:      34355
957.34/959.70	c #Conflicts:     377000 | #Constraints:      35355
957.34/959.70	c #Conflicts:     378000 | #Constraints:      36355
957.34/959.70	c INPROCESSING
957.34/959.70	c GARBAGE COLLECT
957.34/959.70	c #Conflicts:     379000 | #Constraints:      21914
957.34/959.70	c #Conflicts:     380000 | #Constraints:      22914
957.34/959.70	c #Conflicts:     381000 | #Constraints:      23914
957.34/959.70	c #Conflicts:     382000 | #Constraints:      24914
957.34/959.70	c #Conflicts:     383000 | #Constraints:      25914
957.34/959.70	c #Conflicts:     384000 | #Constraints:      26914
957.34/959.70	c #Conflicts:     385000 | #Constraints:      27914
957.34/959.70	c #Conflicts:     386000 | #Constraints:      28914
957.34/959.70	c #Conflicts:     387000 | #Constraints:      29914
957.34/959.70	c #Conflicts:     388000 | #Constraints:      30914
957.34/959.70	c #Conflicts:     389000 | #Constraints:      31914
957.34/959.70	c #Conflicts:     390000 | #Constraints:      32914
957.34/959.70	c #Conflicts:     391000 | #Constraints:      33914
957.34/959.70	c #Conflicts:     392000 | #Constraints:      34914
957.34/959.70	c #Conflicts:     393000 | #Constraints:      35914
957.34/959.70	c #Conflicts:     394000 | #Constraints:      36914
957.34/959.70	c #Conflicts:     395000 | #Constraints:      37914
957.34/959.70	c #Conflicts:     396000 | #Constraints:      38914
957.34/959.70	c #Conflicts:     397000 | #Constraints:      39914
957.34/959.70	c #Conflicts:     398000 | #Constraints:      40914
957.34/959.70	c #Conflicts:     399000 | #Constraints:      41914
957.34/959.70	c #Conflicts:     400000 | #Constraints:      42914
957.34/959.70	c #Conflicts:     401000 | #Constraints:      43914
957.34/959.70	c #Conflicts:     402000 | #Constraints:      44914
957.34/959.70	c #Conflicts:     403000 | #Constraints:      45914
957.34/959.70	c #Conflicts:     404000 | #Constraints:      46914
957.34/959.70	c #Conflicts:     405000 | #Constraints:      47914
957.34/959.70	c #Conflicts:     406000 | #Constraints:      48914
957.34/959.70	c #Conflicts:     407000 | #Constraints:      49914
957.34/959.70	c #Conflicts:     408000 | #Constraints:      50914
957.34/959.70	c #Conflicts:     409000 | #Constraints:      51914
957.34/959.70	c #Conflicts:     410000 | #Constraints:      52914
957.34/959.70	c #Conflicts:     411000 | #Constraints:      53914
957.34/959.70	c #Conflicts:     412000 | #Constraints:      54914
957.34/959.70	c #Conflicts:     413000 | #Constraints:      55914
957.34/959.70	c #Conflicts:     414000 | #Constraints:      56914
957.34/959.70	c #Conflicts:     415000 | #Constraints:      57914
957.34/959.70	c #Conflicts:     416000 | #Constraints:      58914
957.34/959.70	c #Conflicts:     417000 | #Constraints:      59914
957.34/959.70	c #Conflicts:     418000 | #Constraints:      60914
957.34/959.70	c #Conflicts:     419000 | #Constraints:      61914
957.34/959.70	c #Conflicts:     420000 | #Constraints:      62914
957.34/959.70	c #Conflicts:     421000 | #Constraints:      63914
957.34/959.70	c #Conflicts:     422000 | #Constraints:      64914
957.34/959.70	c #Conflicts:     423000 | #Constraints:      65914
957.34/959.70	c #Conflicts:     424000 | #Constraints:      66914
957.34/959.70	c INPROCESSING
957.34/959.70	c GARBAGE COLLECT
957.34/959.70	c #Conflicts:     425000 | #Constraints:      36458
957.34/959.70	c #Conflicts:     426000 | #Constraints:      37458
957.34/959.70	c #Conflicts:     427000 | #Constraints:      38458
957.34/959.70	c #Conflicts:     428000 | #Constraints:      39458
957.34/959.70	c #Conflicts:     429000 | #Constraints:      40458
957.34/959.70	c #Conflicts:     430000 | #Constraints:      41458
957.34/959.70	c #Conflicts:     431000 | #Constraints:      42458
957.34/959.70	c #Conflicts:     432000 | #Constraints:      43458
957.34/959.70	c #Conflicts:     433000 | #Constraints:      44458
957.34/959.70	c #Conflicts:     434000 | #Constraints:      45458
957.34/959.70	c #Conflicts:     435000 | #Constraints:      46458
957.34/959.70	c #Conflicts:     436000 | #Constraints:      47458
957.34/959.70	c #Conflicts:     437000 | #Constraints:      48458
957.34/959.70	c #Conflicts:     438000 | #Constraints:      49458
957.34/959.70	c #Conflicts:     439000 | #Constraints:      50458
957.34/959.70	c #Conflicts:     440000 | #Constraints:      51458
957.34/959.70	c INPROCESSING
957.34/959.70	c GARBAGE COLLECT
957.34/959.70	c #Conflicts:     441000 | #Constraints:      28983
957.34/959.70	c #Conflicts:     442000 | #Constraints:      29983
957.34/959.70	c #Conflicts:     443000 | #Constraints:      30983
957.34/959.70	c #Conflicts:     444000 | #Constraints:      31983
957.34/959.70	c #Conflicts:     445000 | #Constraints:      32983
957.34/959.70	c #Conflicts:     446000 | #Constraints:      33983
957.34/959.70	c #Conflicts:     447000 | #Constraints:      34983
957.34/959.70	c #Conflicts:     448000 | #Constraints:      35983
957.34/959.70	c #Conflicts:     449000 | #Constraints:      36983
957.34/959.70	c #Conflicts:     450000 | #Constraints:      37983
957.34/959.70	c #Conflicts:     451000 | #Constraints:      38983
957.34/959.70	c #Conflicts:     452000 | #Constraints:      39983
1354.59/1358.00	c #Conflicts:     453000 | #Constraints:      40983
1354.59/1358.00	c #Conflicts:     454000 | #Constraints:      41983
1354.59/1358.00	c #Conflicts:     455000 | #Constraints:      42983
1354.59/1358.00	c #Conflicts:     456000 | #Constraints:      43983
1354.59/1358.00	c INPROCESSING
1354.59/1358.00	c GARBAGE COLLECT
1354.59/1358.00	c #Conflicts:     457000 | #Constraints:      25383
1354.59/1358.00	c #Conflicts:     458000 | #Constraints:      26383
1354.59/1358.00	c #Conflicts:     459000 | #Constraints:      27383
1354.59/1358.00	c #Conflicts:     460000 | #Constraints:      28383
1354.59/1358.00	c #Conflicts:     461000 | #Constraints:      29383
1354.59/1358.00	c #Conflicts:     462000 | #Constraints:      30383
1354.59/1358.00	c #Conflicts:     463000 | #Constraints:      31383
1354.59/1358.00	c #Conflicts:     464000 | #Constraints:      32383
1354.59/1358.00	c #Conflicts:     465000 | #Constraints:      33383
1354.59/1358.00	c #Conflicts:     466000 | #Constraints:      34383
1354.59/1358.00	c #Conflicts:     467000 | #Constraints:      35383
1354.59/1358.00	c #Conflicts:     468000 | #Constraints:      36383
1354.59/1358.00	c #Conflicts:     469000 | #Constraints:      37383
1354.59/1358.00	c #Conflicts:     470000 | #Constraints:      38383
1354.59/1358.00	c #Conflicts:     471000 | #Constraints:      39383
1354.59/1358.00	c #Conflicts:     472000 | #Constraints:      40383
1354.59/1358.00	c #Conflicts:     473000 | #Constraints:      41383
1354.59/1358.00	c #Conflicts:     474000 | #Constraints:      42383
1354.59/1358.00	c #Conflicts:     475000 | #Constraints:      43383
1354.59/1358.00	c #Conflicts:     476000 | #Constraints:      44383
1354.59/1358.00	c #Conflicts:     477000 | #Constraints:      45383
1354.59/1358.00	c #Conflicts:     478000 | #Constraints:      46383
1354.59/1358.00	c #Conflicts:     479000 | #Constraints:      47383
1354.59/1358.00	c #Conflicts:     480000 | #Constraints:      48383
1354.59/1358.00	c #Conflicts:     481000 | #Constraints:      49383
1354.59/1358.00	c #Conflicts:     482000 | #Constraints:      50383
1354.59/1358.00	c #Conflicts:     483000 | #Constraints:      51383
1354.59/1358.00	c #Conflicts:     484000 | #Constraints:      52383
1354.59/1358.00	c #Conflicts:     485000 | #Constraints:      53383
1354.59/1358.00	c #Conflicts:     486000 | #Constraints:      54383
1354.59/1358.00	c #Conflicts:     487000 | #Constraints:      55383
1354.59/1358.00	c #Conflicts:     488000 | #Constraints:      56383
1354.59/1358.00	c #Conflicts:     489000 | #Constraints:      57383
1354.59/1358.00	c #Conflicts:     490000 | #Constraints:      58383
1354.59/1358.00	c #Conflicts:     491000 | #Constraints:      59383
1354.59/1358.00	c #Conflicts:     492000 | #Constraints:      60383
1354.59/1358.00	c #Conflicts:     493000 | #Constraints:      61383
1354.59/1358.00	c #Conflicts:     494000 | #Constraints:      62383
1354.59/1358.00	c #Conflicts:     495000 | #Constraints:      63383
1354.59/1358.00	c #Conflicts:     496000 | #Constraints:      64383
1354.59/1358.00	c #Conflicts:     497000 | #Constraints:      65383
1354.59/1358.00	c #Conflicts:     498000 | #Constraints:      66383
1354.59/1358.00	c #Conflicts:     499000 | #Constraints:      67383
1354.59/1358.00	c #Conflicts:     500000 | #Constraints:      68383
1354.59/1358.00	c #Conflicts:     501000 | #Constraints:      69383
1354.59/1358.00	c #Conflicts:     502000 | #Constraints:      70383
1354.59/1358.00	c #Conflicts:     503000 | #Constraints:      71383
1354.59/1358.00	c #Conflicts:     504000 | #Constraints:      72383
1354.59/1358.00	c #Conflicts:     505000 | #Constraints:      73383
1354.59/1358.00	c #Conflicts:     506000 | #Constraints:      74383
1354.59/1358.00	c #Conflicts:     507000 | #Constraints:      75383
1354.59/1358.00	c INPROCESSING
1354.59/1358.00	c GARBAGE COLLECT
1354.59/1358.00	c #Conflicts:     508000 | #Constraints:      41081
1354.59/1358.00	c #Conflicts:     509000 | #Constraints:      42081
1354.59/1358.00	c #Conflicts:     510000 | #Constraints:      43081
1354.59/1358.00	c #Conflicts:     511000 | #Constraints:      44081
1354.59/1358.00	c #Conflicts:     512000 | #Constraints:      45081
1354.59/1358.00	c #Conflicts:     513000 | #Constraints:      46081
1354.59/1358.00	c #Conflicts:     514000 | #Constraints:      47081
1354.59/1358.00	c #Conflicts:     515000 | #Constraints:      48081
1354.59/1358.00	c #Conflicts:     516000 | #Constraints:      49081
1354.59/1358.00	c #Conflicts:     517000 | #Constraints:      50081
1354.59/1358.00	c #Conflicts:     518000 | #Constraints:      51081
1354.59/1358.00	c #Conflicts:     519000 | #Constraints:      52081
1354.59/1358.00	c #Conflicts:     520000 | #Constraints:      53081
1354.59/1358.00	c #Conflicts:     521000 | #Constraints:      54081
1354.59/1358.00	c #Conflicts:     522000 | #Constraints:      55081
1354.59/1358.00	c #Conflicts:     523000 | #Constraints:      56081
1354.59/1358.00	c #Conflicts:     524000 | #Constraints:      57081
1354.59/1358.00	c INPROCESSING
1354.59/1358.00	c GARBAGE COLLECT
1354.59/1358.00	c #Conflicts:     525000 | #Constraints:      31934
1354.59/1358.00	c #Conflicts:     526000 | #Constraints:      32934
1354.59/1358.00	c #Conflicts:     527000 | #Constraints:      33934
1354.59/1358.00	c #Conflicts:     528000 | #Constraints:      34934
1838.60/1843.13	c #Conflicts:     529000 | #Constraints:      35934
1838.60/1843.13	c #Conflicts:     530000 | #Constraints:      36934
1838.60/1843.13	c #Conflicts:     531000 | #Constraints:      37934
1838.60/1843.13	c #Conflicts:     532000 | #Constraints:      38934
1838.60/1843.13	c #Conflicts:     533000 | #Constraints:      39934
1838.60/1843.13	c #Conflicts:     534000 | #Constraints:      40934
1838.60/1843.13	c #Conflicts:     535000 | #Constraints:      41934
1838.60/1843.13	c #Conflicts:     536000 | #Constraints:      42934
1838.60/1843.13	c #Conflicts:     537000 | #Constraints:      43934
1838.60/1843.13	c #Conflicts:     538000 | #Constraints:      44934
1838.60/1843.13	c #Conflicts:     539000 | #Constraints:      45934
1838.60/1843.13	c #Conflicts:     540000 | #Constraints:      46934
1838.60/1843.13	c #Conflicts:     541000 | #Constraints:      47934
1838.60/1843.13	c INPROCESSING
1838.60/1843.13	c GARBAGE COLLECT
1838.60/1843.13	c #Conflicts:     542000 | #Constraints:      27261
1838.60/1843.13	c #Conflicts:     543000 | #Constraints:      28261
1838.60/1843.13	c #Conflicts:     544000 | #Constraints:      29261
1838.60/1843.13	c #Conflicts:     545000 | #Constraints:      30261
1838.60/1843.13	c #Conflicts:     546000 | #Constraints:      31261
1838.60/1843.13	c #Conflicts:     547000 | #Constraints:      32261
1838.60/1843.13	c #Conflicts:     548000 | #Constraints:      33261
1838.60/1843.13	c #Conflicts:     549000 | #Constraints:      34261
1838.60/1843.13	c #Conflicts:     550000 | #Constraints:      35261
1838.60/1843.13	c #Conflicts:     551000 | #Constraints:      36261
1838.60/1843.13	c #Conflicts:     552000 | #Constraints:      37261
1838.60/1843.13	c #Conflicts:     553000 | #Constraints:      38261
1838.60/1843.13	c #Conflicts:     554000 | #Constraints:      39261
1838.60/1843.13	c #Conflicts:     555000 | #Constraints:      40261
1838.60/1843.13	c #Conflicts:     556000 | #Constraints:      41261
1838.60/1843.13	c #Conflicts:     557000 | #Constraints:      42261
1838.60/1843.13	c #Conflicts:     558000 | #Constraints:      43261
1838.60/1843.13	c #Conflicts:     559000 | #Constraints:      44261
1838.60/1843.13	c #Conflicts:     560000 | #Constraints:      45261
1838.60/1843.13	c #Conflicts:     561000 | #Constraints:      46261
1838.60/1843.13	c #Conflicts:     562000 | #Constraints:      47261
1838.60/1843.13	c #Conflicts:     563000 | #Constraints:      48261
1838.60/1843.13	c #Conflicts:     564000 | #Constraints:      49261
1838.60/1843.13	c #Conflicts:     565000 | #Constraints:      50261
1838.60/1843.13	c #Conflicts:     566000 | #Constraints:      51261
1838.60/1843.13	c #Conflicts:     567000 | #Constraints:      52261
1838.60/1843.13	c #Conflicts:     568000 | #Constraints:      53261
1838.60/1843.13	c #Conflicts:     569000 | #Constraints:      54261
1838.60/1843.13	c #Conflicts:     570000 | #Constraints:      55261
1838.60/1843.13	c #Conflicts:     571000 | #Constraints:      56261
1838.60/1843.13	c #Conflicts:     572000 | #Constraints:      57261
1838.60/1843.13	c #Conflicts:     573000 | #Constraints:      58261
1838.60/1843.13	c #Conflicts:     574000 | #Constraints:      59261
1838.60/1843.13	c #Conflicts:     575000 | #Constraints:      60261
1838.60/1843.13	c #Conflicts:     576000 | #Constraints:      61261
1838.60/1843.13	c #Conflicts:     577000 | #Constraints:      62261
1838.60/1843.13	c #Conflicts:     578000 | #Constraints:      63261
1838.60/1843.13	c #Conflicts:     579000 | #Constraints:      64261
1838.60/1843.13	c #Conflicts:     580000 | #Constraints:      65261
1838.60/1843.13	c #Conflicts:     581000 | #Constraints:      66261
1838.60/1843.13	c #Conflicts:     582000 | #Constraints:      67261
1838.60/1843.13	c #Conflicts:     583000 | #Constraints:      68261
1838.60/1843.13	c #Conflicts:     584000 | #Constraints:      69261
1838.60/1843.13	c #Conflicts:     585000 | #Constraints:      70261
1838.60/1843.13	c #Conflicts:     586000 | #Constraints:      71261
1838.60/1843.13	c #Conflicts:     587000 | #Constraints:      72261
1838.60/1843.13	c #Conflicts:     588000 | #Constraints:      73261
1838.60/1843.13	c #Conflicts:     589000 | #Constraints:      74261
1838.60/1843.13	c #Conflicts:     590000 | #Constraints:      75261
1838.60/1843.13	c #Conflicts:     591000 | #Constraints:      76261
1838.60/1843.13	c #Conflicts:     592000 | #Constraints:      77261
1838.60/1843.13	c #Conflicts:     593000 | #Constraints:      78261
1838.60/1843.13	c #Conflicts:     594000 | #Constraints:      79261
1838.60/1843.13	c #Conflicts:     595000 | #Constraints:      80261
1838.60/1843.13	c #Conflicts:     596000 | #Constraints:      81261
1838.60/1843.13	c INPROCESSING
1838.60/1843.13	c GARBAGE COLLECT
1838.60/1843.13	c #Conflicts:     597000 | #Constraints:      43836
1838.60/1843.13	c #Conflicts:     598000 | #Constraints:      44836
1838.60/1843.13	c #Conflicts:     599000 | #Constraints:      45836
1838.60/1843.13	c #Conflicts:     600000 | #Constraints:      46836
1838.60/1843.13	c #Conflicts:     601000 | #Constraints:      47836
1838.60/1843.13	c #Conflicts:     602000 | #Constraints:      48836
1838.60/1843.13	c #Conflicts:     603000 | #Constraints:      49836
1838.60/1843.13	c #Conflicts:     604000 | #Constraints:      50836
1838.60/1843.13	c #Conflicts:     605000 | #Constraints:      51836
1838.60/1843.13	c #Conflicts:     606000 | #Constraints:      52836
2373.16/2379.07	c #Conflicts:     607000 | #Constraints:      53836
2373.16/2379.07	c #Conflicts:     608000 | #Constraints:      54836
2373.16/2379.07	c #Conflicts:     609000 | #Constraints:      55836
2373.16/2379.07	c #Conflicts:     610000 | #Constraints:      56836
2373.16/2379.07	c #Conflicts:     611000 | #Constraints:      57836
2373.16/2379.07	c #Conflicts:     612000 | #Constraints:      58836
2373.16/2379.07	c #Conflicts:     613000 | #Constraints:      59836
2373.16/2379.07	c #Conflicts:     614000 | #Constraints:      60836
2373.16/2379.07	c INPROCESSING
2373.16/2379.07	c GARBAGE COLLECT
2373.16/2379.07	c #Conflicts:     615000 | #Constraints:      33364
2373.16/2379.07	c #Conflicts:     616000 | #Constraints:      34364
2373.16/2379.07	c #Conflicts:     617000 | #Constraints:      35364
2373.16/2379.07	c #Conflicts:     618000 | #Constraints:      36364
2373.16/2379.07	c #Conflicts:     619000 | #Constraints:      37364
2373.16/2379.07	c #Conflicts:     620000 | #Constraints:      38364
2373.16/2379.07	c #Conflicts:     621000 | #Constraints:      39364
2373.16/2379.07	c #Conflicts:     622000 | #Constraints:      40364
2373.16/2379.07	c #Conflicts:     623000 | #Constraints:      41364
2373.16/2379.07	c #Conflicts:     624000 | #Constraints:      42364
2373.16/2379.07	c #Conflicts:     625000 | #Constraints:      43364
2373.16/2379.07	c #Conflicts:     626000 | #Constraints:      44364
2373.16/2379.07	c #Conflicts:     627000 | #Constraints:      45364
2373.16/2379.07	c #Conflicts:     628000 | #Constraints:      46364
2373.16/2379.07	c #Conflicts:     629000 | #Constraints:      47364
2373.16/2379.07	c #Conflicts:     630000 | #Constraints:      48364
2373.16/2379.07	c #Conflicts:     631000 | #Constraints:      49364
2373.16/2379.07	c #Conflicts:     632000 | #Constraints:      50364
2373.16/2379.07	c #Conflicts:     633000 | #Constraints:      51364
2373.16/2379.07	c INPROCESSING
2373.16/2379.07	c GARBAGE COLLECT
2373.16/2379.07	c #Conflicts:     634000 | #Constraints:      28780
2373.16/2379.07	c #Conflicts:     635000 | #Constraints:      29780
2373.16/2379.07	c #Conflicts:     636000 | #Constraints:      30780
2373.16/2379.07	c #Conflicts:     637000 | #Constraints:      31780
2373.16/2379.07	c #Conflicts:     638000 | #Constraints:      32780
2373.16/2379.07	c #Conflicts:     639000 | #Constraints:      33780
2373.16/2379.07	c #Conflicts:     640000 | #Constraints:      34780
2373.16/2379.07	c #Conflicts:     641000 | #Constraints:      35780
2373.16/2379.07	c #Conflicts:     642000 | #Constraints:      36780
2373.16/2379.07	c #Conflicts:     643000 | #Constraints:      37780
2373.16/2379.07	c #Conflicts:     644000 | #Constraints:      38780
2373.16/2379.07	c #Conflicts:     645000 | #Constraints:      39780
2373.16/2379.07	c #Conflicts:     646000 | #Constraints:      40780
2373.16/2379.07	c #Conflicts:     647000 | #Constraints:      41780
2373.16/2379.07	c #Conflicts:     648000 | #Constraints:      42780
2373.16/2379.07	c #Conflicts:     649000 | #Constraints:      43780
2373.16/2379.07	c #Conflicts:     650000 | #Constraints:      44780
2373.16/2379.07	c #Conflicts:     651000 | #Constraints:      45780
2373.16/2379.07	c #Conflicts:     652000 | #Constraints:      46780
2373.16/2379.07	c #Conflicts:     653000 | #Constraints:      47780
2373.16/2379.07	c #Conflicts:     654000 | #Constraints:      48780
2373.16/2379.07	c #Conflicts:     655000 | #Constraints:      49780
2373.16/2379.07	c #Conflicts:     656000 | #Constraints:      50780
2373.16/2379.07	c #Conflicts:     657000 | #Constraints:      51780
2373.16/2379.07	c #Conflicts:     658000 | #Constraints:      52780
2373.16/2379.07	c #Conflicts:     659000 | #Constraints:      53780
2373.16/2379.07	c #Conflicts:     660000 | #Constraints:      54780
2373.16/2379.07	c #Conflicts:     661000 | #Constraints:      55780
2373.16/2379.07	c #Conflicts:     662000 | #Constraints:      56780
2373.16/2379.07	c #Conflicts:     663000 | #Constraints:      57780
2373.16/2379.07	c #Conflicts:     664000 | #Constraints:      58780
2373.16/2379.07	c #Conflicts:     665000 | #Constraints:      59780
2373.16/2379.07	c #Conflicts:     666000 | #Constraints:      60780
2373.16/2379.07	c #Conflicts:     667000 | #Constraints:      61780
2373.16/2379.07	c #Conflicts:     668000 | #Constraints:      62780
2373.16/2379.07	c #Conflicts:     669000 | #Constraints:      63780
2373.16/2379.07	c #Conflicts:     670000 | #Constraints:      64780
2373.16/2379.07	c #Conflicts:     671000 | #Constraints:      65780
2373.16/2379.07	c #Conflicts:     672000 | #Constraints:      66780
2373.16/2379.07	c #Conflicts:     673000 | #Constraints:      67780
2373.16/2379.07	c #Conflicts:     674000 | #Constraints:      68780
2373.16/2379.07	c #Conflicts:     675000 | #Constraints:      69780
2373.16/2379.07	c #Conflicts:     676000 | #Constraints:      70780
2373.16/2379.07	c #Conflicts:     677000 | #Constraints:      71780
2373.16/2379.07	c #Conflicts:     678000 | #Constraints:      72780
2373.16/2379.07	c #Conflicts:     679000 | #Constraints:      73780
2373.16/2379.07	c #Conflicts:     680000 | #Constraints:      74780
2373.16/2379.07	c #Conflicts:     681000 | #Constraints:      75780
2373.16/2379.07	c #Conflicts:     682000 | #Constraints:      76780
2373.16/2379.07	c #Conflicts:     683000 | #Constraints:      77780
3000.97/3008.44	c #Conflicts:     684000 | #Constraints:      78780
3000.97/3008.44	c #Conflicts:     685000 | #Constraints:      79780
3000.97/3008.44	c #Conflicts:     686000 | #Constraints:      80780
3000.97/3008.44	c #Conflicts:     687000 | #Constraints:      81780
3000.97/3008.44	c #Conflicts:     688000 | #Constraints:      82780
3000.97/3008.44	c #Conflicts:     689000 | #Constraints:      83780
3000.97/3008.44	c #Conflicts:     690000 | #Constraints:      84780
3000.97/3008.44	c #Conflicts:     691000 | #Constraints:      85780
3000.97/3008.44	c #Conflicts:     692000 | #Constraints:      86780
3000.97/3008.44	c #Conflicts:     693000 | #Constraints:      87780
3000.97/3008.44	c INPROCESSING
3000.97/3008.44	c GARBAGE COLLECT
3000.97/3008.44	c #Conflicts:     694000 | #Constraints:      47280
3000.97/3008.44	c #Conflicts:     695000 | #Constraints:      48280
3000.97/3008.44	c #Conflicts:     696000 | #Constraints:      49280
3000.97/3008.44	c #Conflicts:     697000 | #Constraints:      50280
3000.97/3008.44	c #Conflicts:     698000 | #Constraints:      51280
3000.97/3008.44	c #Conflicts:     699000 | #Constraints:      52280
3000.97/3008.44	c #Conflicts:     700000 | #Constraints:      53280
3000.97/3008.44	c #Conflicts:     701000 | #Constraints:      54280
3000.97/3008.44	c #Conflicts:     702000 | #Constraints:      55280
3000.97/3008.44	c #Conflicts:     703000 | #Constraints:      56280
3000.97/3008.44	c #Conflicts:     704000 | #Constraints:      57280
3000.97/3008.44	c #Conflicts:     705000 | #Constraints:      58280
3000.97/3008.44	c #Conflicts:     706000 | #Constraints:      59280
3000.97/3008.44	c #Conflicts:     707000 | #Constraints:      60280
3000.97/3008.44	c #Conflicts:     708000 | #Constraints:      61280
3000.97/3008.44	c #Conflicts:     709000 | #Constraints:      62280
3000.97/3008.44	c #Conflicts:     710000 | #Constraints:      63280
3000.97/3008.44	c #Conflicts:     711000 | #Constraints:      64280
3000.97/3008.44	c #Conflicts:     712000 | #Constraints:      65280
3000.97/3008.44	c #Conflicts:     713000 | #Constraints:      66280
3000.97/3008.44	c INPROCESSING
3000.97/3008.44	c GARBAGE COLLECT
3000.97/3008.44	c #Conflicts:     714000 | #Constraints:      36548
3000.97/3008.44	c #Conflicts:     715000 | #Constraints:      37548
3000.97/3008.44	c #Conflicts:     716000 | #Constraints:      38548
3000.97/3008.44	c #Conflicts:     717000 | #Constraints:      39548
3000.97/3008.44	c #Conflicts:     718000 | #Constraints:      40548
3000.97/3008.44	c #Conflicts:     719000 | #Constraints:      41548
3000.97/3008.44	c #Conflicts:     720000 | #Constraints:      42548
3000.97/3008.44	c #Conflicts:     721000 | #Constraints:      43548
3000.97/3008.44	c #Conflicts:     722000 | #Constraints:      44548
3000.97/3008.44	c #Conflicts:     723000 | #Constraints:      45548
3000.97/3008.44	c #Conflicts:     724000 | #Constraints:      46548
3000.97/3008.44	c #Conflicts:     725000 | #Constraints:      47548
3000.97/3008.44	c #Conflicts:     726000 | #Constraints:      48548
3000.97/3008.44	c #Conflicts:     727000 | #Constraints:      49548
3000.97/3008.44	c #Conflicts:     728000 | #Constraints:      50548
3000.97/3008.44	c #Conflicts:     729000 | #Constraints:      51548
3000.97/3008.44	c #Conflicts:     730000 | #Constraints:      52548
3000.97/3008.44	c #Conflicts:     731000 | #Constraints:      53548
3000.97/3008.44	c #Conflicts:     732000 | #Constraints:      54548
3000.97/3008.44	c #Conflicts:     733000 | #Constraints:      55548
3000.97/3008.44	c INPROCESSING
3000.97/3008.44	c GARBAGE COLLECT
3000.97/3008.44	c #Conflicts:     734000 | #Constraints:      31079
3000.97/3008.44	c #Conflicts:     735000 | #Constraints:      32079
3000.97/3008.44	c #Conflicts:     736000 | #Constraints:      33079
3000.97/3008.44	c #Conflicts:     737000 | #Constraints:      34079
3000.97/3008.44	c #Conflicts:     738000 | #Constraints:      35079
3000.97/3008.44	c #Conflicts:     739000 | #Constraints:      36079
3000.97/3008.44	c #Conflicts:     740000 | #Constraints:      37079
3000.97/3008.44	c #Conflicts:     741000 | #Constraints:      38079
3000.97/3008.44	c #Conflicts:     742000 | #Constraints:      39079
3000.97/3008.44	c #Conflicts:     743000 | #Constraints:      40079
3000.97/3008.44	c #Conflicts:     744000 | #Constraints:      41079
3000.97/3008.44	c #Conflicts:     745000 | #Constraints:      42079
3000.97/3008.44	c #Conflicts:     746000 | #Constraints:      43079
3000.97/3008.44	c #Conflicts:     747000 | #Constraints:      44079
3000.97/3008.44	c #Conflicts:     748000 | #Constraints:      45079
3000.97/3008.44	c #Conflicts:     749000 | #Constraints:      46079
3000.97/3008.44	c #Conflicts:     750000 | #Constraints:      47079
3000.97/3008.44	c #Conflicts:     751000 | #Constraints:      48079
3000.97/3008.44	c #Conflicts:     752000 | #Constraints:      49079
3000.97/3008.44	c #Conflicts:     753000 | #Constraints:      50079
3000.97/3008.44	c #Conflicts:     754000 | #Constraints:      51079
3000.97/3008.44	c #Conflicts:     755000 | #Constraints:      52079
3000.97/3008.44	c #Conflicts:     756000 | #Constraints:      53079
3000.97/3008.44	c #Conflicts:     757000 | #Constraints:      54079
3000.97/3008.44	c #Conflicts:     758000 | #Constraints:      55079
3000.97/3008.44	c #Conflicts:     759000 | #Constraints:      56079
3000.97/3008.44	c #Conflicts:     760000 | #Constraints:      57079
3600.01/3608.90	c #Conflicts:     761000 | #Constraints:      58079
3600.01/3608.90	c #Conflicts:     762000 | #Constraints:      59079
3600.01/3608.90	c #Conflicts:     763000 | #Constraints:      60079
3600.01/3608.90	c #Conflicts:     764000 | #Constraints:      61079
3600.01/3608.90	c #Conflicts:     765000 | #Constraints:      62079
3600.01/3608.90	c #Conflicts:     766000 | #Constraints:      63079
3600.01/3608.90	c #Conflicts:     767000 | #Constraints:      64079
3600.01/3608.90	c #Conflicts:     768000 | #Constraints:      65079
3600.01/3608.90	c #Conflicts:     769000 | #Constraints:      66079
3600.01/3608.90	c #Conflicts:     770000 | #Constraints:      67079
3600.01/3608.90	c #Conflicts:     771000 | #Constraints:      68079
3600.01/3608.90	c #Conflicts:     772000 | #Constraints:      69079
3600.01/3608.90	c #Conflicts:     773000 | #Constraints:      70079
3600.01/3608.90	c #Conflicts:     774000 | #Constraints:      71079
3600.01/3608.90	c #Conflicts:     775000 | #Constraints:      72079
3600.01/3608.90	c #Conflicts:     776000 | #Constraints:      73079
3600.01/3608.90	c #Conflicts:     777000 | #Constraints:      74079
3600.01/3608.90	c #Conflicts:     778000 | #Constraints:      75079
3600.01/3608.90	c #Conflicts:     779000 | #Constraints:      76079
3600.01/3608.90	c #Conflicts:     780000 | #Constraints:      77079
3600.01/3608.90	c #Conflicts:     781000 | #Constraints:      78079
3600.01/3608.90	c #Conflicts:     782000 | #Constraints:      79079
3600.01/3608.90	c #Conflicts:     783000 | #Constraints:      80079
3600.01/3608.90	c #Conflicts:     784000 | #Constraints:      81079
3600.01/3608.90	c #Conflicts:     785000 | #Constraints:      82079
3600.01/3608.90	c #Conflicts:     786000 | #Constraints:      83079
3600.01/3608.90	c #Conflicts:     787000 | #Constraints:      84079
3600.01/3608.90	c #Conflicts:     788000 | #Constraints:      85079
3600.01/3608.90	c #Conflicts:     789000 | #Constraints:      86079
3600.01/3608.90	c #Conflicts:     790000 | #Constraints:      87079
3600.01/3608.90	c #Conflicts:     791000 | #Constraints:      88079
3600.01/3608.90	c #Conflicts:     792000 | #Constraints:      89079
3600.01/3608.90	c #Conflicts:     793000 | #Constraints:      90079
3600.01/3608.90	c #Conflicts:     794000 | #Constraints:      91079
3600.01/3608.90	c #Conflicts:     795000 | #Constraints:      92079
3600.01/3608.90	c #Conflicts:     796000 | #Constraints:      93079
3600.01/3608.90	c INPROCESSING
3600.01/3608.90	c GARBAGE COLLECT
3600.01/3608.90	c #Conflicts:     797000 | #Constraints:      49543
3600.01/3608.90	c #Conflicts:     798000 | #Constraints:      50543
3600.01/3608.90	c #Conflicts:     799000 | #Constraints:      51543
3600.01/3608.90	c #Conflicts:     800000 | #Constraints:      52543
3600.01/3608.90	c #Conflicts:     801000 | #Constraints:      53543
3600.01/3608.90	c #Conflicts:     802000 | #Constraints:      54543
3600.01/3608.90	c #Conflicts:     803000 | #Constraints:      55543
3600.01/3608.90	c #Conflicts:     804000 | #Constraints:      56543
3600.01/3608.90	c #Conflicts:     805000 | #Constraints:      57543
3600.01/3608.90	c #Conflicts:     806000 | #Constraints:      58543
3600.01/3608.90	c #Conflicts:     807000 | #Constraints:      59543
3600.01/3608.90	c #Conflicts:     808000 | #Constraints:      60543
3600.01/3608.90	c #Conflicts:     809000 | #Constraints:      61543
3600.01/3608.90	c #Conflicts:     810000 | #Constraints:      62543
3600.01/3608.90	c #Conflicts:     811000 | #Constraints:      63543
3600.01/3608.90	c #Conflicts:     812000 | #Constraints:      64543
3600.01/3608.90	c #Conflicts:     813000 | #Constraints:      65543
3600.01/3608.90	c Program interrupted by user.
3600.01/3608.90	c cpu time 3593.28 s
3600.01/3608.90	c deterministic time 276116813764 2.76e+11
3600.01/3608.90	c optimization time 190.281 s
3600.01/3608.90	c total solve time 3402.99 s
3600.01/3608.90	c core-guided solve time 3402.99 s
3600.01/3608.90	c propagation time 2998.11 s
3600.01/3608.90	c conflict analysis time 579.558 s
3600.01/3608.90	c propagations 116618395
3600.01/3608.90	c resolve steps 17924163
3600.01/3608.90	c decisions 3677348
3600.01/3608.90	c conflicts 813442
3600.01/3608.90	c restarts 1753
3600.01/3608.90	c inprocessing phases 48
3600.01/3608.90	c input clauses 2689
3600.01/3608.90	c input cardinalities 278
3600.01/3608.90	c input general constraints 1708
3600.01/3608.90	c input average constraint length 5.35
3600.01/3608.90	c input average constraint degree 3.11
3600.01/3608.90	c learned clauses 602443
3600.01/3608.90	c learned cardinalities 3765
3600.01/3608.90	c learned general constraints 207239
3600.01/3608.90	c learned average constraint length 89.99
3600.01/3608.90	c learned average constraint degree 7437.86
3600.01/3608.90	c watched constraints 148888
3600.01/3608.90	c counting constraints 60059
3600.01/3608.90	c gcd simplifications 975
3600.01/3608.90	c detected cardinalities 6
3600.01/3608.90	c weakened non-implied lits 13387855
3600.01/3608.90	c weakened non-implying lits 4170
3600.01/3608.90	c original variables 540
3600.01/3608.90	c clausal propagations 53787113
3600.01/3608.90	c cardinality propagations 41680718
3600.01/3608.90	c watched propagations 6005246
3600.01/3608.90	c counting propagations 14521411
3600.01/3608.90	c watch lookups 90297537697
3600.01/3608.90	c watch backjump lookups 84889011518
3600.01/3608.90	c watch checks 88064264991
3600.01/3608.90	c propagation checks 12341369965
3600.01/3608.90	c constraint additions 283225010
3600.01/3608.90	c trail pops 121108839
3600.01/3608.90	c formula constraints 4626
3600.01/3608.90	c learned constraints 813447
3600.01/3608.90	c bound constraints 14
3600.01/3608.90	c core-guided constraints 35
3600.01/3608.90	c encountered formula constraints 9051545
3600.01/3608.90	c encountered learned constraints 9671522
3600.01/3608.90	c encountered bound constraints 830
3600.01/3608.90	c encountered core-guided constraints 13708
3600.01/3608.90	c LP total time 0 s
3600.01/3608.90	c LP solve time 0 s
3600.01/3608.90	c LP constraints added 0
3600.01/3608.90	c LP constraints removed 0
3600.01/3608.90	c LP pivots internal 0
3600.01/3608.90	c LP pivots root 0
3600.01/3608.90	c LP calls 0
3600.01/3608.90	c LP optimalities 0
3600.01/3608.90	c LP no pivot count 0
3600.01/3608.90	c LP infeasibilities 0
3600.01/3608.90	c LP valid Farkas constraints 0
3600.01/3608.90	c LP learned Farkas constraints 0
3600.01/3608.90	c LP basis resets 0
3600.01/3608.90	c LP cycling count 0
3600.01/3608.90	c LP singular count 0
3600.01/3608.90	c LP no primal count 0
3600.01/3608.90	c LP no farkas count 0
3600.01/3608.90	c LP other issue count 0
3600.01/3608.90	c LP Gomory cuts 0
3600.01/3608.90	c LP learned cuts 0
3600.01/3608.90	c LP deleted cuts 0
3600.01/3608.90	c LP encountered Gomory constraints 0
3600.01/3608.90	c LP encountered Farkas constraints 0
3600.01/3608.90	c LP encountered learned Farkas constraints 0
3600.01/3608.90	c CG auxiliary variables introduced 14
3600.01/3608.90	c CG solutions found 1
3600.01/3608.90	c CG cores constructed 9
3600.01/3608.90	c CG core cardinality constraints returned 0
3600.01/3608.90	c CG unit cores 0
3600.01/3608.90	c CG single cores 9
3600.01/3608.90	c CG blocks removed during cardinality reduction 0
3600.01/3608.90	c CG first core best 0
3600.01/3608.90	c CG decision core best 0
3600.01/3608.90	c CG core reduction tie 0
3600.01/3608.90	c CG core degree average 1.00
3600.01/3608.90	c CG core slack average 11.67
3600.01/3608.90	c CG exhausted 0
3600.01/3608.90	c CG exhaust time 0.467757 s
3600.01/3608.90	c CG trimmed 0
3600.01/3608.90	c CG trim time 0.000135 s
3600.01/3608.90	c CG minimized 0
3600.01/3608.90	c CG minimize time 0 s
3600.01/3608.90	c CG am1 prop time 6.7e-05 s
3600.01/3608.90	c CG # am1s reformulated 0
3600.01/3608.90	c CG lower bound derived from am1s 0
3600.01/3608.90	c CG # clausal cores 9
3600.01/3608.90	c CG # cardinality cores 0
3600.01/3608.90	c CG # pb cores 0
3600.01/3608.90	c CG # pb reforms 0
3600.01/3608.90	c CG # cores discarded because of pb reform 0
3600.01/3608.90	d LOWERBOUND 18
3600.01/3608.90	d NCORES 9
3600.01/3608.90	d NPBCORES 0
3600.01/3608.90	d NPBREFORM 0
3600.01/3608.90	d NTRIMMED 0
3600.01/3608.90	d NEXHAUSTED 0
3600.01/3608.90	d NAM1S 0
3600.01/3608.90	d AM1LB 0
3600.01/3608.90	o 70
3600.01/3608.90	s SATISFIABLE
3600.01/3608.90	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

Verifier Data 

OK	70

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: 63931 MiB (61078 MiB free)
  memory of node 1: 64510 MiB (62981 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454280-1721453300/watcher-4454280-1721453300 -o /tmp/evaluation-result-4454280-1721453300/solver-4454280-1721453300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760 pb-oll-rs HOME/instance-4454280-1721453300.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=1064029, runsolver pid=1064026

[startup+0.100267 s]*
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127034500/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=39324 memory=7060 CPUtime=0.09 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 595 0 0 0 9 0 0 0 20 0 1 0 197494126 40267776 1765 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 9831 1765 1377 291 0 1365 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 7060 KiB

[startup+0.205369 s]*
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127033952/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=39580 memory=7620 CPUtime=0.2 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 702 0 0 0 19 1 0 0 20 0 1 0 197494126 40529920 1905 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 9895 1905 1377 291 0 1429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 7620 KiB

[startup+0.304709 s]*
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127031344/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=39936 memory=10308 CPUtime=0.29 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 807 0 0 0 28 1 0 0 20 0 1 0 197494126 40894464 2577 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 9984 2577 1439 291 0 1518 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39936 KiB
Current children cumulated memory: 10308 KiB

[startup+0.700147 s]
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127029100/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=40208 memory=10308 CPUtime=0.69 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 871 0 0 0 66 3 0 0 20 0 1 0 197494126 41172992 2577 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 10052 2577 1439 291 0 1586 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40208 KiB
Current children cumulated memory: 10308 KiB

[startup+1.50016 s]
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127025940/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=41016 memory=11368 CPUtime=1.48 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 1072 0 0 0 143 5 0 0 20 0 1 0 197494126 42000384 2842 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 10254 2842 1439 291 0 1788 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 11368 KiB

[startup+3.10515 s]
/proc/loadavg: 4.42 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127021280/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=42072 memory=12284 CPUtime=3.08 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 1318 0 0 0 298 10 0 0 20 0 1 0 197494126 43081728 3071 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 10518 3071 1439 291 0 2052 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 12284 KiB

[startup+6.30015 s]
/proc/loadavg: 4.39 4.20 4.16 5/258 1064030
/proc/meminfo: memFree=127019684/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=42956 memory=13440 CPUtime=6.27 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 1640 0 0 0 610 17 0 0 20 0 1 0 197494126 43986944 3360 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 10739 3360 1439 291 0 2273 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42956 KiB
Current children cumulated memory: 13440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.36 4.19 4.16 5/258 1064031
/proc/meminfo: memFree=127010472/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=53016 memory=21888 CPUtime=12.66 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 3279 0 0 0 1240 26 0 0 20 0 1 0 197494126 54288384 5472 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 13254 5472 1439 291 0 4788 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 21888 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.18 4.15 5/258 1064033
/proc/meminfo: memFree=126994940/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=53156 memory=22384 CPUtime=25.43 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 3547 0 0 0 2502 41 0 0 20 0 1 0 197494126 54431744 5596 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 13289 5596 1439 291 0 4823 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 53156 KiB
Current children cumulated memory: 22384 KiB

[startup+51.1054 s]
/proc/loadavg: 4.18 4.17 4.15 5/258 1064037
/proc/meminfo: memFree=126968688/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=64312 memory=27964 CPUtime=50.96 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 4511 0 0 0 5036 60 0 0 20 0 1 0 197494126 65855488 6991 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 16078 6991 1439 291 0 7612 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 64312 KiB
Current children cumulated memory: 27964 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/259 1064047
/proc/meminfo: memFree=126927332/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=66936 memory=34264 CPUtime=102.04 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 5220 0 0 0 10113 91 0 0 20 0 1 0 197494126 68542464 8566 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 16734 8566 1439 291 0 8268 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 66936 KiB
Current children cumulated memory: 34264 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/260 1064118
/proc/meminfo: memFree=126886124/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=82864 memory=43516 CPUtime=161.9 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 6626 0 0 0 16074 116 0 0 20 0 1 0 197494126 84852736 10879 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 20716 10879 1439 291 0 12250 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 82864 KiB
Current children cumulated memory: 43516 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/260 1064128
/proc/meminfo: memFree=126847960/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=84016 memory=44288 CPUtime=221.75 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 6824 0 0 0 22028 147 0 0 20 0 1 0 197494126 86032384 11072 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 21004 11072 1439 291 0 12538 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 84016 KiB
Current children cumulated memory: 44288 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.13 5/260 1064138
/proc/meminfo: memFree=126822536/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=87696 memory=51508 CPUtime=281.59 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 7644 0 0 0 27992 167 0 0 20 0 1 0 197494126 89800704 12877 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 21924 12877 1439 291 0 13458 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 87696 KiB
Current children cumulated memory: 51508 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/259 1064150
/proc/meminfo: memFree=126795784/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=88096 memory=52164 CPUtime=341.43 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 8042 0 0 0 33957 186 0 0 20 0 1 0 197494126 90210304 13041 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 22024 13041 1439 291 0 13558 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 88096 KiB
Current children cumulated memory: 52164 KiB

[startup+402.3 s]
/proc/loadavg: 4.47 4.21 4.15 5/259 1064160
/proc/meminfo: memFree=126782404/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=88096 memory=52164 CPUtime=401.28 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 8062 0 0 0 39916 212 0 0 20 0 1 0 197494126 90210304 13041 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 22024 13041 1439 291 0 13558 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 88096 KiB
Current children cumulated memory: 52164 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.20 4.15 5/254 1064170
/proc/meminfo: memFree=126758196/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=89028 memory=53436 CPUtime=461.13 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 8388 0 0 0 45887 226 0 0 20 0 1 0 197494126 91164672 13359 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 22257 13359 1439 291 0 13791 0

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

Current children cumulated memory: 101376 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/254 1065181
/proc/meminfo: memFree=126323540/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=2915.08 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15695 0 0 0 290913 595 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/254 1065192
/proc/meminfo: memFree=126320012/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=2974.94 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15732 0 0 0 296891 603 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/254 1065202
/proc/meminfo: memFree=126316924/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=3034.8 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15771 0 0 0 302870 610 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 3034.8 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/254 1065212
/proc/meminfo: memFree=126313420/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=3094.66 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15812 0 0 0 308849 617 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/256 1065227
/proc/meminfo: memFree=126307204/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=3154.52 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15855 0 0 0 314829 623 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/256 1065237
/proc/meminfo: memFree=126299744/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130852 memory=101488 CPUtime=3214.37 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15898 0 0 0 320809 628 0 0 20 0 1 0 197494126 133992448 25372 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32713 25372 1439 291 0 24247 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1065247
/proc/meminfo: memFree=126278628/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=130996 memory=101544 CPUtime=3274.22 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 15980 0 0 0 326788 634 0 0 20 0 1 0 197494126 134139904 25386 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 32749 25386 1439 291 0 24283 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 130996 KiB
Current children cumulated memory: 101544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 1065259
/proc/meminfo: memFree=126235320/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=171032 memory=109528 CPUtime=3334.05 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 17493 0 0 0 332764 641 0 0 20 0 1 0 197494126 175136768 27382 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 42758 27382 1439 291 0 34292 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 171032 KiB
Current children cumulated memory: 109528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1065651
/proc/meminfo: memFree=126227604/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=113332 CPUtime=3393.91 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 17967 0 0 0 338744 647 0 0 20 0 1 0 197494126 178282496 28333 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28333 1439 291 0 35060 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 113332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1065662
/proc/meminfo: memFree=126210944/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=115772 CPUtime=3453.76 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 18326 0 0 0 344722 654 0 0 20 0 1 0 197494126 178282496 28943 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28943 1439 291 0 35060 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 115772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1065672
/proc/meminfo: memFree=126208420/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=115772 CPUtime=3513.62 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 18347 0 0 0 350700 662 0 0 20 0 1 0 197494126 178282496 28943 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28943 1439 291 0 35060 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 115772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.03 4.08 4.08 3/243 1065914
/proc/meminfo: memFree=126693984/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=115788 CPUtime=3573.48 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 18371 0 0 0 356679 669 0 0 20 0 1 0 197494126 178282496 28947 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28947 1439 291 0 35060 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 115788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 3.00 3.83 4.00 2/236 1065948
/proc/meminfo: memFree=126991112/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=115788 CPUtime=3600.01 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 18392 0 0 0 359327 674 0 0 20 0 1 0 197494126 178282496 28947 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28947 1439 291 0 35060 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 115788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.28 s, system=6.74459 s

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

[startup+3608.9 s]
/proc/loadavg: 3.00 3.83 4.00 2/236 1065948
/proc/meminfo: memFree=126991112/131524600 swapFree=131071996/131071996
[pid=1064029] ppid=1064026 vsize=174104 memory=115788 CPUtime=3600.01 cores=5,7
/proc/1064029/stat : 1064029 (pb-oll-rs) R 1064026 1064029 1059483 0 -1 4194304 18392 0 0 0 359327 674 0 0 20 0 1 0 197494126 178282496 28947 134679101440 4194304 5384485 140734034186576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10584064 140734034195477 140734034195554 140734034195554 140734034202571 0
/proc/1064029/statm: 43526 28947 1439 291 0 35060 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 174104 KiB
Current children cumulated memory: 115788 KiB

Child status: 0

Real time (s): 3608.9
CPU time (s): 3600.03
CPU user time (s): 3593.28
CPU system time (s): 6.74459
CPU usage (%): 99.754
Max. virtual memory (cumulated for all children) (KiB): 174472
Max. memory (cumulated for all children) (KiB): 115788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.28
system time used= 6.74459
maximum resident set size= 116696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18407
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= 35
involuntary context switches= 1942


# summary of solver processes directly reported to runsolver:
#   pid: 1064029
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3593.28
#   total CPU system time (s): 6.74459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19037 second user time and 14.1208 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 07:28:32
IDJOB=4454280
IDBENCH=147020
IDSOLVER=3082
FILE ID=nodeC022/4454280-1721453300
RUNJOBID= nodeC022-1721446059-1059496
SLURM_JOB_ID= 7545669
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454280-1721453300/watcher-4454280-1721453300 -o /tmp/evaluation-result-4454280-1721453300/solver-4454280-1721453300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059496 --watchdog 3760  pb-oll-rs HOME/instance-4454280-1721453300.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=696669265

nodeC022.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		: 3670.435
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	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127036832 kB
MemAvailable:   129607976 kB
Buffers:          540424 kB
Cached:          2855448 kB
SwapCached:            0 kB
Active:          1246604 kB
Inactive:        2584012 kB
Active(anon):       1548 kB
Inactive(anon):   479100 kB
Active(file):    1245056 kB
Inactive(file):  2104912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10376 kB
Writeback:             0 kB
AnonPages:        434108 kB
Mapped:           111920 kB
Shmem:             45912 kB
KReclaimable:     121648 kB
Slab:             238208 kB
SReclaimable:     121648 kB
SUnreclaim:       116560 kB
KernelStack:        4160 kB
PageTables:        10388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     795316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC022 at 2024-07-20 08:28:41