Trace number 4454367

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)-36 3600.03 3608.82

DiagnosticValue
AM1LB936
LOWERBOUND-178
NAM1S213
NCORES32
NEXHAUSTED4
NPBCORES0
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM0bdb6411771ac9360fc2dcf9fc3ce2f6
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 benchmark-50
Best CPU time to get the best result obtained on this benchmark72002.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
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.60/0.66	c [STEP] solving
0.60/0.66	c #variables 1150 #constraints 81068
0.60/0.66	c SMALL=int, LARGE=long long
0.60/0.66	c bounds - >= -1150 @ 0.4644
0.60/0.66	c stratification level: 0
0.79/0.80	c bounds - >= -213 @ 0.563155
0.79/0.80	c bounds - >= -212 @ 0.564605
0.79/0.80	c bounds - >= -211 @ 0.565243
0.79/0.80	c bounds - >= -210 @ 0.565614
0.79/0.80	c bounds - >= -209 @ 0.566833
0.79/0.80	c bounds - >= -208 @ 0.568012
0.79/0.80	c bounds - >= -207 @ 0.568532
0.79/0.80	c bounds - >= -206 @ 0.569226
0.79/0.80	c bounds - >= -205 @ 0.569226
0.79/0.80	c bounds - >= -204 @ 0.569897
0.79/0.80	c bounds - >= -203 @ 0.571216
0.79/0.80	c bounds - >= -202 @ 0.572289
0.79/0.80	c bounds - >= -201 @ 0.574678
0.79/0.80	c bounds - >= -200 @ 0.575977
0.79/0.80	c bounds - >= -199 @ 0.576197
0.79/0.80	c bounds - >= -198 @ 0.576513
0.79/0.80	c bounds - >= -197 @ 0.577194
0.79/0.80	c bounds - >= -196 @ 0.577209
0.79/0.80	c bounds - >= -195 @ 0.578189
0.79/0.80	c bounds - >= -194 @ 0.578189
0.79/0.80	c bounds - >= -193 @ 0.579123
0.79/0.80	c bounds - >= -192 @ 0.580723
0.79/0.80	c bounds - >= -191 @ 0.582295
0.79/0.80	c bounds - >= -190 @ 0.584309
0.79/0.80	c finalizing WCE round: reformulating cores
20.95/21.05	c bounds -22 >= -212 @ 0.59277
20.95/21.05	c bounds -22 >= -212 @ 0.611498
20.95/21.05	c #Conflicts:       1000 | #Constraints:      82320
20.95/21.05	c #Conflicts:       2000 | #Constraints:      83338
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c bounds -32 >= -200 @ 1.35978
20.95/21.05	c #Conflicts:       3000 | #Constraints:      83202
20.95/21.05	c #Conflicts:       4000 | #Constraints:      84207
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:       5000 | #Constraints:      83656
20.95/21.05	c #Conflicts:       6000 | #Constraints:      84658
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:       7000 | #Constraints:      83697
20.95/21.05	c #Conflicts:       8000 | #Constraints:      84699
20.95/21.05	c #Conflicts:       9000 | #Constraints:      85707
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      10000 | #Constraints:      84424
20.95/21.05	c bounds -36 >= -188 @ 4.58509
20.95/21.05	c #Conflicts:      11000 | #Constraints:      85430
20.95/21.05	c bounds -36 >= -186 @ 5.27908
20.95/21.05	c bounds -36 >= -185 @ 5.28718
20.95/21.05	c bounds -36 >= -184 @ 5.29385
20.95/21.05	c bounds -36 >= -183 @ 5.30524
20.95/21.05	c bounds -36 >= -182 @ 5.32782
20.95/21.05	c #Conflicts:      12000 | #Constraints:      86516
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c bounds -36 >= -181 @ 5.46938
20.95/21.05	c #Conflicts:      13000 | #Constraints:      85002
20.95/21.05	c #Conflicts:      14000 | #Constraints:      86002
20.95/21.05	c #Conflicts:      15000 | #Constraints:      87002
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c bounds -36 >= -180 @ 5.97238
20.95/21.05	c #Conflicts:      16000 | #Constraints:      85287
20.95/21.05	c #Conflicts:      17000 | #Constraints:      86287
20.95/21.05	c #Conflicts:      18000 | #Constraints:      87287
20.95/21.05	c INPROCESSING
20.95/21.05	c #Conflicts:      19000 | #Constraints:      85289
20.95/21.05	c #Conflicts:      20000 | #Constraints:      86289
20.95/21.05	c #Conflicts:      21000 | #Constraints:      87289
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      22000 | #Constraints:      85087
20.95/21.05	c #Conflicts:      23000 | #Constraints:      86087
20.95/21.05	c #Conflicts:      24000 | #Constraints:      87087
20.95/21.05	c #Conflicts:      25000 | #Constraints:      88087
20.95/21.05	c INPROCESSING
20.95/21.05	c #Conflicts:      26000 | #Constraints:      85694
20.95/21.05	c bounds -36 >= -179 @ 7.3574
20.95/21.05	c #Conflicts:      27000 | #Constraints:      86737
20.95/21.05	c #Conflicts:      28000 | #Constraints:      87737
20.95/21.05	c #Conflicts:      29000 | #Constraints:      88737
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      30000 | #Constraints:      86134
20.95/21.05	c #Conflicts:      31000 | #Constraints:      87134
20.95/21.05	c #Conflicts:      32000 | #Constraints:      88134
20.95/21.05	c #Conflicts:      33000 | #Constraints:      89134
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      34000 | #Constraints:      86335
20.95/21.05	c #Conflicts:      35000 | #Constraints:      87335
20.95/21.05	c #Conflicts:      36000 | #Constraints:      88335
20.95/21.05	c #Conflicts:      37000 | #Constraints:      89335
20.95/21.05	c #Conflicts:      38000 | #Constraints:      90335
20.95/21.05	c #Conflicts:      39000 | #Constraints:      91335
20.95/21.05	c #Conflicts:      40000 | #Constraints:      92335
20.95/21.05	c #Conflicts:      41000 | #Constraints:      93335
20.95/21.05	c #Conflicts:      42000 | #Constraints:      94335
20.95/21.05	c #Conflicts:      43000 | #Constraints:      95335
20.95/21.05	c #Conflicts:      44000 | #Constraints:      96335
20.95/21.05	c #Conflicts:      45000 | #Constraints:      97335
20.95/21.05	c #Conflicts:      46000 | #Constraints:      98335
20.95/21.05	c #Conflicts:      47000 | #Constraints:      99335
20.95/21.05	c #Conflicts:      48000 | #Constraints:     100335
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      49000 | #Constraints:      91969
20.95/21.05	c #Conflicts:      50000 | #Constraints:      92969
20.95/21.05	c #Conflicts:      51000 | #Constraints:      93969
20.95/21.05	c #Conflicts:      52000 | #Constraints:      94969
20.95/21.05	c #Conflicts:      53000 | #Constraints:      95969
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      54000 | #Constraints:      89628
20.95/21.05	c #Conflicts:      55000 | #Constraints:      90628
20.95/21.05	c #Conflicts:      56000 | #Constraints:      91628
20.95/21.05	c #Conflicts:      57000 | #Constraints:      92628
20.95/21.05	c #Conflicts:      58000 | #Constraints:      93628
20.95/21.05	c INPROCESSING
20.95/21.05	c GARBAGE COLLECT
20.95/21.05	c #Conflicts:      59000 | #Constraints:      88192
20.95/21.05	c #Conflicts:      60000 | #Constraints:      89192
20.95/21.05	c #Conflicts:      61000 | #Constraints:      90192
20.95/21.05	c #Conflicts:      62000 | #Constraints:      91192
20.95/21.05	c #Conflicts:      63000 | #Constraints:      92192
20.95/21.05	c #Conflicts:      64000 | #Constraints:      93192
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:      65000 | #Constraints:      88126
69.71/69.98	c #Conflicts:      66000 | #Constraints:      89126
69.71/69.98	c #Conflicts:      67000 | #Constraints:      90126
69.71/69.98	c #Conflicts:      68000 | #Constraints:      91126
69.71/69.98	c #Conflicts:      69000 | #Constraints:      92126
69.71/69.98	c #Conflicts:      70000 | #Constraints:      93126
69.71/69.98	c #Conflicts:      71000 | #Constraints:      94126
69.71/69.98	c #Conflicts:      72000 | #Constraints:      95126
69.71/69.98	c #Conflicts:      73000 | #Constraints:      96126
69.71/69.98	c #Conflicts:      74000 | #Constraints:      97126
69.71/69.98	c #Conflicts:      75000 | #Constraints:      98126
69.71/69.98	c #Conflicts:      76000 | #Constraints:      99126
69.71/69.98	c #Conflicts:      77000 | #Constraints:     100126
69.71/69.98	c #Conflicts:      78000 | #Constraints:     101126
69.71/69.98	c #Conflicts:      79000 | #Constraints:     102126
69.71/69.98	c #Conflicts:      80000 | #Constraints:     103126
69.71/69.98	c #Conflicts:      81000 | #Constraints:     104126
69.71/69.98	c #Conflicts:      82000 | #Constraints:     105126
69.71/69.98	c #Conflicts:      83000 | #Constraints:     106126
69.71/69.98	c #Conflicts:      84000 | #Constraints:     107126
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:      85000 | #Constraints:      94958
69.71/69.98	c #Conflicts:      86000 | #Constraints:      95958
69.71/69.98	c #Conflicts:      87000 | #Constraints:      96958
69.71/69.98	c #Conflicts:      88000 | #Constraints:      97958
69.71/69.98	c #Conflicts:      89000 | #Constraints:      98958
69.71/69.98	c #Conflicts:      90000 | #Constraints:      99958
69.71/69.98	c #Conflicts:      91000 | #Constraints:     100958
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:      92000 | #Constraints:      91848
69.71/69.98	c #Conflicts:      93000 | #Constraints:      92848
69.71/69.98	c #Conflicts:      94000 | #Constraints:      93848
69.71/69.98	c #Conflicts:      95000 | #Constraints:      94848
69.71/69.98	c #Conflicts:      96000 | #Constraints:      95848
69.71/69.98	c #Conflicts:      97000 | #Constraints:      96848
69.71/69.98	c #Conflicts:      98000 | #Constraints:      97848
69.71/69.98	c #Conflicts:      99000 | #Constraints:      98848
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:     100000 | #Constraints:      91215
69.71/69.98	c #Conflicts:     101000 | #Constraints:      92215
69.71/69.98	c #Conflicts:     102000 | #Constraints:      93215
69.71/69.98	c #Conflicts:     103000 | #Constraints:      94215
69.71/69.98	c #Conflicts:     104000 | #Constraints:      95215
69.71/69.98	c #Conflicts:     105000 | #Constraints:      96215
69.71/69.98	c #Conflicts:     106000 | #Constraints:      97215
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:     107000 | #Constraints:      90221
69.71/69.98	c #Conflicts:     108000 | #Constraints:      91221
69.71/69.98	c #Conflicts:     109000 | #Constraints:      92221
69.71/69.98	c #Conflicts:     110000 | #Constraints:      93221
69.71/69.98	c #Conflicts:     111000 | #Constraints:      94221
69.71/69.98	c #Conflicts:     112000 | #Constraints:      95221
69.71/69.98	c #Conflicts:     113000 | #Constraints:      96221
69.71/69.98	c #Conflicts:     114000 | #Constraints:      97221
69.71/69.98	c #Conflicts:     115000 | #Constraints:      98221
69.71/69.98	c #Conflicts:     116000 | #Constraints:      99221
69.71/69.98	c #Conflicts:     117000 | #Constraints:     100221
69.71/69.98	c #Conflicts:     118000 | #Constraints:     101221
69.71/69.98	c #Conflicts:     119000 | #Constraints:     102221
69.71/69.98	c #Conflicts:     120000 | #Constraints:     103221
69.71/69.98	c #Conflicts:     121000 | #Constraints:     104221
69.71/69.98	c #Conflicts:     122000 | #Constraints:     105221
69.71/69.98	c #Conflicts:     123000 | #Constraints:     106221
69.71/69.98	c #Conflicts:     124000 | #Constraints:     107221
69.71/69.98	c #Conflicts:     125000 | #Constraints:     108221
69.71/69.98	c #Conflicts:     126000 | #Constraints:     109221
69.71/69.98	c #Conflicts:     127000 | #Constraints:     110221
69.71/69.98	c #Conflicts:     128000 | #Constraints:     111221
69.71/69.98	c #Conflicts:     129000 | #Constraints:     112221
69.71/69.98	c #Conflicts:     130000 | #Constraints:     113221
69.71/69.98	c #Conflicts:     131000 | #Constraints:     114221
69.71/69.98	c #Conflicts:     132000 | #Constraints:     115221
69.71/69.98	c INPROCESSING
69.71/69.98	c GARBAGE COLLECT
69.71/69.98	c #Conflicts:     133000 | #Constraints:      99407
69.71/69.98	c #Conflicts:     134000 | #Constraints:     100407
69.71/69.98	c #Conflicts:     135000 | #Constraints:     101407
69.71/69.98	c #Conflicts:     136000 | #Constraints:     102407
69.71/69.98	c #Conflicts:     137000 | #Constraints:     103407
69.71/69.98	c #Conflicts:     138000 | #Constraints:     104407
69.71/69.98	c #Conflicts:     139000 | #Constraints:     105407
129.88/130.23	c #Conflicts:     140000 | #Constraints:     106407
129.88/130.23	c INPROCESSING
129.88/130.23	c GARBAGE COLLECT
129.88/130.23	c #Conflicts:     141000 | #Constraints:      94651
129.88/130.23	c #Conflicts:     142000 | #Constraints:      95651
129.88/130.23	c #Conflicts:     143000 | #Constraints:      96651
129.88/130.23	c #Conflicts:     144000 | #Constraints:      97651
129.88/130.23	c #Conflicts:     145000 | #Constraints:      98651
129.88/130.23	c #Conflicts:     146000 | #Constraints:      99651
129.88/130.23	c #Conflicts:     147000 | #Constraints:     100651
129.88/130.23	c #Conflicts:     148000 | #Constraints:     101651
129.88/130.23	c #Conflicts:     149000 | #Constraints:     102651
129.88/130.23	c INPROCESSING
129.88/130.23	c GARBAGE COLLECT
129.88/130.23	c #Conflicts:     150000 | #Constraints:      92835
129.88/130.23	c #Conflicts:     151000 | #Constraints:      93835
129.88/130.23	c #Conflicts:     152000 | #Constraints:      94835
129.88/130.23	c #Conflicts:     153000 | #Constraints:      95835
129.88/130.23	c #Conflicts:     154000 | #Constraints:      96835
129.88/130.23	c #Conflicts:     155000 | #Constraints:      97835
129.88/130.23	c #Conflicts:     156000 | #Constraints:      98835
129.88/130.23	c #Conflicts:     157000 | #Constraints:      99835
129.88/130.23	c #Conflicts:     158000 | #Constraints:     100835
129.88/130.23	c INPROCESSING
129.88/130.23	c GARBAGE COLLECT
129.88/130.23	c #Conflicts:     159000 | #Constraints:      91860
129.88/130.23	c #Conflicts:     160000 | #Constraints:      92860
129.88/130.23	c #Conflicts:     161000 | #Constraints:      93860
129.88/130.23	c #Conflicts:     162000 | #Constraints:      94860
129.88/130.23	c #Conflicts:     163000 | #Constraints:      95860
129.88/130.23	c #Conflicts:     164000 | #Constraints:      96860
129.88/130.23	c #Conflicts:     165000 | #Constraints:      97860
129.88/130.23	c #Conflicts:     166000 | #Constraints:      98860
129.88/130.23	c #Conflicts:     167000 | #Constraints:      99860
129.88/130.23	c #Conflicts:     168000 | #Constraints:     100860
129.88/130.23	c #Conflicts:     169000 | #Constraints:     101860
129.88/130.23	c #Conflicts:     170000 | #Constraints:     102860
129.88/130.23	c #Conflicts:     171000 | #Constraints:     103860
129.88/130.23	c #Conflicts:     172000 | #Constraints:     104860
129.88/130.23	c #Conflicts:     173000 | #Constraints:     105860
129.88/130.23	c #Conflicts:     174000 | #Constraints:     106860
129.88/130.23	c #Conflicts:     175000 | #Constraints:     107860
129.88/130.23	c #Conflicts:     176000 | #Constraints:     108860
129.88/130.24	c #Conflicts:     177000 | #Constraints:     109860
129.88/130.24	c #Conflicts:     178000 | #Constraints:     110860
129.88/130.24	c #Conflicts:     179000 | #Constraints:     111860
129.88/130.24	c #Conflicts:     180000 | #Constraints:     112860
129.88/130.24	c #Conflicts:     181000 | #Constraints:     113860
129.88/130.24	c #Conflicts:     182000 | #Constraints:     114860
129.88/130.24	c #Conflicts:     183000 | #Constraints:     115860
129.88/130.24	c #Conflicts:     184000 | #Constraints:     116860
129.88/130.24	c #Conflicts:     185000 | #Constraints:     117860
129.88/130.24	c #Conflicts:     186000 | #Constraints:     118860
129.88/130.24	c #Conflicts:     187000 | #Constraints:     119860
129.88/130.24	c #Conflicts:     188000 | #Constraints:     120860
129.88/130.24	c #Conflicts:     189000 | #Constraints:     121860
129.88/130.24	c INPROCESSING
129.88/130.24	c GARBAGE COLLECT
129.88/130.24	c #Conflicts:     190000 | #Constraints:     102441
129.88/130.24	c #Conflicts:     191000 | #Constraints:     103441
129.88/130.24	c #Conflicts:     192000 | #Constraints:     104441
129.88/130.24	c #Conflicts:     193000 | #Constraints:     105441
129.88/130.24	c #Conflicts:     194000 | #Constraints:     106441
129.88/130.24	c #Conflicts:     195000 | #Constraints:     107441
129.88/130.24	c #Conflicts:     196000 | #Constraints:     108441
129.88/130.24	c #Conflicts:     197000 | #Constraints:     109441
129.88/130.24	c #Conflicts:     198000 | #Constraints:     110441
129.88/130.24	c #Conflicts:     199000 | #Constraints:     111441
129.88/130.24	c #Conflicts:     200000 | #Constraints:     112441
129.88/130.24	c INPROCESSING
129.88/130.24	c GARBAGE COLLECT
129.88/130.24	c #Conflicts:     201000 | #Constraints:      98013
129.88/130.24	c #Conflicts:     202000 | #Constraints:      99013
129.88/130.24	c #Conflicts:     203000 | #Constraints:     100013
129.88/130.24	c #Conflicts:     204000 | #Constraints:     101013
129.88/130.24	c #Conflicts:     205000 | #Constraints:     102013
129.88/130.24	c #Conflicts:     206000 | #Constraints:     103013
129.88/130.24	c #Conflicts:     207000 | #Constraints:     104013
129.88/130.24	c #Conflicts:     208000 | #Constraints:     105013
129.88/130.24	c #Conflicts:     209000 | #Constraints:     106013
129.88/130.24	c #Conflicts:     210000 | #Constraints:     107013
129.88/130.24	c INPROCESSING
129.88/130.24	c GARBAGE COLLECT
129.88/130.24	c #Conflicts:     211000 | #Constraints:      94999
129.88/130.24	c #Conflicts:     212000 | #Constraints:      95999
129.88/130.24	c #Conflicts:     213000 | #Constraints:      96999
129.88/130.24	c #Conflicts:     214000 | #Constraints:      97999
207.30/207.82	c #Conflicts:     215000 | #Constraints:      98999
207.30/207.82	c #Conflicts:     216000 | #Constraints:      99999
207.30/207.82	c #Conflicts:     217000 | #Constraints:     100999
207.30/207.82	c #Conflicts:     218000 | #Constraints:     101999
207.30/207.82	c #Conflicts:     219000 | #Constraints:     102999
207.30/207.82	c #Conflicts:     220000 | #Constraints:     103999
207.30/207.82	c #Conflicts:     221000 | #Constraints:     104999
207.30/207.82	c INPROCESSING
207.30/207.82	c GARBAGE COLLECT
207.30/207.82	c #Conflicts:     222000 | #Constraints:      94089
207.30/207.82	c #Conflicts:     223000 | #Constraints:      95089
207.30/207.82	c #Conflicts:     224000 | #Constraints:      96089
207.30/207.82	c #Conflicts:     225000 | #Constraints:      97089
207.30/207.82	c #Conflicts:     226000 | #Constraints:      98089
207.30/207.82	c #Conflicts:     227000 | #Constraints:      99089
207.30/207.82	c #Conflicts:     228000 | #Constraints:     100089
207.30/207.82	c #Conflicts:     229000 | #Constraints:     101089
207.30/207.82	c #Conflicts:     230000 | #Constraints:     102089
207.30/207.82	c #Conflicts:     231000 | #Constraints:     103089
207.30/207.82	c #Conflicts:     232000 | #Constraints:     104089
207.30/207.82	c #Conflicts:     233000 | #Constraints:     105089
207.30/207.82	c #Conflicts:     234000 | #Constraints:     106089
207.30/207.82	c #Conflicts:     235000 | #Constraints:     107089
207.30/207.82	c #Conflicts:     236000 | #Constraints:     108089
207.30/207.82	c #Conflicts:     237000 | #Constraints:     109089
207.30/207.82	c #Conflicts:     238000 | #Constraints:     110089
207.30/207.82	c #Conflicts:     239000 | #Constraints:     111089
207.30/207.82	c #Conflicts:     240000 | #Constraints:     112089
207.30/207.82	c #Conflicts:     241000 | #Constraints:     113089
207.30/207.82	c #Conflicts:     242000 | #Constraints:     114089
207.30/207.82	c #Conflicts:     243000 | #Constraints:     115089
207.30/207.82	c #Conflicts:     244000 | #Constraints:     116089
207.30/207.82	c #Conflicts:     245000 | #Constraints:     117089
207.30/207.82	c #Conflicts:     246000 | #Constraints:     118089
207.30/207.82	c #Conflicts:     247000 | #Constraints:     119089
207.30/207.82	c #Conflicts:     248000 | #Constraints:     120089
207.30/207.82	c #Conflicts:     249000 | #Constraints:     121089
207.30/207.82	c #Conflicts:     250000 | #Constraints:     122089
207.30/207.82	c #Conflicts:     251000 | #Constraints:     123089
207.30/207.82	c #Conflicts:     252000 | #Constraints:     124089
207.30/207.82	c #Conflicts:     253000 | #Constraints:     125089
207.30/207.82	c #Conflicts:     254000 | #Constraints:     126089
207.30/207.82	c #Conflicts:     255000 | #Constraints:     127089
207.30/207.82	c #Conflicts:     256000 | #Constraints:     128089
207.30/207.82	c #Conflicts:     257000 | #Constraints:     129089
207.30/207.82	c INPROCESSING
207.30/207.82	c GARBAGE COLLECT
207.30/207.82	c #Conflicts:     258000 | #Constraints:     106046
207.30/207.82	c #Conflicts:     259000 | #Constraints:     107046
207.30/207.82	c #Conflicts:     260000 | #Constraints:     108046
207.30/207.82	c #Conflicts:     261000 | #Constraints:     109046
207.30/207.82	c #Conflicts:     262000 | #Constraints:     110046
207.30/207.82	c #Conflicts:     263000 | #Constraints:     111046
207.30/207.82	c #Conflicts:     264000 | #Constraints:     112046
207.30/207.82	c #Conflicts:     265000 | #Constraints:     113046
207.30/207.82	c #Conflicts:     266000 | #Constraints:     114046
207.30/207.82	c #Conflicts:     267000 | #Constraints:     115046
207.30/207.82	c #Conflicts:     268000 | #Constraints:     116046
207.30/207.82	c #Conflicts:     269000 | #Constraints:     117046
207.30/207.82	c INPROCESSING
207.30/207.82	c GARBAGE COLLECT
207.30/207.82	c #Conflicts:     270000 | #Constraints:      99970
207.30/207.82	c #Conflicts:     271000 | #Constraints:     100970
207.30/207.83	c #Conflicts:     272000 | #Constraints:     101970
207.30/207.83	c #Conflicts:     273000 | #Constraints:     102970
207.30/207.83	c #Conflicts:     274000 | #Constraints:     103970
207.30/207.83	c #Conflicts:     275000 | #Constraints:     104970
207.30/207.83	c #Conflicts:     276000 | #Constraints:     105970
207.30/207.83	c #Conflicts:     277000 | #Constraints:     106970
207.30/207.83	c #Conflicts:     278000 | #Constraints:     107970
207.30/207.83	c #Conflicts:     279000 | #Constraints:     108970
207.30/207.83	c #Conflicts:     280000 | #Constraints:     109970
207.30/207.83	c #Conflicts:     281000 | #Constraints:     110970
207.30/207.83	c #Conflicts:     282000 | #Constraints:     111970
207.30/207.83	c INPROCESSING
207.30/207.83	c GARBAGE COLLECT
207.30/207.83	c #Conflicts:     283000 | #Constraints:      97791
207.30/207.83	c #Conflicts:     284000 | #Constraints:      98791
207.30/207.83	c #Conflicts:     285000 | #Constraints:      99791
207.30/207.83	c #Conflicts:     286000 | #Constraints:     100791
207.30/207.83	c #Conflicts:     287000 | #Constraints:     101791
207.30/207.83	c #Conflicts:     288000 | #Constraints:     102791
207.30/207.83	c #Conflicts:     289000 | #Constraints:     103791
207.30/207.83	c #Conflicts:     290000 | #Constraints:     104791
300.19/300.96	c #Conflicts:     291000 | #Constraints:     105791
300.19/300.96	c #Conflicts:     292000 | #Constraints:     106791
300.19/300.96	c #Conflicts:     293000 | #Constraints:     107791
300.19/300.96	c #Conflicts:     294000 | #Constraints:     108791
300.19/300.96	c INPROCESSING
300.19/300.96	c GARBAGE COLLECT
300.19/300.96	c #Conflicts:     295000 | #Constraints:      95949
300.19/300.96	c #Conflicts:     296000 | #Constraints:      96949
300.19/300.96	c #Conflicts:     297000 | #Constraints:      97949
300.19/300.96	c #Conflicts:     298000 | #Constraints:      98949
300.19/300.96	c #Conflicts:     299000 | #Constraints:      99949
300.19/300.96	c #Conflicts:     300000 | #Constraints:     100949
300.19/300.96	c #Conflicts:     301000 | #Constraints:     101949
300.19/300.96	c #Conflicts:     302000 | #Constraints:     102949
300.19/300.96	c #Conflicts:     303000 | #Constraints:     103949
300.19/300.96	c #Conflicts:     304000 | #Constraints:     104949
300.19/300.96	c #Conflicts:     305000 | #Constraints:     105949
300.19/300.96	c #Conflicts:     306000 | #Constraints:     106949
300.19/300.96	c #Conflicts:     307000 | #Constraints:     107949
300.19/300.96	c #Conflicts:     308000 | #Constraints:     108949
300.19/300.96	c #Conflicts:     309000 | #Constraints:     109949
300.19/300.96	c #Conflicts:     310000 | #Constraints:     110949
300.19/300.96	c #Conflicts:     311000 | #Constraints:     111949
300.19/300.96	c #Conflicts:     312000 | #Constraints:     112949
300.19/300.96	c #Conflicts:     313000 | #Constraints:     113949
300.19/300.96	c #Conflicts:     314000 | #Constraints:     114949
300.19/300.96	c #Conflicts:     315000 | #Constraints:     115949
300.19/300.96	c #Conflicts:     316000 | #Constraints:     116949
300.19/300.96	c #Conflicts:     317000 | #Constraints:     117949
300.19/300.96	c #Conflicts:     318000 | #Constraints:     118949
300.19/300.96	c #Conflicts:     319000 | #Constraints:     119949
300.19/300.96	c #Conflicts:     320000 | #Constraints:     120949
300.19/300.96	c #Conflicts:     321000 | #Constraints:     121949
300.19/300.96	c #Conflicts:     322000 | #Constraints:     122949
300.19/300.96	c #Conflicts:     323000 | #Constraints:     123949
300.19/300.96	c #Conflicts:     324000 | #Constraints:     124949
300.19/300.96	c #Conflicts:     325000 | #Constraints:     125949
300.19/300.96	c #Conflicts:     326000 | #Constraints:     126949
300.19/300.96	c #Conflicts:     327000 | #Constraints:     127949
300.19/300.96	c #Conflicts:     328000 | #Constraints:     128949
300.19/300.96	c #Conflicts:     329000 | #Constraints:     129949
300.19/300.96	c #Conflicts:     330000 | #Constraints:     130949
300.19/300.96	c #Conflicts:     331000 | #Constraints:     131949
300.19/300.96	c #Conflicts:     332000 | #Constraints:     132949
300.19/300.96	c #Conflicts:     333000 | #Constraints:     133949
300.19/300.96	c #Conflicts:     334000 | #Constraints:     134949
300.19/300.96	c #Conflicts:     335000 | #Constraints:     135949
300.19/300.96	c #Conflicts:     336000 | #Constraints:     136949
300.19/300.96	c INPROCESSING
300.19/300.96	c GARBAGE COLLECT
300.19/300.96	c #Conflicts:     337000 | #Constraints:     110287
300.19/300.96	c #Conflicts:     338000 | #Constraints:     111287
300.19/300.96	c #Conflicts:     339000 | #Constraints:     112287
300.19/300.96	c #Conflicts:     340000 | #Constraints:     113287
300.19/300.96	c #Conflicts:     341000 | #Constraints:     114287
300.19/300.96	c #Conflicts:     342000 | #Constraints:     115287
300.19/300.96	c #Conflicts:     343000 | #Constraints:     116287
300.19/300.96	c #Conflicts:     344000 | #Constraints:     117287
300.19/300.96	c #Conflicts:     345000 | #Constraints:     118287
300.19/300.96	c #Conflicts:     346000 | #Constraints:     119287
300.19/300.96	c #Conflicts:     347000 | #Constraints:     120287
300.19/300.96	c #Conflicts:     348000 | #Constraints:     121287
300.19/300.96	c #Conflicts:     349000 | #Constraints:     122287
300.19/300.96	c INPROCESSING
300.19/300.96	c GARBAGE COLLECT
300.19/300.96	c #Conflicts:     350000 | #Constraints:     102549
300.19/300.96	c #Conflicts:     351000 | #Constraints:     103549
300.19/300.96	c #Conflicts:     352000 | #Constraints:     104549
300.19/300.96	c #Conflicts:     353000 | #Constraints:     105549
300.19/300.96	c #Conflicts:     354000 | #Constraints:     106549
300.19/300.96	c #Conflicts:     355000 | #Constraints:     107549
300.19/300.96	c #Conflicts:     356000 | #Constraints:     108549
300.19/300.96	c #Conflicts:     357000 | #Constraints:     109549
300.19/300.96	c #Conflicts:     358000 | #Constraints:     110549
300.19/300.96	c #Conflicts:     359000 | #Constraints:     111549
300.19/300.96	c #Conflicts:     360000 | #Constraints:     112549
300.19/300.96	c #Conflicts:     361000 | #Constraints:     113549
300.19/300.96	c #Conflicts:     362000 | #Constraints:     114549
300.19/300.96	c #Conflicts:     363000 | #Constraints:     115549
300.19/300.96	c INPROCESSING
300.19/300.96	c GARBAGE COLLECT
300.19/300.96	c #Conflicts:     364000 | #Constraints:      99197
300.19/300.96	c #Conflicts:     365000 | #Constraints:     100197
300.19/300.96	c #Conflicts:     366000 | #Constraints:     101197
410.52/411.50	c #Conflicts:     367000 | #Constraints:     102197
410.52/411.50	c #Conflicts:     368000 | #Constraints:     103197
410.52/411.50	c #Conflicts:     369000 | #Constraints:     104197
410.52/411.50	c #Conflicts:     370000 | #Constraints:     105197
410.52/411.50	c #Conflicts:     371000 | #Constraints:     106197
410.52/411.50	c #Conflicts:     372000 | #Constraints:     107197
410.52/411.50	c #Conflicts:     373000 | #Constraints:     108197
410.52/411.50	c #Conflicts:     374000 | #Constraints:     109197
410.52/411.50	c #Conflicts:     375000 | #Constraints:     110197
410.52/411.50	c #Conflicts:     376000 | #Constraints:     111197
410.52/411.50	c #Conflicts:     377000 | #Constraints:     112197
410.52/411.50	c #Conflicts:     378000 | #Constraints:     113197
410.52/411.50	c INPROCESSING
410.52/411.50	c GARBAGE COLLECT
410.52/411.50	c #Conflicts:     379000 | #Constraints:      98393
410.52/411.50	c #Conflicts:     380000 | #Constraints:      99393
410.52/411.50	c #Conflicts:     381000 | #Constraints:     100393
410.52/411.50	c #Conflicts:     382000 | #Constraints:     101393
410.52/411.50	c #Conflicts:     383000 | #Constraints:     102393
410.52/411.50	c #Conflicts:     384000 | #Constraints:     103393
410.52/411.50	c #Conflicts:     385000 | #Constraints:     104393
410.52/411.50	c #Conflicts:     386000 | #Constraints:     105393
410.52/411.50	c #Conflicts:     387000 | #Constraints:     106393
410.52/411.50	c #Conflicts:     388000 | #Constraints:     107393
410.52/411.50	c #Conflicts:     389000 | #Constraints:     108393
410.52/411.50	c #Conflicts:     390000 | #Constraints:     109393
410.52/411.50	c #Conflicts:     391000 | #Constraints:     110393
410.52/411.50	c #Conflicts:     392000 | #Constraints:     111393
410.52/411.50	c #Conflicts:     393000 | #Constraints:     112393
410.52/411.50	c #Conflicts:     394000 | #Constraints:     113393
410.52/411.50	c #Conflicts:     395000 | #Constraints:     114393
410.52/411.50	c #Conflicts:     396000 | #Constraints:     115393
410.52/411.50	c #Conflicts:     397000 | #Constraints:     116393
410.52/411.50	c #Conflicts:     398000 | #Constraints:     117393
410.52/411.50	c #Conflicts:     399000 | #Constraints:     118393
410.52/411.50	c #Conflicts:     400000 | #Constraints:     119393
410.52/411.50	c #Conflicts:     401000 | #Constraints:     120393
410.52/411.50	c #Conflicts:     402000 | #Constraints:     121393
410.52/411.50	c #Conflicts:     403000 | #Constraints:     122393
410.52/411.50	c #Conflicts:     404000 | #Constraints:     123393
410.52/411.50	c #Conflicts:     405000 | #Constraints:     124393
410.52/411.50	c #Conflicts:     406000 | #Constraints:     125393
410.52/411.50	c #Conflicts:     407000 | #Constraints:     126393
410.52/411.50	c #Conflicts:     408000 | #Constraints:     127393
410.52/411.50	c #Conflicts:     409000 | #Constraints:     128393
410.52/411.50	c #Conflicts:     410000 | #Constraints:     129393
410.52/411.50	c #Conflicts:     411000 | #Constraints:     130393
410.52/411.50	c #Conflicts:     412000 | #Constraints:     131393
410.52/411.50	c #Conflicts:     413000 | #Constraints:     132393
410.52/411.50	c #Conflicts:     414000 | #Constraints:     133393
410.52/411.50	c #Conflicts:     415000 | #Constraints:     134393
410.52/411.50	c #Conflicts:     416000 | #Constraints:     135393
410.52/411.50	c #Conflicts:     417000 | #Constraints:     136393
410.52/411.50	c #Conflicts:     418000 | #Constraints:     137393
410.52/411.50	c #Conflicts:     419000 | #Constraints:     138393
410.52/411.50	c #Conflicts:     420000 | #Constraints:     139393
410.52/411.50	c #Conflicts:     421000 | #Constraints:     140393
410.52/411.50	c #Conflicts:     422000 | #Constraints:     141393
410.52/411.50	c #Conflicts:     423000 | #Constraints:     142393
410.52/411.50	c #Conflicts:     424000 | #Constraints:     143393
410.52/411.50	c INPROCESSING
410.52/411.50	c GARBAGE COLLECT
410.52/411.50	c #Conflicts:     425000 | #Constraints:     113098
410.52/411.50	c #Conflicts:     426000 | #Constraints:     114098
410.52/411.50	c #Conflicts:     427000 | #Constraints:     115098
410.52/411.50	c #Conflicts:     428000 | #Constraints:     116098
410.52/411.50	c #Conflicts:     429000 | #Constraints:     117098
410.52/411.50	c #Conflicts:     430000 | #Constraints:     118098
410.52/411.50	c #Conflicts:     431000 | #Constraints:     119098
410.52/411.50	c #Conflicts:     432000 | #Constraints:     120098
410.52/411.50	c #Conflicts:     433000 | #Constraints:     121098
410.52/411.50	c #Conflicts:     434000 | #Constraints:     122098
410.52/411.50	c #Conflicts:     435000 | #Constraints:     123098
410.52/411.50	c #Conflicts:     436000 | #Constraints:     124098
410.52/411.50	c #Conflicts:     437000 | #Constraints:     125098
410.52/411.50	c #Conflicts:     438000 | #Constraints:     126098
410.52/411.50	c #Conflicts:     439000 | #Constraints:     127098
410.52/411.50	c #Conflicts:     440000 | #Constraints:     128098
410.52/411.50	c INPROCESSING
410.52/411.50	c GARBAGE COLLECT
410.52/411.50	c #Conflicts:     441000 | #Constraints:     105695
410.52/411.50	c #Conflicts:     442000 | #Constraints:     106695
410.52/411.50	c #Conflicts:     443000 | #Constraints:     107695
528.64/529.95	c #Conflicts:     444000 | #Constraints:     108695
528.64/529.95	c #Conflicts:     445000 | #Constraints:     109695
528.64/529.95	c #Conflicts:     446000 | #Constraints:     110695
528.64/529.95	c #Conflicts:     447000 | #Constraints:     111695
528.64/529.95	c #Conflicts:     448000 | #Constraints:     112695
528.64/529.95	c #Conflicts:     449000 | #Constraints:     113695
528.64/529.95	c #Conflicts:     450000 | #Constraints:     114695
528.64/529.95	c #Conflicts:     451000 | #Constraints:     115695
528.64/529.95	c #Conflicts:     452000 | #Constraints:     116695
528.64/529.95	c #Conflicts:     453000 | #Constraints:     117695
528.64/529.95	c #Conflicts:     454000 | #Constraints:     118695
528.64/529.95	c #Conflicts:     455000 | #Constraints:     119695
528.64/529.95	c #Conflicts:     456000 | #Constraints:     120695
528.64/529.95	c INPROCESSING
528.64/529.95	c GARBAGE COLLECT
528.64/529.95	c #Conflicts:     457000 | #Constraints:     102151
528.64/529.95	c #Conflicts:     458000 | #Constraints:     103151
528.64/529.95	c #Conflicts:     459000 | #Constraints:     104151
528.64/529.95	c #Conflicts:     460000 | #Constraints:     105151
528.64/529.95	c #Conflicts:     461000 | #Constraints:     106151
528.64/529.95	c #Conflicts:     462000 | #Constraints:     107151
528.64/529.95	c #Conflicts:     463000 | #Constraints:     108151
528.64/529.95	c #Conflicts:     464000 | #Constraints:     109151
528.64/529.95	c #Conflicts:     465000 | #Constraints:     110151
528.64/529.95	c #Conflicts:     466000 | #Constraints:     111151
528.64/529.95	c #Conflicts:     467000 | #Constraints:     112151
528.64/529.95	c #Conflicts:     468000 | #Constraints:     113151
528.64/529.95	c #Conflicts:     469000 | #Constraints:     114151
528.64/529.95	c #Conflicts:     470000 | #Constraints:     115151
528.64/529.95	c #Conflicts:     471000 | #Constraints:     116151
528.64/529.95	c INPROCESSING
528.64/529.95	c GARBAGE COLLECT
528.64/529.95	c #Conflicts:     472000 | #Constraints:      99437
528.64/529.95	c #Conflicts:     473000 | #Constraints:     100437
528.64/529.95	c #Conflicts:     474000 | #Constraints:     101437
528.64/529.95	c #Conflicts:     475000 | #Constraints:     102437
528.64/529.95	c #Conflicts:     476000 | #Constraints:     103437
528.64/529.95	c #Conflicts:     477000 | #Constraints:     104437
528.64/529.95	c #Conflicts:     478000 | #Constraints:     105437
528.64/529.95	c #Conflicts:     479000 | #Constraints:     106437
528.64/529.95	c #Conflicts:     480000 | #Constraints:     107437
528.64/529.95	c #Conflicts:     481000 | #Constraints:     108437
528.64/529.96	c #Conflicts:     482000 | #Constraints:     109437
528.64/529.96	c #Conflicts:     483000 | #Constraints:     110437
528.64/529.96	c #Conflicts:     484000 | #Constraints:     111437
528.64/529.96	c #Conflicts:     485000 | #Constraints:     112437
528.64/529.96	c #Conflicts:     486000 | #Constraints:     113437
528.64/529.96	c #Conflicts:     487000 | #Constraints:     114437
528.64/529.96	c #Conflicts:     488000 | #Constraints:     115437
528.64/529.96	c #Conflicts:     489000 | #Constraints:     116437
528.64/529.96	c #Conflicts:     490000 | #Constraints:     117437
528.64/529.96	c #Conflicts:     491000 | #Constraints:     118437
528.64/529.96	c #Conflicts:     492000 | #Constraints:     119437
528.64/529.96	c #Conflicts:     493000 | #Constraints:     120437
528.64/529.96	c #Conflicts:     494000 | #Constraints:     121437
528.64/529.96	c #Conflicts:     495000 | #Constraints:     122437
528.64/529.96	c #Conflicts:     496000 | #Constraints:     123437
528.64/529.96	c #Conflicts:     497000 | #Constraints:     124437
528.64/529.96	c #Conflicts:     498000 | #Constraints:     125437
528.64/529.96	c #Conflicts:     499000 | #Constraints:     126437
528.64/529.96	c #Conflicts:     500000 | #Constraints:     127437
528.64/529.96	c #Conflicts:     501000 | #Constraints:     128437
528.64/529.96	c #Conflicts:     502000 | #Constraints:     129437
528.64/529.96	c #Conflicts:     503000 | #Constraints:     130437
528.64/529.96	c #Conflicts:     504000 | #Constraints:     131437
528.64/529.96	c #Conflicts:     505000 | #Constraints:     132437
528.64/529.96	c #Conflicts:     506000 | #Constraints:     133437
528.64/529.96	c #Conflicts:     507000 | #Constraints:     134437
528.64/529.96	c #Conflicts:     508000 | #Constraints:     135437
528.64/529.96	c #Conflicts:     509000 | #Constraints:     136437
528.64/529.96	c #Conflicts:     510000 | #Constraints:     137437
528.64/529.96	c #Conflicts:     511000 | #Constraints:     138437
528.64/529.96	c #Conflicts:     512000 | #Constraints:     139437
528.64/529.96	c #Conflicts:     513000 | #Constraints:     140437
528.64/529.96	c #Conflicts:     514000 | #Constraints:     141437
528.64/529.96	c #Conflicts:     515000 | #Constraints:     142437
528.64/529.96	c #Conflicts:     516000 | #Constraints:     143437
528.64/529.96	c #Conflicts:     517000 | #Constraints:     144437
528.64/529.96	c #Conflicts:     518000 | #Constraints:     145437
528.64/529.96	c #Conflicts:     519000 | #Constraints:     146437
528.64/529.96	c #Conflicts:     520000 | #Constraints:     147437
528.64/529.96	c #Conflicts:     521000 | #Constraints:     148437
657.33/659.00	c #Conflicts:     522000 | #Constraints:     149437
657.33/659.00	c #Conflicts:     523000 | #Constraints:     150437
657.33/659.00	c #Conflicts:     524000 | #Constraints:     151437
657.33/659.00	c INPROCESSING
657.33/659.00	c GARBAGE COLLECT
657.33/659.00	c #Conflicts:     525000 | #Constraints:     117526
657.33/659.00	c #Conflicts:     526000 | #Constraints:     118526
657.33/659.00	c #Conflicts:     527000 | #Constraints:     119526
657.33/659.00	c #Conflicts:     528000 | #Constraints:     120526
657.33/659.00	c #Conflicts:     529000 | #Constraints:     121526
657.33/659.00	c #Conflicts:     530000 | #Constraints:     122526
657.33/659.00	c #Conflicts:     531000 | #Constraints:     123526
657.33/659.00	c #Conflicts:     532000 | #Constraints:     124526
657.33/659.00	c #Conflicts:     533000 | #Constraints:     125526
657.33/659.00	c #Conflicts:     534000 | #Constraints:     126526
657.33/659.00	c #Conflicts:     535000 | #Constraints:     127526
657.33/659.00	c #Conflicts:     536000 | #Constraints:     128526
657.33/659.00	c #Conflicts:     537000 | #Constraints:     129526
657.33/659.00	c #Conflicts:     538000 | #Constraints:     130526
657.33/659.00	c #Conflicts:     539000 | #Constraints:     131526
657.33/659.00	c #Conflicts:     540000 | #Constraints:     132526
657.33/659.00	c #Conflicts:     541000 | #Constraints:     133526
657.33/659.00	c INPROCESSING
657.33/659.00	c GARBAGE COLLECT
657.33/659.00	c #Conflicts:     542000 | #Constraints:     108467
657.33/659.00	c #Conflicts:     543000 | #Constraints:     109467
657.33/659.00	c #Conflicts:     544000 | #Constraints:     110467
657.33/659.00	c #Conflicts:     545000 | #Constraints:     111467
657.33/659.00	c #Conflicts:     546000 | #Constraints:     112467
657.33/659.00	c #Conflicts:     547000 | #Constraints:     113467
657.33/659.00	c #Conflicts:     548000 | #Constraints:     114467
657.33/659.00	c #Conflicts:     549000 | #Constraints:     115467
657.33/659.00	c #Conflicts:     550000 | #Constraints:     116467
657.33/659.00	c #Conflicts:     551000 | #Constraints:     117467
657.33/659.00	c #Conflicts:     552000 | #Constraints:     118467
657.33/659.00	c #Conflicts:     553000 | #Constraints:     119467
657.33/659.00	c #Conflicts:     554000 | #Constraints:     120467
657.33/659.00	c #Conflicts:     555000 | #Constraints:     121467
657.33/659.00	c #Conflicts:     556000 | #Constraints:     122467
657.33/659.00	c #Conflicts:     557000 | #Constraints:     123467
657.33/659.00	c #Conflicts:     558000 | #Constraints:     124467
657.33/659.00	c INPROCESSING
657.33/659.00	c GARBAGE COLLECT
657.33/659.00	c #Conflicts:     559000 | #Constraints:     103748
657.33/659.00	c #Conflicts:     560000 | #Constraints:     104748
657.33/659.00	c #Conflicts:     561000 | #Constraints:     105748
657.33/659.00	c #Conflicts:     562000 | #Constraints:     106748
657.33/659.00	c #Conflicts:     563000 | #Constraints:     107748
657.33/659.00	c #Conflicts:     564000 | #Constraints:     108748
657.33/659.00	c #Conflicts:     565000 | #Constraints:     109748
657.33/659.00	c #Conflicts:     566000 | #Constraints:     110748
657.33/659.00	c #Conflicts:     567000 | #Constraints:     111748
657.33/659.00	c #Conflicts:     568000 | #Constraints:     112748
657.33/659.00	c #Conflicts:     569000 | #Constraints:     113748
657.33/659.00	c #Conflicts:     570000 | #Constraints:     114748
657.33/659.00	c #Conflicts:     571000 | #Constraints:     115748
657.33/659.00	c #Conflicts:     572000 | #Constraints:     116748
657.33/659.00	c #Conflicts:     573000 | #Constraints:     117748
657.33/659.00	c #Conflicts:     574000 | #Constraints:     118748
657.33/659.00	c #Conflicts:     575000 | #Constraints:     119748
657.33/659.00	c #Conflicts:     576000 | #Constraints:     120748
657.33/659.00	c INPROCESSING
657.33/659.00	c GARBAGE COLLECT
657.33/659.00	c #Conflicts:     577000 | #Constraints:     102069
657.33/659.00	c #Conflicts:     578000 | #Constraints:     103069
657.33/659.00	c #Conflicts:     579000 | #Constraints:     104069
657.33/659.00	c #Conflicts:     580000 | #Constraints:     105069
657.33/659.00	c #Conflicts:     581000 | #Constraints:     106069
657.33/659.00	c #Conflicts:     582000 | #Constraints:     107069
657.33/659.00	c #Conflicts:     583000 | #Constraints:     108069
657.33/659.00	c #Conflicts:     584000 | #Constraints:     109069
657.33/659.00	c #Conflicts:     585000 | #Constraints:     110069
657.33/659.00	c #Conflicts:     586000 | #Constraints:     111069
657.33/659.00	c #Conflicts:     587000 | #Constraints:     112069
657.33/659.00	c #Conflicts:     588000 | #Constraints:     113069
657.33/659.00	c #Conflicts:     589000 | #Constraints:     114069
657.33/659.00	c #Conflicts:     590000 | #Constraints:     115069
657.33/659.00	c #Conflicts:     591000 | #Constraints:     116069
657.33/659.00	c #Conflicts:     592000 | #Constraints:     117069
657.33/659.00	c #Conflicts:     593000 | #Constraints:     118069
657.33/659.00	c #Conflicts:     594000 | #Constraints:     119069
657.33/659.00	c #Conflicts:     595000 | #Constraints:     120069
657.33/659.00	c #Conflicts:     596000 | #Constraints:     121069
657.33/659.00	c #Conflicts:     597000 | #Constraints:     122069
834.38/836.45	c #Conflicts:     598000 | #Constraints:     123069
834.38/836.45	c #Conflicts:     599000 | #Constraints:     124069
834.38/836.45	c #Conflicts:     600000 | #Constraints:     125069
834.38/836.45	c #Conflicts:     601000 | #Constraints:     126069
834.38/836.45	c #Conflicts:     602000 | #Constraints:     127069
834.38/836.45	c #Conflicts:     603000 | #Constraints:     128069
834.38/836.45	c #Conflicts:     604000 | #Constraints:     129069
834.38/836.45	c #Conflicts:     605000 | #Constraints:     130069
834.38/836.45	c #Conflicts:     606000 | #Constraints:     131069
834.38/836.45	c #Conflicts:     607000 | #Constraints:     132069
834.38/836.45	c #Conflicts:     608000 | #Constraints:     133069
834.38/836.45	c #Conflicts:     609000 | #Constraints:     134069
834.38/836.45	c #Conflicts:     610000 | #Constraints:     135069
834.38/836.45	c #Conflicts:     611000 | #Constraints:     136069
834.38/836.45	c #Conflicts:     612000 | #Constraints:     137069
834.38/836.45	c #Conflicts:     613000 | #Constraints:     138069
834.38/836.45	c #Conflicts:     614000 | #Constraints:     139069
834.38/836.45	c #Conflicts:     615000 | #Constraints:     140069
834.38/836.45	c #Conflicts:     616000 | #Constraints:     141069
834.38/836.45	c #Conflicts:     617000 | #Constraints:     142069
834.38/836.45	c #Conflicts:     618000 | #Constraints:     143069
834.38/836.45	c #Conflicts:     619000 | #Constraints:     144069
834.38/836.45	c #Conflicts:     620000 | #Constraints:     145069
834.38/836.45	c #Conflicts:     621000 | #Constraints:     146069
834.38/836.45	c #Conflicts:     622000 | #Constraints:     147069
834.38/836.45	c #Conflicts:     623000 | #Constraints:     148069
834.38/836.45	c #Conflicts:     624000 | #Constraints:     149069
834.38/836.45	c #Conflicts:     625000 | #Constraints:     150069
834.38/836.45	c #Conflicts:     626000 | #Constraints:     151069
834.38/836.45	c #Conflicts:     627000 | #Constraints:     152069
834.38/836.45	c #Conflicts:     628000 | #Constraints:     153069
834.38/836.45	c #Conflicts:     629000 | #Constraints:     154069
834.38/836.45	c #Conflicts:     630000 | #Constraints:     155069
834.38/836.45	c #Conflicts:     631000 | #Constraints:     156069
834.38/836.45	c #Conflicts:     632000 | #Constraints:     157069
834.38/836.45	c #Conflicts:     633000 | #Constraints:     158069
834.38/836.45	c INPROCESSING
834.38/836.45	c GARBAGE COLLECT
834.38/836.45	c #Conflicts:     634000 | #Constraints:     120535
834.38/836.45	c #Conflicts:     635000 | #Constraints:     121535
834.38/836.45	c #Conflicts:     636000 | #Constraints:     122535
834.38/836.45	c #Conflicts:     637000 | #Constraints:     123535
834.38/836.45	c #Conflicts:     638000 | #Constraints:     124535
834.38/836.45	c #Conflicts:     639000 | #Constraints:     125535
834.38/836.45	c #Conflicts:     640000 | #Constraints:     126535
834.38/836.45	c #Conflicts:     641000 | #Constraints:     127535
834.38/836.45	c #Conflicts:     642000 | #Constraints:     128535
834.38/836.45	c #Conflicts:     643000 | #Constraints:     129535
834.38/836.45	c #Conflicts:     644000 | #Constraints:     130535
834.38/836.45	c #Conflicts:     645000 | #Constraints:     131535
834.38/836.45	c #Conflicts:     646000 | #Constraints:     132535
834.38/836.45	c #Conflicts:     647000 | #Constraints:     133535
834.38/836.45	c #Conflicts:     648000 | #Constraints:     134535
834.38/836.45	c #Conflicts:     649000 | #Constraints:     135535
834.38/836.45	c #Conflicts:     650000 | #Constraints:     136535
834.38/836.45	c #Conflicts:     651000 | #Constraints:     137535
834.38/836.45	c #Conflicts:     652000 | #Constraints:     138535
834.38/836.45	c INPROCESSING
834.38/836.45	c GARBAGE COLLECT
834.38/836.45	c #Conflicts:     653000 | #Constraints:     110821
834.38/836.45	c #Conflicts:     654000 | #Constraints:     111821
834.38/836.45	c #Conflicts:     655000 | #Constraints:     112821
834.38/836.45	c #Conflicts:     656000 | #Constraints:     113821
834.38/836.45	c #Conflicts:     657000 | #Constraints:     114821
834.38/836.45	c #Conflicts:     658000 | #Constraints:     115821
834.38/836.45	c #Conflicts:     659000 | #Constraints:     116821
834.38/836.45	c #Conflicts:     660000 | #Constraints:     117821
834.38/836.45	c #Conflicts:     661000 | #Constraints:     118821
834.38/836.45	c #Conflicts:     662000 | #Constraints:     119821
834.38/836.45	c #Conflicts:     663000 | #Constraints:     120821
834.38/836.45	c #Conflicts:     664000 | #Constraints:     121821
834.38/836.45	c #Conflicts:     665000 | #Constraints:     122821
834.38/836.45	c #Conflicts:     666000 | #Constraints:     123821
834.38/836.45	c #Conflicts:     667000 | #Constraints:     124821
834.38/836.45	c #Conflicts:     668000 | #Constraints:     125821
834.38/836.45	c #Conflicts:     669000 | #Constraints:     126821
834.38/836.45	c #Conflicts:     670000 | #Constraints:     127821
834.38/836.45	c #Conflicts:     671000 | #Constraints:     128821
834.38/836.45	c INPROCESSING
834.38/836.45	c GARBAGE COLLECT
834.38/836.45	c #Conflicts:     672000 | #Constraints:     105919
834.38/836.45	c #Conflicts:     673000 | #Constraints:     106919
834.38/836.45	c #Conflicts:     674000 | #Constraints:     107919
998.79/1001.29	c #Conflicts:     675000 | #Constraints:     108919
998.79/1001.29	c #Conflicts:     676000 | #Constraints:     109919
998.79/1001.29	c #Conflicts:     677000 | #Constraints:     110919
998.79/1001.29	c #Conflicts:     678000 | #Constraints:     111919
998.79/1001.29	c #Conflicts:     679000 | #Constraints:     112919
998.79/1001.29	c #Conflicts:     680000 | #Constraints:     113919
998.79/1001.29	c #Conflicts:     681000 | #Constraints:     114919
998.79/1001.29	c #Conflicts:     682000 | #Constraints:     115919
998.79/1001.29	c #Conflicts:     683000 | #Constraints:     116919
998.79/1001.29	c #Conflicts:     684000 | #Constraints:     117919
998.79/1001.29	c #Conflicts:     685000 | #Constraints:     118919
998.79/1001.29	c #Conflicts:     686000 | #Constraints:     119919
998.79/1001.29	c #Conflicts:     687000 | #Constraints:     120919
998.79/1001.29	c #Conflicts:     688000 | #Constraints:     121919
998.79/1001.29	c #Conflicts:     689000 | #Constraints:     122919
998.79/1001.29	c #Conflicts:     690000 | #Constraints:     123919
998.79/1001.29	c INPROCESSING
998.79/1001.29	c GARBAGE COLLECT
998.79/1001.29	c #Conflicts:     691000 | #Constraints:     103332
998.79/1001.29	c #Conflicts:     692000 | #Constraints:     104332
998.79/1001.29	c #Conflicts:     693000 | #Constraints:     105332
998.79/1001.29	c #Conflicts:     694000 | #Constraints:     106332
998.79/1001.29	c #Conflicts:     695000 | #Constraints:     107332
998.79/1001.29	c #Conflicts:     696000 | #Constraints:     108332
998.79/1001.29	c #Conflicts:     697000 | #Constraints:     109332
998.79/1001.29	c #Conflicts:     698000 | #Constraints:     110332
998.79/1001.29	c #Conflicts:     699000 | #Constraints:     111332
998.79/1001.29	c #Conflicts:     700000 | #Constraints:     112332
998.79/1001.29	c #Conflicts:     701000 | #Constraints:     113332
998.79/1001.29	c #Conflicts:     702000 | #Constraints:     114332
998.79/1001.29	c #Conflicts:     703000 | #Constraints:     115332
998.79/1001.29	c #Conflicts:     704000 | #Constraints:     116332
998.79/1001.29	c #Conflicts:     705000 | #Constraints:     117332
998.79/1001.29	c #Conflicts:     706000 | #Constraints:     118332
998.79/1001.29	c #Conflicts:     707000 | #Constraints:     119332
998.79/1001.29	c #Conflicts:     708000 | #Constraints:     120332
998.79/1001.29	c #Conflicts:     709000 | #Constraints:     121332
998.79/1001.29	c #Conflicts:     710000 | #Constraints:     122332
998.79/1001.29	c #Conflicts:     711000 | #Constraints:     123332
998.79/1001.29	c #Conflicts:     712000 | #Constraints:     124332
998.79/1001.29	c #Conflicts:     713000 | #Constraints:     125332
998.79/1001.29	c #Conflicts:     714000 | #Constraints:     126332
998.79/1001.29	c #Conflicts:     715000 | #Constraints:     127332
998.79/1001.29	c #Conflicts:     716000 | #Constraints:     128332
998.79/1001.29	c #Conflicts:     717000 | #Constraints:     129332
998.79/1001.29	c #Conflicts:     718000 | #Constraints:     130332
998.79/1001.29	c #Conflicts:     719000 | #Constraints:     131332
998.79/1001.29	c #Conflicts:     720000 | #Constraints:     132332
998.79/1001.29	c #Conflicts:     721000 | #Constraints:     133332
998.79/1001.29	c #Conflicts:     722000 | #Constraints:     134332
998.79/1001.29	c #Conflicts:     723000 | #Constraints:     135332
998.79/1001.29	c #Conflicts:     724000 | #Constraints:     136332
998.79/1001.29	c #Conflicts:     725000 | #Constraints:     137332
998.79/1001.29	c #Conflicts:     726000 | #Constraints:     138332
998.79/1001.29	c #Conflicts:     727000 | #Constraints:     139332
998.79/1001.29	c #Conflicts:     728000 | #Constraints:     140332
998.79/1001.29	c #Conflicts:     729000 | #Constraints:     141332
998.79/1001.29	c #Conflicts:     730000 | #Constraints:     142332
998.79/1001.29	c #Conflicts:     731000 | #Constraints:     143332
998.79/1001.29	c #Conflicts:     732000 | #Constraints:     144332
998.79/1001.29	c #Conflicts:     733000 | #Constraints:     145332
998.79/1001.29	c #Conflicts:     734000 | #Constraints:     146332
998.79/1001.29	c #Conflicts:     735000 | #Constraints:     147332
998.79/1001.29	c #Conflicts:     736000 | #Constraints:     148332
998.79/1001.29	c #Conflicts:     737000 | #Constraints:     149332
998.79/1001.29	c #Conflicts:     738000 | #Constraints:     150332
998.79/1001.29	c #Conflicts:     739000 | #Constraints:     151332
998.79/1001.29	c #Conflicts:     740000 | #Constraints:     152332
998.79/1001.29	c #Conflicts:     741000 | #Constraints:     153332
998.79/1001.29	c #Conflicts:     742000 | #Constraints:     154332
998.79/1001.29	c #Conflicts:     743000 | #Constraints:     155332
998.79/1001.29	c #Conflicts:     744000 | #Constraints:     156332
998.79/1001.29	c #Conflicts:     745000 | #Constraints:     157332
998.79/1001.29	c #Conflicts:     746000 | #Constraints:     158332
998.79/1001.29	c bounds -36 >= -178 @ 991.762
998.79/1001.29	c #Conflicts:     747000 | #Constraints:     159384
998.79/1001.29	c #Conflicts:     748000 | #Constraints:     160384
998.79/1001.29	c #Conflicts:     749000 | #Constraints:     161384
998.79/1001.29	c #Conflicts:     750000 | #Constraints:     162384
998.79/1001.29	c #Conflicts:     751000 | #Constraints:     163384
1087.77/1090.40	c #Conflicts:     752000 | #Constraints:     164384
1087.77/1090.40	c #Conflicts:     753000 | #Constraints:     165384
1087.77/1090.40	c INPROCESSING
1087.77/1090.40	c GARBAGE COLLECT
1087.77/1090.40	c #Conflicts:     754000 | #Constraints:     124197
1087.77/1090.40	c #Conflicts:     755000 | #Constraints:     125197
1087.77/1090.40	c #Conflicts:     756000 | #Constraints:     126197
1087.77/1090.40	c #Conflicts:     757000 | #Constraints:     127197
1087.77/1090.40	c #Conflicts:     758000 | #Constraints:     128197
1087.77/1090.40	c #Conflicts:     759000 | #Constraints:     129197
1087.77/1090.40	c #Conflicts:     760000 | #Constraints:     130197
1087.77/1090.40	c #Conflicts:     761000 | #Constraints:     131197
1087.77/1090.40	c #Conflicts:     762000 | #Constraints:     132197
1087.77/1090.40	c #Conflicts:     763000 | #Constraints:     133197
1087.77/1090.40	c #Conflicts:     764000 | #Constraints:     134197
1087.77/1090.40	c #Conflicts:     765000 | #Constraints:     135197
1087.77/1090.40	c #Conflicts:     766000 | #Constraints:     136197
1087.77/1090.40	c #Conflicts:     767000 | #Constraints:     137197
1087.77/1090.40	c #Conflicts:     768000 | #Constraints:     138197
1087.77/1090.40	c #Conflicts:     769000 | #Constraints:     139197
1087.77/1090.40	c #Conflicts:     770000 | #Constraints:     140197
1087.77/1090.40	c #Conflicts:     771000 | #Constraints:     141197
1087.77/1090.40	c #Conflicts:     772000 | #Constraints:     142197
1087.77/1090.40	c #Conflicts:     773000 | #Constraints:     143197
1087.77/1090.40	c #Conflicts:     774000 | #Constraints:     144197
1087.77/1090.40	c INPROCESSING
1087.77/1090.40	c GARBAGE COLLECT
1087.77/1090.40	c #Conflicts:     775000 | #Constraints:     113842
1087.77/1090.40	c #Conflicts:     776000 | #Constraints:     114842
1087.77/1090.40	c #Conflicts:     777000 | #Constraints:     115842
1087.77/1090.40	c #Conflicts:     778000 | #Constraints:     116842
1087.77/1090.40	c #Conflicts:     779000 | #Constraints:     117842
1087.77/1090.40	c #Conflicts:     780000 | #Constraints:     118842
1087.77/1090.40	c #Conflicts:     781000 | #Constraints:     119842
1087.77/1090.40	c #Conflicts:     782000 | #Constraints:     120842
1087.77/1090.40	c #Conflicts:     783000 | #Constraints:     121842
1087.77/1090.40	c #Conflicts:     784000 | #Constraints:     122842
1087.77/1090.40	c #Conflicts:     785000 | #Constraints:     123842
1087.77/1090.40	c #Conflicts:     786000 | #Constraints:     124842
1087.77/1090.40	c #Conflicts:     787000 | #Constraints:     125842
1087.77/1090.40	c #Conflicts:     788000 | #Constraints:     126842
1087.77/1090.40	c #Conflicts:     789000 | #Constraints:     127842
1087.77/1090.40	c #Conflicts:     790000 | #Constraints:     128842
1087.77/1090.40	c #Conflicts:     791000 | #Constraints:     129842
1087.77/1090.40	c #Conflicts:     792000 | #Constraints:     130842
1087.77/1090.40	c #Conflicts:     793000 | #Constraints:     131842
1087.77/1090.40	c #Conflicts:     794000 | #Constraints:     132842
1087.77/1090.40	c #Conflicts:     795000 | #Constraints:     133842
1087.77/1090.40	c INPROCESSING
1087.77/1090.40	c GARBAGE COLLECT
1087.77/1090.40	c #Conflicts:     796000 | #Constraints:     108766
1087.77/1090.40	c #Conflicts:     797000 | #Constraints:     109766
1087.77/1090.40	c #Conflicts:     798000 | #Constraints:     110766
1087.77/1090.40	c #Conflicts:     799000 | #Constraints:     111766
1087.77/1090.40	c #Conflicts:     800000 | #Constraints:     112766
1087.77/1090.40	c #Conflicts:     801000 | #Constraints:     113766
1087.77/1090.40	c #Conflicts:     802000 | #Constraints:     114766
1087.77/1090.40	c #Conflicts:     803000 | #Constraints:     115766
1087.77/1090.40	c #Conflicts:     804000 | #Constraints:     116766
1087.77/1090.40	c #Conflicts:     805000 | #Constraints:     117766
1087.77/1090.40	c #Conflicts:     806000 | #Constraints:     118766
1087.77/1090.40	c #Conflicts:     807000 | #Constraints:     119766
1087.77/1090.40	c #Conflicts:     808000 | #Constraints:     120766
1087.77/1090.40	c #Conflicts:     809000 | #Constraints:     121766
1087.77/1090.40	c #Conflicts:     810000 | #Constraints:     122766
1087.77/1090.40	c #Conflicts:     811000 | #Constraints:     123766
1087.77/1090.40	c #Conflicts:     812000 | #Constraints:     124766
1087.77/1090.40	c #Conflicts:     813000 | #Constraints:     125766
1087.77/1090.40	c #Conflicts:     814000 | #Constraints:     126766
1087.77/1090.40	c #Conflicts:     815000 | #Constraints:     127766
1087.77/1090.40	c #Conflicts:     816000 | #Constraints:     128766
1087.77/1090.40	c INPROCESSING
1087.77/1090.40	c GARBAGE COLLECT
1087.77/1090.40	c #Conflicts:     817000 | #Constraints:     106211
1087.77/1090.40	c #Conflicts:     818000 | #Constraints:     107211
1087.77/1090.40	c #Conflicts:     819000 | #Constraints:     108211
1087.77/1090.40	c #Conflicts:     820000 | #Constraints:     109211
1087.77/1090.40	c #Conflicts:     821000 | #Constraints:     110211
1087.77/1090.40	c #Conflicts:     822000 | #Constraints:     111211
1087.77/1090.40	c #Conflicts:     823000 | #Constraints:     112211
1087.77/1090.40	c #Conflicts:     824000 | #Constraints:     113211
1087.77/1090.40	c #Conflicts:     825000 | #Constraints:     114211
1087.77/1090.40	c #Conflicts:     826000 | #Constraints:     115211
1087.77/1090.40	c #Conflicts:     827000 | #Constraints:     116211
1087.77/1090.40	c #Conflicts:     828000 | #Constraints:     117211
1291.38/1294.59	c #Conflicts:     829000 | #Constraints:     118211
1291.38/1294.59	c #Conflicts:     830000 | #Constraints:     119211
1291.38/1294.59	c #Conflicts:     831000 | #Constraints:     120211
1291.38/1294.59	c #Conflicts:     832000 | #Constraints:     121211
1291.38/1294.59	c #Conflicts:     833000 | #Constraints:     122211
1291.38/1294.59	c #Conflicts:     834000 | #Constraints:     123211
1291.38/1294.59	c #Conflicts:     835000 | #Constraints:     124211
1291.38/1294.59	c #Conflicts:     836000 | #Constraints:     125211
1291.38/1294.59	c #Conflicts:     837000 | #Constraints:     126211
1291.38/1294.59	c #Conflicts:     838000 | #Constraints:     127211
1291.38/1294.59	c #Conflicts:     839000 | #Constraints:     128211
1291.38/1294.59	c #Conflicts:     840000 | #Constraints:     129211
1291.38/1294.59	c #Conflicts:     841000 | #Constraints:     130211
1291.38/1294.59	c #Conflicts:     842000 | #Constraints:     131211
1291.38/1294.59	c #Conflicts:     843000 | #Constraints:     132211
1291.38/1294.59	c #Conflicts:     844000 | #Constraints:     133211
1291.38/1294.59	c #Conflicts:     845000 | #Constraints:     134211
1291.38/1294.59	c #Conflicts:     846000 | #Constraints:     135211
1291.38/1294.59	c #Conflicts:     847000 | #Constraints:     136211
1291.38/1294.59	c #Conflicts:     848000 | #Constraints:     137211
1291.38/1294.59	c #Conflicts:     849000 | #Constraints:     138211
1291.38/1294.59	c #Conflicts:     850000 | #Constraints:     139211
1291.38/1294.59	c #Conflicts:     851000 | #Constraints:     140211
1291.38/1294.59	c #Conflicts:     852000 | #Constraints:     141211
1291.38/1294.59	c #Conflicts:     853000 | #Constraints:     142211
1291.38/1294.59	c #Conflicts:     854000 | #Constraints:     143211
1291.38/1294.59	c #Conflicts:     855000 | #Constraints:     144211
1291.38/1294.59	c #Conflicts:     856000 | #Constraints:     145211
1291.38/1294.59	c #Conflicts:     857000 | #Constraints:     146211
1291.38/1294.59	c #Conflicts:     858000 | #Constraints:     147211
1291.38/1294.59	c #Conflicts:     859000 | #Constraints:     148211
1291.38/1294.59	c #Conflicts:     860000 | #Constraints:     149211
1291.38/1294.59	c #Conflicts:     861000 | #Constraints:     150211
1291.38/1294.59	c #Conflicts:     862000 | #Constraints:     151211
1291.38/1294.59	c #Conflicts:     863000 | #Constraints:     152211
1291.38/1294.59	c #Conflicts:     864000 | #Constraints:     153211
1291.38/1294.59	c #Conflicts:     865000 | #Constraints:     154211
1291.38/1294.59	c #Conflicts:     866000 | #Constraints:     155211
1291.38/1294.59	c #Conflicts:     867000 | #Constraints:     156211
1291.38/1294.59	c #Conflicts:     868000 | #Constraints:     157211
1291.38/1294.59	c #Conflicts:     869000 | #Constraints:     158211
1291.38/1294.59	c #Conflicts:     870000 | #Constraints:     159211
1291.38/1294.59	c #Conflicts:     871000 | #Constraints:     160211
1291.38/1294.59	c #Conflicts:     872000 | #Constraints:     161211
1291.38/1294.59	c #Conflicts:     873000 | #Constraints:     162211
1291.38/1294.59	c #Conflicts:     874000 | #Constraints:     163211
1291.38/1294.59	c #Conflicts:     875000 | #Constraints:     164211
1291.38/1294.59	c #Conflicts:     876000 | #Constraints:     165211
1291.38/1294.59	c #Conflicts:     877000 | #Constraints:     166211
1291.38/1294.59	c #Conflicts:     878000 | #Constraints:     167211
1291.38/1294.59	c #Conflicts:     879000 | #Constraints:     168211
1291.38/1294.59	c #Conflicts:     880000 | #Constraints:     169211
1291.38/1294.59	c #Conflicts:     881000 | #Constraints:     170211
1291.38/1294.59	c #Conflicts:     882000 | #Constraints:     171211
1291.38/1294.59	c #Conflicts:     883000 | #Constraints:     172211
1291.38/1294.59	c #Conflicts:     884000 | #Constraints:     173211
1291.38/1294.59	c INPROCESSING
1291.38/1294.59	c GARBAGE COLLECT
1291.38/1294.59	c #Conflicts:     885000 | #Constraints:     128460
1291.38/1294.59	c #Conflicts:     886000 | #Constraints:     129460
1291.38/1294.59	c #Conflicts:     887000 | #Constraints:     130460
1291.38/1294.59	c #Conflicts:     888000 | #Constraints:     131460
1291.38/1294.59	c #Conflicts:     889000 | #Constraints:     132460
1291.38/1294.59	c #Conflicts:     890000 | #Constraints:     133460
1291.38/1294.59	c #Conflicts:     891000 | #Constraints:     134460
1291.38/1294.59	c #Conflicts:     892000 | #Constraints:     135460
1291.38/1294.59	c #Conflicts:     893000 | #Constraints:     136460
1291.38/1294.59	c #Conflicts:     894000 | #Constraints:     137460
1291.38/1294.59	c #Conflicts:     895000 | #Constraints:     138460
1291.38/1294.59	c #Conflicts:     896000 | #Constraints:     139460
1291.38/1294.59	c #Conflicts:     897000 | #Constraints:     140460
1291.38/1294.59	c #Conflicts:     898000 | #Constraints:     141460
1291.38/1294.59	c #Conflicts:     899000 | #Constraints:     142460
1291.38/1294.59	c #Conflicts:     900000 | #Constraints:     143460
1291.38/1294.59	c #Conflicts:     901000 | #Constraints:     144460
1291.38/1294.59	c #Conflicts:     902000 | #Constraints:     145460
1291.38/1294.59	c #Conflicts:     903000 | #Constraints:     146460
1291.38/1294.59	c #Conflicts:     904000 | #Constraints:     147460
1291.38/1294.59	c #Conflicts:     905000 | #Constraints:     148460
1291.38/1294.59	c #Conflicts:     906000 | #Constraints:     149460
1400.81/1404.23	c INPROCESSING
1400.81/1404.23	c GARBAGE COLLECT
1400.81/1404.23	c #Conflicts:     907000 | #Constraints:     116439
1400.81/1404.23	c #Conflicts:     908000 | #Constraints:     117439
1400.81/1404.23	c #Conflicts:     909000 | #Constraints:     118439
1400.81/1404.23	c #Conflicts:     910000 | #Constraints:     119439
1400.81/1404.23	c #Conflicts:     911000 | #Constraints:     120439
1400.81/1404.23	c #Conflicts:     912000 | #Constraints:     121439
1400.81/1404.23	c #Conflicts:     913000 | #Constraints:     122439
1400.81/1404.23	c #Conflicts:     914000 | #Constraints:     123439
1400.81/1404.23	c #Conflicts:     915000 | #Constraints:     124439
1400.81/1404.23	c #Conflicts:     916000 | #Constraints:     125439
1400.81/1404.23	c #Conflicts:     917000 | #Constraints:     126439
1400.81/1404.23	c #Conflicts:     918000 | #Constraints:     127439
1400.81/1404.23	c #Conflicts:     919000 | #Constraints:     128439
1400.81/1404.23	c #Conflicts:     920000 | #Constraints:     129439
1400.81/1404.23	c #Conflicts:     921000 | #Constraints:     130439
1400.81/1404.23	c #Conflicts:     922000 | #Constraints:     131439
1400.81/1404.23	c #Conflicts:     923000 | #Constraints:     132439
1400.81/1404.23	c #Conflicts:     924000 | #Constraints:     133439
1400.81/1404.23	c #Conflicts:     925000 | #Constraints:     134439
1400.81/1404.23	c #Conflicts:     926000 | #Constraints:     135439
1400.81/1404.23	c #Conflicts:     927000 | #Constraints:     136439
1400.81/1404.23	c #Conflicts:     928000 | #Constraints:     137439
1400.81/1404.23	c INPROCESSING
1400.81/1404.23	c GARBAGE COLLECT
1400.81/1404.23	c #Conflicts:     929000 | #Constraints:     110147
1400.81/1404.23	c #Conflicts:     930000 | #Constraints:     111147
1400.81/1404.23	c #Conflicts:     931000 | #Constraints:     112147
1400.81/1404.23	c #Conflicts:     932000 | #Constraints:     113147
1400.81/1404.23	c #Conflicts:     933000 | #Constraints:     114147
1400.81/1404.23	c #Conflicts:     934000 | #Constraints:     115147
1400.81/1404.23	c #Conflicts:     935000 | #Constraints:     116147
1400.81/1404.23	c #Conflicts:     936000 | #Constraints:     117147
1400.81/1404.23	c #Conflicts:     937000 | #Constraints:     118147
1400.81/1404.23	c #Conflicts:     938000 | #Constraints:     119147
1400.81/1404.23	c #Conflicts:     939000 | #Constraints:     120147
1400.81/1404.23	c #Conflicts:     940000 | #Constraints:     121147
1400.81/1404.23	c #Conflicts:     941000 | #Constraints:     122147
1400.81/1404.23	c #Conflicts:     942000 | #Constraints:     123147
1400.81/1404.23	c #Conflicts:     943000 | #Constraints:     124147
1400.81/1404.23	c #Conflicts:     944000 | #Constraints:     125147
1400.81/1404.23	c #Conflicts:     945000 | #Constraints:     126147
1400.81/1404.23	c #Conflicts:     946000 | #Constraints:     127147
1400.81/1404.23	c #Conflicts:     947000 | #Constraints:     128147
1400.81/1404.23	c #Conflicts:     948000 | #Constraints:     129147
1400.81/1404.23	c #Conflicts:     949000 | #Constraints:     130147
1400.81/1404.23	c #Conflicts:     950000 | #Constraints:     131147
1400.81/1404.23	c #Conflicts:     951000 | #Constraints:     132147
1400.81/1404.23	c INPROCESSING
1400.81/1404.23	c GARBAGE COLLECT
1400.81/1404.23	c #Conflicts:     952000 | #Constraints:     107654
1400.81/1404.23	c #Conflicts:     953000 | #Constraints:     108654
1400.81/1404.23	c #Conflicts:     954000 | #Constraints:     109654
1400.81/1404.23	c #Conflicts:     955000 | #Constraints:     110654
1400.81/1404.23	c #Conflicts:     956000 | #Constraints:     111654
1400.81/1404.23	c #Conflicts:     957000 | #Constraints:     112654
1400.81/1404.23	c #Conflicts:     958000 | #Constraints:     113654
1400.81/1404.23	c #Conflicts:     959000 | #Constraints:     114654
1400.81/1404.23	c #Conflicts:     960000 | #Constraints:     115654
1400.81/1404.23	c #Conflicts:     961000 | #Constraints:     116654
1400.81/1404.23	c #Conflicts:     962000 | #Constraints:     117654
1400.81/1404.23	c #Conflicts:     963000 | #Constraints:     118654
1400.81/1404.23	c #Conflicts:     964000 | #Constraints:     119654
1400.81/1404.23	c #Conflicts:     965000 | #Constraints:     120654
1400.81/1404.23	c #Conflicts:     966000 | #Constraints:     121654
1400.81/1404.23	c #Conflicts:     967000 | #Constraints:     122654
1400.81/1404.23	c #Conflicts:     968000 | #Constraints:     123654
1400.81/1404.23	c #Conflicts:     969000 | #Constraints:     124654
1400.81/1404.23	c #Conflicts:     970000 | #Constraints:     125654
1400.81/1404.23	c #Conflicts:     971000 | #Constraints:     126654
1400.81/1404.23	c #Conflicts:     972000 | #Constraints:     127654
1400.81/1404.23	c #Conflicts:     973000 | #Constraints:     128654
1400.81/1404.23	c #Conflicts:     974000 | #Constraints:     129654
1400.81/1404.23	c #Conflicts:     975000 | #Constraints:     130654
1400.81/1404.23	c #Conflicts:     976000 | #Constraints:     131654
1400.81/1404.23	c #Conflicts:     977000 | #Constraints:     132654
1400.81/1404.23	c #Conflicts:     978000 | #Constraints:     133654
1400.81/1404.23	c #Conflicts:     979000 | #Constraints:     134654
1400.81/1404.23	c #Conflicts:     980000 | #Constraints:     135654
1400.81/1404.23	c #Conflicts:     981000 | #Constraints:     136654
1400.81/1404.23	c #Conflicts:     982000 | #Constraints:     137654
1400.81/1404.23	c #Conflicts:     983000 | #Constraints:     138654
1622.47/1626.45	c #Conflicts:     984000 | #Constraints:     139654
1622.47/1626.45	c #Conflicts:     985000 | #Constraints:     140654
1622.47/1626.45	c #Conflicts:     986000 | #Constraints:     141654
1622.47/1626.45	c #Conflicts:     987000 | #Constraints:     142654
1622.47/1626.45	c #Conflicts:     988000 | #Constraints:     143654
1622.47/1626.45	c #Conflicts:     989000 | #Constraints:     144654
1622.47/1626.45	c #Conflicts:     990000 | #Constraints:     145654
1622.47/1626.45	c #Conflicts:     991000 | #Constraints:     146654
1622.47/1626.45	c #Conflicts:     992000 | #Constraints:     147654
1622.47/1626.45	c #Conflicts:     993000 | #Constraints:     148654
1622.47/1626.45	c #Conflicts:     994000 | #Constraints:     149654
1622.47/1626.45	c #Conflicts:     995000 | #Constraints:     150654
1622.47/1626.45	c #Conflicts:     996000 | #Constraints:     151654
1622.47/1626.45	c #Conflicts:     997000 | #Constraints:     152654
1622.47/1626.45	c #Conflicts:     998000 | #Constraints:     153654
1622.47/1626.45	c #Conflicts:     999000 | #Constraints:     154654
1622.47/1626.45	c #Conflicts:    1000000 | #Constraints:     155654
1622.47/1626.45	c #Conflicts:    1001000 | #Constraints:     156654
1622.47/1626.45	c #Conflicts:    1002000 | #Constraints:     157654
1622.47/1626.45	c #Conflicts:    1003000 | #Constraints:     158654
1622.47/1626.45	c #Conflicts:    1004000 | #Constraints:     159654
1622.47/1626.45	c #Conflicts:    1005000 | #Constraints:     160654
1622.47/1626.45	c #Conflicts:    1006000 | #Constraints:     161654
1622.47/1626.45	c #Conflicts:    1007000 | #Constraints:     162654
1622.47/1626.45	c #Conflicts:    1008000 | #Constraints:     163654
1622.47/1626.45	c #Conflicts:    1009000 | #Constraints:     164654
1622.47/1626.45	c #Conflicts:    1010000 | #Constraints:     165654
1622.47/1626.45	c #Conflicts:    1011000 | #Constraints:     166654
1622.47/1626.45	c #Conflicts:    1012000 | #Constraints:     167654
1622.47/1626.45	c #Conflicts:    1013000 | #Constraints:     168654
1622.47/1626.45	c #Conflicts:    1014000 | #Constraints:     169654
1622.47/1626.45	c #Conflicts:    1015000 | #Constraints:     170654
1622.47/1626.45	c #Conflicts:    1016000 | #Constraints:     171654
1622.47/1626.45	c #Conflicts:    1017000 | #Constraints:     172654
1622.47/1626.45	c #Conflicts:    1018000 | #Constraints:     173654
1622.47/1626.45	c #Conflicts:    1019000 | #Constraints:     174654
1622.47/1626.45	c #Conflicts:    1020000 | #Constraints:     175654
1622.47/1626.45	c #Conflicts:    1021000 | #Constraints:     176654
1622.47/1626.45	c #Conflicts:    1022000 | #Constraints:     177654
1622.47/1626.45	c #Conflicts:    1023000 | #Constraints:     178654
1622.47/1626.45	c #Conflicts:    1024000 | #Constraints:     179654
1622.47/1626.45	c INPROCESSING
1622.47/1626.45	c GARBAGE COLLECT
1622.47/1626.45	c #Conflicts:    1025000 | #Constraints:     131299
1622.47/1626.45	c #Conflicts:    1026000 | #Constraints:     132299
1622.47/1626.45	c #Conflicts:    1027000 | #Constraints:     133299
1622.47/1626.45	c #Conflicts:    1028000 | #Constraints:     134299
1622.47/1626.45	c #Conflicts:    1029000 | #Constraints:     135299
1622.47/1626.45	c #Conflicts:    1030000 | #Constraints:     136299
1622.47/1626.45	c #Conflicts:    1031000 | #Constraints:     137299
1622.47/1626.45	c #Conflicts:    1032000 | #Constraints:     138299
1622.47/1626.45	c #Conflicts:    1033000 | #Constraints:     139299
1622.47/1626.45	c #Conflicts:    1034000 | #Constraints:     140299
1622.47/1626.45	c #Conflicts:    1035000 | #Constraints:     141299
1622.47/1626.45	c #Conflicts:    1036000 | #Constraints:     142299
1622.47/1626.45	c #Conflicts:    1037000 | #Constraints:     143299
1622.47/1626.45	c #Conflicts:    1038000 | #Constraints:     144299
1622.47/1626.45	c #Conflicts:    1039000 | #Constraints:     145299
1622.47/1626.45	c #Conflicts:    1040000 | #Constraints:     146299
1622.47/1626.45	c #Conflicts:    1041000 | #Constraints:     147299
1622.47/1626.45	c #Conflicts:    1042000 | #Constraints:     148299
1622.47/1626.45	c #Conflicts:    1043000 | #Constraints:     149299
1622.47/1626.45	c #Conflicts:    1044000 | #Constraints:     150299
1622.47/1626.45	c #Conflicts:    1045000 | #Constraints:     151299
1622.47/1626.45	c #Conflicts:    1046000 | #Constraints:     152299
1622.47/1626.45	c #Conflicts:    1047000 | #Constraints:     153299
1622.47/1626.45	c #Conflicts:    1048000 | #Constraints:     154299
1622.47/1626.45	c INPROCESSING
1622.47/1626.45	c GARBAGE COLLECT
1622.47/1626.45	c #Conflicts:    1049000 | #Constraints:     118594
1622.47/1626.45	c #Conflicts:    1050000 | #Constraints:     119594
1622.47/1626.45	c #Conflicts:    1051000 | #Constraints:     120594
1622.47/1626.45	c #Conflicts:    1052000 | #Constraints:     121594
1622.47/1626.45	c #Conflicts:    1053000 | #Constraints:     122594
1622.47/1626.45	c #Conflicts:    1054000 | #Constraints:     123594
1622.47/1626.45	c #Conflicts:    1055000 | #Constraints:     124594
1622.47/1626.45	c #Conflicts:    1056000 | #Constraints:     125594
1622.47/1626.45	c #Conflicts:    1057000 | #Constraints:     126594
1622.47/1626.45	c #Conflicts:    1058000 | #Constraints:     127594
1622.47/1626.45	c #Conflicts:    1059000 | #Constraints:     128594
1622.47/1626.45	c #Conflicts:    1060000 | #Constraints:     129594
1751.13/1755.46	c #Conflicts:    1061000 | #Constraints:     130594
1751.13/1755.46	c #Conflicts:    1062000 | #Constraints:     131594
1751.13/1755.46	c #Conflicts:    1063000 | #Constraints:     132594
1751.13/1755.46	c #Conflicts:    1064000 | #Constraints:     133594
1751.13/1755.46	c #Conflicts:    1065000 | #Constraints:     134594
1751.13/1755.46	c #Conflicts:    1066000 | #Constraints:     135594
1751.13/1755.46	c #Conflicts:    1067000 | #Constraints:     136594
1751.13/1755.46	c #Conflicts:    1068000 | #Constraints:     137594
1751.13/1755.46	c #Conflicts:    1069000 | #Constraints:     138594
1751.13/1755.46	c #Conflicts:    1070000 | #Constraints:     139594
1751.13/1755.46	c #Conflicts:    1071000 | #Constraints:     140594
1751.13/1755.46	c #Conflicts:    1072000 | #Constraints:     141594
1751.13/1755.46	c #Conflicts:    1073000 | #Constraints:     142594
1751.13/1755.46	c INPROCESSING
1751.13/1755.46	c GARBAGE COLLECT
1751.13/1755.46	c #Conflicts:    1074000 | #Constraints:     113131
1751.13/1755.46	c #Conflicts:    1075000 | #Constraints:     114131
1751.13/1755.46	c #Conflicts:    1076000 | #Constraints:     115131
1751.13/1755.46	c #Conflicts:    1077000 | #Constraints:     116131
1751.13/1755.46	c #Conflicts:    1078000 | #Constraints:     117131
1751.13/1755.46	c #Conflicts:    1079000 | #Constraints:     118131
1751.13/1755.46	c #Conflicts:    1080000 | #Constraints:     119131
1751.13/1755.46	c #Conflicts:    1081000 | #Constraints:     120131
1751.13/1755.46	c #Conflicts:    1082000 | #Constraints:     121131
1751.13/1755.46	c #Conflicts:    1083000 | #Constraints:     122131
1751.13/1755.46	c #Conflicts:    1084000 | #Constraints:     123131
1751.13/1755.46	c #Conflicts:    1085000 | #Constraints:     124131
1751.13/1755.46	c #Conflicts:    1086000 | #Constraints:     125131
1751.13/1755.46	c #Conflicts:    1087000 | #Constraints:     126131
1751.13/1755.46	c #Conflicts:    1088000 | #Constraints:     127131
1751.13/1755.46	c #Conflicts:    1089000 | #Constraints:     128131
1751.13/1755.46	c #Conflicts:    1090000 | #Constraints:     129131
1751.13/1755.46	c #Conflicts:    1091000 | #Constraints:     130131
1751.13/1755.46	c #Conflicts:    1092000 | #Constraints:     131131
1751.13/1755.46	c #Conflicts:    1093000 | #Constraints:     132131
1751.13/1755.46	c #Conflicts:    1094000 | #Constraints:     133131
1751.13/1755.46	c #Conflicts:    1095000 | #Constraints:     134131
1751.13/1755.46	c #Conflicts:    1096000 | #Constraints:     135131
1751.13/1755.46	c #Conflicts:    1097000 | #Constraints:     136131
1751.13/1755.46	c INPROCESSING
1751.13/1755.46	c GARBAGE COLLECT
1751.13/1755.46	c #Conflicts:    1098000 | #Constraints:     109749
1751.13/1755.46	c #Conflicts:    1099000 | #Constraints:     110749
1751.13/1755.46	c #Conflicts:    1100000 | #Constraints:     111749
1751.13/1755.46	c #Conflicts:    1101000 | #Constraints:     112749
1751.13/1755.46	c #Conflicts:    1102000 | #Constraints:     113749
1751.13/1755.46	c #Conflicts:    1103000 | #Constraints:     114749
1751.13/1755.46	c #Conflicts:    1104000 | #Constraints:     115749
1751.13/1755.46	c #Conflicts:    1105000 | #Constraints:     116749
1751.13/1755.46	c #Conflicts:    1106000 | #Constraints:     117749
1751.13/1755.46	c #Conflicts:    1107000 | #Constraints:     118749
1751.13/1755.46	c #Conflicts:    1108000 | #Constraints:     119749
1751.13/1755.46	c #Conflicts:    1109000 | #Constraints:     120749
1751.13/1755.46	c #Conflicts:    1110000 | #Constraints:     121749
1751.13/1755.46	c #Conflicts:    1111000 | #Constraints:     122749
1751.13/1755.46	c #Conflicts:    1112000 | #Constraints:     123749
1751.13/1755.46	c #Conflicts:    1113000 | #Constraints:     124749
1751.13/1755.46	c #Conflicts:    1114000 | #Constraints:     125749
1751.13/1755.46	c #Conflicts:    1115000 | #Constraints:     126749
1751.13/1755.46	c #Conflicts:    1116000 | #Constraints:     127749
1751.13/1755.46	c #Conflicts:    1117000 | #Constraints:     128749
1751.13/1755.46	c #Conflicts:    1118000 | #Constraints:     129749
1751.13/1755.46	c #Conflicts:    1119000 | #Constraints:     130749
1751.13/1755.46	c #Conflicts:    1120000 | #Constraints:     131749
1751.13/1755.46	c #Conflicts:    1121000 | #Constraints:     132749
1751.13/1755.46	c #Conflicts:    1122000 | #Constraints:     133749
1751.13/1755.46	c #Conflicts:    1123000 | #Constraints:     134749
1751.13/1755.46	c #Conflicts:    1124000 | #Constraints:     135749
1751.13/1755.46	c #Conflicts:    1125000 | #Constraints:     136749
1751.13/1755.46	c #Conflicts:    1126000 | #Constraints:     137749
1751.13/1755.46	c #Conflicts:    1127000 | #Constraints:     138749
1751.13/1755.46	c #Conflicts:    1128000 | #Constraints:     139749
1751.13/1755.46	c #Conflicts:    1129000 | #Constraints:     140749
1751.13/1755.46	c #Conflicts:    1130000 | #Constraints:     141749
1751.13/1755.46	c #Conflicts:    1131000 | #Constraints:     142749
1751.13/1755.46	c #Conflicts:    1132000 | #Constraints:     143749
1751.13/1755.46	c #Conflicts:    1133000 | #Constraints:     144749
1751.13/1755.46	c #Conflicts:    1134000 | #Constraints:     145749
1751.13/1755.46	c #Conflicts:    1135000 | #Constraints:     146749
1751.13/1755.46	c #Conflicts:    1136000 | #Constraints:     147749
1751.13/1755.46	c #Conflicts:    1137000 | #Constraints:     148749
1751.13/1755.46	c #Conflicts:    1138000 | #Constraints:     149749
2007.50/2012.49	c #Conflicts:    1139000 | #Constraints:     150749
2007.50/2012.49	c #Conflicts:    1140000 | #Constraints:     151749
2007.50/2012.49	c #Conflicts:    1141000 | #Constraints:     152749
2007.50/2012.49	c #Conflicts:    1142000 | #Constraints:     153749
2007.50/2012.49	c #Conflicts:    1143000 | #Constraints:     154749
2007.50/2012.49	c #Conflicts:    1144000 | #Constraints:     155749
2007.50/2012.49	c #Conflicts:    1145000 | #Constraints:     156749
2007.50/2012.49	c #Conflicts:    1146000 | #Constraints:     157749
2007.50/2012.49	c #Conflicts:    1147000 | #Constraints:     158749
2007.50/2012.49	c #Conflicts:    1148000 | #Constraints:     159749
2007.50/2012.49	c #Conflicts:    1149000 | #Constraints:     160749
2007.50/2012.49	c #Conflicts:    1150000 | #Constraints:     161749
2007.50/2012.49	c #Conflicts:    1151000 | #Constraints:     162749
2007.50/2012.49	c #Conflicts:    1152000 | #Constraints:     163749
2007.50/2012.49	c #Conflicts:    1153000 | #Constraints:     164749
2007.50/2012.49	c #Conflicts:    1154000 | #Constraints:     165749
2007.50/2012.49	c #Conflicts:    1155000 | #Constraints:     166749
2007.50/2012.49	c #Conflicts:    1156000 | #Constraints:     167749
2007.50/2012.49	c #Conflicts:    1157000 | #Constraints:     168749
2007.50/2012.49	c #Conflicts:    1158000 | #Constraints:     169749
2007.50/2012.49	c #Conflicts:    1159000 | #Constraints:     170749
2007.50/2012.49	c #Conflicts:    1160000 | #Constraints:     171749
2007.50/2012.49	c #Conflicts:    1161000 | #Constraints:     172749
2007.50/2012.49	c #Conflicts:    1162000 | #Constraints:     173749
2007.50/2012.49	c #Conflicts:    1163000 | #Constraints:     174749
2007.50/2012.49	c #Conflicts:    1164000 | #Constraints:     175749
2007.50/2012.49	c #Conflicts:    1165000 | #Constraints:     176749
2007.50/2012.49	c #Conflicts:    1166000 | #Constraints:     177749
2007.50/2012.49	c #Conflicts:    1167000 | #Constraints:     178749
2007.50/2012.49	c #Conflicts:    1168000 | #Constraints:     179749
2007.50/2012.49	c #Conflicts:    1169000 | #Constraints:     180749
2007.50/2012.49	c #Conflicts:    1170000 | #Constraints:     181749
2007.50/2012.49	c #Conflicts:    1171000 | #Constraints:     182749
2007.50/2012.49	c #Conflicts:    1172000 | #Constraints:     183749
2007.50/2012.49	c #Conflicts:    1173000 | #Constraints:     184749
2007.50/2012.49	c #Conflicts:    1174000 | #Constraints:     185749
2007.50/2012.49	c #Conflicts:    1175000 | #Constraints:     186749
2007.50/2012.49	c #Conflicts:    1176000 | #Constraints:     187749
2007.50/2012.49	c INPROCESSING
2007.50/2012.49	c GARBAGE COLLECT
2007.50/2012.49	c #Conflicts:    1177000 | #Constraints:     135736
2007.50/2012.49	c #Conflicts:    1178000 | #Constraints:     136736
2007.50/2012.49	c #Conflicts:    1179000 | #Constraints:     137736
2007.50/2012.49	c #Conflicts:    1180000 | #Constraints:     138736
2007.50/2012.49	c #Conflicts:    1181000 | #Constraints:     139736
2007.50/2012.49	c #Conflicts:    1182000 | #Constraints:     140736
2007.50/2012.49	c #Conflicts:    1183000 | #Constraints:     141736
2007.50/2012.49	c #Conflicts:    1184000 | #Constraints:     142736
2007.50/2012.49	c #Conflicts:    1185000 | #Constraints:     143736
2007.50/2012.49	c #Conflicts:    1186000 | #Constraints:     144736
2007.50/2012.49	c #Conflicts:    1187000 | #Constraints:     145736
2007.50/2012.49	c #Conflicts:    1188000 | #Constraints:     146736
2007.50/2012.49	c #Conflicts:    1189000 | #Constraints:     147736
2007.50/2012.49	c #Conflicts:    1190000 | #Constraints:     148736
2007.50/2012.49	c #Conflicts:    1191000 | #Constraints:     149736
2007.50/2012.49	c #Conflicts:    1192000 | #Constraints:     150736
2007.50/2012.49	c #Conflicts:    1193000 | #Constraints:     151736
2007.50/2012.49	c #Conflicts:    1194000 | #Constraints:     152736
2007.50/2012.49	c #Conflicts:    1195000 | #Constraints:     153736
2007.50/2012.49	c #Conflicts:    1196000 | #Constraints:     154736
2007.50/2012.49	c #Conflicts:    1197000 | #Constraints:     155736
2007.50/2012.49	c #Conflicts:    1198000 | #Constraints:     156736
2007.50/2012.49	c #Conflicts:    1199000 | #Constraints:     157736
2007.50/2012.49	c #Conflicts:    1200000 | #Constraints:     158736
2007.50/2012.49	c #Conflicts:    1201000 | #Constraints:     159736
2007.50/2012.49	c INPROCESSING
2007.50/2012.49	c GARBAGE COLLECT
2007.50/2012.49	c #Conflicts:    1202000 | #Constraints:     121373
2007.50/2012.49	c #Conflicts:    1203000 | #Constraints:     122373
2007.50/2012.49	c #Conflicts:    1204000 | #Constraints:     123373
2007.50/2012.49	c #Conflicts:    1205000 | #Constraints:     124373
2007.50/2012.49	c #Conflicts:    1206000 | #Constraints:     125373
2007.50/2012.49	c #Conflicts:    1207000 | #Constraints:     126373
2007.50/2012.49	c #Conflicts:    1208000 | #Constraints:     127373
2007.50/2012.49	c #Conflicts:    1209000 | #Constraints:     128373
2007.50/2012.49	c #Conflicts:    1210000 | #Constraints:     129373
2007.50/2012.49	c #Conflicts:    1211000 | #Constraints:     130373
2007.50/2012.49	c #Conflicts:    1212000 | #Constraints:     131373
2007.50/2012.49	c #Conflicts:    1213000 | #Constraints:     132373
2007.50/2012.49	c #Conflicts:    1214000 | #Constraints:     133373
2007.50/2012.49	c #Conflicts:    1215000 | #Constraints:     134373
2159.84/2165.15	c #Conflicts:    1216000 | #Constraints:     135373
2159.84/2165.15	c #Conflicts:    1217000 | #Constraints:     136373
2159.84/2165.15	c #Conflicts:    1218000 | #Constraints:     137373
2159.84/2165.15	c #Conflicts:    1219000 | #Constraints:     138373
2159.84/2165.15	c #Conflicts:    1220000 | #Constraints:     139373
2159.84/2165.15	c #Conflicts:    1221000 | #Constraints:     140373
2159.84/2165.15	c #Conflicts:    1222000 | #Constraints:     141373
2159.84/2165.15	c #Conflicts:    1223000 | #Constraints:     142373
2159.84/2165.15	c #Conflicts:    1224000 | #Constraints:     143373
2159.84/2165.15	c #Conflicts:    1225000 | #Constraints:     144373
2159.84/2165.15	c #Conflicts:    1226000 | #Constraints:     145373
2159.84/2165.15	c #Conflicts:    1227000 | #Constraints:     146373
2159.84/2165.15	c INPROCESSING
2159.84/2165.15	c GARBAGE COLLECT
2159.84/2165.15	c #Conflicts:    1228000 | #Constraints:     114732
2159.84/2165.15	c #Conflicts:    1229000 | #Constraints:     115732
2159.84/2165.15	c #Conflicts:    1230000 | #Constraints:     116732
2159.84/2165.15	c #Conflicts:    1231000 | #Constraints:     117732
2159.84/2165.15	c #Conflicts:    1232000 | #Constraints:     118732
2159.84/2165.15	c #Conflicts:    1233000 | #Constraints:     119732
2159.84/2165.15	c #Conflicts:    1234000 | #Constraints:     120732
2159.84/2165.15	c #Conflicts:    1235000 | #Constraints:     121732
2159.84/2165.15	c #Conflicts:    1236000 | #Constraints:     122732
2159.84/2165.15	c #Conflicts:    1237000 | #Constraints:     123732
2159.84/2165.15	c #Conflicts:    1238000 | #Constraints:     124732
2159.84/2165.15	c #Conflicts:    1239000 | #Constraints:     125732
2159.84/2165.15	c #Conflicts:    1240000 | #Constraints:     126732
2159.84/2165.15	c #Conflicts:    1241000 | #Constraints:     127732
2159.84/2165.15	c #Conflicts:    1242000 | #Constraints:     128732
2159.84/2165.15	c #Conflicts:    1243000 | #Constraints:     129732
2159.84/2165.15	c #Conflicts:    1244000 | #Constraints:     130732
2159.84/2165.15	c #Conflicts:    1245000 | #Constraints:     131732
2159.84/2165.15	c #Conflicts:    1246000 | #Constraints:     132732
2159.84/2165.15	c #Conflicts:    1247000 | #Constraints:     133732
2159.84/2165.15	c #Conflicts:    1248000 | #Constraints:     134732
2159.84/2165.15	c #Conflicts:    1249000 | #Constraints:     135732
2159.84/2165.15	c #Conflicts:    1250000 | #Constraints:     136732
2159.84/2165.15	c #Conflicts:    1251000 | #Constraints:     137732
2159.84/2165.15	c #Conflicts:    1252000 | #Constraints:     138732
2159.84/2165.15	c #Conflicts:    1253000 | #Constraints:     139732
2159.84/2165.15	c INPROCESSING
2159.84/2165.15	c GARBAGE COLLECT
2159.84/2165.15	c #Conflicts:    1254000 | #Constraints:     111374
2159.84/2165.15	c #Conflicts:    1255000 | #Constraints:     112374
2159.84/2165.15	c #Conflicts:    1256000 | #Constraints:     113374
2159.84/2165.15	c #Conflicts:    1257000 | #Constraints:     114374
2159.84/2165.15	c #Conflicts:    1258000 | #Constraints:     115374
2159.84/2165.15	c #Conflicts:    1259000 | #Constraints:     116374
2159.84/2165.15	c #Conflicts:    1260000 | #Constraints:     117374
2159.84/2165.15	c #Conflicts:    1261000 | #Constraints:     118374
2159.84/2165.15	c #Conflicts:    1262000 | #Constraints:     119374
2159.84/2165.15	c #Conflicts:    1263000 | #Constraints:     120374
2159.84/2165.15	c #Conflicts:    1264000 | #Constraints:     121374
2159.84/2165.15	c #Conflicts:    1265000 | #Constraints:     122374
2159.84/2165.15	c #Conflicts:    1266000 | #Constraints:     123374
2159.84/2165.15	c #Conflicts:    1267000 | #Constraints:     124374
2159.84/2165.15	c #Conflicts:    1268000 | #Constraints:     125374
2159.84/2165.15	c #Conflicts:    1269000 | #Constraints:     126374
2159.84/2165.15	c #Conflicts:    1270000 | #Constraints:     127374
2159.84/2165.15	c #Conflicts:    1271000 | #Constraints:     128374
2159.84/2165.15	c #Conflicts:    1272000 | #Constraints:     129374
2159.84/2165.15	c #Conflicts:    1273000 | #Constraints:     130374
2159.84/2165.15	c #Conflicts:    1274000 | #Constraints:     131374
2159.84/2165.15	c #Conflicts:    1275000 | #Constraints:     132374
2159.84/2165.15	c #Conflicts:    1276000 | #Constraints:     133374
2159.84/2165.15	c #Conflicts:    1277000 | #Constraints:     134374
2159.84/2165.15	c #Conflicts:    1278000 | #Constraints:     135374
2159.84/2165.15	c #Conflicts:    1279000 | #Constraints:     136374
2159.84/2165.15	c #Conflicts:    1280000 | #Constraints:     137374
2159.84/2165.15	c #Conflicts:    1281000 | #Constraints:     138374
2159.84/2165.15	c #Conflicts:    1282000 | #Constraints:     139374
2159.84/2165.15	c #Conflicts:    1283000 | #Constraints:     140374
2159.84/2165.15	c #Conflicts:    1284000 | #Constraints:     141374
2159.84/2165.15	c #Conflicts:    1285000 | #Constraints:     142374
2159.84/2165.15	c #Conflicts:    1286000 | #Constraints:     143374
2159.84/2165.15	c #Conflicts:    1287000 | #Constraints:     144374
2159.84/2165.15	c #Conflicts:    1288000 | #Constraints:     145374
2159.84/2165.15	c #Conflicts:    1289000 | #Constraints:     146374
2159.84/2165.15	c #Conflicts:    1290000 | #Constraints:     147374
2159.84/2165.15	c #Conflicts:    1291000 | #Constraints:     148374
2159.84/2165.15	c #Conflicts:    1292000 | #Constraints:     149374
2159.84/2165.15	c #Conflicts:    1293000 | #Constraints:     150374
2458.12/2464.16	c #Conflicts:    1294000 | #Constraints:     151374
2458.12/2464.16	c #Conflicts:    1295000 | #Constraints:     152374
2458.12/2464.16	c #Conflicts:    1296000 | #Constraints:     153374
2458.12/2464.16	c #Conflicts:    1297000 | #Constraints:     154374
2458.12/2464.16	c #Conflicts:    1298000 | #Constraints:     155374
2458.12/2464.16	c #Conflicts:    1299000 | #Constraints:     156374
2458.12/2464.16	c #Conflicts:    1300000 | #Constraints:     157374
2458.12/2464.16	c #Conflicts:    1301000 | #Constraints:     158374
2458.12/2464.16	c #Conflicts:    1302000 | #Constraints:     159374
2458.12/2464.16	c #Conflicts:    1303000 | #Constraints:     160374
2458.12/2464.16	c #Conflicts:    1304000 | #Constraints:     161374
2458.12/2464.16	c #Conflicts:    1305000 | #Constraints:     162374
2458.12/2464.16	c #Conflicts:    1306000 | #Constraints:     163374
2458.12/2464.16	c #Conflicts:    1307000 | #Constraints:     164374
2458.12/2464.16	c #Conflicts:    1308000 | #Constraints:     165374
2458.12/2464.16	c #Conflicts:    1309000 | #Constraints:     166374
2458.12/2464.16	c #Conflicts:    1310000 | #Constraints:     167374
2458.12/2464.16	c #Conflicts:    1311000 | #Constraints:     168374
2458.12/2464.16	c #Conflicts:    1312000 | #Constraints:     169374
2458.12/2464.16	c #Conflicts:    1313000 | #Constraints:     170374
2458.12/2464.16	c #Conflicts:    1314000 | #Constraints:     171374
2458.12/2464.16	c #Conflicts:    1315000 | #Constraints:     172374
2458.12/2464.16	c #Conflicts:    1316000 | #Constraints:     173374
2458.12/2464.16	c #Conflicts:    1317000 | #Constraints:     174374
2458.12/2464.16	c #Conflicts:    1318000 | #Constraints:     175374
2458.12/2464.16	c #Conflicts:    1319000 | #Constraints:     176374
2458.12/2464.16	c #Conflicts:    1320000 | #Constraints:     177374
2458.12/2464.16	c #Conflicts:    1321000 | #Constraints:     178374
2458.12/2464.16	c #Conflicts:    1322000 | #Constraints:     179374
2458.12/2464.16	c #Conflicts:    1323000 | #Constraints:     180374
2458.12/2464.16	c #Conflicts:    1324000 | #Constraints:     181374
2458.12/2464.16	c #Conflicts:    1325000 | #Constraints:     182374
2458.12/2464.16	c #Conflicts:    1326000 | #Constraints:     183374
2458.12/2464.16	c #Conflicts:    1327000 | #Constraints:     184374
2458.12/2464.16	c #Conflicts:    1328000 | #Constraints:     185374
2458.12/2464.16	c #Conflicts:    1329000 | #Constraints:     186374
2458.12/2464.16	c #Conflicts:    1330000 | #Constraints:     187374
2458.12/2464.16	c #Conflicts:    1331000 | #Constraints:     188374
2458.12/2464.16	c #Conflicts:    1332000 | #Constraints:     189374
2458.12/2464.16	c #Conflicts:    1333000 | #Constraints:     190374
2458.12/2464.16	c #Conflicts:    1334000 | #Constraints:     191374
2458.12/2464.16	c #Conflicts:    1335000 | #Constraints:     192374
2458.12/2464.16	c #Conflicts:    1336000 | #Constraints:     193374
2458.12/2464.16	c #Conflicts:    1337000 | #Constraints:     194374
2458.12/2464.16	c INPROCESSING
2458.12/2464.16	c GARBAGE COLLECT
2458.12/2464.16	c #Conflicts:    1338000 | #Constraints:     138750
2458.12/2464.16	c #Conflicts:    1339000 | #Constraints:     139750
2458.12/2464.16	c #Conflicts:    1340000 | #Constraints:     140750
2458.12/2464.16	c #Conflicts:    1341000 | #Constraints:     141750
2458.12/2464.16	c #Conflicts:    1342000 | #Constraints:     142750
2458.12/2464.16	c #Conflicts:    1343000 | #Constraints:     143750
2458.12/2464.16	c #Conflicts:    1344000 | #Constraints:     144750
2458.12/2464.16	c #Conflicts:    1345000 | #Constraints:     145750
2458.12/2464.16	c #Conflicts:    1346000 | #Constraints:     146750
2458.12/2464.16	c #Conflicts:    1347000 | #Constraints:     147750
2458.12/2464.16	c #Conflicts:    1348000 | #Constraints:     148750
2458.12/2464.16	c #Conflicts:    1349000 | #Constraints:     149750
2458.12/2464.16	c #Conflicts:    1350000 | #Constraints:     150750
2458.12/2464.16	c #Conflicts:    1351000 | #Constraints:     151750
2458.12/2464.16	c #Conflicts:    1352000 | #Constraints:     152750
2458.12/2464.16	c #Conflicts:    1353000 | #Constraints:     153750
2458.12/2464.16	c #Conflicts:    1354000 | #Constraints:     154750
2458.12/2464.16	c #Conflicts:    1355000 | #Constraints:     155750
2458.12/2464.16	c #Conflicts:    1356000 | #Constraints:     156750
2458.12/2464.16	c #Conflicts:    1357000 | #Constraints:     157750
2458.12/2464.16	c #Conflicts:    1358000 | #Constraints:     158750
2458.12/2464.16	c #Conflicts:    1359000 | #Constraints:     159750
2458.12/2464.16	c #Conflicts:    1360000 | #Constraints:     160750
2458.12/2464.16	c #Conflicts:    1361000 | #Constraints:     161750
2458.12/2464.16	c #Conflicts:    1362000 | #Constraints:     162750
2458.12/2464.16	c #Conflicts:    1363000 | #Constraints:     163750
2458.12/2464.16	c #Conflicts:    1364000 | #Constraints:     164750
2458.12/2464.16	c #Conflicts:    1365000 | #Constraints:     165750
2458.12/2464.16	c INPROCESSING
2458.12/2464.16	c GARBAGE COLLECT
2458.12/2464.16	c #Conflicts:    1366000 | #Constraints:     124707
2458.12/2464.16	c #Conflicts:    1367000 | #Constraints:     125707
2458.12/2464.16	c #Conflicts:    1368000 | #Constraints:     126707
2458.12/2464.16	c #Conflicts:    1369000 | #Constraints:     127707
2458.12/2464.16	c #Conflicts:    1370000 | #Constraints:     128707
2622.61/2629.01	c #Conflicts:    1371000 | #Constraints:     129707
2622.61/2629.01	c #Conflicts:    1372000 | #Constraints:     130707
2622.61/2629.01	c #Conflicts:    1373000 | #Constraints:     131707
2622.61/2629.01	c #Conflicts:    1374000 | #Constraints:     132707
2622.61/2629.01	c #Conflicts:    1375000 | #Constraints:     133707
2622.61/2629.01	c #Conflicts:    1376000 | #Constraints:     134707
2622.61/2629.01	c #Conflicts:    1377000 | #Constraints:     135707
2622.61/2629.01	c #Conflicts:    1378000 | #Constraints:     136707
2622.61/2629.01	c #Conflicts:    1379000 | #Constraints:     137707
2622.61/2629.01	c #Conflicts:    1380000 | #Constraints:     138707
2622.61/2629.01	c #Conflicts:    1381000 | #Constraints:     139707
2622.61/2629.01	c #Conflicts:    1382000 | #Constraints:     140707
2622.61/2629.01	c #Conflicts:    1383000 | #Constraints:     141707
2622.61/2629.01	c #Conflicts:    1384000 | #Constraints:     142707
2622.61/2629.01	c #Conflicts:    1385000 | #Constraints:     143707
2622.61/2629.01	c #Conflicts:    1386000 | #Constraints:     144707
2622.61/2629.01	c #Conflicts:    1387000 | #Constraints:     145707
2622.61/2629.01	c #Conflicts:    1388000 | #Constraints:     146707
2622.61/2629.01	c #Conflicts:    1389000 | #Constraints:     147707
2622.61/2629.01	c #Conflicts:    1390000 | #Constraints:     148707
2622.61/2629.01	c #Conflicts:    1391000 | #Constraints:     149707
2622.61/2629.01	c #Conflicts:    1392000 | #Constraints:     150707
2622.61/2629.01	c INPROCESSING
2622.61/2629.01	c GARBAGE COLLECT
2622.61/2629.01	c #Conflicts:    1393000 | #Constraints:     116935
2622.61/2629.01	c #Conflicts:    1394000 | #Constraints:     117935
2622.61/2629.01	c #Conflicts:    1395000 | #Constraints:     118935
2622.61/2629.01	c #Conflicts:    1396000 | #Constraints:     119935
2622.61/2629.01	c #Conflicts:    1397000 | #Constraints:     120935
2622.61/2629.01	c #Conflicts:    1398000 | #Constraints:     121935
2622.61/2629.01	c #Conflicts:    1399000 | #Constraints:     122935
2622.61/2629.01	c #Conflicts:    1400000 | #Constraints:     123935
2622.61/2629.01	c #Conflicts:    1401000 | #Constraints:     124935
2622.61/2629.01	c #Conflicts:    1402000 | #Constraints:     125935
2622.61/2629.01	c #Conflicts:    1403000 | #Constraints:     126935
2622.61/2629.01	c #Conflicts:    1404000 | #Constraints:     127935
2622.61/2629.01	c #Conflicts:    1405000 | #Constraints:     128935
2622.61/2629.01	c #Conflicts:    1406000 | #Constraints:     129935
2622.61/2629.01	c #Conflicts:    1407000 | #Constraints:     130935
2622.61/2629.01	c #Conflicts:    1408000 | #Constraints:     131935
2622.61/2629.01	c #Conflicts:    1409000 | #Constraints:     132935
2622.61/2629.01	c #Conflicts:    1410000 | #Constraints:     133935
2622.61/2629.01	c #Conflicts:    1411000 | #Constraints:     134935
2622.61/2629.01	c #Conflicts:    1412000 | #Constraints:     135935
2622.61/2629.01	c #Conflicts:    1413000 | #Constraints:     136935
2622.61/2629.01	c #Conflicts:    1414000 | #Constraints:     137935
2622.61/2629.01	c #Conflicts:    1415000 | #Constraints:     138935
2622.61/2629.01	c #Conflicts:    1416000 | #Constraints:     139935
2622.61/2629.01	c #Conflicts:    1417000 | #Constraints:     140935
2622.61/2629.01	c #Conflicts:    1418000 | #Constraints:     141935
2622.61/2629.01	c #Conflicts:    1419000 | #Constraints:     142935
2622.61/2629.01	c #Conflicts:    1420000 | #Constraints:     143935
2622.61/2629.01	c INPROCESSING
2622.61/2629.01	c GARBAGE COLLECT
2622.61/2629.01	c #Conflicts:    1421000 | #Constraints:     113623
2622.61/2629.01	c #Conflicts:    1422000 | #Constraints:     114623
2622.61/2629.01	c #Conflicts:    1423000 | #Constraints:     115623
2622.61/2629.01	c #Conflicts:    1424000 | #Constraints:     116623
2622.61/2629.01	c #Conflicts:    1425000 | #Constraints:     117623
2622.61/2629.01	c #Conflicts:    1426000 | #Constraints:     118623
2622.61/2629.01	c #Conflicts:    1427000 | #Constraints:     119623
2622.61/2629.01	c #Conflicts:    1428000 | #Constraints:     120623
2622.61/2629.01	c #Conflicts:    1429000 | #Constraints:     121623
2622.61/2629.01	c #Conflicts:    1430000 | #Constraints:     122623
2622.61/2629.01	c #Conflicts:    1431000 | #Constraints:     123623
2622.61/2629.01	c #Conflicts:    1432000 | #Constraints:     124623
2622.61/2629.01	c #Conflicts:    1433000 | #Constraints:     125623
2622.61/2629.01	c #Conflicts:    1434000 | #Constraints:     126623
2622.61/2629.01	c #Conflicts:    1435000 | #Constraints:     127623
2622.61/2629.01	c #Conflicts:    1436000 | #Constraints:     128623
2622.61/2629.01	c #Conflicts:    1437000 | #Constraints:     129623
2622.61/2629.01	c #Conflicts:    1438000 | #Constraints:     130623
2622.61/2629.01	c #Conflicts:    1439000 | #Constraints:     131623
2622.61/2629.01	c #Conflicts:    1440000 | #Constraints:     132623
2622.61/2629.01	c #Conflicts:    1441000 | #Constraints:     133623
2622.61/2629.01	c #Conflicts:    1442000 | #Constraints:     134623
2622.61/2629.01	c #Conflicts:    1443000 | #Constraints:     135623
2622.61/2629.01	c #Conflicts:    1444000 | #Constraints:     136623
2622.61/2629.01	c #Conflicts:    1445000 | #Constraints:     137623
2622.61/2629.01	c #Conflicts:    1446000 | #Constraints:     138623
2622.61/2629.01	c #Conflicts:    1447000 | #Constraints:     139623
2622.61/2629.01	c #Conflicts:    1448000 | #Constraints:     140623
2942.51/2949.75	c #Conflicts:    1449000 | #Constraints:     141623
2942.51/2949.75	c #Conflicts:    1450000 | #Constraints:     142623
2942.51/2949.75	c #Conflicts:    1451000 | #Constraints:     143623
2942.51/2949.75	c #Conflicts:    1452000 | #Constraints:     144623
2942.51/2949.75	c #Conflicts:    1453000 | #Constraints:     145623
2942.51/2949.75	c #Conflicts:    1454000 | #Constraints:     146623
2942.51/2949.75	c #Conflicts:    1455000 | #Constraints:     147623
2942.51/2949.75	c #Conflicts:    1456000 | #Constraints:     148623
2942.51/2949.75	c #Conflicts:    1457000 | #Constraints:     149623
2942.51/2949.75	c #Conflicts:    1458000 | #Constraints:     150623
2942.51/2949.75	c #Conflicts:    1459000 | #Constraints:     151623
2942.51/2949.75	c #Conflicts:    1460000 | #Constraints:     152623
2942.51/2949.75	c #Conflicts:    1461000 | #Constraints:     153623
2942.51/2949.75	c #Conflicts:    1462000 | #Constraints:     154623
2942.51/2949.75	c #Conflicts:    1463000 | #Constraints:     155623
2942.51/2949.75	c #Conflicts:    1464000 | #Constraints:     156623
2942.51/2949.75	c #Conflicts:    1465000 | #Constraints:     157623
2942.51/2949.75	c #Conflicts:    1466000 | #Constraints:     158623
2942.51/2949.75	c #Conflicts:    1467000 | #Constraints:     159623
2942.51/2949.75	c #Conflicts:    1468000 | #Constraints:     160623
2942.51/2949.75	c #Conflicts:    1469000 | #Constraints:     161623
2942.51/2949.75	c #Conflicts:    1470000 | #Constraints:     162623
2942.51/2949.75	c #Conflicts:    1471000 | #Constraints:     163623
2942.51/2949.75	c #Conflicts:    1472000 | #Constraints:     164623
2942.51/2949.75	c #Conflicts:    1473000 | #Constraints:     165623
2942.51/2949.75	c #Conflicts:    1474000 | #Constraints:     166623
2942.51/2949.75	c #Conflicts:    1475000 | #Constraints:     167623
2942.51/2949.75	c #Conflicts:    1476000 | #Constraints:     168623
2942.51/2949.75	c #Conflicts:    1477000 | #Constraints:     169623
2942.51/2949.75	c #Conflicts:    1478000 | #Constraints:     170623
2942.51/2949.75	c #Conflicts:    1479000 | #Constraints:     171623
2942.51/2949.75	c #Conflicts:    1480000 | #Constraints:     172623
2942.51/2949.75	c #Conflicts:    1481000 | #Constraints:     173623
2942.51/2949.75	c #Conflicts:    1482000 | #Constraints:     174623
2942.51/2949.75	c #Conflicts:    1483000 | #Constraints:     175623
2942.51/2949.75	c #Conflicts:    1484000 | #Constraints:     176623
2942.51/2949.75	c #Conflicts:    1485000 | #Constraints:     177623
2942.51/2949.75	c #Conflicts:    1486000 | #Constraints:     178623
2942.51/2949.75	c #Conflicts:    1487000 | #Constraints:     179623
2942.51/2949.75	c #Conflicts:    1488000 | #Constraints:     180623
2942.51/2949.75	c #Conflicts:    1489000 | #Constraints:     181623
2942.51/2949.75	c #Conflicts:    1490000 | #Constraints:     182623
2942.51/2949.75	c #Conflicts:    1491000 | #Constraints:     183623
2942.51/2949.75	c #Conflicts:    1492000 | #Constraints:     184623
2942.51/2949.75	c #Conflicts:    1493000 | #Constraints:     185623
2942.51/2949.75	c #Conflicts:    1494000 | #Constraints:     186623
2942.51/2949.75	c #Conflicts:    1495000 | #Constraints:     187623
2942.51/2949.75	c #Conflicts:    1496000 | #Constraints:     188623
2942.51/2949.75	c #Conflicts:    1497000 | #Constraints:     189623
2942.51/2949.75	c #Conflicts:    1498000 | #Constraints:     190623
2942.51/2949.75	c #Conflicts:    1499000 | #Constraints:     191623
2942.51/2949.75	c #Conflicts:    1500000 | #Constraints:     192623
2942.51/2949.75	c #Conflicts:    1501000 | #Constraints:     193623
2942.51/2949.75	c #Conflicts:    1502000 | #Constraints:     194623
2942.51/2949.75	c #Conflicts:    1503000 | #Constraints:     195623
2942.51/2949.75	c #Conflicts:    1504000 | #Constraints:     196623
2942.51/2949.75	c #Conflicts:    1505000 | #Constraints:     197623
2942.51/2949.75	c #Conflicts:    1506000 | #Constraints:     198623
2942.51/2949.75	c #Conflicts:    1507000 | #Constraints:     199623
2942.51/2949.75	c #Conflicts:    1508000 | #Constraints:     200623
2942.51/2949.75	c #Conflicts:    1509000 | #Constraints:     201623
2942.51/2949.75	c INPROCESSING
2942.51/2949.75	c GARBAGE COLLECT
2942.51/2949.75	c #Conflicts:    1510000 | #Constraints:     142369
2942.51/2949.75	c #Conflicts:    1511000 | #Constraints:     143369
2942.51/2949.75	c #Conflicts:    1512000 | #Constraints:     144369
2942.51/2949.75	c #Conflicts:    1513000 | #Constraints:     145369
2942.51/2949.75	c #Conflicts:    1514000 | #Constraints:     146369
2942.51/2949.75	c #Conflicts:    1515000 | #Constraints:     147369
2942.51/2949.75	c #Conflicts:    1516000 | #Constraints:     148369
2942.51/2949.75	c #Conflicts:    1517000 | #Constraints:     149369
2942.51/2949.75	c #Conflicts:    1518000 | #Constraints:     150369
2942.51/2949.75	c #Conflicts:    1519000 | #Constraints:     151369
2942.51/2949.75	c #Conflicts:    1520000 | #Constraints:     152369
2942.51/2949.75	c #Conflicts:    1521000 | #Constraints:     153369
2942.51/2949.75	c #Conflicts:    1522000 | #Constraints:     154369
2942.51/2949.75	c #Conflicts:    1523000 | #Constraints:     155369
2942.51/2949.75	c #Conflicts:    1524000 | #Constraints:     156369
2942.51/2949.75	c #Conflicts:    1525000 | #Constraints:     157369
2942.51/2949.75	c #Conflicts:    1526000 | #Constraints:     158369
3147.51/3155.24	c #Conflicts:    1527000 | #Constraints:     159369
3147.51/3155.24	c #Conflicts:    1528000 | #Constraints:     160369
3147.51/3155.24	c #Conflicts:    1529000 | #Constraints:     161369
3147.51/3155.24	c #Conflicts:    1530000 | #Constraints:     162369
3147.51/3155.24	c #Conflicts:    1531000 | #Constraints:     163369
3147.51/3155.24	c #Conflicts:    1532000 | #Constraints:     164369
3147.51/3155.24	c #Conflicts:    1533000 | #Constraints:     165369
3147.51/3155.24	c #Conflicts:    1534000 | #Constraints:     166369
3147.51/3155.24	c #Conflicts:    1535000 | #Constraints:     167369
3147.51/3155.24	c #Conflicts:    1536000 | #Constraints:     168369
3147.51/3155.24	c #Conflicts:    1537000 | #Constraints:     169369
3147.51/3155.24	c #Conflicts:    1538000 | #Constraints:     170369
3147.51/3155.24	c INPROCESSING
3147.51/3155.24	c GARBAGE COLLECT
3147.51/3155.24	c #Conflicts:    1539000 | #Constraints:     126683
3147.51/3155.24	c #Conflicts:    1540000 | #Constraints:     127683
3147.51/3155.24	c #Conflicts:    1541000 | #Constraints:     128683
3147.51/3155.24	c #Conflicts:    1542000 | #Constraints:     129683
3147.51/3155.24	c #Conflicts:    1543000 | #Constraints:     130683
3147.51/3155.24	c #Conflicts:    1544000 | #Constraints:     131683
3147.51/3155.24	c #Conflicts:    1545000 | #Constraints:     132683
3147.51/3155.24	c #Conflicts:    1546000 | #Constraints:     133683
3147.51/3155.24	c #Conflicts:    1547000 | #Constraints:     134683
3147.51/3155.24	c #Conflicts:    1548000 | #Constraints:     135683
3147.51/3155.24	c #Conflicts:    1549000 | #Constraints:     136683
3147.51/3155.24	c #Conflicts:    1550000 | #Constraints:     137683
3147.51/3155.24	c #Conflicts:    1551000 | #Constraints:     138683
3147.51/3155.24	c #Conflicts:    1552000 | #Constraints:     139683
3147.51/3155.24	c #Conflicts:    1553000 | #Constraints:     140683
3147.51/3155.24	c #Conflicts:    1554000 | #Constraints:     141683
3147.51/3155.24	c #Conflicts:    1555000 | #Constraints:     142683
3147.51/3155.24	c #Conflicts:    1556000 | #Constraints:     143683
3147.51/3155.24	c #Conflicts:    1557000 | #Constraints:     144683
3147.51/3155.24	c #Conflicts:    1558000 | #Constraints:     145683
3147.51/3155.24	c #Conflicts:    1559000 | #Constraints:     146683
3147.51/3155.24	c #Conflicts:    1560000 | #Constraints:     147683
3147.51/3155.24	c #Conflicts:    1561000 | #Constraints:     148683
3147.51/3155.24	c #Conflicts:    1562000 | #Constraints:     149683
3147.51/3155.24	c #Conflicts:    1563000 | #Constraints:     150683
3147.51/3155.24	c #Conflicts:    1564000 | #Constraints:     151683
3147.51/3155.24	c #Conflicts:    1565000 | #Constraints:     152683
3147.51/3155.24	c #Conflicts:    1566000 | #Constraints:     153683
3147.51/3155.24	c #Conflicts:    1567000 | #Constraints:     154683
3147.51/3155.24	c #Conflicts:    1568000 | #Constraints:     155683
3147.51/3155.24	c INPROCESSING
3147.51/3155.24	c GARBAGE COLLECT
3147.51/3155.24	c #Conflicts:    1569000 | #Constraints:     119693
3147.51/3155.24	c #Conflicts:    1570000 | #Constraints:     120693
3147.51/3155.24	c #Conflicts:    1571000 | #Constraints:     121693
3147.51/3155.24	c #Conflicts:    1572000 | #Constraints:     122693
3147.51/3155.24	c #Conflicts:    1573000 | #Constraints:     123693
3147.51/3155.24	c #Conflicts:    1574000 | #Constraints:     124693
3147.51/3155.24	c #Conflicts:    1575000 | #Constraints:     125693
3147.51/3155.24	c #Conflicts:    1576000 | #Constraints:     126693
3147.51/3155.24	c #Conflicts:    1577000 | #Constraints:     127693
3147.51/3155.24	c #Conflicts:    1578000 | #Constraints:     128693
3147.51/3155.24	c #Conflicts:    1579000 | #Constraints:     129693
3147.51/3155.24	c #Conflicts:    1580000 | #Constraints:     130693
3147.51/3155.24	c #Conflicts:    1581000 | #Constraints:     131693
3147.51/3155.24	c #Conflicts:    1582000 | #Constraints:     132693
3147.51/3155.24	c #Conflicts:    1583000 | #Constraints:     133693
3147.51/3155.24	c #Conflicts:    1584000 | #Constraints:     134693
3147.51/3155.24	c #Conflicts:    1585000 | #Constraints:     135693
3147.51/3155.24	c #Conflicts:    1586000 | #Constraints:     136693
3147.51/3155.24	c #Conflicts:    1587000 | #Constraints:     137693
3147.51/3155.24	c #Conflicts:    1588000 | #Constraints:     138693
3147.51/3155.24	c #Conflicts:    1589000 | #Constraints:     139693
3147.51/3155.24	c #Conflicts:    1590000 | #Constraints:     140693
3147.51/3155.24	c #Conflicts:    1591000 | #Constraints:     141693
3147.51/3155.24	c #Conflicts:    1592000 | #Constraints:     142693
3147.51/3155.24	c #Conflicts:    1593000 | #Constraints:     143693
3147.51/3155.24	c #Conflicts:    1594000 | #Constraints:     144693
3147.51/3155.24	c #Conflicts:    1595000 | #Constraints:     145693
3147.51/3155.24	c #Conflicts:    1596000 | #Constraints:     146693
3147.51/3155.24	c #Conflicts:    1597000 | #Constraints:     147693
3147.51/3155.24	c INPROCESSING
3147.51/3155.24	c GARBAGE COLLECT
3147.51/3155.24	c #Conflicts:    1598000 | #Constraints:     115422
3147.51/3155.24	c #Conflicts:    1599000 | #Constraints:     116422
3147.51/3155.24	c #Conflicts:    1600000 | #Constraints:     117422
3147.51/3155.24	c #Conflicts:    1601000 | #Constraints:     118422
3147.51/3155.24	c #Conflicts:    1602000 | #Constraints:     119422
3147.51/3155.24	c #Conflicts:    1603000 | #Constraints:     120422
3409.78/3418.14	c #Conflicts:    1604000 | #Constraints:     121422
3409.78/3418.14	c #Conflicts:    1605000 | #Constraints:     122422
3409.78/3418.14	c #Conflicts:    1606000 | #Constraints:     123422
3409.78/3418.14	c #Conflicts:    1607000 | #Constraints:     124422
3409.78/3418.14	c #Conflicts:    1608000 | #Constraints:     125422
3409.78/3418.14	c #Conflicts:    1609000 | #Constraints:     126422
3409.78/3418.14	c #Conflicts:    1610000 | #Constraints:     127422
3409.78/3418.14	c #Conflicts:    1611000 | #Constraints:     128422
3409.78/3418.14	c #Conflicts:    1612000 | #Constraints:     129422
3409.78/3418.14	c #Conflicts:    1613000 | #Constraints:     130422
3409.78/3418.14	c #Conflicts:    1614000 | #Constraints:     131422
3409.78/3418.14	c #Conflicts:    1615000 | #Constraints:     132422
3409.78/3418.14	c #Conflicts:    1616000 | #Constraints:     133422
3409.78/3418.14	c #Conflicts:    1617000 | #Constraints:     134422
3409.78/3418.14	c #Conflicts:    1618000 | #Constraints:     135422
3409.78/3418.14	c #Conflicts:    1619000 | #Constraints:     136422
3409.78/3418.14	c #Conflicts:    1620000 | #Constraints:     137422
3409.78/3418.14	c #Conflicts:    1621000 | #Constraints:     138422
3409.78/3418.14	c #Conflicts:    1622000 | #Constraints:     139422
3409.78/3418.14	c #Conflicts:    1623000 | #Constraints:     140422
3409.78/3418.14	c #Conflicts:    1624000 | #Constraints:     141422
3409.78/3418.14	c #Conflicts:    1625000 | #Constraints:     142422
3409.78/3418.14	c #Conflicts:    1626000 | #Constraints:     143422
3409.78/3418.14	c #Conflicts:    1627000 | #Constraints:     144422
3409.78/3418.14	c #Conflicts:    1628000 | #Constraints:     145422
3409.78/3418.14	c #Conflicts:    1629000 | #Constraints:     146422
3409.78/3418.14	c #Conflicts:    1630000 | #Constraints:     147422
3409.78/3418.14	c #Conflicts:    1631000 | #Constraints:     148422
3409.78/3418.14	c #Conflicts:    1632000 | #Constraints:     149422
3409.78/3418.14	c #Conflicts:    1633000 | #Constraints:     150422
3409.78/3418.14	c #Conflicts:    1634000 | #Constraints:     151422
3409.78/3418.14	c #Conflicts:    1635000 | #Constraints:     152422
3409.78/3418.14	c #Conflicts:    1636000 | #Constraints:     153422
3409.78/3418.14	c #Conflicts:    1637000 | #Constraints:     154422
3409.78/3418.14	c #Conflicts:    1638000 | #Constraints:     155422
3409.78/3418.14	c #Conflicts:    1639000 | #Constraints:     156422
3409.78/3418.14	c #Conflicts:    1640000 | #Constraints:     157422
3409.78/3418.14	c #Conflicts:    1641000 | #Constraints:     158422
3409.78/3418.14	c #Conflicts:    1642000 | #Constraints:     159422
3409.78/3418.14	c #Conflicts:    1643000 | #Constraints:     160422
3409.78/3418.14	c #Conflicts:    1644000 | #Constraints:     161422
3409.78/3418.14	c #Conflicts:    1645000 | #Constraints:     162422
3409.78/3418.14	c #Conflicts:    1646000 | #Constraints:     163422
3409.78/3418.14	c #Conflicts:    1647000 | #Constraints:     164422
3409.78/3418.14	c #Conflicts:    1648000 | #Constraints:     165422
3409.78/3418.14	c #Conflicts:    1649000 | #Constraints:     166422
3409.78/3418.14	c #Conflicts:    1650000 | #Constraints:     167422
3409.78/3418.14	c #Conflicts:    1651000 | #Constraints:     168422
3409.78/3418.14	c #Conflicts:    1652000 | #Constraints:     169422
3409.78/3418.14	c #Conflicts:    1653000 | #Constraints:     170422
3409.78/3418.14	c #Conflicts:    1654000 | #Constraints:     171422
3409.78/3418.14	c #Conflicts:    1655000 | #Constraints:     172422
3409.78/3418.14	c #Conflicts:    1656000 | #Constraints:     173422
3409.78/3418.14	c #Conflicts:    1657000 | #Constraints:     174422
3409.78/3418.14	c #Conflicts:    1658000 | #Constraints:     175422
3409.78/3418.14	c #Conflicts:    1659000 | #Constraints:     176422
3409.78/3418.14	c #Conflicts:    1660000 | #Constraints:     177422
3409.78/3418.14	c #Conflicts:    1661000 | #Constraints:     178422
3409.78/3418.14	c #Conflicts:    1662000 | #Constraints:     179422
3409.78/3418.14	c #Conflicts:    1663000 | #Constraints:     180422
3409.78/3418.14	c #Conflicts:    1664000 | #Constraints:     181422
3409.78/3418.14	c #Conflicts:    1665000 | #Constraints:     182422
3409.78/3418.14	c #Conflicts:    1666000 | #Constraints:     183422
3409.78/3418.14	c #Conflicts:    1667000 | #Constraints:     184422
3409.78/3418.14	c #Conflicts:    1668000 | #Constraints:     185422
3409.78/3418.14	c #Conflicts:    1669000 | #Constraints:     186422
3409.78/3418.14	c #Conflicts:    1670000 | #Constraints:     187422
3409.78/3418.14	c #Conflicts:    1671000 | #Constraints:     188422
3409.78/3418.14	c #Conflicts:    1672000 | #Constraints:     189422
3409.78/3418.14	c #Conflicts:    1673000 | #Constraints:     190422
3409.78/3418.14	c #Conflicts:    1674000 | #Constraints:     191422
3409.78/3418.14	c #Conflicts:    1675000 | #Constraints:     192422
3409.78/3418.14	c #Conflicts:    1676000 | #Constraints:     193422
3409.78/3418.14	c #Conflicts:    1677000 | #Constraints:     194422
3409.78/3418.14	c #Conflicts:    1678000 | #Constraints:     195422
3409.78/3418.14	c #Conflicts:    1679000 | #Constraints:     196422
3409.78/3418.14	c #Conflicts:    1680000 | #Constraints:     197422
3409.78/3418.14	c #Conflicts:    1681000 | #Constraints:     198422
3600.00/3608.81	c #Conflicts:    1682000 | #Constraints:     199422
3600.00/3608.81	c #Conflicts:    1683000 | #Constraints:     200422
3600.00/3608.81	c #Conflicts:    1684000 | #Constraints:     201422
3600.00/3608.81	c #Conflicts:    1685000 | #Constraints:     202422
3600.00/3608.81	c #Conflicts:    1686000 | #Constraints:     203422
3600.00/3608.81	c #Conflicts:    1687000 | #Constraints:     204422
3600.00/3608.81	c #Conflicts:    1688000 | #Constraints:     205422
3600.00/3608.81	c #Conflicts:    1689000 | #Constraints:     206422
3600.00/3608.81	c #Conflicts:    1690000 | #Constraints:     207422
3600.00/3608.81	c #Conflicts:    1691000 | #Constraints:     208422
3600.00/3608.81	c #Conflicts:    1692000 | #Constraints:     209422
3600.00/3608.81	c INPROCESSING
3600.00/3608.81	c GARBAGE COLLECT
3600.00/3608.81	c #Conflicts:    1693000 | #Constraints:     146580
3600.00/3608.81	c #Conflicts:    1694000 | #Constraints:     147580
3600.00/3608.81	c #Conflicts:    1695000 | #Constraints:     148580
3600.00/3608.81	c #Conflicts:    1696000 | #Constraints:     149580
3600.00/3608.81	c #Conflicts:    1697000 | #Constraints:     150580
3600.00/3608.81	c #Conflicts:    1698000 | #Constraints:     151580
3600.00/3608.81	c #Conflicts:    1699000 | #Constraints:     152580
3600.00/3608.81	c #Conflicts:    1700000 | #Constraints:     153580
3600.00/3608.81	c #Conflicts:    1701000 | #Constraints:     154580
3600.00/3608.81	c #Conflicts:    1702000 | #Constraints:     155580
3600.00/3608.81	c #Conflicts:    1703000 | #Constraints:     156580
3600.00/3608.81	c #Conflicts:    1704000 | #Constraints:     157580
3600.00/3608.81	c #Conflicts:    1705000 | #Constraints:     158580
3600.00/3608.81	c #Conflicts:    1706000 | #Constraints:     159580
3600.00/3608.81	c #Conflicts:    1707000 | #Constraints:     160580
3600.00/3608.81	c #Conflicts:    1708000 | #Constraints:     161580
3600.00/3608.81	c #Conflicts:    1709000 | #Constraints:     162580
3600.00/3608.81	c #Conflicts:    1710000 | #Constraints:     163580
3600.00/3608.81	c #Conflicts:    1711000 | #Constraints:     164580
3600.00/3608.81	c #Conflicts:    1712000 | #Constraints:     165580
3600.00/3608.81	c #Conflicts:    1713000 | #Constraints:     166580
3600.00/3608.81	c #Conflicts:    1714000 | #Constraints:     167580
3600.00/3608.81	c #Conflicts:    1715000 | #Constraints:     168580
3600.00/3608.81	c #Conflicts:    1716000 | #Constraints:     169580
3600.00/3608.81	c #Conflicts:    1717000 | #Constraints:     170580
3600.00/3608.81	c #Conflicts:    1718000 | #Constraints:     171580
3600.00/3608.81	c #Conflicts:    1719000 | #Constraints:     172580
3600.00/3608.81	c Program interrupted by user.
3600.00/3608.81	c cpu time 3590.96 s
3600.00/3608.81	c deterministic time 339341125759 3.39e+11
3600.00/3608.81	c optimization time 130.909 s
3600.00/3608.81	c total solve time 3459.59 s
3600.00/3608.81	c core-guided solve time 3459.59 s
3600.00/3608.81	c propagation time 3008.15 s
3600.00/3608.81	c conflict analysis time 564.221 s
3600.00/3608.81	c propagations 614063688
3600.00/3608.81	c resolve steps 35121713
3600.00/3608.81	c decisions 3872854
3600.00/3608.81	c conflicts 1719855
3600.00/3608.81	c restarts 3321
3600.00/3608.81	c inprocessing phases 72
3600.00/3608.81	c input clauses 81378
3600.00/3608.81	c input cardinalities 179
3600.00/3608.81	c input general constraints 111
3600.00/3608.81	c input average constraint length 2.72
3600.00/3608.81	c input average constraint degree 1.39
3600.00/3608.81	c learned clauses 1292132
3600.00/3608.81	c learned cardinalities 4038
3600.00/3608.81	c learned general constraints 423681
3600.00/3608.81	c learned average constraint length 64.24
3600.00/3608.81	c learned average constraint degree 154.55
3600.00/3608.81	c watched constraints 376598
3600.00/3608.81	c counting constraints 47194
3600.00/3608.81	c gcd simplifications 9532
3600.00/3608.81	c detected cardinalities 381
3600.00/3608.81	c weakened non-implied lits 8362159
3600.00/3608.81	c weakened non-implying lits 26471
3600.00/3608.81	c original variables 1150
3600.00/3608.81	c clausal propagations 581413999
3600.00/3608.81	c cardinality propagations 130694
3600.00/3608.81	c watched propagations 4875430
3600.00/3608.81	c counting propagations 26241506
3600.00/3608.81	c watch lookups 87645181040
3600.00/3608.81	c watch backjump lookups 74409181781
3600.00/3608.81	c watch checks 158802217169
3600.00/3608.81	c propagation checks 16887173399
3600.00/3608.81	c constraint additions 359780350
3600.00/3608.81	c trail pops 619655477
3600.00/3608.81	c formula constraints 81068
3600.00/3608.81	c learned constraints 1719851
3600.00/3608.81	c bound constraints 48
3600.00/3608.81	c core-guided constraints 552
3600.00/3608.81	c encountered formula constraints 15145147
3600.00/3608.81	c encountered learned constraints 20320434
3600.00/3608.81	c encountered bound constraints 251
3600.00/3608.81	c encountered core-guided constraints 1375736
3600.00/3608.81	c LP total time 0 s
3600.00/3608.81	c LP solve time 0 s
3600.00/3608.81	c LP constraints added 0
3600.00/3608.81	c LP constraints removed 0
3600.00/3608.81	c LP pivots internal 0
3600.00/3608.81	c LP pivots root 0
3600.00/3608.81	c LP calls 0
3600.00/3608.81	c LP optimalities 0
3600.00/3608.81	c LP no pivot count 0
3600.00/3608.81	c LP infeasibilities 0
3600.00/3608.81	c LP valid Farkas constraints 0
3600.00/3608.81	c LP learned Farkas constraints 0
3600.00/3608.81	c LP basis resets 0
3600.00/3608.81	c LP cycling count 0
3600.00/3608.81	c LP singular count 0
3600.00/3608.81	c LP no primal count 0
3600.00/3608.81	c LP no farkas count 0
3600.00/3608.81	c LP other issue count 0
3600.00/3608.81	c LP Gomory cuts 0
3600.00/3608.81	c LP learned cuts 0
3600.00/3608.81	c LP deleted cuts 0
3600.00/3608.81	c LP encountered Gomory constraints 0
3600.00/3608.81	c LP encountered Farkas constraints 0
3600.00/3608.81	c LP encountered learned Farkas constraints 0
3600.00/3608.81	c CG auxiliary variables introduced 334
3600.00/3608.81	c CG solutions found 1
3600.00/3608.81	c CG cores constructed 32
3600.00/3608.81	c CG core cardinality constraints returned 0
3600.00/3608.81	c CG unit cores 0
3600.00/3608.81	c CG single cores 32
3600.00/3608.81	c CG blocks removed during cardinality reduction 0
3600.00/3608.81	c CG first core best 0
3600.00/3608.81	c CG decision core best 0
3600.00/3608.81	c CG core reduction tie 0
3600.00/3608.81	c CG core degree average 1.00
3600.00/3608.81	c CG core slack average 8.81
3600.00/3608.81	c CG exhausted 4
3600.00/3608.81	c CG exhaust time 4.69096 s
3600.00/3608.81	c CG trimmed 2
3600.00/3608.81	c CG trim time 0.001652 s
3600.00/3608.81	c CG minimized 0
3600.00/3608.81	c CG minimize time 0 s
3600.00/3608.81	c CG am1 prop time 0.013012 s
3600.00/3608.81	c CG # am1s reformulated 213
3600.00/3608.81	c CG lower bound derived from am1s 936
3600.00/3608.81	c CG # clausal cores 32
3600.00/3608.81	c CG # cardinality cores 0
3600.00/3608.81	c CG # pb cores 0
3600.00/3608.81	c CG # pb reforms 0
3600.00/3608.81	c CG # cores discarded because of pb reform 0
3600.00/3608.81	d LOWERBOUND -178
3600.00/3608.81	d NCORES 32
3600.00/3608.81	d NPBCORES 0
3600.00/3608.81	d NPBREFORM 0
3600.00/3608.81	d NTRIMMED 2
3600.00/3608.81	d NEXHAUSTED 4
3600.00/3608.81	d NAM1S 213
3600.00/3608.81	d AM1LB 936
3600.00/3608.81	o -36
3600.00/3608.81	s SATISFIABLE
3600.00/3608.81	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

Verifier Data 

OK	-36

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62851 MiB free)
  memory of node 1: 64510 MiB (63090 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454367-1721437414/watcher-4454367-1721437414 -o /tmp/evaluation-result-4454367-1721437414/solver-4454367-1721437414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032988 --watchdog 3760 pb-oll-rs HOME/instance-4454367-1721437414.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100097 s]*
/proc/loadavg: 1.04 1.13 1.59 8/244 1033049
/proc/meminfo: memFree=128955076/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=39648 memory=5940 CPUtime=0.1 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 544 0 0 0 7 3 0 0 20 0 1 0 195900991 40599552 1485 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 9912 1485 1167 291 0 1446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 5940 KiB

[startup+0.214516 s]*
/proc/loadavg: 1.04 1.13 1.59 8/244 1033049
/proc/meminfo: memFree=128949520/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=40044 memory=8512 CPUtime=0.22 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 669 0 0 0 16 6 0 0 20 0 1 0 195900991 41005056 2128 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 10011 2128 1167 291 0 1545 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 8512 KiB

[startup+0.313617 s]*
/proc/loadavg: 1.04 1.13 1.59 7/244 1033049
/proc/meminfo: memFree=128941864/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=40308 memory=9040 CPUtime=0.31 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 762 0 0 0 23 8 0 0 20 0 1 0 195900991 41275392 2260 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 10077 2260 1167 291 0 1611 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 9040 KiB

[startup+0.700269 s]
/proc/loadavg: 1.04 1.13 1.59 7/244 1033049
/proc/meminfo: memFree=128931208/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=45060 memory=14740 CPUtime=0.69 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 2125 0 0 0 50 19 0 0 20 0 1 0 195900991 46141440 3685 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 11265 3685 1279 291 0 2799 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45060 KiB
Current children cumulated memory: 14740 KiB

[startup+1.50031 s]
/proc/loadavg: 1.04 1.13 1.59 8/244 1033049
/proc/meminfo: memFree=128891256/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=60612 memory=30952 CPUtime=1.49 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 5871 0 0 0 125 24 0 0 20 0 1 0 195900991 62066688 7738 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 15153 7738 1358 291 0 6687 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60612 KiB
Current children cumulated memory: 30952 KiB

[startup+3.1136 s]
/proc/loadavg: 1.36 1.19 1.60 8/244 1033051
/proc/meminfo: memFree=128821344/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=70224 memory=39736 CPUtime=3.1 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 7023 0 0 0 284 26 0 0 20 0 1 0 195900991 71909376 9934 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 17556 9934 1416 291 0 9090 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 39736 KiB

[startup+6.30026 s]
/proc/loadavg: 1.36 1.19 1.60 7/244 1033051
/proc/meminfo: memFree=128782820/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=87644 memory=51324 CPUtime=6.27 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 8899 0 0 0 597 30 0 0 20 0 1 0 195900991 89747456 12831 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 21911 12831 1416 291 0 13445 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87644 KiB
Current children cumulated memory: 51324 KiB

[startup+12.7003 s]
/proc/loadavg: 1.76 1.28 1.63 7/244 1033052
/proc/meminfo: memFree=128765240/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=88304 memory=52176 CPUtime=12.66 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 9415 0 0 0 1225 41 0 0 20 0 1 0 195900991 90423296 13044 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 22076 13044 1416 291 0 13610 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 88304 KiB
Current children cumulated memory: 52176 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 1.37 1.66 8/244 1033055
/proc/meminfo: memFree=128759524/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=90972 memory=54724 CPUtime=25.43 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 11316 0 0 0 2489 54 0 0 20 0 1 0 195900991 93155328 13681 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 22743 13681 1416 291 0 14277 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90972 KiB
Current children cumulated memory: 54724 KiB

[startup+51.1131 s]
/proc/loadavg: 2.83 1.60 1.73 8/244 1033058
/proc/meminfo: memFree=128748400/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=91936 memory=55568 CPUtime=50.98 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 12223 0 0 0 5023 75 0 0 20 0 1 0 195900991 94142464 13892 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 22984 13892 1416 291 0 14518 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 91936 KiB
Current children cumulated memory: 55568 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.02 1.86 8/244 1033068
/proc/meminfo: memFree=128742360/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=90120 memory=54208 CPUtime=102.04 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 13962 0 0 0 10097 107 0 0 20 0 1 0 195900991 92282880 13552 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 22530 13552 1416 291 0 14064 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 90120 KiB
Current children cumulated memory: 54208 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.42 2.01 8/243 1033079
/proc/meminfo: memFree=128736264/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=93936 memory=57924 CPUtime=161.9 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 14942 0 0 0 16054 136 0 0 20 0 1 0 195900991 96190464 14481 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 23484 14481 1416 291 0 15018 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 93936 KiB
Current children cumulated memory: 57924 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.74 2.15 8/243 1033089
/proc/meminfo: memFree=128731332/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=94928 memory=58768 CPUtime=221.77 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 15874 0 0 0 22014 163 0 0 20 0 1 0 195900991 97206272 14692 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 23732 14692 1416 291 0 15266 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 94928 KiB
Current children cumulated memory: 58768 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 3.03 2.29 8/242 1033099
/proc/meminfo: memFree=128727312/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=96076 memory=59996 CPUtime=281.63 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 16212 0 0 0 27979 184 0 0 20 0 1 0 195900991 98381824 14999 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 24019 14999 1416 291 0 15553 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 59996 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.23 2.40 8/242 1033110
/proc/meminfo: memFree=128726756/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=96076 memory=60204 CPUtime=341.49 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 16230 0 0 0 33940 209 0 0 20 0 1 0 195900991 98381824 15051 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 24019 15051 1416 291 0 15553 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 96076 KiB
Current children cumulated memory: 60204 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.38 2.51 7/242 1033120
/proc/meminfo: memFree=128718512/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=97660 memory=61448 CPUtime=401.35 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 17275 0 0 0 39910 225 0 0 20 0 1 0 195900991 100003840 15362 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 24415 15362 1416 291 0 15949 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 61448 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.53 2.62 8/244 1033134
/proc/meminfo: memFree=128715124/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=97548 memory=61580 CPUtime=461.19 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 17900 0 0 0 45873 246 0 0 20 0 1 0 195900991 99889152 15395 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 24387 15395 1416 291 0 15921 0

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

Current children cumulated memory: 90904 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.06 7/244 1034198
/proc/meminfo: memFree=128504424/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=129268 memory=92952 CPUtime=2855.32 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 26029 0 0 0 284748 784 0 0 20 0 1 0 195900991 132370432 23238 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32317 23238 1416 291 0 23851 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 129268 KiB
Current children cumulated memory: 92952 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.06 8/244 1034208
/proc/meminfo: memFree=128496640/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=131004 memory=96712 CPUtime=2915.18 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 26490 0 0 0 290726 792 0 0 20 0 1 0 195900991 134148096 24178 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32751 24178 1416 291 0 24285 0
Current children cumulated CPU time: 2915.18 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 96712 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.06 8/244 1034219
/proc/meminfo: memFree=128492672/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=131004 memory=96712 CPUtime=2975.03 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 26526 0 0 0 296703 800 0 0 20 0 1 0 195900991 134148096 24178 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32751 24178 1416 291 0 24285 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 96712 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.06 7/244 1034230
/proc/meminfo: memFree=128492288/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=131004 memory=96712 CPUtime=3034.88 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 26557 0 0 0 302677 811 0 0 20 0 1 0 195900991 134148096 24178 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32751 24178 1416 291 0 24285 0
Current children cumulated CPU time: 3034.88 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 96712 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.06 7/243 1034240
/proc/meminfo: memFree=128491772/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=131004 memory=96712 CPUtime=3094.74 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 26593 0 0 0 308650 824 0 0 20 0 1 0 195900991 134148096 24178 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32751 24178 1416 291 0 24285 0
Current children cumulated CPU time: 3094.74 s
Current children cumulated vsize: 131004 KiB
Current children cumulated memory: 96712 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.07 7/244 1034636
/proc/meminfo: memFree=128491724/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95544 CPUtime=3154.59 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27214 0 0 0 314619 840 0 0 20 0 1 0 195900991 133259264 23886 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23886 1416 291 0 24068 0
Current children cumulated CPU time: 3154.59 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.07 8/244 1034646
/proc/meminfo: memFree=128488720/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95792 CPUtime=3214.44 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27246 0 0 0 320592 852 0 0 20 0 1 0 195900991 133259264 23948 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23948 1416 291 0 24068 0
Current children cumulated CPU time: 3214.44 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.07 8/244 1034656
/proc/meminfo: memFree=128491160/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95792 CPUtime=3274.3 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27283 0 0 0 326567 863 0 0 20 0 1 0 195900991 133259264 23948 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23948 1416 291 0 24068 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.07 8/245 1034836
/proc/meminfo: memFree=128490560/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95792 CPUtime=3334.15 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27322 0 0 0 332543 872 0 0 20 0 1 0 195900991 133259264 23948 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23948 1416 291 0 24068 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.07 8/246 1034849
/proc/meminfo: memFree=128490496/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95864 CPUtime=3394.01 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27366 0 0 0 338522 879 0 0 20 0 1 0 195900991 133259264 23966 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23966 1416 291 0 24068 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.08 8/244 1034870
/proc/meminfo: memFree=128489584/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=130136 memory=95864 CPUtime=3453.86 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27410 0 0 0 344500 886 0 0 20 0 1 0 195900991 133259264 23966 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 32534 23966 1416 291 0 24068 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 130136 KiB
Current children cumulated memory: 95864 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.08 8/244 1034880
/proc/meminfo: memFree=128484168/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=132412 memory=100044 CPUtime=3513.72 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 27998 0 0 0 350477 895 0 0 20 0 1 0 195900991 135589888 25011 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 33103 25011 1416 291 0 24637 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 100044 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.09 8/245 1034892
/proc/meminfo: memFree=128483988/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=132412 memory=100132 CPUtime=3573.57 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 28034 0 0 0 356454 903 0 0 20 0 1 0 195900991 135589888 25033 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 33103 25033 1416 291 0 24637 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 100132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.10 4.11 4.09 8/244 1034896
/proc/meminfo: memFree=128483764/131655788 swapFree=131071996/131071996
[pid=1033044] ppid=1033032 vsize=132412 memory=100132 CPUtime=3600 cores=1,3
/proc/1033044/stat : 1033044 (pb-oll-rs) R 1033032 1033044 1032976 0 -1 4194304 28035 0 0 0 359094 906 0 0 20 0 1 0 195900991 135589888 25033 134679101440 4194304 5384485 140731105256016 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 21499904 140731105264661 140731105264738 140731105264738 140731105271755 0
/proc/1033044/statm: 33103 25033 1416 291 0 24637 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 132412 KiB
Current children cumulated memory: 100132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.96 s, system=9.06884 s

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

Child status: 0

Real time (s): 3608.82
CPU time (s): 3600.03
CPU user time (s): 3590.96
CPU system time (s): 9.06884
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 132412
Max. memory (cumulated for all children) (KiB): 100132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.96
system time used= 9.06884
maximum resident set size= 100800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28050
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= 30
involuntary context switches= 1279


# summary of solver processes directly reported to runsolver:
#   pid: 1033044
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.96
#   total CPU system time (s): 9.06884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4251 second user time and 36.5616 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 03:03:46
IDJOB=4454367
IDBENCH=146677
IDSOLVER=3082
FILE ID=nodeC009/4454367-1721437414
RUNJOBID= nodeC009-1721437426-1032988
SLURM_JOB_ID= 7545646
Free space on /tmp= 723764 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454367-1721437414/watcher-4454367-1721437414 -o /tmp/evaluation-result-4454367-1721437414/solver-4454367-1721437414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721437426-1032988 --watchdog 3760  pb-oll-rs HOME/instance-4454367-1721437414.opb

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

MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=817136528

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128965292 kB
MemAvailable:   129906156 kB
Buffers:          588564 kB
Cached:          1196824 kB
SwapCached:            0 kB
Active:          1139208 kB
Inactive:         998388 kB
Active(anon):       1380 kB
Inactive(anon):   396712 kB
Active(file):    1137828 kB
Inactive(file):   601676 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15044 kB
Writeback:             0 kB
AnonPages:        352072 kB
Mapped:           107084 kB
Shmem:             45892 kB
KReclaimable:      82784 kB
Slab:             183924 kB
SReclaimable:      82784 kB
SUnreclaim:       101140 kB
KernelStack:        3696 kB
PageTables:         9888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     657272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC009 at 2024-07-20 04:03:55