Trace number 4435838

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-02SAT (TO)70 3600.04 3611.81

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435838-1721077410/watcher-4435838-1721077410 -o /tmp/evaluation-result-4435838-1721077410/solver-4435838-1721077410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760 pb-oll-rs HOME/instance-4435838-1721077410.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=811920, runsolver pid=811917

[startup+0.100092 s]*
/proc/loadavg: 4.38 4.35 4.23 5/245 811921
/proc/meminfo: memFree=129791720/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=39452 memory=7328 CPUtime=0.1 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 604 0 0 0 9 1 0 0 20 0 1 0 159897447 40398848 1832 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 9863 1832 1393 291 0 1397 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 7328 KiB

[startup+0.212654 s]*
/proc/loadavg: 4.38 4.35 4.23 5/245 811921
/proc/meminfo: memFree=129790704/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=39580 memory=7684 CPUtime=0.21 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 704 0 0 0 20 1 0 0 20 0 1 0 159897447 40529920 1921 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 9895 1921 1393 291 0 1429 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39580 KiB
Current children cumulated memory: 7684 KiB

[startup+0.312064 s]*
/proc/loadavg: 4.35 4.34 4.23 6/245 811921
/proc/meminfo: memFree=129787432/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=39936 memory=10604 CPUtime=0.31 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 875 0 0 0 30 1 0 0 20 0 1 0 159897447 40894464 2651 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 9984 2651 1444 291 0 1518 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39936 KiB
Current children cumulated memory: 10604 KiB

[startup+0.700242 s]
/proc/loadavg: 4.35 4.34 4.23 5/245 811921
/proc/meminfo: memFree=129787292/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=40208 memory=10604 CPUtime=0.69 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 939 0 0 0 66 3 0 0 20 0 1 0 159897447 41172992 2651 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 10052 2651 1444 291 0 1586 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40208 KiB
Current children cumulated memory: 10604 KiB

[startup+1.50025 s]
/proc/loadavg: 4.35 4.34 4.23 5/245 811921
/proc/meminfo: memFree=129786556/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=41016 memory=11664 CPUtime=1.49 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 1140 0 0 0 143 6 0 0 20 0 1 0 159897447 42000384 2916 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 10254 2916 1444 291 0 1788 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41016 KiB
Current children cumulated memory: 11664 KiB

[startup+3.11302 s]
/proc/loadavg: 4.35 4.34 4.23 5/245 811923
/proc/meminfo: memFree=129777852/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=42072 memory=12580 CPUtime=3.1 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 1386 0 0 0 300 10 0 0 20 0 1 0 159897447 43081728 3145 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 10518 3145 1444 291 0 2052 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 12580 KiB

[startup+6.30024 s]
/proc/loadavg: 4.32 4.33 4.23 5/245 811923
/proc/meminfo: memFree=129773944/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=42956 memory=13460 CPUtime=6.27 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 1639 0 0 0 609 18 0 0 20 0 1 0 159897447 43986944 3365 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 10739 3365 1444 291 0 2273 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42956 KiB
Current children cumulated memory: 13460 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.34 4.23 5/243 811924
/proc/meminfo: memFree=129760856/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=52872 memory=19864 CPUtime=12.65 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 3300 0 0 0 1239 26 0 0 20 0 1 0 159897447 54140928 4966 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 13218 4966 1444 291 0 4752 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52872 KiB
Current children cumulated memory: 19864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.32 4.33 4.23 5/243 811926
/proc/meminfo: memFree=129748644/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=53156 memory=22680 CPUtime=25.41 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 3610 0 0 0 2498 43 0 0 20 0 1 0 159897447 54431744 5670 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 13289 5670 1444 291 0 4823 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 53156 KiB
Current children cumulated memory: 22680 KiB

[startup+51.1123 s]
/proc/loadavg: 4.19 4.30 4.22 5/243 811929
/proc/meminfo: memFree=129716104/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=64312 memory=30300 CPUtime=50.94 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 4998 0 0 0 5033 61 0 0 20 0 1 0 159897447 65855488 7575 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 16078 7575 1444 291 0 7612 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 64312 KiB
Current children cumulated memory: 30300 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.28 4.22 5/243 811940
/proc/meminfo: memFree=129676508/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=66936 memory=34336 CPUtime=101.97 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 5751 0 0 0 10106 91 0 0 20 0 1 0 159897447 68542464 8584 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 16734 8584 1444 291 0 8268 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 66936 KiB
Current children cumulated memory: 34336 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.26 4.21 5/241 811951
/proc/meminfo: memFree=129632760/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=82864 memory=43772 CPUtime=161.78 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 7201 0 0 0 16055 123 0 0 20 0 1 0 159897447 84852736 10943 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 20716 10943 1444 291 0 12250 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 82864 KiB
Current children cumulated memory: 43772 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.23 4.20 5/241 811961
/proc/meminfo: memFree=129596424/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=84016 memory=44544 CPUtime=221.56 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 7401 0 0 0 21997 159 0 0 20 0 1 0 159897447 86032384 11136 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 21004 11136 1444 291 0 12538 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 84016 KiB
Current children cumulated memory: 44544 KiB

[startup+282.3 s]
/proc/loadavg: 4.60 4.33 4.24 5/241 811971
/proc/meminfo: memFree=129562460/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=87760 memory=52124 CPUtime=281.35 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 8428 0 0 0 27954 181 0 0 20 0 1 0 159897447 89866240 13031 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 21940 13031 1444 291 0 13474 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 87760 KiB
Current children cumulated memory: 52124 KiB

[startup+342.3 s]
/proc/loadavg: 4.62 4.40 4.27 5/241 811982
/proc/meminfo: memFree=129527376/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=88096 memory=52448 CPUtime=341.13 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 8624 0 0 0 33908 205 0 0 20 0 1 0 159897447 90210304 13112 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 22024 13112 1444 291 0 13558 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 88096 KiB
Current children cumulated memory: 52448 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 4.34 4.26 5/241 811992
/proc/meminfo: memFree=129511056/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=88096 memory=54936 CPUtime=400.9 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 8657 0 0 0 39856 234 0 0 20 0 1 0 159897447 90210304 13734 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 22024 13734 1444 291 0 13558 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 88096 KiB
Current children cumulated memory: 54936 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.31 4.25 5/243 812006
/proc/meminfo: memFree=129495808/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=89220 memory=57604 CPUtime=460.71 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 8846 0 0 0 45824 247 0 0 20 0 1 0 159897447 91361280 14401 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 22305 14401 1444 291 0 13839 0

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

Current children cumulated memory: 99336 KiB

[startup+2862.3 s]
/proc/loadavg: 4.68 4.28 4.19 5/244 813053
/proc/meminfo: memFree=129056908/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=129972 memory=99476 CPUtime=2852.96 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 15792 0 0 0 284668 628 0 0 20 0 1 0 159897447 133091328 24869 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32493 24869 1444 291 0 24027 0
Current children cumulated CPU time: 2852.96 s
Current children cumulated vsize: 129972 KiB
Current children cumulated memory: 99476 KiB

[startup+2922.3 s]
/proc/loadavg: 4.59 4.31 4.20 5/244 813064
/proc/meminfo: memFree=129052644/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101564 CPUtime=2912.77 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16017 0 0 0 290639 638 0 0 20 0 1 0 159897447 133992448 25391 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25391 1444 291 0 24247 0
Current children cumulated CPU time: 2912.77 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101564 KiB

[startup+2982.3 s]
/proc/loadavg: 4.32 4.29 4.20 5/244 813074
/proc/meminfo: memFree=129051032/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101672 CPUtime=2972.57 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16054 0 0 0 296611 646 0 0 20 0 1 0 159897447 133992448 25418 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25418 1444 291 0 24247 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.25 4.19 5/244 813084
/proc/meminfo: memFree=129049756/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101672 CPUtime=3032.38 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16121 0 0 0 302584 654 0 0 20 0 1 0 159897447 133992448 25418 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25418 1444 291 0 24247 0
Current children cumulated CPU time: 3032.38 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.22 4.18 5/244 813095
/proc/meminfo: memFree=129046672/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101672 CPUtime=3092.19 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16155 0 0 0 308553 666 0 0 20 0 1 0 159897447 133992448 25418 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25418 1444 291 0 24247 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/242 813488
/proc/meminfo: memFree=129043236/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3152 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16192 0 0 0 314523 677 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3152 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/242 813498
/proc/meminfo: memFree=129039904/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3211.8 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16231 0 0 0 320496 684 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/242 813508
/proc/meminfo: memFree=129031348/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3271.6 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16272 0 0 0 326469 691 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/244 813689
/proc/meminfo: memFree=129017092/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3331.41 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16313 0 0 0 332443 698 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/244 813699
/proc/meminfo: memFree=128979248/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3391.22 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16357 0 0 0 338417 705 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3391.22 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/245 813728
/proc/meminfo: memFree=128968544/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130852 memory=101784 CPUtime=3451.03 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16401 0 0 0 344392 711 0 0 20 0 1 0 159897447 133992448 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32713 25446 1444 291 0 24247 0
Current children cumulated CPU time: 3451.03 s
Current children cumulated vsize: 130852 KiB
Current children cumulated memory: 101784 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/245 813739
/proc/meminfo: memFree=128962008/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=130996 memory=101784 CPUtime=3510.83 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 16484 0 0 0 350367 716 0 0 20 0 1 0 159897447 134139904 25446 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 32749 25446 1444 291 0 24283 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 130996 KiB
Current children cumulated memory: 101784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/245 813749
/proc/meminfo: memFree=128940756/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=171032 memory=110080 CPUtime=3570.62 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 18060 0 0 0 356339 723 0 0 20 0 1 0 159897447 175136768 27520 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 42758 27520 1444 291 0 34292 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 171032 KiB
Current children cumulated memory: 110080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 3.71 4.05 4.13 2/224 813845
/proc/meminfo: memFree=129723476/131655788 swapFree=131071996/131071996
[pid=811920] ppid=811917 vsize=173080 memory=111324 CPUtime=3600.03 cores=0,2
/proc/811920/stat : 811920 (pb-oll-rs) R 811917 811920 807773 0 -1 4194304 18374 0 0 0 359275 728 0 0 20 0 1 0 159897447 177233920 27831 134679101440 4194304 5384005 140728530514672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 9883648 140728530519063 140728530519140 140728530519140 140728530526155 0
/proc/811920/statm: 43270 27831 1444 291 0 34804 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 173080 KiB
Current children cumulated memory: 111324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.76 s, system=7.28235 s

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

Child status: 0

Real time (s): 3611.81
CPU time (s): 3600.04
CPU user time (s): 3592.76
CPU system time (s): 7.28235
CPU usage (%): 99.6743
Max. virtual memory (cumulated for all children) (KiB): 173080
Max. memory (cumulated for all children) (KiB): 111324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.76
system time used= 7.28235
maximum resident set size= 111324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 24657


# summary of solver processes directly reported to runsolver:
#   pid: 811920
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.76
#   total CPU system time (s): 7.28235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4586 second user time and 35.112 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 23:03:42
IDJOB=4435838
IDBENCH=147020
IDSOLVER=3067
FILE ID=nodeC008/4435838-1721077410
RUNJOBID= nodeC008-1721070197-807783
SLURM_JOB_ID= 7505525
Free space on /tmp= 723760 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4435838-1721077410/watcher-4435838-1721077410 -o /tmp/evaluation-result-4435838-1721077410/solver-4435838-1721077410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721070197-807783 --watchdog 3760  pb-oll-rs HOME/instance-4435838-1721077410.opb

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

MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=139798137

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.979
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.899
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.441
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3654.873
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3652.995
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.448
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.364
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129794308 kB
MemAvailable:   129949504 kB
Buffers:          390720 kB
Cached:           609580 kB
SwapCached:            0 kB
Active:           621532 kB
Inactive:         724940 kB
Active(anon):       1508 kB
Inactive(anon):   382376 kB
Active(file):     620024 kB
Inactive(file):   342564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13136 kB
Writeback:            16 kB
AnonPages:        346248 kB
Mapped:           107680 kB
Shmem:             37704 kB
KReclaimable:      65280 kB
Slab:             158496 kB
SReclaimable:      65280 kB
SUnreclaim:        93216 kB
KernelStack:        4032 kB
PageTables:        10060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     781944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-16 00:03:54