Trace number 4524386

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 2025-05-06SAT (TO)-34 3600.04 3608.4

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
MD5SUMe7657c6e4289f102872f35c7391497ac
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1.68694
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints788
Number of constraints which are clauses788
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 constraint1
Maximum length of a constraint2
Number of terms in the objective function 125
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 125
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 125
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 126 #constraints 788
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -125 @ 0.000919
0.00/0.01	c stratification level: 0
0.00/0.01	c bounds - >= -58 @ 0.001727
0.00/0.01	c bounds - >= -57 @ 0.001864
0.00/0.01	c bounds - >= -56 @ 0.001897
0.00/0.01	c bounds - >= -55 @ 0.001934
0.00/0.01	c bounds - >= -54 @ 0.001967
0.00/0.01	c bounds - >= -53 @ 0.002014
0.00/0.01	c bounds - >= -52 @ 0.002094
0.00/0.01	c bounds - >= -51 @ 0.002184
0.00/0.01	c bounds - >= -50 @ 0.002305
0.00/0.01	c finalizing WCE round: reformulating cores
0.00/0.08	c #Conflicts:       1000 | #Constraints:       1877
0.00/0.08	c bounds -30 >= -50 @ 0.058283
0.00/0.08	c bounds -30 >= -49 @ 0.058604
0.00/0.08	c bounds -30 >= -48 @ 0.059199
0.00/0.08	c bounds -30 >= -47 @ 0.061512
0.00/0.08	c finalizing WCE round: reformulating cores
4.17/4.25	c bounds -31 >= -49 @ 0.089563
4.17/4.25	c #Conflicts:       2000 | #Constraints:       2925
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c bounds -31 >= -49 @ 0.168075
4.17/4.25	c #Conflicts:       3000 | #Constraints:       2884
4.17/4.25	c bounds -32 >= -46 @ 0.249739
4.17/4.25	c #Conflicts:       4000 | #Constraints:       3891
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c bounds -33 >= -44 @ 0.351873
4.17/4.25	c bounds -33 >= -43 @ 0.354489
4.17/4.25	c bounds -33 >= -42 @ 0.3805
4.17/4.25	c #Conflicts:       5000 | #Constraints:       3113
4.17/4.25	c #Conflicts:       6000 | #Constraints:       4113
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:       7000 | #Constraints:       3227
4.17/4.25	c #Conflicts:       8000 | #Constraints:       4227
4.17/4.25	c #Conflicts:       9000 | #Constraints:       5227
4.17/4.25	c bounds -33 >= -41 @ 0.98495
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:      10000 | #Constraints:       3989
4.17/4.25	c #Conflicts:      11000 | #Constraints:       4989
4.17/4.25	c #Conflicts:      12000 | #Constraints:       5989
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:      13000 | #Constraints:       4463
4.17/4.25	c #Conflicts:      14000 | #Constraints:       5463
4.17/4.25	c #Conflicts:      15000 | #Constraints:       6463
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:      16000 | #Constraints:       4705
4.17/4.25	c #Conflicts:      17000 | #Constraints:       5705
4.17/4.25	c #Conflicts:      18000 | #Constraints:       6705
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:      19000 | #Constraints:       4726
4.17/4.25	c #Conflicts:      20000 | #Constraints:       5726
4.17/4.25	c #Conflicts:      21000 | #Constraints:       6726
4.17/4.25	c INPROCESSING
4.17/4.25	c GARBAGE COLLECT
4.17/4.25	c #Conflicts:      22000 | #Constraints:       4536
4.17/4.25	c #Conflicts:      23000 | #Constraints:       5536
4.17/4.25	c finalizing WCE round: reformulating cores
37.28/37.49	c #Conflicts:      24000 | #Constraints:       6539
37.28/37.49	c #Conflicts:      25000 | #Constraints:       7541
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c bounds -34 >= -41 @ 4.61398
37.28/37.49	c bounds -34 >= -40 @ 4.71568
37.28/37.49	c #Conflicts:      26000 | #Constraints:       5166
37.28/37.49	c #Conflicts:      27000 | #Constraints:       6166
37.28/37.49	c bounds -34 >= -39 @ 4.91921
37.28/37.49	c #Conflicts:      28000 | #Constraints:       7188
37.28/37.49	c #Conflicts:      29000 | #Constraints:       8188
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      30000 | #Constraints:       5569
37.28/37.49	c #Conflicts:      31000 | #Constraints:       6569
37.28/37.49	c #Conflicts:      32000 | #Constraints:       7569
37.28/37.49	c #Conflicts:      33000 | #Constraints:       8569
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      34000 | #Constraints:       5770
37.28/37.49	c #Conflicts:      35000 | #Constraints:       6770
37.28/37.49	c #Conflicts:      36000 | #Constraints:       7770
37.28/37.49	c #Conflicts:      37000 | #Constraints:       8770
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      38000 | #Constraints:       5779
37.28/37.49	c #Conflicts:      39000 | #Constraints:       6779
37.28/37.49	c bounds -34 >= -38 @ 7.27852
37.28/37.49	c #Conflicts:      40000 | #Constraints:       7801
37.28/37.49	c #Conflicts:      41000 | #Constraints:       8801
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      42000 | #Constraints:       5584
37.28/37.49	c #Conflicts:      43000 | #Constraints:       6584
37.28/37.49	c #Conflicts:      44000 | #Constraints:       7584
37.28/37.49	c #Conflicts:      45000 | #Constraints:       8584
37.28/37.49	c #Conflicts:      46000 | #Constraints:       9584
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      47000 | #Constraints:       6180
37.28/37.49	c #Conflicts:      48000 | #Constraints:       7180
37.28/37.49	c #Conflicts:      49000 | #Constraints:       8180
37.28/37.49	c #Conflicts:      50000 | #Constraints:       9180
37.28/37.49	c #Conflicts:      51000 | #Constraints:      10180
37.28/37.49	c #Conflicts:      52000 | #Constraints:      11180
37.28/37.49	c #Conflicts:      53000 | #Constraints:      12180
37.28/37.49	c #Conflicts:      54000 | #Constraints:      13180
37.28/37.49	c #Conflicts:      55000 | #Constraints:      14180
37.28/37.49	c #Conflicts:      56000 | #Constraints:      15180
37.28/37.49	c #Conflicts:      57000 | #Constraints:      16180
37.28/37.49	c #Conflicts:      58000 | #Constraints:      17180
37.28/37.49	c #Conflicts:      59000 | #Constraints:      18180
37.28/37.49	c #Conflicts:      60000 | #Constraints:      19180
37.28/37.49	c #Conflicts:      61000 | #Constraints:      20180
37.28/37.49	c #Conflicts:      62000 | #Constraints:      21180
37.28/37.49	c #Conflicts:      63000 | #Constraints:      22180
37.28/37.49	c #Conflicts:      64000 | #Constraints:      23180
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      65000 | #Constraints:      12833
37.28/37.49	c #Conflicts:      66000 | #Constraints:      13833
37.28/37.49	c #Conflicts:      67000 | #Constraints:      14833
37.28/37.49	c #Conflicts:      68000 | #Constraints:      15833
37.28/37.49	c #Conflicts:      69000 | #Constraints:      16833
37.28/37.49	c #Conflicts:      70000 | #Constraints:      17833
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      71000 | #Constraints:      10210
37.28/37.49	c #Conflicts:      72000 | #Constraints:      11210
37.28/37.49	c #Conflicts:      73000 | #Constraints:      12210
37.28/37.49	c #Conflicts:      74000 | #Constraints:      13210
37.28/37.49	c #Conflicts:      75000 | #Constraints:      14210
37.28/37.49	c #Conflicts:      76000 | #Constraints:      15210
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      77000 | #Constraints:       8849
37.28/37.49	c #Conflicts:      78000 | #Constraints:       9849
37.28/37.49	c #Conflicts:      79000 | #Constraints:      10849
37.28/37.49	c #Conflicts:      80000 | #Constraints:      11849
37.28/37.49	c #Conflicts:      81000 | #Constraints:      12849
37.28/37.49	c #Conflicts:      82000 | #Constraints:      13849
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      83000 | #Constraints:       8023
37.28/37.49	c #Conflicts:      84000 | #Constraints:       9023
37.28/37.49	c #Conflicts:      85000 | #Constraints:      10023
37.28/37.49	c #Conflicts:      86000 | #Constraints:      11023
37.28/37.49	c #Conflicts:      87000 | #Constraints:      12023
37.28/37.49	c #Conflicts:      88000 | #Constraints:      13023
37.28/37.49	c #Conflicts:      89000 | #Constraints:      14023
37.28/37.49	c INPROCESSING
37.28/37.49	c GARBAGE COLLECT
37.28/37.49	c #Conflicts:      90000 | #Constraints:       8354
37.28/37.49	c #Conflicts:      91000 | #Constraints:       9354
37.28/37.49	c #Conflicts:      92000 | #Constraints:      10354
37.28/37.49	c #Conflicts:      93000 | #Constraints:      11354
107.10/107.48	c #Conflicts:      94000 | #Constraints:      12354
107.10/107.48	c #Conflicts:      95000 | #Constraints:      13354
107.10/107.48	c #Conflicts:      96000 | #Constraints:      14354
107.10/107.48	c #Conflicts:      97000 | #Constraints:      15354
107.10/107.48	c #Conflicts:      98000 | #Constraints:      16354
107.10/107.48	c #Conflicts:      99000 | #Constraints:      17354
107.10/107.48	c #Conflicts:     100000 | #Constraints:      18354
107.10/107.48	c #Conflicts:     101000 | #Constraints:      19354
107.10/107.48	c #Conflicts:     102000 | #Constraints:      20354
107.10/107.48	c #Conflicts:     103000 | #Constraints:      21354
107.10/107.48	c #Conflicts:     104000 | #Constraints:      22354
107.10/107.48	c #Conflicts:     105000 | #Constraints:      23354
107.10/107.48	c #Conflicts:     106000 | #Constraints:      24354
107.10/107.48	c #Conflicts:     107000 | #Constraints:      25354
107.10/107.48	c #Conflicts:     108000 | #Constraints:      26354
107.10/107.48	c #Conflicts:     109000 | #Constraints:      27354
107.10/107.48	c #Conflicts:     110000 | #Constraints:      28354
107.10/107.48	c #Conflicts:     111000 | #Constraints:      29354
107.10/107.48	c #Conflicts:     112000 | #Constraints:      30354
107.10/107.48	c #Conflicts:     113000 | #Constraints:      31354
107.10/107.48	c #Conflicts:     114000 | #Constraints:      32354
107.10/107.48	c INPROCESSING
107.10/107.48	c GARBAGE COLLECT
107.10/107.48	c #Conflicts:     115000 | #Constraints:      17673
107.10/107.48	c #Conflicts:     116000 | #Constraints:      18673
107.10/107.48	c #Conflicts:     117000 | #Constraints:      19673
107.10/107.48	c #Conflicts:     118000 | #Constraints:      20673
107.10/107.48	c #Conflicts:     119000 | #Constraints:      21673
107.10/107.48	c #Conflicts:     120000 | #Constraints:      22673
107.10/107.48	c #Conflicts:     121000 | #Constraints:      23673
107.10/107.48	c INPROCESSING
107.10/107.48	c GARBAGE COLLECT
107.10/107.48	c #Conflicts:     122000 | #Constraints:      12931
107.10/107.48	c #Conflicts:     123000 | #Constraints:      13931
107.10/107.48	c #Conflicts:     124000 | #Constraints:      14931
107.10/107.48	c #Conflicts:     125000 | #Constraints:      15931
107.10/107.48	c #Conflicts:     126000 | #Constraints:      16931
107.10/107.48	c #Conflicts:     127000 | #Constraints:      17931
107.10/107.48	c #Conflicts:     128000 | #Constraints:      18931
107.10/107.48	c #Conflicts:     129000 | #Constraints:      19931
107.10/107.48	c INPROCESSING
107.10/107.48	c GARBAGE COLLECT
107.10/107.48	c #Conflicts:     130000 | #Constraints:      11057
107.10/107.48	c #Conflicts:     131000 | #Constraints:      12057
107.10/107.48	c #Conflicts:     132000 | #Constraints:      13057
107.10/107.48	c #Conflicts:     133000 | #Constraints:      14057
107.10/107.48	c #Conflicts:     134000 | #Constraints:      15057
107.10/107.48	c #Conflicts:     135000 | #Constraints:      16057
107.10/107.48	c #Conflicts:     136000 | #Constraints:      17057
107.10/107.48	c #Conflicts:     137000 | #Constraints:      18057
107.10/107.48	c #Conflicts:     138000 | #Constraints:      19057
107.10/107.48	c INPROCESSING
107.10/107.48	c GARBAGE COLLECT
107.10/107.48	c #Conflicts:     139000 | #Constraints:      11029
107.10/107.48	c #Conflicts:     140000 | #Constraints:      12029
107.10/107.48	c #Conflicts:     141000 | #Constraints:      13029
107.10/107.48	c #Conflicts:     142000 | #Constraints:      14029
107.10/107.48	c #Conflicts:     143000 | #Constraints:      15029
107.10/107.48	c #Conflicts:     144000 | #Constraints:      16029
107.10/107.48	c #Conflicts:     145000 | #Constraints:      17029
107.10/107.48	c #Conflicts:     146000 | #Constraints:      18029
107.10/107.48	c INPROCESSING
107.10/107.48	c GARBAGE COLLECT
107.10/107.48	c #Conflicts:     147000 | #Constraints:      10310
107.10/107.48	c #Conflicts:     148000 | #Constraints:      11310
107.10/107.48	c #Conflicts:     149000 | #Constraints:      12310
107.10/107.48	c #Conflicts:     150000 | #Constraints:      13310
107.10/107.48	c #Conflicts:     151000 | #Constraints:      14310
107.10/107.48	c #Conflicts:     152000 | #Constraints:      15310
107.10/107.48	c #Conflicts:     153000 | #Constraints:      16310
107.10/107.48	c #Conflicts:     154000 | #Constraints:      17310
107.10/107.48	c #Conflicts:     155000 | #Constraints:      18310
107.10/107.48	c #Conflicts:     156000 | #Constraints:      19310
107.10/107.48	c #Conflicts:     157000 | #Constraints:      20310
107.10/107.48	c #Conflicts:     158000 | #Constraints:      21310
107.10/107.48	c #Conflicts:     159000 | #Constraints:      22310
107.10/107.48	c #Conflicts:     160000 | #Constraints:      23310
107.10/107.48	c #Conflicts:     161000 | #Constraints:      24310
107.10/107.48	c #Conflicts:     162000 | #Constraints:      25310
107.10/107.48	c #Conflicts:     163000 | #Constraints:      26310
107.10/107.48	c #Conflicts:     164000 | #Constraints:      27310
107.10/107.48	c #Conflicts:     165000 | #Constraints:      28310
107.10/107.48	c #Conflicts:     166000 | #Constraints:      29310
107.10/107.48	c #Conflicts:     167000 | #Constraints:      30310
107.10/107.48	c #Conflicts:     168000 | #Constraints:      31310
107.10/107.48	c #Conflicts:     169000 | #Constraints:      32310
192.61/193.29	c #Conflicts:     170000 | #Constraints:      33310
192.61/193.29	c #Conflicts:     171000 | #Constraints:      34310
192.61/193.29	c #Conflicts:     172000 | #Constraints:      35310
192.61/193.29	c #Conflicts:     173000 | #Constraints:      36310
192.61/193.29	c #Conflicts:     174000 | #Constraints:      37310
192.61/193.29	c #Conflicts:     175000 | #Constraints:      38310
192.61/193.29	c #Conflicts:     176000 | #Constraints:      39310
192.61/193.29	c #Conflicts:     177000 | #Constraints:      40310
192.61/193.29	c INPROCESSING
192.61/193.29	c GARBAGE COLLECT
192.61/193.29	c #Conflicts:     178000 | #Constraints:      21408
192.61/193.29	c #Conflicts:     179000 | #Constraints:      22408
192.61/193.29	c #Conflicts:     180000 | #Constraints:      23408
192.61/193.29	c #Conflicts:     181000 | #Constraints:      24408
192.61/193.29	c #Conflicts:     182000 | #Constraints:      25408
192.61/193.29	c #Conflicts:     183000 | #Constraints:      26408
192.61/193.29	c #Conflicts:     184000 | #Constraints:      27408
192.61/193.29	c #Conflicts:     185000 | #Constraints:      28408
192.61/193.29	c #Conflicts:     186000 | #Constraints:      29408
192.61/193.29	c #Conflicts:     187000 | #Constraints:      30408
192.61/193.29	c INPROCESSING
192.61/193.29	c GARBAGE COLLECT
192.61/193.29	c #Conflicts:     188000 | #Constraints:      16600
192.61/193.29	c #Conflicts:     189000 | #Constraints:      17600
192.61/193.29	c #Conflicts:     190000 | #Constraints:      18600
192.61/193.29	c #Conflicts:     191000 | #Constraints:      19600
192.61/193.29	c #Conflicts:     192000 | #Constraints:      20600
192.61/193.29	c #Conflicts:     193000 | #Constraints:      21600
192.61/193.29	c #Conflicts:     194000 | #Constraints:      22600
192.61/193.29	c #Conflicts:     195000 | #Constraints:      23600
192.61/193.29	c #Conflicts:     196000 | #Constraints:      24600
192.61/193.29	c #Conflicts:     197000 | #Constraints:      25600
192.61/193.29	c INPROCESSING
192.61/193.29	c GARBAGE COLLECT
192.61/193.29	c #Conflicts:     198000 | #Constraints:      14252
192.61/193.29	c #Conflicts:     199000 | #Constraints:      15252
192.61/193.29	c #Conflicts:     200000 | #Constraints:      16252
192.61/193.29	c #Conflicts:     201000 | #Constraints:      17252
192.61/193.29	c #Conflicts:     202000 | #Constraints:      18252
192.61/193.29	c #Conflicts:     203000 | #Constraints:      19252
192.61/193.29	c #Conflicts:     204000 | #Constraints:      20252
192.61/193.29	c #Conflicts:     205000 | #Constraints:      21252
192.61/193.29	c #Conflicts:     206000 | #Constraints:      22252
192.61/193.29	c #Conflicts:     207000 | #Constraints:      23252
192.61/193.29	c INPROCESSING
192.61/193.29	c GARBAGE COLLECT
192.61/193.29	c #Conflicts:     208000 | #Constraints:      13017
192.61/193.29	c #Conflicts:     209000 | #Constraints:      14017
192.61/193.29	c #Conflicts:     210000 | #Constraints:      15017
192.61/193.29	c #Conflicts:     211000 | #Constraints:      16017
192.61/193.29	c #Conflicts:     212000 | #Constraints:      17017
192.61/193.29	c #Conflicts:     213000 | #Constraints:      18017
192.61/193.29	c #Conflicts:     214000 | #Constraints:      19017
192.61/193.29	c #Conflicts:     215000 | #Constraints:      20017
192.61/193.29	c #Conflicts:     216000 | #Constraints:      21017
192.61/193.29	c #Conflicts:     217000 | #Constraints:      22017
192.61/193.29	c INPROCESSING
192.61/193.29	c GARBAGE COLLECT
192.61/193.29	c #Conflicts:     218000 | #Constraints:      12263
192.61/193.29	c #Conflicts:     219000 | #Constraints:      13263
192.61/193.29	c #Conflicts:     220000 | #Constraints:      14263
192.61/193.29	c #Conflicts:     221000 | #Constraints:      15263
192.61/193.29	c #Conflicts:     222000 | #Constraints:      16263
192.61/193.29	c #Conflicts:     223000 | #Constraints:      17263
192.61/193.29	c #Conflicts:     224000 | #Constraints:      18263
192.61/193.29	c #Conflicts:     225000 | #Constraints:      19263
192.61/193.29	c #Conflicts:     226000 | #Constraints:      20263
192.61/193.29	c #Conflicts:     227000 | #Constraints:      21263
192.61/193.29	c #Conflicts:     228000 | #Constraints:      22263
192.61/193.29	c #Conflicts:     229000 | #Constraints:      23263
192.61/193.29	c #Conflicts:     230000 | #Constraints:      24263
192.61/193.29	c #Conflicts:     231000 | #Constraints:      25263
192.61/193.29	c #Conflicts:     232000 | #Constraints:      26263
192.61/193.29	c #Conflicts:     233000 | #Constraints:      27263
192.61/193.29	c #Conflicts:     234000 | #Constraints:      28263
192.61/193.29	c #Conflicts:     235000 | #Constraints:      29263
192.61/193.29	c #Conflicts:     236000 | #Constraints:      30263
192.61/193.29	c #Conflicts:     237000 | #Constraints:      31263
192.61/193.29	c #Conflicts:     238000 | #Constraints:      32263
192.61/193.29	c #Conflicts:     239000 | #Constraints:      33263
192.61/193.29	c #Conflicts:     240000 | #Constraints:      34263
192.61/193.29	c #Conflicts:     241000 | #Constraints:      35263
192.61/193.29	c #Conflicts:     242000 | #Constraints:      36263
192.61/193.29	c #Conflicts:     243000 | #Constraints:      37263
192.61/193.29	c #Conflicts:     244000 | #Constraints:      38263
300.09/301.08	c #Conflicts:     245000 | #Constraints:      39263
300.09/301.08	c #Conflicts:     246000 | #Constraints:      40263
300.09/301.08	c #Conflicts:     247000 | #Constraints:      41263
300.09/301.08	c #Conflicts:     248000 | #Constraints:      42263
300.09/301.08	c #Conflicts:     249000 | #Constraints:      43263
300.09/301.08	c #Conflicts:     250000 | #Constraints:      44263
300.09/301.08	c #Conflicts:     251000 | #Constraints:      45263
300.09/301.08	c #Conflicts:     252000 | #Constraints:      46263
300.09/301.08	c #Conflicts:     253000 | #Constraints:      47263
300.09/301.08	c #Conflicts:     254000 | #Constraints:      48263
300.09/301.08	c #Conflicts:     255000 | #Constraints:      49263
300.09/301.08	c INPROCESSING
300.09/301.08	c GARBAGE COLLECT
300.09/301.08	c #Conflicts:     256000 | #Constraints:      26126
300.09/301.08	c #Conflicts:     257000 | #Constraints:      27126
300.09/301.08	c #Conflicts:     258000 | #Constraints:      28126
300.09/301.08	c #Conflicts:     259000 | #Constraints:      29126
300.09/301.08	c #Conflicts:     260000 | #Constraints:      30126
300.09/301.08	c #Conflicts:     261000 | #Constraints:      31126
300.09/301.08	c #Conflicts:     262000 | #Constraints:      32126
300.09/301.08	c #Conflicts:     263000 | #Constraints:      33126
300.09/301.08	c #Conflicts:     264000 | #Constraints:      34126
300.09/301.08	c #Conflicts:     265000 | #Constraints:      35126
300.09/301.08	c #Conflicts:     266000 | #Constraints:      36126
300.09/301.08	c INPROCESSING
300.09/301.08	c GARBAGE COLLECT
300.09/301.08	c #Conflicts:     267000 | #Constraints:      19261
300.09/301.08	c #Conflicts:     268000 | #Constraints:      20261
300.09/301.08	c #Conflicts:     269000 | #Constraints:      21261
300.09/301.08	c #Conflicts:     270000 | #Constraints:      22261
300.09/301.08	c #Conflicts:     271000 | #Constraints:      23261
300.09/301.08	c #Conflicts:     272000 | #Constraints:      24261
300.09/301.08	c #Conflicts:     273000 | #Constraints:      25261
300.09/301.08	c #Conflicts:     274000 | #Constraints:      26261
300.09/301.08	c #Conflicts:     275000 | #Constraints:      27261
300.09/301.08	c #Conflicts:     276000 | #Constraints:      28261
300.09/301.08	c #Conflicts:     277000 | #Constraints:      29261
300.09/301.08	c #Conflicts:     278000 | #Constraints:      30261
300.09/301.08	c INPROCESSING
300.09/301.08	c GARBAGE COLLECT
300.09/301.08	c #Conflicts:     279000 | #Constraints:      16422
300.09/301.08	c #Conflicts:     280000 | #Constraints:      17422
300.09/301.08	c #Conflicts:     281000 | #Constraints:      18422
300.09/301.08	c #Conflicts:     282000 | #Constraints:      19422
300.09/301.08	c #Conflicts:     283000 | #Constraints:      20422
300.09/301.08	c #Conflicts:     284000 | #Constraints:      21422
300.09/301.08	c #Conflicts:     285000 | #Constraints:      22422
300.09/301.08	c #Conflicts:     286000 | #Constraints:      23422
300.09/301.08	c #Conflicts:     287000 | #Constraints:      24422
300.09/301.08	c #Conflicts:     288000 | #Constraints:      25422
300.09/301.08	c #Conflicts:     289000 | #Constraints:      26422
300.09/301.08	c #Conflicts:     290000 | #Constraints:      27422
300.09/301.08	c INPROCESSING
300.09/301.08	c GARBAGE COLLECT
300.09/301.08	c #Conflicts:     291000 | #Constraints:      15006
300.09/301.08	c #Conflicts:     292000 | #Constraints:      16006
300.09/301.08	c #Conflicts:     293000 | #Constraints:      17006
300.09/301.08	c #Conflicts:     294000 | #Constraints:      18006
300.09/301.08	c #Conflicts:     295000 | #Constraints:      19006
300.09/301.08	c #Conflicts:     296000 | #Constraints:      20006
300.09/301.08	c #Conflicts:     297000 | #Constraints:      21006
300.09/301.08	c #Conflicts:     298000 | #Constraints:      22006
300.09/301.08	c #Conflicts:     299000 | #Constraints:      23006
300.09/301.08	c #Conflicts:     300000 | #Constraints:      24006
300.09/301.08	c #Conflicts:     301000 | #Constraints:      25006
300.09/301.08	c #Conflicts:     302000 | #Constraints:      26006
300.09/301.08	c INPROCESSING
300.09/301.08	c GARBAGE COLLECT
300.09/301.08	c #Conflicts:     303000 | #Constraints:      14202
300.09/301.08	c #Conflicts:     304000 | #Constraints:      15202
300.09/301.08	c #Conflicts:     305000 | #Constraints:      16202
300.09/301.08	c #Conflicts:     306000 | #Constraints:      17202
300.09/301.08	c #Conflicts:     307000 | #Constraints:      18202
300.09/301.08	c #Conflicts:     308000 | #Constraints:      19202
300.09/301.08	c #Conflicts:     309000 | #Constraints:      20202
300.09/301.08	c #Conflicts:     310000 | #Constraints:      21202
300.09/301.08	c #Conflicts:     311000 | #Constraints:      22202
300.09/301.08	c #Conflicts:     312000 | #Constraints:      23202
300.09/301.08	c #Conflicts:     313000 | #Constraints:      24202
300.09/301.08	c #Conflicts:     314000 | #Constraints:      25202
300.09/301.08	c #Conflicts:     315000 | #Constraints:      26202
300.09/301.08	c #Conflicts:     316000 | #Constraints:      27202
300.09/301.08	c #Conflicts:     317000 | #Constraints:      28202
300.09/301.08	c #Conflicts:     318000 | #Constraints:      29202
300.09/301.08	c #Conflicts:     319000 | #Constraints:      30202
300.09/301.08	c #Conflicts:     320000 | #Constraints:      31202
450.87/452.22	c #Conflicts:     321000 | #Constraints:      32202
450.87/452.22	c #Conflicts:     322000 | #Constraints:      33202
450.87/452.22	c #Conflicts:     323000 | #Constraints:      34202
450.87/452.22	c #Conflicts:     324000 | #Constraints:      35202
450.87/452.22	c #Conflicts:     325000 | #Constraints:      36202
450.87/452.22	c #Conflicts:     326000 | #Constraints:      37202
450.87/452.22	c #Conflicts:     327000 | #Constraints:      38202
450.87/452.22	c #Conflicts:     328000 | #Constraints:      39202
450.87/452.22	c #Conflicts:     329000 | #Constraints:      40202
450.87/452.22	c #Conflicts:     330000 | #Constraints:      41202
450.87/452.22	c #Conflicts:     331000 | #Constraints:      42202
450.87/452.22	c #Conflicts:     332000 | #Constraints:      43202
450.87/452.22	c #Conflicts:     333000 | #Constraints:      44202
450.87/452.22	c #Conflicts:     334000 | #Constraints:      45202
450.87/452.22	c #Conflicts:     335000 | #Constraints:      46202
450.87/452.22	c #Conflicts:     336000 | #Constraints:      47202
450.87/452.22	c #Conflicts:     337000 | #Constraints:      48202
450.87/452.22	c #Conflicts:     338000 | #Constraints:      49202
450.87/452.22	c #Conflicts:     339000 | #Constraints:      50202
450.87/452.22	c #Conflicts:     340000 | #Constraints:      51202
450.87/452.22	c #Conflicts:     341000 | #Constraints:      52202
450.87/452.22	c #Conflicts:     342000 | #Constraints:      53202
450.87/452.22	c #Conflicts:     343000 | #Constraints:      54202
450.87/452.22	c #Conflicts:     344000 | #Constraints:      55202
450.87/452.22	c #Conflicts:     345000 | #Constraints:      56202
450.87/452.22	c #Conflicts:     346000 | #Constraints:      57202
450.87/452.22	c INPROCESSING
450.87/452.22	c GARBAGE COLLECT
450.87/452.22	c #Conflicts:     347000 | #Constraints:      29846
450.87/452.22	c #Conflicts:     348000 | #Constraints:      30846
450.87/452.22	c #Conflicts:     349000 | #Constraints:      31846
450.87/452.22	c #Conflicts:     350000 | #Constraints:      32846
450.87/452.22	c #Conflicts:     351000 | #Constraints:      33846
450.87/452.22	c #Conflicts:     352000 | #Constraints:      34846
450.87/452.22	c #Conflicts:     353000 | #Constraints:      35846
450.87/452.22	c #Conflicts:     354000 | #Constraints:      36846
450.87/452.22	c #Conflicts:     355000 | #Constraints:      37846
450.87/452.22	c #Conflicts:     356000 | #Constraints:      38846
450.87/452.22	c #Conflicts:     357000 | #Constraints:      39846
450.87/452.22	c #Conflicts:     358000 | #Constraints:      40846
450.87/452.22	c #Conflicts:     359000 | #Constraints:      41846
450.87/452.22	c #Conflicts:     360000 | #Constraints:      42846
450.87/452.22	c INPROCESSING
450.87/452.22	c GARBAGE COLLECT
450.87/452.22	c #Conflicts:     361000 | #Constraints:      22914
450.87/452.22	c #Conflicts:     362000 | #Constraints:      23914
450.87/452.22	c #Conflicts:     363000 | #Constraints:      24914
450.87/452.22	c #Conflicts:     364000 | #Constraints:      25914
450.87/452.22	c #Conflicts:     365000 | #Constraints:      26914
450.87/452.22	c #Conflicts:     366000 | #Constraints:      27914
450.87/452.22	c #Conflicts:     367000 | #Constraints:      28914
450.87/452.22	c #Conflicts:     368000 | #Constraints:      29914
450.87/452.22	c #Conflicts:     369000 | #Constraints:      30914
450.87/452.22	c #Conflicts:     370000 | #Constraints:      31914
450.87/452.22	c #Conflicts:     371000 | #Constraints:      32914
450.87/452.22	c #Conflicts:     372000 | #Constraints:      33914
450.87/452.22	c #Conflicts:     373000 | #Constraints:      34914
450.87/452.22	c INPROCESSING
450.87/452.22	c GARBAGE COLLECT
450.87/452.22	c #Conflicts:     374000 | #Constraints:      18597
450.87/452.22	c #Conflicts:     375000 | #Constraints:      19597
450.87/452.22	c #Conflicts:     376000 | #Constraints:      20597
450.87/452.22	c #Conflicts:     377000 | #Constraints:      21597
450.87/452.22	c #Conflicts:     378000 | #Constraints:      22597
450.87/452.22	c #Conflicts:     379000 | #Constraints:      23597
450.87/452.22	c #Conflicts:     380000 | #Constraints:      24597
450.87/452.22	c #Conflicts:     381000 | #Constraints:      25597
450.87/452.22	c #Conflicts:     382000 | #Constraints:      26597
450.87/452.22	c #Conflicts:     383000 | #Constraints:      27597
450.87/452.22	c #Conflicts:     384000 | #Constraints:      28597
450.87/452.22	c #Conflicts:     385000 | #Constraints:      29597
450.87/452.22	c #Conflicts:     386000 | #Constraints:      30597
450.87/452.22	c #Conflicts:     387000 | #Constraints:      31597
450.87/452.22	c INPROCESSING
450.87/452.22	c GARBAGE COLLECT
450.87/452.22	c #Conflicts:     388000 | #Constraints:      16992
450.87/452.22	c #Conflicts:     389000 | #Constraints:      17992
450.87/452.22	c #Conflicts:     390000 | #Constraints:      18992
450.87/452.22	c #Conflicts:     391000 | #Constraints:      19992
450.87/452.22	c #Conflicts:     392000 | #Constraints:      20992
450.87/452.22	c #Conflicts:     393000 | #Constraints:      21992
450.87/452.22	c #Conflicts:     394000 | #Constraints:      22992
450.87/452.22	c #Conflicts:     395000 | #Constraints:      23992
450.87/452.22	c #Conflicts:     396000 | #Constraints:      24992
662.98/664.95	c #Conflicts:     397000 | #Constraints:      25992
662.98/664.95	c #Conflicts:     398000 | #Constraints:      26992
662.98/664.95	c #Conflicts:     399000 | #Constraints:      27992
662.98/664.95	c #Conflicts:     400000 | #Constraints:      28992
662.98/664.95	c #Conflicts:     401000 | #Constraints:      29992
662.98/664.95	c INPROCESSING
662.98/664.95	c GARBAGE COLLECT
662.98/664.95	c #Conflicts:     402000 | #Constraints:      16145
662.98/664.95	c #Conflicts:     403000 | #Constraints:      17145
662.98/664.95	c #Conflicts:     404000 | #Constraints:      18145
662.98/664.95	c #Conflicts:     405000 | #Constraints:      19145
662.98/664.95	c #Conflicts:     406000 | #Constraints:      20145
662.98/664.95	c #Conflicts:     407000 | #Constraints:      21145
662.98/664.95	c #Conflicts:     408000 | #Constraints:      22145
662.98/664.95	c #Conflicts:     409000 | #Constraints:      23145
662.98/664.95	c #Conflicts:     410000 | #Constraints:      24145
662.98/664.95	c #Conflicts:     411000 | #Constraints:      25145
662.98/664.95	c #Conflicts:     412000 | #Constraints:      26145
662.98/664.95	c #Conflicts:     413000 | #Constraints:      27145
662.98/664.95	c #Conflicts:     414000 | #Constraints:      28145
662.98/664.95	c #Conflicts:     415000 | #Constraints:      29145
662.98/664.95	c #Conflicts:     416000 | #Constraints:      30145
662.98/664.95	c #Conflicts:     417000 | #Constraints:      31145
662.98/664.95	c #Conflicts:     418000 | #Constraints:      32145
662.98/664.95	c #Conflicts:     419000 | #Constraints:      33145
662.98/664.95	c #Conflicts:     420000 | #Constraints:      34145
662.98/664.95	c #Conflicts:     421000 | #Constraints:      35145
662.98/664.95	c #Conflicts:     422000 | #Constraints:      36145
662.98/664.95	c #Conflicts:     423000 | #Constraints:      37145
662.98/664.95	c #Conflicts:     424000 | #Constraints:      38145
662.98/664.95	c #Conflicts:     425000 | #Constraints:      39145
662.98/664.95	c #Conflicts:     426000 | #Constraints:      40145
662.98/664.95	c #Conflicts:     427000 | #Constraints:      41145
662.98/664.95	c #Conflicts:     428000 | #Constraints:      42145
662.98/664.95	c #Conflicts:     429000 | #Constraints:      43145
662.98/664.95	c #Conflicts:     430000 | #Constraints:      44145
662.98/664.95	c #Conflicts:     431000 | #Constraints:      45145
662.98/664.95	c #Conflicts:     432000 | #Constraints:      46145
662.98/664.95	c #Conflicts:     433000 | #Constraints:      47145
662.98/664.95	c #Conflicts:     434000 | #Constraints:      48145
662.98/664.95	c #Conflicts:     435000 | #Constraints:      49145
662.98/664.95	c #Conflicts:     436000 | #Constraints:      50145
662.98/664.95	c #Conflicts:     437000 | #Constraints:      51145
662.98/664.95	c #Conflicts:     438000 | #Constraints:      52145
662.98/664.95	c #Conflicts:     439000 | #Constraints:      53145
662.98/664.95	c #Conflicts:     440000 | #Constraints:      54145
662.98/664.95	c #Conflicts:     441000 | #Constraints:      55145
662.98/664.95	c #Conflicts:     442000 | #Constraints:      56145
662.98/664.95	c #Conflicts:     443000 | #Constraints:      57145
662.98/664.95	c #Conflicts:     444000 | #Constraints:      58145
662.98/664.95	c #Conflicts:     445000 | #Constraints:      59145
662.98/664.95	c #Conflicts:     446000 | #Constraints:      60145
662.98/664.95	c #Conflicts:     447000 | #Constraints:      61145
662.98/664.95	c #Conflicts:     448000 | #Constraints:      62145
662.98/664.95	c #Conflicts:     449000 | #Constraints:      63145
662.98/664.95	c #Conflicts:     450000 | #Constraints:      64145
662.98/664.95	c #Conflicts:     451000 | #Constraints:      65145
662.98/664.95	c #Conflicts:     452000 | #Constraints:      66145
662.98/664.95	c INPROCESSING
662.98/664.95	c GARBAGE COLLECT
662.98/664.95	c #Conflicts:     453000 | #Constraints:      34576
662.98/664.95	c #Conflicts:     454000 | #Constraints:      35576
662.98/664.95	c #Conflicts:     455000 | #Constraints:      36576
662.98/664.95	c #Conflicts:     456000 | #Constraints:      37576
662.98/664.95	c #Conflicts:     457000 | #Constraints:      38576
662.98/664.95	c bounds -34 >= -37 @ 638.897
662.98/664.95	c #Conflicts:     458000 | #Constraints:      39595
662.98/664.95	c #Conflicts:     459000 | #Constraints:      40595
662.98/664.95	c #Conflicts:     460000 | #Constraints:      41595
662.98/664.95	c #Conflicts:     461000 | #Constraints:      42595
662.98/664.95	c #Conflicts:     462000 | #Constraints:      43595
662.98/664.95	c #Conflicts:     463000 | #Constraints:      44595
662.98/664.95	c #Conflicts:     464000 | #Constraints:      45595
662.98/664.95	c #Conflicts:     465000 | #Constraints:      46595
662.98/664.95	c #Conflicts:     466000 | #Constraints:      47595
662.98/664.95	c #Conflicts:     467000 | #Constraints:      48595
662.98/664.95	c INPROCESSING
662.98/664.95	c GARBAGE COLLECT
662.98/664.95	c #Conflicts:     468000 | #Constraints:      25598
662.98/664.95	c #Conflicts:     469000 | #Constraints:      26598
662.98/664.95	c #Conflicts:     470000 | #Constraints:      27598
662.98/664.95	c #Conflicts:     471000 | #Constraints:      28598
662.98/664.95	c #Conflicts:     472000 | #Constraints:      29598
724.33/726.45	c #Conflicts:     473000 | #Constraints:      30598
724.33/726.45	c #Conflicts:     474000 | #Constraints:      31598
724.33/726.45	c #Conflicts:     475000 | #Constraints:      32598
724.33/726.45	c #Conflicts:     476000 | #Constraints:      33598
724.33/726.45	c #Conflicts:     477000 | #Constraints:      34598
724.33/726.45	c #Conflicts:     478000 | #Constraints:      35598
724.33/726.45	c #Conflicts:     479000 | #Constraints:      36598
724.33/726.45	c #Conflicts:     480000 | #Constraints:      37598
724.33/726.45	c #Conflicts:     481000 | #Constraints:      38598
724.33/726.45	c #Conflicts:     482000 | #Constraints:      39598
724.33/726.45	c #Conflicts:     483000 | #Constraints:      40598
724.33/726.45	c INPROCESSING
724.33/726.45	c GARBAGE COLLECT
724.33/726.45	c #Conflicts:     484000 | #Constraints:      21793
724.33/726.45	c #Conflicts:     485000 | #Constraints:      22793
724.33/726.45	c #Conflicts:     486000 | #Constraints:      23793
724.33/726.45	c #Conflicts:     487000 | #Constraints:      24793
724.33/726.45	c #Conflicts:     488000 | #Constraints:      25793
724.33/726.45	c #Conflicts:     489000 | #Constraints:      26793
724.33/726.45	c #Conflicts:     490000 | #Constraints:      27793
724.33/726.45	c #Conflicts:     491000 | #Constraints:      28793
724.33/726.45	c #Conflicts:     492000 | #Constraints:      29793
724.33/726.45	c #Conflicts:     493000 | #Constraints:      30793
724.33/726.45	c #Conflicts:     494000 | #Constraints:      31793
724.33/726.45	c #Conflicts:     495000 | #Constraints:      32793
724.33/726.45	c #Conflicts:     496000 | #Constraints:      33793
724.33/726.45	c #Conflicts:     497000 | #Constraints:      34793
724.33/726.45	c #Conflicts:     498000 | #Constraints:      35793
724.33/726.45	c INPROCESSING
724.33/726.45	c GARBAGE COLLECT
724.33/726.45	c #Conflicts:     499000 | #Constraints:      18995
724.33/726.45	c #Conflicts:     500000 | #Constraints:      19995
724.33/726.45	c #Conflicts:     501000 | #Constraints:      20995
724.33/726.45	c #Conflicts:     502000 | #Constraints:      21995
724.33/726.45	c #Conflicts:     503000 | #Constraints:      22995
724.33/726.45	c #Conflicts:     504000 | #Constraints:      23995
724.33/726.45	c #Conflicts:     505000 | #Constraints:      24995
724.33/726.45	c #Conflicts:     506000 | #Constraints:      25995
724.33/726.45	c #Conflicts:     507000 | #Constraints:      26995
724.33/726.45	c #Conflicts:     508000 | #Constraints:      27995
724.33/726.45	c #Conflicts:     509000 | #Constraints:      28995
724.33/726.45	c #Conflicts:     510000 | #Constraints:      29995
724.33/726.45	c #Conflicts:     511000 | #Constraints:      30995
724.33/726.45	c #Conflicts:     512000 | #Constraints:      31995
724.33/726.45	c #Conflicts:     513000 | #Constraints:      32995
724.33/726.45	c #Conflicts:     514000 | #Constraints:      33995
724.33/726.45	c INPROCESSING
724.33/726.45	c GARBAGE COLLECT
724.33/726.45	c #Conflicts:     515000 | #Constraints:      18088
724.33/726.45	c #Conflicts:     516000 | #Constraints:      19088
724.33/726.45	c #Conflicts:     517000 | #Constraints:      20088
724.33/726.45	c #Conflicts:     518000 | #Constraints:      21088
724.33/726.45	c #Conflicts:     519000 | #Constraints:      22088
724.33/726.45	c #Conflicts:     520000 | #Constraints:      23088
724.33/726.45	c #Conflicts:     521000 | #Constraints:      24088
724.33/726.45	c #Conflicts:     522000 | #Constraints:      25088
724.33/726.45	c #Conflicts:     523000 | #Constraints:      26088
724.33/726.45	c #Conflicts:     524000 | #Constraints:      27088
724.33/726.45	c #Conflicts:     525000 | #Constraints:      28088
724.33/726.45	c #Conflicts:     526000 | #Constraints:      29088
724.33/726.45	c #Conflicts:     527000 | #Constraints:      30088
724.33/726.45	c #Conflicts:     528000 | #Constraints:      31088
724.33/726.45	c #Conflicts:     529000 | #Constraints:      32088
724.33/726.45	c #Conflicts:     530000 | #Constraints:      33088
724.33/726.45	c #Conflicts:     531000 | #Constraints:      34088
724.33/726.45	c INPROCESSING
724.33/726.45	c GARBAGE COLLECT
724.33/726.45	c #Conflicts:     532000 | #Constraints:      18530
724.33/726.45	c #Conflicts:     533000 | #Constraints:      19530
724.33/726.45	c #Conflicts:     534000 | #Constraints:      20530
724.33/726.45	c #Conflicts:     535000 | #Constraints:      21530
724.33/726.45	c #Conflicts:     536000 | #Constraints:      22530
724.33/726.45	c #Conflicts:     537000 | #Constraints:      23530
724.33/726.45	c #Conflicts:     538000 | #Constraints:      24530
724.33/726.45	c #Conflicts:     539000 | #Constraints:      25530
724.33/726.45	c #Conflicts:     540000 | #Constraints:      26530
724.33/726.45	c #Conflicts:     541000 | #Constraints:      27530
724.33/726.45	c #Conflicts:     542000 | #Constraints:      28530
724.33/726.45	c #Conflicts:     543000 | #Constraints:      29530
724.33/726.45	c #Conflicts:     544000 | #Constraints:      30530
724.33/726.45	c #Conflicts:     545000 | #Constraints:      31530
724.33/726.45	c #Conflicts:     546000 | #Constraints:      32530
724.33/726.45	c #Conflicts:     547000 | #Constraints:      33530
724.33/726.45	c #Conflicts:     548000 | #Constraints:      34530
724.33/726.45	c #Conflicts:     549000 | #Constraints:      35530
884.53/887.06	c #Conflicts:     550000 | #Constraints:      36530
884.53/887.06	c #Conflicts:     551000 | #Constraints:      37530
884.53/887.06	c #Conflicts:     552000 | #Constraints:      38530
884.53/887.06	c #Conflicts:     553000 | #Constraints:      39530
884.53/887.06	c #Conflicts:     554000 | #Constraints:      40530
884.53/887.06	c #Conflicts:     555000 | #Constraints:      41530
884.53/887.06	c #Conflicts:     556000 | #Constraints:      42530
884.53/887.06	c #Conflicts:     557000 | #Constraints:      43530
884.53/887.06	c #Conflicts:     558000 | #Constraints:      44530
884.53/887.06	c #Conflicts:     559000 | #Constraints:      45530
884.53/887.06	c #Conflicts:     560000 | #Constraints:      46530
884.53/887.06	c #Conflicts:     561000 | #Constraints:      47530
884.53/887.06	c #Conflicts:     562000 | #Constraints:      48530
884.53/887.06	c #Conflicts:     563000 | #Constraints:      49530
884.53/887.06	c #Conflicts:     564000 | #Constraints:      50530
884.53/887.06	c #Conflicts:     565000 | #Constraints:      51530
884.53/887.06	c #Conflicts:     566000 | #Constraints:      52530
884.53/887.06	c #Conflicts:     567000 | #Constraints:      53530
884.53/887.06	c #Conflicts:     568000 | #Constraints:      54530
884.53/887.06	c #Conflicts:     569000 | #Constraints:      55530
884.53/887.06	c #Conflicts:     570000 | #Constraints:      56530
884.53/887.06	c #Conflicts:     571000 | #Constraints:      57530
884.53/887.06	c #Conflicts:     572000 | #Constraints:      58530
884.53/887.06	c #Conflicts:     573000 | #Constraints:      59530
884.53/887.06	c #Conflicts:     574000 | #Constraints:      60530
884.53/887.06	c #Conflicts:     575000 | #Constraints:      61530
884.53/887.06	c #Conflicts:     576000 | #Constraints:      62530
884.53/887.06	c #Conflicts:     577000 | #Constraints:      63530
884.53/887.06	c #Conflicts:     578000 | #Constraints:      64530
884.53/887.06	c #Conflicts:     579000 | #Constraints:      65530
884.53/887.06	c #Conflicts:     580000 | #Constraints:      66530
884.53/887.06	c #Conflicts:     581000 | #Constraints:      67530
884.53/887.06	c #Conflicts:     582000 | #Constraints:      68530
884.53/887.06	c #Conflicts:     583000 | #Constraints:      69530
884.53/887.06	c #Conflicts:     584000 | #Constraints:      70530
884.53/887.06	c #Conflicts:     585000 | #Constraints:      71530
884.53/887.06	c #Conflicts:     586000 | #Constraints:      72530
884.53/887.06	c #Conflicts:     587000 | #Constraints:      73530
884.53/887.06	c #Conflicts:     588000 | #Constraints:      74530
884.53/887.06	c INPROCESSING
884.53/887.06	c GARBAGE COLLECT
884.53/887.06	c #Conflicts:     589000 | #Constraints:      38361
884.53/887.06	c #Conflicts:     590000 | #Constraints:      39361
884.53/887.06	c #Conflicts:     591000 | #Constraints:      40361
884.53/887.06	c #Conflicts:     592000 | #Constraints:      41361
884.53/887.06	c #Conflicts:     593000 | #Constraints:      42361
884.53/887.06	c #Conflicts:     594000 | #Constraints:      43361
884.53/887.06	c #Conflicts:     595000 | #Constraints:      44361
884.53/887.06	c #Conflicts:     596000 | #Constraints:      45361
884.53/887.06	c #Conflicts:     597000 | #Constraints:      46361
884.53/887.06	c #Conflicts:     598000 | #Constraints:      47361
884.53/887.06	c #Conflicts:     599000 | #Constraints:      48361
884.53/887.06	c #Conflicts:     600000 | #Constraints:      49361
884.53/887.06	c #Conflicts:     601000 | #Constraints:      50361
884.53/887.06	c #Conflicts:     602000 | #Constraints:      51361
884.53/887.06	c #Conflicts:     603000 | #Constraints:      52361
884.53/887.06	c #Conflicts:     604000 | #Constraints:      53361
884.53/887.06	c #Conflicts:     605000 | #Constraints:      54361
884.53/887.06	c #Conflicts:     606000 | #Constraints:      55361
884.53/887.06	c INPROCESSING
884.53/887.06	c GARBAGE COLLECT
884.53/887.06	c #Conflicts:     607000 | #Constraints:      29031
884.53/887.06	c #Conflicts:     608000 | #Constraints:      30031
884.53/887.06	c #Conflicts:     609000 | #Constraints:      31031
884.53/887.06	c #Conflicts:     610000 | #Constraints:      32031
884.53/887.06	c #Conflicts:     611000 | #Constraints:      33031
884.53/887.06	c #Conflicts:     612000 | #Constraints:      34031
884.53/887.06	c #Conflicts:     613000 | #Constraints:      35031
884.53/887.06	c #Conflicts:     614000 | #Constraints:      36031
884.53/887.06	c #Conflicts:     615000 | #Constraints:      37031
884.53/887.06	c #Conflicts:     616000 | #Constraints:      38031
884.53/887.06	c #Conflicts:     617000 | #Constraints:      39031
884.53/887.06	c #Conflicts:     618000 | #Constraints:      40031
884.53/887.06	c #Conflicts:     619000 | #Constraints:      41031
884.53/887.06	c #Conflicts:     620000 | #Constraints:      42031
884.53/887.06	c #Conflicts:     621000 | #Constraints:      43031
884.53/887.06	c #Conflicts:     622000 | #Constraints:      44031
884.53/887.06	c #Conflicts:     623000 | #Constraints:      45031
884.53/887.06	c #Conflicts:     624000 | #Constraints:      46031
884.53/887.06	c INPROCESSING
884.53/887.06	c GARBAGE COLLECT
884.53/887.06	c #Conflicts:     625000 | #Constraints:      24511
955.25/957.97	c #Conflicts:     626000 | #Constraints:      25511
955.25/957.97	c #Conflicts:     627000 | #Constraints:      26511
955.25/957.97	c #Conflicts:     628000 | #Constraints:      27511
955.25/957.97	c #Conflicts:     629000 | #Constraints:      28511
955.25/957.97	c #Conflicts:     630000 | #Constraints:      29511
955.25/957.97	c #Conflicts:     631000 | #Constraints:      30511
955.25/957.97	c #Conflicts:     632000 | #Constraints:      31511
955.25/957.97	c #Conflicts:     633000 | #Constraints:      32511
955.25/957.97	c #Conflicts:     634000 | #Constraints:      33511
955.25/957.97	c #Conflicts:     635000 | #Constraints:      34511
955.25/957.97	c #Conflicts:     636000 | #Constraints:      35511
955.25/957.97	c #Conflicts:     637000 | #Constraints:      36511
955.25/957.97	c #Conflicts:     638000 | #Constraints:      37511
955.25/957.97	c #Conflicts:     639000 | #Constraints:      38511
955.25/957.97	c #Conflicts:     640000 | #Constraints:      39511
955.25/957.97	c #Conflicts:     641000 | #Constraints:      40511
955.25/957.97	c INPROCESSING
955.25/957.97	c GARBAGE COLLECT
955.25/957.97	c #Conflicts:     642000 | #Constraints:      21294
955.25/957.97	c #Conflicts:     643000 | #Constraints:      22294
955.25/957.97	c #Conflicts:     644000 | #Constraints:      23294
955.25/957.97	c #Conflicts:     645000 | #Constraints:      24294
955.25/957.97	c #Conflicts:     646000 | #Constraints:      25294
955.25/957.97	c #Conflicts:     647000 | #Constraints:      26294
955.25/957.97	c #Conflicts:     648000 | #Constraints:      27294
955.25/957.97	c #Conflicts:     649000 | #Constraints:      28294
955.25/957.97	c #Conflicts:     650000 | #Constraints:      29294
955.25/957.97	c #Conflicts:     651000 | #Constraints:      30294
955.25/957.97	c #Conflicts:     652000 | #Constraints:      31294
955.25/957.97	c #Conflicts:     653000 | #Constraints:      32294
955.25/957.97	c #Conflicts:     654000 | #Constraints:      33294
955.25/957.97	c #Conflicts:     655000 | #Constraints:      34294
955.25/957.97	c #Conflicts:     656000 | #Constraints:      35294
955.25/957.97	c #Conflicts:     657000 | #Constraints:      36294
955.25/957.97	c #Conflicts:     658000 | #Constraints:      37294
955.25/957.97	c #Conflicts:     659000 | #Constraints:      38294
955.25/957.97	c #Conflicts:     660000 | #Constraints:      39294
955.25/957.97	c INPROCESSING
955.25/957.97	c GARBAGE COLLECT
955.25/957.97	c #Conflicts:     661000 | #Constraints:      21143
955.25/957.97	c #Conflicts:     662000 | #Constraints:      22143
955.25/957.97	c #Conflicts:     663000 | #Constraints:      23143
955.25/957.97	c #Conflicts:     664000 | #Constraints:      24143
955.25/957.97	c #Conflicts:     665000 | #Constraints:      25143
955.25/957.97	c #Conflicts:     666000 | #Constraints:      26143
955.25/957.97	c #Conflicts:     667000 | #Constraints:      27143
955.25/957.97	c #Conflicts:     668000 | #Constraints:      28143
955.25/957.97	c #Conflicts:     669000 | #Constraints:      29143
955.25/957.97	c #Conflicts:     670000 | #Constraints:      30143
955.25/957.97	c #Conflicts:     671000 | #Constraints:      31143
955.25/957.97	c #Conflicts:     672000 | #Constraints:      32143
955.25/957.97	c #Conflicts:     673000 | #Constraints:      33143
955.25/957.97	c #Conflicts:     674000 | #Constraints:      34143
955.25/957.97	c #Conflicts:     675000 | #Constraints:      35143
955.25/957.97	c #Conflicts:     676000 | #Constraints:      36143
955.25/957.97	c #Conflicts:     677000 | #Constraints:      37143
955.25/957.97	c #Conflicts:     678000 | #Constraints:      38143
955.25/957.97	c INPROCESSING
955.25/957.97	c GARBAGE COLLECT
955.25/957.97	c #Conflicts:     679000 | #Constraints:      20421
955.25/957.97	c #Conflicts:     680000 | #Constraints:      21421
955.25/957.97	c #Conflicts:     681000 | #Constraints:      22421
955.25/957.97	c #Conflicts:     682000 | #Constraints:      23421
955.25/957.97	c #Conflicts:     683000 | #Constraints:      24421
955.25/957.97	c #Conflicts:     684000 | #Constraints:      25421
955.25/957.97	c #Conflicts:     685000 | #Constraints:      26421
955.25/957.97	c #Conflicts:     686000 | #Constraints:      27421
955.25/957.97	c #Conflicts:     687000 | #Constraints:      28421
955.25/957.97	c #Conflicts:     688000 | #Constraints:      29421
955.25/957.97	c #Conflicts:     689000 | #Constraints:      30421
955.25/957.97	c #Conflicts:     690000 | #Constraints:      31421
955.25/957.97	c #Conflicts:     691000 | #Constraints:      32421
955.25/957.97	c #Conflicts:     692000 | #Constraints:      33421
955.25/957.97	c #Conflicts:     693000 | #Constraints:      34421
955.25/957.97	c #Conflicts:     694000 | #Constraints:      35421
955.25/957.97	c #Conflicts:     695000 | #Constraints:      36421
955.25/957.97	c #Conflicts:     696000 | #Constraints:      37421
955.25/957.97	c INPROCESSING
955.25/957.97	c GARBAGE COLLECT
955.25/957.97	c #Conflicts:     697000 | #Constraints:      19816
955.25/957.97	c #Conflicts:     698000 | #Constraints:      20816
955.25/957.97	c #Conflicts:     699000 | #Constraints:      21816
955.25/957.97	c #Conflicts:     700000 | #Constraints:      22816
955.25/957.97	c #Conflicts:     701000 | #Constraints:      23816
955.25/957.97	c #Conflicts:     702000 | #Constraints:      24816
1110.07/1113.12	c #Conflicts:     703000 | #Constraints:      25816
1110.07/1113.12	c #Conflicts:     704000 | #Constraints:      26816
1110.07/1113.12	c #Conflicts:     705000 | #Constraints:      27816
1110.07/1113.12	c #Conflicts:     706000 | #Constraints:      28816
1110.07/1113.12	c #Conflicts:     707000 | #Constraints:      29816
1110.07/1113.12	c #Conflicts:     708000 | #Constraints:      30816
1110.07/1113.12	c #Conflicts:     709000 | #Constraints:      31816
1110.07/1113.12	c #Conflicts:     710000 | #Constraints:      32816
1110.07/1113.12	c #Conflicts:     711000 | #Constraints:      33816
1110.07/1113.12	c #Conflicts:     712000 | #Constraints:      34816
1110.07/1113.12	c #Conflicts:     713000 | #Constraints:      35816
1110.07/1113.12	c #Conflicts:     714000 | #Constraints:      36816
1110.07/1113.12	c #Conflicts:     715000 | #Constraints:      37816
1110.07/1113.12	c INPROCESSING
1110.07/1113.12	c GARBAGE COLLECT
1110.07/1113.12	c #Conflicts:     716000 | #Constraints:      20155
1110.07/1113.12	c #Conflicts:     717000 | #Constraints:      21155
1110.07/1113.12	c #Conflicts:     718000 | #Constraints:      22155
1110.07/1113.12	c #Conflicts:     719000 | #Constraints:      23155
1110.07/1113.12	c #Conflicts:     720000 | #Constraints:      24155
1110.07/1113.12	c #Conflicts:     721000 | #Constraints:      25155
1110.07/1113.12	c #Conflicts:     722000 | #Constraints:      26155
1110.07/1113.12	c #Conflicts:     723000 | #Constraints:      27155
1110.07/1113.12	c #Conflicts:     724000 | #Constraints:      28155
1110.07/1113.12	c #Conflicts:     725000 | #Constraints:      29155
1110.07/1113.12	c #Conflicts:     726000 | #Constraints:      30155
1110.07/1113.12	c #Conflicts:     727000 | #Constraints:      31155
1110.07/1113.12	c #Conflicts:     728000 | #Constraints:      32155
1110.07/1113.12	c #Conflicts:     729000 | #Constraints:      33155
1110.07/1113.12	c #Conflicts:     730000 | #Constraints:      34155
1110.07/1113.12	c #Conflicts:     731000 | #Constraints:      35155
1110.07/1113.12	c #Conflicts:     732000 | #Constraints:      36155
1110.07/1113.12	c #Conflicts:     733000 | #Constraints:      37155
1110.07/1113.12	c #Conflicts:     734000 | #Constraints:      38155
1110.07/1113.12	c #Conflicts:     735000 | #Constraints:      39155
1110.07/1113.12	c #Conflicts:     736000 | #Constraints:      40155
1110.07/1113.12	c #Conflicts:     737000 | #Constraints:      41155
1110.07/1113.12	c #Conflicts:     738000 | #Constraints:      42155
1110.07/1113.12	c #Conflicts:     739000 | #Constraints:      43155
1110.07/1113.12	c #Conflicts:     740000 | #Constraints:      44155
1110.07/1113.12	c #Conflicts:     741000 | #Constraints:      45155
1110.07/1113.12	c #Conflicts:     742000 | #Constraints:      46155
1110.07/1113.12	c #Conflicts:     743000 | #Constraints:      47155
1110.07/1113.12	c #Conflicts:     744000 | #Constraints:      48155
1110.07/1113.12	c #Conflicts:     745000 | #Constraints:      49155
1110.07/1113.12	c #Conflicts:     746000 | #Constraints:      50155
1110.07/1113.12	c #Conflicts:     747000 | #Constraints:      51155
1110.07/1113.12	c #Conflicts:     748000 | #Constraints:      52155
1110.07/1113.12	c #Conflicts:     749000 | #Constraints:      53155
1110.07/1113.12	c #Conflicts:     750000 | #Constraints:      54155
1110.07/1113.12	c #Conflicts:     751000 | #Constraints:      55155
1110.07/1113.12	c #Conflicts:     752000 | #Constraints:      56155
1110.07/1113.12	c #Conflicts:     753000 | #Constraints:      57155
1110.07/1113.12	c #Conflicts:     754000 | #Constraints:      58155
1110.07/1113.12	c #Conflicts:     755000 | #Constraints:      59155
1110.07/1113.12	c #Conflicts:     756000 | #Constraints:      60155
1110.07/1113.12	c #Conflicts:     757000 | #Constraints:      61155
1110.07/1113.12	c #Conflicts:     758000 | #Constraints:      62155
1110.07/1113.12	c #Conflicts:     759000 | #Constraints:      63155
1110.07/1113.12	c #Conflicts:     760000 | #Constraints:      64155
1110.07/1113.12	c #Conflicts:     761000 | #Constraints:      65155
1110.07/1113.12	c #Conflicts:     762000 | #Constraints:      66155
1110.07/1113.12	c #Conflicts:     763000 | #Constraints:      67155
1110.07/1113.12	c #Conflicts:     764000 | #Constraints:      68155
1110.07/1113.12	c #Conflicts:     765000 | #Constraints:      69155
1110.07/1113.12	c #Conflicts:     766000 | #Constraints:      70155
1110.07/1113.12	c #Conflicts:     767000 | #Constraints:      71155
1110.07/1113.12	c #Conflicts:     768000 | #Constraints:      72155
1110.07/1113.12	c #Conflicts:     769000 | #Constraints:      73155
1110.07/1113.12	c #Conflicts:     770000 | #Constraints:      74155
1110.07/1113.12	c #Conflicts:     771000 | #Constraints:      75155
1110.07/1113.12	c #Conflicts:     772000 | #Constraints:      76155
1110.07/1113.12	c #Conflicts:     773000 | #Constraints:      77155
1110.07/1113.12	c #Conflicts:     774000 | #Constraints:      78155
1110.07/1113.12	c #Conflicts:     775000 | #Constraints:      79155
1110.07/1113.12	c #Conflicts:     776000 | #Constraints:      80155
1110.07/1113.12	c #Conflicts:     777000 | #Constraints:      81155
1110.07/1113.12	c #Conflicts:     778000 | #Constraints:      82155
1110.07/1113.12	c #Conflicts:     779000 | #Constraints:      83155
1110.07/1113.12	c #Conflicts:     780000 | #Constraints:      84155
1230.39/1233.78	c #Conflicts:     781000 | #Constraints:      85155
1230.39/1233.78	c #Conflicts:     782000 | #Constraints:      86155
1230.39/1233.78	c #Conflicts:     783000 | #Constraints:      87155
1230.39/1233.78	c INPROCESSING
1230.39/1233.78	c GARBAGE COLLECT
1230.39/1233.78	c #Conflicts:     784000 | #Constraints:      45075
1230.39/1233.78	c #Conflicts:     785000 | #Constraints:      46075
1230.39/1233.78	c #Conflicts:     786000 | #Constraints:      47075
1230.39/1233.78	c #Conflicts:     787000 | #Constraints:      48075
1230.39/1233.78	c #Conflicts:     788000 | #Constraints:      49075
1230.39/1233.78	c #Conflicts:     789000 | #Constraints:      50075
1230.39/1233.78	c #Conflicts:     790000 | #Constraints:      51075
1230.39/1233.78	c #Conflicts:     791000 | #Constraints:      52075
1230.39/1233.78	c #Conflicts:     792000 | #Constraints:      53075
1230.39/1233.78	c #Conflicts:     793000 | #Constraints:      54075
1230.39/1233.78	c #Conflicts:     794000 | #Constraints:      55075
1230.39/1233.78	c #Conflicts:     795000 | #Constraints:      56075
1230.39/1233.78	c #Conflicts:     796000 | #Constraints:      57075
1230.39/1233.78	c #Conflicts:     797000 | #Constraints:      58075
1230.39/1233.78	c #Conflicts:     798000 | #Constraints:      59075
1230.39/1233.78	c #Conflicts:     799000 | #Constraints:      60075
1230.39/1233.78	c #Conflicts:     800000 | #Constraints:      61075
1230.39/1233.78	c #Conflicts:     801000 | #Constraints:      62075
1230.39/1233.78	c #Conflicts:     802000 | #Constraints:      63075
1230.39/1233.78	c #Conflicts:     803000 | #Constraints:      64075
1230.39/1233.78	c INPROCESSING
1230.39/1233.78	c GARBAGE COLLECT
1230.39/1233.78	c #Conflicts:     804000 | #Constraints:      33537
1230.39/1233.78	c #Conflicts:     805000 | #Constraints:      34537
1230.39/1233.78	c #Conflicts:     806000 | #Constraints:      35537
1230.39/1233.78	c #Conflicts:     807000 | #Constraints:      36537
1230.39/1233.78	c #Conflicts:     808000 | #Constraints:      37537
1230.39/1233.78	c #Conflicts:     809000 | #Constraints:      38537
1230.39/1233.78	c #Conflicts:     810000 | #Constraints:      39537
1230.39/1233.78	c #Conflicts:     811000 | #Constraints:      40537
1230.39/1233.78	c #Conflicts:     812000 | #Constraints:      41537
1230.39/1233.78	c #Conflicts:     813000 | #Constraints:      42537
1230.39/1233.78	c #Conflicts:     814000 | #Constraints:      43537
1230.39/1233.78	c #Conflicts:     815000 | #Constraints:      44537
1230.39/1233.78	c #Conflicts:     816000 | #Constraints:      45537
1230.39/1233.78	c #Conflicts:     817000 | #Constraints:      46537
1230.39/1233.78	c #Conflicts:     818000 | #Constraints:      47537
1230.39/1233.78	c #Conflicts:     819000 | #Constraints:      48537
1230.39/1233.78	c #Conflicts:     820000 | #Constraints:      49537
1230.39/1233.78	c #Conflicts:     821000 | #Constraints:      50537
1230.39/1233.78	c #Conflicts:     822000 | #Constraints:      51537
1230.39/1233.78	c #Conflicts:     823000 | #Constraints:      52537
1230.39/1233.78	c INPROCESSING
1230.39/1233.78	c GARBAGE COLLECT
1230.39/1233.78	c #Conflicts:     824000 | #Constraints:      27665
1230.39/1233.78	c #Conflicts:     825000 | #Constraints:      28665
1230.39/1233.78	c #Conflicts:     826000 | #Constraints:      29665
1230.39/1233.78	c #Conflicts:     827000 | #Constraints:      30665
1230.39/1233.78	c #Conflicts:     828000 | #Constraints:      31665
1230.39/1233.78	c #Conflicts:     829000 | #Constraints:      32665
1230.39/1233.78	c #Conflicts:     830000 | #Constraints:      33665
1230.39/1233.78	c #Conflicts:     831000 | #Constraints:      34665
1230.39/1233.78	c #Conflicts:     832000 | #Constraints:      35665
1230.39/1233.78	c #Conflicts:     833000 | #Constraints:      36665
1230.39/1233.78	c #Conflicts:     834000 | #Constraints:      37665
1230.39/1233.78	c #Conflicts:     835000 | #Constraints:      38665
1230.39/1233.78	c #Conflicts:     836000 | #Constraints:      39665
1230.39/1233.78	c #Conflicts:     837000 | #Constraints:      40665
1230.39/1233.78	c #Conflicts:     838000 | #Constraints:      41665
1230.39/1233.78	c #Conflicts:     839000 | #Constraints:      42665
1230.39/1233.78	c #Conflicts:     840000 | #Constraints:      43665
1230.39/1233.78	c #Conflicts:     841000 | #Constraints:      44665
1230.39/1233.78	c #Conflicts:     842000 | #Constraints:      45665
1230.39/1233.78	c #Conflicts:     843000 | #Constraints:      46665
1230.39/1233.78	c INPROCESSING
1230.39/1233.78	c GARBAGE COLLECT
1230.39/1233.78	c #Conflicts:     844000 | #Constraints:      24532
1230.39/1233.78	c #Conflicts:     845000 | #Constraints:      25532
1230.39/1233.78	c #Conflicts:     846000 | #Constraints:      26532
1230.39/1233.78	c #Conflicts:     847000 | #Constraints:      27532
1230.39/1233.78	c #Conflicts:     848000 | #Constraints:      28532
1230.39/1233.78	c #Conflicts:     849000 | #Constraints:      29532
1230.39/1233.78	c #Conflicts:     850000 | #Constraints:      30532
1230.39/1233.78	c #Conflicts:     851000 | #Constraints:      31532
1230.39/1233.78	c #Conflicts:     852000 | #Constraints:      32532
1230.39/1233.78	c #Conflicts:     853000 | #Constraints:      33532
1230.39/1233.78	c #Conflicts:     854000 | #Constraints:      34532
1230.39/1233.78	c #Conflicts:     855000 | #Constraints:      35532
1230.39/1233.78	c #Conflicts:     856000 | #Constraints:      36532
1302.64/1306.10	c #Conflicts:     857000 | #Constraints:      37532
1302.64/1306.10	c #Conflicts:     858000 | #Constraints:      38532
1302.64/1306.10	c #Conflicts:     859000 | #Constraints:      39532
1302.64/1306.10	c #Conflicts:     860000 | #Constraints:      40532
1302.64/1306.10	c #Conflicts:     861000 | #Constraints:      41532
1302.64/1306.10	c #Conflicts:     862000 | #Constraints:      42532
1302.64/1306.10	c #Conflicts:     863000 | #Constraints:      43532
1302.64/1306.10	c #Conflicts:     864000 | #Constraints:      44532
1302.64/1306.10	c INPROCESSING
1302.64/1306.10	c GARBAGE COLLECT
1302.64/1306.10	c #Conflicts:     865000 | #Constraints:      23659
1302.64/1306.10	c #Conflicts:     866000 | #Constraints:      24659
1302.64/1306.10	c #Conflicts:     867000 | #Constraints:      25659
1302.64/1306.10	c #Conflicts:     868000 | #Constraints:      26659
1302.64/1306.10	c #Conflicts:     869000 | #Constraints:      27659
1302.64/1306.10	c #Conflicts:     870000 | #Constraints:      28659
1302.64/1306.10	c #Conflicts:     871000 | #Constraints:      29659
1302.64/1306.10	c #Conflicts:     872000 | #Constraints:      30659
1302.64/1306.10	c #Conflicts:     873000 | #Constraints:      31659
1302.64/1306.10	c #Conflicts:     874000 | #Constraints:      32659
1302.64/1306.10	c #Conflicts:     875000 | #Constraints:      33659
1302.64/1306.10	c #Conflicts:     876000 | #Constraints:      34659
1302.64/1306.10	c #Conflicts:     877000 | #Constraints:      35659
1302.64/1306.10	c #Conflicts:     878000 | #Constraints:      36659
1302.64/1306.10	c #Conflicts:     879000 | #Constraints:      37659
1302.64/1306.10	c #Conflicts:     880000 | #Constraints:      38659
1302.64/1306.10	c #Conflicts:     881000 | #Constraints:      39659
1302.64/1306.10	c #Conflicts:     882000 | #Constraints:      40659
1302.64/1306.10	c #Conflicts:     883000 | #Constraints:      41659
1302.64/1306.10	c #Conflicts:     884000 | #Constraints:      42659
1302.64/1306.10	c #Conflicts:     885000 | #Constraints:      43659
1302.64/1306.10	c INPROCESSING
1302.64/1306.10	c GARBAGE COLLECT
1302.64/1306.10	c #Conflicts:     886000 | #Constraints:      23326
1302.64/1306.10	c #Conflicts:     887000 | #Constraints:      24326
1302.64/1306.10	c #Conflicts:     888000 | #Constraints:      25326
1302.64/1306.10	c #Conflicts:     889000 | #Constraints:      26326
1302.64/1306.10	c #Conflicts:     890000 | #Constraints:      27326
1302.64/1306.10	c #Conflicts:     891000 | #Constraints:      28326
1302.64/1306.10	c #Conflicts:     892000 | #Constraints:      29326
1302.64/1306.10	c #Conflicts:     893000 | #Constraints:      30326
1302.64/1306.10	c #Conflicts:     894000 | #Constraints:      31326
1302.64/1306.10	c #Conflicts:     895000 | #Constraints:      32326
1302.64/1306.10	c #Conflicts:     896000 | #Constraints:      33326
1302.64/1306.10	c #Conflicts:     897000 | #Constraints:      34326
1302.64/1306.10	c #Conflicts:     898000 | #Constraints:      35326
1302.64/1306.10	c #Conflicts:     899000 | #Constraints:      36326
1302.64/1306.10	c #Conflicts:     900000 | #Constraints:      37326
1302.64/1306.10	c #Conflicts:     901000 | #Constraints:      38326
1302.64/1306.10	c #Conflicts:     902000 | #Constraints:      39326
1302.64/1306.10	c #Conflicts:     903000 | #Constraints:      40326
1302.64/1306.10	c #Conflicts:     904000 | #Constraints:      41326
1302.64/1306.10	c #Conflicts:     905000 | #Constraints:      42326
1302.64/1306.10	c #Conflicts:     906000 | #Constraints:      43326
1302.64/1306.10	c INPROCESSING
1302.64/1306.10	c GARBAGE COLLECT
1302.64/1306.10	c #Conflicts:     907000 | #Constraints:      23159
1302.64/1306.10	c #Conflicts:     908000 | #Constraints:      24159
1302.64/1306.10	c #Conflicts:     909000 | #Constraints:      25159
1302.64/1306.10	c #Conflicts:     910000 | #Constraints:      26159
1302.64/1306.10	c #Conflicts:     911000 | #Constraints:      27159
1302.64/1306.10	c #Conflicts:     912000 | #Constraints:      28159
1302.64/1306.10	c #Conflicts:     913000 | #Constraints:      29159
1302.64/1306.10	c #Conflicts:     914000 | #Constraints:      30159
1302.64/1306.10	c #Conflicts:     915000 | #Constraints:      31159
1302.64/1306.10	c #Conflicts:     916000 | #Constraints:      32159
1302.64/1306.10	c #Conflicts:     917000 | #Constraints:      33159
1302.64/1306.10	c #Conflicts:     918000 | #Constraints:      34159
1302.64/1306.10	c #Conflicts:     919000 | #Constraints:      35159
1302.64/1306.10	c #Conflicts:     920000 | #Constraints:      36159
1302.64/1306.10	c #Conflicts:     921000 | #Constraints:      37159
1302.64/1306.10	c #Conflicts:     922000 | #Constraints:      38159
1302.64/1306.10	c #Conflicts:     923000 | #Constraints:      39159
1302.64/1306.10	c #Conflicts:     924000 | #Constraints:      40159
1302.64/1306.10	c #Conflicts:     925000 | #Constraints:      41159
1302.64/1306.10	c #Conflicts:     926000 | #Constraints:      42159
1302.64/1306.10	c #Conflicts:     927000 | #Constraints:      43159
1302.64/1306.10	c INPROCESSING
1302.64/1306.10	c GARBAGE COLLECT
1302.64/1306.10	c #Conflicts:     928000 | #Constraints:      22975
1302.64/1306.10	c #Conflicts:     929000 | #Constraints:      23975
1302.64/1306.10	c #Conflicts:     930000 | #Constraints:      24975
1302.64/1306.10	c #Conflicts:     931000 | #Constraints:      25975
1302.64/1306.10	c #Conflicts:     932000 | #Constraints:      26975
1368.11/1371.76	c #Conflicts:     933000 | #Constraints:      27975
1368.11/1371.76	c #Conflicts:     934000 | #Constraints:      28975
1368.11/1371.76	c #Conflicts:     935000 | #Constraints:      29975
1368.11/1371.76	c #Conflicts:     936000 | #Constraints:      30975
1368.11/1371.76	c #Conflicts:     937000 | #Constraints:      31975
1368.11/1371.76	c #Conflicts:     938000 | #Constraints:      32975
1368.11/1371.76	c #Conflicts:     939000 | #Constraints:      33975
1368.11/1371.76	c #Conflicts:     940000 | #Constraints:      34975
1368.11/1371.76	c #Conflicts:     941000 | #Constraints:      35975
1368.11/1371.76	c #Conflicts:     942000 | #Constraints:      36975
1368.11/1371.76	c #Conflicts:     943000 | #Constraints:      37975
1368.11/1371.76	c #Conflicts:     944000 | #Constraints:      38975
1368.11/1371.76	c #Conflicts:     945000 | #Constraints:      39975
1368.11/1371.76	c #Conflicts:     946000 | #Constraints:      40975
1368.11/1371.76	c #Conflicts:     947000 | #Constraints:      41975
1368.11/1371.76	c #Conflicts:     948000 | #Constraints:      42975
1368.11/1371.76	c INPROCESSING
1368.11/1371.76	c GARBAGE COLLECT
1368.11/1371.76	c #Conflicts:     949000 | #Constraints:      22688
1368.11/1371.76	c #Conflicts:     950000 | #Constraints:      23688
1368.11/1371.76	c #Conflicts:     951000 | #Constraints:      24688
1368.11/1371.76	c #Conflicts:     952000 | #Constraints:      25688
1368.11/1371.76	c #Conflicts:     953000 | #Constraints:      26688
1368.11/1371.76	c #Conflicts:     954000 | #Constraints:      27688
1368.11/1371.76	c #Conflicts:     955000 | #Constraints:      28688
1368.11/1371.76	c #Conflicts:     956000 | #Constraints:      29688
1368.11/1371.76	c #Conflicts:     957000 | #Constraints:      30688
1368.11/1371.76	c #Conflicts:     958000 | #Constraints:      31688
1368.11/1371.76	c #Conflicts:     959000 | #Constraints:      32688
1368.11/1371.76	c #Conflicts:     960000 | #Constraints:      33688
1368.11/1371.76	c #Conflicts:     961000 | #Constraints:      34688
1368.11/1371.76	c #Conflicts:     962000 | #Constraints:      35688
1368.11/1371.76	c #Conflicts:     963000 | #Constraints:      36688
1368.11/1371.76	c #Conflicts:     964000 | #Constraints:      37688
1368.11/1371.76	c #Conflicts:     965000 | #Constraints:      38688
1368.11/1371.76	c #Conflicts:     966000 | #Constraints:      39688
1368.11/1371.76	c #Conflicts:     967000 | #Constraints:      40688
1368.11/1371.76	c #Conflicts:     968000 | #Constraints:      41688
1368.11/1371.76	c #Conflicts:     969000 | #Constraints:      42688
1368.11/1371.76	c #Conflicts:     970000 | #Constraints:      43688
1368.11/1371.76	c INPROCESSING
1368.11/1371.76	c GARBAGE COLLECT
1368.11/1371.76	c #Conflicts:     971000 | #Constraints:      23253
1368.11/1371.76	c #Conflicts:     972000 | #Constraints:      24253
1368.11/1371.76	c #Conflicts:     973000 | #Constraints:      25253
1368.11/1371.76	c #Conflicts:     974000 | #Constraints:      26253
1368.11/1371.76	c #Conflicts:     975000 | #Constraints:      27253
1368.11/1371.76	c #Conflicts:     976000 | #Constraints:      28253
1368.11/1371.76	c #Conflicts:     977000 | #Constraints:      29253
1368.11/1371.76	c #Conflicts:     978000 | #Constraints:      30253
1368.11/1371.76	c #Conflicts:     979000 | #Constraints:      31253
1368.11/1371.76	c #Conflicts:     980000 | #Constraints:      32253
1368.11/1371.76	c #Conflicts:     981000 | #Constraints:      33253
1368.11/1371.76	c #Conflicts:     982000 | #Constraints:      34253
1368.11/1371.76	c #Conflicts:     983000 | #Constraints:      35253
1368.11/1371.76	c #Conflicts:     984000 | #Constraints:      36253
1368.11/1371.76	c #Conflicts:     985000 | #Constraints:      37253
1368.11/1371.76	c #Conflicts:     986000 | #Constraints:      38253
1368.11/1371.76	c #Conflicts:     987000 | #Constraints:      39253
1368.11/1371.76	c #Conflicts:     988000 | #Constraints:      40253
1368.11/1371.76	c #Conflicts:     989000 | #Constraints:      41253
1368.11/1371.76	c #Conflicts:     990000 | #Constraints:      42253
1368.11/1371.77	c #Conflicts:     991000 | #Constraints:      43253
1368.11/1371.77	c #Conflicts:     992000 | #Constraints:      44253
1368.11/1371.77	c INPROCESSING
1368.11/1371.77	c GARBAGE COLLECT
1368.11/1371.77	c #Conflicts:     993000 | #Constraints:      23624
1368.11/1371.77	c #Conflicts:     994000 | #Constraints:      24624
1368.11/1371.77	c #Conflicts:     995000 | #Constraints:      25624
1368.11/1371.77	c #Conflicts:     996000 | #Constraints:      26624
1368.11/1371.77	c #Conflicts:     997000 | #Constraints:      27624
1368.11/1371.77	c #Conflicts:     998000 | #Constraints:      28624
1368.11/1371.77	c #Conflicts:     999000 | #Constraints:      29624
1368.11/1371.77	c #Conflicts:    1000000 | #Constraints:      30624
1368.11/1371.77	c #Conflicts:    1001000 | #Constraints:      31624
1368.11/1371.77	c #Conflicts:    1002000 | #Constraints:      32624
1368.11/1371.77	c #Conflicts:    1003000 | #Constraints:      33624
1368.11/1371.77	c #Conflicts:    1004000 | #Constraints:      34624
1368.11/1371.77	c #Conflicts:    1005000 | #Constraints:      35624
1368.11/1371.77	c #Conflicts:    1006000 | #Constraints:      36624
1368.11/1371.77	c #Conflicts:    1007000 | #Constraints:      37624
1368.11/1371.77	c #Conflicts:    1008000 | #Constraints:      38624
1368.11/1371.77	c #Conflicts:    1009000 | #Constraints:      39624
1440.46/1444.23	c #Conflicts:    1010000 | #Constraints:      40624
1440.46/1444.23	c #Conflicts:    1011000 | #Constraints:      41624
1440.46/1444.23	c #Conflicts:    1012000 | #Constraints:      42624
1440.46/1444.23	c #Conflicts:    1013000 | #Constraints:      43624
1440.46/1444.23	c #Conflicts:    1014000 | #Constraints:      44624
1440.46/1444.23	c INPROCESSING
1440.46/1444.23	c GARBAGE COLLECT
1440.46/1444.23	c #Conflicts:    1015000 | #Constraints:      23812
1440.46/1444.23	c #Conflicts:    1016000 | #Constraints:      24812
1440.46/1444.23	c #Conflicts:    1017000 | #Constraints:      25812
1440.46/1444.23	c #Conflicts:    1018000 | #Constraints:      26812
1440.46/1444.23	c #Conflicts:    1019000 | #Constraints:      27812
1440.46/1444.23	c #Conflicts:    1020000 | #Constraints:      28812
1440.46/1444.23	c #Conflicts:    1021000 | #Constraints:      29812
1440.46/1444.23	c #Conflicts:    1022000 | #Constraints:      30812
1440.46/1444.23	c #Conflicts:    1023000 | #Constraints:      31812
1440.46/1444.23	c #Conflicts:    1024000 | #Constraints:      32812
1440.46/1444.23	c #Conflicts:    1025000 | #Constraints:      33812
1440.46/1444.23	c #Conflicts:    1026000 | #Constraints:      34812
1440.46/1444.23	c #Conflicts:    1027000 | #Constraints:      35812
1440.46/1444.23	c #Conflicts:    1028000 | #Constraints:      36812
1440.46/1444.23	c #Conflicts:    1029000 | #Constraints:      37812
1440.46/1444.23	c #Conflicts:    1030000 | #Constraints:      38812
1440.46/1444.23	c #Conflicts:    1031000 | #Constraints:      39812
1440.46/1444.23	c #Conflicts:    1032000 | #Constraints:      40812
1440.46/1444.23	c #Conflicts:    1033000 | #Constraints:      41812
1440.46/1444.23	c #Conflicts:    1034000 | #Constraints:      42812
1440.46/1444.23	c #Conflicts:    1035000 | #Constraints:      43812
1440.46/1444.23	c #Conflicts:    1036000 | #Constraints:      44812
1440.46/1444.23	c INPROCESSING
1440.46/1444.23	c GARBAGE COLLECT
1440.46/1444.23	c #Conflicts:    1037000 | #Constraints:      23805
1440.46/1444.23	c #Conflicts:    1038000 | #Constraints:      24805
1440.46/1444.23	c #Conflicts:    1039000 | #Constraints:      25805
1440.46/1444.23	c #Conflicts:    1040000 | #Constraints:      26805
1440.46/1444.23	c #Conflicts:    1041000 | #Constraints:      27805
1440.46/1444.23	c #Conflicts:    1042000 | #Constraints:      28805
1440.46/1444.23	c #Conflicts:    1043000 | #Constraints:      29805
1440.46/1444.23	c #Conflicts:    1044000 | #Constraints:      30805
1440.46/1444.23	c #Conflicts:    1045000 | #Constraints:      31805
1440.46/1444.23	c #Conflicts:    1046000 | #Constraints:      32805
1440.46/1444.23	c #Conflicts:    1047000 | #Constraints:      33805
1440.46/1444.23	c #Conflicts:    1048000 | #Constraints:      34805
1440.46/1444.23	c #Conflicts:    1049000 | #Constraints:      35805
1440.46/1444.23	c #Conflicts:    1050000 | #Constraints:      36805
1440.46/1444.23	c #Conflicts:    1051000 | #Constraints:      37805
1440.46/1444.23	c #Conflicts:    1052000 | #Constraints:      38805
1440.46/1444.23	c #Conflicts:    1053000 | #Constraints:      39805
1440.46/1444.23	c #Conflicts:    1054000 | #Constraints:      40805
1440.46/1444.23	c #Conflicts:    1055000 | #Constraints:      41805
1440.46/1444.23	c #Conflicts:    1056000 | #Constraints:      42805
1440.46/1444.23	c #Conflicts:    1057000 | #Constraints:      43805
1440.46/1444.23	c #Conflicts:    1058000 | #Constraints:      44805
1440.46/1444.23	c INPROCESSING
1440.46/1444.23	c GARBAGE COLLECT
1440.46/1444.23	c #Conflicts:    1059000 | #Constraints:      23605
1440.46/1444.23	c #Conflicts:    1060000 | #Constraints:      24605
1440.46/1444.23	c #Conflicts:    1061000 | #Constraints:      25605
1440.46/1444.23	c #Conflicts:    1062000 | #Constraints:      26605
1440.46/1444.23	c #Conflicts:    1063000 | #Constraints:      27605
1440.46/1444.23	c #Conflicts:    1064000 | #Constraints:      28605
1440.46/1444.23	c #Conflicts:    1065000 | #Constraints:      29605
1440.46/1444.23	c #Conflicts:    1066000 | #Constraints:      30605
1440.46/1444.23	c #Conflicts:    1067000 | #Constraints:      31605
1440.46/1444.23	c #Conflicts:    1068000 | #Constraints:      32605
1440.46/1444.23	c #Conflicts:    1069000 | #Constraints:      33605
1440.46/1444.23	c #Conflicts:    1070000 | #Constraints:      34605
1440.46/1444.23	c #Conflicts:    1071000 | #Constraints:      35605
1440.46/1444.23	c #Conflicts:    1072000 | #Constraints:      36605
1440.46/1444.23	c #Conflicts:    1073000 | #Constraints:      37605
1440.46/1444.23	c #Conflicts:    1074000 | #Constraints:      38605
1440.46/1444.23	c #Conflicts:    1075000 | #Constraints:      39605
1440.46/1444.23	c #Conflicts:    1076000 | #Constraints:      40605
1440.46/1444.23	c #Conflicts:    1077000 | #Constraints:      41605
1440.46/1444.23	c #Conflicts:    1078000 | #Constraints:      42605
1440.46/1444.23	c #Conflicts:    1079000 | #Constraints:      43605
1440.46/1444.23	c #Conflicts:    1080000 | #Constraints:      44605
1440.46/1444.23	c #Conflicts:    1081000 | #Constraints:      45605
1440.46/1444.23	c INPROCESSING
1440.46/1444.23	c GARBAGE COLLECT
1440.46/1444.23	c #Conflicts:    1082000 | #Constraints:      24199
1440.46/1444.23	c #Conflicts:    1083000 | #Constraints:      25199
1440.46/1444.23	c #Conflicts:    1084000 | #Constraints:      26199
1440.46/1444.23	c #Conflicts:    1085000 | #Constraints:      27199
1518.30/1522.29	c #Conflicts:    1086000 | #Constraints:      28199
1518.30/1522.29	c #Conflicts:    1087000 | #Constraints:      29199
1518.30/1522.29	c #Conflicts:    1088000 | #Constraints:      30199
1518.30/1522.29	c #Conflicts:    1089000 | #Constraints:      31199
1518.30/1522.29	c #Conflicts:    1090000 | #Constraints:      32199
1518.30/1522.29	c #Conflicts:    1091000 | #Constraints:      33199
1518.30/1522.29	c #Conflicts:    1092000 | #Constraints:      34199
1518.30/1522.29	c #Conflicts:    1093000 | #Constraints:      35199
1518.30/1522.29	c #Conflicts:    1094000 | #Constraints:      36199
1518.30/1522.29	c #Conflicts:    1095000 | #Constraints:      37199
1518.30/1522.29	c #Conflicts:    1096000 | #Constraints:      38199
1518.30/1522.29	c #Conflicts:    1097000 | #Constraints:      39199
1518.30/1522.29	c #Conflicts:    1098000 | #Constraints:      40199
1518.30/1522.29	c #Conflicts:    1099000 | #Constraints:      41199
1518.30/1522.29	c #Conflicts:    1100000 | #Constraints:      42199
1518.30/1522.29	c #Conflicts:    1101000 | #Constraints:      43199
1518.30/1522.29	c #Conflicts:    1102000 | #Constraints:      44199
1518.30/1522.29	c #Conflicts:    1103000 | #Constraints:      45199
1518.30/1522.29	c #Conflicts:    1104000 | #Constraints:      46199
1518.30/1522.29	c INPROCESSING
1518.30/1522.29	c GARBAGE COLLECT
1518.30/1522.29	c #Conflicts:    1105000 | #Constraints:      24595
1518.30/1522.29	c #Conflicts:    1106000 | #Constraints:      25595
1518.30/1522.29	c #Conflicts:    1107000 | #Constraints:      26595
1518.30/1522.29	c #Conflicts:    1108000 | #Constraints:      27595
1518.30/1522.29	c #Conflicts:    1109000 | #Constraints:      28595
1518.30/1522.29	c #Conflicts:    1110000 | #Constraints:      29595
1518.30/1522.29	c #Conflicts:    1111000 | #Constraints:      30595
1518.30/1522.29	c #Conflicts:    1112000 | #Constraints:      31595
1518.30/1522.29	c #Conflicts:    1113000 | #Constraints:      32595
1518.30/1522.29	c #Conflicts:    1114000 | #Constraints:      33595
1518.30/1522.29	c #Conflicts:    1115000 | #Constraints:      34595
1518.30/1522.29	c #Conflicts:    1116000 | #Constraints:      35595
1518.30/1522.29	c #Conflicts:    1117000 | #Constraints:      36595
1518.30/1522.29	c #Conflicts:    1118000 | #Constraints:      37595
1518.30/1522.29	c #Conflicts:    1119000 | #Constraints:      38595
1518.30/1522.29	c #Conflicts:    1120000 | #Constraints:      39595
1518.30/1522.29	c #Conflicts:    1121000 | #Constraints:      40595
1518.30/1522.29	c #Conflicts:    1122000 | #Constraints:      41595
1518.30/1522.29	c #Conflicts:    1123000 | #Constraints:      42595
1518.30/1522.29	c #Conflicts:    1124000 | #Constraints:      43595
1518.30/1522.29	c #Conflicts:    1125000 | #Constraints:      44595
1518.30/1522.29	c #Conflicts:    1126000 | #Constraints:      45595
1518.30/1522.29	c #Conflicts:    1127000 | #Constraints:      46595
1518.30/1522.29	c INPROCESSING
1518.30/1522.29	c GARBAGE COLLECT
1518.30/1522.29	c #Conflicts:    1128000 | #Constraints:      24798
1518.30/1522.29	c #Conflicts:    1129000 | #Constraints:      25798
1518.30/1522.29	c #Conflicts:    1130000 | #Constraints:      26798
1518.30/1522.29	c #Conflicts:    1131000 | #Constraints:      27798
1518.30/1522.29	c #Conflicts:    1132000 | #Constraints:      28798
1518.30/1522.29	c #Conflicts:    1133000 | #Constraints:      29798
1518.30/1522.29	c #Conflicts:    1134000 | #Constraints:      30798
1518.30/1522.29	c #Conflicts:    1135000 | #Constraints:      31798
1518.30/1522.29	c #Conflicts:    1136000 | #Constraints:      32798
1518.30/1522.29	c #Conflicts:    1137000 | #Constraints:      33798
1518.30/1522.29	c #Conflicts:    1138000 | #Constraints:      34798
1518.30/1522.29	c #Conflicts:    1139000 | #Constraints:      35798
1518.30/1522.29	c #Conflicts:    1140000 | #Constraints:      36798
1518.30/1522.29	c #Conflicts:    1141000 | #Constraints:      37798
1518.30/1522.29	c #Conflicts:    1142000 | #Constraints:      38798
1518.30/1522.29	c #Conflicts:    1143000 | #Constraints:      39798
1518.30/1522.29	c #Conflicts:    1144000 | #Constraints:      40798
1518.30/1522.29	c #Conflicts:    1145000 | #Constraints:      41798
1518.30/1522.29	c #Conflicts:    1146000 | #Constraints:      42798
1518.30/1522.29	c #Conflicts:    1147000 | #Constraints:      43798
1518.30/1522.29	c #Conflicts:    1148000 | #Constraints:      44798
1518.30/1522.29	c #Conflicts:    1149000 | #Constraints:      45798
1518.30/1522.29	c #Conflicts:    1150000 | #Constraints:      46798
1518.30/1522.29	c INPROCESSING
1518.30/1522.29	c GARBAGE COLLECT
1518.30/1522.29	c #Conflicts:    1151000 | #Constraints:      24801
1518.30/1522.29	c #Conflicts:    1152000 | #Constraints:      25801
1518.30/1522.29	c #Conflicts:    1153000 | #Constraints:      26801
1518.30/1522.29	c #Conflicts:    1154000 | #Constraints:      27801
1518.30/1522.29	c #Conflicts:    1155000 | #Constraints:      28801
1518.30/1522.29	c #Conflicts:    1156000 | #Constraints:      29801
1518.30/1522.29	c #Conflicts:    1157000 | #Constraints:      30801
1518.30/1522.29	c #Conflicts:    1158000 | #Constraints:      31801
1518.30/1522.29	c #Conflicts:    1159000 | #Constraints:      32801
1518.30/1522.29	c #Conflicts:    1160000 | #Constraints:      33801
1518.30/1522.29	c #Conflicts:    1161000 | #Constraints:      34801
1518.30/1522.29	c #Conflicts:    1162000 | #Constraints:      35801
1607.81/1611.99	c #Conflicts:    1163000 | #Constraints:      36801
1607.81/1611.99	c #Conflicts:    1164000 | #Constraints:      37801
1607.81/1611.99	c #Conflicts:    1165000 | #Constraints:      38801
1607.81/1611.99	c #Conflicts:    1166000 | #Constraints:      39801
1607.81/1611.99	c #Conflicts:    1167000 | #Constraints:      40801
1607.81/1611.99	c #Conflicts:    1168000 | #Constraints:      41801
1607.81/1611.99	c #Conflicts:    1169000 | #Constraints:      42801
1607.81/1611.99	c #Conflicts:    1170000 | #Constraints:      43801
1607.81/1611.99	c #Conflicts:    1171000 | #Constraints:      44801
1607.81/1611.99	c #Conflicts:    1172000 | #Constraints:      45801
1607.81/1611.99	c #Conflicts:    1173000 | #Constraints:      46801
1607.81/1611.99	c INPROCESSING
1607.81/1611.99	c GARBAGE COLLECT
1607.81/1611.99	c #Conflicts:    1174000 | #Constraints:      24601
1607.81/1611.99	c #Conflicts:    1175000 | #Constraints:      25601
1607.81/1611.99	c #Conflicts:    1176000 | #Constraints:      26601
1607.81/1611.99	c #Conflicts:    1177000 | #Constraints:      27601
1607.81/1611.99	c #Conflicts:    1178000 | #Constraints:      28601
1607.81/1611.99	c #Conflicts:    1179000 | #Constraints:      29601
1607.81/1611.99	c #Conflicts:    1180000 | #Constraints:      30601
1607.81/1611.99	c #Conflicts:    1181000 | #Constraints:      31601
1607.81/1611.99	c #Conflicts:    1182000 | #Constraints:      32601
1607.81/1611.99	c #Conflicts:    1183000 | #Constraints:      33601
1607.81/1611.99	c #Conflicts:    1184000 | #Constraints:      34601
1607.81/1611.99	c #Conflicts:    1185000 | #Constraints:      35601
1607.81/1611.99	c #Conflicts:    1186000 | #Constraints:      36601
1607.81/1611.99	c #Conflicts:    1187000 | #Constraints:      37601
1607.81/1611.99	c #Conflicts:    1188000 | #Constraints:      38601
1607.81/1611.99	c #Conflicts:    1189000 | #Constraints:      39601
1607.81/1611.99	c #Conflicts:    1190000 | #Constraints:      40601
1607.81/1611.99	c #Conflicts:    1191000 | #Constraints:      41601
1607.81/1611.99	c #Conflicts:    1192000 | #Constraints:      42601
1607.81/1611.99	c #Conflicts:    1193000 | #Constraints:      43601
1607.81/1611.99	c #Conflicts:    1194000 | #Constraints:      44601
1607.81/1611.99	c #Conflicts:    1195000 | #Constraints:      45601
1607.81/1611.99	c #Conflicts:    1196000 | #Constraints:      46601
1607.81/1611.99	c #Conflicts:    1197000 | #Constraints:      47601
1607.81/1611.99	c INPROCESSING
1607.81/1611.99	c GARBAGE COLLECT
1607.81/1611.99	c #Conflicts:    1198000 | #Constraints:      25195
1607.81/1611.99	c #Conflicts:    1199000 | #Constraints:      26195
1607.81/1611.99	c #Conflicts:    1200000 | #Constraints:      27195
1607.81/1611.99	c #Conflicts:    1201000 | #Constraints:      28195
1607.81/1611.99	c #Conflicts:    1202000 | #Constraints:      29195
1607.81/1611.99	c #Conflicts:    1203000 | #Constraints:      30195
1607.81/1611.99	c #Conflicts:    1204000 | #Constraints:      31195
1607.81/1611.99	c #Conflicts:    1205000 | #Constraints:      32195
1607.81/1611.99	c #Conflicts:    1206000 | #Constraints:      33195
1607.81/1611.99	c #Conflicts:    1207000 | #Constraints:      34195
1607.81/1611.99	c #Conflicts:    1208000 | #Constraints:      35195
1607.81/1611.99	c #Conflicts:    1209000 | #Constraints:      36195
1607.81/1611.99	c #Conflicts:    1210000 | #Constraints:      37195
1607.81/1611.99	c #Conflicts:    1211000 | #Constraints:      38195
1607.81/1611.99	c #Conflicts:    1212000 | #Constraints:      39195
1607.81/1611.99	c #Conflicts:    1213000 | #Constraints:      40195
1607.81/1611.99	c #Conflicts:    1214000 | #Constraints:      41195
1607.81/1611.99	c #Conflicts:    1215000 | #Constraints:      42195
1607.81/1611.99	c #Conflicts:    1216000 | #Constraints:      43195
1607.81/1611.99	c #Conflicts:    1217000 | #Constraints:      44195
1607.81/1611.99	c #Conflicts:    1218000 | #Constraints:      45195
1607.81/1611.99	c #Conflicts:    1219000 | #Constraints:      46195
1607.81/1611.99	c #Conflicts:    1220000 | #Constraints:      47195
1607.81/1611.99	c #Conflicts:    1221000 | #Constraints:      48195
1607.81/1611.99	c INPROCESSING
1607.81/1611.99	c GARBAGE COLLECT
1607.81/1611.99	c #Conflicts:    1222000 | #Constraints:      25593
1607.81/1611.99	c #Conflicts:    1223000 | #Constraints:      26593
1607.81/1611.99	c #Conflicts:    1224000 | #Constraints:      27593
1607.81/1611.99	c #Conflicts:    1225000 | #Constraints:      28593
1607.81/1611.99	c #Conflicts:    1226000 | #Constraints:      29593
1607.81/1611.99	c #Conflicts:    1227000 | #Constraints:      30593
1607.81/1611.99	c #Conflicts:    1228000 | #Constraints:      31593
1607.81/1611.99	c #Conflicts:    1229000 | #Constraints:      32593
1607.81/1611.99	c #Conflicts:    1230000 | #Constraints:      33593
1607.81/1611.99	c #Conflicts:    1231000 | #Constraints:      34593
1607.81/1611.99	c #Conflicts:    1232000 | #Constraints:      35593
1607.81/1611.99	c #Conflicts:    1233000 | #Constraints:      36593
1607.81/1611.99	c #Conflicts:    1234000 | #Constraints:      37593
1607.81/1611.99	c #Conflicts:    1235000 | #Constraints:      38593
1607.81/1611.99	c #Conflicts:    1236000 | #Constraints:      39593
1607.81/1611.99	c #Conflicts:    1237000 | #Constraints:      40593
1607.81/1611.99	c #Conflicts:    1238000 | #Constraints:      41593
1607.81/1611.99	c #Conflicts:    1239000 | #Constraints:      42593
1780.74/1785.21	c #Conflicts:    1240000 | #Constraints:      43593
1780.74/1785.21	c #Conflicts:    1241000 | #Constraints:      44593
1780.74/1785.21	c #Conflicts:    1242000 | #Constraints:      45593
1780.74/1785.21	c #Conflicts:    1243000 | #Constraints:      46593
1780.74/1785.21	c #Conflicts:    1244000 | #Constraints:      47593
1780.74/1785.21	c #Conflicts:    1245000 | #Constraints:      48593
1780.74/1785.21	c INPROCESSING
1780.74/1785.21	c GARBAGE COLLECT
1780.74/1785.21	c #Conflicts:    1246000 | #Constraints:      25793
1780.74/1785.21	c #Conflicts:    1247000 | #Constraints:      26793
1780.74/1785.21	c #Conflicts:    1248000 | #Constraints:      27793
1780.74/1785.21	c #Conflicts:    1249000 | #Constraints:      28793
1780.74/1785.21	c #Conflicts:    1250000 | #Constraints:      29793
1780.74/1785.21	c #Conflicts:    1251000 | #Constraints:      30793
1780.74/1785.21	c #Conflicts:    1252000 | #Constraints:      31793
1780.74/1785.21	c #Conflicts:    1253000 | #Constraints:      32793
1780.74/1785.21	c #Conflicts:    1254000 | #Constraints:      33793
1780.74/1785.21	c #Conflicts:    1255000 | #Constraints:      34793
1780.74/1785.21	c #Conflicts:    1256000 | #Constraints:      35793
1780.74/1785.21	c #Conflicts:    1257000 | #Constraints:      36793
1780.74/1785.21	c #Conflicts:    1258000 | #Constraints:      37793
1780.74/1785.21	c #Conflicts:    1259000 | #Constraints:      38793
1780.74/1785.21	c #Conflicts:    1260000 | #Constraints:      39793
1780.74/1785.21	c #Conflicts:    1261000 | #Constraints:      40793
1780.74/1785.21	c #Conflicts:    1262000 | #Constraints:      41793
1780.74/1785.21	c #Conflicts:    1263000 | #Constraints:      42793
1780.74/1785.21	c #Conflicts:    1264000 | #Constraints:      43793
1780.74/1785.21	c #Conflicts:    1265000 | #Constraints:      44793
1780.74/1785.21	c #Conflicts:    1266000 | #Constraints:      45793
1780.74/1785.21	c #Conflicts:    1267000 | #Constraints:      46793
1780.74/1785.21	c #Conflicts:    1268000 | #Constraints:      47793
1780.74/1785.21	c #Conflicts:    1269000 | #Constraints:      48793
1780.74/1785.21	c #Conflicts:    1270000 | #Constraints:      49793
1780.74/1785.21	c #Conflicts:    1271000 | #Constraints:      50793
1780.74/1785.21	c #Conflicts:    1272000 | #Constraints:      51793
1780.74/1785.21	c #Conflicts:    1273000 | #Constraints:      52793
1780.74/1785.21	c #Conflicts:    1274000 | #Constraints:      53793
1780.74/1785.21	c #Conflicts:    1275000 | #Constraints:      54793
1780.74/1785.21	c #Conflicts:    1276000 | #Constraints:      55793
1780.74/1785.21	c #Conflicts:    1277000 | #Constraints:      56793
1780.74/1785.21	c #Conflicts:    1278000 | #Constraints:      57793
1780.74/1785.21	c #Conflicts:    1279000 | #Constraints:      58793
1780.74/1785.21	c #Conflicts:    1280000 | #Constraints:      59793
1780.74/1785.21	c #Conflicts:    1281000 | #Constraints:      60793
1780.74/1785.21	c #Conflicts:    1282000 | #Constraints:      61793
1780.74/1785.21	c #Conflicts:    1283000 | #Constraints:      62793
1780.74/1785.21	c #Conflicts:    1284000 | #Constraints:      63793
1780.74/1785.21	c #Conflicts:    1285000 | #Constraints:      64793
1780.74/1785.21	c #Conflicts:    1286000 | #Constraints:      65793
1780.74/1785.21	c #Conflicts:    1287000 | #Constraints:      66793
1780.74/1785.21	c #Conflicts:    1288000 | #Constraints:      67793
1780.74/1785.21	c #Conflicts:    1289000 | #Constraints:      68793
1780.74/1785.21	c #Conflicts:    1290000 | #Constraints:      69793
1780.74/1785.21	c #Conflicts:    1291000 | #Constraints:      70793
1780.74/1785.21	c #Conflicts:    1292000 | #Constraints:      71793
1780.74/1785.21	c #Conflicts:    1293000 | #Constraints:      72793
1780.74/1785.21	c #Conflicts:    1294000 | #Constraints:      73793
1780.74/1785.21	c #Conflicts:    1295000 | #Constraints:      74793
1780.74/1785.21	c #Conflicts:    1296000 | #Constraints:      75793
1780.74/1785.21	c #Conflicts:    1297000 | #Constraints:      76793
1780.74/1785.21	c #Conflicts:    1298000 | #Constraints:      77793
1780.74/1785.21	c #Conflicts:    1299000 | #Constraints:      78793
1780.74/1785.21	c #Conflicts:    1300000 | #Constraints:      79793
1780.74/1785.21	c #Conflicts:    1301000 | #Constraints:      80793
1780.74/1785.21	c #Conflicts:    1302000 | #Constraints:      81793
1780.74/1785.21	c #Conflicts:    1303000 | #Constraints:      82793
1780.74/1785.21	c #Conflicts:    1304000 | #Constraints:      83793
1780.74/1785.21	c #Conflicts:    1305000 | #Constraints:      84793
1780.74/1785.21	c #Conflicts:    1306000 | #Constraints:      85793
1780.74/1785.21	c #Conflicts:    1307000 | #Constraints:      86793
1780.74/1785.21	c #Conflicts:    1308000 | #Constraints:      87793
1780.74/1785.21	c #Conflicts:    1309000 | #Constraints:      88793
1780.74/1785.21	c #Conflicts:    1310000 | #Constraints:      89793
1780.74/1785.21	c #Conflicts:    1311000 | #Constraints:      90793
1780.74/1785.21	c #Conflicts:    1312000 | #Constraints:      91793
1780.74/1785.21	c #Conflicts:    1313000 | #Constraints:      92793
1780.74/1785.21	c #Conflicts:    1314000 | #Constraints:      93793
1780.74/1785.21	c #Conflicts:    1315000 | #Constraints:      94793
1780.74/1785.21	c #Conflicts:    1316000 | #Constraints:      95793
1780.74/1785.21	c #Conflicts:    1317000 | #Constraints:      96793
2013.45/2018.45	c #Conflicts:    1318000 | #Constraints:      97793
2013.45/2018.45	c #Conflicts:    1319000 | #Constraints:      98793
2013.45/2018.45	c #Conflicts:    1320000 | #Constraints:      99793
2013.45/2018.45	c #Conflicts:    1321000 | #Constraints:     100793
2013.45/2018.45	c #Conflicts:    1322000 | #Constraints:     101793
2013.45/2018.45	c #Conflicts:    1323000 | #Constraints:     102793
2013.45/2018.45	c #Conflicts:    1324000 | #Constraints:     103793
2013.45/2018.45	c #Conflicts:    1325000 | #Constraints:     104793
2013.45/2018.45	c #Conflicts:    1326000 | #Constraints:     105793
2013.45/2018.45	c #Conflicts:    1327000 | #Constraints:     106793
2013.45/2018.45	c #Conflicts:    1328000 | #Constraints:     107793
2013.45/2018.45	c #Conflicts:    1329000 | #Constraints:     108793
2013.45/2018.45	c #Conflicts:    1330000 | #Constraints:     109793
2013.45/2018.45	c #Conflicts:    1331000 | #Constraints:     110793
2013.45/2018.45	c #Conflicts:    1332000 | #Constraints:     111793
2013.45/2018.45	c #Conflicts:    1333000 | #Constraints:     112793
2013.45/2018.45	c #Conflicts:    1334000 | #Constraints:     113793
2013.45/2018.45	c #Conflicts:    1335000 | #Constraints:     114793
2013.45/2018.45	c #Conflicts:    1336000 | #Constraints:     115793
2013.45/2018.45	c #Conflicts:    1337000 | #Constraints:     116793
2013.45/2018.45	c INPROCESSING
2013.45/2018.45	c GARBAGE COLLECT
2013.45/2018.45	c #Conflicts:    1338000 | #Constraints:      59601
2013.45/2018.45	c #Conflicts:    1339000 | #Constraints:      60601
2013.45/2018.45	c #Conflicts:    1340000 | #Constraints:      61601
2013.45/2018.45	c #Conflicts:    1341000 | #Constraints:      62601
2013.45/2018.45	c #Conflicts:    1342000 | #Constraints:      63601
2013.45/2018.45	c #Conflicts:    1343000 | #Constraints:      64601
2013.45/2018.45	c #Conflicts:    1344000 | #Constraints:      65601
2013.45/2018.45	c #Conflicts:    1345000 | #Constraints:      66601
2013.45/2018.45	c #Conflicts:    1346000 | #Constraints:      67601
2013.45/2018.45	c #Conflicts:    1347000 | #Constraints:      68601
2013.45/2018.45	c #Conflicts:    1348000 | #Constraints:      69601
2013.45/2018.45	c #Conflicts:    1349000 | #Constraints:      70601
2013.45/2018.45	c #Conflicts:    1350000 | #Constraints:      71601
2013.45/2018.45	c #Conflicts:    1351000 | #Constraints:      72601
2013.45/2018.45	c #Conflicts:    1352000 | #Constraints:      73601
2013.45/2018.45	c #Conflicts:    1353000 | #Constraints:      74601
2013.45/2018.45	c #Conflicts:    1354000 | #Constraints:      75601
2013.45/2018.45	c #Conflicts:    1355000 | #Constraints:      76601
2013.45/2018.45	c #Conflicts:    1356000 | #Constraints:      77601
2013.45/2018.45	c #Conflicts:    1357000 | #Constraints:      78601
2013.45/2018.45	c #Conflicts:    1358000 | #Constraints:      79601
2013.45/2018.45	c #Conflicts:    1359000 | #Constraints:      80601
2013.45/2018.45	c #Conflicts:    1360000 | #Constraints:      81601
2013.45/2018.45	c #Conflicts:    1361000 | #Constraints:      82601
2013.45/2018.45	c #Conflicts:    1362000 | #Constraints:      83601
2013.45/2018.45	c INPROCESSING
2013.45/2018.45	c GARBAGE COLLECT
2013.45/2018.45	c #Conflicts:    1363000 | #Constraints:      42838
2013.45/2018.45	c #Conflicts:    1364000 | #Constraints:      43838
2013.45/2018.45	c #Conflicts:    1365000 | #Constraints:      44838
2013.45/2018.45	c #Conflicts:    1366000 | #Constraints:      45838
2013.45/2018.45	c #Conflicts:    1367000 | #Constraints:      46838
2013.45/2018.45	c #Conflicts:    1368000 | #Constraints:      47838
2013.45/2018.45	c #Conflicts:    1369000 | #Constraints:      48838
2013.45/2018.45	c #Conflicts:    1370000 | #Constraints:      49838
2013.45/2018.45	c #Conflicts:    1371000 | #Constraints:      50838
2013.45/2018.45	c #Conflicts:    1372000 | #Constraints:      51838
2013.45/2018.45	c #Conflicts:    1373000 | #Constraints:      52838
2013.45/2018.45	c #Conflicts:    1374000 | #Constraints:      53838
2013.45/2018.45	c #Conflicts:    1375000 | #Constraints:      54838
2013.45/2018.45	c #Conflicts:    1376000 | #Constraints:      55838
2013.45/2018.45	c #Conflicts:    1377000 | #Constraints:      56838
2013.45/2018.45	c #Conflicts:    1378000 | #Constraints:      57838
2013.45/2018.45	c #Conflicts:    1379000 | #Constraints:      58838
2013.45/2018.45	c #Conflicts:    1380000 | #Constraints:      59838
2013.45/2018.45	c #Conflicts:    1381000 | #Constraints:      60838
2013.45/2018.45	c #Conflicts:    1382000 | #Constraints:      61838
2013.45/2018.45	c #Conflicts:    1383000 | #Constraints:      62838
2013.45/2018.45	c #Conflicts:    1384000 | #Constraints:      63838
2013.45/2018.45	c #Conflicts:    1385000 | #Constraints:      64838
2013.45/2018.45	c #Conflicts:    1386000 | #Constraints:      65838
2013.45/2018.45	c #Conflicts:    1387000 | #Constraints:      66838
2013.45/2018.45	c #Conflicts:    1388000 | #Constraints:      67838
2013.45/2018.45	c INPROCESSING
2013.45/2018.45	c GARBAGE COLLECT
2013.45/2018.45	c #Conflicts:    1389000 | #Constraints:      35222
2013.45/2018.45	c #Conflicts:    1390000 | #Constraints:      36222
2013.45/2018.45	c #Conflicts:    1391000 | #Constraints:      37222
2013.45/2018.45	c #Conflicts:    1392000 | #Constraints:      38222
2013.45/2018.45	c #Conflicts:    1393000 | #Constraints:      39222
2013.45/2018.45	c #Conflicts:    1394000 | #Constraints:      40222
2127.01/2132.21	c #Conflicts:    1395000 | #Constraints:      41222
2127.01/2132.21	c #Conflicts:    1396000 | #Constraints:      42222
2127.01/2132.21	c #Conflicts:    1397000 | #Constraints:      43222
2127.01/2132.21	c #Conflicts:    1398000 | #Constraints:      44222
2127.01/2132.21	c #Conflicts:    1399000 | #Constraints:      45222
2127.01/2132.21	c #Conflicts:    1400000 | #Constraints:      46222
2127.01/2132.21	c #Conflicts:    1401000 | #Constraints:      47222
2127.01/2132.21	c #Conflicts:    1402000 | #Constraints:      48222
2127.01/2132.21	c #Conflicts:    1403000 | #Constraints:      49222
2127.01/2132.21	c #Conflicts:    1404000 | #Constraints:      50222
2127.01/2132.21	c #Conflicts:    1405000 | #Constraints:      51222
2127.01/2132.21	c #Conflicts:    1406000 | #Constraints:      52222
2127.01/2132.21	c #Conflicts:    1407000 | #Constraints:      53222
2127.01/2132.21	c #Conflicts:    1408000 | #Constraints:      54222
2127.01/2132.21	c #Conflicts:    1409000 | #Constraints:      55222
2127.01/2132.21	c #Conflicts:    1410000 | #Constraints:      56222
2127.01/2132.21	c #Conflicts:    1411000 | #Constraints:      57222
2127.01/2132.21	c #Conflicts:    1412000 | #Constraints:      58222
2127.01/2132.21	c #Conflicts:    1413000 | #Constraints:      59222
2127.01/2132.21	c #Conflicts:    1414000 | #Constraints:      60222
2127.01/2132.21	c INPROCESSING
2127.01/2132.21	c GARBAGE COLLECT
2127.01/2132.21	c #Conflicts:    1415000 | #Constraints:      31564
2127.01/2132.21	c #Conflicts:    1416000 | #Constraints:      32564
2127.01/2132.21	c #Conflicts:    1417000 | #Constraints:      33564
2127.01/2132.21	c #Conflicts:    1418000 | #Constraints:      34564
2127.01/2132.21	c #Conflicts:    1419000 | #Constraints:      35564
2127.01/2132.21	c #Conflicts:    1420000 | #Constraints:      36564
2127.01/2132.21	c #Conflicts:    1421000 | #Constraints:      37564
2127.01/2132.21	c #Conflicts:    1422000 | #Constraints:      38564
2127.01/2132.21	c #Conflicts:    1423000 | #Constraints:      39564
2127.01/2132.21	c #Conflicts:    1424000 | #Constraints:      40564
2127.01/2132.21	c #Conflicts:    1425000 | #Constraints:      41564
2127.01/2132.21	c #Conflicts:    1426000 | #Constraints:      42564
2127.01/2132.21	c #Conflicts:    1427000 | #Constraints:      43564
2127.01/2132.21	c #Conflicts:    1428000 | #Constraints:      44564
2127.01/2132.21	c #Conflicts:    1429000 | #Constraints:      45564
2127.01/2132.21	c #Conflicts:    1430000 | #Constraints:      46564
2127.01/2132.21	c #Conflicts:    1431000 | #Constraints:      47564
2127.01/2132.21	c #Conflicts:    1432000 | #Constraints:      48564
2127.01/2132.21	c #Conflicts:    1433000 | #Constraints:      49564
2127.01/2132.21	c #Conflicts:    1434000 | #Constraints:      50564
2127.01/2132.21	c #Conflicts:    1435000 | #Constraints:      51564
2127.01/2132.21	c #Conflicts:    1436000 | #Constraints:      52564
2127.01/2132.21	c #Conflicts:    1437000 | #Constraints:      53564
2127.01/2132.21	c #Conflicts:    1438000 | #Constraints:      54564
2127.01/2132.21	c #Conflicts:    1439000 | #Constraints:      55564
2127.01/2132.21	c #Conflicts:    1440000 | #Constraints:      56564
2127.01/2132.21	c INPROCESSING
2127.01/2132.21	c GARBAGE COLLECT
2127.01/2132.21	c #Conflicts:    1441000 | #Constraints:      29778
2127.01/2132.21	c #Conflicts:    1442000 | #Constraints:      30778
2127.01/2132.21	c #Conflicts:    1443000 | #Constraints:      31778
2127.01/2132.21	c #Conflicts:    1444000 | #Constraints:      32778
2127.01/2132.21	c #Conflicts:    1445000 | #Constraints:      33778
2127.01/2132.21	c #Conflicts:    1446000 | #Constraints:      34778
2127.01/2132.21	c #Conflicts:    1447000 | #Constraints:      35778
2127.01/2132.21	c #Conflicts:    1448000 | #Constraints:      36778
2127.01/2132.21	c #Conflicts:    1449000 | #Constraints:      37778
2127.01/2132.21	c #Conflicts:    1450000 | #Constraints:      38778
2127.01/2132.21	c #Conflicts:    1451000 | #Constraints:      39778
2127.01/2132.21	c #Conflicts:    1452000 | #Constraints:      40778
2127.01/2132.21	c #Conflicts:    1453000 | #Constraints:      41778
2127.01/2132.21	c #Conflicts:    1454000 | #Constraints:      42778
2127.01/2132.21	c #Conflicts:    1455000 | #Constraints:      43778
2127.01/2132.21	c #Conflicts:    1456000 | #Constraints:      44778
2127.01/2132.21	c #Conflicts:    1457000 | #Constraints:      45778
2127.01/2132.21	c #Conflicts:    1458000 | #Constraints:      46778
2127.01/2132.21	c #Conflicts:    1459000 | #Constraints:      47778
2127.01/2132.21	c #Conflicts:    1460000 | #Constraints:      48778
2127.01/2132.21	c #Conflicts:    1461000 | #Constraints:      49778
2127.01/2132.21	c #Conflicts:    1462000 | #Constraints:      50778
2127.01/2132.21	c #Conflicts:    1463000 | #Constraints:      51778
2127.01/2132.21	c #Conflicts:    1464000 | #Constraints:      52778
2127.01/2132.21	c #Conflicts:    1465000 | #Constraints:      53778
2127.01/2132.21	c #Conflicts:    1466000 | #Constraints:      54778
2127.01/2132.21	c INPROCESSING
2127.01/2132.21	c GARBAGE COLLECT
2127.01/2132.21	c #Conflicts:    1467000 | #Constraints:      28833
2127.01/2132.21	c #Conflicts:    1468000 | #Constraints:      29833
2127.01/2132.21	c #Conflicts:    1469000 | #Constraints:      30833
2127.01/2132.21	c #Conflicts:    1470000 | #Constraints:      31833
2127.01/2132.21	c #Conflicts:    1471000 | #Constraints:      32833
2234.19/2239.63	c #Conflicts:    1472000 | #Constraints:      33833
2234.19/2239.63	c #Conflicts:    1473000 | #Constraints:      34833
2234.19/2239.63	c #Conflicts:    1474000 | #Constraints:      35833
2234.19/2239.63	c #Conflicts:    1475000 | #Constraints:      36833
2234.19/2239.63	c #Conflicts:    1476000 | #Constraints:      37833
2234.19/2239.63	c #Conflicts:    1477000 | #Constraints:      38833
2234.19/2239.63	c #Conflicts:    1478000 | #Constraints:      39833
2234.19/2239.63	c #Conflicts:    1479000 | #Constraints:      40833
2234.19/2239.63	c #Conflicts:    1480000 | #Constraints:      41833
2234.19/2239.63	c #Conflicts:    1481000 | #Constraints:      42833
2234.19/2239.63	c #Conflicts:    1482000 | #Constraints:      43833
2234.19/2239.63	c #Conflicts:    1483000 | #Constraints:      44833
2234.19/2239.63	c #Conflicts:    1484000 | #Constraints:      45833
2234.19/2239.63	c #Conflicts:    1485000 | #Constraints:      46833
2234.19/2239.63	c #Conflicts:    1486000 | #Constraints:      47833
2234.19/2239.63	c #Conflicts:    1487000 | #Constraints:      48833
2234.19/2239.63	c #Conflicts:    1488000 | #Constraints:      49833
2234.19/2239.63	c #Conflicts:    1489000 | #Constraints:      50833
2234.19/2239.63	c #Conflicts:    1490000 | #Constraints:      51833
2234.19/2239.63	c #Conflicts:    1491000 | #Constraints:      52833
2234.19/2239.63	c #Conflicts:    1492000 | #Constraints:      53833
2234.19/2239.63	c INPROCESSING
2234.19/2239.63	c GARBAGE COLLECT
2234.19/2239.63	c #Conflicts:    1493000 | #Constraints:      28210
2234.19/2239.63	c #Conflicts:    1494000 | #Constraints:      29210
2234.19/2239.63	c #Conflicts:    1495000 | #Constraints:      30210
2234.19/2239.63	c #Conflicts:    1496000 | #Constraints:      31210
2234.19/2239.63	c #Conflicts:    1497000 | #Constraints:      32210
2234.19/2239.63	c #Conflicts:    1498000 | #Constraints:      33210
2234.19/2239.63	c #Conflicts:    1499000 | #Constraints:      34210
2234.19/2239.63	c #Conflicts:    1500000 | #Constraints:      35210
2234.19/2239.63	c #Conflicts:    1501000 | #Constraints:      36210
2234.19/2239.63	c #Conflicts:    1502000 | #Constraints:      37210
2234.19/2239.63	c #Conflicts:    1503000 | #Constraints:      38210
2234.19/2239.63	c #Conflicts:    1504000 | #Constraints:      39210
2234.19/2239.63	c #Conflicts:    1505000 | #Constraints:      40210
2234.19/2239.63	c #Conflicts:    1506000 | #Constraints:      41210
2234.19/2239.63	c #Conflicts:    1507000 | #Constraints:      42210
2234.19/2239.63	c #Conflicts:    1508000 | #Constraints:      43210
2234.19/2239.63	c #Conflicts:    1509000 | #Constraints:      44210
2234.19/2239.63	c #Conflicts:    1510000 | #Constraints:      45210
2234.19/2239.63	c #Conflicts:    1511000 | #Constraints:      46210
2234.19/2239.63	c #Conflicts:    1512000 | #Constraints:      47210
2234.19/2239.63	c #Conflicts:    1513000 | #Constraints:      48210
2234.19/2239.63	c #Conflicts:    1514000 | #Constraints:      49210
2234.19/2239.63	c #Conflicts:    1515000 | #Constraints:      50210
2234.19/2239.63	c #Conflicts:    1516000 | #Constraints:      51210
2234.19/2239.63	c #Conflicts:    1517000 | #Constraints:      52210
2234.19/2239.63	c #Conflicts:    1518000 | #Constraints:      53210
2234.19/2239.63	c INPROCESSING
2234.19/2239.63	c GARBAGE COLLECT
2234.19/2239.63	c #Conflicts:    1519000 | #Constraints:      27653
2234.19/2239.63	c #Conflicts:    1520000 | #Constraints:      28653
2234.19/2239.63	c #Conflicts:    1521000 | #Constraints:      29653
2234.19/2239.63	c #Conflicts:    1522000 | #Constraints:      30653
2234.19/2239.63	c #Conflicts:    1523000 | #Constraints:      31653
2234.19/2239.63	c #Conflicts:    1524000 | #Constraints:      32653
2234.19/2239.63	c #Conflicts:    1525000 | #Constraints:      33653
2234.19/2239.63	c #Conflicts:    1526000 | #Constraints:      34653
2234.19/2239.63	c #Conflicts:    1527000 | #Constraints:      35653
2234.19/2239.63	c #Conflicts:    1528000 | #Constraints:      36653
2234.19/2239.63	c #Conflicts:    1529000 | #Constraints:      37653
2234.19/2239.63	c #Conflicts:    1530000 | #Constraints:      38653
2234.19/2239.63	c #Conflicts:    1531000 | #Constraints:      39653
2234.19/2239.63	c #Conflicts:    1532000 | #Constraints:      40653
2234.19/2239.63	c #Conflicts:    1533000 | #Constraints:      41653
2234.19/2239.63	c #Conflicts:    1534000 | #Constraints:      42653
2234.19/2239.63	c #Conflicts:    1535000 | #Constraints:      43653
2234.19/2239.63	c #Conflicts:    1536000 | #Constraints:      44653
2234.19/2239.63	c #Conflicts:    1537000 | #Constraints:      45653
2234.19/2239.63	c #Conflicts:    1538000 | #Constraints:      46653
2234.19/2239.63	c #Conflicts:    1539000 | #Constraints:      47653
2234.19/2239.63	c #Conflicts:    1540000 | #Constraints:      48653
2234.19/2239.63	c #Conflicts:    1541000 | #Constraints:      49653
2234.19/2239.63	c #Conflicts:    1542000 | #Constraints:      50653
2234.19/2239.63	c #Conflicts:    1543000 | #Constraints:      51653
2234.19/2239.63	c #Conflicts:    1544000 | #Constraints:      52653
2234.19/2239.63	c #Conflicts:    1545000 | #Constraints:      53653
2234.19/2239.63	c #Conflicts:    1546000 | #Constraints:      54653
2234.19/2239.63	c #Conflicts:    1547000 | #Constraints:      55653
2234.19/2239.63	c #Conflicts:    1548000 | #Constraints:      56653
2535.80/2541.92	c #Conflicts:    1549000 | #Constraints:      57653
2535.80/2541.92	c #Conflicts:    1550000 | #Constraints:      58653
2535.80/2541.92	c #Conflicts:    1551000 | #Constraints:      59653
2535.80/2541.92	c #Conflicts:    1552000 | #Constraints:      60653
2535.80/2541.92	c #Conflicts:    1553000 | #Constraints:      61653
2535.80/2541.92	c #Conflicts:    1554000 | #Constraints:      62653
2535.80/2541.92	c #Conflicts:    1555000 | #Constraints:      63653
2535.80/2541.92	c #Conflicts:    1556000 | #Constraints:      64653
2535.80/2541.92	c #Conflicts:    1557000 | #Constraints:      65653
2535.80/2541.92	c #Conflicts:    1558000 | #Constraints:      66653
2535.80/2541.92	c #Conflicts:    1559000 | #Constraints:      67653
2535.80/2541.92	c #Conflicts:    1560000 | #Constraints:      68653
2535.80/2541.92	c #Conflicts:    1561000 | #Constraints:      69653
2535.80/2541.92	c #Conflicts:    1562000 | #Constraints:      70653
2535.80/2541.92	c #Conflicts:    1563000 | #Constraints:      71653
2535.80/2541.92	c #Conflicts:    1564000 | #Constraints:      72653
2535.80/2541.92	c #Conflicts:    1565000 | #Constraints:      73653
2535.80/2541.92	c #Conflicts:    1566000 | #Constraints:      74653
2535.80/2541.92	c #Conflicts:    1567000 | #Constraints:      75653
2535.80/2541.92	c #Conflicts:    1568000 | #Constraints:      76653
2535.80/2541.92	c #Conflicts:    1569000 | #Constraints:      77653
2535.80/2541.92	c #Conflicts:    1570000 | #Constraints:      78653
2535.80/2541.92	c #Conflicts:    1571000 | #Constraints:      79653
2535.80/2541.92	c #Conflicts:    1572000 | #Constraints:      80653
2535.80/2541.92	c #Conflicts:    1573000 | #Constraints:      81653
2535.80/2541.92	c #Conflicts:    1574000 | #Constraints:      82653
2535.80/2541.92	c #Conflicts:    1575000 | #Constraints:      83653
2535.80/2541.92	c #Conflicts:    1576000 | #Constraints:      84653
2535.80/2541.92	c #Conflicts:    1577000 | #Constraints:      85653
2535.80/2541.92	c #Conflicts:    1578000 | #Constraints:      86653
2535.80/2541.92	c #Conflicts:    1579000 | #Constraints:      87653
2535.80/2541.92	c #Conflicts:    1580000 | #Constraints:      88653
2535.80/2541.92	c #Conflicts:    1581000 | #Constraints:      89653
2535.80/2541.92	c #Conflicts:    1582000 | #Constraints:      90653
2535.80/2541.92	c #Conflicts:    1583000 | #Constraints:      91653
2535.80/2541.92	c #Conflicts:    1584000 | #Constraints:      92653
2535.80/2541.92	c #Conflicts:    1585000 | #Constraints:      93653
2535.80/2541.92	c #Conflicts:    1586000 | #Constraints:      94653
2535.80/2541.92	c #Conflicts:    1587000 | #Constraints:      95653
2535.80/2541.92	c #Conflicts:    1588000 | #Constraints:      96653
2535.80/2541.92	c #Conflicts:    1589000 | #Constraints:      97653
2535.80/2541.92	c #Conflicts:    1590000 | #Constraints:      98653
2535.80/2541.92	c #Conflicts:    1591000 | #Constraints:      99653
2535.80/2541.92	c #Conflicts:    1592000 | #Constraints:     100653
2535.80/2541.92	c #Conflicts:    1593000 | #Constraints:     101653
2535.80/2541.92	c #Conflicts:    1594000 | #Constraints:     102653
2535.80/2541.92	c #Conflicts:    1595000 | #Constraints:     103653
2535.80/2541.92	c #Conflicts:    1596000 | #Constraints:     104653
2535.80/2541.92	c #Conflicts:    1597000 | #Constraints:     105653
2535.80/2541.92	c #Conflicts:    1598000 | #Constraints:     106653
2535.80/2541.92	c #Conflicts:    1599000 | #Constraints:     107653
2535.80/2541.92	c #Conflicts:    1600000 | #Constraints:     108653
2535.80/2541.92	c #Conflicts:    1601000 | #Constraints:     109653
2535.80/2541.92	c #Conflicts:    1602000 | #Constraints:     110653
2535.80/2541.92	c #Conflicts:    1603000 | #Constraints:     111653
2535.80/2541.92	c #Conflicts:    1604000 | #Constraints:     112653
2535.80/2541.92	c #Conflicts:    1605000 | #Constraints:     113653
2535.80/2541.92	c #Conflicts:    1606000 | #Constraints:     114653
2535.80/2541.92	c #Conflicts:    1607000 | #Constraints:     115653
2535.80/2541.92	c #Conflicts:    1608000 | #Constraints:     116653
2535.80/2541.92	c #Conflicts:    1609000 | #Constraints:     117653
2535.80/2541.92	c #Conflicts:    1610000 | #Constraints:     118653
2535.80/2541.92	c #Conflicts:    1611000 | #Constraints:     119653
2535.80/2541.92	c #Conflicts:    1612000 | #Constraints:     120653
2535.80/2541.92	c #Conflicts:    1613000 | #Constraints:     121653
2535.80/2541.92	c #Conflicts:    1614000 | #Constraints:     122653
2535.80/2541.92	c #Conflicts:    1615000 | #Constraints:     123653
2535.80/2541.92	c #Conflicts:    1616000 | #Constraints:     124653
2535.80/2541.92	c #Conflicts:    1617000 | #Constraints:     125653
2535.80/2541.92	c #Conflicts:    1618000 | #Constraints:     126653
2535.80/2541.92	c #Conflicts:    1619000 | #Constraints:     127653
2535.80/2541.92	c #Conflicts:    1620000 | #Constraints:     128653
2535.80/2541.92	c #Conflicts:    1621000 | #Constraints:     129653
2535.80/2541.92	c INPROCESSING
2535.80/2541.92	c GARBAGE COLLECT
2535.80/2541.92	c #Conflicts:    1622000 | #Constraints:      66231
2535.80/2541.92	c #Conflicts:    1623000 | #Constraints:      67231
2535.80/2541.92	c #Conflicts:    1624000 | #Constraints:      68231
2535.80/2541.92	c #Conflicts:    1625000 | #Constraints:      69231
2535.80/2541.92	c #Conflicts:    1626000 | #Constraints:      70231
2535.80/2541.92	c #Conflicts:    1627000 | #Constraints:      71231
2726.29/2732.85	c #Conflicts:    1628000 | #Constraints:      72231
2726.29/2732.85	c #Conflicts:    1629000 | #Constraints:      73231
2726.29/2732.85	c #Conflicts:    1630000 | #Constraints:      74231
2726.29/2732.85	c #Conflicts:    1631000 | #Constraints:      75231
2726.29/2732.85	c #Conflicts:    1632000 | #Constraints:      76231
2726.29/2732.85	c #Conflicts:    1633000 | #Constraints:      77231
2726.29/2732.85	c #Conflicts:    1634000 | #Constraints:      78231
2726.29/2732.85	c #Conflicts:    1635000 | #Constraints:      79231
2726.29/2732.85	c #Conflicts:    1636000 | #Constraints:      80231
2726.29/2732.85	c #Conflicts:    1637000 | #Constraints:      81231
2726.29/2732.85	c #Conflicts:    1638000 | #Constraints:      82231
2726.29/2732.85	c #Conflicts:    1639000 | #Constraints:      83231
2726.29/2732.85	c #Conflicts:    1640000 | #Constraints:      84231
2726.29/2732.85	c #Conflicts:    1641000 | #Constraints:      85231
2726.29/2732.85	c #Conflicts:    1642000 | #Constraints:      86231
2726.29/2732.85	c #Conflicts:    1643000 | #Constraints:      87231
2726.29/2732.85	c #Conflicts:    1644000 | #Constraints:      88231
2726.29/2732.85	c #Conflicts:    1645000 | #Constraints:      89231
2726.29/2732.85	c #Conflicts:    1646000 | #Constraints:      90231
2726.29/2732.85	c #Conflicts:    1647000 | #Constraints:      91231
2726.29/2732.85	c #Conflicts:    1648000 | #Constraints:      92231
2726.29/2732.85	c #Conflicts:    1649000 | #Constraints:      93231
2726.29/2732.85	c INPROCESSING
2726.29/2732.85	c GARBAGE COLLECT
2726.29/2732.85	c #Conflicts:    1650000 | #Constraints:      48110
2726.29/2732.85	c #Conflicts:    1651000 | #Constraints:      49110
2726.29/2732.85	c #Conflicts:    1652000 | #Constraints:      50110
2726.29/2732.85	c #Conflicts:    1653000 | #Constraints:      51110
2726.29/2732.85	c #Conflicts:    1654000 | #Constraints:      52110
2726.29/2732.85	c #Conflicts:    1655000 | #Constraints:      53110
2726.29/2732.85	c #Conflicts:    1656000 | #Constraints:      54110
2726.29/2732.85	c #Conflicts:    1657000 | #Constraints:      55110
2726.29/2732.85	c #Conflicts:    1658000 | #Constraints:      56110
2726.29/2732.85	c #Conflicts:    1659000 | #Constraints:      57110
2726.29/2732.85	c #Conflicts:    1660000 | #Constraints:      58110
2726.29/2732.85	c #Conflicts:    1661000 | #Constraints:      59110
2726.29/2732.85	c #Conflicts:    1662000 | #Constraints:      60110
2726.29/2732.85	c #Conflicts:    1663000 | #Constraints:      61110
2726.29/2732.85	c #Conflicts:    1664000 | #Constraints:      62110
2726.29/2732.85	c #Conflicts:    1665000 | #Constraints:      63110
2726.29/2732.85	c #Conflicts:    1666000 | #Constraints:      64110
2726.29/2732.85	c #Conflicts:    1667000 | #Constraints:      65110
2726.29/2732.85	c #Conflicts:    1668000 | #Constraints:      66110
2726.29/2732.85	c #Conflicts:    1669000 | #Constraints:      67110
2726.29/2732.85	c #Conflicts:    1670000 | #Constraints:      68110
2726.29/2732.85	c #Conflicts:    1671000 | #Constraints:      69110
2726.29/2732.85	c #Conflicts:    1672000 | #Constraints:      70110
2726.29/2732.85	c #Conflicts:    1673000 | #Constraints:      71110
2726.29/2732.85	c #Conflicts:    1674000 | #Constraints:      72110
2726.29/2732.85	c #Conflicts:    1675000 | #Constraints:      73110
2726.29/2732.85	c #Conflicts:    1676000 | #Constraints:      74110
2726.29/2732.85	c #Conflicts:    1677000 | #Constraints:      75110
2726.29/2732.85	c INPROCESSING
2726.29/2732.85	c GARBAGE COLLECT
2726.29/2732.85	c #Conflicts:    1678000 | #Constraints:      39052
2726.29/2732.85	c #Conflicts:    1679000 | #Constraints:      40052
2726.29/2732.85	c #Conflicts:    1680000 | #Constraints:      41052
2726.29/2732.85	c #Conflicts:    1681000 | #Constraints:      42052
2726.29/2732.85	c #Conflicts:    1682000 | #Constraints:      43052
2726.29/2732.85	c #Conflicts:    1683000 | #Constraints:      44052
2726.29/2732.85	c #Conflicts:    1684000 | #Constraints:      45052
2726.29/2732.85	c #Conflicts:    1685000 | #Constraints:      46052
2726.29/2732.85	c #Conflicts:    1686000 | #Constraints:      47052
2726.29/2732.85	c #Conflicts:    1687000 | #Constraints:      48052
2726.29/2732.85	c #Conflicts:    1688000 | #Constraints:      49052
2726.29/2732.85	c #Conflicts:    1689000 | #Constraints:      50052
2726.29/2732.85	c #Conflicts:    1690000 | #Constraints:      51052
2726.29/2732.85	c #Conflicts:    1691000 | #Constraints:      52052
2726.29/2732.85	c #Conflicts:    1692000 | #Constraints:      53052
2726.29/2732.85	c #Conflicts:    1693000 | #Constraints:      54052
2726.29/2732.85	c #Conflicts:    1694000 | #Constraints:      55052
2726.29/2732.85	c #Conflicts:    1695000 | #Constraints:      56052
2726.29/2732.85	c #Conflicts:    1696000 | #Constraints:      57052
2726.29/2732.85	c #Conflicts:    1697000 | #Constraints:      58052
2726.29/2732.85	c #Conflicts:    1698000 | #Constraints:      59052
2726.29/2732.85	c #Conflicts:    1699000 | #Constraints:      60052
2726.29/2732.85	c #Conflicts:    1700000 | #Constraints:      61052
2726.29/2732.85	c #Conflicts:    1701000 | #Constraints:      62052
2726.29/2732.85	c #Conflicts:    1702000 | #Constraints:      63052
2726.29/2732.85	c #Conflicts:    1703000 | #Constraints:      64052
2726.29/2732.85	c #Conflicts:    1704000 | #Constraints:      65052
2855.33/2862.13	c #Conflicts:    1705000 | #Constraints:      66052
2855.33/2862.13	c INPROCESSING
2855.33/2862.13	c GARBAGE COLLECT
2855.33/2862.13	c #Conflicts:    1706000 | #Constraints:      34424
2855.33/2862.13	c #Conflicts:    1707000 | #Constraints:      35424
2855.33/2862.13	c #Conflicts:    1708000 | #Constraints:      36424
2855.33/2862.13	c #Conflicts:    1709000 | #Constraints:      37424
2855.33/2862.13	c #Conflicts:    1710000 | #Constraints:      38424
2855.33/2862.13	c #Conflicts:    1711000 | #Constraints:      39424
2855.33/2862.13	c #Conflicts:    1712000 | #Constraints:      40424
2855.33/2862.13	c #Conflicts:    1713000 | #Constraints:      41424
2855.33/2862.13	c #Conflicts:    1714000 | #Constraints:      42424
2855.33/2862.13	c #Conflicts:    1715000 | #Constraints:      43424
2855.33/2862.13	c #Conflicts:    1716000 | #Constraints:      44424
2855.33/2862.13	c #Conflicts:    1717000 | #Constraints:      45424
2855.33/2862.13	c #Conflicts:    1718000 | #Constraints:      46424
2855.33/2862.13	c #Conflicts:    1719000 | #Constraints:      47424
2855.33/2862.13	c #Conflicts:    1720000 | #Constraints:      48424
2855.33/2862.13	c #Conflicts:    1721000 | #Constraints:      49424
2855.33/2862.13	c #Conflicts:    1722000 | #Constraints:      50424
2855.33/2862.13	c #Conflicts:    1723000 | #Constraints:      51424
2855.33/2862.13	c #Conflicts:    1724000 | #Constraints:      52424
2855.33/2862.13	c #Conflicts:    1725000 | #Constraints:      53424
2855.33/2862.13	c #Conflicts:    1726000 | #Constraints:      54424
2855.33/2862.13	c #Conflicts:    1727000 | #Constraints:      55424
2855.33/2862.13	c #Conflicts:    1728000 | #Constraints:      56424
2855.33/2862.13	c #Conflicts:    1729000 | #Constraints:      57424
2855.33/2862.13	c #Conflicts:    1730000 | #Constraints:      58424
2855.33/2862.13	c #Conflicts:    1731000 | #Constraints:      59424
2855.33/2862.13	c #Conflicts:    1732000 | #Constraints:      60424
2855.33/2862.13	c #Conflicts:    1733000 | #Constraints:      61424
2855.33/2862.13	c INPROCESSING
2855.33/2862.13	c GARBAGE COLLECT
2855.33/2862.13	c #Conflicts:    1734000 | #Constraints:      31909
2855.33/2862.13	c #Conflicts:    1735000 | #Constraints:      32909
2855.33/2862.13	c #Conflicts:    1736000 | #Constraints:      33909
2855.33/2862.13	c #Conflicts:    1737000 | #Constraints:      34909
2855.33/2862.13	c #Conflicts:    1738000 | #Constraints:      35909
2855.33/2862.13	c #Conflicts:    1739000 | #Constraints:      36909
2855.33/2862.13	c #Conflicts:    1740000 | #Constraints:      37909
2855.33/2862.13	c #Conflicts:    1741000 | #Constraints:      38909
2855.33/2862.13	c #Conflicts:    1742000 | #Constraints:      39909
2855.33/2862.13	c #Conflicts:    1743000 | #Constraints:      40909
2855.33/2862.13	c #Conflicts:    1744000 | #Constraints:      41909
2855.33/2862.13	c #Conflicts:    1745000 | #Constraints:      42909
2855.33/2862.13	c #Conflicts:    1746000 | #Constraints:      43909
2855.33/2862.13	c #Conflicts:    1747000 | #Constraints:      44909
2855.33/2862.13	c #Conflicts:    1748000 | #Constraints:      45909
2855.33/2862.13	c #Conflicts:    1749000 | #Constraints:      46909
2855.33/2862.13	c #Conflicts:    1750000 | #Constraints:      47909
2855.33/2862.13	c #Conflicts:    1751000 | #Constraints:      48909
2855.33/2862.13	c #Conflicts:    1752000 | #Constraints:      49909
2855.33/2862.13	c #Conflicts:    1753000 | #Constraints:      50909
2855.33/2862.13	c #Conflicts:    1754000 | #Constraints:      51909
2855.33/2862.13	c #Conflicts:    1755000 | #Constraints:      52909
2855.33/2862.13	c #Conflicts:    1756000 | #Constraints:      53909
2855.33/2862.13	c #Conflicts:    1757000 | #Constraints:      54909
2855.33/2862.13	c #Conflicts:    1758000 | #Constraints:      55909
2855.33/2862.13	c #Conflicts:    1759000 | #Constraints:      56909
2855.33/2862.13	c #Conflicts:    1760000 | #Constraints:      57909
2855.33/2862.13	c #Conflicts:    1761000 | #Constraints:      58909
2855.33/2862.13	c #Conflicts:    1762000 | #Constraints:      59909
2855.33/2862.13	c INPROCESSING
2855.33/2862.13	c GARBAGE COLLECT
2855.33/2862.13	c #Conflicts:    1763000 | #Constraints:      31347
2855.33/2862.13	c #Conflicts:    1764000 | #Constraints:      32347
2855.33/2862.13	c #Conflicts:    1765000 | #Constraints:      33347
2855.33/2862.13	c #Conflicts:    1766000 | #Constraints:      34347
2855.33/2862.13	c #Conflicts:    1767000 | #Constraints:      35347
2855.33/2862.13	c #Conflicts:    1768000 | #Constraints:      36347
2855.33/2862.13	c #Conflicts:    1769000 | #Constraints:      37347
2855.33/2862.13	c #Conflicts:    1770000 | #Constraints:      38347
2855.33/2862.13	c #Conflicts:    1771000 | #Constraints:      39347
2855.33/2862.13	c #Conflicts:    1772000 | #Constraints:      40347
2855.33/2862.13	c #Conflicts:    1773000 | #Constraints:      41347
2855.33/2862.13	c #Conflicts:    1774000 | #Constraints:      42347
2855.33/2862.13	c #Conflicts:    1775000 | #Constraints:      43347
2855.33/2862.13	c #Conflicts:    1776000 | #Constraints:      44347
2855.33/2862.13	c #Conflicts:    1777000 | #Constraints:      45347
2855.33/2862.13	c #Conflicts:    1778000 | #Constraints:      46347
2855.33/2862.13	c #Conflicts:    1779000 | #Constraints:      47347
2855.33/2862.13	c #Conflicts:    1780000 | #Constraints:      48347
2855.33/2862.13	c #Conflicts:    1781000 | #Constraints:      49347
3039.85/3047.04	c #Conflicts:    1782000 | #Constraints:      50347
3039.85/3047.04	c #Conflicts:    1783000 | #Constraints:      51347
3039.85/3047.04	c #Conflicts:    1784000 | #Constraints:      52347
3039.85/3047.04	c #Conflicts:    1785000 | #Constraints:      53347
3039.85/3047.04	c #Conflicts:    1786000 | #Constraints:      54347
3039.85/3047.04	c #Conflicts:    1787000 | #Constraints:      55347
3039.85/3047.04	c #Conflicts:    1788000 | #Constraints:      56347
3039.85/3047.04	c #Conflicts:    1789000 | #Constraints:      57347
3039.85/3047.04	c #Conflicts:    1790000 | #Constraints:      58347
3039.85/3047.04	c #Conflicts:    1791000 | #Constraints:      59347
3039.85/3047.04	c INPROCESSING
3039.85/3047.04	c GARBAGE COLLECT
3039.85/3047.04	c #Conflicts:    1792000 | #Constraints:      31173
3039.85/3047.04	c #Conflicts:    1793000 | #Constraints:      32173
3039.85/3047.04	c #Conflicts:    1794000 | #Constraints:      33173
3039.85/3047.04	c #Conflicts:    1795000 | #Constraints:      34173
3039.85/3047.04	c #Conflicts:    1796000 | #Constraints:      35173
3039.85/3047.04	c #Conflicts:    1797000 | #Constraints:      36173
3039.85/3047.04	c #Conflicts:    1798000 | #Constraints:      37173
3039.85/3047.04	c #Conflicts:    1799000 | #Constraints:      38173
3039.85/3047.04	c #Conflicts:    1800000 | #Constraints:      39173
3039.85/3047.04	c #Conflicts:    1801000 | #Constraints:      40173
3039.85/3047.04	c #Conflicts:    1802000 | #Constraints:      41173
3039.85/3047.04	c #Conflicts:    1803000 | #Constraints:      42173
3039.85/3047.04	c #Conflicts:    1804000 | #Constraints:      43173
3039.85/3047.04	c #Conflicts:    1805000 | #Constraints:      44173
3039.85/3047.04	c #Conflicts:    1806000 | #Constraints:      45173
3039.85/3047.04	c #Conflicts:    1807000 | #Constraints:      46173
3039.85/3047.04	c #Conflicts:    1808000 | #Constraints:      47173
3039.85/3047.04	c #Conflicts:    1809000 | #Constraints:      48173
3039.85/3047.04	c #Conflicts:    1810000 | #Constraints:      49173
3039.85/3047.04	c #Conflicts:    1811000 | #Constraints:      50173
3039.85/3047.04	c #Conflicts:    1812000 | #Constraints:      51173
3039.85/3047.04	c #Conflicts:    1813000 | #Constraints:      52173
3039.85/3047.04	c #Conflicts:    1814000 | #Constraints:      53173
3039.85/3047.04	c #Conflicts:    1815000 | #Constraints:      54173
3039.85/3047.04	c #Conflicts:    1816000 | #Constraints:      55173
3039.85/3047.04	c #Conflicts:    1817000 | #Constraints:      56173
3039.85/3047.04	c #Conflicts:    1818000 | #Constraints:      57173
3039.85/3047.04	c #Conflicts:    1819000 | #Constraints:      58173
3039.85/3047.04	c #Conflicts:    1820000 | #Constraints:      59173
3039.85/3047.04	c #Conflicts:    1821000 | #Constraints:      60173
3039.85/3047.04	c #Conflicts:    1822000 | #Constraints:      61173
3039.85/3047.04	c #Conflicts:    1823000 | #Constraints:      62173
3039.85/3047.04	c #Conflicts:    1824000 | #Constraints:      63173
3039.85/3047.04	c #Conflicts:    1825000 | #Constraints:      64173
3039.85/3047.04	c #Conflicts:    1826000 | #Constraints:      65173
3039.85/3047.04	c #Conflicts:    1827000 | #Constraints:      66173
3039.85/3047.04	c #Conflicts:    1828000 | #Constraints:      67173
3039.85/3047.04	c #Conflicts:    1829000 | #Constraints:      68173
3039.85/3047.04	c #Conflicts:    1830000 | #Constraints:      69173
3039.85/3047.04	c #Conflicts:    1831000 | #Constraints:      70173
3039.85/3047.04	c #Conflicts:    1832000 | #Constraints:      71173
3039.85/3047.04	c #Conflicts:    1833000 | #Constraints:      72173
3039.85/3047.04	c #Conflicts:    1834000 | #Constraints:      73173
3039.85/3047.04	c #Conflicts:    1835000 | #Constraints:      74173
3039.85/3047.04	c #Conflicts:    1836000 | #Constraints:      75173
3039.85/3047.04	c #Conflicts:    1837000 | #Constraints:      76173
3039.85/3047.04	c #Conflicts:    1838000 | #Constraints:      77173
3039.85/3047.04	c #Conflicts:    1839000 | #Constraints:      78173
3039.85/3047.04	c #Conflicts:    1840000 | #Constraints:      79173
3039.85/3047.04	c #Conflicts:    1841000 | #Constraints:      80173
3039.85/3047.04	c #Conflicts:    1842000 | #Constraints:      81173
3039.85/3047.04	c #Conflicts:    1843000 | #Constraints:      82173
3039.85/3047.04	c #Conflicts:    1844000 | #Constraints:      83173
3039.85/3047.04	c #Conflicts:    1845000 | #Constraints:      84173
3039.85/3047.04	c #Conflicts:    1846000 | #Constraints:      85173
3039.85/3047.04	c #Conflicts:    1847000 | #Constraints:      86173
3039.85/3047.04	c #Conflicts:    1848000 | #Constraints:      87173
3039.85/3047.04	c #Conflicts:    1849000 | #Constraints:      88173
3039.85/3047.04	c #Conflicts:    1850000 | #Constraints:      89173
3039.85/3047.04	c #Conflicts:    1851000 | #Constraints:      90173
3039.85/3047.04	c #Conflicts:    1852000 | #Constraints:      91173
3039.85/3047.04	c #Conflicts:    1853000 | #Constraints:      92173
3039.85/3047.04	c #Conflicts:    1854000 | #Constraints:      93173
3039.85/3047.04	c #Conflicts:    1855000 | #Constraints:      94173
3039.85/3047.04	c #Conflicts:    1856000 | #Constraints:      95173
3039.85/3047.04	c #Conflicts:    1857000 | #Constraints:      96173
3039.85/3047.04	c #Conflicts:    1858000 | #Constraints:      97173
3039.85/3047.04	c #Conflicts:    1859000 | #Constraints:      98173
3405.63/3413.64	c #Conflicts:    1860000 | #Constraints:      99173
3405.63/3413.64	c #Conflicts:    1861000 | #Constraints:     100173
3405.63/3413.64	c #Conflicts:    1862000 | #Constraints:     101173
3405.63/3413.64	c #Conflicts:    1863000 | #Constraints:     102173
3405.63/3413.64	c #Conflicts:    1864000 | #Constraints:     103173
3405.63/3413.64	c #Conflicts:    1865000 | #Constraints:     104173
3405.63/3413.64	c #Conflicts:    1866000 | #Constraints:     105173
3405.63/3413.64	c #Conflicts:    1867000 | #Constraints:     106173
3405.63/3413.64	c #Conflicts:    1868000 | #Constraints:     107173
3405.63/3413.64	c #Conflicts:    1869000 | #Constraints:     108173
3405.63/3413.64	c #Conflicts:    1870000 | #Constraints:     109173
3405.63/3413.64	c #Conflicts:    1871000 | #Constraints:     110173
3405.63/3413.64	c #Conflicts:    1872000 | #Constraints:     111173
3405.63/3413.64	c #Conflicts:    1873000 | #Constraints:     112173
3405.63/3413.64	c #Conflicts:    1874000 | #Constraints:     113173
3405.63/3413.64	c #Conflicts:    1875000 | #Constraints:     114173
3405.63/3413.64	c #Conflicts:    1876000 | #Constraints:     115173
3405.63/3413.64	c #Conflicts:    1877000 | #Constraints:     116173
3405.63/3413.64	c #Conflicts:    1878000 | #Constraints:     117173
3405.63/3413.64	c #Conflicts:    1879000 | #Constraints:     118173
3405.63/3413.64	c #Conflicts:    1880000 | #Constraints:     119173
3405.63/3413.64	c #Conflicts:    1881000 | #Constraints:     120173
3405.63/3413.64	c #Conflicts:    1882000 | #Constraints:     121173
3405.63/3413.64	c #Conflicts:    1883000 | #Constraints:     122173
3405.63/3413.64	c #Conflicts:    1884000 | #Constraints:     123173
3405.63/3413.64	c #Conflicts:    1885000 | #Constraints:     124173
3405.63/3413.64	c #Conflicts:    1886000 | #Constraints:     125173
3405.63/3413.64	c #Conflicts:    1887000 | #Constraints:     126173
3405.63/3413.64	c #Conflicts:    1888000 | #Constraints:     127173
3405.63/3413.64	c #Conflicts:    1889000 | #Constraints:     128173
3405.63/3413.64	c #Conflicts:    1890000 | #Constraints:     129173
3405.63/3413.64	c #Conflicts:    1891000 | #Constraints:     130173
3405.63/3413.64	c #Conflicts:    1892000 | #Constraints:     131173
3405.63/3413.64	c #Conflicts:    1893000 | #Constraints:     132173
3405.63/3413.64	c #Conflicts:    1894000 | #Constraints:     133173
3405.63/3413.64	c #Conflicts:    1895000 | #Constraints:     134173
3405.63/3413.64	c #Conflicts:    1896000 | #Constraints:     135173
3405.63/3413.64	c #Conflicts:    1897000 | #Constraints:     136173
3405.63/3413.64	c #Conflicts:    1898000 | #Constraints:     137173
3405.63/3413.64	c #Conflicts:    1899000 | #Constraints:     138173
3405.63/3413.64	c #Conflicts:    1900000 | #Constraints:     139173
3405.63/3413.64	c #Conflicts:    1901000 | #Constraints:     140173
3405.63/3413.64	c INPROCESSING
3405.63/3413.64	c GARBAGE COLLECT
3405.63/3413.64	c #Conflicts:    1902000 | #Constraints:      71135
3405.63/3413.64	c #Conflicts:    1903000 | #Constraints:      72135
3405.63/3413.64	c #Conflicts:    1904000 | #Constraints:      73135
3405.63/3413.64	c #Conflicts:    1905000 | #Constraints:      74135
3405.63/3413.64	c #Conflicts:    1906000 | #Constraints:      75135
3405.63/3413.64	c #Conflicts:    1907000 | #Constraints:      76135
3405.63/3413.64	c #Conflicts:    1908000 | #Constraints:      77135
3405.63/3413.64	c #Conflicts:    1909000 | #Constraints:      78135
3405.63/3413.64	c #Conflicts:    1910000 | #Constraints:      79135
3405.63/3413.64	c #Conflicts:    1911000 | #Constraints:      80135
3405.63/3413.64	c #Conflicts:    1912000 | #Constraints:      81135
3405.63/3413.64	c #Conflicts:    1913000 | #Constraints:      82135
3405.63/3413.64	c #Conflicts:    1914000 | #Constraints:      83135
3405.63/3413.64	c #Conflicts:    1915000 | #Constraints:      84135
3405.63/3413.64	c #Conflicts:    1916000 | #Constraints:      85135
3405.63/3413.64	c #Conflicts:    1917000 | #Constraints:      86135
3405.63/3413.64	c #Conflicts:    1918000 | #Constraints:      87135
3405.63/3413.64	c #Conflicts:    1919000 | #Constraints:      88135
3405.63/3413.64	c #Conflicts:    1920000 | #Constraints:      89135
3405.63/3413.64	c #Conflicts:    1921000 | #Constraints:      90135
3405.63/3413.64	c #Conflicts:    1922000 | #Constraints:      91135
3405.63/3413.64	c #Conflicts:    1923000 | #Constraints:      92135
3405.63/3413.64	c #Conflicts:    1924000 | #Constraints:      93135
3405.63/3413.64	c #Conflicts:    1925000 | #Constraints:      94135
3405.63/3413.64	c #Conflicts:    1926000 | #Constraints:      95135
3405.63/3413.64	c #Conflicts:    1927000 | #Constraints:      96135
3405.63/3413.64	c #Conflicts:    1928000 | #Constraints:      97135
3405.63/3413.64	c #Conflicts:    1929000 | #Constraints:      98135
3405.63/3413.64	c #Conflicts:    1930000 | #Constraints:      99135
3405.63/3413.64	c #Conflicts:    1931000 | #Constraints:     100135
3405.63/3413.64	c #Conflicts:    1932000 | #Constraints:     101135
3405.63/3413.64	c INPROCESSING
3405.63/3413.64	c GARBAGE COLLECT
3405.63/3413.64	c #Conflicts:    1933000 | #Constraints:      52062
3405.63/3413.64	c #Conflicts:    1934000 | #Constraints:      53062
3405.63/3413.64	c #Conflicts:    1935000 | #Constraints:      54062
3405.63/3413.64	c #Conflicts:    1936000 | #Constraints:      55062
3405.63/3413.64	c #Conflicts:    1937000 | #Constraints:      56062
3586.96/3595.34	c #Conflicts:    1938000 | #Constraints:      57062
3586.96/3595.34	c #Conflicts:    1939000 | #Constraints:      58062
3586.96/3595.34	c #Conflicts:    1940000 | #Constraints:      59062
3586.96/3595.34	c #Conflicts:    1941000 | #Constraints:      60062
3586.96/3595.34	c #Conflicts:    1942000 | #Constraints:      61062
3586.96/3595.34	c #Conflicts:    1943000 | #Constraints:      62062
3586.96/3595.34	c #Conflicts:    1944000 | #Constraints:      63062
3586.96/3595.34	c #Conflicts:    1945000 | #Constraints:      64062
3586.96/3595.34	c #Conflicts:    1946000 | #Constraints:      65062
3586.96/3595.34	c #Conflicts:    1947000 | #Constraints:      66062
3586.96/3595.34	c #Conflicts:    1948000 | #Constraints:      67062
3586.96/3595.34	c #Conflicts:    1949000 | #Constraints:      68062
3586.96/3595.34	c #Conflicts:    1950000 | #Constraints:      69062
3586.96/3595.34	c #Conflicts:    1951000 | #Constraints:      70062
3586.96/3595.34	c #Conflicts:    1952000 | #Constraints:      71062
3586.96/3595.34	c #Conflicts:    1953000 | #Constraints:      72062
3586.96/3595.34	c #Conflicts:    1954000 | #Constraints:      73062
3586.96/3595.34	c #Conflicts:    1955000 | #Constraints:      74062
3586.96/3595.34	c #Conflicts:    1956000 | #Constraints:      75062
3586.96/3595.34	c #Conflicts:    1957000 | #Constraints:      76062
3586.96/3595.34	c #Conflicts:    1958000 | #Constraints:      77062
3586.96/3595.34	c #Conflicts:    1959000 | #Constraints:      78062
3586.96/3595.34	c #Conflicts:    1960000 | #Constraints:      79062
3586.96/3595.34	c #Conflicts:    1961000 | #Constraints:      80062
3586.96/3595.34	c #Conflicts:    1962000 | #Constraints:      81062
3586.96/3595.34	c INPROCESSING
3586.96/3595.34	c GARBAGE COLLECT
3586.96/3595.34	c #Conflicts:    1963000 | #Constraints:      41880
3586.96/3595.34	c #Conflicts:    1964000 | #Constraints:      42880
3586.96/3595.34	c #Conflicts:    1965000 | #Constraints:      43880
3586.96/3595.34	c #Conflicts:    1966000 | #Constraints:      44880
3586.96/3595.34	c #Conflicts:    1967000 | #Constraints:      45880
3586.96/3595.34	c #Conflicts:    1968000 | #Constraints:      46880
3586.96/3595.34	c #Conflicts:    1969000 | #Constraints:      47880
3586.96/3595.34	c #Conflicts:    1970000 | #Constraints:      48880
3586.96/3595.34	c #Conflicts:    1971000 | #Constraints:      49880
3586.96/3595.34	c #Conflicts:    1972000 | #Constraints:      50880
3586.96/3595.34	c #Conflicts:    1973000 | #Constraints:      51880
3586.96/3595.34	c #Conflicts:    1974000 | #Constraints:      52880
3586.96/3595.34	c #Conflicts:    1975000 | #Constraints:      53880
3586.96/3595.34	c #Conflicts:    1976000 | #Constraints:      54880
3586.96/3595.34	c #Conflicts:    1977000 | #Constraints:      55880
3586.96/3595.34	c #Conflicts:    1978000 | #Constraints:      56880
3586.96/3595.34	c #Conflicts:    1979000 | #Constraints:      57880
3586.96/3595.34	c #Conflicts:    1980000 | #Constraints:      58880
3586.96/3595.34	c #Conflicts:    1981000 | #Constraints:      59880
3586.96/3595.34	c #Conflicts:    1982000 | #Constraints:      60880
3586.96/3595.34	c #Conflicts:    1983000 | #Constraints:      61880
3586.96/3595.34	c #Conflicts:    1984000 | #Constraints:      62880
3586.96/3595.34	c #Conflicts:    1985000 | #Constraints:      63880
3586.96/3595.34	c #Conflicts:    1986000 | #Constraints:      64880
3586.96/3595.34	c #Conflicts:    1987000 | #Constraints:      65880
3586.96/3595.34	c #Conflicts:    1988000 | #Constraints:      66880
3586.96/3595.34	c #Conflicts:    1989000 | #Constraints:      67880
3586.96/3595.34	c #Conflicts:    1990000 | #Constraints:      68880
3586.96/3595.34	c #Conflicts:    1991000 | #Constraints:      69880
3586.96/3595.34	c #Conflicts:    1992000 | #Constraints:      70880
3586.96/3595.34	c INPROCESSING
3586.96/3595.34	c GARBAGE COLLECT
3586.96/3595.34	c #Conflicts:    1993000 | #Constraints:      36537
3586.96/3595.34	c #Conflicts:    1994000 | #Constraints:      37537
3586.96/3595.34	c #Conflicts:    1995000 | #Constraints:      38537
3586.96/3595.34	c #Conflicts:    1996000 | #Constraints:      39537
3586.96/3595.34	c #Conflicts:    1997000 | #Constraints:      40537
3586.96/3595.34	c #Conflicts:    1998000 | #Constraints:      41537
3586.96/3595.34	c #Conflicts:    1999000 | #Constraints:      42537
3586.96/3595.34	c #Conflicts:    2000000 | #Constraints:      43537
3586.96/3595.34	c #Conflicts:    2001000 | #Constraints:      44537
3586.96/3595.34	c #Conflicts:    2002000 | #Constraints:      45537
3586.96/3595.34	c #Conflicts:    2003000 | #Constraints:      46537
3586.96/3595.34	c #Conflicts:    2004000 | #Constraints:      47537
3586.96/3595.34	c #Conflicts:    2005000 | #Constraints:      48537
3586.96/3595.34	c #Conflicts:    2006000 | #Constraints:      49537
3586.96/3595.34	c #Conflicts:    2007000 | #Constraints:      50537
3586.96/3595.34	c #Conflicts:    2008000 | #Constraints:      51537
3586.96/3595.34	c #Conflicts:    2009000 | #Constraints:      52537
3586.96/3595.34	c #Conflicts:    2010000 | #Constraints:      53537
3586.96/3595.34	c #Conflicts:    2011000 | #Constraints:      54537
3586.96/3595.34	c #Conflicts:    2012000 | #Constraints:      55537
3586.96/3595.34	c #Conflicts:    2013000 | #Constraints:      56537
3586.96/3595.34	c #Conflicts:    2014000 | #Constraints:      57537
3600.03/3608.40	c #Conflicts:    2015000 | #Constraints:      58537
3600.03/3608.40	c #Conflicts:    2016000 | #Constraints:      59537
3600.03/3608.40	c #Conflicts:    2017000 | #Constraints:      60537
3600.03/3608.40	c #Conflicts:    2018000 | #Constraints:      61537
3600.03/3608.40	c #Conflicts:    2019000 | #Constraints:      62537
3600.03/3608.40	c Program interrupted by user.
3600.03/3608.40	c cpu time 3591.2 s
3600.03/3608.40	c deterministic time 389715992313 3.90e+11
3600.03/3608.40	c optimization time 51.1182 s
3600.03/3608.40	c total solve time 3540.09 s
3600.03/3608.40	c core-guided solve time 3540.09 s
3600.03/3608.40	c propagation time 3246.14 s
3600.03/3608.40	c conflict analysis time 325.401 s
3600.03/3608.40	c propagations 85158401
3600.03/3608.40	c resolve steps 21940506
3600.03/3608.40	c decisions 4264899
3600.03/3608.40	c conflicts 2019549
3600.03/3608.40	c restarts 3969
3600.03/3608.40	c inprocessing phases 94
3600.03/3608.40	c input clauses 890
3600.03/3608.40	c input cardinalities 111
3600.03/3608.40	c input general constraints 57
3600.03/3608.40	c input average constraint length 6.88
3600.03/3608.40	c input average constraint degree 3.20
3600.03/3608.40	c learned clauses 1097296
3600.03/3608.40	c learned cardinalities 301381
3600.03/3608.40	c learned general constraints 620873
3600.03/3608.40	c learned average constraint length 79.96
3600.03/3608.40	c learned average constraint degree 1924.17
3600.03/3608.40	c watched constraints 592510
3600.03/3608.40	c counting constraints 28420
3600.03/3608.40	c gcd simplifications 38750
3600.03/3608.40	c detected cardinalities 1798
3600.03/3608.40	c weakened non-implied lits 17228850
3600.03/3608.40	c weakened non-implying lits 65753
3600.03/3608.40	c original variables 126
3600.03/3608.40	c clausal propagations 44983599
3600.03/3608.40	c cardinality propagations 9041678
3600.03/3608.40	c watched propagations 6053876
3600.03/3608.40	c counting propagations 21192934
3600.03/3608.40	c watch lookups 77187418508
3600.03/3608.40	c watch backjump lookups 49301069868
3600.03/3608.40	c watch checks 244693824094
3600.03/3608.40	c propagation checks 17925127198
3600.03/3608.40	c constraint additions 427686597
3600.03/3608.40	c trail pops 91442747
3600.03/3608.40	c formula constraints 788
3600.03/3608.40	c learned constraints 2019550
3600.03/3608.40	c bound constraints 32
3600.03/3608.40	c core-guided constraints 238
3600.03/3608.40	c encountered formula constraints 10696038
3600.03/3608.40	c encountered learned constraints 10500490
3600.03/3608.40	c encountered bound constraints 858
3600.03/3608.40	c encountered core-guided constraints 2762669
3600.03/3608.40	c LP total time 0 s
3600.03/3608.40	c LP solve time 0 s
3600.03/3608.40	c LP constraints added 0
3600.03/3608.40	c LP constraints removed 0
3600.03/3608.40	c LP pivots internal 0
3600.03/3608.40	c LP pivots root 0
3600.03/3608.40	c LP calls 0
3600.03/3608.40	c LP optimalities 0
3600.03/3608.40	c LP no pivot count 0
3600.03/3608.40	c LP infeasibilities 0
3600.03/3608.40	c LP valid Farkas constraints 0
3600.03/3608.40	c LP learned Farkas constraints 0
3600.03/3608.40	c LP basis resets 0
3600.03/3608.40	c LP cycling count 0
3600.03/3608.40	c LP singular count 0
3600.03/3608.40	c LP no primal count 0
3600.03/3608.40	c LP no farkas count 0
3600.03/3608.40	c LP other issue count 0
3600.03/3608.40	c LP Gomory cuts 0
3600.03/3608.40	c LP learned cuts 0
3600.03/3608.40	c LP deleted cuts 0
3600.03/3608.40	c LP encountered Gomory constraints 0
3600.03/3608.40	c LP encountered Farkas constraints 0
3600.03/3608.40	c LP encountered learned Farkas constraints 0
3600.03/3608.40	c CG auxiliary variables introduced 117
3600.03/3608.40	c CG solutions found 3
3600.03/3608.40	c CG cores constructed 18
3600.03/3608.40	c CG core cardinality constraints returned 0
3600.03/3608.40	c CG unit cores 0
3600.03/3608.40	c CG single cores 18
3600.03/3608.40	c CG blocks removed during cardinality reduction 0
3600.03/3608.40	c CG first core best 0
3600.03/3608.40	c CG decision core best 0
3600.03/3608.40	c CG core reduction tie 0
3600.03/3608.40	c CG core degree average 1.00
3600.03/3608.40	c CG core slack average 5.50
3600.03/3608.40	c CG exhausted 4
3600.03/3608.40	c CG exhaust time 0.910794 s
3600.03/3608.40	c CG trimmed 3
3600.03/3608.40	c CG trim time 0.001206 s
3600.03/3608.40	c CG minimized 0
3600.03/3608.40	c CG minimize time 0 s
3600.03/3608.40	c CG am1 prop time 0.000423 s
3600.03/3608.40	c CG # am1s reformulated 49
3600.03/3608.40	c CG lower bound derived from am1s 66
3600.03/3608.40	c CG # clausal cores 18
3600.03/3608.40	c CG # cardinality cores 0
3600.03/3608.40	c CG # pb cores 0
3600.03/3608.40	c CG # pb reforms 0
3600.03/3608.40	c CG # cores discarded because of pb reform 0
3600.03/3608.40	d LOWERBOUND -37
3600.03/3608.40	d NCORES 18
3600.03/3608.40	d NPBCORES 0
3600.03/3608.40	d NPBREFORM 0
3600.03/3608.40	d NTRIMMED 3
3600.03/3608.40	d NEXHAUSTED 4
3600.03/3608.40	d NAM1S 49
3600.03/3608.40	d AM1LB 66
3600.03/3608.40	o -34
3600.03/3608.40	s SATISFIABLE
3600.03/3608.40	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

Verifier Data 

OK	-34

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: 63665 MiB (62234 MiB free)
  memory of node 1: 64507 MiB (63795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524386-1751612744/watcher-4524386-1751612744 -o /tmp/evaluation-result-4524386-1751612744/solver-4524386-1751612744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751609132-87171 --watchdog 3760 pb-oll-rs HOME/instance-4524386-1751612744.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87652, runsolver pid=87649

[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 4.09 3/252 87653
/proc/meminfo: memFree=129053236/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=20888 memory=7168 CPUtime=0.08 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 673 0 0 0 8 0 0 0 20 0 1 0 76954310 21389312 1792 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5222 1792 1312 243 0 1471 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20888 KiB
Current children cumulated memory: 7168 KiB

[startup+0.205332 s]*
/proc/loadavg: 4.10 4.11 4.09 3/252 87653
/proc/meminfo: memFree=129052228/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=21024 memory=7424 CPUtime=0.19 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 736 0 0 0 18 1 0 0 20 0 1 0 76954310 21528576 1856 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5256 1856 1312 243 0 1505 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21024 KiB
Current children cumulated memory: 7424 KiB

[startup+0.305285 s]*
/proc/loadavg: 4.10 4.11 4.09 3/252 87653
/proc/meminfo: memFree=129052228/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=21024 memory=7552 CPUtime=0.29 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 782 0 0 0 28 1 0 0 20 0 1 0 76954310 21528576 1888 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5256 1888 1312 243 0 1505 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 21024 KiB
Current children cumulated memory: 7552 KiB

[startup+0.700182 s]
/proc/loadavg: 4.10 4.11 4.09 3/252 87653
/proc/meminfo: memFree=129052228/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=21512 memory=8192 CPUtime=0.68 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 958 0 0 0 65 3 0 0 20 0 1 0 76954310 22028288 2048 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5378 2048 1312 243 0 1627 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21512 KiB
Current children cumulated memory: 8192 KiB

[startup+1.50016 s]
/proc/loadavg: 3.93 4.08 4.08 3/252 87653
/proc/meminfo: memFree=129052308/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=21796 memory=10956 CPUtime=1.47 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 1128 0 0 0 143 4 0 0 20 0 1 0 76954310 22319104 2739 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5449 2739 1312 243 0 1698 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 21796 KiB
Current children cumulated memory: 10956 KiB

[startup+3.10513 s]
/proc/loadavg: 3.93 4.08 4.08 3/252 87653
/proc/meminfo: memFree=129052388/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=22088 memory=11340 CPUtime=3.07 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 1211 0 0 0 301 6 0 0 20 0 1 0 76954310 22618112 2835 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5522 2835 1312 243 0 1771 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 22088 KiB
Current children cumulated memory: 11340 KiB

[startup+6.30015 s]
/proc/loadavg: 3.77 4.04 4.07 3/252 87653
/proc/meminfo: memFree=129052800/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=22792 memory=11852 CPUtime=6.26 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 1357 0 0 0 615 11 0 0 20 0 1 0 76954310 23339008 2963 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 5698 2963 1312 243 0 1947 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 22792 KiB
Current children cumulated memory: 11852 KiB

[startup+12.7001 s]
/proc/loadavg: 3.63 4.01 4.06 3/252 87653
/proc/meminfo: memFree=129052976/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=24128 memory=13516 CPUtime=12.65 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 1774 0 0 0 1245 20 0 0 20 0 1 0 76954310 24707072 3379 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 6032 3379 1312 243 0 2281 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 24128 KiB
Current children cumulated memory: 13516 KiB

[startup+25.5002 s]
/proc/loadavg: 3.46 3.96 4.04 3/252 87654
/proc/meminfo: memFree=129053320/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=34512 memory=20604 CPUtime=25.41 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 3077 0 0 0 2513 28 0 0 20 0 1 0 76954310 35340288 5151 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 8628 5151 1312 243 0 4877 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 34512 KiB
Current children cumulated memory: 20604 KiB

[startup+51.1052 s]
/proc/loadavg: 2.88 3.77 3.97 3/252 87654
/proc/meminfo: memFree=129052564/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=34892 memory=21372 CPUtime=50.95 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 3284 0 0 0 5051 44 0 0 20 0 1 0 76954310 35729408 5343 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 8723 5343 1312 243 0 4972 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 21372 KiB

[startup+102.3 s]
/proc/loadavg: 2.43 3.51 3.87 3/252 87657
/proc/meminfo: memFree=129045600/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=36636 memory=25684 CPUtime=102.01 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 4450 0 0 0 10129 72 0 0 20 0 1 0 76954310 37515264 6421 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 9159 6421 1312 243 0 5408 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 36636 KiB
Current children cumulated memory: 25684 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 3.25 3.76 3/252 87662
/proc/meminfo: memFree=129039476/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=46784 memory=32620 CPUtime=161.82 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 5302 0 0 0 16080 102 0 0 20 0 1 0 76954310 47906816 8155 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 11696 8155 1312 243 0 7945 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 46784 KiB
Current children cumulated memory: 32620 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 3.03 3.65 3/252 87668
/proc/meminfo: memFree=129030456/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=49176 memory=37256 CPUtime=221.62 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 6091 0 0 0 22036 126 0 0 20 0 1 0 76954310 50356224 9314 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 12294 9314 1312 243 0 8543 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 49176 KiB
Current children cumulated memory: 37256 KiB

[startup+282.3 s]
/proc/loadavg: 2.16 2.87 3.55 3/252 87670
/proc/meminfo: memFree=129010576/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=49484 memory=38408 CPUtime=281.42 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 6146 0 0 0 27991 151 0 0 20 0 1 0 76954310 50671616 9602 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 12371 9602 1312 243 0 8620 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 38408 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.71 3.45 3/252 87673
/proc/meminfo: memFree=129010692/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=50968 memory=39560 CPUtime=341.28 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 6461 0 0 0 33959 169 0 0 20 0 1 0 76954310 52191232 9890 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 12742 9890 1312 243 0 8991 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 50968 KiB
Current children cumulated memory: 39560 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.60 3.37 3/251 87675
/proc/meminfo: memFree=129004840/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=63868 memory=45848 CPUtime=401.11 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 7341 0 0 0 39924 187 0 0 20 0 1 0 76954310 65400832 11462 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 15967 11462 1312 243 0 12216 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 63868 KiB
Current children cumulated memory: 45848 KiB

[startup+462.3 s]
/proc/loadavg: 2.12 2.52 3.29 3/250 87677
/proc/meminfo: memFree=129004436/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=64168 memory=45976 CPUtime=460.95 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 7384 0 0 0 45885 210 0 0 20 0 1 0 76954310 65708032 11494 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 16042 11494 1312 243 0 12291 0

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

Current children cumulated memory: 117720 KiB

[startup+2862.3 s]
/proc/loadavg: 1.15 1.12 1.34 2/245 87816
/proc/meminfo: memFree=129237684/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=2855.53 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16269 0 0 0 284763 790 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 2855.53 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.11 1.32 2/245 87818
/proc/meminfo: memFree=129238296/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=2915.41 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16269 0 0 0 290736 805 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 2915.41 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+2982.3 s]
/proc/loadavg: 1.04 1.09 1.30 2/245 87820
/proc/meminfo: memFree=129238912/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=2975.28 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16272 0 0 0 296714 814 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 2975.28 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+3042.3 s]
/proc/loadavg: 1.16 1.12 1.29 2/245 87822
/proc/meminfo: memFree=129239276/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=3035.15 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16276 0 0 0 302695 820 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 3035.15 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+3102.3 s]
/proc/loadavg: 1.11 1.11 1.27 2/245 87824
/proc/meminfo: memFree=129241184/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=3095.01 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16279 0 0 0 308676 825 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 3095.01 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.10 1.26 2/245 87828
/proc/meminfo: memFree=129240068/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=153624 memory=117720 CPUtime=3154.89 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16281 0 0 0 314659 830 0 0 20 0 1 0 76954310 157310976 29430 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38406 29430 1312 243 0 34655 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 153624 KiB
Current children cumulated memory: 117720 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.10 1.25 2/245 87834
/proc/meminfo: memFree=129236824/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=155012 memory=120504 CPUtime=3214.76 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 16463 0 0 0 320641 835 0 0 20 0 1 0 76954310 158732288 30126 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 38753 30126 1312 243 0 35002 0
Current children cumulated CPU time: 3214.76 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 120504 KiB

[startup+3282.3 s]
/proc/loadavg: 1.07 1.09 1.24 2/245 87836
/proc/meminfo: memFree=129234280/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157060 memory=125872 CPUtime=3274.62 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17030 0 0 0 326623 839 0 0 20 0 1 0 76954310 160829440 31468 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39265 31468 1312 243 0 35514 0
Current children cumulated CPU time: 3274.62 s
Current children cumulated vsize: 157060 KiB
Current children cumulated memory: 125872 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.10 1.23 2/245 87849
/proc/meminfo: memFree=129234212/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157060 memory=125872 CPUtime=3334.5 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17030 0 0 0 332605 845 0 0 20 0 1 0 76954310 160829440 31468 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39265 31468 1312 243 0 35514 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 157060 KiB
Current children cumulated memory: 125872 KiB

[startup+3402.3 s]
/proc/loadavg: 1.05 1.08 1.21 2/245 87851
/proc/meminfo: memFree=129232312/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157728 memory=128048 CPUtime=3394.36 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17165 0 0 0 338585 851 0 0 20 0 1 0 76954310 161513472 32012 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39432 32012 1312 243 0 35681 0
Current children cumulated CPU time: 3394.36 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 128048 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.10 1.21 2/245 87853
/proc/meminfo: memFree=129231404/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157728 memory=128048 CPUtime=3454.23 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17165 0 0 0 344564 859 0 0 20 0 1 0 76954310 161513472 32012 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39432 32012 1312 243 0 35681 0
Current children cumulated CPU time: 3454.23 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 128048 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.09 1.20 2/247 87858
/proc/meminfo: memFree=129215296/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157728 memory=128048 CPUtime=3514.11 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17165 0 0 0 350542 869 0 0 20 0 1 0 76954310 161513472 32012 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39432 32012 1312 243 0 35681 0
Current children cumulated CPU time: 3514.11 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 128048 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.09 1.18 2/246 87859
/proc/meminfo: memFree=129215156/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157728 memory=128048 CPUtime=3573.98 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17165 0 0 0 356520 878 0 0 20 0 1 0 76954310 161513472 32012 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39432 32012 1312 243 0 35681 0
Current children cumulated CPU time: 3573.98 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 128048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 1.06 1.08 1.18 2/246 87860
/proc/meminfo: memFree=129215156/131250000 swapFree=33010416/33010684
[pid=87652] ppid=87649 vsize=157728 memory=128048 CPUtime=3600.03 cores=0,2
/proc/87652/stat : 87652 (pb-oll-rs) R 87649 87652 87161 0 -1 4194304 17176 0 0 0 359120 883 0 0 20 0 1 0 76954310 161513472 32012 18446744073709551615 4218880 5211445 140732268873024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 32186368 140732268878236 140732268878313 140732268878313 140732268883915 0
/proc/87652/statm: 39432 32012 1312 243 0 35681 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 157728 KiB
Current children cumulated memory: 128048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.21 s, system=8.83288 s

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

Child status: 0

Real time (s): 3608.4
CPU time (s): 3600.04
CPU user time (s): 3591.21
CPU system time (s): 8.83288
CPU usage (%): 99.7682
Max. virtual memory (cumulated for all children) (KiB): 158276
Max. memory (cumulated for all children) (KiB): 128048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.21
system time used= 8.83288
maximum resident set size= 128304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17191
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= 127
involuntary context switches= 7900


# summary of solver processes directly reported to runsolver:
#   pid: 87652
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.21
#   total CPU system time (s): 8.83288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17047 second user time and 14.3603 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 09:05:44
IDJOB=4524386
IDBENCH=180666
IDSOLVER=3345
FILE ID=nodeC027/4524386-1751612744
RUNJOBID= nodeC027-1751609132-87171
SLURM_JOB_ID= 9598902
Free space on /tmp= 431180 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Clique-c0125-9_c24.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524386-1751612744/watcher-4524386-1751612744 -o /tmp/evaluation-result-4524386-1751612744/solver-4524386-1751612744 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751609132-87171 --watchdog 3760  pb-oll-rs HOME/instance-4524386-1751612744.opb

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

MD5SUM BENCH= e7657c6e4289f102872f35c7391497ac
RANDOM SEED=586447045

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.991
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1200.076
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.884
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1215.542
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.653
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3611.887
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1200.512
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129053992 kB
MemAvailable:   129411508 kB
Buffers:            2488 kB
Cached:          1155896 kB
SwapCached:           12 kB
Active:           920128 kB
Inactive:         615360 kB
Active(anon):     392368 kB
Inactive(anon):     2792 kB
Active(file):     527760 kB
Inactive(file):   612568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1684 kB
Writeback:             0 kB
AnonPages:        378660 kB
Mapped:           105852 kB
Shmem:             18056 kB
KReclaimable:     112452 kB
Slab:             202528 kB
SReclaimable:     112452 kB
SUnreclaim:        90076 kB
KernelStack:        4160 kB
PageTables:         3652 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     666292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431184 MiB
End job on nodeC027 at 2025-07-04 10:05:53