Trace number 4435839

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02SAT (TO)162 3600.01 3609.21

DiagnosticValue
AM1LB0
LOWERBOUND26
NAM1S0
NCORES9
NEXHAUSTED0
NPBCORES0
NPBREFORM8
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	162

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=811796, runsolver pid=811793

[startup+0.100783 s]*
/proc/loadavg: 4.41 4.35 4.23 5/239 811814
/proc/meminfo: memFree=126889312/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=39388 memory=6596 CPUtime=0.1 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 587 0 0 0 8 2 0 0 20 0 1 0 159896911 40333312 1649 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 9847 1649 1217 291 0 1381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39388 KiB
Current children cumulated memory: 6596 KiB

[startup+0.213193 s]*
/proc/loadavg: 4.41 4.35 4.23 5/245 811829
/proc/meminfo: memFree=126880996/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=40176 memory=8508 CPUtime=0.22 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 927 0 0 0 18 4 0 0 20 0 1 0 159896911 41140224 2127 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 10044 2127 1375 291 0 1578 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40176 KiB
Current children cumulated memory: 8508 KiB

[startup+0.313364 s]*
/proc/loadavg: 4.41 4.35 4.23 5/245 811829
/proc/meminfo: memFree=126878672/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=40308 memory=8772 CPUtime=0.31 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 1023 0 0 0 27 4 0 0 20 0 1 0 159896911 41275392 2193 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 10077 2193 1375 291 0 1611 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40308 KiB
Current children cumulated memory: 8772 KiB

[startup+0.70032 s]
/proc/loadavg: 4.41 4.35 4.23 5/245 811829
/proc/meminfo: memFree=126874132/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=41012 memory=12100 CPUtime=0.68 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 1270 0 0 0 61 7 0 0 20 0 1 0 159896911 41996288 3025 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 10253 3025 1442 291 0 1787 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41012 KiB
Current children cumulated memory: 12100 KiB

[startup+1.50032 s]
/proc/loadavg: 4.38 4.35 4.23 5/245 811829
/proc/meminfo: memFree=126871712/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=42664 memory=13580 CPUtime=1.49 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 1702 0 0 0 139 10 0 0 20 0 1 0 159896911 43687936 3395 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 10666 3395 1442 291 0 2200 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42664 KiB
Current children cumulated memory: 13580 KiB

[startup+3.11322 s]
/proc/loadavg: 4.38 4.35 4.23 5/245 811875
/proc/meminfo: memFree=129744744/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=45852 memory=14788 CPUtime=3.09 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 1984 0 0 0 296 13 0 0 20 0 1 0 159896911 46952448 3697 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 11463 3697 1442 291 0 2997 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45852 KiB
Current children cumulated memory: 14788 KiB

[startup+6.30023 s]
/proc/loadavg: 4.35 4.34 4.23 5/245 811921
/proc/meminfo: memFree=129786928/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=46524 memory=17884 CPUtime=6.27 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 2242 0 0 0 607 20 0 0 20 0 1 0 159896911 47640576 4471 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 11631 4471 1442 291 0 3165 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46524 KiB
Current children cumulated memory: 17884 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.33 4.23 5/245 811923
/proc/meminfo: memFree=129773852/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=47256 memory=18820 CPUtime=12.66 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 3029 0 0 0 1232 34 0 0 20 0 1 0 159896911 48390144 4705 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 11814 4705 1442 291 0 3348 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 47256 KiB
Current children cumulated memory: 18820 KiB

[startup+25.5003 s]
/proc/loadavg: 4.34 4.34 4.23 5/243 811924
/proc/meminfo: memFree=129751640/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=53808 memory=21428 CPUtime=25.42 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 4019 0 0 0 2475 67 0 0 20 0 1 0 159896911 55099392 5357 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 13452 5357 1442 291 0 4986 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53808 KiB
Current children cumulated memory: 21428 KiB

[startup+51.1127 s]
/proc/loadavg: 4.21 4.31 4.22 5/243 811929
/proc/meminfo: memFree=129721932/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=54696 memory=25188 CPUtime=50.98 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 5417 0 0 0 4981 117 0 0 20 0 1 0 159896911 56008704 6297 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 13674 6297 1442 291 0 5208 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 54696 KiB
Current children cumulated memory: 25188 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.27 4.22 5/243 811938
/proc/meminfo: memFree=129676308/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=63184 memory=32656 CPUtime=102.04 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 8263 0 0 0 10007 197 0 0 20 0 1 0 159896911 64700416 8164 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 15796 8164 1442 291 0 7330 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 63184 KiB
Current children cumulated memory: 32656 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.27 4.22 5/241 811949
/proc/meminfo: memFree=129633564/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=64104 memory=35592 CPUtime=161.9 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 10045 0 0 0 15904 286 0 0 20 0 1 0 159896911 65642496 8898 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 16026 8898 1442 291 0 7560 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 35592 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.23 4.20 5/241 811959
/proc/meminfo: memFree=129599312/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=76756 memory=40328 CPUtime=221.76 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 12054 0 0 0 21810 366 0 0 20 0 1 0 159896911 78598144 10082 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 19189 10082 1442 291 0 10723 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 40328 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 4.31 4.23 5/241 811969
/proc/meminfo: memFree=129568732/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=77992 memory=41556 CPUtime=281.58 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 13253 0 0 0 27723 435 0 0 20 0 1 0 159896911 79863808 10389 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 19498 10389 1442 291 0 11032 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 77992 KiB
Current children cumulated memory: 41556 KiB

[startup+342.3 s]
/proc/loadavg: 4.67 4.41 4.27 5/241 811980
/proc/meminfo: memFree=129528392/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=78228 memory=43840 CPUtime=341.41 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 14401 0 0 0 33635 506 0 0 20 0 1 0 159896911 80105472 10960 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 19557 10960 1442 291 0 11091 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 78228 KiB
Current children cumulated memory: 43840 KiB

[startup+402.3 s]
/proc/loadavg: 4.29 4.35 4.26 5/241 811990
/proc/meminfo: memFree=129511928/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=79056 memory=46468 CPUtime=401.24 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 15430 0 0 0 39552 572 0 0 20 0 1 0 159896911 80953344 11617 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 19764 11617 1442 291 0 11298 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 79056 KiB
Current children cumulated memory: 46468 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.31 4.25 5/243 812004
/proc/meminfo: memFree=129497992/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=80808 memory=49948 CPUtime=461.07 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 16820 0 0 0 45478 629 0 0 20 0 1 0 159896911 82747392 12487 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 20202 12487 1442 291 0 11736 0

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

Current children cumulated memory: 170732 KiB

[startup+2862.3 s]
/proc/loadavg: 4.74 4.29 4.19 5/244 813052
/proc/meminfo: memFree=129057124/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=211540 memory=171032 CPUtime=2854.92 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 39317 0 0 0 284363 1129 0 0 20 0 1 0 159896911 216616960 42758 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 52885 42758 1442 291 0 44419 0
Current children cumulated CPU time: 2854.92 s
Current children cumulated vsize: 211540 KiB
Current children cumulated memory: 171032 KiB

[startup+2922.3 s]
/proc/loadavg: 4.56 4.30 4.20 5/244 813062
/proc/meminfo: memFree=129052840/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=212436 memory=171516 CPUtime=2914.78 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 39538 0 0 0 290344 1134 0 0 20 0 1 0 159896911 217534464 42879 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 53109 42879 1442 291 0 44643 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 212436 KiB
Current children cumulated memory: 171516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.35 4.30 4.20 5/244 813073
/proc/meminfo: memFree=129051032/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=213844 memory=172448 CPUtime=2974.64 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 39799 0 0 0 296323 1141 0 0 20 0 1 0 159896911 218976256 43112 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 53461 43112 1442 291 0 44995 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 213844 KiB
Current children cumulated memory: 172448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.26 4.19 5/244 813083
/proc/meminfo: memFree=129050008/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=214676 memory=173000 CPUtime=3034.49 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 40030 0 0 0 302302 1147 0 0 20 0 1 0 159896911 219828224 43250 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 53669 43250 1442 291 0 45203 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 214676 KiB
Current children cumulated memory: 173000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/244 813094
/proc/meminfo: memFree=129046784/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=216020 memory=175784 CPUtime=3094.34 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 40299 0 0 0 308282 1152 0 0 20 0 1 0 159896911 221204480 43946 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 54005 43946 1442 291 0 45539 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 216020 KiB
Current children cumulated memory: 175784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.23 4.18 5/242 813487
/proc/meminfo: memFree=129043152/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=216660 memory=178320 CPUtime=3154.2 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 40486 0 0 0 314263 1157 0 0 20 0 1 0 159896911 221859840 44580 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 54165 44580 1442 291 0 45699 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 216660 KiB
Current children cumulated memory: 178320 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/242 813497
/proc/meminfo: memFree=129039876/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=217304 memory=180812 CPUtime=3214.05 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 40687 0 0 0 320242 1163 0 0 20 0 1 0 159896911 222519296 45203 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 54326 45203 1442 291 0 45860 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 217304 KiB
Current children cumulated memory: 180812 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.16 4.17 5/242 813507
/proc/meminfo: memFree=129031332/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=219032 memory=183848 CPUtime=3273.91 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 41015 0 0 0 326223 1168 0 0 20 0 1 0 159896911 224288768 45962 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 54758 45962 1442 291 0 46292 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 219032 KiB
Current children cumulated memory: 183848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.19 4.18 5/244 813688
/proc/meminfo: memFree=129026080/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=219992 memory=186616 CPUtime=3333.76 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 41268 0 0 0 332203 1173 0 0 20 0 1 0 159896911 225271808 46654 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 54998 46654 1442 291 0 46532 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 219992 KiB
Current children cumulated memory: 186616 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/244 813698
/proc/meminfo: memFree=128982024/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=271552 memory=193336 CPUtime=3393.61 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 41692 0 0 0 338182 1179 0 0 20 0 1 0 159896911 278069248 48334 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 67888 48334 1442 291 0 59422 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 271552 KiB
Current children cumulated memory: 193336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/245 813727
/proc/meminfo: memFree=128968572/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=272256 memory=195820 CPUtime=3453.46 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 41889 0 0 0 344163 1183 0 0 20 0 1 0 159896911 278790144 48955 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 68064 48955 1442 291 0 59598 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 272256 KiB
Current children cumulated memory: 195820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/245 813737
/proc/meminfo: memFree=128961980/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=273440 memory=198592 CPUtime=3513.31 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 42152 0 0 0 350143 1188 0 0 20 0 1 0 159896911 280002560 49648 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 68360 49648 1442 291 0 59894 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 273440 KiB
Current children cumulated memory: 198592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/245 813748
/proc/meminfo: memFree=128941820/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=298144 memory=211124 CPUtime=3573.16 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 45414 0 0 0 356122 1194 0 0 20 0 1 0 159896911 305299456 52781 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 74536 52781 1442 291 0 66070 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 298144 KiB
Current children cumulated memory: 211124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 813752
/proc/meminfo: memFree=128937060/131655788 swapFree=131071996/131071996
[pid=811796] ppid=811793 vsize=298656 memory=213436 CPUtime=3600 cores=4,6
/proc/811796/stat : 811796 (pb-oll-rs) R 811793 811796 807773 0 -1 4194304 45488 0 0 0 358804 1196 0 0 20 0 1 0 159896911 305823744 53359 134679101440 4194304 5384005 140721287931072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 8790016 140721287934999 140721287935076 140721287935076 140721287942091 0
/proc/811796/statm: 74664 53359 1442 291 0 66198 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 298656 KiB
Current children cumulated memory: 213436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.05 s, system=11.9682 s

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

Child status: 0

Real time (s): 3609.21
CPU time (s): 3600.01
CPU user time (s): 3588.05
CPU system time (s): 11.9682
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 298656
Max. memory (cumulated for all children) (KiB): 213436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.05
system time used= 11.9682
maximum resident set size= 213688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45510
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= 62
involuntary context switches= 3492


# summary of solver processes directly reported to runsolver:
#   pid: 811796
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3588.05
#   total CPU system time (s): 11.9682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5072 second user time and 36.0377 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-15 23:03:37
IDJOB=4435839
IDBENCH=147017
IDSOLVER=3067
FILE ID=nodeC008/4435839-1721077405
RUNJOBID= nodeC008-1721070197-807784
SLURM_JOB_ID= 7505525
Free space on /tmp= 723752 MiB

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

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=763550637

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126886128 kB
MemAvailable:   127047908 kB
Buffers:          390708 kB
Cached:           615856 kB
SwapCached:            0 kB
Active:           629176 kB
Inactive:        3619252 kB
Active(anon):       1476 kB
Inactive(anon):  3277764 kB
Active(file):     627700 kB
Inactive(file):   341488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2660 kB
Writeback:             0 kB
AnonPages:       3241552 kB
Mapped:           106516 kB
Shmem:             37704 kB
KReclaimable:      65248 kB
Slab:             158640 kB
SReclaimable:      65248 kB
SUnreclaim:        93392 kB
KernelStack:        3868 kB
PageTables:        15896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3981000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1521664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

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