Trace number 4454281

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19SAT (TO)162 3600.06 3609.6

DiagnosticValue
AM1LB0
LOWERBOUND26
NAM1S0
NCORES9
NEXHAUSTED0
NPBCORES0
NPBREFORM8
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
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 benchmark136
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 variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.06	c [STEP] solving
0.00/0.06	c #variables 1344 #constraints 16376
0.00/0.06	c SMALL=int, LARGE=long long
0.00/0.06	c bounds - >= 0 @ 0.046035
0.00/0.06	c stratification level: 3
0.09/0.18	c bounds - >= 3 @ 0.054865
0.09/0.18	c bounds - >= 6 @ 0.069372
0.09/0.18	c #Conflicts:       1000 | #Constraints:      17377
0.09/0.18	c bounds - >= 9 @ 0.08517
0.09/0.18	c bounds - >= 12 @ 0.101762
0.09/0.18	c #Conflicts:       2000 | #Constraints:      18379
0.09/0.18	c INPROCESSING
0.09/0.18	c bounds - >= 15 @ 0.111936
0.09/0.18	c bounds - >= 18 @ 0.12157
0.09/0.18	c bounds - >= 21 @ 0.133999
0.09/0.18	c #Conflicts:       3000 | #Constraints:      18390
0.09/0.18	c bounds - >= 24 @ 0.149066
0.09/0.18	c finalizing WCE round: reformulating cores
11.96/12.05	c #Conflicts:       4000 | #Constraints:      19394
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:       5000 | #Constraints:      18805
11.96/12.05	c #Conflicts:       6000 | #Constraints:      19807
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:       7000 | #Constraints:      18816
11.96/12.05	c #Conflicts:       8000 | #Constraints:      19818
11.96/12.05	c #Conflicts:       9000 | #Constraints:      20825
11.96/12.05	c bounds 174 >= 24 @ 0.883537
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      10000 | #Constraints:      19526
11.96/12.05	c #Conflicts:      11000 | #Constraints:      20526
11.96/12.05	c #Conflicts:      12000 | #Constraints:      21526
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      13000 | #Constraints:      19979
11.96/12.05	c #Conflicts:      14000 | #Constraints:      20979
11.96/12.05	c #Conflicts:      15000 | #Constraints:      21979
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      16000 | #Constraints:      20225
11.96/12.05	c #Conflicts:      17000 | #Constraints:      21225
11.96/12.05	c #Conflicts:      18000 | #Constraints:      22225
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      19000 | #Constraints:      20245
11.96/12.05	c #Conflicts:      20000 | #Constraints:      21245
11.96/12.05	c #Conflicts:      21000 | #Constraints:      22245
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      22000 | #Constraints:      20041
11.96/12.05	c #Conflicts:      23000 | #Constraints:      21041
11.96/12.05	c #Conflicts:      24000 | #Constraints:      22041
11.96/12.05	c #Conflicts:      25000 | #Constraints:      23041
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      26000 | #Constraints:      20646
11.96/12.05	c #Conflicts:      27000 | #Constraints:      21646
11.96/12.05	c #Conflicts:      28000 | #Constraints:      22646
11.96/12.05	c #Conflicts:      29000 | #Constraints:      23646
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      30000 | #Constraints:      21043
11.96/12.05	c #Conflicts:      31000 | #Constraints:      22043
11.96/12.05	c #Conflicts:      32000 | #Constraints:      23043
11.96/12.05	c #Conflicts:      33000 | #Constraints:      24043
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      34000 | #Constraints:      21241
11.96/12.05	c #Conflicts:      35000 | #Constraints:      22241
11.96/12.05	c #Conflicts:      36000 | #Constraints:      23241
11.96/12.05	c #Conflicts:      37000 | #Constraints:      24241
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      38000 | #Constraints:      21256
11.96/12.05	c #Conflicts:      39000 | #Constraints:      22256
11.96/12.05	c #Conflicts:      40000 | #Constraints:      23256
11.96/12.05	c #Conflicts:      41000 | #Constraints:      24256
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      42000 | #Constraints:      21072
11.96/12.05	c #Conflicts:      43000 | #Constraints:      22072
11.96/12.05	c #Conflicts:      44000 | #Constraints:      23072
11.96/12.05	c #Conflicts:      45000 | #Constraints:      24072
11.96/12.05	c #Conflicts:      46000 | #Constraints:      25072
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      47000 | #Constraints:      21667
11.96/12.05	c #Conflicts:      48000 | #Constraints:      22667
11.96/12.05	c #Conflicts:      49000 | #Constraints:      23667
11.96/12.05	c #Conflicts:      50000 | #Constraints:      24667
11.96/12.05	c #Conflicts:      51000 | #Constraints:      25667
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      52000 | #Constraints:      22063
11.96/12.05	c #Conflicts:      53000 | #Constraints:      23063
11.96/12.05	c #Conflicts:      54000 | #Constraints:      24063
11.96/12.05	c #Conflicts:      55000 | #Constraints:      25063
11.96/12.05	c #Conflicts:      56000 | #Constraints:      26063
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      57000 | #Constraints:      22265
11.96/12.05	c #Conflicts:      58000 | #Constraints:      23265
11.96/12.05	c #Conflicts:      59000 | #Constraints:      24265
11.96/12.05	c #Conflicts:      60000 | #Constraints:      25265
11.96/12.05	c #Conflicts:      61000 | #Constraints:      26265
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      62000 | #Constraints:      22258
11.96/12.05	c #Conflicts:      63000 | #Constraints:      23258
11.96/12.05	c #Conflicts:      64000 | #Constraints:      24258
11.96/12.05	c #Conflicts:      65000 | #Constraints:      25258
11.96/12.05	c #Conflicts:      66000 | #Constraints:      26258
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c #Conflicts:      67000 | #Constraints:      22058
11.96/12.05	c #Conflicts:      68000 | #Constraints:      23058
11.96/12.05	c #Conflicts:      69000 | #Constraints:      24058
11.96/12.05	c #Conflicts:      70000 | #Constraints:      25058
11.96/12.05	c #Conflicts:      71000 | #Constraints:      26058
13.06/13.17	c #Conflicts:      72000 | #Constraints:      27058
13.06/13.17	c INPROCESSING
13.06/13.17	c GARBAGE COLLECT
13.06/13.17	c #Conflicts:      73000 | #Constraints:      22658
13.06/13.17	c #Conflicts:      74000 | #Constraints:      23658
13.06/13.17	c #Conflicts:      75000 | #Constraints:      24658
13.06/13.17	c #Conflicts:      76000 | #Constraints:      25658
13.06/13.17	c #Conflicts:      77000 | #Constraints:      26658
13.06/13.17	c bounds 164 >= 24 @ 12.8338
13.06/13.17	c stratification level: 2
22.84/22.92	c #Conflicts:      78000 | #Constraints:      27659
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:      79000 | #Constraints:      23058
22.84/22.92	c #Conflicts:      80000 | #Constraints:      24058
22.84/22.92	c #Conflicts:      81000 | #Constraints:      25058
22.84/22.92	c #Conflicts:      82000 | #Constraints:      26058
22.84/22.92	c #Conflicts:      83000 | #Constraints:      27058
22.84/22.92	c #Conflicts:      84000 | #Constraints:      28058
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:      85000 | #Constraints:      23269
22.84/22.92	c #Conflicts:      86000 | #Constraints:      24269
22.84/22.92	c #Conflicts:      87000 | #Constraints:      25269
22.84/22.92	c #Conflicts:      88000 | #Constraints:      26269
22.84/22.92	c #Conflicts:      89000 | #Constraints:      27269
22.84/22.92	c #Conflicts:      90000 | #Constraints:      28269
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:      91000 | #Constraints:      23285
22.84/22.92	c #Conflicts:      92000 | #Constraints:      24285
22.84/22.92	c #Conflicts:      93000 | #Constraints:      25285
22.84/22.92	c #Conflicts:      94000 | #Constraints:      26285
22.84/22.92	c #Conflicts:      95000 | #Constraints:      27285
22.84/22.92	c #Conflicts:      96000 | #Constraints:      28285
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:      97000 | #Constraints:      23100
22.84/22.92	c #Conflicts:      98000 | #Constraints:      24100
22.84/22.92	c #Conflicts:      99000 | #Constraints:      25100
22.84/22.92	c #Conflicts:     100000 | #Constraints:      26100
22.84/22.92	c #Conflicts:     101000 | #Constraints:      27100
22.84/22.92	c #Conflicts:     102000 | #Constraints:      28100
22.84/22.92	c #Conflicts:     103000 | #Constraints:      29100
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     104000 | #Constraints:      23713
22.84/22.92	c #Conflicts:     105000 | #Constraints:      24713
22.84/22.92	c #Conflicts:     106000 | #Constraints:      25713
22.84/22.92	c #Conflicts:     107000 | #Constraints:      26713
22.84/22.92	c #Conflicts:     108000 | #Constraints:      27713
22.84/22.92	c #Conflicts:     109000 | #Constraints:      28713
22.84/22.92	c #Conflicts:     110000 | #Constraints:      29713
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     111000 | #Constraints:      24119
22.84/22.92	c #Conflicts:     112000 | #Constraints:      25119
22.84/22.92	c #Conflicts:     113000 | #Constraints:      26119
22.84/22.92	c #Conflicts:     114000 | #Constraints:      27119
22.84/22.92	c #Conflicts:     115000 | #Constraints:      28119
22.84/22.92	c #Conflicts:     116000 | #Constraints:      29119
22.84/22.92	c #Conflicts:     117000 | #Constraints:      30119
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     118000 | #Constraints:      24326
22.84/22.92	c #Conflicts:     119000 | #Constraints:      25326
22.84/22.92	c #Conflicts:     120000 | #Constraints:      26326
22.84/22.92	c #Conflicts:     121000 | #Constraints:      27326
22.84/22.92	c #Conflicts:     122000 | #Constraints:      28326
22.84/22.92	c #Conflicts:     123000 | #Constraints:      29326
22.84/22.92	c #Conflicts:     124000 | #Constraints:      30326
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     125000 | #Constraints:      24330
22.84/22.92	c #Conflicts:     126000 | #Constraints:      25330
22.84/22.92	c #Conflicts:     127000 | #Constraints:      26330
22.84/22.92	c #Conflicts:     128000 | #Constraints:      27330
22.84/22.92	c #Conflicts:     129000 | #Constraints:      28330
22.84/22.92	c #Conflicts:     130000 | #Constraints:      29330
22.84/22.92	c #Conflicts:     131000 | #Constraints:      30330
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     132000 | #Constraints:      24123
22.84/22.92	c #Conflicts:     133000 | #Constraints:      25123
22.84/22.92	c #Conflicts:     134000 | #Constraints:      26123
22.84/22.92	c #Conflicts:     135000 | #Constraints:      27123
22.84/22.92	c #Conflicts:     136000 | #Constraints:      28123
22.84/22.92	c #Conflicts:     137000 | #Constraints:      29123
22.84/22.92	c #Conflicts:     138000 | #Constraints:      30123
22.84/22.92	c #Conflicts:     139000 | #Constraints:      31123
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     140000 | #Constraints:      24732
22.84/22.92	c #Conflicts:     141000 | #Constraints:      25732
22.84/22.92	c #Conflicts:     142000 | #Constraints:      26732
22.84/22.92	c #Conflicts:     143000 | #Constraints:      27732
22.84/22.92	c #Conflicts:     144000 | #Constraints:      28732
22.84/22.92	c #Conflicts:     145000 | #Constraints:      29732
22.84/22.92	c #Conflicts:     146000 | #Constraints:      30732
22.84/22.92	c #Conflicts:     147000 | #Constraints:      31732
22.84/22.92	c INPROCESSING
22.84/22.92	c GARBAGE COLLECT
22.84/22.92	c #Conflicts:     148000 | #Constraints:      25150
22.84/22.92	c #Conflicts:     149000 | #Constraints:      26150
35.11/35.21	c #Conflicts:     150000 | #Constraints:      27150
35.11/35.21	c #Conflicts:     151000 | #Constraints:      28150
35.11/35.21	c #Conflicts:     152000 | #Constraints:      29150
35.11/35.21	c #Conflicts:     153000 | #Constraints:      30150
35.11/35.21	c #Conflicts:     154000 | #Constraints:      31150
35.11/35.21	c #Conflicts:     155000 | #Constraints:      32150
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     156000 | #Constraints:      25359
35.11/35.21	c #Conflicts:     157000 | #Constraints:      26359
35.11/35.21	c #Conflicts:     158000 | #Constraints:      27359
35.11/35.21	c #Conflicts:     159000 | #Constraints:      28359
35.11/35.21	c #Conflicts:     160000 | #Constraints:      29359
35.11/35.21	c #Conflicts:     161000 | #Constraints:      30359
35.11/35.21	c #Conflicts:     162000 | #Constraints:      31359
35.11/35.21	c #Conflicts:     163000 | #Constraints:      32359
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     164000 | #Constraints:      25356
35.11/35.21	c #Conflicts:     165000 | #Constraints:      26356
35.11/35.21	c #Conflicts:     166000 | #Constraints:      27356
35.11/35.21	c #Conflicts:     167000 | #Constraints:      28356
35.11/35.21	c #Conflicts:     168000 | #Constraints:      29356
35.11/35.21	c #Conflicts:     169000 | #Constraints:      30356
35.11/35.21	c #Conflicts:     170000 | #Constraints:      31356
35.11/35.21	c #Conflicts:     171000 | #Constraints:      32356
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     172000 | #Constraints:      25152
35.11/35.21	c #Conflicts:     173000 | #Constraints:      26152
35.11/35.21	c #Conflicts:     174000 | #Constraints:      27152
35.11/35.21	c #Conflicts:     175000 | #Constraints:      28152
35.11/35.21	c #Conflicts:     176000 | #Constraints:      29152
35.11/35.21	c #Conflicts:     177000 | #Constraints:      30152
35.11/35.21	c #Conflicts:     178000 | #Constraints:      31152
35.11/35.21	c #Conflicts:     179000 | #Constraints:      32152
35.11/35.21	c #Conflicts:     180000 | #Constraints:      33152
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     181000 | #Constraints:      25758
35.11/35.21	c #Conflicts:     182000 | #Constraints:      26758
35.11/35.21	c #Conflicts:     183000 | #Constraints:      27758
35.11/35.21	c #Conflicts:     184000 | #Constraints:      28758
35.11/35.21	c #Conflicts:     185000 | #Constraints:      29758
35.11/35.21	c #Conflicts:     186000 | #Constraints:      30758
35.11/35.21	c #Conflicts:     187000 | #Constraints:      31758
35.11/35.21	c #Conflicts:     188000 | #Constraints:      32758
35.11/35.21	c #Conflicts:     189000 | #Constraints:      33758
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     190000 | #Constraints:      26157
35.11/35.21	c #Conflicts:     191000 | #Constraints:      27157
35.11/35.21	c #Conflicts:     192000 | #Constraints:      28157
35.11/35.21	c #Conflicts:     193000 | #Constraints:      29157
35.11/35.21	c #Conflicts:     194000 | #Constraints:      30157
35.11/35.21	c #Conflicts:     195000 | #Constraints:      31157
35.11/35.21	c #Conflicts:     196000 | #Constraints:      32157
35.11/35.21	c #Conflicts:     197000 | #Constraints:      33157
35.11/35.21	c #Conflicts:     198000 | #Constraints:      34157
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     199000 | #Constraints:      26374
35.11/35.21	c #Conflicts:     200000 | #Constraints:      27374
35.11/35.21	c #Conflicts:     201000 | #Constraints:      28374
35.11/35.21	c #Conflicts:     202000 | #Constraints:      29374
35.11/35.21	c #Conflicts:     203000 | #Constraints:      30374
35.11/35.21	c #Conflicts:     204000 | #Constraints:      31374
35.11/35.21	c #Conflicts:     205000 | #Constraints:      32374
35.11/35.21	c #Conflicts:     206000 | #Constraints:      33374
35.11/35.21	c #Conflicts:     207000 | #Constraints:      34374
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     208000 | #Constraints:      26362
35.11/35.21	c #Conflicts:     209000 | #Constraints:      27362
35.11/35.21	c #Conflicts:     210000 | #Constraints:      28362
35.11/35.21	c #Conflicts:     211000 | #Constraints:      29362
35.11/35.21	c #Conflicts:     212000 | #Constraints:      30362
35.11/35.21	c #Conflicts:     213000 | #Constraints:      31362
35.11/35.21	c #Conflicts:     214000 | #Constraints:      32362
35.11/35.21	c #Conflicts:     215000 | #Constraints:      33362
35.11/35.21	c #Conflicts:     216000 | #Constraints:      34362
35.11/35.21	c INPROCESSING
35.11/35.21	c GARBAGE COLLECT
35.11/35.21	c #Conflicts:     217000 | #Constraints:      26163
35.11/35.21	c #Conflicts:     218000 | #Constraints:      27163
35.11/35.21	c #Conflicts:     219000 | #Constraints:      28163
35.11/35.21	c #Conflicts:     220000 | #Constraints:      29163
35.11/35.21	c #Conflicts:     221000 | #Constraints:      30163
35.11/35.21	c #Conflicts:     222000 | #Constraints:      31163
35.11/35.21	c #Conflicts:     223000 | #Constraints:      32163
48.27/48.46	c #Conflicts:     224000 | #Constraints:      33163
48.27/48.46	c #Conflicts:     225000 | #Constraints:      34163
48.27/48.46	c #Conflicts:     226000 | #Constraints:      35163
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     227000 | #Constraints:      26781
48.27/48.46	c #Conflicts:     228000 | #Constraints:      27781
48.27/48.46	c #Conflicts:     229000 | #Constraints:      28781
48.27/48.46	c #Conflicts:     230000 | #Constraints:      29781
48.27/48.46	c #Conflicts:     231000 | #Constraints:      30781
48.27/48.46	c #Conflicts:     232000 | #Constraints:      31781
48.27/48.46	c #Conflicts:     233000 | #Constraints:      32781
48.27/48.46	c #Conflicts:     234000 | #Constraints:      33781
48.27/48.46	c #Conflicts:     235000 | #Constraints:      34781
48.27/48.46	c #Conflicts:     236000 | #Constraints:      35781
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     237000 | #Constraints:      27176
48.27/48.46	c #Conflicts:     238000 | #Constraints:      28176
48.27/48.46	c #Conflicts:     239000 | #Constraints:      29176
48.27/48.46	c #Conflicts:     240000 | #Constraints:      30176
48.27/48.46	c #Conflicts:     241000 | #Constraints:      31176
48.27/48.46	c #Conflicts:     242000 | #Constraints:      32176
48.27/48.46	c #Conflicts:     243000 | #Constraints:      33176
48.27/48.46	c #Conflicts:     244000 | #Constraints:      34176
48.27/48.46	c #Conflicts:     245000 | #Constraints:      35176
48.27/48.46	c #Conflicts:     246000 | #Constraints:      36176
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     247000 | #Constraints:      27381
48.27/48.46	c #Conflicts:     248000 | #Constraints:      28381
48.27/48.46	c #Conflicts:     249000 | #Constraints:      29381
48.27/48.46	c #Conflicts:     250000 | #Constraints:      30381
48.27/48.46	c #Conflicts:     251000 | #Constraints:      31381
48.27/48.46	c #Conflicts:     252000 | #Constraints:      32381
48.27/48.46	c #Conflicts:     253000 | #Constraints:      33381
48.27/48.46	c #Conflicts:     254000 | #Constraints:      34381
48.27/48.46	c #Conflicts:     255000 | #Constraints:      35381
48.27/48.46	c #Conflicts:     256000 | #Constraints:      36381
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     257000 | #Constraints:      27365
48.27/48.46	c #Conflicts:     258000 | #Constraints:      28365
48.27/48.46	c #Conflicts:     259000 | #Constraints:      29365
48.27/48.46	c #Conflicts:     260000 | #Constraints:      30365
48.27/48.46	c #Conflicts:     261000 | #Constraints:      31365
48.27/48.46	c #Conflicts:     262000 | #Constraints:      32365
48.27/48.46	c #Conflicts:     263000 | #Constraints:      33365
48.27/48.46	c #Conflicts:     264000 | #Constraints:      34365
48.27/48.46	c #Conflicts:     265000 | #Constraints:      35365
48.27/48.46	c #Conflicts:     266000 | #Constraints:      36365
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     267000 | #Constraints:      27162
48.27/48.46	c #Conflicts:     268000 | #Constraints:      28162
48.27/48.46	c #Conflicts:     269000 | #Constraints:      29162
48.27/48.46	c #Conflicts:     270000 | #Constraints:      30162
48.27/48.46	c #Conflicts:     271000 | #Constraints:      31162
48.27/48.46	c #Conflicts:     272000 | #Constraints:      32162
48.27/48.46	c #Conflicts:     273000 | #Constraints:      33162
48.27/48.46	c #Conflicts:     274000 | #Constraints:      34162
48.27/48.46	c #Conflicts:     275000 | #Constraints:      35162
48.27/48.46	c #Conflicts:     276000 | #Constraints:      36162
48.27/48.46	c #Conflicts:     277000 | #Constraints:      37162
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     278000 | #Constraints:      27768
48.27/48.46	c #Conflicts:     279000 | #Constraints:      28768
48.27/48.46	c #Conflicts:     280000 | #Constraints:      29768
48.27/48.46	c #Conflicts:     281000 | #Constraints:      30768
48.27/48.46	c #Conflicts:     282000 | #Constraints:      31768
48.27/48.46	c #Conflicts:     283000 | #Constraints:      32768
48.27/48.46	c #Conflicts:     284000 | #Constraints:      33768
48.27/48.46	c #Conflicts:     285000 | #Constraints:      34768
48.27/48.46	c #Conflicts:     286000 | #Constraints:      35768
48.27/48.46	c #Conflicts:     287000 | #Constraints:      36768
48.27/48.46	c #Conflicts:     288000 | #Constraints:      37768
48.27/48.46	c INPROCESSING
48.27/48.46	c GARBAGE COLLECT
48.27/48.46	c #Conflicts:     289000 | #Constraints:      28167
48.27/48.46	c #Conflicts:     290000 | #Constraints:      29167
48.27/48.46	c #Conflicts:     291000 | #Constraints:      30167
48.27/48.46	c #Conflicts:     292000 | #Constraints:      31167
48.27/48.46	c #Conflicts:     293000 | #Constraints:      32167
48.27/48.46	c #Conflicts:     294000 | #Constraints:      33167
48.27/48.46	c #Conflicts:     295000 | #Constraints:      34167
48.27/48.46	c #Conflicts:     296000 | #Constraints:      35167
48.27/48.46	c #Conflicts:     297000 | #Constraints:      36167
62.84/63.01	c #Conflicts:     298000 | #Constraints:      37167
62.84/63.01	c #Conflicts:     299000 | #Constraints:      38167
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     300000 | #Constraints:      28372
62.84/63.01	c #Conflicts:     301000 | #Constraints:      29372
62.84/63.01	c #Conflicts:     302000 | #Constraints:      30372
62.84/63.01	c #Conflicts:     303000 | #Constraints:      31372
62.84/63.01	c #Conflicts:     304000 | #Constraints:      32372
62.84/63.01	c #Conflicts:     305000 | #Constraints:      33372
62.84/63.01	c #Conflicts:     306000 | #Constraints:      34372
62.84/63.01	c #Conflicts:     307000 | #Constraints:      35372
62.84/63.01	c #Conflicts:     308000 | #Constraints:      36372
62.84/63.01	c #Conflicts:     309000 | #Constraints:      37372
62.84/63.01	c #Conflicts:     310000 | #Constraints:      38372
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     311000 | #Constraints:      28393
62.84/63.01	c #Conflicts:     312000 | #Constraints:      29393
62.84/63.01	c #Conflicts:     313000 | #Constraints:      30393
62.84/63.01	c #Conflicts:     314000 | #Constraints:      31393
62.84/63.01	c #Conflicts:     315000 | #Constraints:      32393
62.84/63.01	c #Conflicts:     316000 | #Constraints:      33393
62.84/63.01	c #Conflicts:     317000 | #Constraints:      34393
62.84/63.01	c #Conflicts:     318000 | #Constraints:      35393
62.84/63.01	c #Conflicts:     319000 | #Constraints:      36393
62.84/63.01	c #Conflicts:     320000 | #Constraints:      37393
62.84/63.01	c #Conflicts:     321000 | #Constraints:      38393
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     322000 | #Constraints:      28180
62.84/63.01	c #Conflicts:     323000 | #Constraints:      29180
62.84/63.01	c #Conflicts:     324000 | #Constraints:      30180
62.84/63.01	c #Conflicts:     325000 | #Constraints:      31180
62.84/63.01	c #Conflicts:     326000 | #Constraints:      32180
62.84/63.01	c #Conflicts:     327000 | #Constraints:      33180
62.84/63.01	c #Conflicts:     328000 | #Constraints:      34180
62.84/63.01	c #Conflicts:     329000 | #Constraints:      35180
62.84/63.01	c #Conflicts:     330000 | #Constraints:      36180
62.84/63.01	c #Conflicts:     331000 | #Constraints:      37180
62.84/63.01	c #Conflicts:     332000 | #Constraints:      38180
62.84/63.01	c #Conflicts:     333000 | #Constraints:      39180
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     334000 | #Constraints:      28781
62.84/63.01	c #Conflicts:     335000 | #Constraints:      29781
62.84/63.01	c #Conflicts:     336000 | #Constraints:      30781
62.84/63.01	c #Conflicts:     337000 | #Constraints:      31781
62.84/63.01	c #Conflicts:     338000 | #Constraints:      32781
62.84/63.01	c #Conflicts:     339000 | #Constraints:      33781
62.84/63.01	c #Conflicts:     340000 | #Constraints:      34781
62.84/63.01	c #Conflicts:     341000 | #Constraints:      35781
62.84/63.01	c #Conflicts:     342000 | #Constraints:      36781
62.84/63.01	c #Conflicts:     343000 | #Constraints:      37781
62.84/63.01	c #Conflicts:     344000 | #Constraints:      38781
62.84/63.01	c #Conflicts:     345000 | #Constraints:      39781
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     346000 | #Constraints:      29181
62.84/63.01	c #Conflicts:     347000 | #Constraints:      30181
62.84/63.01	c #Conflicts:     348000 | #Constraints:      31181
62.84/63.01	c #Conflicts:     349000 | #Constraints:      32181
62.84/63.01	c #Conflicts:     350000 | #Constraints:      33181
62.84/63.01	c #Conflicts:     351000 | #Constraints:      34181
62.84/63.01	c #Conflicts:     352000 | #Constraints:      35181
62.84/63.01	c #Conflicts:     353000 | #Constraints:      36181
62.84/63.01	c #Conflicts:     354000 | #Constraints:      37181
62.84/63.01	c #Conflicts:     355000 | #Constraints:      38181
62.84/63.01	c #Conflicts:     356000 | #Constraints:      39181
62.84/63.01	c #Conflicts:     357000 | #Constraints:      40181
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     358000 | #Constraints:      29392
62.84/63.01	c #Conflicts:     359000 | #Constraints:      30392
62.84/63.01	c #Conflicts:     360000 | #Constraints:      31392
62.84/63.01	c #Conflicts:     361000 | #Constraints:      32392
62.84/63.01	c #Conflicts:     362000 | #Constraints:      33392
62.84/63.01	c #Conflicts:     363000 | #Constraints:      34392
62.84/63.01	c #Conflicts:     364000 | #Constraints:      35392
62.84/63.01	c #Conflicts:     365000 | #Constraints:      36392
62.84/63.01	c #Conflicts:     366000 | #Constraints:      37392
62.84/63.01	c #Conflicts:     367000 | #Constraints:      38392
62.84/63.01	c #Conflicts:     368000 | #Constraints:      39392
62.84/63.01	c #Conflicts:     369000 | #Constraints:      40392
62.84/63.01	c INPROCESSING
62.84/63.01	c GARBAGE COLLECT
62.84/63.01	c #Conflicts:     370000 | #Constraints:      29390
62.84/63.01	c #Conflicts:     371000 | #Constraints:      30390
62.84/63.01	c #Conflicts:     372000 | #Constraints:      31390
78.91/79.11	c #Conflicts:     373000 | #Constraints:      32390
78.91/79.11	c #Conflicts:     374000 | #Constraints:      33390
78.91/79.11	c #Conflicts:     375000 | #Constraints:      34390
78.91/79.11	c #Conflicts:     376000 | #Constraints:      35390
78.91/79.11	c #Conflicts:     377000 | #Constraints:      36390
78.91/79.11	c #Conflicts:     378000 | #Constraints:      37390
78.91/79.11	c #Conflicts:     379000 | #Constraints:      38390
78.91/79.11	c #Conflicts:     380000 | #Constraints:      39390
78.91/79.11	c #Conflicts:     381000 | #Constraints:      40390
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     382000 | #Constraints:      29177
78.91/79.11	c #Conflicts:     383000 | #Constraints:      30177
78.91/79.11	c #Conflicts:     384000 | #Constraints:      31177
78.91/79.11	c #Conflicts:     385000 | #Constraints:      32177
78.91/79.11	c #Conflicts:     386000 | #Constraints:      33177
78.91/79.11	c #Conflicts:     387000 | #Constraints:      34177
78.91/79.11	c #Conflicts:     388000 | #Constraints:      35177
78.91/79.11	c #Conflicts:     389000 | #Constraints:      36177
78.91/79.11	c #Conflicts:     390000 | #Constraints:      37177
78.91/79.11	c #Conflicts:     391000 | #Constraints:      38177
78.91/79.11	c #Conflicts:     392000 | #Constraints:      39177
78.91/79.11	c #Conflicts:     393000 | #Constraints:      40177
78.91/79.11	c #Conflicts:     394000 | #Constraints:      41177
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     395000 | #Constraints:      29779
78.91/79.11	c #Conflicts:     396000 | #Constraints:      30779
78.91/79.11	c #Conflicts:     397000 | #Constraints:      31779
78.91/79.11	c #Conflicts:     398000 | #Constraints:      32779
78.91/79.11	c #Conflicts:     399000 | #Constraints:      33779
78.91/79.11	c #Conflicts:     400000 | #Constraints:      34779
78.91/79.11	c #Conflicts:     401000 | #Constraints:      35779
78.91/79.11	c #Conflicts:     402000 | #Constraints:      36779
78.91/79.11	c #Conflicts:     403000 | #Constraints:      37779
78.91/79.11	c #Conflicts:     404000 | #Constraints:      38779
78.91/79.11	c #Conflicts:     405000 | #Constraints:      39779
78.91/79.11	c #Conflicts:     406000 | #Constraints:      40779
78.91/79.11	c #Conflicts:     407000 | #Constraints:      41779
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     408000 | #Constraints:      30178
78.91/79.11	c #Conflicts:     409000 | #Constraints:      31178
78.91/79.11	c #Conflicts:     410000 | #Constraints:      32178
78.91/79.11	c #Conflicts:     411000 | #Constraints:      33178
78.91/79.11	c #Conflicts:     412000 | #Constraints:      34178
78.91/79.11	c #Conflicts:     413000 | #Constraints:      35178
78.91/79.11	c #Conflicts:     414000 | #Constraints:      36178
78.91/79.11	c #Conflicts:     415000 | #Constraints:      37178
78.91/79.11	c #Conflicts:     416000 | #Constraints:      38178
78.91/79.11	c #Conflicts:     417000 | #Constraints:      39178
78.91/79.11	c #Conflicts:     418000 | #Constraints:      40178
78.91/79.11	c #Conflicts:     419000 | #Constraints:      41178
78.91/79.11	c #Conflicts:     420000 | #Constraints:      42178
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     421000 | #Constraints:      30388
78.91/79.11	c #Conflicts:     422000 | #Constraints:      31388
78.91/79.11	c #Conflicts:     423000 | #Constraints:      32388
78.91/79.11	c #Conflicts:     424000 | #Constraints:      33388
78.91/79.11	c #Conflicts:     425000 | #Constraints:      34388
78.91/79.11	c #Conflicts:     426000 | #Constraints:      35388
78.91/79.11	c #Conflicts:     427000 | #Constraints:      36388
78.91/79.11	c #Conflicts:     428000 | #Constraints:      37388
78.91/79.11	c #Conflicts:     429000 | #Constraints:      38388
78.91/79.11	c #Conflicts:     430000 | #Constraints:      39388
78.91/79.11	c #Conflicts:     431000 | #Constraints:      40388
78.91/79.11	c #Conflicts:     432000 | #Constraints:      41388
78.91/79.11	c #Conflicts:     433000 | #Constraints:      42388
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     434000 | #Constraints:      30383
78.91/79.11	c #Conflicts:     435000 | #Constraints:      31383
78.91/79.11	c #Conflicts:     436000 | #Constraints:      32383
78.91/79.11	c #Conflicts:     437000 | #Constraints:      33383
78.91/79.11	c #Conflicts:     438000 | #Constraints:      34383
78.91/79.11	c #Conflicts:     439000 | #Constraints:      35383
78.91/79.11	c #Conflicts:     440000 | #Constraints:      36383
78.91/79.11	c #Conflicts:     441000 | #Constraints:      37383
78.91/79.11	c #Conflicts:     442000 | #Constraints:      38383
78.91/79.11	c #Conflicts:     443000 | #Constraints:      39383
78.91/79.11	c #Conflicts:     444000 | #Constraints:      40383
78.91/79.11	c #Conflicts:     445000 | #Constraints:      41383
78.91/79.11	c #Conflicts:     446000 | #Constraints:      42383
78.91/79.11	c INPROCESSING
78.91/79.11	c GARBAGE COLLECT
78.91/79.11	c #Conflicts:     447000 | #Constraints:      30170
96.66/97.00	c #Conflicts:     448000 | #Constraints:      31170
96.66/97.00	c #Conflicts:     449000 | #Constraints:      32170
96.66/97.00	c #Conflicts:     450000 | #Constraints:      33170
96.66/97.00	c #Conflicts:     451000 | #Constraints:      34170
96.66/97.00	c #Conflicts:     452000 | #Constraints:      35170
96.66/97.00	c #Conflicts:     453000 | #Constraints:      36170
96.66/97.00	c #Conflicts:     454000 | #Constraints:      37170
96.66/97.00	c #Conflicts:     455000 | #Constraints:      38170
96.66/97.00	c #Conflicts:     456000 | #Constraints:      39170
96.66/97.00	c #Conflicts:     457000 | #Constraints:      40170
96.66/97.00	c #Conflicts:     458000 | #Constraints:      41170
96.66/97.00	c #Conflicts:     459000 | #Constraints:      42170
96.66/97.00	c #Conflicts:     460000 | #Constraints:      43170
96.66/97.00	c INPROCESSING
96.66/97.00	c GARBAGE COLLECT
96.66/97.00	c #Conflicts:     461000 | #Constraints:      30784
96.66/97.00	c #Conflicts:     462000 | #Constraints:      31784
96.66/97.00	c #Conflicts:     463000 | #Constraints:      32784
96.66/97.00	c #Conflicts:     464000 | #Constraints:      33784
96.66/97.00	c #Conflicts:     465000 | #Constraints:      34784
96.66/97.00	c #Conflicts:     466000 | #Constraints:      35784
96.66/97.00	c #Conflicts:     467000 | #Constraints:      36784
96.66/97.00	c #Conflicts:     468000 | #Constraints:      37784
96.66/97.00	c #Conflicts:     469000 | #Constraints:      38784
96.66/97.00	c #Conflicts:     470000 | #Constraints:      39784
96.66/97.00	c #Conflicts:     471000 | #Constraints:      40784
96.66/97.00	c #Conflicts:     472000 | #Constraints:      41784
96.66/97.00	c #Conflicts:     473000 | #Constraints:      42784
96.66/97.00	c #Conflicts:     474000 | #Constraints:      43784
96.66/97.00	c INPROCESSING
96.66/97.00	c GARBAGE COLLECT
96.66/97.00	c #Conflicts:     475000 | #Constraints:      31187
96.66/97.00	c #Conflicts:     476000 | #Constraints:      32187
96.66/97.00	c #Conflicts:     477000 | #Constraints:      33187
96.66/97.00	c #Conflicts:     478000 | #Constraints:      34187
96.66/97.00	c #Conflicts:     479000 | #Constraints:      35187
96.66/97.00	c #Conflicts:     480000 | #Constraints:      36187
96.66/97.00	c #Conflicts:     481000 | #Constraints:      37187
96.66/97.00	c #Conflicts:     482000 | #Constraints:      38187
96.66/97.00	c #Conflicts:     483000 | #Constraints:      39187
96.66/97.00	c #Conflicts:     484000 | #Constraints:      40187
96.66/97.00	c #Conflicts:     485000 | #Constraints:      41187
96.66/97.00	c #Conflicts:     486000 | #Constraints:      42187
96.66/97.00	c #Conflicts:     487000 | #Constraints:      43187
96.66/97.00	c #Conflicts:     488000 | #Constraints:      44187
96.66/97.00	c INPROCESSING
96.66/97.00	c GARBAGE COLLECT
96.66/97.00	c #Conflicts:     489000 | #Constraints:      31392
96.66/97.00	c #Conflicts:     490000 | #Constraints:      32392
96.66/97.00	c #Conflicts:     491000 | #Constraints:      33392
96.66/97.00	c #Conflicts:     492000 | #Constraints:      34392
96.66/97.00	c #Conflicts:     493000 | #Constraints:      35392
96.66/97.00	c #Conflicts:     494000 | #Constraints:      36392
96.66/97.00	c #Conflicts:     495000 | #Constraints:      37392
96.66/97.00	c #Conflicts:     496000 | #Constraints:      38392
96.66/97.00	c #Conflicts:     497000 | #Constraints:      39392
96.66/97.00	c #Conflicts:     498000 | #Constraints:      40392
96.66/97.00	c #Conflicts:     499000 | #Constraints:      41392
96.66/97.00	c #Conflicts:     500000 | #Constraints:      42392
96.66/97.00	c #Conflicts:     501000 | #Constraints:      43392
96.66/97.00	c #Conflicts:     502000 | #Constraints:      44392
96.66/97.00	c INPROCESSING
96.66/97.00	c GARBAGE COLLECT
96.66/97.00	c #Conflicts:     503000 | #Constraints:      31409
96.66/97.00	c #Conflicts:     504000 | #Constraints:      32409
96.66/97.00	c #Conflicts:     505000 | #Constraints:      33409
96.66/97.00	c #Conflicts:     506000 | #Constraints:      34409
96.66/97.00	c #Conflicts:     507000 | #Constraints:      35409
96.66/97.00	c #Conflicts:     508000 | #Constraints:      36409
96.66/97.00	c #Conflicts:     509000 | #Constraints:      37409
96.66/97.00	c #Conflicts:     510000 | #Constraints:      38409
96.66/97.00	c #Conflicts:     511000 | #Constraints:      39409
96.66/97.00	c #Conflicts:     512000 | #Constraints:      40409
96.66/97.00	c #Conflicts:     513000 | #Constraints:      41409
96.66/97.00	c #Conflicts:     514000 | #Constraints:      42409
96.66/97.00	c #Conflicts:     515000 | #Constraints:      43409
96.66/97.00	c #Conflicts:     516000 | #Constraints:      44409
96.66/97.00	c INPROCESSING
96.66/97.00	c GARBAGE COLLECT
96.66/97.00	c #Conflicts:     517000 | #Constraints:      31205
96.66/97.00	c #Conflicts:     518000 | #Constraints:      32205
96.66/97.00	c #Conflicts:     519000 | #Constraints:      33205
96.66/97.00	c #Conflicts:     520000 | #Constraints:      34205
96.66/97.00	c #Conflicts:     521000 | #Constraints:      35205
96.66/97.00	c #Conflicts:     522000 | #Constraints:      36205
113.83/114.12	c #Conflicts:     523000 | #Constraints:      37205
113.83/114.12	c #Conflicts:     524000 | #Constraints:      38205
113.83/114.12	c #Conflicts:     525000 | #Constraints:      39205
113.83/114.12	c #Conflicts:     526000 | #Constraints:      40205
113.83/114.12	c #Conflicts:     527000 | #Constraints:      41205
113.83/114.12	c #Conflicts:     528000 | #Constraints:      42205
113.83/114.12	c #Conflicts:     529000 | #Constraints:      43205
113.83/114.12	c #Conflicts:     530000 | #Constraints:      44205
113.83/114.12	c #Conflicts:     531000 | #Constraints:      45205
113.83/114.12	c INPROCESSING
113.83/114.12	c GARBAGE COLLECT
113.83/114.12	c #Conflicts:     532000 | #Constraints:      31792
113.83/114.12	c #Conflicts:     533000 | #Constraints:      32792
113.83/114.12	c #Conflicts:     534000 | #Constraints:      33792
113.83/114.12	c #Conflicts:     535000 | #Constraints:      34792
113.83/114.12	c #Conflicts:     536000 | #Constraints:      35792
113.83/114.12	c #Conflicts:     537000 | #Constraints:      36792
113.83/114.12	c #Conflicts:     538000 | #Constraints:      37792
113.83/114.12	c #Conflicts:     539000 | #Constraints:      38792
113.83/114.12	c #Conflicts:     540000 | #Constraints:      39792
113.83/114.12	c #Conflicts:     541000 | #Constraints:      40792
113.83/114.12	c #Conflicts:     542000 | #Constraints:      41792
113.83/114.12	c #Conflicts:     543000 | #Constraints:      42792
113.83/114.12	c #Conflicts:     544000 | #Constraints:      43792
113.83/114.12	c #Conflicts:     545000 | #Constraints:      44792
113.83/114.12	c #Conflicts:     546000 | #Constraints:      45792
113.83/114.12	c INPROCESSING
113.83/114.12	c GARBAGE COLLECT
113.83/114.12	c #Conflicts:     547000 | #Constraints:      32208
113.83/114.12	c #Conflicts:     548000 | #Constraints:      33208
113.83/114.12	c #Conflicts:     549000 | #Constraints:      34208
113.83/114.12	c #Conflicts:     550000 | #Constraints:      35208
113.83/114.12	c #Conflicts:     551000 | #Constraints:      36208
113.83/114.12	c #Conflicts:     552000 | #Constraints:      37208
113.83/114.12	c #Conflicts:     553000 | #Constraints:      38208
113.83/114.12	c #Conflicts:     554000 | #Constraints:      39208
113.83/114.12	c #Conflicts:     555000 | #Constraints:      40208
113.83/114.12	c #Conflicts:     556000 | #Constraints:      41208
113.83/114.12	c #Conflicts:     557000 | #Constraints:      42208
113.83/114.12	c #Conflicts:     558000 | #Constraints:      43208
113.83/114.12	c #Conflicts:     559000 | #Constraints:      44208
113.83/114.12	c #Conflicts:     560000 | #Constraints:      45208
113.83/114.12	c #Conflicts:     561000 | #Constraints:      46208
113.83/114.12	c INPROCESSING
113.83/114.12	c GARBAGE COLLECT
113.83/114.12	c #Conflicts:     562000 | #Constraints:      32397
113.83/114.12	c #Conflicts:     563000 | #Constraints:      33397
113.83/114.12	c #Conflicts:     564000 | #Constraints:      34397
113.83/114.12	c #Conflicts:     565000 | #Constraints:      35397
113.83/114.12	c #Conflicts:     566000 | #Constraints:      36397
113.83/114.12	c #Conflicts:     567000 | #Constraints:      37397
113.83/114.12	c #Conflicts:     568000 | #Constraints:      38397
113.83/114.12	c #Conflicts:     569000 | #Constraints:      39397
113.83/114.12	c #Conflicts:     570000 | #Constraints:      40397
113.83/114.12	c #Conflicts:     571000 | #Constraints:      41397
113.83/114.12	c #Conflicts:     572000 | #Constraints:      42397
113.83/114.12	c #Conflicts:     573000 | #Constraints:      43397
113.83/114.12	c #Conflicts:     574000 | #Constraints:      44397
113.83/114.12	c #Conflicts:     575000 | #Constraints:      45397
113.83/114.12	c #Conflicts:     576000 | #Constraints:      46397
113.83/114.12	c INPROCESSING
113.83/114.12	c GARBAGE COLLECT
113.83/114.12	c #Conflicts:     577000 | #Constraints:      32410
113.83/114.12	c #Conflicts:     578000 | #Constraints:      33410
113.83/114.12	c #Conflicts:     579000 | #Constraints:      34410
113.83/114.12	c #Conflicts:     580000 | #Constraints:      35410
113.83/114.12	c #Conflicts:     581000 | #Constraints:      36410
113.83/114.12	c #Conflicts:     582000 | #Constraints:      37410
113.83/114.12	c #Conflicts:     583000 | #Constraints:      38410
113.83/114.12	c #Conflicts:     584000 | #Constraints:      39410
113.83/114.12	c #Conflicts:     585000 | #Constraints:      40410
113.83/114.12	c #Conflicts:     586000 | #Constraints:      41410
113.83/114.12	c #Conflicts:     587000 | #Constraints:      42410
113.83/114.12	c #Conflicts:     588000 | #Constraints:      43410
113.83/114.12	c #Conflicts:     589000 | #Constraints:      44410
113.83/114.12	c #Conflicts:     590000 | #Constraints:      45410
113.83/114.12	c #Conflicts:     591000 | #Constraints:      46410
113.83/114.12	c INPROCESSING
113.83/114.12	c GARBAGE COLLECT
113.83/114.12	c #Conflicts:     592000 | #Constraints:      32218
113.83/114.12	c #Conflicts:     593000 | #Constraints:      33218
113.83/114.12	c #Conflicts:     594000 | #Constraints:      34218
113.83/114.12	c #Conflicts:     595000 | #Constraints:      35218
113.83/114.12	c #Conflicts:     596000 | #Constraints:      36218
113.83/114.12	c #Conflicts:     597000 | #Constraints:      37218
113.83/114.12	c #Conflicts:     598000 | #Constraints:      38218
132.19/132.57	c #Conflicts:     599000 | #Constraints:      39218
132.19/132.57	c #Conflicts:     600000 | #Constraints:      40218
132.19/132.57	c #Conflicts:     601000 | #Constraints:      41218
132.19/132.57	c #Conflicts:     602000 | #Constraints:      42218
132.19/132.57	c #Conflicts:     603000 | #Constraints:      43218
132.19/132.57	c #Conflicts:     604000 | #Constraints:      44218
132.19/132.57	c #Conflicts:     605000 | #Constraints:      45218
132.19/132.57	c #Conflicts:     606000 | #Constraints:      46218
132.19/132.57	c #Conflicts:     607000 | #Constraints:      47218
132.19/132.57	c INPROCESSING
132.19/132.57	c GARBAGE COLLECT
132.19/132.57	c #Conflicts:     608000 | #Constraints:      32810
132.19/132.57	c #Conflicts:     609000 | #Constraints:      33810
132.19/132.57	c #Conflicts:     610000 | #Constraints:      34810
132.19/132.57	c #Conflicts:     611000 | #Constraints:      35810
132.19/132.57	c #Conflicts:     612000 | #Constraints:      36810
132.19/132.57	c #Conflicts:     613000 | #Constraints:      37810
132.19/132.57	c #Conflicts:     614000 | #Constraints:      38810
132.19/132.57	c #Conflicts:     615000 | #Constraints:      39810
132.19/132.57	c #Conflicts:     616000 | #Constraints:      40810
132.19/132.57	c #Conflicts:     617000 | #Constraints:      41810
132.19/132.57	c #Conflicts:     618000 | #Constraints:      42810
132.19/132.57	c #Conflicts:     619000 | #Constraints:      43810
132.19/132.57	c #Conflicts:     620000 | #Constraints:      44810
132.19/132.57	c #Conflicts:     621000 | #Constraints:      45810
132.19/132.57	c #Conflicts:     622000 | #Constraints:      46810
132.19/132.57	c #Conflicts:     623000 | #Constraints:      47810
132.19/132.57	c INPROCESSING
132.19/132.57	c GARBAGE COLLECT
132.19/132.57	c #Conflicts:     624000 | #Constraints:      33203
132.19/132.57	c #Conflicts:     625000 | #Constraints:      34203
132.19/132.57	c #Conflicts:     626000 | #Constraints:      35203
132.19/132.57	c #Conflicts:     627000 | #Constraints:      36203
132.19/132.57	c #Conflicts:     628000 | #Constraints:      37203
132.19/132.57	c #Conflicts:     629000 | #Constraints:      38203
132.19/132.57	c #Conflicts:     630000 | #Constraints:      39203
132.19/132.57	c #Conflicts:     631000 | #Constraints:      40203
132.19/132.57	c #Conflicts:     632000 | #Constraints:      41203
132.19/132.57	c #Conflicts:     633000 | #Constraints:      42203
132.19/132.57	c #Conflicts:     634000 | #Constraints:      43203
132.19/132.57	c #Conflicts:     635000 | #Constraints:      44203
132.19/132.57	c #Conflicts:     636000 | #Constraints:      45203
132.19/132.57	c #Conflicts:     637000 | #Constraints:      46203
132.19/132.57	c #Conflicts:     638000 | #Constraints:      47203
132.19/132.57	c #Conflicts:     639000 | #Constraints:      48203
132.19/132.57	c INPROCESSING
132.19/132.57	c GARBAGE COLLECT
132.19/132.57	c #Conflicts:     640000 | #Constraints:      33407
132.19/132.57	c #Conflicts:     641000 | #Constraints:      34407
132.19/132.57	c #Conflicts:     642000 | #Constraints:      35407
132.19/132.57	c #Conflicts:     643000 | #Constraints:      36407
132.19/132.57	c #Conflicts:     644000 | #Constraints:      37407
132.19/132.57	c #Conflicts:     645000 | #Constraints:      38407
132.19/132.57	c #Conflicts:     646000 | #Constraints:      39407
132.19/132.57	c #Conflicts:     647000 | #Constraints:      40407
132.19/132.57	c #Conflicts:     648000 | #Constraints:      41407
132.19/132.57	c #Conflicts:     649000 | #Constraints:      42407
132.19/132.57	c #Conflicts:     650000 | #Constraints:      43407
132.19/132.57	c #Conflicts:     651000 | #Constraints:      44407
132.19/132.57	c #Conflicts:     652000 | #Constraints:      45407
132.19/132.57	c #Conflicts:     653000 | #Constraints:      46407
132.19/132.57	c #Conflicts:     654000 | #Constraints:      47407
132.19/132.57	c #Conflicts:     655000 | #Constraints:      48407
132.19/132.57	c INPROCESSING
132.19/132.57	c GARBAGE COLLECT
132.19/132.57	c #Conflicts:     656000 | #Constraints:      33400
132.19/132.57	c #Conflicts:     657000 | #Constraints:      34400
132.19/132.57	c #Conflicts:     658000 | #Constraints:      35400
132.19/132.57	c #Conflicts:     659000 | #Constraints:      36400
132.19/132.57	c #Conflicts:     660000 | #Constraints:      37400
132.19/132.57	c #Conflicts:     661000 | #Constraints:      38400
132.19/132.57	c #Conflicts:     662000 | #Constraints:      39400
132.19/132.57	c #Conflicts:     663000 | #Constraints:      40400
132.19/132.57	c #Conflicts:     664000 | #Constraints:      41400
132.19/132.57	c #Conflicts:     665000 | #Constraints:      42400
132.19/132.57	c #Conflicts:     666000 | #Constraints:      43400
132.19/132.57	c #Conflicts:     667000 | #Constraints:      44400
132.19/132.57	c #Conflicts:     668000 | #Constraints:      45400
132.19/132.57	c #Conflicts:     669000 | #Constraints:      46400
132.19/132.57	c #Conflicts:     670000 | #Constraints:      47400
132.19/132.57	c #Conflicts:     671000 | #Constraints:      48400
132.19/132.57	c INPROCESSING
132.19/132.57	c GARBAGE COLLECT
132.19/132.57	c #Conflicts:     672000 | #Constraints:      33200
132.19/132.57	c #Conflicts:     673000 | #Constraints:      34200
151.84/152.21	c #Conflicts:     674000 | #Constraints:      35200
151.84/152.21	c #Conflicts:     675000 | #Constraints:      36200
151.84/152.21	c #Conflicts:     676000 | #Constraints:      37200
151.84/152.21	c #Conflicts:     677000 | #Constraints:      38200
151.84/152.21	c #Conflicts:     678000 | #Constraints:      39200
151.84/152.21	c #Conflicts:     679000 | #Constraints:      40200
151.84/152.21	c #Conflicts:     680000 | #Constraints:      41200
151.84/152.21	c #Conflicts:     681000 | #Constraints:      42200
151.84/152.21	c #Conflicts:     682000 | #Constraints:      43200
151.84/152.21	c #Conflicts:     683000 | #Constraints:      44200
151.84/152.21	c #Conflicts:     684000 | #Constraints:      45200
151.84/152.21	c #Conflicts:     685000 | #Constraints:      46200
151.84/152.21	c #Conflicts:     686000 | #Constraints:      47200
151.84/152.21	c #Conflicts:     687000 | #Constraints:      48200
151.84/152.21	c #Conflicts:     688000 | #Constraints:      49200
151.84/152.21	c INPROCESSING
151.84/152.21	c GARBAGE COLLECT
151.84/152.21	c #Conflicts:     689000 | #Constraints:      33802
151.84/152.21	c #Conflicts:     690000 | #Constraints:      34802
151.84/152.21	c #Conflicts:     691000 | #Constraints:      35802
151.84/152.21	c #Conflicts:     692000 | #Constraints:      36802
151.84/152.21	c #Conflicts:     693000 | #Constraints:      37802
151.84/152.21	c #Conflicts:     694000 | #Constraints:      38802
151.84/152.21	c #Conflicts:     695000 | #Constraints:      39802
151.84/152.21	c #Conflicts:     696000 | #Constraints:      40802
151.84/152.21	c #Conflicts:     697000 | #Constraints:      41802
151.84/152.21	c #Conflicts:     698000 | #Constraints:      42802
151.84/152.21	c #Conflicts:     699000 | #Constraints:      43802
151.84/152.21	c #Conflicts:     700000 | #Constraints:      44802
151.84/152.21	c #Conflicts:     701000 | #Constraints:      45802
151.84/152.21	c #Conflicts:     702000 | #Constraints:      46802
151.84/152.21	c #Conflicts:     703000 | #Constraints:      47802
151.84/152.21	c #Conflicts:     704000 | #Constraints:      48802
151.84/152.21	c #Conflicts:     705000 | #Constraints:      49802
151.84/152.21	c INPROCESSING
151.84/152.21	c GARBAGE COLLECT
151.84/152.21	c #Conflicts:     706000 | #Constraints:      34205
151.84/152.21	c #Conflicts:     707000 | #Constraints:      35205
151.84/152.21	c #Conflicts:     708000 | #Constraints:      36205
151.84/152.21	c #Conflicts:     709000 | #Constraints:      37205
151.84/152.21	c #Conflicts:     710000 | #Constraints:      38205
151.84/152.21	c #Conflicts:     711000 | #Constraints:      39205
151.84/152.21	c #Conflicts:     712000 | #Constraints:      40205
151.84/152.21	c #Conflicts:     713000 | #Constraints:      41205
151.84/152.21	c #Conflicts:     714000 | #Constraints:      42205
151.84/152.21	c #Conflicts:     715000 | #Constraints:      43205
151.84/152.21	c #Conflicts:     716000 | #Constraints:      44205
151.84/152.21	c #Conflicts:     717000 | #Constraints:      45205
151.84/152.21	c #Conflicts:     718000 | #Constraints:      46205
151.84/152.21	c #Conflicts:     719000 | #Constraints:      47205
151.84/152.21	c #Conflicts:     720000 | #Constraints:      48205
151.84/152.21	c #Conflicts:     721000 | #Constraints:      49205
151.84/152.21	c #Conflicts:     722000 | #Constraints:      50205
151.84/152.21	c INPROCESSING
151.84/152.21	c GARBAGE COLLECT
151.84/152.21	c #Conflicts:     723000 | #Constraints:      34420
151.84/152.21	c #Conflicts:     724000 | #Constraints:      35420
151.84/152.21	c #Conflicts:     725000 | #Constraints:      36420
151.84/152.21	c #Conflicts:     726000 | #Constraints:      37420
151.84/152.21	c #Conflicts:     727000 | #Constraints:      38420
151.84/152.21	c #Conflicts:     728000 | #Constraints:      39420
151.84/152.21	c #Conflicts:     729000 | #Constraints:      40420
151.84/152.21	c #Conflicts:     730000 | #Constraints:      41420
151.84/152.21	c #Conflicts:     731000 | #Constraints:      42420
151.84/152.21	c #Conflicts:     732000 | #Constraints:      43420
151.84/152.21	c #Conflicts:     733000 | #Constraints:      44420
151.84/152.21	c #Conflicts:     734000 | #Constraints:      45420
151.84/152.21	c #Conflicts:     735000 | #Constraints:      46420
151.84/152.21	c #Conflicts:     736000 | #Constraints:      47420
151.84/152.21	c #Conflicts:     737000 | #Constraints:      48420
151.84/152.21	c #Conflicts:     738000 | #Constraints:      49420
151.84/152.21	c #Conflicts:     739000 | #Constraints:      50420
151.84/152.21	c INPROCESSING
151.84/152.21	c GARBAGE COLLECT
151.84/152.21	c #Conflicts:     740000 | #Constraints:      34409
151.84/152.21	c #Conflicts:     741000 | #Constraints:      35409
151.84/152.21	c #Conflicts:     742000 | #Constraints:      36409
151.84/152.21	c #Conflicts:     743000 | #Constraints:      37409
151.84/152.21	c #Conflicts:     744000 | #Constraints:      38409
151.84/152.21	c #Conflicts:     745000 | #Constraints:      39409
151.84/152.21	c #Conflicts:     746000 | #Constraints:      40409
151.84/152.21	c #Conflicts:     747000 | #Constraints:      41409
151.84/152.21	c #Conflicts:     748000 | #Constraints:      42409
151.84/152.21	c #Conflicts:     749000 | #Constraints:      43409
151.84/152.21	c #Conflicts:     750000 | #Constraints:      44409
171.30/171.78	c #Conflicts:     751000 | #Constraints:      45409
171.30/171.78	c #Conflicts:     752000 | #Constraints:      46409
171.30/171.78	c #Conflicts:     753000 | #Constraints:      47409
171.30/171.78	c #Conflicts:     754000 | #Constraints:      48409
171.30/171.78	c #Conflicts:     755000 | #Constraints:      49409
171.30/171.78	c #Conflicts:     756000 | #Constraints:      50409
171.30/171.78	c INPROCESSING
171.30/171.78	c GARBAGE COLLECT
171.30/171.78	c #Conflicts:     757000 | #Constraints:      34217
171.30/171.78	c #Conflicts:     758000 | #Constraints:      35217
171.30/171.78	c #Conflicts:     759000 | #Constraints:      36217
171.30/171.78	c #Conflicts:     760000 | #Constraints:      37217
171.30/171.78	c #Conflicts:     761000 | #Constraints:      38217
171.30/171.78	c #Conflicts:     762000 | #Constraints:      39217
171.30/171.78	c #Conflicts:     763000 | #Constraints:      40217
171.30/171.78	c #Conflicts:     764000 | #Constraints:      41217
171.30/171.78	c #Conflicts:     765000 | #Constraints:      42217
171.30/171.78	c #Conflicts:     766000 | #Constraints:      43217
171.30/171.78	c #Conflicts:     767000 | #Constraints:      44217
171.30/171.78	c #Conflicts:     768000 | #Constraints:      45217
171.30/171.78	c #Conflicts:     769000 | #Constraints:      46217
171.30/171.78	c #Conflicts:     770000 | #Constraints:      47217
171.30/171.78	c #Conflicts:     771000 | #Constraints:      48217
171.30/171.78	c #Conflicts:     772000 | #Constraints:      49217
171.30/171.78	c #Conflicts:     773000 | #Constraints:      50217
171.30/171.78	c #Conflicts:     774000 | #Constraints:      51217
171.30/171.78	c INPROCESSING
171.30/171.78	c GARBAGE COLLECT
171.30/171.78	c #Conflicts:     775000 | #Constraints:      34805
171.30/171.78	c #Conflicts:     776000 | #Constraints:      35805
171.30/171.78	c #Conflicts:     777000 | #Constraints:      36805
171.30/171.78	c #Conflicts:     778000 | #Constraints:      37805
171.30/171.78	c #Conflicts:     779000 | #Constraints:      38805
171.30/171.78	c #Conflicts:     780000 | #Constraints:      39805
171.30/171.78	c #Conflicts:     781000 | #Constraints:      40805
171.30/171.78	c #Conflicts:     782000 | #Constraints:      41805
171.30/171.78	c #Conflicts:     783000 | #Constraints:      42805
171.30/171.78	c #Conflicts:     784000 | #Constraints:      43805
171.30/171.78	c #Conflicts:     785000 | #Constraints:      44805
171.30/171.78	c #Conflicts:     786000 | #Constraints:      45805
171.30/171.78	c #Conflicts:     787000 | #Constraints:      46805
171.30/171.78	c #Conflicts:     788000 | #Constraints:      47805
171.30/171.78	c #Conflicts:     789000 | #Constraints:      48805
171.30/171.78	c #Conflicts:     790000 | #Constraints:      49805
171.30/171.78	c #Conflicts:     791000 | #Constraints:      50805
171.30/171.78	c #Conflicts:     792000 | #Constraints:      51805
171.30/171.78	c INPROCESSING
171.30/171.78	c GARBAGE COLLECT
171.30/171.78	c #Conflicts:     793000 | #Constraints:      35212
171.30/171.78	c #Conflicts:     794000 | #Constraints:      36212
171.30/171.78	c #Conflicts:     795000 | #Constraints:      37212
171.30/171.78	c #Conflicts:     796000 | #Constraints:      38212
171.30/171.78	c #Conflicts:     797000 | #Constraints:      39212
171.30/171.78	c #Conflicts:     798000 | #Constraints:      40212
171.30/171.78	c #Conflicts:     799000 | #Constraints:      41212
171.30/171.78	c #Conflicts:     800000 | #Constraints:      42212
171.30/171.78	c #Conflicts:     801000 | #Constraints:      43212
171.30/171.78	c #Conflicts:     802000 | #Constraints:      44212
171.30/171.78	c #Conflicts:     803000 | #Constraints:      45212
171.30/171.78	c #Conflicts:     804000 | #Constraints:      46212
171.30/171.78	c #Conflicts:     805000 | #Constraints:      47212
171.30/171.78	c #Conflicts:     806000 | #Constraints:      48212
171.30/171.78	c #Conflicts:     807000 | #Constraints:      49212
171.30/171.78	c #Conflicts:     808000 | #Constraints:      50212
171.30/171.78	c #Conflicts:     809000 | #Constraints:      51212
171.30/171.78	c #Conflicts:     810000 | #Constraints:      52212
171.30/171.78	c INPROCESSING
171.30/171.78	c GARBAGE COLLECT
171.30/171.78	c #Conflicts:     811000 | #Constraints:      35415
171.30/171.78	c #Conflicts:     812000 | #Constraints:      36415
171.30/171.78	c #Conflicts:     813000 | #Constraints:      37415
171.30/171.78	c #Conflicts:     814000 | #Constraints:      38415
171.30/171.78	c #Conflicts:     815000 | #Constraints:      39415
171.30/171.78	c #Conflicts:     816000 | #Constraints:      40415
171.30/171.78	c #Conflicts:     817000 | #Constraints:      41415
171.30/171.78	c #Conflicts:     818000 | #Constraints:      42415
171.30/171.78	c #Conflicts:     819000 | #Constraints:      43415
171.30/171.78	c #Conflicts:     820000 | #Constraints:      44415
171.30/171.78	c #Conflicts:     821000 | #Constraints:      45415
171.30/171.78	c #Conflicts:     822000 | #Constraints:      46415
171.30/171.78	c #Conflicts:     823000 | #Constraints:      47415
171.30/171.78	c #Conflicts:     824000 | #Constraints:      48415
171.30/171.78	c #Conflicts:     825000 | #Constraints:      49415
171.30/171.78	c #Conflicts:     826000 | #Constraints:      50415
191.66/192.15	c #Conflicts:     827000 | #Constraints:      51415
191.66/192.15	c #Conflicts:     828000 | #Constraints:      52415
191.66/192.15	c INPROCESSING
191.66/192.15	c GARBAGE COLLECT
191.66/192.15	c #Conflicts:     829000 | #Constraints:      35405
191.66/192.15	c #Conflicts:     830000 | #Constraints:      36405
191.66/192.15	c #Conflicts:     831000 | #Constraints:      37405
191.66/192.15	c #Conflicts:     832000 | #Constraints:      38405
191.66/192.15	c #Conflicts:     833000 | #Constraints:      39405
191.66/192.15	c #Conflicts:     834000 | #Constraints:      40405
191.66/192.15	c #Conflicts:     835000 | #Constraints:      41405
191.66/192.15	c #Conflicts:     836000 | #Constraints:      42405
191.66/192.15	c #Conflicts:     837000 | #Constraints:      43405
191.66/192.15	c #Conflicts:     838000 | #Constraints:      44405
191.66/192.15	c #Conflicts:     839000 | #Constraints:      45405
191.66/192.15	c #Conflicts:     840000 | #Constraints:      46405
191.66/192.15	c #Conflicts:     841000 | #Constraints:      47405
191.66/192.15	c #Conflicts:     842000 | #Constraints:      48405
191.66/192.15	c #Conflicts:     843000 | #Constraints:      49405
191.66/192.15	c #Conflicts:     844000 | #Constraints:      50405
191.66/192.15	c #Conflicts:     845000 | #Constraints:      51405
191.66/192.15	c #Conflicts:     846000 | #Constraints:      52405
191.66/192.15	c INPROCESSING
191.66/192.15	c GARBAGE COLLECT
191.66/192.15	c #Conflicts:     847000 | #Constraints:      35220
191.66/192.15	c #Conflicts:     848000 | #Constraints:      36220
191.66/192.15	c #Conflicts:     849000 | #Constraints:      37220
191.66/192.15	c #Conflicts:     850000 | #Constraints:      38220
191.66/192.15	c #Conflicts:     851000 | #Constraints:      39220
191.66/192.15	c #Conflicts:     852000 | #Constraints:      40220
191.66/192.15	c #Conflicts:     853000 | #Constraints:      41220
191.66/192.15	c #Conflicts:     854000 | #Constraints:      42220
191.66/192.15	c #Conflicts:     855000 | #Constraints:      43220
191.66/192.15	c #Conflicts:     856000 | #Constraints:      44220
191.66/192.15	c #Conflicts:     857000 | #Constraints:      45220
191.66/192.15	c #Conflicts:     858000 | #Constraints:      46220
191.66/192.15	c #Conflicts:     859000 | #Constraints:      47220
191.66/192.15	c #Conflicts:     860000 | #Constraints:      48220
191.66/192.15	c #Conflicts:     861000 | #Constraints:      49220
191.66/192.15	c #Conflicts:     862000 | #Constraints:      50220
191.66/192.15	c #Conflicts:     863000 | #Constraints:      51220
191.66/192.15	c #Conflicts:     864000 | #Constraints:      52220
191.66/192.15	c #Conflicts:     865000 | #Constraints:      53220
191.66/192.15	c INPROCESSING
191.66/192.15	c GARBAGE COLLECT
191.66/192.15	c #Conflicts:     866000 | #Constraints:      35813
191.66/192.15	c #Conflicts:     867000 | #Constraints:      36813
191.66/192.15	c #Conflicts:     868000 | #Constraints:      37813
191.66/192.15	c #Conflicts:     869000 | #Constraints:      38813
191.66/192.15	c #Conflicts:     870000 | #Constraints:      39813
191.66/192.15	c #Conflicts:     871000 | #Constraints:      40813
191.66/192.15	c #Conflicts:     872000 | #Constraints:      41813
191.66/192.15	c #Conflicts:     873000 | #Constraints:      42813
191.66/192.15	c #Conflicts:     874000 | #Constraints:      43813
191.66/192.15	c #Conflicts:     875000 | #Constraints:      44813
191.66/192.15	c #Conflicts:     876000 | #Constraints:      45813
191.66/192.15	c #Conflicts:     877000 | #Constraints:      46813
191.66/192.15	c #Conflicts:     878000 | #Constraints:      47813
191.66/192.15	c #Conflicts:     879000 | #Constraints:      48813
191.66/192.15	c #Conflicts:     880000 | #Constraints:      49813
191.66/192.15	c #Conflicts:     881000 | #Constraints:      50813
191.66/192.15	c #Conflicts:     882000 | #Constraints:      51813
191.66/192.15	c #Conflicts:     883000 | #Constraints:      52813
191.66/192.15	c #Conflicts:     884000 | #Constraints:      53813
191.66/192.15	c INPROCESSING
191.66/192.15	c GARBAGE COLLECT
191.66/192.15	c #Conflicts:     885000 | #Constraints:      36218
191.66/192.15	c #Conflicts:     886000 | #Constraints:      37218
191.66/192.15	c #Conflicts:     887000 | #Constraints:      38218
191.66/192.15	c #Conflicts:     888000 | #Constraints:      39218
191.66/192.15	c #Conflicts:     889000 | #Constraints:      40218
191.66/192.15	c #Conflicts:     890000 | #Constraints:      41218
191.66/192.15	c #Conflicts:     891000 | #Constraints:      42218
191.66/192.15	c #Conflicts:     892000 | #Constraints:      43218
191.66/192.15	c #Conflicts:     893000 | #Constraints:      44218
191.66/192.15	c #Conflicts:     894000 | #Constraints:      45218
191.66/192.15	c #Conflicts:     895000 | #Constraints:      46218
191.66/192.15	c #Conflicts:     896000 | #Constraints:      47218
191.66/192.15	c #Conflicts:     897000 | #Constraints:      48218
191.66/192.15	c #Conflicts:     898000 | #Constraints:      49218
191.66/192.15	c #Conflicts:     899000 | #Constraints:      50218
191.66/192.15	c #Conflicts:     900000 | #Constraints:      51218
191.66/192.15	c #Conflicts:     901000 | #Constraints:      52218
191.66/192.15	c #Conflicts:     902000 | #Constraints:      53218
214.30/214.87	c #Conflicts:     903000 | #Constraints:      54218
214.30/214.87	c INPROCESSING
214.30/214.87	c GARBAGE COLLECT
214.30/214.87	c #Conflicts:     904000 | #Constraints:      36434
214.30/214.87	c #Conflicts:     905000 | #Constraints:      37434
214.30/214.87	c #Conflicts:     906000 | #Constraints:      38434
214.30/214.87	c #Conflicts:     907000 | #Constraints:      39434
214.30/214.87	c #Conflicts:     908000 | #Constraints:      40434
214.30/214.87	c #Conflicts:     909000 | #Constraints:      41434
214.30/214.87	c #Conflicts:     910000 | #Constraints:      42434
214.30/214.87	c #Conflicts:     911000 | #Constraints:      43434
214.30/214.87	c #Conflicts:     912000 | #Constraints:      44434
214.30/214.87	c #Conflicts:     913000 | #Constraints:      45434
214.30/214.87	c #Conflicts:     914000 | #Constraints:      46434
214.30/214.87	c #Conflicts:     915000 | #Constraints:      47434
214.30/214.87	c #Conflicts:     916000 | #Constraints:      48434
214.30/214.87	c #Conflicts:     917000 | #Constraints:      49434
214.30/214.87	c #Conflicts:     918000 | #Constraints:      50434
214.30/214.87	c #Conflicts:     919000 | #Constraints:      51434
214.30/214.87	c #Conflicts:     920000 | #Constraints:      52434
214.30/214.87	c #Conflicts:     921000 | #Constraints:      53434
214.30/214.87	c #Conflicts:     922000 | #Constraints:      54434
214.30/214.87	c INPROCESSING
214.30/214.87	c GARBAGE COLLECT
214.30/214.87	c #Conflicts:     923000 | #Constraints:      36430
214.30/214.87	c #Conflicts:     924000 | #Constraints:      37430
214.30/214.87	c #Conflicts:     925000 | #Constraints:      38430
214.30/214.87	c #Conflicts:     926000 | #Constraints:      39430
214.30/214.87	c #Conflicts:     927000 | #Constraints:      40430
214.30/214.87	c #Conflicts:     928000 | #Constraints:      41430
214.30/214.87	c #Conflicts:     929000 | #Constraints:      42430
214.30/214.87	c #Conflicts:     930000 | #Constraints:      43430
214.30/214.87	c #Conflicts:     931000 | #Constraints:      44430
214.30/214.87	c #Conflicts:     932000 | #Constraints:      45430
214.30/214.87	c #Conflicts:     933000 | #Constraints:      46430
214.30/214.87	c #Conflicts:     934000 | #Constraints:      47430
214.30/214.87	c #Conflicts:     935000 | #Constraints:      48430
214.30/214.87	c #Conflicts:     936000 | #Constraints:      49430
214.30/214.87	c #Conflicts:     937000 | #Constraints:      50430
214.30/214.87	c #Conflicts:     938000 | #Constraints:      51430
214.30/214.87	c #Conflicts:     939000 | #Constraints:      52430
214.30/214.87	c #Conflicts:     940000 | #Constraints:      53430
214.30/214.87	c #Conflicts:     941000 | #Constraints:      54430
214.30/214.87	c INPROCESSING
214.30/214.87	c GARBAGE COLLECT
214.30/214.87	c #Conflicts:     942000 | #Constraints:      36234
214.30/214.87	c #Conflicts:     943000 | #Constraints:      37234
214.30/214.87	c #Conflicts:     944000 | #Constraints:      38234
214.30/214.87	c #Conflicts:     945000 | #Constraints:      39234
214.30/214.87	c #Conflicts:     946000 | #Constraints:      40234
214.30/214.87	c #Conflicts:     947000 | #Constraints:      41234
214.30/214.87	c #Conflicts:     948000 | #Constraints:      42234
214.30/214.87	c #Conflicts:     949000 | #Constraints:      43234
214.30/214.87	c #Conflicts:     950000 | #Constraints:      44234
214.30/214.87	c #Conflicts:     951000 | #Constraints:      45234
214.30/214.87	c #Conflicts:     952000 | #Constraints:      46234
214.30/214.87	c #Conflicts:     953000 | #Constraints:      47234
214.30/214.87	c #Conflicts:     954000 | #Constraints:      48234
214.30/214.87	c #Conflicts:     955000 | #Constraints:      49234
214.30/214.87	c #Conflicts:     956000 | #Constraints:      50234
214.30/214.87	c #Conflicts:     957000 | #Constraints:      51234
214.30/214.87	c #Conflicts:     958000 | #Constraints:      52234
214.30/214.87	c #Conflicts:     959000 | #Constraints:      53234
214.30/214.87	c #Conflicts:     960000 | #Constraints:      54234
214.30/214.87	c #Conflicts:     961000 | #Constraints:      55234
214.30/214.87	c INPROCESSING
214.30/214.87	c GARBAGE COLLECT
214.30/214.87	c #Conflicts:     962000 | #Constraints:      36835
214.30/214.87	c #Conflicts:     963000 | #Constraints:      37835
214.30/214.87	c #Conflicts:     964000 | #Constraints:      38835
214.30/214.87	c #Conflicts:     965000 | #Constraints:      39835
214.30/214.87	c #Conflicts:     966000 | #Constraints:      40835
214.30/214.87	c #Conflicts:     967000 | #Constraints:      41835
214.30/214.87	c #Conflicts:     968000 | #Constraints:      42835
214.30/214.87	c #Conflicts:     969000 | #Constraints:      43835
214.30/214.87	c #Conflicts:     970000 | #Constraints:      44835
214.30/214.87	c #Conflicts:     971000 | #Constraints:      45835
214.30/214.87	c #Conflicts:     972000 | #Constraints:      46835
214.30/214.87	c #Conflicts:     973000 | #Constraints:      47835
214.30/214.87	c #Conflicts:     974000 | #Constraints:      48835
214.30/214.87	c #Conflicts:     975000 | #Constraints:      49835
214.30/214.87	c #Conflicts:     976000 | #Constraints:      50835
214.30/214.87	c #Conflicts:     977000 | #Constraints:      51835
214.30/214.87	c #Conflicts:     978000 | #Constraints:      52835
239.73/240.36	c #Conflicts:     979000 | #Constraints:      53835
239.73/240.36	c #Conflicts:     980000 | #Constraints:      54835
239.73/240.36	c #Conflicts:     981000 | #Constraints:      55835
239.73/240.36	c INPROCESSING
239.73/240.36	c GARBAGE COLLECT
239.73/240.36	c #Conflicts:     982000 | #Constraints:      37232
239.73/240.36	c #Conflicts:     983000 | #Constraints:      38232
239.73/240.36	c #Conflicts:     984000 | #Constraints:      39232
239.73/240.36	c #Conflicts:     985000 | #Constraints:      40232
239.73/240.36	c #Conflicts:     986000 | #Constraints:      41232
239.73/240.36	c #Conflicts:     987000 | #Constraints:      42232
239.73/240.36	c #Conflicts:     988000 | #Constraints:      43232
239.73/240.36	c #Conflicts:     989000 | #Constraints:      44232
239.73/240.36	c #Conflicts:     990000 | #Constraints:      45232
239.73/240.36	c #Conflicts:     991000 | #Constraints:      46232
239.73/240.36	c #Conflicts:     992000 | #Constraints:      47232
239.73/240.36	c #Conflicts:     993000 | #Constraints:      48232
239.73/240.36	c #Conflicts:     994000 | #Constraints:      49232
239.73/240.36	c #Conflicts:     995000 | #Constraints:      50232
239.73/240.36	c #Conflicts:     996000 | #Constraints:      51232
239.73/240.36	c #Conflicts:     997000 | #Constraints:      52232
239.73/240.36	c #Conflicts:     998000 | #Constraints:      53232
239.73/240.36	c #Conflicts:     999000 | #Constraints:      54232
239.73/240.36	c #Conflicts:    1000000 | #Constraints:      55232
239.73/240.36	c #Conflicts:    1001000 | #Constraints:      56232
239.73/240.36	c INPROCESSING
239.73/240.36	c GARBAGE COLLECT
239.73/240.36	c #Conflicts:    1002000 | #Constraints:      37436
239.73/240.36	c #Conflicts:    1003000 | #Constraints:      38436
239.73/240.36	c #Conflicts:    1004000 | #Constraints:      39436
239.73/240.36	c #Conflicts:    1005000 | #Constraints:      40436
239.73/240.36	c #Conflicts:    1006000 | #Constraints:      41436
239.73/240.36	c #Conflicts:    1007000 | #Constraints:      42436
239.73/240.36	c #Conflicts:    1008000 | #Constraints:      43436
239.73/240.36	c #Conflicts:    1009000 | #Constraints:      44436
239.73/240.36	c #Conflicts:    1010000 | #Constraints:      45436
239.73/240.36	c #Conflicts:    1011000 | #Constraints:      46436
239.73/240.36	c #Conflicts:    1012000 | #Constraints:      47436
239.73/240.36	c #Conflicts:    1013000 | #Constraints:      48436
239.73/240.36	c #Conflicts:    1014000 | #Constraints:      49436
239.73/240.36	c #Conflicts:    1015000 | #Constraints:      50436
239.73/240.36	c #Conflicts:    1016000 | #Constraints:      51436
239.73/240.36	c #Conflicts:    1017000 | #Constraints:      52436
239.73/240.36	c #Conflicts:    1018000 | #Constraints:      53436
239.73/240.36	c #Conflicts:    1019000 | #Constraints:      54436
239.73/240.36	c #Conflicts:    1020000 | #Constraints:      55436
239.73/240.36	c #Conflicts:    1021000 | #Constraints:      56436
239.73/240.36	c INPROCESSING
239.73/240.36	c GARBAGE COLLECT
239.73/240.36	c #Conflicts:    1022000 | #Constraints:      37439
239.73/240.36	c #Conflicts:    1023000 | #Constraints:      38439
239.73/240.36	c #Conflicts:    1024000 | #Constraints:      39439
239.73/240.36	c #Conflicts:    1025000 | #Constraints:      40439
239.73/240.36	c #Conflicts:    1026000 | #Constraints:      41439
239.73/240.36	c #Conflicts:    1027000 | #Constraints:      42439
239.73/240.36	c #Conflicts:    1028000 | #Constraints:      43439
239.73/240.36	c #Conflicts:    1029000 | #Constraints:      44439
239.73/240.36	c #Conflicts:    1030000 | #Constraints:      45439
239.73/240.36	c #Conflicts:    1031000 | #Constraints:      46439
239.73/240.36	c #Conflicts:    1032000 | #Constraints:      47439
239.73/240.36	c #Conflicts:    1033000 | #Constraints:      48439
239.73/240.36	c #Conflicts:    1034000 | #Constraints:      49439
239.73/240.36	c #Conflicts:    1035000 | #Constraints:      50439
239.73/240.36	c #Conflicts:    1036000 | #Constraints:      51439
239.73/240.36	c #Conflicts:    1037000 | #Constraints:      52439
239.73/240.36	c #Conflicts:    1038000 | #Constraints:      53439
239.73/240.36	c #Conflicts:    1039000 | #Constraints:      54439
239.73/240.36	c #Conflicts:    1040000 | #Constraints:      55439
239.73/240.36	c #Conflicts:    1041000 | #Constraints:      56439
239.73/240.36	c INPROCESSING
239.73/240.36	c GARBAGE COLLECT
239.73/240.36	c #Conflicts:    1042000 | #Constraints:      37229
239.73/240.36	c #Conflicts:    1043000 | #Constraints:      38229
239.73/240.36	c #Conflicts:    1044000 | #Constraints:      39229
239.73/240.36	c #Conflicts:    1045000 | #Constraints:      40229
239.73/240.36	c #Conflicts:    1046000 | #Constraints:      41229
239.73/240.36	c #Conflicts:    1047000 | #Constraints:      42229
239.73/240.36	c #Conflicts:    1048000 | #Constraints:      43229
239.73/240.36	c #Conflicts:    1049000 | #Constraints:      44229
239.73/240.36	c #Conflicts:    1050000 | #Constraints:      45229
239.73/240.36	c #Conflicts:    1051000 | #Constraints:      46229
239.73/240.36	c #Conflicts:    1052000 | #Constraints:      47229
239.73/240.36	c #Conflicts:    1053000 | #Constraints:      48229
239.73/240.36	c #Conflicts:    1054000 | #Constraints:      49229
239.73/240.36	c #Conflicts:    1055000 | #Constraints:      50229
264.78/265.43	c #Conflicts:    1056000 | #Constraints:      51229
264.78/265.43	c #Conflicts:    1057000 | #Constraints:      52229
264.78/265.43	c #Conflicts:    1058000 | #Constraints:      53229
264.78/265.43	c #Conflicts:    1059000 | #Constraints:      54229
264.78/265.43	c #Conflicts:    1060000 | #Constraints:      55229
264.78/265.43	c #Conflicts:    1061000 | #Constraints:      56229
264.78/265.43	c #Conflicts:    1062000 | #Constraints:      57229
264.78/265.43	c INPROCESSING
264.78/265.43	c GARBAGE COLLECT
264.78/265.43	c #Conflicts:    1063000 | #Constraints:      37848
264.78/265.43	c #Conflicts:    1064000 | #Constraints:      38848
264.78/265.43	c #Conflicts:    1065000 | #Constraints:      39848
264.78/265.43	c #Conflicts:    1066000 | #Constraints:      40848
264.78/265.43	c #Conflicts:    1067000 | #Constraints:      41848
264.78/265.43	c #Conflicts:    1068000 | #Constraints:      42848
264.78/265.43	c #Conflicts:    1069000 | #Constraints:      43848
264.78/265.43	c #Conflicts:    1070000 | #Constraints:      44848
264.78/265.43	c #Conflicts:    1071000 | #Constraints:      45848
264.78/265.43	c #Conflicts:    1072000 | #Constraints:      46848
264.78/265.43	c #Conflicts:    1073000 | #Constraints:      47848
264.78/265.43	c #Conflicts:    1074000 | #Constraints:      48848
264.78/265.43	c #Conflicts:    1075000 | #Constraints:      49848
264.78/265.43	c #Conflicts:    1076000 | #Constraints:      50848
264.78/265.43	c #Conflicts:    1077000 | #Constraints:      51848
264.78/265.43	c #Conflicts:    1078000 | #Constraints:      52848
264.78/265.43	c #Conflicts:    1079000 | #Constraints:      53848
264.78/265.43	c #Conflicts:    1080000 | #Constraints:      54848
264.78/265.43	c #Conflicts:    1081000 | #Constraints:      55848
264.78/265.43	c #Conflicts:    1082000 | #Constraints:      56848
264.78/265.43	c #Conflicts:    1083000 | #Constraints:      57848
264.78/265.43	c INPROCESSING
264.78/265.43	c GARBAGE COLLECT
264.78/265.43	c #Conflicts:    1084000 | #Constraints:      38235
264.78/265.43	c #Conflicts:    1085000 | #Constraints:      39235
264.78/265.43	c #Conflicts:    1086000 | #Constraints:      40235
264.78/265.43	c #Conflicts:    1087000 | #Constraints:      41235
264.78/265.43	c #Conflicts:    1088000 | #Constraints:      42235
264.78/265.43	c #Conflicts:    1089000 | #Constraints:      43235
264.78/265.43	c #Conflicts:    1090000 | #Constraints:      44235
264.78/265.43	c #Conflicts:    1091000 | #Constraints:      45235
264.78/265.43	c #Conflicts:    1092000 | #Constraints:      46235
264.78/265.43	c #Conflicts:    1093000 | #Constraints:      47235
264.78/265.43	c #Conflicts:    1094000 | #Constraints:      48235
264.78/265.43	c #Conflicts:    1095000 | #Constraints:      49235
264.78/265.43	c #Conflicts:    1096000 | #Constraints:      50235
264.78/265.43	c #Conflicts:    1097000 | #Constraints:      51235
264.78/265.43	c #Conflicts:    1098000 | #Constraints:      52235
264.78/265.43	c #Conflicts:    1099000 | #Constraints:      53235
264.78/265.43	c #Conflicts:    1100000 | #Constraints:      54235
264.78/265.43	c #Conflicts:    1101000 | #Constraints:      55235
264.78/265.43	c #Conflicts:    1102000 | #Constraints:      56235
264.78/265.43	c #Conflicts:    1103000 | #Constraints:      57235
264.78/265.43	c #Conflicts:    1104000 | #Constraints:      58235
264.78/265.43	c INPROCESSING
264.78/265.43	c GARBAGE COLLECT
264.78/265.43	c #Conflicts:    1105000 | #Constraints:      38437
264.78/265.43	c #Conflicts:    1106000 | #Constraints:      39437
264.78/265.43	c #Conflicts:    1107000 | #Constraints:      40437
264.78/265.43	c #Conflicts:    1108000 | #Constraints:      41437
264.78/265.43	c #Conflicts:    1109000 | #Constraints:      42437
264.78/265.43	c #Conflicts:    1110000 | #Constraints:      43437
264.78/265.43	c #Conflicts:    1111000 | #Constraints:      44437
264.78/265.43	c #Conflicts:    1112000 | #Constraints:      45437
264.78/265.43	c #Conflicts:    1113000 | #Constraints:      46437
264.78/265.43	c #Conflicts:    1114000 | #Constraints:      47437
264.78/265.43	c #Conflicts:    1115000 | #Constraints:      48437
264.78/265.43	c #Conflicts:    1116000 | #Constraints:      49437
264.78/265.43	c #Conflicts:    1117000 | #Constraints:      50437
264.78/265.43	c #Conflicts:    1118000 | #Constraints:      51437
264.78/265.43	c #Conflicts:    1119000 | #Constraints:      52437
264.78/265.43	c #Conflicts:    1120000 | #Constraints:      53437
264.78/265.43	c #Conflicts:    1121000 | #Constraints:      54437
264.78/265.43	c #Conflicts:    1122000 | #Constraints:      55437
264.78/265.43	c #Conflicts:    1123000 | #Constraints:      56437
264.78/265.43	c #Conflicts:    1124000 | #Constraints:      57437
264.78/265.43	c #Conflicts:    1125000 | #Constraints:      58437
264.78/265.43	c INPROCESSING
264.78/265.43	c GARBAGE COLLECT
264.78/265.43	c #Conflicts:    1126000 | #Constraints:      38419
264.78/265.43	c #Conflicts:    1127000 | #Constraints:      39419
264.78/265.43	c #Conflicts:    1128000 | #Constraints:      40419
264.78/265.43	c #Conflicts:    1129000 | #Constraints:      41419
264.78/265.43	c #Conflicts:    1130000 | #Constraints:      42419
264.78/265.43	c #Conflicts:    1131000 | #Constraints:      43419
289.52/290.27	c #Conflicts:    1132000 | #Constraints:      44419
289.52/290.27	c #Conflicts:    1133000 | #Constraints:      45419
289.52/290.27	c #Conflicts:    1134000 | #Constraints:      46419
289.52/290.27	c #Conflicts:    1135000 | #Constraints:      47419
289.52/290.27	c #Conflicts:    1136000 | #Constraints:      48419
289.52/290.27	c #Conflicts:    1137000 | #Constraints:      49419
289.52/290.27	c #Conflicts:    1138000 | #Constraints:      50419
289.52/290.27	c #Conflicts:    1139000 | #Constraints:      51419
289.52/290.27	c #Conflicts:    1140000 | #Constraints:      52419
289.52/290.27	c #Conflicts:    1141000 | #Constraints:      53419
289.52/290.27	c #Conflicts:    1142000 | #Constraints:      54419
289.52/290.27	c #Conflicts:    1143000 | #Constraints:      55419
289.52/290.27	c #Conflicts:    1144000 | #Constraints:      56419
289.52/290.27	c #Conflicts:    1145000 | #Constraints:      57419
289.52/290.27	c #Conflicts:    1146000 | #Constraints:      58419
289.52/290.27	c INPROCESSING
289.52/290.27	c GARBAGE COLLECT
289.52/290.27	c #Conflicts:    1147000 | #Constraints:      38222
289.52/290.27	c #Conflicts:    1148000 | #Constraints:      39222
289.52/290.27	c #Conflicts:    1149000 | #Constraints:      40222
289.52/290.27	c #Conflicts:    1150000 | #Constraints:      41222
289.52/290.27	c #Conflicts:    1151000 | #Constraints:      42222
289.52/290.27	c #Conflicts:    1152000 | #Constraints:      43222
289.52/290.27	c #Conflicts:    1153000 | #Constraints:      44222
289.52/290.27	c #Conflicts:    1154000 | #Constraints:      45222
289.52/290.27	c #Conflicts:    1155000 | #Constraints:      46222
289.52/290.27	c #Conflicts:    1156000 | #Constraints:      47222
289.52/290.27	c #Conflicts:    1157000 | #Constraints:      48222
289.52/290.27	c #Conflicts:    1158000 | #Constraints:      49222
289.52/290.27	c #Conflicts:    1159000 | #Constraints:      50222
289.52/290.27	c #Conflicts:    1160000 | #Constraints:      51222
289.52/290.27	c #Conflicts:    1161000 | #Constraints:      52222
289.52/290.27	c #Conflicts:    1162000 | #Constraints:      53222
289.52/290.27	c #Conflicts:    1163000 | #Constraints:      54222
289.52/290.27	c #Conflicts:    1164000 | #Constraints:      55222
289.52/290.27	c #Conflicts:    1165000 | #Constraints:      56222
289.52/290.27	c #Conflicts:    1166000 | #Constraints:      57222
289.52/290.27	c #Conflicts:    1167000 | #Constraints:      58222
289.52/290.27	c #Conflicts:    1168000 | #Constraints:      59222
289.52/290.27	c INPROCESSING
289.52/290.27	c GARBAGE COLLECT
289.52/290.27	c #Conflicts:    1169000 | #Constraints:      38826
289.52/290.27	c #Conflicts:    1170000 | #Constraints:      39826
289.52/290.27	c #Conflicts:    1171000 | #Constraints:      40826
289.52/290.27	c #Conflicts:    1172000 | #Constraints:      41826
289.52/290.27	c #Conflicts:    1173000 | #Constraints:      42826
289.52/290.27	c #Conflicts:    1174000 | #Constraints:      43826
289.52/290.27	c #Conflicts:    1175000 | #Constraints:      44826
289.52/290.27	c #Conflicts:    1176000 | #Constraints:      45826
289.52/290.27	c #Conflicts:    1177000 | #Constraints:      46826
289.52/290.27	c #Conflicts:    1178000 | #Constraints:      47826
289.52/290.27	c #Conflicts:    1179000 | #Constraints:      48826
289.52/290.27	c #Conflicts:    1180000 | #Constraints:      49826
289.52/290.27	c #Conflicts:    1181000 | #Constraints:      50826
289.52/290.27	c #Conflicts:    1182000 | #Constraints:      51826
289.52/290.27	c #Conflicts:    1183000 | #Constraints:      52826
289.52/290.27	c #Conflicts:    1184000 | #Constraints:      53826
289.52/290.27	c #Conflicts:    1185000 | #Constraints:      54826
289.52/290.27	c #Conflicts:    1186000 | #Constraints:      55826
289.52/290.27	c #Conflicts:    1187000 | #Constraints:      56826
289.52/290.27	c #Conflicts:    1188000 | #Constraints:      57826
289.52/290.27	c #Conflicts:    1189000 | #Constraints:      58826
289.52/290.27	c #Conflicts:    1190000 | #Constraints:      59826
289.52/290.27	c INPROCESSING
289.52/290.27	c GARBAGE COLLECT
289.52/290.27	c #Conflicts:    1191000 | #Constraints:      39224
289.52/290.27	c #Conflicts:    1192000 | #Constraints:      40224
289.52/290.27	c #Conflicts:    1193000 | #Constraints:      41224
289.52/290.27	c #Conflicts:    1194000 | #Constraints:      42224
289.52/290.27	c #Conflicts:    1195000 | #Constraints:      43224
289.52/290.27	c #Conflicts:    1196000 | #Constraints:      44224
289.52/290.27	c #Conflicts:    1197000 | #Constraints:      45224
289.52/290.27	c #Conflicts:    1198000 | #Constraints:      46224
289.52/290.27	c #Conflicts:    1199000 | #Constraints:      47224
289.52/290.27	c #Conflicts:    1200000 | #Constraints:      48224
289.52/290.27	c #Conflicts:    1201000 | #Constraints:      49224
289.52/290.27	c #Conflicts:    1202000 | #Constraints:      50224
289.52/290.27	c #Conflicts:    1203000 | #Constraints:      51224
289.52/290.27	c #Conflicts:    1204000 | #Constraints:      52224
289.52/290.27	c #Conflicts:    1205000 | #Constraints:      53224
289.52/290.27	c #Conflicts:    1206000 | #Constraints:      54224
289.52/290.27	c #Conflicts:    1207000 | #Constraints:      55224
289.52/290.27	c #Conflicts:    1208000 | #Constraints:      56224
315.45/316.27	c #Conflicts:    1209000 | #Constraints:      57224
315.45/316.27	c #Conflicts:    1210000 | #Constraints:      58224
315.45/316.27	c #Conflicts:    1211000 | #Constraints:      59224
315.45/316.27	c #Conflicts:    1212000 | #Constraints:      60224
315.45/316.27	c INPROCESSING
315.45/316.27	c GARBAGE COLLECT
315.45/316.27	c #Conflicts:    1213000 | #Constraints:      39427
315.45/316.27	c #Conflicts:    1214000 | #Constraints:      40427
315.45/316.27	c #Conflicts:    1215000 | #Constraints:      41427
315.45/316.27	c #Conflicts:    1216000 | #Constraints:      42427
315.45/316.27	c #Conflicts:    1217000 | #Constraints:      43427
315.45/316.27	c #Conflicts:    1218000 | #Constraints:      44427
315.45/316.27	c #Conflicts:    1219000 | #Constraints:      45427
315.45/316.27	c #Conflicts:    1220000 | #Constraints:      46427
315.45/316.27	c #Conflicts:    1221000 | #Constraints:      47427
315.45/316.27	c #Conflicts:    1222000 | #Constraints:      48427
315.45/316.27	c #Conflicts:    1223000 | #Constraints:      49427
315.45/316.27	c #Conflicts:    1224000 | #Constraints:      50427
315.45/316.27	c #Conflicts:    1225000 | #Constraints:      51427
315.45/316.27	c #Conflicts:    1226000 | #Constraints:      52427
315.45/316.27	c #Conflicts:    1227000 | #Constraints:      53427
315.45/316.27	c #Conflicts:    1228000 | #Constraints:      54427
315.45/316.27	c #Conflicts:    1229000 | #Constraints:      55427
315.45/316.27	c #Conflicts:    1230000 | #Constraints:      56427
315.45/316.27	c #Conflicts:    1231000 | #Constraints:      57427
315.45/316.27	c #Conflicts:    1232000 | #Constraints:      58427
315.45/316.27	c #Conflicts:    1233000 | #Constraints:      59427
315.45/316.27	c #Conflicts:    1234000 | #Constraints:      60427
315.45/316.27	c INPROCESSING
315.45/316.27	c GARBAGE COLLECT
315.45/316.27	c #Conflicts:    1235000 | #Constraints:      39437
315.45/316.27	c #Conflicts:    1236000 | #Constraints:      40437
315.45/316.27	c #Conflicts:    1237000 | #Constraints:      41437
315.45/316.27	c #Conflicts:    1238000 | #Constraints:      42437
315.45/316.27	c #Conflicts:    1239000 | #Constraints:      43437
315.45/316.27	c #Conflicts:    1240000 | #Constraints:      44437
315.45/316.27	c #Conflicts:    1241000 | #Constraints:      45437
315.45/316.27	c #Conflicts:    1242000 | #Constraints:      46437
315.45/316.27	c #Conflicts:    1243000 | #Constraints:      47437
315.45/316.27	c #Conflicts:    1244000 | #Constraints:      48437
315.45/316.27	c #Conflicts:    1245000 | #Constraints:      49437
315.45/316.27	c #Conflicts:    1246000 | #Constraints:      50437
315.45/316.27	c #Conflicts:    1247000 | #Constraints:      51437
315.45/316.27	c #Conflicts:    1248000 | #Constraints:      52437
315.45/316.27	c #Conflicts:    1249000 | #Constraints:      53437
315.45/316.27	c #Conflicts:    1250000 | #Constraints:      54437
315.45/316.27	c #Conflicts:    1251000 | #Constraints:      55437
315.45/316.27	c #Conflicts:    1252000 | #Constraints:      56437
315.45/316.27	c #Conflicts:    1253000 | #Constraints:      57437
315.45/316.27	c #Conflicts:    1254000 | #Constraints:      58437
315.45/316.27	c #Conflicts:    1255000 | #Constraints:      59437
315.45/316.27	c #Conflicts:    1256000 | #Constraints:      60437
315.45/316.27	c INPROCESSING
315.45/316.27	c GARBAGE COLLECT
315.45/316.27	c #Conflicts:    1257000 | #Constraints:      39241
315.45/316.27	c #Conflicts:    1258000 | #Constraints:      40241
315.45/316.27	c #Conflicts:    1259000 | #Constraints:      41241
315.45/316.27	c #Conflicts:    1260000 | #Constraints:      42241
315.45/316.27	c #Conflicts:    1261000 | #Constraints:      43241
315.45/316.27	c #Conflicts:    1262000 | #Constraints:      44241
315.45/316.27	c #Conflicts:    1263000 | #Constraints:      45241
315.45/316.27	c #Conflicts:    1264000 | #Constraints:      46241
315.45/316.27	c #Conflicts:    1265000 | #Constraints:      47241
315.45/316.27	c #Conflicts:    1266000 | #Constraints:      48241
315.45/316.27	c #Conflicts:    1267000 | #Constraints:      49241
315.45/316.27	c #Conflicts:    1268000 | #Constraints:      50241
315.45/316.27	c #Conflicts:    1269000 | #Constraints:      51241
315.45/316.27	c #Conflicts:    1270000 | #Constraints:      52241
315.45/316.27	c #Conflicts:    1271000 | #Constraints:      53241
315.45/316.27	c #Conflicts:    1272000 | #Constraints:      54241
315.45/316.27	c #Conflicts:    1273000 | #Constraints:      55241
315.45/316.27	c #Conflicts:    1274000 | #Constraints:      56241
315.45/316.27	c #Conflicts:    1275000 | #Constraints:      57241
315.45/316.27	c #Conflicts:    1276000 | #Constraints:      58241
315.45/316.27	c #Conflicts:    1277000 | #Constraints:      59241
315.45/316.27	c #Conflicts:    1278000 | #Constraints:      60241
315.45/316.27	c #Conflicts:    1279000 | #Constraints:      61241
315.45/316.27	c INPROCESSING
315.45/316.27	c GARBAGE COLLECT
315.45/316.27	c #Conflicts:    1280000 | #Constraints:      39838
315.45/316.27	c #Conflicts:    1281000 | #Constraints:      40838
315.45/316.27	c #Conflicts:    1282000 | #Constraints:      41838
315.45/316.27	c #Conflicts:    1283000 | #Constraints:      42838
315.45/316.27	c #Conflicts:    1284000 | #Constraints:      43838
341.99/342.85	c #Conflicts:    1285000 | #Constraints:      44838
341.99/342.85	c #Conflicts:    1286000 | #Constraints:      45838
341.99/342.85	c #Conflicts:    1287000 | #Constraints:      46838
341.99/342.85	c #Conflicts:    1288000 | #Constraints:      47838
341.99/342.85	c #Conflicts:    1289000 | #Constraints:      48838
341.99/342.85	c #Conflicts:    1290000 | #Constraints:      49838
341.99/342.85	c #Conflicts:    1291000 | #Constraints:      50838
341.99/342.85	c #Conflicts:    1292000 | #Constraints:      51838
341.99/342.85	c #Conflicts:    1293000 | #Constraints:      52838
341.99/342.85	c #Conflicts:    1294000 | #Constraints:      53838
341.99/342.85	c #Conflicts:    1295000 | #Constraints:      54838
341.99/342.85	c #Conflicts:    1296000 | #Constraints:      55838
341.99/342.85	c #Conflicts:    1297000 | #Constraints:      56838
341.99/342.85	c #Conflicts:    1298000 | #Constraints:      57838
341.99/342.85	c #Conflicts:    1299000 | #Constraints:      58838
341.99/342.85	c #Conflicts:    1300000 | #Constraints:      59838
341.99/342.85	c #Conflicts:    1301000 | #Constraints:      60838
341.99/342.85	c #Conflicts:    1302000 | #Constraints:      61838
341.99/342.85	c INPROCESSING
341.99/342.85	c GARBAGE COLLECT
341.99/342.85	c #Conflicts:    1303000 | #Constraints:      40229
341.99/342.85	c #Conflicts:    1304000 | #Constraints:      41229
341.99/342.85	c #Conflicts:    1305000 | #Constraints:      42229
341.99/342.85	c #Conflicts:    1306000 | #Constraints:      43229
341.99/342.85	c #Conflicts:    1307000 | #Constraints:      44229
341.99/342.85	c #Conflicts:    1308000 | #Constraints:      45229
341.99/342.85	c #Conflicts:    1309000 | #Constraints:      46229
341.99/342.85	c #Conflicts:    1310000 | #Constraints:      47229
341.99/342.85	c #Conflicts:    1311000 | #Constraints:      48229
341.99/342.85	c #Conflicts:    1312000 | #Constraints:      49229
341.99/342.85	c #Conflicts:    1313000 | #Constraints:      50229
341.99/342.85	c #Conflicts:    1314000 | #Constraints:      51229
341.99/342.85	c #Conflicts:    1315000 | #Constraints:      52229
341.99/342.85	c #Conflicts:    1316000 | #Constraints:      53229
341.99/342.85	c #Conflicts:    1317000 | #Constraints:      54229
341.99/342.85	c #Conflicts:    1318000 | #Constraints:      55229
341.99/342.85	c #Conflicts:    1319000 | #Constraints:      56229
341.99/342.85	c #Conflicts:    1320000 | #Constraints:      57229
341.99/342.85	c #Conflicts:    1321000 | #Constraints:      58229
341.99/342.85	c #Conflicts:    1322000 | #Constraints:      59229
341.99/342.85	c #Conflicts:    1323000 | #Constraints:      60229
341.99/342.85	c #Conflicts:    1324000 | #Constraints:      61229
341.99/342.85	c #Conflicts:    1325000 | #Constraints:      62229
341.99/342.85	c INPROCESSING
341.99/342.85	c GARBAGE COLLECT
341.99/342.85	c #Conflicts:    1326000 | #Constraints:      40422
341.99/342.85	c #Conflicts:    1327000 | #Constraints:      41422
341.99/342.85	c #Conflicts:    1328000 | #Constraints:      42422
341.99/342.85	c #Conflicts:    1329000 | #Constraints:      43422
341.99/342.85	c #Conflicts:    1330000 | #Constraints:      44422
341.99/342.85	c #Conflicts:    1331000 | #Constraints:      45422
341.99/342.85	c #Conflicts:    1332000 | #Constraints:      46422
341.99/342.85	c #Conflicts:    1333000 | #Constraints:      47422
341.99/342.85	c #Conflicts:    1334000 | #Constraints:      48422
341.99/342.85	c #Conflicts:    1335000 | #Constraints:      49422
341.99/342.85	c #Conflicts:    1336000 | #Constraints:      50422
341.99/342.85	c #Conflicts:    1337000 | #Constraints:      51422
341.99/342.85	c #Conflicts:    1338000 | #Constraints:      52422
341.99/342.85	c #Conflicts:    1339000 | #Constraints:      53422
341.99/342.85	c #Conflicts:    1340000 | #Constraints:      54422
341.99/342.85	c #Conflicts:    1341000 | #Constraints:      55422
341.99/342.85	c #Conflicts:    1342000 | #Constraints:      56422
341.99/342.85	c #Conflicts:    1343000 | #Constraints:      57422
341.99/342.85	c #Conflicts:    1344000 | #Constraints:      58422
341.99/342.85	c #Conflicts:    1345000 | #Constraints:      59422
341.99/342.85	c #Conflicts:    1346000 | #Constraints:      60422
341.99/342.85	c #Conflicts:    1347000 | #Constraints:      61422
341.99/342.85	c #Conflicts:    1348000 | #Constraints:      62422
341.99/342.85	c INPROCESSING
341.99/342.85	c GARBAGE COLLECT
341.99/342.85	c #Conflicts:    1349000 | #Constraints:      40440
341.99/342.85	c #Conflicts:    1350000 | #Constraints:      41440
341.99/342.85	c #Conflicts:    1351000 | #Constraints:      42440
341.99/342.85	c #Conflicts:    1352000 | #Constraints:      43440
341.99/342.85	c #Conflicts:    1353000 | #Constraints:      44440
341.99/342.85	c #Conflicts:    1354000 | #Constraints:      45440
341.99/342.85	c #Conflicts:    1355000 | #Constraints:      46440
341.99/342.85	c #Conflicts:    1356000 | #Constraints:      47440
341.99/342.85	c #Conflicts:    1357000 | #Constraints:      48440
341.99/342.85	c #Conflicts:    1358000 | #Constraints:      49440
341.99/342.85	c #Conflicts:    1359000 | #Constraints:      50440
341.99/342.85	c #Conflicts:    1360000 | #Constraints:      51440
341.99/342.85	c #Conflicts:    1361000 | #Constraints:      52440
368.23/369.16	c #Conflicts:    1362000 | #Constraints:      53440
368.23/369.16	c #Conflicts:    1363000 | #Constraints:      54440
368.23/369.16	c #Conflicts:    1364000 | #Constraints:      55440
368.23/369.16	c #Conflicts:    1365000 | #Constraints:      56440
368.23/369.16	c #Conflicts:    1366000 | #Constraints:      57440
368.23/369.16	c #Conflicts:    1367000 | #Constraints:      58440
368.23/369.16	c #Conflicts:    1368000 | #Constraints:      59440
368.23/369.16	c #Conflicts:    1369000 | #Constraints:      60440
368.23/369.16	c #Conflicts:    1370000 | #Constraints:      61440
368.23/369.16	c #Conflicts:    1371000 | #Constraints:      62440
368.23/369.16	c INPROCESSING
368.23/369.16	c GARBAGE COLLECT
368.23/369.16	c #Conflicts:    1372000 | #Constraints:      40250
368.23/369.16	c #Conflicts:    1373000 | #Constraints:      41250
368.23/369.16	c #Conflicts:    1374000 | #Constraints:      42250
368.23/369.16	c #Conflicts:    1375000 | #Constraints:      43250
368.23/369.16	c #Conflicts:    1376000 | #Constraints:      44250
368.23/369.16	c #Conflicts:    1377000 | #Constraints:      45250
368.23/369.16	c #Conflicts:    1378000 | #Constraints:      46250
368.23/369.16	c #Conflicts:    1379000 | #Constraints:      47250
368.23/369.16	c #Conflicts:    1380000 | #Constraints:      48250
368.23/369.16	c #Conflicts:    1381000 | #Constraints:      49250
368.23/369.16	c #Conflicts:    1382000 | #Constraints:      50250
368.23/369.16	c #Conflicts:    1383000 | #Constraints:      51250
368.23/369.16	c #Conflicts:    1384000 | #Constraints:      52250
368.23/369.16	c #Conflicts:    1385000 | #Constraints:      53250
368.23/369.16	c #Conflicts:    1386000 | #Constraints:      54250
368.23/369.16	c #Conflicts:    1387000 | #Constraints:      55250
368.23/369.16	c #Conflicts:    1388000 | #Constraints:      56250
368.23/369.16	c #Conflicts:    1389000 | #Constraints:      57250
368.23/369.16	c #Conflicts:    1390000 | #Constraints:      58250
368.23/369.16	c #Conflicts:    1391000 | #Constraints:      59250
368.23/369.16	c #Conflicts:    1392000 | #Constraints:      60250
368.23/369.16	c #Conflicts:    1393000 | #Constraints:      61250
368.23/369.16	c #Conflicts:    1394000 | #Constraints:      62250
368.23/369.16	c #Conflicts:    1395000 | #Constraints:      63250
368.23/369.16	c INPROCESSING
368.23/369.16	c GARBAGE COLLECT
368.23/369.16	c #Conflicts:    1396000 | #Constraints:      40842
368.23/369.16	c #Conflicts:    1397000 | #Constraints:      41842
368.23/369.16	c #Conflicts:    1398000 | #Constraints:      42842
368.23/369.16	c #Conflicts:    1399000 | #Constraints:      43842
368.23/369.16	c #Conflicts:    1400000 | #Constraints:      44842
368.23/369.16	c #Conflicts:    1401000 | #Constraints:      45842
368.23/369.16	c #Conflicts:    1402000 | #Constraints:      46842
368.23/369.16	c #Conflicts:    1403000 | #Constraints:      47842
368.23/369.16	c #Conflicts:    1404000 | #Constraints:      48842
368.23/369.16	c #Conflicts:    1405000 | #Constraints:      49842
368.23/369.16	c #Conflicts:    1406000 | #Constraints:      50842
368.23/369.16	c #Conflicts:    1407000 | #Constraints:      51842
368.23/369.16	c #Conflicts:    1408000 | #Constraints:      52842
368.23/369.16	c #Conflicts:    1409000 | #Constraints:      53842
368.23/369.16	c #Conflicts:    1410000 | #Constraints:      54842
368.23/369.16	c #Conflicts:    1411000 | #Constraints:      55842
368.23/369.16	c #Conflicts:    1412000 | #Constraints:      56842
368.23/369.16	c #Conflicts:    1413000 | #Constraints:      57842
368.23/369.16	c #Conflicts:    1414000 | #Constraints:      58842
368.23/369.16	c #Conflicts:    1415000 | #Constraints:      59842
368.23/369.16	c #Conflicts:    1416000 | #Constraints:      60842
368.23/369.16	c #Conflicts:    1417000 | #Constraints:      61842
368.23/369.16	c #Conflicts:    1418000 | #Constraints:      62842
368.23/369.16	c #Conflicts:    1419000 | #Constraints:      63842
368.23/369.16	c INPROCESSING
368.23/369.16	c GARBAGE COLLECT
368.23/369.16	c #Conflicts:    1420000 | #Constraints:      41250
368.23/369.16	c #Conflicts:    1421000 | #Constraints:      42250
368.23/369.16	c #Conflicts:    1422000 | #Constraints:      43250
368.23/369.16	c #Conflicts:    1423000 | #Constraints:      44250
368.23/369.16	c #Conflicts:    1424000 | #Constraints:      45250
368.23/369.16	c #Conflicts:    1425000 | #Constraints:      46250
368.23/369.16	c #Conflicts:    1426000 | #Constraints:      47250
368.23/369.16	c #Conflicts:    1427000 | #Constraints:      48250
368.23/369.16	c #Conflicts:    1428000 | #Constraints:      49250
368.23/369.16	c #Conflicts:    1429000 | #Constraints:      50250
368.23/369.16	c #Conflicts:    1430000 | #Constraints:      51250
368.23/369.16	c #Conflicts:    1431000 | #Constraints:      52250
368.23/369.16	c #Conflicts:    1432000 | #Constraints:      53250
368.23/369.16	c #Conflicts:    1433000 | #Constraints:      54250
368.23/369.16	c #Conflicts:    1434000 | #Constraints:      55250
368.23/369.16	c #Conflicts:    1435000 | #Constraints:      56250
368.23/369.16	c #Conflicts:    1436000 | #Constraints:      57250
368.23/369.16	c #Conflicts:    1437000 | #Constraints:      58250
368.23/369.16	c #Conflicts:    1438000 | #Constraints:      59250
394.55/395.51	c #Conflicts:    1439000 | #Constraints:      60250
394.55/395.51	c #Conflicts:    1440000 | #Constraints:      61250
394.55/395.51	c #Conflicts:    1441000 | #Constraints:      62250
394.55/395.51	c #Conflicts:    1442000 | #Constraints:      63250
394.55/395.51	c #Conflicts:    1443000 | #Constraints:      64250
394.55/395.51	c INPROCESSING
394.55/395.51	c GARBAGE COLLECT
394.55/395.51	c #Conflicts:    1444000 | #Constraints:      41442
394.55/395.51	c #Conflicts:    1445000 | #Constraints:      42442
394.55/395.51	c #Conflicts:    1446000 | #Constraints:      43442
394.55/395.51	c #Conflicts:    1447000 | #Constraints:      44442
394.55/395.51	c #Conflicts:    1448000 | #Constraints:      45442
394.55/395.51	c #Conflicts:    1449000 | #Constraints:      46442
394.55/395.51	c #Conflicts:    1450000 | #Constraints:      47442
394.55/395.51	c #Conflicts:    1451000 | #Constraints:      48442
394.55/395.51	c #Conflicts:    1452000 | #Constraints:      49442
394.55/395.51	c #Conflicts:    1453000 | #Constraints:      50442
394.55/395.51	c #Conflicts:    1454000 | #Constraints:      51442
394.55/395.51	c #Conflicts:    1455000 | #Constraints:      52442
394.55/395.51	c #Conflicts:    1456000 | #Constraints:      53442
394.55/395.51	c #Conflicts:    1457000 | #Constraints:      54442
394.55/395.51	c #Conflicts:    1458000 | #Constraints:      55442
394.55/395.51	c #Conflicts:    1459000 | #Constraints:      56442
394.55/395.51	c #Conflicts:    1460000 | #Constraints:      57442
394.55/395.51	c #Conflicts:    1461000 | #Constraints:      58442
394.55/395.51	c #Conflicts:    1462000 | #Constraints:      59442
394.55/395.51	c #Conflicts:    1463000 | #Constraints:      60442
394.55/395.51	c #Conflicts:    1464000 | #Constraints:      61442
394.55/395.51	c #Conflicts:    1465000 | #Constraints:      62442
394.55/395.51	c #Conflicts:    1466000 | #Constraints:      63442
394.55/395.51	c #Conflicts:    1467000 | #Constraints:      64442
394.55/395.51	c INPROCESSING
394.55/395.51	c GARBAGE COLLECT
394.55/395.51	c #Conflicts:    1468000 | #Constraints:      41454
394.55/395.51	c #Conflicts:    1469000 | #Constraints:      42454
394.55/395.51	c #Conflicts:    1470000 | #Constraints:      43454
394.55/395.51	c #Conflicts:    1471000 | #Constraints:      44454
394.55/395.51	c #Conflicts:    1472000 | #Constraints:      45454
394.55/395.51	c #Conflicts:    1473000 | #Constraints:      46454
394.55/395.51	c #Conflicts:    1474000 | #Constraints:      47454
394.55/395.51	c #Conflicts:    1475000 | #Constraints:      48454
394.55/395.51	c #Conflicts:    1476000 | #Constraints:      49454
394.55/395.51	c #Conflicts:    1477000 | #Constraints:      50454
394.55/395.51	c #Conflicts:    1478000 | #Constraints:      51454
394.55/395.51	c #Conflicts:    1479000 | #Constraints:      52454
394.55/395.51	c #Conflicts:    1480000 | #Constraints:      53454
394.55/395.51	c #Conflicts:    1481000 | #Constraints:      54454
394.55/395.51	c #Conflicts:    1482000 | #Constraints:      55454
394.55/395.51	c #Conflicts:    1483000 | #Constraints:      56454
394.55/395.51	c #Conflicts:    1484000 | #Constraints:      57454
394.55/395.51	c #Conflicts:    1485000 | #Constraints:      58454
394.55/395.51	c #Conflicts:    1486000 | #Constraints:      59454
394.55/395.51	c #Conflicts:    1487000 | #Constraints:      60454
394.55/395.51	c #Conflicts:    1488000 | #Constraints:      61454
394.55/395.51	c #Conflicts:    1489000 | #Constraints:      62454
394.55/395.51	c #Conflicts:    1490000 | #Constraints:      63454
394.55/395.51	c #Conflicts:    1491000 | #Constraints:      64454
394.55/395.51	c INPROCESSING
394.55/395.51	c GARBAGE COLLECT
394.55/395.51	c #Conflicts:    1492000 | #Constraints:      41240
394.55/395.51	c #Conflicts:    1493000 | #Constraints:      42240
394.55/395.51	c #Conflicts:    1494000 | #Constraints:      43240
394.55/395.51	c #Conflicts:    1495000 | #Constraints:      44240
394.55/395.51	c #Conflicts:    1496000 | #Constraints:      45240
394.55/395.51	c #Conflicts:    1497000 | #Constraints:      46240
394.55/395.51	c #Conflicts:    1498000 | #Constraints:      47240
394.55/395.51	c #Conflicts:    1499000 | #Constraints:      48240
394.55/395.51	c #Conflicts:    1500000 | #Constraints:      49240
394.55/395.51	c #Conflicts:    1501000 | #Constraints:      50240
394.55/395.51	c #Conflicts:    1502000 | #Constraints:      51240
394.55/395.51	c #Conflicts:    1503000 | #Constraints:      52240
394.55/395.51	c #Conflicts:    1504000 | #Constraints:      53240
394.55/395.51	c #Conflicts:    1505000 | #Constraints:      54240
394.55/395.51	c #Conflicts:    1506000 | #Constraints:      55240
394.55/395.51	c #Conflicts:    1507000 | #Constraints:      56240
394.55/395.51	c #Conflicts:    1508000 | #Constraints:      57240
394.55/395.51	c #Conflicts:    1509000 | #Constraints:      58240
394.55/395.51	c #Conflicts:    1510000 | #Constraints:      59240
394.55/395.51	c #Conflicts:    1511000 | #Constraints:      60240
394.55/395.51	c #Conflicts:    1512000 | #Constraints:      61240
394.55/395.51	c #Conflicts:    1513000 | #Constraints:      62240
394.55/395.51	c #Conflicts:    1514000 | #Constraints:      63240
421.77/422.81	c #Conflicts:    1515000 | #Constraints:      64240
421.77/422.81	c #Conflicts:    1516000 | #Constraints:      65240
421.77/422.81	c INPROCESSING
421.77/422.81	c GARBAGE COLLECT
421.77/422.81	c #Conflicts:    1517000 | #Constraints:      41844
421.77/422.81	c #Conflicts:    1518000 | #Constraints:      42844
421.77/422.81	c #Conflicts:    1519000 | #Constraints:      43844
421.77/422.81	c #Conflicts:    1520000 | #Constraints:      44844
421.77/422.81	c #Conflicts:    1521000 | #Constraints:      45844
421.77/422.81	c #Conflicts:    1522000 | #Constraints:      46844
421.77/422.81	c #Conflicts:    1523000 | #Constraints:      47844
421.77/422.81	c #Conflicts:    1524000 | #Constraints:      48844
421.77/422.81	c #Conflicts:    1525000 | #Constraints:      49844
421.77/422.81	c #Conflicts:    1526000 | #Constraints:      50844
421.77/422.81	c #Conflicts:    1527000 | #Constraints:      51844
421.77/422.81	c #Conflicts:    1528000 | #Constraints:      52844
421.77/422.81	c #Conflicts:    1529000 | #Constraints:      53844
421.77/422.81	c #Conflicts:    1530000 | #Constraints:      54844
421.77/422.81	c #Conflicts:    1531000 | #Constraints:      55844
421.77/422.81	c #Conflicts:    1532000 | #Constraints:      56844
421.77/422.81	c #Conflicts:    1533000 | #Constraints:      57844
421.77/422.81	c #Conflicts:    1534000 | #Constraints:      58844
421.77/422.81	c #Conflicts:    1535000 | #Constraints:      59844
421.77/422.81	c #Conflicts:    1536000 | #Constraints:      60844
421.77/422.81	c #Conflicts:    1537000 | #Constraints:      61844
421.77/422.81	c #Conflicts:    1538000 | #Constraints:      62844
421.77/422.81	c #Conflicts:    1539000 | #Constraints:      63844
421.77/422.81	c #Conflicts:    1540000 | #Constraints:      64844
421.77/422.81	c #Conflicts:    1541000 | #Constraints:      65844
421.77/422.81	c INPROCESSING
421.77/422.81	c GARBAGE COLLECT
421.77/422.81	c #Conflicts:    1542000 | #Constraints:      42242
421.77/422.81	c #Conflicts:    1543000 | #Constraints:      43242
421.77/422.81	c #Conflicts:    1544000 | #Constraints:      44242
421.77/422.81	c #Conflicts:    1545000 | #Constraints:      45242
421.77/422.81	c #Conflicts:    1546000 | #Constraints:      46242
421.77/422.81	c #Conflicts:    1547000 | #Constraints:      47242
421.77/422.81	c #Conflicts:    1548000 | #Constraints:      48242
421.77/422.81	c #Conflicts:    1549000 | #Constraints:      49242
421.77/422.81	c #Conflicts:    1550000 | #Constraints:      50242
421.77/422.81	c #Conflicts:    1551000 | #Constraints:      51242
421.77/422.81	c #Conflicts:    1552000 | #Constraints:      52242
421.77/422.81	c #Conflicts:    1553000 | #Constraints:      53242
421.77/422.81	c #Conflicts:    1554000 | #Constraints:      54242
421.77/422.81	c #Conflicts:    1555000 | #Constraints:      55242
421.77/422.81	c #Conflicts:    1556000 | #Constraints:      56242
421.77/422.81	c #Conflicts:    1557000 | #Constraints:      57242
421.77/422.81	c #Conflicts:    1558000 | #Constraints:      58242
421.77/422.81	c #Conflicts:    1559000 | #Constraints:      59242
421.77/422.81	c #Conflicts:    1560000 | #Constraints:      60242
421.77/422.81	c #Conflicts:    1561000 | #Constraints:      61242
421.77/422.81	c #Conflicts:    1562000 | #Constraints:      62242
421.77/422.81	c #Conflicts:    1563000 | #Constraints:      63242
421.77/422.81	c #Conflicts:    1564000 | #Constraints:      64242
421.77/422.81	c #Conflicts:    1565000 | #Constraints:      65242
421.77/422.81	c #Conflicts:    1566000 | #Constraints:      66242
421.77/422.81	c INPROCESSING
421.77/422.81	c GARBAGE COLLECT
421.77/422.81	c #Conflicts:    1567000 | #Constraints:      42432
421.77/422.81	c #Conflicts:    1568000 | #Constraints:      43432
421.77/422.81	c #Conflicts:    1569000 | #Constraints:      44432
421.77/422.81	c #Conflicts:    1570000 | #Constraints:      45432
421.77/422.81	c #Conflicts:    1571000 | #Constraints:      46432
421.77/422.81	c #Conflicts:    1572000 | #Constraints:      47432
421.77/422.81	c #Conflicts:    1573000 | #Constraints:      48432
421.77/422.81	c #Conflicts:    1574000 | #Constraints:      49432
421.77/422.81	c #Conflicts:    1575000 | #Constraints:      50432
421.77/422.81	c #Conflicts:    1576000 | #Constraints:      51432
421.77/422.81	c #Conflicts:    1577000 | #Constraints:      52432
421.77/422.81	c #Conflicts:    1578000 | #Constraints:      53432
421.77/422.81	c #Conflicts:    1579000 | #Constraints:      54432
421.77/422.81	c #Conflicts:    1580000 | #Constraints:      55432
421.77/422.81	c #Conflicts:    1581000 | #Constraints:      56432
421.77/422.81	c #Conflicts:    1582000 | #Constraints:      57432
421.77/422.81	c #Conflicts:    1583000 | #Constraints:      58432
421.77/422.81	c #Conflicts:    1584000 | #Constraints:      59432
421.77/422.81	c #Conflicts:    1585000 | #Constraints:      60432
421.77/422.81	c #Conflicts:    1586000 | #Constraints:      61432
421.77/422.81	c #Conflicts:    1587000 | #Constraints:      62432
421.77/422.81	c #Conflicts:    1588000 | #Constraints:      63432
421.77/422.81	c #Conflicts:    1589000 | #Constraints:      64432
421.77/422.81	c #Conflicts:    1590000 | #Constraints:      65432
421.77/422.81	c #Conflicts:    1591000 | #Constraints:      66432
450.29/451.49	c INPROCESSING
450.29/451.49	c GARBAGE COLLECT
450.29/451.49	c #Conflicts:    1592000 | #Constraints:      42426
450.29/451.49	c #Conflicts:    1593000 | #Constraints:      43426
450.29/451.49	c #Conflicts:    1594000 | #Constraints:      44426
450.29/451.49	c #Conflicts:    1595000 | #Constraints:      45426
450.29/451.49	c #Conflicts:    1596000 | #Constraints:      46426
450.29/451.49	c #Conflicts:    1597000 | #Constraints:      47426
450.29/451.49	c #Conflicts:    1598000 | #Constraints:      48426
450.29/451.49	c #Conflicts:    1599000 | #Constraints:      49426
450.29/451.49	c #Conflicts:    1600000 | #Constraints:      50426
450.29/451.49	c #Conflicts:    1601000 | #Constraints:      51426
450.29/451.49	c #Conflicts:    1602000 | #Constraints:      52426
450.29/451.49	c #Conflicts:    1603000 | #Constraints:      53426
450.29/451.49	c #Conflicts:    1604000 | #Constraints:      54426
450.29/451.49	c #Conflicts:    1605000 | #Constraints:      55426
450.29/451.49	c #Conflicts:    1606000 | #Constraints:      56426
450.29/451.49	c #Conflicts:    1607000 | #Constraints:      57426
450.29/451.49	c #Conflicts:    1608000 | #Constraints:      58426
450.29/451.49	c #Conflicts:    1609000 | #Constraints:      59426
450.29/451.49	c #Conflicts:    1610000 | #Constraints:      60426
450.29/451.49	c #Conflicts:    1611000 | #Constraints:      61426
450.29/451.49	c #Conflicts:    1612000 | #Constraints:      62426
450.29/451.49	c #Conflicts:    1613000 | #Constraints:      63426
450.29/451.49	c #Conflicts:    1614000 | #Constraints:      64426
450.29/451.49	c #Conflicts:    1615000 | #Constraints:      65426
450.29/451.49	c #Conflicts:    1616000 | #Constraints:      66426
450.29/451.49	c INPROCESSING
450.29/451.49	c GARBAGE COLLECT
450.29/451.49	c #Conflicts:    1617000 | #Constraints:      42221
450.29/451.49	c #Conflicts:    1618000 | #Constraints:      43221
450.29/451.49	c #Conflicts:    1619000 | #Constraints:      44221
450.29/451.49	c #Conflicts:    1620000 | #Constraints:      45221
450.29/451.49	c #Conflicts:    1621000 | #Constraints:      46221
450.29/451.49	c #Conflicts:    1622000 | #Constraints:      47221
450.29/451.49	c #Conflicts:    1623000 | #Constraints:      48221
450.29/451.49	c #Conflicts:    1624000 | #Constraints:      49221
450.29/451.49	c #Conflicts:    1625000 | #Constraints:      50221
450.29/451.49	c #Conflicts:    1626000 | #Constraints:      51221
450.29/451.49	c #Conflicts:    1627000 | #Constraints:      52221
450.29/451.49	c #Conflicts:    1628000 | #Constraints:      53221
450.29/451.49	c #Conflicts:    1629000 | #Constraints:      54221
450.29/451.49	c #Conflicts:    1630000 | #Constraints:      55221
450.29/451.49	c #Conflicts:    1631000 | #Constraints:      56221
450.29/451.49	c #Conflicts:    1632000 | #Constraints:      57221
450.29/451.49	c #Conflicts:    1633000 | #Constraints:      58221
450.29/451.49	c #Conflicts:    1634000 | #Constraints:      59221
450.29/451.49	c #Conflicts:    1635000 | #Constraints:      60221
450.29/451.49	c #Conflicts:    1636000 | #Constraints:      61221
450.29/451.49	c #Conflicts:    1637000 | #Constraints:      62221
450.29/451.49	c #Conflicts:    1638000 | #Constraints:      63221
450.29/451.49	c #Conflicts:    1639000 | #Constraints:      64221
450.29/451.49	c #Conflicts:    1640000 | #Constraints:      65221
450.29/451.49	c #Conflicts:    1641000 | #Constraints:      66221
450.29/451.49	c #Conflicts:    1642000 | #Constraints:      67221
450.29/451.49	c INPROCESSING
450.29/451.49	c GARBAGE COLLECT
450.29/451.49	c #Conflicts:    1643000 | #Constraints:      42840
450.29/451.49	c #Conflicts:    1644000 | #Constraints:      43840
450.29/451.49	c #Conflicts:    1645000 | #Constraints:      44840
450.29/451.49	c #Conflicts:    1646000 | #Constraints:      45840
450.29/451.49	c #Conflicts:    1647000 | #Constraints:      46840
450.29/451.49	c #Conflicts:    1648000 | #Constraints:      47840
450.29/451.49	c #Conflicts:    1649000 | #Constraints:      48840
450.29/451.49	c #Conflicts:    1650000 | #Constraints:      49840
450.29/451.49	c #Conflicts:    1651000 | #Constraints:      50840
450.29/451.49	c #Conflicts:    1652000 | #Constraints:      51840
450.29/451.49	c #Conflicts:    1653000 | #Constraints:      52840
450.29/451.49	c #Conflicts:    1654000 | #Constraints:      53840
450.29/451.49	c #Conflicts:    1655000 | #Constraints:      54840
450.29/451.49	c #Conflicts:    1656000 | #Constraints:      55840
450.29/451.49	c #Conflicts:    1657000 | #Constraints:      56840
450.29/451.49	c #Conflicts:    1658000 | #Constraints:      57840
450.29/451.49	c #Conflicts:    1659000 | #Constraints:      58840
450.29/451.49	c #Conflicts:    1660000 | #Constraints:      59840
450.29/451.49	c #Conflicts:    1661000 | #Constraints:      60840
450.29/451.49	c #Conflicts:    1662000 | #Constraints:      61840
450.29/451.49	c #Conflicts:    1663000 | #Constraints:      62840
450.29/451.49	c #Conflicts:    1664000 | #Constraints:      63840
450.29/451.49	c #Conflicts:    1665000 | #Constraints:      64840
450.29/451.49	c #Conflicts:    1666000 | #Constraints:      65840
450.29/451.49	c #Conflicts:    1667000 | #Constraints:      66840
450.29/451.49	c #Conflicts:    1668000 | #Constraints:      67840
479.01/480.25	c INPROCESSING
479.01/480.25	c GARBAGE COLLECT
479.01/480.25	c #Conflicts:    1669000 | #Constraints:      43250
479.01/480.25	c #Conflicts:    1670000 | #Constraints:      44250
479.01/480.25	c #Conflicts:    1671000 | #Constraints:      45250
479.01/480.25	c #Conflicts:    1672000 | #Constraints:      46250
479.01/480.25	c #Conflicts:    1673000 | #Constraints:      47250
479.01/480.25	c #Conflicts:    1674000 | #Constraints:      48250
479.01/480.25	c #Conflicts:    1675000 | #Constraints:      49250
479.01/480.25	c #Conflicts:    1676000 | #Constraints:      50250
479.01/480.25	c #Conflicts:    1677000 | #Constraints:      51250
479.01/480.25	c #Conflicts:    1678000 | #Constraints:      52250
479.01/480.25	c #Conflicts:    1679000 | #Constraints:      53250
479.01/480.25	c #Conflicts:    1680000 | #Constraints:      54250
479.01/480.25	c #Conflicts:    1681000 | #Constraints:      55250
479.01/480.25	c #Conflicts:    1682000 | #Constraints:      56250
479.01/480.25	c #Conflicts:    1683000 | #Constraints:      57250
479.01/480.25	c #Conflicts:    1684000 | #Constraints:      58250
479.01/480.25	c #Conflicts:    1685000 | #Constraints:      59250
479.01/480.25	c #Conflicts:    1686000 | #Constraints:      60250
479.01/480.25	c #Conflicts:    1687000 | #Constraints:      61250
479.01/480.25	c #Conflicts:    1688000 | #Constraints:      62250
479.01/480.25	c #Conflicts:    1689000 | #Constraints:      63250
479.01/480.25	c #Conflicts:    1690000 | #Constraints:      64250
479.01/480.25	c #Conflicts:    1691000 | #Constraints:      65250
479.01/480.25	c #Conflicts:    1692000 | #Constraints:      66250
479.01/480.25	c #Conflicts:    1693000 | #Constraints:      67250
479.01/480.25	c #Conflicts:    1694000 | #Constraints:      68250
479.01/480.25	c INPROCESSING
479.01/480.25	c GARBAGE COLLECT
479.01/480.25	c #Conflicts:    1695000 | #Constraints:      43463
479.01/480.25	c #Conflicts:    1696000 | #Constraints:      44463
479.01/480.25	c #Conflicts:    1697000 | #Constraints:      45463
479.01/480.25	c #Conflicts:    1698000 | #Constraints:      46463
479.01/480.25	c #Conflicts:    1699000 | #Constraints:      47463
479.01/480.25	c #Conflicts:    1700000 | #Constraints:      48463
479.01/480.25	c #Conflicts:    1701000 | #Constraints:      49463
479.01/480.25	c #Conflicts:    1702000 | #Constraints:      50463
479.01/480.25	c #Conflicts:    1703000 | #Constraints:      51463
479.01/480.25	c #Conflicts:    1704000 | #Constraints:      52463
479.01/480.25	c #Conflicts:    1705000 | #Constraints:      53463
479.01/480.25	c #Conflicts:    1706000 | #Constraints:      54463
479.01/480.25	c #Conflicts:    1707000 | #Constraints:      55463
479.01/480.25	c #Conflicts:    1708000 | #Constraints:      56463
479.01/480.25	c #Conflicts:    1709000 | #Constraints:      57463
479.01/480.25	c #Conflicts:    1710000 | #Constraints:      58463
479.01/480.25	c #Conflicts:    1711000 | #Constraints:      59463
479.01/480.25	c #Conflicts:    1712000 | #Constraints:      60463
479.01/480.25	c #Conflicts:    1713000 | #Constraints:      61463
479.01/480.25	c #Conflicts:    1714000 | #Constraints:      62463
479.01/480.25	c #Conflicts:    1715000 | #Constraints:      63463
479.01/480.25	c #Conflicts:    1716000 | #Constraints:      64463
479.01/480.25	c #Conflicts:    1717000 | #Constraints:      65463
479.01/480.25	c #Conflicts:    1718000 | #Constraints:      66463
479.01/480.25	c #Conflicts:    1719000 | #Constraints:      67463
479.01/480.25	c #Conflicts:    1720000 | #Constraints:      68463
479.01/480.25	c INPROCESSING
479.01/480.25	c GARBAGE COLLECT
479.01/480.25	c #Conflicts:    1721000 | #Constraints:      43452
479.01/480.25	c #Conflicts:    1722000 | #Constraints:      44452
479.01/480.25	c #Conflicts:    1723000 | #Constraints:      45452
479.01/480.25	c #Conflicts:    1724000 | #Constraints:      46452
479.01/480.25	c #Conflicts:    1725000 | #Constraints:      47452
479.01/480.25	c #Conflicts:    1726000 | #Constraints:      48452
479.01/480.25	c #Conflicts:    1727000 | #Constraints:      49452
479.01/480.25	c #Conflicts:    1728000 | #Constraints:      50452
479.01/480.25	c #Conflicts:    1729000 | #Constraints:      51452
479.01/480.25	c #Conflicts:    1730000 | #Constraints:      52452
479.01/480.25	c #Conflicts:    1731000 | #Constraints:      53452
479.01/480.25	c #Conflicts:    1732000 | #Constraints:      54452
479.01/480.25	c #Conflicts:    1733000 | #Constraints:      55452
479.01/480.25	c #Conflicts:    1734000 | #Constraints:      56452
479.01/480.25	c #Conflicts:    1735000 | #Constraints:      57452
479.01/480.25	c #Conflicts:    1736000 | #Constraints:      58452
479.01/480.25	c #Conflicts:    1737000 | #Constraints:      59452
479.01/480.25	c #Conflicts:    1738000 | #Constraints:      60452
479.01/480.25	c #Conflicts:    1739000 | #Constraints:      61452
479.01/480.25	c #Conflicts:    1740000 | #Constraints:      62452
479.01/480.25	c #Conflicts:    1741000 | #Constraints:      63452
479.01/480.25	c #Conflicts:    1742000 | #Constraints:      64452
479.01/480.25	c #Conflicts:    1743000 | #Constraints:      65452
479.01/480.25	c #Conflicts:    1744000 | #Constraints:      66452
479.01/480.25	c #Conflicts:    1745000 | #Constraints:      67452
509.42/510.78	c #Conflicts:    1746000 | #Constraints:      68452
509.42/510.78	c INPROCESSING
509.42/510.78	c GARBAGE COLLECT
509.42/510.78	c #Conflicts:    1747000 | #Constraints:      43261
509.42/510.78	c #Conflicts:    1748000 | #Constraints:      44261
509.42/510.78	c #Conflicts:    1749000 | #Constraints:      45261
509.42/510.78	c #Conflicts:    1750000 | #Constraints:      46261
509.42/510.78	c #Conflicts:    1751000 | #Constraints:      47261
509.42/510.78	c #Conflicts:    1752000 | #Constraints:      48261
509.42/510.78	c #Conflicts:    1753000 | #Constraints:      49261
509.42/510.78	c #Conflicts:    1754000 | #Constraints:      50261
509.42/510.78	c #Conflicts:    1755000 | #Constraints:      51261
509.42/510.78	c #Conflicts:    1756000 | #Constraints:      52261
509.42/510.78	c #Conflicts:    1757000 | #Constraints:      53261
509.42/510.78	c #Conflicts:    1758000 | #Constraints:      54261
509.42/510.78	c #Conflicts:    1759000 | #Constraints:      55261
509.42/510.78	c #Conflicts:    1760000 | #Constraints:      56261
509.42/510.78	c #Conflicts:    1761000 | #Constraints:      57261
509.42/510.78	c #Conflicts:    1762000 | #Constraints:      58261
509.42/510.78	c #Conflicts:    1763000 | #Constraints:      59261
509.42/510.78	c #Conflicts:    1764000 | #Constraints:      60261
509.42/510.78	c #Conflicts:    1765000 | #Constraints:      61261
509.42/510.78	c #Conflicts:    1766000 | #Constraints:      62261
509.42/510.78	c #Conflicts:    1767000 | #Constraints:      63261
509.42/510.78	c #Conflicts:    1768000 | #Constraints:      64261
509.42/510.78	c #Conflicts:    1769000 | #Constraints:      65261
509.42/510.78	c #Conflicts:    1770000 | #Constraints:      66261
509.42/510.78	c #Conflicts:    1771000 | #Constraints:      67261
509.42/510.78	c #Conflicts:    1772000 | #Constraints:      68261
509.42/510.78	c #Conflicts:    1773000 | #Constraints:      69261
509.42/510.78	c INPROCESSING
509.42/510.78	c GARBAGE COLLECT
509.42/510.78	c #Conflicts:    1774000 | #Constraints:      43850
509.42/510.78	c #Conflicts:    1775000 | #Constraints:      44850
509.42/510.78	c #Conflicts:    1776000 | #Constraints:      45850
509.42/510.78	c #Conflicts:    1777000 | #Constraints:      46850
509.42/510.78	c #Conflicts:    1778000 | #Constraints:      47850
509.42/510.78	c #Conflicts:    1779000 | #Constraints:      48850
509.42/510.78	c #Conflicts:    1780000 | #Constraints:      49850
509.42/510.78	c #Conflicts:    1781000 | #Constraints:      50850
509.42/510.78	c #Conflicts:    1782000 | #Constraints:      51850
509.42/510.78	c #Conflicts:    1783000 | #Constraints:      52850
509.42/510.78	c #Conflicts:    1784000 | #Constraints:      53850
509.42/510.78	c #Conflicts:    1785000 | #Constraints:      54850
509.42/510.78	c #Conflicts:    1786000 | #Constraints:      55850
509.42/510.78	c #Conflicts:    1787000 | #Constraints:      56850
509.42/510.78	c #Conflicts:    1788000 | #Constraints:      57850
509.42/510.78	c #Conflicts:    1789000 | #Constraints:      58850
509.42/510.78	c #Conflicts:    1790000 | #Constraints:      59850
509.42/510.78	c #Conflicts:    1791000 | #Constraints:      60850
509.42/510.78	c #Conflicts:    1792000 | #Constraints:      61850
509.42/510.78	c #Conflicts:    1793000 | #Constraints:      62850
509.42/510.78	c #Conflicts:    1794000 | #Constraints:      63850
509.42/510.78	c #Conflicts:    1795000 | #Constraints:      64850
509.42/510.78	c #Conflicts:    1796000 | #Constraints:      65850
509.42/510.78	c #Conflicts:    1797000 | #Constraints:      66850
509.42/510.78	c #Conflicts:    1798000 | #Constraints:      67850
509.42/510.78	c #Conflicts:    1799000 | #Constraints:      68850
509.42/510.78	c #Conflicts:    1800000 | #Constraints:      69850
509.42/510.78	c INPROCESSING
509.42/510.78	c GARBAGE COLLECT
509.42/510.78	c #Conflicts:    1801000 | #Constraints:      44262
509.42/510.78	c #Conflicts:    1802000 | #Constraints:      45262
509.42/510.78	c #Conflicts:    1803000 | #Constraints:      46262
509.42/510.78	c #Conflicts:    1804000 | #Constraints:      47262
509.42/510.78	c #Conflicts:    1805000 | #Constraints:      48262
509.42/510.78	c #Conflicts:    1806000 | #Constraints:      49262
509.42/510.78	c #Conflicts:    1807000 | #Constraints:      50262
509.42/510.78	c #Conflicts:    1808000 | #Constraints:      51262
509.42/510.78	c #Conflicts:    1809000 | #Constraints:      52262
509.42/510.78	c #Conflicts:    1810000 | #Constraints:      53262
509.42/510.78	c #Conflicts:    1811000 | #Constraints:      54262
509.42/510.78	c #Conflicts:    1812000 | #Constraints:      55262
509.42/510.78	c #Conflicts:    1813000 | #Constraints:      56262
509.42/510.78	c #Conflicts:    1814000 | #Constraints:      57262
509.42/510.78	c #Conflicts:    1815000 | #Constraints:      58262
509.42/510.78	c #Conflicts:    1816000 | #Constraints:      59262
509.42/510.78	c #Conflicts:    1817000 | #Constraints:      60262
509.42/510.78	c #Conflicts:    1818000 | #Constraints:      61262
509.42/510.78	c #Conflicts:    1819000 | #Constraints:      62262
509.42/510.78	c #Conflicts:    1820000 | #Constraints:      63262
509.42/510.78	c #Conflicts:    1821000 | #Constraints:      64262
509.42/510.78	c #Conflicts:    1822000 | #Constraints:      65262
539.84/541.26	c #Conflicts:    1823000 | #Constraints:      66262
539.84/541.26	c #Conflicts:    1824000 | #Constraints:      67262
539.84/541.26	c #Conflicts:    1825000 | #Constraints:      68262
539.84/541.26	c #Conflicts:    1826000 | #Constraints:      69262
539.84/541.26	c #Conflicts:    1827000 | #Constraints:      70262
539.84/541.26	c INPROCESSING
539.84/541.26	c GARBAGE COLLECT
539.84/541.26	c #Conflicts:    1828000 | #Constraints:      44439
539.84/541.26	c #Conflicts:    1829000 | #Constraints:      45439
539.84/541.26	c #Conflicts:    1830000 | #Constraints:      46439
539.84/541.26	c #Conflicts:    1831000 | #Constraints:      47439
539.84/541.26	c #Conflicts:    1832000 | #Constraints:      48439
539.84/541.26	c #Conflicts:    1833000 | #Constraints:      49439
539.84/541.26	c #Conflicts:    1834000 | #Constraints:      50439
539.84/541.26	c #Conflicts:    1835000 | #Constraints:      51439
539.84/541.26	c #Conflicts:    1836000 | #Constraints:      52439
539.84/541.26	c #Conflicts:    1837000 | #Constraints:      53439
539.84/541.26	c #Conflicts:    1838000 | #Constraints:      54439
539.84/541.26	c #Conflicts:    1839000 | #Constraints:      55439
539.84/541.26	c #Conflicts:    1840000 | #Constraints:      56439
539.84/541.26	c #Conflicts:    1841000 | #Constraints:      57439
539.84/541.26	c #Conflicts:    1842000 | #Constraints:      58439
539.84/541.26	c #Conflicts:    1843000 | #Constraints:      59439
539.84/541.26	c #Conflicts:    1844000 | #Constraints:      60439
539.84/541.26	c #Conflicts:    1845000 | #Constraints:      61439
539.84/541.26	c #Conflicts:    1846000 | #Constraints:      62439
539.84/541.26	c #Conflicts:    1847000 | #Constraints:      63439
539.84/541.26	c #Conflicts:    1848000 | #Constraints:      64439
539.84/541.26	c #Conflicts:    1849000 | #Constraints:      65439
539.84/541.26	c #Conflicts:    1850000 | #Constraints:      66439
539.84/541.26	c #Conflicts:    1851000 | #Constraints:      67439
539.84/541.26	c #Conflicts:    1852000 | #Constraints:      68439
539.84/541.26	c bounds 164 >= 26 @ 515.724
539.84/541.26	c #Conflicts:    1853000 | #Constraints:      69440
539.84/541.26	c #Conflicts:    1854000 | #Constraints:      70440
539.84/541.26	c INPROCESSING
539.84/541.26	c GARBAGE COLLECT
539.84/541.26	c #Conflicts:    1855000 | #Constraints:      44403
539.84/541.26	c #Conflicts:    1856000 | #Constraints:      45403
539.84/541.26	c #Conflicts:    1857000 | #Constraints:      46403
539.84/541.26	c #Conflicts:    1858000 | #Constraints:      47403
539.84/541.26	c #Conflicts:    1859000 | #Constraints:      48403
539.84/541.26	c #Conflicts:    1860000 | #Constraints:      49403
539.84/541.26	c #Conflicts:    1861000 | #Constraints:      50403
539.84/541.26	c #Conflicts:    1862000 | #Constraints:      51403
539.84/541.26	c #Conflicts:    1863000 | #Constraints:      52403
539.84/541.26	c #Conflicts:    1864000 | #Constraints:      53403
539.84/541.26	c #Conflicts:    1865000 | #Constraints:      54403
539.84/541.26	c #Conflicts:    1866000 | #Constraints:      55403
539.84/541.26	c #Conflicts:    1867000 | #Constraints:      56403
539.84/541.26	c #Conflicts:    1868000 | #Constraints:      57403
539.84/541.26	c #Conflicts:    1869000 | #Constraints:      58403
539.84/541.26	c #Conflicts:    1870000 | #Constraints:      59403
539.84/541.26	c #Conflicts:    1871000 | #Constraints:      60403
539.84/541.26	c #Conflicts:    1872000 | #Constraints:      61403
539.84/541.26	c #Conflicts:    1873000 | #Constraints:      62403
539.84/541.26	c #Conflicts:    1874000 | #Constraints:      63403
539.84/541.26	c #Conflicts:    1875000 | #Constraints:      64403
539.84/541.26	c #Conflicts:    1876000 | #Constraints:      65403
539.84/541.26	c #Conflicts:    1877000 | #Constraints:      66403
539.84/541.26	c #Conflicts:    1878000 | #Constraints:      67403
539.84/541.26	c #Conflicts:    1879000 | #Constraints:      68403
539.84/541.26	c #Conflicts:    1880000 | #Constraints:      69403
539.84/541.26	c #Conflicts:    1881000 | #Constraints:      70403
539.84/541.26	c INPROCESSING
539.84/541.26	c GARBAGE COLLECT
539.84/541.26	c #Conflicts:    1882000 | #Constraints:      44150
539.84/541.26	c #Conflicts:    1883000 | #Constraints:      45150
539.84/541.26	c #Conflicts:    1884000 | #Constraints:      46150
539.84/541.26	c #Conflicts:    1885000 | #Constraints:      47150
539.84/541.26	c #Conflicts:    1886000 | #Constraints:      48150
539.84/541.26	c #Conflicts:    1887000 | #Constraints:      49150
539.84/541.26	c #Conflicts:    1888000 | #Constraints:      50150
539.84/541.26	c #Conflicts:    1889000 | #Constraints:      51150
539.84/541.26	c #Conflicts:    1890000 | #Constraints:      52150
539.84/541.26	c #Conflicts:    1891000 | #Constraints:      53150
539.84/541.26	c #Conflicts:    1892000 | #Constraints:      54150
539.84/541.26	c #Conflicts:    1893000 | #Constraints:      55150
539.84/541.26	c #Conflicts:    1894000 | #Constraints:      56150
539.84/541.26	c #Conflicts:    1895000 | #Constraints:      57150
539.84/541.26	c #Conflicts:    1896000 | #Constraints:      58150
539.84/541.26	c #Conflicts:    1897000 | #Constraints:      59150
539.84/541.26	c #Conflicts:    1898000 | #Constraints:      60150
549.91/551.38	c #Conflicts:    1899000 | #Constraints:      61150
549.91/551.38	c #Conflicts:    1900000 | #Constraints:      62150
549.91/551.38	c #Conflicts:    1901000 | #Constraints:      63150
549.91/551.38	c #Conflicts:    1902000 | #Constraints:      64150
549.91/551.38	c #Conflicts:    1903000 | #Constraints:      65150
549.91/551.38	c #Conflicts:    1904000 | #Constraints:      66150
549.91/551.38	c #Conflicts:    1905000 | #Constraints:      67150
549.91/551.38	c #Conflicts:    1906000 | #Constraints:      68150
549.91/551.38	c #Conflicts:    1907000 | #Constraints:      69150
549.91/551.38	c #Conflicts:    1908000 | #Constraints:      70150
549.91/551.38	c #Conflicts:    1909000 | #Constraints:      71150
549.91/551.38	c INPROCESSING
549.91/551.38	c GARBAGE COLLECT
549.91/551.38	c #Conflicts:    1910000 | #Constraints:      44727
549.91/551.38	c #Conflicts:    1911000 | #Constraints:      45727
549.91/551.38	c #Conflicts:    1912000 | #Constraints:      46727
549.91/551.38	c #Conflicts:    1913000 | #Constraints:      47727
549.91/551.38	c #Conflicts:    1914000 | #Constraints:      48727
549.91/551.38	c #Conflicts:    1915000 | #Constraints:      49727
549.91/551.38	c #Conflicts:    1916000 | #Constraints:      50727
549.91/551.38	c #Conflicts:    1917000 | #Constraints:      51727
549.91/551.38	c #Conflicts:    1918000 | #Constraints:      52727
549.91/551.38	c #Conflicts:    1919000 | #Constraints:      53727
549.91/551.38	c #Conflicts:    1920000 | #Constraints:      54727
549.91/551.38	c #Conflicts:    1921000 | #Constraints:      55727
549.91/551.38	c #Conflicts:    1922000 | #Constraints:      56727
549.91/551.38	c #Conflicts:    1923000 | #Constraints:      57727
549.91/551.38	c #Conflicts:    1924000 | #Constraints:      58727
549.91/551.38	c #Conflicts:    1925000 | #Constraints:      59727
549.91/551.38	c #Conflicts:    1926000 | #Constraints:      60727
549.91/551.38	c #Conflicts:    1927000 | #Constraints:      61727
549.91/551.38	c #Conflicts:    1928000 | #Constraints:      62727
549.91/551.38	c #Conflicts:    1929000 | #Constraints:      63727
549.91/551.38	c #Conflicts:    1930000 | #Constraints:      64727
549.91/551.38	c finalizing WCE round: reformulating cores
761.32/763.38	c bounds 162 >= 26 @ 543.329
761.32/763.38	c #Conflicts:    1931000 | #Constraints:      65730
761.32/763.38	c #Conflicts:    1932000 | #Constraints:      66730
761.32/763.38	c #Conflicts:    1933000 | #Constraints:      67730
761.32/763.38	c #Conflicts:    1934000 | #Constraints:      68730
761.32/763.38	c #Conflicts:    1935000 | #Constraints:      69730
761.32/763.38	c #Conflicts:    1936000 | #Constraints:      70730
761.32/763.38	c #Conflicts:    1937000 | #Constraints:      71730
761.32/763.38	c INPROCESSING
761.32/763.38	c GARBAGE COLLECT
761.32/763.38	c #Conflicts:    1938000 | #Constraints:      45168
761.32/763.38	c #Conflicts:    1939000 | #Constraints:      46168
761.32/763.38	c #Conflicts:    1940000 | #Constraints:      47168
761.32/763.38	c #Conflicts:    1941000 | #Constraints:      48168
761.32/763.38	c #Conflicts:    1942000 | #Constraints:      49168
761.32/763.38	c #Conflicts:    1943000 | #Constraints:      50168
761.32/763.38	c #Conflicts:    1944000 | #Constraints:      51168
761.32/763.38	c #Conflicts:    1945000 | #Constraints:      52168
761.32/763.38	c #Conflicts:    1946000 | #Constraints:      53168
761.32/763.38	c #Conflicts:    1947000 | #Constraints:      54168
761.32/763.38	c #Conflicts:    1948000 | #Constraints:      55168
761.32/763.38	c #Conflicts:    1949000 | #Constraints:      56168
761.32/763.38	c #Conflicts:    1950000 | #Constraints:      57168
761.32/763.38	c #Conflicts:    1951000 | #Constraints:      58168
761.32/763.38	c #Conflicts:    1952000 | #Constraints:      59168
761.32/763.38	c #Conflicts:    1953000 | #Constraints:      60168
761.32/763.38	c #Conflicts:    1954000 | #Constraints:      61168
761.32/763.38	c #Conflicts:    1955000 | #Constraints:      62168
761.32/763.38	c #Conflicts:    1956000 | #Constraints:      63168
761.32/763.38	c #Conflicts:    1957000 | #Constraints:      64168
761.32/763.38	c #Conflicts:    1958000 | #Constraints:      65168
761.32/763.38	c #Conflicts:    1959000 | #Constraints:      66168
761.32/763.38	c #Conflicts:    1960000 | #Constraints:      67168
761.32/763.38	c #Conflicts:    1961000 | #Constraints:      68168
761.32/763.38	c #Conflicts:    1962000 | #Constraints:      69168
761.32/763.38	c #Conflicts:    1963000 | #Constraints:      70168
761.32/763.38	c #Conflicts:    1964000 | #Constraints:      71168
761.32/763.38	c #Conflicts:    1965000 | #Constraints:      72168
761.32/763.38	c INPROCESSING
761.32/763.38	c GARBAGE COLLECT
761.32/763.38	c #Conflicts:    1966000 | #Constraints:      45427
761.32/763.38	c #Conflicts:    1967000 | #Constraints:      46427
761.32/763.38	c #Conflicts:    1968000 | #Constraints:      47427
761.32/763.38	c #Conflicts:    1969000 | #Constraints:      48427
761.32/763.38	c #Conflicts:    1970000 | #Constraints:      49427
761.32/763.38	c #Conflicts:    1971000 | #Constraints:      50427
761.32/763.38	c #Conflicts:    1972000 | #Constraints:      51427
761.32/763.38	c #Conflicts:    1973000 | #Constraints:      52427
761.32/763.38	c #Conflicts:    1974000 | #Constraints:      53427
761.32/763.38	c #Conflicts:    1975000 | #Constraints:      54427
761.32/763.38	c #Conflicts:    1976000 | #Constraints:      55427
761.32/763.38	c #Conflicts:    1977000 | #Constraints:      56427
761.32/763.38	c #Conflicts:    1978000 | #Constraints:      57427
761.32/763.38	c #Conflicts:    1979000 | #Constraints:      58427
761.32/763.38	c #Conflicts:    1980000 | #Constraints:      59427
761.32/763.38	c #Conflicts:    1981000 | #Constraints:      60427
761.32/763.38	c #Conflicts:    1982000 | #Constraints:      61427
761.32/763.38	c #Conflicts:    1983000 | #Constraints:      62427
761.32/763.38	c #Conflicts:    1984000 | #Constraints:      63427
761.32/763.38	c #Conflicts:    1985000 | #Constraints:      64427
761.32/763.38	c #Conflicts:    1986000 | #Constraints:      65427
761.32/763.38	c #Conflicts:    1987000 | #Constraints:      66427
761.32/763.38	c #Conflicts:    1988000 | #Constraints:      67427
761.32/763.38	c #Conflicts:    1989000 | #Constraints:      68427
761.32/763.38	c #Conflicts:    1990000 | #Constraints:      69427
761.32/763.38	c #Conflicts:    1991000 | #Constraints:      70427
761.32/763.38	c #Conflicts:    1992000 | #Constraints:      71427
761.32/763.38	c #Conflicts:    1993000 | #Constraints:      72427
761.32/763.38	c INPROCESSING
761.32/763.38	c GARBAGE COLLECT
761.32/763.38	c #Conflicts:    1994000 | #Constraints:      45431
761.32/763.38	c #Conflicts:    1995000 | #Constraints:      46431
761.32/763.38	c #Conflicts:    1996000 | #Constraints:      47431
761.32/763.38	c #Conflicts:    1997000 | #Constraints:      48431
761.32/763.38	c #Conflicts:    1998000 | #Constraints:      49431
761.32/763.38	c #Conflicts:    1999000 | #Constraints:      50431
761.32/763.38	c #Conflicts:    2000000 | #Constraints:      51431
761.32/763.38	c #Conflicts:    2001000 | #Constraints:      52431
761.32/763.38	c #Conflicts:    2002000 | #Constraints:      53431
761.32/763.38	c #Conflicts:    2003000 | #Constraints:      54431
761.32/763.38	c #Conflicts:    2004000 | #Constraints:      55431
761.32/763.38	c #Conflicts:    2005000 | #Constraints:      56431
761.32/763.38	c #Conflicts:    2006000 | #Constraints:      57431
761.32/763.38	c #Conflicts:    2007000 | #Constraints:      58431
1704.37/1708.94	c #Conflicts:    2008000 | #Constraints:      59431
1704.37/1708.94	c #Conflicts:    2009000 | #Constraints:      60431
1704.37/1708.94	c #Conflicts:    2010000 | #Constraints:      61431
1704.37/1708.94	c #Conflicts:    2011000 | #Constraints:      62431
1704.37/1708.94	c #Conflicts:    2012000 | #Constraints:      63431
1704.37/1708.94	c #Conflicts:    2013000 | #Constraints:      64431
1704.37/1708.94	c #Conflicts:    2014000 | #Constraints:      65431
1704.37/1708.94	c #Conflicts:    2015000 | #Constraints:      66431
1704.37/1708.94	c #Conflicts:    2016000 | #Constraints:      67431
1704.37/1708.94	c #Conflicts:    2017000 | #Constraints:      68431
1704.37/1708.94	c #Conflicts:    2018000 | #Constraints:      69431
1704.37/1708.94	c #Conflicts:    2019000 | #Constraints:      70431
1704.37/1708.94	c #Conflicts:    2020000 | #Constraints:      71431
1704.37/1708.94	c #Conflicts:    2021000 | #Constraints:      72431
1704.37/1708.94	c INPROCESSING
1704.37/1708.94	c GARBAGE COLLECT
1704.37/1708.94	c #Conflicts:    2022000 | #Constraints:      45231
1704.37/1708.94	c #Conflicts:    2023000 | #Constraints:      46231
1704.37/1708.94	c #Conflicts:    2024000 | #Constraints:      47231
1704.37/1708.94	c #Conflicts:    2025000 | #Constraints:      48231
1704.37/1708.94	c #Conflicts:    2026000 | #Constraints:      49231
1704.37/1708.94	c #Conflicts:    2027000 | #Constraints:      50231
1704.37/1708.94	c #Conflicts:    2028000 | #Constraints:      51231
1704.37/1708.94	c #Conflicts:    2029000 | #Constraints:      52231
1704.37/1708.94	c #Conflicts:    2030000 | #Constraints:      53231
1704.37/1708.94	c #Conflicts:    2031000 | #Constraints:      54231
1704.37/1708.94	c #Conflicts:    2032000 | #Constraints:      55231
1704.37/1708.94	c #Conflicts:    2033000 | #Constraints:      56231
1704.37/1708.94	c #Conflicts:    2034000 | #Constraints:      57231
1704.37/1708.94	c #Conflicts:    2035000 | #Constraints:      58231
1704.37/1708.94	c #Conflicts:    2036000 | #Constraints:      59231
1704.37/1708.94	c #Conflicts:    2037000 | #Constraints:      60231
1704.37/1708.94	c #Conflicts:    2038000 | #Constraints:      61231
1704.37/1708.94	c #Conflicts:    2039000 | #Constraints:      62231
1704.37/1708.94	c #Conflicts:    2040000 | #Constraints:      63231
1704.37/1708.94	c #Conflicts:    2041000 | #Constraints:      64231
1704.37/1708.94	c #Conflicts:    2042000 | #Constraints:      65231
1704.37/1708.94	c #Conflicts:    2043000 | #Constraints:      66231
1704.37/1708.94	c #Conflicts:    2044000 | #Constraints:      67231
1704.37/1708.94	c #Conflicts:    2045000 | #Constraints:      68231
1704.37/1708.94	c #Conflicts:    2046000 | #Constraints:      69231
1704.37/1708.94	c #Conflicts:    2047000 | #Constraints:      70231
1704.37/1708.94	c #Conflicts:    2048000 | #Constraints:      71231
1704.37/1708.94	c #Conflicts:    2049000 | #Constraints:      72231
1704.37/1708.94	c #Conflicts:    2050000 | #Constraints:      73231
1704.37/1708.94	c INPROCESSING
1704.37/1708.94	c GARBAGE COLLECT
1704.37/1708.94	c #Conflicts:    2051000 | #Constraints:      45865
1704.37/1708.94	c #Conflicts:    2052000 | #Constraints:      46865
1704.37/1708.94	c #Conflicts:    2053000 | #Constraints:      47865
1704.37/1708.94	c #Conflicts:    2054000 | #Constraints:      48865
1704.37/1708.94	c #Conflicts:    2055000 | #Constraints:      49865
1704.37/1708.94	c #Conflicts:    2056000 | #Constraints:      50865
1704.37/1708.94	c #Conflicts:    2057000 | #Constraints:      51865
1704.37/1708.94	c #Conflicts:    2058000 | #Constraints:      52865
1704.37/1708.94	c #Conflicts:    2059000 | #Constraints:      53865
1704.37/1708.94	c #Conflicts:    2060000 | #Constraints:      54865
1704.37/1708.94	c #Conflicts:    2061000 | #Constraints:      55865
1704.37/1708.94	c #Conflicts:    2062000 | #Constraints:      56865
1704.37/1708.94	c #Conflicts:    2063000 | #Constraints:      57865
1704.37/1708.94	c #Conflicts:    2064000 | #Constraints:      58865
1704.37/1708.94	c #Conflicts:    2065000 | #Constraints:      59865
1704.37/1708.94	c #Conflicts:    2066000 | #Constraints:      60865
1704.37/1708.94	c #Conflicts:    2067000 | #Constraints:      61865
1704.37/1708.94	c #Conflicts:    2068000 | #Constraints:      62865
1704.37/1708.94	c #Conflicts:    2069000 | #Constraints:      63865
1704.37/1708.94	c #Conflicts:    2070000 | #Constraints:      64865
1704.37/1708.94	c #Conflicts:    2071000 | #Constraints:      65865
1704.37/1708.94	c #Conflicts:    2072000 | #Constraints:      66865
1704.37/1708.94	c #Conflicts:    2073000 | #Constraints:      67865
1704.37/1708.94	c #Conflicts:    2074000 | #Constraints:      68865
1704.37/1708.94	c #Conflicts:    2075000 | #Constraints:      69865
1704.37/1708.94	c #Conflicts:    2076000 | #Constraints:      70865
1704.37/1708.94	c #Conflicts:    2077000 | #Constraints:      71865
1704.37/1708.94	c #Conflicts:    2078000 | #Constraints:      72865
1704.37/1708.94	c #Conflicts:    2079000 | #Constraints:      73865
1704.37/1708.94	c INPROCESSING
1704.37/1708.94	c GARBAGE COLLECT
1704.37/1708.94	c #Conflicts:    2080000 | #Constraints:      46246
1704.37/1708.94	c #Conflicts:    2081000 | #Constraints:      47246
1704.37/1708.94	c #Conflicts:    2082000 | #Constraints:      48246
1704.37/1708.94	c #Conflicts:    2083000 | #Constraints:      49246
1704.37/1708.94	c #Conflicts:    2084000 | #Constraints:      50246
3600.05/3609.60	c #Conflicts:    2085000 | #Constraints:      51246
3600.05/3609.60	c #Conflicts:    2086000 | #Constraints:      52246
3600.05/3609.60	c #Conflicts:    2087000 | #Constraints:      53246
3600.05/3609.60	c #Conflicts:    2088000 | #Constraints:      54246
3600.05/3609.60	c #Conflicts:    2089000 | #Constraints:      55246
3600.05/3609.60	c #Conflicts:    2090000 | #Constraints:      56246
3600.05/3609.60	c #Conflicts:    2091000 | #Constraints:      57246
3600.05/3609.60	c #Conflicts:    2092000 | #Constraints:      58246
3600.05/3609.60	c #Conflicts:    2093000 | #Constraints:      59246
3600.05/3609.60	c #Conflicts:    2094000 | #Constraints:      60246
3600.05/3609.60	c #Conflicts:    2095000 | #Constraints:      61246
3600.05/3609.60	c #Conflicts:    2096000 | #Constraints:      62246
3600.05/3609.60	c #Conflicts:    2097000 | #Constraints:      63246
3600.05/3609.60	c #Conflicts:    2098000 | #Constraints:      64246
3600.05/3609.60	c #Conflicts:    2099000 | #Constraints:      65246
3600.05/3609.60	c #Conflicts:    2100000 | #Constraints:      66246
3600.05/3609.60	c #Conflicts:    2101000 | #Constraints:      67246
3600.05/3609.60	c #Conflicts:    2102000 | #Constraints:      68246
3600.05/3609.60	c #Conflicts:    2103000 | #Constraints:      69246
3600.05/3609.60	c #Conflicts:    2104000 | #Constraints:      70246
3600.05/3609.60	c #Conflicts:    2105000 | #Constraints:      71246
3600.05/3609.60	c #Conflicts:    2106000 | #Constraints:      72246
3600.05/3609.60	c #Conflicts:    2107000 | #Constraints:      73246
3600.05/3609.60	c #Conflicts:    2108000 | #Constraints:      74246
3600.05/3609.60	c INPROCESSING
3600.05/3609.60	c GARBAGE COLLECT
3600.05/3609.60	c #Conflicts:    2109000 | #Constraints:      46437
3600.05/3609.60	c #Conflicts:    2110000 | #Constraints:      47437
3600.05/3609.60	c #Conflicts:    2111000 | #Constraints:      48437
3600.05/3609.60	c #Conflicts:    2112000 | #Constraints:      49437
3600.05/3609.60	c #Conflicts:    2113000 | #Constraints:      50437
3600.05/3609.60	c #Conflicts:    2114000 | #Constraints:      51437
3600.05/3609.60	c #Conflicts:    2115000 | #Constraints:      52437
3600.05/3609.60	c #Conflicts:    2116000 | #Constraints:      53437
3600.05/3609.60	c #Conflicts:    2117000 | #Constraints:      54437
3600.05/3609.60	c #Conflicts:    2118000 | #Constraints:      55437
3600.05/3609.60	c #Conflicts:    2119000 | #Constraints:      56437
3600.05/3609.60	c #Conflicts:    2120000 | #Constraints:      57437
3600.05/3609.60	c #Conflicts:    2121000 | #Constraints:      58437
3600.05/3609.60	c #Conflicts:    2122000 | #Constraints:      59437
3600.05/3609.60	c #Conflicts:    2123000 | #Constraints:      60437
3600.05/3609.60	c #Conflicts:    2124000 | #Constraints:      61437
3600.05/3609.60	c #Conflicts:    2125000 | #Constraints:      62437
3600.05/3609.60	c #Conflicts:    2126000 | #Constraints:      63437
3600.05/3609.60	c #Conflicts:    2127000 | #Constraints:      64437
3600.05/3609.60	c #Conflicts:    2128000 | #Constraints:      65437
3600.05/3609.60	c #Conflicts:    2129000 | #Constraints:      66437
3600.05/3609.60	c #Conflicts:    2130000 | #Constraints:      67437
3600.05/3609.60	c #Conflicts:    2131000 | #Constraints:      68437
3600.05/3609.60	c #Conflicts:    2132000 | #Constraints:      69437
3600.05/3609.60	c #Conflicts:    2133000 | #Constraints:      70437
3600.05/3609.60	c #Conflicts:    2134000 | #Constraints:      71437
3600.05/3609.60	c #Conflicts:    2135000 | #Constraints:      72437
3600.05/3609.60	c #Conflicts:    2136000 | #Constraints:      73437
3600.05/3609.60	c #Conflicts:    2137000 | #Constraints:      74437
3600.05/3609.60	c #Conflicts:    2138000 | #Constraints:      75437
3600.05/3609.60	c #Conflicts:    2139000 | #Constraints:      76437
3600.05/3609.60	c #Conflicts:    2140000 | #Constraints:      77437
3600.05/3609.60	c #Conflicts:    2141000 | #Constraints:      78437
3600.05/3609.60	c #Conflicts:    2142000 | #Constraints:      79437
3600.05/3609.60	c Program interrupted by user.
3600.05/3609.60	c cpu time 3587.97 s
3600.05/3609.60	c deterministic time 230927723567 2.31e+11
3600.05/3609.60	c optimization time 1325.23 s
3600.05/3609.60	c total solve time 2262.7 s
3600.05/3609.60	c core-guided solve time 2262.7 s
3600.05/3609.60	c propagation time 3117.76 s
3600.05/3609.60	c conflict analysis time 443.513 s
3600.05/3609.60	c propagations 383328970
3600.05/3609.60	c resolve steps 56742192
3600.05/3609.60	c decisions 7027490
3600.05/3609.60	c conflicts 2142249
3600.05/3609.60	c restarts 4092
3600.05/3609.60	c inprocessing phases 136
3600.05/3609.60	c input clauses 8488
3600.05/3609.60	c input cardinalities 497
3600.05/3609.60	c input general constraints 7423
3600.05/3609.60	c input average constraint length 6.39
3600.05/3609.60	c input average constraint degree 4.30
3600.05/3609.60	c learned clauses 1918852
3600.05/3609.60	c learned cardinalities 20824
3600.05/3609.60	c learned general constraints 202572
3600.05/3609.60	c learned average constraint length 174.90
3600.05/3609.60	c learned average constraint degree 36344.60
3600.05/3609.60	c watched constraints 163122
3600.05/3609.60	c counting constraints 46873
3600.05/3609.60	c gcd simplifications 2569
3600.05/3609.60	c detected cardinalities 30
3600.05/3609.60	c weakened non-implied lits 62377557
3600.05/3609.60	c weakened non-implying lits 38418
3600.05/3609.60	c original variables 1344
3600.05/3609.60	c clausal propagations 173437674
3600.05/3609.60	c cardinality propagations 173335693
3600.05/3609.60	c watched propagations 12597500
3600.05/3609.60	c counting propagations 21787171
3600.05/3609.60	c watch lookups 71988685163
3600.05/3609.60	c watch backjump lookups 65028646605
3600.05/3609.60	c watch checks 82548726611
3600.05/3609.60	c propagation checks 9313967055
3600.05/3609.60	c constraint additions 1264843725
3600.05/3609.60	c trail pops 392497947
3600.05/3609.60	c formula constraints 16376
3600.05/3609.60	c learned constraints 2142248
3600.05/3609.60	c bound constraints 14
3600.05/3609.60	c core-guided constraints 18
3600.05/3609.60	c encountered formula constraints 25664138
3600.05/3609.60	c encountered learned constraints 33210863
3600.05/3609.60	c encountered bound constraints 5273
3600.05/3609.60	c encountered core-guided constraints 4167
3600.05/3609.60	c LP total time 0 s
3600.05/3609.60	c LP solve time 0 s
3600.05/3609.60	c LP constraints added 0
3600.05/3609.60	c LP constraints removed 0
3600.05/3609.60	c LP pivots internal 0
3600.05/3609.60	c LP pivots root 0
3600.05/3609.60	c LP calls 0
3600.05/3609.60	c LP optimalities 0
3600.05/3609.60	c LP no pivot count 0
3600.05/3609.60	c LP infeasibilities 0
3600.05/3609.60	c LP valid Farkas constraints 0
3600.05/3609.60	c LP learned Farkas constraints 0
3600.05/3609.60	c LP basis resets 0
3600.05/3609.60	c LP cycling count 0
3600.05/3609.60	c LP singular count 0
3600.05/3609.60	c LP no primal count 0
3600.05/3609.60	c LP no farkas count 0
3600.05/3609.60	c LP other issue count 0
3600.05/3609.60	c LP Gomory cuts 0
3600.05/3609.60	c LP learned cuts 0
3600.05/3609.60	c LP deleted cuts 0
3600.05/3609.60	c LP encountered Gomory constraints 0
3600.05/3609.60	c LP encountered Farkas constraints 0
3600.05/3609.60	c LP encountered learned Farkas constraints 0
3600.05/3609.60	c CG auxiliary variables introduced 9
3600.05/3609.60	c CG solutions found 3
3600.05/3609.60	c CG cores constructed 9
3600.05/3609.60	c CG core cardinality constraints returned 0
3600.05/3609.60	c CG unit cores 0
3600.05/3609.60	c CG single cores 9
3600.05/3609.60	c CG blocks removed during cardinality reduction 0
3600.05/3609.60	c CG first core best 0
3600.05/3609.60	c CG decision core best 0
3600.05/3609.60	c CG core reduction tie 0
3600.05/3609.60	c CG core degree average 1.00
3600.05/3609.60	c CG core slack average 34.44
3600.05/3609.60	c CG exhausted 0
3600.05/3609.60	c CG exhaust time 1.09137 s
3600.05/3609.60	c CG trimmed 0
3600.05/3609.60	c CG trim time 0.000266 s
3600.05/3609.60	c CG minimized 0
3600.05/3609.60	c CG minimize time 0 s
3600.05/3609.60	c CG am1 prop time 0.001312 s
3600.05/3609.60	c CG # am1s reformulated 0
3600.05/3609.60	c CG lower bound derived from am1s 0
3600.05/3609.60	c CG # clausal cores 9
3600.05/3609.60	c CG # cardinality cores 0
3600.05/3609.60	c CG # pb cores 0
3600.05/3609.60	c CG # pb reforms 8
3600.05/3609.60	c CG # cores discarded because of pb reform 0
3600.05/3609.60	d LOWERBOUND 26
3600.05/3609.60	d NCORES 9
3600.05/3609.60	d NPBCORES 0
3600.05/3609.60	d NPBREFORM 8
3600.05/3609.60	d NTRIMMED 0
3600.05/3609.60	d NEXHAUSTED 0
3600.05/3609.60	d NAM1S 0
3600.05/3609.60	d AM1LB 0
3600.05/3609.60	o 162
3600.05/3609.60	s SATISFIABLE
3600.05/3609.60	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344

Verifier Data 

OK	162

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60898 MiB free)
  memory of node 1: 64510 MiB (57353 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=1063715, runsolver pid=1063712

[startup+0.100662 s]*
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121085620/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=40308 memory=10144 CPUtime=0.09 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 855 0 0 0 8 1 0 0 20 0 1 0 197490798 41275392 2536 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 10077 2536 1339 291 0 1611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 10144 KiB

[startup+0.205716 s]*
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121084752/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=41012 memory=11112 CPUtime=0.2 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 1025 0 0 0 17 3 0 0 20 0 1 0 197490798 41996288 2778 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 10253 2778 1400 291 0 1787 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41012 KiB
Current children cumulated memory: 11112 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121083604/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=41688 memory=11748 CPUtime=0.3 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 1223 0 0 0 27 3 0 0 20 0 1 0 197490798 42688512 2937 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 10422 2937 1400 291 0 1956 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41688 KiB
Current children cumulated memory: 11748 KiB

[startup+0.700236 s]
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121083464/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=42664 memory=12800 CPUtime=0.68 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 1507 0 0 0 64 4 0 0 20 0 1 0 197490798 43687936 3200 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 10666 3200 1400 291 0 2200 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42664 KiB
Current children cumulated memory: 12800 KiB

[startup+1.50022 s]
/proc/loadavg: 4.40 4.17 4.15 5/256 1063716
/proc/meminfo: memFree=121082136/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=42928 memory=13856 CPUtime=1.48 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 1801 0 0 0 142 6 0 0 20 0 1 0 197490798 43958272 3464 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 10732 3464 1400 291 0 2266 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42928 KiB
Current children cumulated memory: 13856 KiB

[startup+3.1056 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063763
/proc/meminfo: memFree=121376968/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=45984 memory=15676 CPUtime=3.09 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 2245 0 0 0 300 9 0 0 20 0 1 0 197490798 47087616 3919 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 11496 3919 1400 291 0 3030 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45984 KiB
Current children cumulated memory: 15676 KiB

[startup+6.30015 s]
/proc/loadavg: 4.45 4.18 4.15 5/256 1063809
/proc/meminfo: memFree=121586456/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=46656 memory=16996 CPUtime=6.27 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 2579 0 0 0 613 14 0 0 20 0 1 0 197490798 47775744 4249 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 11664 4249 1400 291 0 3198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 16996 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.18 4.15 5/258 1063979
/proc/meminfo: memFree=121574628/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=47540 memory=18980 CPUtime=12.65 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 3731 0 0 0 1237 28 0 0 20 0 1 0 197490798 48680960 4745 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 11885 4745 1400 291 0 3419 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47540 KiB
Current children cumulated memory: 18980 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.19 4.15 5/258 1063982
/proc/meminfo: memFree=121558640/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=53976 memory=23224 CPUtime=25.43 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 4501 0 0 0 2484 59 0 0 20 0 1 0 197490798 55271424 5806 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 13494 5806 1400 291 0 5028 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 53976 KiB
Current children cumulated memory: 23224 KiB

[startup+51.1055 s]
/proc/loadavg: 4.33 4.19 4.15 5/258 1064031
/proc/meminfo: memFree=127005844/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=54740 memory=26252 CPUtime=50.96 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 5821 0 0 0 4987 109 0 0 20 0 1 0 197490798 56053760 6563 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 13685 6563 1400 291 0 5219 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 54740 KiB
Current children cumulated memory: 26252 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/258 1064040
/proc/meminfo: memFree=126953056/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=63184 memory=31612 CPUtime=102.05 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 8566 0 0 0 10010 195 0 0 20 0 1 0 197490798 64700416 7903 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 15796 7903 1400 291 0 7330 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 63184 KiB
Current children cumulated memory: 31612 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/260 1064110
/proc/meminfo: memFree=126914048/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=64168 memory=34644 CPUtime=161.92 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 10490 0 0 0 15911 281 0 0 20 0 1 0 197490798 65708032 8661 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 16042 8661 1400 291 0 7576 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 64168 KiB
Current children cumulated memory: 34644 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/260 1064122
/proc/meminfo: memFree=126864144/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=76756 memory=39284 CPUtime=221.78 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 12372 0 0 0 21813 365 0 0 20 0 1 0 197490798 78598144 9821 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 19189 9821 1400 291 0 10723 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 39284 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/260 1064132
/proc/meminfo: memFree=126838484/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=78080 memory=42648 CPUtime=281.64 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 13702 0 0 0 27736 428 0 0 20 0 1 0 197490798 79953920 10662 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 19520 10662 1400 291 0 11054 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 78080 KiB
Current children cumulated memory: 42648 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/259 1064142
/proc/meminfo: memFree=126808164/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=78228 memory=42804 CPUtime=341.48 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 14720 0 0 0 33654 494 0 0 20 0 1 0 197490798 80105472 10701 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 19557 10701 1400 291 0 11091 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 78228 KiB
Current children cumulated memory: 42804 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/259 1064154
/proc/meminfo: memFree=126790024/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=79056 memory=45432 CPUtime=401.33 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 15735 0 0 0 39572 561 0 0 20 0 1 0 197490798 80953344 11358 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 19764 11358 1400 291 0 11298 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 45432 KiB

[startup+462.3 s]
/proc/loadavg: 4.36 4.20 4.16 5/254 1064164
/proc/meminfo: memFree=126766860/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=79984 memory=48284 CPUtime=461.17 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 17323 0 0 0 45500 617 0 0 20 0 1 0 197490798 81903616 12071 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 19996 12071 1400 291 0 11530 0

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

Current children cumulated memory: 167856 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/254 1065165
/proc/meminfo: memFree=126329776/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=212692 memory=168612 CPUtime=2854.71 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 40431 0 0 0 284337 1134 0 0 20 0 1 0 197490798 217796608 42153 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 53173 42153 1400 291 0 44707 0
Current children cumulated CPU time: 2854.71 s
Current children cumulated vsize: 212692 KiB
Current children cumulated memory: 168612 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/254 1065175
/proc/meminfo: memFree=126324604/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=213844 memory=172652 CPUtime=2914.57 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 40670 0 0 0 290316 1141 0 0 20 0 1 0 197490798 218976256 43163 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 53461 43163 1400 291 0 44995 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 213844 KiB
Current children cumulated memory: 172652 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/254 1065186
/proc/meminfo: memFree=126320460/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=215060 memory=175428 CPUtime=2974.41 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 40927 0 0 0 296295 1146 0 0 20 0 1 0 197490798 220221440 43857 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 53765 43857 1400 291 0 45299 0
Current children cumulated CPU time: 2974.41 s
Current children cumulated vsize: 215060 KiB
Current children cumulated memory: 175428 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/254 1065196
/proc/meminfo: memFree=126317232/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=216276 memory=178204 CPUtime=3034.26 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 41212 0 0 0 302274 1152 0 0 20 0 1 0 197490798 221466624 44551 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 54069 44551 1400 291 0 45603 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 216276 KiB
Current children cumulated memory: 178204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/254 1065206
/proc/meminfo: memFree=126314316/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=216792 memory=180532 CPUtime=3094.1 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 41357 0 0 0 308252 1158 0 0 20 0 1 0 197490798 221995008 45133 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 54198 45133 1400 291 0 45732 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 216792 KiB
Current children cumulated memory: 180532 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.11 5/256 1065220
/proc/meminfo: memFree=126310528/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=217304 memory=182956 CPUtime=3153.95 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 41542 0 0 0 314231 1164 0 0 20 0 1 0 197490798 222519296 45739 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 54326 45739 1400 291 0 45860 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 217304 KiB
Current children cumulated memory: 182956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/256 1065231
/proc/meminfo: memFree=126304792/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=219032 memory=185984 CPUtime=3213.79 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 41856 0 0 0 320209 1170 0 0 20 0 1 0 197490798 224288768 46496 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 54758 46496 1400 291 0 46292 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 219032 KiB
Current children cumulated memory: 185984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/256 1065241
/proc/meminfo: memFree=126298092/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=220312 memory=186960 CPUtime=3273.63 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 42178 0 0 0 326187 1176 0 0 20 0 1 0 197490798 225599488 46740 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 55078 46740 1400 291 0 46612 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 220312 KiB
Current children cumulated memory: 186960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/256 1065251
/proc/meminfo: memFree=126258508/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=271552 memory=189524 CPUtime=3333.47 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 42903 0 0 0 332165 1182 0 0 20 0 1 0 197490798 278069248 47381 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 67888 47381 1400 291 0 59422 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 271552 KiB
Current children cumulated memory: 189524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1065263
/proc/meminfo: memFree=126231676/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=272416 memory=192016 CPUtime=3393.31 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 43156 0 0 0 338144 1187 0 0 20 0 1 0 197490798 278953984 48004 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 68104 48004 1400 291 0 59638 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 272416 KiB
Current children cumulated memory: 192016 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1065655
/proc/meminfo: memFree=126214668/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=294560 memory=205596 CPUtime=3453.15 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 46077 0 0 0 344121 1194 0 0 20 0 1 0 197490798 301629440 51399 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 73640 51399 1400 291 0 65174 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 294560 KiB
Current children cumulated memory: 205596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 1065666
/proc/meminfo: memFree=126209932/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=298656 memory=209932 CPUtime=3512.98 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 46762 0 0 0 350098 1200 0 0 20 0 1 0 197490798 305823744 52483 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 74664 52483 1400 291 0 66198 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 298656 KiB
Current children cumulated memory: 209932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1065677
/proc/meminfo: memFree=126206188/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=298656 memory=212420 CPUtime=3572.82 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 46934 0 0 0 356077 1205 0 0 20 0 1 0 197490798 305823744 53105 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 74664 53105 1400 291 0 66198 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 298656 KiB
Current children cumulated memory: 212420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1065682
/proc/meminfo: memFree=126205824/131524600 swapFree=131071996/131071996
[pid=1063715] ppid=1063712 vsize=298656 memory=212680 CPUtime=3600.05 cores=4,6
/proc/1063715/stat : 1063715 (pb-oll-rs) R 1063712 1063715 1059483 0 -1 4194304 46989 0 0 0 358797 1208 0 0 20 0 1 0 197490798 305823744 53170 134679101440 4194304 5384485 140728646857744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 18022400 140728646861845 140728646861922 140728646861922 140728646868939 0
/proc/1063715/statm: 74664 53170 1400 291 0 66198 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 298656 KiB
Current children cumulated memory: 212680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.98 s, system=12.0897 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3587.98
CPU system time (s): 12.0897
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 298656
Max. memory (cumulated for all children) (KiB): 212680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.98
system time used= 12.0897
maximum resident set size= 212680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47005
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= 61
involuntary context switches= 2973


# summary of solver processes directly reported to runsolver:
#   pid: 1063715
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3587.98
#   total CPU system time (s): 12.0897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14316 second user time and 16.5201 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 07:27:59
IDJOB=4454281
IDBENCH=147017
IDSOLVER=3082
FILE ID=nodeC022/4454281-1721453266
RUNJOBID= nodeC022-1721446059-1059494
SLURM_JOB_ID= 7545669
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1970518703

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121091020 kB
MemAvailable:   123665140 kB
Buffers:          540376 kB
Cached:          2858168 kB
SwapCached:            0 kB
Active:          1249120 kB
Inactive:        8515932 kB
Active(anon):       1564 kB
Inactive(anon):  6410524 kB
Active(file):    1247556 kB
Inactive(file):  2105408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2540 kB
Writeback:             0 kB
AnonPages:       6360320 kB
Mapped:           112188 kB
Shmem:             45912 kB
KReclaimable:     121604 kB
Slab:             238272 kB
SReclaimable:     121604 kB
SUnreclaim:       116668 kB
KernelStack:        4108 kB
PageTables:        22044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7101860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71616 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4571136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

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