Trace number 4435901

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-02? (TO) 3600.07 3611.4

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUM8548cf2fe8567884970fc9be656882ff
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 71 #constraints 17
0.00/0.00	c SMALL=int, LARGE=long long
31.49/31.64	c bounds - >= 0 @ 0.001217
31.49/31.64	c #Conflicts:       1000 | #Constraints:       1016
31.49/31.64	c #Conflicts:       2000 | #Constraints:       2016
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:       3000 | #Constraints:       2019
31.49/31.64	c #Conflicts:       4000 | #Constraints:       3019
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:       5000 | #Constraints:       2420
31.49/31.64	c #Conflicts:       6000 | #Constraints:       3420
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:       7000 | #Constraints:       2423
31.49/31.64	c #Conflicts:       8000 | #Constraints:       3423
31.49/31.64	c #Conflicts:       9000 | #Constraints:       4423
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      10000 | #Constraints:       3123
31.49/31.64	c #Conflicts:      11000 | #Constraints:       4123
31.49/31.64	c #Conflicts:      12000 | #Constraints:       5123
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      13000 | #Constraints:       3573
31.49/31.64	c #Conflicts:      14000 | #Constraints:       4573
31.49/31.64	c #Conflicts:      15000 | #Constraints:       5573
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      16000 | #Constraints:       3799
31.49/31.64	c #Conflicts:      17000 | #Constraints:       4799
31.49/31.64	c #Conflicts:      18000 | #Constraints:       5799
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      19000 | #Constraints:       3814
31.49/31.64	c #Conflicts:      20000 | #Constraints:       4814
31.49/31.64	c #Conflicts:      21000 | #Constraints:       5814
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      22000 | #Constraints:       3618
31.49/31.64	c #Conflicts:      23000 | #Constraints:       4618
31.49/31.64	c #Conflicts:      24000 | #Constraints:       5618
31.49/31.64	c #Conflicts:      25000 | #Constraints:       6618
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      26000 | #Constraints:       4221
31.49/31.64	c #Conflicts:      27000 | #Constraints:       5221
31.49/31.64	c #Conflicts:      28000 | #Constraints:       6221
31.49/31.64	c #Conflicts:      29000 | #Constraints:       7221
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      30000 | #Constraints:       4621
31.49/31.64	c #Conflicts:      31000 | #Constraints:       5621
31.49/31.64	c #Conflicts:      32000 | #Constraints:       6621
31.49/31.64	c #Conflicts:      33000 | #Constraints:       7621
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      34000 | #Constraints:       4823
31.49/31.64	c #Conflicts:      35000 | #Constraints:       5823
31.49/31.64	c #Conflicts:      36000 | #Constraints:       6823
31.49/31.64	c #Conflicts:      37000 | #Constraints:       7823
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      38000 | #Constraints:       4828
31.49/31.64	c #Conflicts:      39000 | #Constraints:       5828
31.49/31.64	c #Conflicts:      40000 | #Constraints:       6828
31.49/31.64	c #Conflicts:      41000 | #Constraints:       7828
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      42000 | #Constraints:       4626
31.49/31.64	c #Conflicts:      43000 | #Constraints:       5626
31.49/31.64	c #Conflicts:      44000 | #Constraints:       6626
31.49/31.64	c #Conflicts:      45000 | #Constraints:       7626
31.49/31.64	c #Conflicts:      46000 | #Constraints:       8626
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      47000 | #Constraints:       5225
31.49/31.64	c #Conflicts:      48000 | #Constraints:       6225
31.49/31.64	c #Conflicts:      49000 | #Constraints:       7225
31.49/31.64	c #Conflicts:      50000 | #Constraints:       8225
31.49/31.64	c #Conflicts:      51000 | #Constraints:       9225
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      52000 | #Constraints:       5625
31.49/31.64	c #Conflicts:      53000 | #Constraints:       6625
31.49/31.64	c #Conflicts:      54000 | #Constraints:       7625
31.49/31.64	c #Conflicts:      55000 | #Constraints:       8625
31.49/31.64	c #Conflicts:      56000 | #Constraints:       9625
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      57000 | #Constraints:       5824
31.49/31.64	c #Conflicts:      58000 | #Constraints:       6824
31.49/31.64	c #Conflicts:      59000 | #Constraints:       7824
31.49/31.64	c #Conflicts:      60000 | #Constraints:       8824
31.49/31.64	c #Conflicts:      61000 | #Constraints:       9824
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      62000 | #Constraints:       5824
31.49/31.64	c #Conflicts:      63000 | #Constraints:       6824
31.49/31.64	c #Conflicts:      64000 | #Constraints:       7824
31.49/31.64	c #Conflicts:      65000 | #Constraints:       8824
31.49/31.64	c #Conflicts:      66000 | #Constraints:       9824
31.49/31.64	c INPROCESSING
31.49/31.64	c GARBAGE COLLECT
31.49/31.64	c #Conflicts:      67000 | #Constraints:       5623
89.03/89.31	c #Conflicts:      68000 | #Constraints:       6623
89.03/89.31	c #Conflicts:      69000 | #Constraints:       7623
89.03/89.31	c #Conflicts:      70000 | #Constraints:       8623
89.03/89.31	c #Conflicts:      71000 | #Constraints:       9623
89.03/89.31	c #Conflicts:      72000 | #Constraints:      10623
89.03/89.31	c INPROCESSING
89.03/89.31	c GARBAGE COLLECT
89.03/89.31	c #Conflicts:      73000 | #Constraints:       6223
89.03/89.31	c #Conflicts:      74000 | #Constraints:       7223
89.03/89.31	c #Conflicts:      75000 | #Constraints:       8223
89.03/89.31	c #Conflicts:      76000 | #Constraints:       9223
89.03/89.31	c #Conflicts:      77000 | #Constraints:      10223
89.03/89.31	c #Conflicts:      78000 | #Constraints:      11223
89.03/89.31	c INPROCESSING
89.03/89.31	c GARBAGE COLLECT
89.03/89.31	c #Conflicts:      79000 | #Constraints:       6624
89.03/89.31	c #Conflicts:      80000 | #Constraints:       7624
89.03/89.31	c #Conflicts:      81000 | #Constraints:       8624
89.03/89.31	c #Conflicts:      82000 | #Constraints:       9624
89.03/89.31	c #Conflicts:      83000 | #Constraints:      10624
89.03/89.31	c #Conflicts:      84000 | #Constraints:      11624
89.03/89.31	c INPROCESSING
89.03/89.31	c GARBAGE COLLECT
89.03/89.31	c #Conflicts:      85000 | #Constraints:       6823
89.03/89.31	c #Conflicts:      86000 | #Constraints:       7823
89.03/89.31	c #Conflicts:      87000 | #Constraints:       8823
89.03/89.31	c #Conflicts:      88000 | #Constraints:       9823
89.03/89.31	c #Conflicts:      89000 | #Constraints:      10823
89.03/89.31	c #Conflicts:      90000 | #Constraints:      11823
89.03/89.31	c INPROCESSING
89.03/89.31	c GARBAGE COLLECT
89.03/89.31	c #Conflicts:      91000 | #Constraints:       6824
89.03/89.31	c #Conflicts:      92000 | #Constraints:       7824
89.03/89.31	c #Conflicts:      93000 | #Constraints:       8824
89.03/89.31	c #Conflicts:      94000 | #Constraints:       9824
89.03/89.31	c #Conflicts:      95000 | #Constraints:      10824
89.03/89.31	c #Conflicts:      96000 | #Constraints:      11824
89.03/89.31	c INPROCESSING
89.03/89.31	c GARBAGE COLLECT
89.03/89.31	c #Conflicts:      97000 | #Constraints:       6625
89.03/89.31	c #Conflicts:      98000 | #Constraints:       7625
89.03/89.31	c #Conflicts:      99000 | #Constraints:       8625
89.03/89.31	c #Conflicts:     100000 | #Constraints:       9625
89.03/89.31	c #Conflicts:     101000 | #Constraints:      10625
89.03/89.31	c #Conflicts:     102000 | #Constraints:      11625
89.03/89.31	c #Conflicts:     103000 | #Constraints:      12625
89.03/89.31	c INPROCESSING
89.03/89.32	c GARBAGE COLLECT
89.03/89.32	c #Conflicts:     104000 | #Constraints:       7224
89.03/89.32	c #Conflicts:     105000 | #Constraints:       8224
89.03/89.32	c #Conflicts:     106000 | #Constraints:       9224
89.03/89.32	c #Conflicts:     107000 | #Constraints:      10224
89.03/89.32	c #Conflicts:     108000 | #Constraints:      11224
89.03/89.32	c #Conflicts:     109000 | #Constraints:      12224
89.03/89.32	c #Conflicts:     110000 | #Constraints:      13224
89.03/89.32	c INPROCESSING
89.03/89.32	c GARBAGE COLLECT
89.03/89.32	c #Conflicts:     111000 | #Constraints:       7625
89.03/89.32	c #Conflicts:     112000 | #Constraints:       8625
89.03/89.32	c #Conflicts:     113000 | #Constraints:       9625
89.03/89.32	c #Conflicts:     114000 | #Constraints:      10625
89.03/89.32	c #Conflicts:     115000 | #Constraints:      11625
89.03/89.32	c #Conflicts:     116000 | #Constraints:      12625
89.03/89.32	c #Conflicts:     117000 | #Constraints:      13625
89.03/89.32	c INPROCESSING
89.03/89.32	c GARBAGE COLLECT
89.03/89.32	c #Conflicts:     118000 | #Constraints:       7823
89.03/89.32	c #Conflicts:     119000 | #Constraints:       8823
89.03/89.32	c #Conflicts:     120000 | #Constraints:       9823
89.03/89.32	c #Conflicts:     121000 | #Constraints:      10823
89.03/89.32	c #Conflicts:     122000 | #Constraints:      11823
89.03/89.32	c #Conflicts:     123000 | #Constraints:      12823
89.03/89.32	c #Conflicts:     124000 | #Constraints:      13823
89.03/89.32	c INPROCESSING
89.03/89.32	c GARBAGE COLLECT
89.03/89.32	c #Conflicts:     125000 | #Constraints:       7823
89.03/89.32	c #Conflicts:     126000 | #Constraints:       8823
89.03/89.32	c #Conflicts:     127000 | #Constraints:       9823
89.03/89.32	c #Conflicts:     128000 | #Constraints:      10823
89.03/89.32	c #Conflicts:     129000 | #Constraints:      11823
89.03/89.32	c #Conflicts:     130000 | #Constraints:      12823
89.03/89.32	c #Conflicts:     131000 | #Constraints:      13823
89.03/89.32	c INPROCESSING
89.03/89.32	c GARBAGE COLLECT
89.03/89.32	c #Conflicts:     132000 | #Constraints:       7624
89.03/89.32	c #Conflicts:     133000 | #Constraints:       8624
89.03/89.32	c #Conflicts:     134000 | #Constraints:       9624
89.03/89.32	c #Conflicts:     135000 | #Constraints:      10624
89.03/89.32	c #Conflicts:     136000 | #Constraints:      11624
89.03/89.32	c #Conflicts:     137000 | #Constraints:      12624
89.03/89.32	c #Conflicts:     138000 | #Constraints:      13624
89.03/89.32	c #Conflicts:     139000 | #Constraints:      14624
89.03/89.32	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     140000 | #Constraints:       8225
166.00/166.51	c #Conflicts:     141000 | #Constraints:       9225
166.00/166.51	c #Conflicts:     142000 | #Constraints:      10225
166.00/166.51	c #Conflicts:     143000 | #Constraints:      11225
166.00/166.51	c #Conflicts:     144000 | #Constraints:      12225
166.00/166.51	c #Conflicts:     145000 | #Constraints:      13225
166.00/166.51	c #Conflicts:     146000 | #Constraints:      14225
166.00/166.51	c #Conflicts:     147000 | #Constraints:      15225
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     148000 | #Constraints:       8624
166.00/166.51	c #Conflicts:     149000 | #Constraints:       9624
166.00/166.51	c #Conflicts:     150000 | #Constraints:      10624
166.00/166.51	c #Conflicts:     151000 | #Constraints:      11624
166.00/166.51	c #Conflicts:     152000 | #Constraints:      12624
166.00/166.51	c #Conflicts:     153000 | #Constraints:      13624
166.00/166.51	c #Conflicts:     154000 | #Constraints:      14624
166.00/166.51	c #Conflicts:     155000 | #Constraints:      15624
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     156000 | #Constraints:       8824
166.00/166.51	c #Conflicts:     157000 | #Constraints:       9824
166.00/166.51	c #Conflicts:     158000 | #Constraints:      10824
166.00/166.51	c #Conflicts:     159000 | #Constraints:      11824
166.00/166.51	c #Conflicts:     160000 | #Constraints:      12824
166.00/166.51	c #Conflicts:     161000 | #Constraints:      13824
166.00/166.51	c #Conflicts:     162000 | #Constraints:      14824
166.00/166.51	c #Conflicts:     163000 | #Constraints:      15824
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     164000 | #Constraints:       8828
166.00/166.51	c #Conflicts:     165000 | #Constraints:       9828
166.00/166.51	c #Conflicts:     166000 | #Constraints:      10828
166.00/166.51	c #Conflicts:     167000 | #Constraints:      11828
166.00/166.51	c #Conflicts:     168000 | #Constraints:      12828
166.00/166.51	c #Conflicts:     169000 | #Constraints:      13828
166.00/166.51	c #Conflicts:     170000 | #Constraints:      14828
166.00/166.51	c #Conflicts:     171000 | #Constraints:      15828
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     172000 | #Constraints:       8624
166.00/166.51	c #Conflicts:     173000 | #Constraints:       9624
166.00/166.51	c #Conflicts:     174000 | #Constraints:      10624
166.00/166.51	c #Conflicts:     175000 | #Constraints:      11624
166.00/166.51	c #Conflicts:     176000 | #Constraints:      12624
166.00/166.51	c #Conflicts:     177000 | #Constraints:      13624
166.00/166.51	c #Conflicts:     178000 | #Constraints:      14624
166.00/166.51	c #Conflicts:     179000 | #Constraints:      15624
166.00/166.51	c #Conflicts:     180000 | #Constraints:      16624
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     181000 | #Constraints:       9224
166.00/166.51	c #Conflicts:     182000 | #Constraints:      10224
166.00/166.51	c #Conflicts:     183000 | #Constraints:      11224
166.00/166.51	c #Conflicts:     184000 | #Constraints:      12224
166.00/166.51	c #Conflicts:     185000 | #Constraints:      13224
166.00/166.51	c #Conflicts:     186000 | #Constraints:      14224
166.00/166.51	c #Conflicts:     187000 | #Constraints:      15224
166.00/166.51	c #Conflicts:     188000 | #Constraints:      16224
166.00/166.51	c #Conflicts:     189000 | #Constraints:      17224
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     190000 | #Constraints:       9625
166.00/166.51	c #Conflicts:     191000 | #Constraints:      10625
166.00/166.51	c #Conflicts:     192000 | #Constraints:      11625
166.00/166.51	c #Conflicts:     193000 | #Constraints:      12625
166.00/166.51	c #Conflicts:     194000 | #Constraints:      13625
166.00/166.51	c #Conflicts:     195000 | #Constraints:      14625
166.00/166.51	c #Conflicts:     196000 | #Constraints:      15625
166.00/166.51	c #Conflicts:     197000 | #Constraints:      16625
166.00/166.51	c #Conflicts:     198000 | #Constraints:      17625
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     199000 | #Constraints:       9825
166.00/166.51	c #Conflicts:     200000 | #Constraints:      10825
166.00/166.51	c #Conflicts:     201000 | #Constraints:      11825
166.00/166.51	c #Conflicts:     202000 | #Constraints:      12825
166.00/166.51	c #Conflicts:     203000 | #Constraints:      13825
166.00/166.51	c #Conflicts:     204000 | #Constraints:      14825
166.00/166.51	c #Conflicts:     205000 | #Constraints:      15825
166.00/166.51	c #Conflicts:     206000 | #Constraints:      16825
166.00/166.51	c #Conflicts:     207000 | #Constraints:      17825
166.00/166.51	c INPROCESSING
166.00/166.51	c GARBAGE COLLECT
166.00/166.51	c #Conflicts:     208000 | #Constraints:       9826
166.00/166.51	c #Conflicts:     209000 | #Constraints:      10826
166.00/166.51	c #Conflicts:     210000 | #Constraints:      11826
166.00/166.51	c #Conflicts:     211000 | #Constraints:      12826
166.00/166.51	c #Conflicts:     212000 | #Constraints:      13826
166.00/166.51	c #Conflicts:     213000 | #Constraints:      14826
246.14/247.00	c #Conflicts:     214000 | #Constraints:      15826
246.14/247.00	c #Conflicts:     215000 | #Constraints:      16826
246.14/247.00	c #Conflicts:     216000 | #Constraints:      17826
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     217000 | #Constraints:       9629
246.14/247.00	c #Conflicts:     218000 | #Constraints:      10629
246.14/247.00	c #Conflicts:     219000 | #Constraints:      11629
246.14/247.00	c #Conflicts:     220000 | #Constraints:      12629
246.14/247.00	c #Conflicts:     221000 | #Constraints:      13629
246.14/247.00	c #Conflicts:     222000 | #Constraints:      14629
246.14/247.00	c #Conflicts:     223000 | #Constraints:      15629
246.14/247.00	c #Conflicts:     224000 | #Constraints:      16629
246.14/247.00	c #Conflicts:     225000 | #Constraints:      17629
246.14/247.00	c #Conflicts:     226000 | #Constraints:      18629
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     227000 | #Constraints:      10228
246.14/247.00	c #Conflicts:     228000 | #Constraints:      11228
246.14/247.00	c #Conflicts:     229000 | #Constraints:      12228
246.14/247.00	c #Conflicts:     230000 | #Constraints:      13228
246.14/247.00	c #Conflicts:     231000 | #Constraints:      14228
246.14/247.00	c #Conflicts:     232000 | #Constraints:      15228
246.14/247.00	c #Conflicts:     233000 | #Constraints:      16228
246.14/247.00	c #Conflicts:     234000 | #Constraints:      17228
246.14/247.00	c #Conflicts:     235000 | #Constraints:      18228
246.14/247.00	c #Conflicts:     236000 | #Constraints:      19228
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     237000 | #Constraints:      10629
246.14/247.00	c #Conflicts:     238000 | #Constraints:      11629
246.14/247.00	c #Conflicts:     239000 | #Constraints:      12629
246.14/247.00	c #Conflicts:     240000 | #Constraints:      13629
246.14/247.00	c #Conflicts:     241000 | #Constraints:      14629
246.14/247.00	c #Conflicts:     242000 | #Constraints:      15629
246.14/247.00	c #Conflicts:     243000 | #Constraints:      16629
246.14/247.00	c #Conflicts:     244000 | #Constraints:      17629
246.14/247.00	c #Conflicts:     245000 | #Constraints:      18629
246.14/247.00	c #Conflicts:     246000 | #Constraints:      19629
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     247000 | #Constraints:      10827
246.14/247.00	c #Conflicts:     248000 | #Constraints:      11827
246.14/247.00	c #Conflicts:     249000 | #Constraints:      12827
246.14/247.00	c #Conflicts:     250000 | #Constraints:      13827
246.14/247.00	c #Conflicts:     251000 | #Constraints:      14827
246.14/247.00	c #Conflicts:     252000 | #Constraints:      15827
246.14/247.00	c #Conflicts:     253000 | #Constraints:      16827
246.14/247.00	c #Conflicts:     254000 | #Constraints:      17827
246.14/247.00	c #Conflicts:     255000 | #Constraints:      18827
246.14/247.00	c #Conflicts:     256000 | #Constraints:      19827
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     257000 | #Constraints:      10824
246.14/247.00	c #Conflicts:     258000 | #Constraints:      11824
246.14/247.00	c #Conflicts:     259000 | #Constraints:      12824
246.14/247.00	c #Conflicts:     260000 | #Constraints:      13824
246.14/247.00	c #Conflicts:     261000 | #Constraints:      14824
246.14/247.00	c #Conflicts:     262000 | #Constraints:      15824
246.14/247.00	c #Conflicts:     263000 | #Constraints:      16824
246.14/247.00	c #Conflicts:     264000 | #Constraints:      17824
246.14/247.00	c #Conflicts:     265000 | #Constraints:      18824
246.14/247.00	c #Conflicts:     266000 | #Constraints:      19824
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     267000 | #Constraints:      10625
246.14/247.00	c #Conflicts:     268000 | #Constraints:      11625
246.14/247.00	c #Conflicts:     269000 | #Constraints:      12625
246.14/247.00	c #Conflicts:     270000 | #Constraints:      13625
246.14/247.00	c #Conflicts:     271000 | #Constraints:      14625
246.14/247.00	c #Conflicts:     272000 | #Constraints:      15625
246.14/247.00	c #Conflicts:     273000 | #Constraints:      16625
246.14/247.00	c #Conflicts:     274000 | #Constraints:      17625
246.14/247.00	c #Conflicts:     275000 | #Constraints:      18625
246.14/247.00	c #Conflicts:     276000 | #Constraints:      19625
246.14/247.00	c #Conflicts:     277000 | #Constraints:      20625
246.14/247.00	c INPROCESSING
246.14/247.00	c GARBAGE COLLECT
246.14/247.00	c #Conflicts:     278000 | #Constraints:      11224
246.14/247.00	c #Conflicts:     279000 | #Constraints:      12224
246.14/247.00	c #Conflicts:     280000 | #Constraints:      13224
246.14/247.00	c #Conflicts:     281000 | #Constraints:      14224
246.14/247.00	c #Conflicts:     282000 | #Constraints:      15224
246.14/247.00	c #Conflicts:     283000 | #Constraints:      16224
246.14/247.00	c #Conflicts:     284000 | #Constraints:      17224
246.14/247.00	c #Conflicts:     285000 | #Constraints:      18224
246.14/247.00	c #Conflicts:     286000 | #Constraints:      19224
246.14/247.00	c #Conflicts:     287000 | #Constraints:      20224
338.45/339.52	c #Conflicts:     288000 | #Constraints:      21224
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     289000 | #Constraints:      11624
338.45/339.52	c #Conflicts:     290000 | #Constraints:      12624
338.45/339.52	c #Conflicts:     291000 | #Constraints:      13624
338.45/339.52	c #Conflicts:     292000 | #Constraints:      14624
338.45/339.52	c #Conflicts:     293000 | #Constraints:      15624
338.45/339.52	c #Conflicts:     294000 | #Constraints:      16624
338.45/339.52	c #Conflicts:     295000 | #Constraints:      17624
338.45/339.52	c #Conflicts:     296000 | #Constraints:      18624
338.45/339.52	c #Conflicts:     297000 | #Constraints:      19624
338.45/339.52	c #Conflicts:     298000 | #Constraints:      20624
338.45/339.52	c #Conflicts:     299000 | #Constraints:      21624
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     300000 | #Constraints:      11827
338.45/339.52	c #Conflicts:     301000 | #Constraints:      12827
338.45/339.52	c #Conflicts:     302000 | #Constraints:      13827
338.45/339.52	c #Conflicts:     303000 | #Constraints:      14827
338.45/339.52	c #Conflicts:     304000 | #Constraints:      15827
338.45/339.52	c #Conflicts:     305000 | #Constraints:      16827
338.45/339.52	c #Conflicts:     306000 | #Constraints:      17827
338.45/339.52	c #Conflicts:     307000 | #Constraints:      18827
338.45/339.52	c #Conflicts:     308000 | #Constraints:      19827
338.45/339.52	c #Conflicts:     309000 | #Constraints:      20827
338.45/339.52	c #Conflicts:     310000 | #Constraints:      21827
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     311000 | #Constraints:      11829
338.45/339.52	c #Conflicts:     312000 | #Constraints:      12829
338.45/339.52	c #Conflicts:     313000 | #Constraints:      13829
338.45/339.52	c #Conflicts:     314000 | #Constraints:      14829
338.45/339.52	c #Conflicts:     315000 | #Constraints:      15829
338.45/339.52	c #Conflicts:     316000 | #Constraints:      16829
338.45/339.52	c #Conflicts:     317000 | #Constraints:      17829
338.45/339.52	c #Conflicts:     318000 | #Constraints:      18829
338.45/339.52	c #Conflicts:     319000 | #Constraints:      19829
338.45/339.52	c #Conflicts:     320000 | #Constraints:      20829
338.45/339.52	c #Conflicts:     321000 | #Constraints:      21829
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     322000 | #Constraints:      11626
338.45/339.52	c #Conflicts:     323000 | #Constraints:      12626
338.45/339.52	c #Conflicts:     324000 | #Constraints:      13626
338.45/339.52	c #Conflicts:     325000 | #Constraints:      14626
338.45/339.52	c #Conflicts:     326000 | #Constraints:      15626
338.45/339.52	c #Conflicts:     327000 | #Constraints:      16626
338.45/339.52	c #Conflicts:     328000 | #Constraints:      17626
338.45/339.52	c #Conflicts:     329000 | #Constraints:      18626
338.45/339.52	c #Conflicts:     330000 | #Constraints:      19626
338.45/339.52	c #Conflicts:     331000 | #Constraints:      20626
338.45/339.52	c #Conflicts:     332000 | #Constraints:      21626
338.45/339.52	c #Conflicts:     333000 | #Constraints:      22626
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     334000 | #Constraints:      12224
338.45/339.52	c #Conflicts:     335000 | #Constraints:      13224
338.45/339.52	c #Conflicts:     336000 | #Constraints:      14224
338.45/339.52	c #Conflicts:     337000 | #Constraints:      15224
338.45/339.52	c #Conflicts:     338000 | #Constraints:      16224
338.45/339.52	c #Conflicts:     339000 | #Constraints:      17224
338.45/339.52	c #Conflicts:     340000 | #Constraints:      18224
338.45/339.52	c #Conflicts:     341000 | #Constraints:      19224
338.45/339.52	c #Conflicts:     342000 | #Constraints:      20224
338.45/339.52	c #Conflicts:     343000 | #Constraints:      21224
338.45/339.52	c #Conflicts:     344000 | #Constraints:      22224
338.45/339.52	c #Conflicts:     345000 | #Constraints:      23224
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     346000 | #Constraints:      12625
338.45/339.52	c #Conflicts:     347000 | #Constraints:      13625
338.45/339.52	c #Conflicts:     348000 | #Constraints:      14625
338.45/339.52	c #Conflicts:     349000 | #Constraints:      15625
338.45/339.52	c #Conflicts:     350000 | #Constraints:      16625
338.45/339.52	c #Conflicts:     351000 | #Constraints:      17625
338.45/339.52	c #Conflicts:     352000 | #Constraints:      18625
338.45/339.52	c #Conflicts:     353000 | #Constraints:      19625
338.45/339.52	c #Conflicts:     354000 | #Constraints:      20625
338.45/339.52	c #Conflicts:     355000 | #Constraints:      21625
338.45/339.52	c #Conflicts:     356000 | #Constraints:      22625
338.45/339.52	c #Conflicts:     357000 | #Constraints:      23625
338.45/339.52	c INPROCESSING
338.45/339.52	c GARBAGE COLLECT
338.45/339.52	c #Conflicts:     358000 | #Constraints:      12822
338.45/339.52	c #Conflicts:     359000 | #Constraints:      13822
338.45/339.52	c #Conflicts:     360000 | #Constraints:      14822
338.45/339.52	c #Conflicts:     361000 | #Constraints:      15822
439.85/441.24	c #Conflicts:     362000 | #Constraints:      16822
439.85/441.24	c #Conflicts:     363000 | #Constraints:      17822
439.85/441.24	c #Conflicts:     364000 | #Constraints:      18822
439.85/441.24	c #Conflicts:     365000 | #Constraints:      19822
439.85/441.24	c #Conflicts:     366000 | #Constraints:      20822
439.85/441.24	c #Conflicts:     367000 | #Constraints:      21822
439.85/441.24	c #Conflicts:     368000 | #Constraints:      22822
439.85/441.24	c #Conflicts:     369000 | #Constraints:      23822
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     370000 | #Constraints:      12825
439.85/441.24	c #Conflicts:     371000 | #Constraints:      13825
439.85/441.24	c #Conflicts:     372000 | #Constraints:      14825
439.85/441.24	c #Conflicts:     373000 | #Constraints:      15825
439.85/441.24	c #Conflicts:     374000 | #Constraints:      16825
439.85/441.24	c #Conflicts:     375000 | #Constraints:      17825
439.85/441.24	c #Conflicts:     376000 | #Constraints:      18825
439.85/441.24	c #Conflicts:     377000 | #Constraints:      19825
439.85/441.24	c #Conflicts:     378000 | #Constraints:      20825
439.85/441.24	c #Conflicts:     379000 | #Constraints:      21825
439.85/441.24	c #Conflicts:     380000 | #Constraints:      22825
439.85/441.24	c #Conflicts:     381000 | #Constraints:      23825
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     382000 | #Constraints:      12623
439.85/441.24	c #Conflicts:     383000 | #Constraints:      13623
439.85/441.24	c #Conflicts:     384000 | #Constraints:      14623
439.85/441.24	c #Conflicts:     385000 | #Constraints:      15623
439.85/441.24	c #Conflicts:     386000 | #Constraints:      16623
439.85/441.24	c #Conflicts:     387000 | #Constraints:      17623
439.85/441.24	c #Conflicts:     388000 | #Constraints:      18623
439.85/441.24	c #Conflicts:     389000 | #Constraints:      19623
439.85/441.24	c #Conflicts:     390000 | #Constraints:      20623
439.85/441.24	c #Conflicts:     391000 | #Constraints:      21623
439.85/441.24	c #Conflicts:     392000 | #Constraints:      22623
439.85/441.24	c #Conflicts:     393000 | #Constraints:      23623
439.85/441.24	c #Conflicts:     394000 | #Constraints:      24623
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     395000 | #Constraints:      13226
439.85/441.24	c #Conflicts:     396000 | #Constraints:      14226
439.85/441.24	c #Conflicts:     397000 | #Constraints:      15226
439.85/441.24	c #Conflicts:     398000 | #Constraints:      16226
439.85/441.24	c #Conflicts:     399000 | #Constraints:      17226
439.85/441.24	c #Conflicts:     400000 | #Constraints:      18226
439.85/441.24	c #Conflicts:     401000 | #Constraints:      19226
439.85/441.24	c #Conflicts:     402000 | #Constraints:      20226
439.85/441.24	c #Conflicts:     403000 | #Constraints:      21226
439.85/441.24	c #Conflicts:     404000 | #Constraints:      22226
439.85/441.24	c #Conflicts:     405000 | #Constraints:      23226
439.85/441.24	c #Conflicts:     406000 | #Constraints:      24226
439.85/441.24	c #Conflicts:     407000 | #Constraints:      25226
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     408000 | #Constraints:      13622
439.85/441.24	c #Conflicts:     409000 | #Constraints:      14622
439.85/441.24	c #Conflicts:     410000 | #Constraints:      15622
439.85/441.24	c #Conflicts:     411000 | #Constraints:      16622
439.85/441.24	c #Conflicts:     412000 | #Constraints:      17622
439.85/441.24	c #Conflicts:     413000 | #Constraints:      18622
439.85/441.24	c #Conflicts:     414000 | #Constraints:      19622
439.85/441.24	c #Conflicts:     415000 | #Constraints:      20622
439.85/441.24	c #Conflicts:     416000 | #Constraints:      21622
439.85/441.24	c #Conflicts:     417000 | #Constraints:      22622
439.85/441.24	c #Conflicts:     418000 | #Constraints:      23622
439.85/441.24	c #Conflicts:     419000 | #Constraints:      24622
439.85/441.24	c #Conflicts:     420000 | #Constraints:      25622
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     421000 | #Constraints:      13825
439.85/441.24	c #Conflicts:     422000 | #Constraints:      14825
439.85/441.24	c #Conflicts:     423000 | #Constraints:      15825
439.85/441.24	c #Conflicts:     424000 | #Constraints:      16825
439.85/441.24	c #Conflicts:     425000 | #Constraints:      17825
439.85/441.24	c #Conflicts:     426000 | #Constraints:      18825
439.85/441.24	c #Conflicts:     427000 | #Constraints:      19825
439.85/441.24	c #Conflicts:     428000 | #Constraints:      20825
439.85/441.24	c #Conflicts:     429000 | #Constraints:      21825
439.85/441.24	c #Conflicts:     430000 | #Constraints:      22825
439.85/441.24	c #Conflicts:     431000 | #Constraints:      23825
439.85/441.24	c #Conflicts:     432000 | #Constraints:      24825
439.85/441.24	c #Conflicts:     433000 | #Constraints:      25825
439.85/441.24	c INPROCESSING
439.85/441.24	c GARBAGE COLLECT
439.85/441.24	c #Conflicts:     434000 | #Constraints:      13827
439.85/441.24	c #Conflicts:     435000 | #Constraints:      14827
439.85/441.24	c #Conflicts:     436000 | #Constraints:      15827
563.56/565.39	c #Conflicts:     437000 | #Constraints:      16827
563.56/565.39	c #Conflicts:     438000 | #Constraints:      17827
563.56/565.39	c #Conflicts:     439000 | #Constraints:      18827
563.56/565.39	c #Conflicts:     440000 | #Constraints:      19827
563.56/565.39	c #Conflicts:     441000 | #Constraints:      20827
563.56/565.39	c #Conflicts:     442000 | #Constraints:      21827
563.56/565.39	c #Conflicts:     443000 | #Constraints:      22827
563.56/565.39	c #Conflicts:     444000 | #Constraints:      23827
563.56/565.39	c #Conflicts:     445000 | #Constraints:      24827
563.56/565.39	c #Conflicts:     446000 | #Constraints:      25827
563.56/565.39	c INPROCESSING
563.56/565.39	c GARBAGE COLLECT
563.56/565.39	c #Conflicts:     447000 | #Constraints:      13625
563.56/565.39	c #Conflicts:     448000 | #Constraints:      14625
563.56/565.39	c #Conflicts:     449000 | #Constraints:      15625
563.56/565.39	c #Conflicts:     450000 | #Constraints:      16625
563.56/565.39	c #Conflicts:     451000 | #Constraints:      17625
563.56/565.39	c #Conflicts:     452000 | #Constraints:      18625
563.56/565.39	c #Conflicts:     453000 | #Constraints:      19625
563.56/565.39	c #Conflicts:     454000 | #Constraints:      20625
563.56/565.39	c #Conflicts:     455000 | #Constraints:      21625
563.56/565.39	c #Conflicts:     456000 | #Constraints:      22625
563.56/565.39	c #Conflicts:     457000 | #Constraints:      23625
563.56/565.39	c #Conflicts:     458000 | #Constraints:      24625
563.56/565.39	c #Conflicts:     459000 | #Constraints:      25625
563.56/565.39	c #Conflicts:     460000 | #Constraints:      26625
563.56/565.39	c INPROCESSING
563.56/565.39	c GARBAGE COLLECT
563.56/565.39	c #Conflicts:     461000 | #Constraints:      14228
563.56/565.39	c #Conflicts:     462000 | #Constraints:      15228
563.56/565.39	c #Conflicts:     463000 | #Constraints:      16228
563.56/565.39	c #Conflicts:     464000 | #Constraints:      17228
563.56/565.39	c #Conflicts:     465000 | #Constraints:      18228
563.56/565.39	c #Conflicts:     466000 | #Constraints:      19228
563.56/565.39	c #Conflicts:     467000 | #Constraints:      20228
563.56/565.39	c #Conflicts:     468000 | #Constraints:      21228
563.56/565.39	c #Conflicts:     469000 | #Constraints:      22228
563.56/565.39	c #Conflicts:     470000 | #Constraints:      23228
563.56/565.39	c #Conflicts:     471000 | #Constraints:      24228
563.56/565.39	c #Conflicts:     472000 | #Constraints:      25228
563.56/565.39	c #Conflicts:     473000 | #Constraints:      26228
563.56/565.39	c #Conflicts:     474000 | #Constraints:      27228
563.56/565.39	c INPROCESSING
563.56/565.39	c GARBAGE COLLECT
563.56/565.39	c #Conflicts:     475000 | #Constraints:      14629
563.56/565.39	c #Conflicts:     476000 | #Constraints:      15629
563.56/565.39	c #Conflicts:     477000 | #Constraints:      16629
563.56/565.39	c #Conflicts:     478000 | #Constraints:      17629
563.56/565.39	c #Conflicts:     479000 | #Constraints:      18629
563.56/565.39	c #Conflicts:     480000 | #Constraints:      19629
563.56/565.39	c #Conflicts:     481000 | #Constraints:      20629
563.56/565.39	c #Conflicts:     482000 | #Constraints:      21629
563.56/565.39	c #Conflicts:     483000 | #Constraints:      22629
563.56/565.39	c #Conflicts:     484000 | #Constraints:      23629
563.56/565.39	c #Conflicts:     485000 | #Constraints:      24629
563.56/565.39	c #Conflicts:     486000 | #Constraints:      25629
563.56/565.39	c #Conflicts:     487000 | #Constraints:      26629
563.56/565.39	c #Conflicts:     488000 | #Constraints:      27629
563.56/565.39	c INPROCESSING
563.56/565.39	c GARBAGE COLLECT
563.56/565.39	c #Conflicts:     489000 | #Constraints:      14829
563.56/565.39	c #Conflicts:     490000 | #Constraints:      15829
563.56/565.39	c #Conflicts:     491000 | #Constraints:      16829
563.56/565.39	c #Conflicts:     492000 | #Constraints:      17829
563.56/565.39	c #Conflicts:     493000 | #Constraints:      18829
563.56/565.39	c #Conflicts:     494000 | #Constraints:      19829
563.56/565.39	c #Conflicts:     495000 | #Constraints:      20829
563.56/565.39	c #Conflicts:     496000 | #Constraints:      21829
563.56/565.39	c #Conflicts:     497000 | #Constraints:      22829
563.56/565.39	c #Conflicts:     498000 | #Constraints:      23829
563.56/565.39	c #Conflicts:     499000 | #Constraints:      24829
563.56/565.39	c #Conflicts:     500000 | #Constraints:      25829
563.56/565.39	c #Conflicts:     501000 | #Constraints:      26829
563.56/565.39	c #Conflicts:     502000 | #Constraints:      27829
563.56/565.39	c INPROCESSING
563.56/565.39	c GARBAGE COLLECT
563.56/565.39	c #Conflicts:     503000 | #Constraints:      14831
563.56/565.39	c #Conflicts:     504000 | #Constraints:      15831
563.56/565.39	c #Conflicts:     505000 | #Constraints:      16831
563.56/565.39	c #Conflicts:     506000 | #Constraints:      17831
563.56/565.39	c #Conflicts:     507000 | #Constraints:      18831
563.56/565.39	c #Conflicts:     508000 | #Constraints:      19831
563.56/565.39	c #Conflicts:     509000 | #Constraints:      20831
563.56/565.39	c #Conflicts:     510000 | #Constraints:      21831
563.56/565.39	c #Conflicts:     511000 | #Constraints:      22831
563.56/565.39	c #Conflicts:     512000 | #Constraints:      23831
682.19/684.35	c #Conflicts:     513000 | #Constraints:      24831
682.19/684.35	c #Conflicts:     514000 | #Constraints:      25831
682.19/684.35	c #Conflicts:     515000 | #Constraints:      26831
682.19/684.35	c #Conflicts:     516000 | #Constraints:      27831
682.19/684.35	c INPROCESSING
682.19/684.35	c GARBAGE COLLECT
682.19/684.35	c #Conflicts:     517000 | #Constraints:      14627
682.19/684.35	c #Conflicts:     518000 | #Constraints:      15627
682.19/684.35	c #Conflicts:     519000 | #Constraints:      16627
682.19/684.35	c #Conflicts:     520000 | #Constraints:      17627
682.19/684.35	c #Conflicts:     521000 | #Constraints:      18627
682.19/684.35	c #Conflicts:     522000 | #Constraints:      19627
682.19/684.35	c #Conflicts:     523000 | #Constraints:      20627
682.19/684.35	c #Conflicts:     524000 | #Constraints:      21627
682.19/684.35	c #Conflicts:     525000 | #Constraints:      22627
682.19/684.35	c #Conflicts:     526000 | #Constraints:      23627
682.19/684.35	c #Conflicts:     527000 | #Constraints:      24627
682.19/684.35	c #Conflicts:     528000 | #Constraints:      25627
682.19/684.35	c #Conflicts:     529000 | #Constraints:      26627
682.19/684.35	c #Conflicts:     530000 | #Constraints:      27627
682.19/684.35	c #Conflicts:     531000 | #Constraints:      28627
682.19/684.35	c INPROCESSING
682.19/684.35	c GARBAGE COLLECT
682.19/684.35	c #Conflicts:     532000 | #Constraints:      15231
682.19/684.35	c #Conflicts:     533000 | #Constraints:      16231
682.19/684.35	c #Conflicts:     534000 | #Constraints:      17231
682.19/684.35	c #Conflicts:     535000 | #Constraints:      18231
682.19/684.35	c #Conflicts:     536000 | #Constraints:      19231
682.19/684.35	c #Conflicts:     537000 | #Constraints:      20231
682.19/684.35	c #Conflicts:     538000 | #Constraints:      21231
682.19/684.35	c #Conflicts:     539000 | #Constraints:      22231
682.19/684.35	c #Conflicts:     540000 | #Constraints:      23231
682.19/684.35	c #Conflicts:     541000 | #Constraints:      24231
682.19/684.35	c #Conflicts:     542000 | #Constraints:      25231
682.19/684.35	c #Conflicts:     543000 | #Constraints:      26231
682.19/684.35	c #Conflicts:     544000 | #Constraints:      27231
682.19/684.35	c #Conflicts:     545000 | #Constraints:      28231
682.19/684.35	c #Conflicts:     546000 | #Constraints:      29231
682.19/684.35	c INPROCESSING
682.19/684.35	c GARBAGE COLLECT
682.19/684.35	c #Conflicts:     547000 | #Constraints:      15629
682.19/684.35	c #Conflicts:     548000 | #Constraints:      16629
682.19/684.35	c #Conflicts:     549000 | #Constraints:      17629
682.19/684.35	c #Conflicts:     550000 | #Constraints:      18629
682.19/684.35	c #Conflicts:     551000 | #Constraints:      19629
682.19/684.35	c #Conflicts:     552000 | #Constraints:      20629
682.19/684.35	c #Conflicts:     553000 | #Constraints:      21629
682.19/684.35	c #Conflicts:     554000 | #Constraints:      22629
682.19/684.35	c #Conflicts:     555000 | #Constraints:      23629
682.19/684.35	c #Conflicts:     556000 | #Constraints:      24629
682.19/684.35	c #Conflicts:     557000 | #Constraints:      25629
682.19/684.35	c #Conflicts:     558000 | #Constraints:      26629
682.19/684.35	c #Conflicts:     559000 | #Constraints:      27629
682.19/684.35	c #Conflicts:     560000 | #Constraints:      28629
682.19/684.35	c #Conflicts:     561000 | #Constraints:      29629
682.19/684.35	c INPROCESSING
682.19/684.35	c GARBAGE COLLECT
682.19/684.35	c #Conflicts:     562000 | #Constraints:      15825
682.19/684.35	c #Conflicts:     563000 | #Constraints:      16825
682.19/684.35	c #Conflicts:     564000 | #Constraints:      17825
682.19/684.35	c #Conflicts:     565000 | #Constraints:      18825
682.19/684.35	c #Conflicts:     566000 | #Constraints:      19825
682.19/684.35	c #Conflicts:     567000 | #Constraints:      20825
682.19/684.35	c #Conflicts:     568000 | #Constraints:      21825
682.19/684.35	c #Conflicts:     569000 | #Constraints:      22825
682.19/684.35	c #Conflicts:     570000 | #Constraints:      23825
682.19/684.35	c #Conflicts:     571000 | #Constraints:      24825
682.19/684.35	c #Conflicts:     572000 | #Constraints:      25825
682.19/684.35	c #Conflicts:     573000 | #Constraints:      26825
682.19/684.35	c #Conflicts:     574000 | #Constraints:      27825
682.19/684.35	c #Conflicts:     575000 | #Constraints:      28825
682.19/684.35	c #Conflicts:     576000 | #Constraints:      29825
682.19/684.35	c INPROCESSING
682.19/684.35	c GARBAGE COLLECT
682.19/684.35	c #Conflicts:     577000 | #Constraints:      15826
682.19/684.35	c #Conflicts:     578000 | #Constraints:      16826
682.19/684.35	c #Conflicts:     579000 | #Constraints:      17826
682.19/684.35	c #Conflicts:     580000 | #Constraints:      18826
682.19/684.35	c #Conflicts:     581000 | #Constraints:      19826
682.19/684.35	c #Conflicts:     582000 | #Constraints:      20826
682.19/684.35	c #Conflicts:     583000 | #Constraints:      21826
682.19/684.35	c #Conflicts:     584000 | #Constraints:      22826
682.19/684.35	c #Conflicts:     585000 | #Constraints:      23826
682.19/684.35	c #Conflicts:     586000 | #Constraints:      24826
682.19/684.35	c #Conflicts:     587000 | #Constraints:      25826
682.19/684.35	c #Conflicts:     588000 | #Constraints:      26826
806.61/809.17	c #Conflicts:     589000 | #Constraints:      27826
806.61/809.17	c #Conflicts:     590000 | #Constraints:      28826
806.61/809.17	c #Conflicts:     591000 | #Constraints:      29826
806.61/809.17	c INPROCESSING
806.61/809.17	c GARBAGE COLLECT
806.61/809.17	c #Conflicts:     592000 | #Constraints:      15627
806.61/809.17	c #Conflicts:     593000 | #Constraints:      16627
806.61/809.17	c #Conflicts:     594000 | #Constraints:      17627
806.61/809.17	c #Conflicts:     595000 | #Constraints:      18627
806.61/809.17	c #Conflicts:     596000 | #Constraints:      19627
806.61/809.17	c #Conflicts:     597000 | #Constraints:      20627
806.61/809.17	c #Conflicts:     598000 | #Constraints:      21627
806.61/809.17	c #Conflicts:     599000 | #Constraints:      22627
806.61/809.17	c #Conflicts:     600000 | #Constraints:      23627
806.61/809.17	c #Conflicts:     601000 | #Constraints:      24627
806.61/809.17	c #Conflicts:     602000 | #Constraints:      25627
806.61/809.17	c #Conflicts:     603000 | #Constraints:      26627
806.61/809.17	c #Conflicts:     604000 | #Constraints:      27627
806.61/809.17	c #Conflicts:     605000 | #Constraints:      28627
806.61/809.17	c #Conflicts:     606000 | #Constraints:      29627
806.61/809.17	c #Conflicts:     607000 | #Constraints:      30627
806.61/809.17	c INPROCESSING
806.61/809.17	c GARBAGE COLLECT
806.61/809.17	c #Conflicts:     608000 | #Constraints:      16229
806.61/809.17	c #Conflicts:     609000 | #Constraints:      17229
806.61/809.17	c #Conflicts:     610000 | #Constraints:      18229
806.61/809.17	c #Conflicts:     611000 | #Constraints:      19229
806.61/809.17	c #Conflicts:     612000 | #Constraints:      20229
806.61/809.17	c #Conflicts:     613000 | #Constraints:      21229
806.61/809.17	c #Conflicts:     614000 | #Constraints:      22229
806.61/809.17	c #Conflicts:     615000 | #Constraints:      23229
806.61/809.17	c #Conflicts:     616000 | #Constraints:      24229
806.61/809.17	c #Conflicts:     617000 | #Constraints:      25229
806.61/809.17	c #Conflicts:     618000 | #Constraints:      26229
806.61/809.17	c #Conflicts:     619000 | #Constraints:      27229
806.61/809.17	c #Conflicts:     620000 | #Constraints:      28229
806.61/809.17	c #Conflicts:     621000 | #Constraints:      29229
806.61/809.17	c #Conflicts:     622000 | #Constraints:      30229
806.61/809.17	c #Conflicts:     623000 | #Constraints:      31229
806.61/809.17	c INPROCESSING
806.61/809.17	c GARBAGE COLLECT
806.61/809.17	c #Conflicts:     624000 | #Constraints:      16626
806.61/809.17	c #Conflicts:     625000 | #Constraints:      17626
806.61/809.17	c #Conflicts:     626000 | #Constraints:      18626
806.61/809.17	c #Conflicts:     627000 | #Constraints:      19626
806.61/809.17	c #Conflicts:     628000 | #Constraints:      20626
806.61/809.17	c #Conflicts:     629000 | #Constraints:      21626
806.61/809.17	c #Conflicts:     630000 | #Constraints:      22626
806.61/809.17	c #Conflicts:     631000 | #Constraints:      23626
806.61/809.17	c #Conflicts:     632000 | #Constraints:      24626
806.61/809.17	c #Conflicts:     633000 | #Constraints:      25626
806.61/809.17	c #Conflicts:     634000 | #Constraints:      26626
806.61/809.17	c #Conflicts:     635000 | #Constraints:      27626
806.61/809.17	c #Conflicts:     636000 | #Constraints:      28626
806.61/809.17	c #Conflicts:     637000 | #Constraints:      29626
806.61/809.17	c #Conflicts:     638000 | #Constraints:      30626
806.61/809.17	c #Conflicts:     639000 | #Constraints:      31626
806.61/809.17	c INPROCESSING
806.61/809.17	c GARBAGE COLLECT
806.61/809.17	c #Conflicts:     640000 | #Constraints:      16826
806.61/809.17	c #Conflicts:     641000 | #Constraints:      17826
806.61/809.17	c #Conflicts:     642000 | #Constraints:      18826
806.61/809.17	c #Conflicts:     643000 | #Constraints:      19826
806.61/809.17	c #Conflicts:     644000 | #Constraints:      20826
806.61/809.17	c #Conflicts:     645000 | #Constraints:      21826
806.61/809.17	c #Conflicts:     646000 | #Constraints:      22826
806.61/809.17	c #Conflicts:     647000 | #Constraints:      23826
806.61/809.17	c #Conflicts:     648000 | #Constraints:      24826
806.61/809.17	c #Conflicts:     649000 | #Constraints:      25826
806.61/809.17	c #Conflicts:     650000 | #Constraints:      26826
806.61/809.17	c #Conflicts:     651000 | #Constraints:      27826
806.61/809.17	c #Conflicts:     652000 | #Constraints:      28826
806.61/809.17	c #Conflicts:     653000 | #Constraints:      29826
806.61/809.17	c #Conflicts:     654000 | #Constraints:      30826
806.61/809.17	c #Conflicts:     655000 | #Constraints:      31826
806.61/809.17	c INPROCESSING
806.61/809.17	c GARBAGE COLLECT
806.61/809.17	c #Conflicts:     656000 | #Constraints:      16826
806.61/809.17	c #Conflicts:     657000 | #Constraints:      17826
806.61/809.17	c #Conflicts:     658000 | #Constraints:      18826
806.61/809.17	c #Conflicts:     659000 | #Constraints:      19826
806.61/809.17	c #Conflicts:     660000 | #Constraints:      20826
806.61/809.17	c #Conflicts:     661000 | #Constraints:      21826
806.61/809.17	c #Conflicts:     662000 | #Constraints:      22826
806.61/809.17	c #Conflicts:     663000 | #Constraints:      23826
947.26/950.23	c #Conflicts:     664000 | #Constraints:      24826
947.26/950.23	c #Conflicts:     665000 | #Constraints:      25826
947.26/950.23	c #Conflicts:     666000 | #Constraints:      26826
947.26/950.23	c #Conflicts:     667000 | #Constraints:      27826
947.26/950.23	c #Conflicts:     668000 | #Constraints:      28826
947.26/950.23	c #Conflicts:     669000 | #Constraints:      29826
947.26/950.23	c #Conflicts:     670000 | #Constraints:      30826
947.26/950.23	c #Conflicts:     671000 | #Constraints:      31826
947.26/950.23	c INPROCESSING
947.26/950.23	c GARBAGE COLLECT
947.26/950.23	c #Conflicts:     672000 | #Constraints:      16624
947.26/950.23	c #Conflicts:     673000 | #Constraints:      17624
947.26/950.23	c #Conflicts:     674000 | #Constraints:      18624
947.26/950.23	c #Conflicts:     675000 | #Constraints:      19624
947.26/950.23	c #Conflicts:     676000 | #Constraints:      20624
947.26/950.23	c #Conflicts:     677000 | #Constraints:      21624
947.26/950.23	c #Conflicts:     678000 | #Constraints:      22624
947.26/950.23	c #Conflicts:     679000 | #Constraints:      23624
947.26/950.23	c #Conflicts:     680000 | #Constraints:      24624
947.26/950.23	c #Conflicts:     681000 | #Constraints:      25624
947.26/950.23	c #Conflicts:     682000 | #Constraints:      26624
947.26/950.23	c #Conflicts:     683000 | #Constraints:      27624
947.26/950.23	c #Conflicts:     684000 | #Constraints:      28624
947.26/950.23	c #Conflicts:     685000 | #Constraints:      29624
947.26/950.23	c #Conflicts:     686000 | #Constraints:      30624
947.26/950.23	c #Conflicts:     687000 | #Constraints:      31624
947.26/950.23	c #Conflicts:     688000 | #Constraints:      32624
947.26/950.23	c INPROCESSING
947.26/950.23	c GARBAGE COLLECT
947.26/950.23	c #Conflicts:     689000 | #Constraints:      17221
947.26/950.23	c #Conflicts:     690000 | #Constraints:      18221
947.26/950.23	c #Conflicts:     691000 | #Constraints:      19221
947.26/950.23	c #Conflicts:     692000 | #Constraints:      20221
947.26/950.23	c #Conflicts:     693000 | #Constraints:      21221
947.26/950.23	c #Conflicts:     694000 | #Constraints:      22221
947.26/950.23	c #Conflicts:     695000 | #Constraints:      23221
947.26/950.23	c #Conflicts:     696000 | #Constraints:      24221
947.26/950.23	c #Conflicts:     697000 | #Constraints:      25221
947.26/950.23	c #Conflicts:     698000 | #Constraints:      26221
947.26/950.23	c #Conflicts:     699000 | #Constraints:      27221
947.26/950.23	c #Conflicts:     700000 | #Constraints:      28221
947.26/950.23	c #Conflicts:     701000 | #Constraints:      29221
947.26/950.23	c #Conflicts:     702000 | #Constraints:      30221
947.26/950.23	c #Conflicts:     703000 | #Constraints:      31221
947.26/950.23	c #Conflicts:     704000 | #Constraints:      32221
947.26/950.23	c #Conflicts:     705000 | #Constraints:      33221
947.26/950.23	c INPROCESSING
947.26/950.23	c GARBAGE COLLECT
947.26/950.23	c #Conflicts:     706000 | #Constraints:      17625
947.26/950.23	c #Conflicts:     707000 | #Constraints:      18625
947.26/950.23	c #Conflicts:     708000 | #Constraints:      19625
947.26/950.23	c #Conflicts:     709000 | #Constraints:      20625
947.26/950.23	c #Conflicts:     710000 | #Constraints:      21625
947.26/950.23	c #Conflicts:     711000 | #Constraints:      22625
947.26/950.23	c #Conflicts:     712000 | #Constraints:      23625
947.26/950.23	c #Conflicts:     713000 | #Constraints:      24625
947.26/950.23	c #Conflicts:     714000 | #Constraints:      25625
947.26/950.23	c #Conflicts:     715000 | #Constraints:      26625
947.26/950.23	c #Conflicts:     716000 | #Constraints:      27625
947.26/950.23	c #Conflicts:     717000 | #Constraints:      28625
947.26/950.23	c #Conflicts:     718000 | #Constraints:      29625
947.26/950.23	c #Conflicts:     719000 | #Constraints:      30625
947.26/950.23	c #Conflicts:     720000 | #Constraints:      31625
947.26/950.23	c #Conflicts:     721000 | #Constraints:      32625
947.26/950.23	c #Conflicts:     722000 | #Constraints:      33625
947.26/950.23	c INPROCESSING
947.26/950.23	c GARBAGE COLLECT
947.26/950.23	c #Conflicts:     723000 | #Constraints:      17829
947.26/950.23	c #Conflicts:     724000 | #Constraints:      18829
947.26/950.23	c #Conflicts:     725000 | #Constraints:      19829
947.26/950.23	c #Conflicts:     726000 | #Constraints:      20829
947.26/950.23	c #Conflicts:     727000 | #Constraints:      21829
947.26/950.23	c #Conflicts:     728000 | #Constraints:      22829
947.26/950.23	c #Conflicts:     729000 | #Constraints:      23829
947.26/950.23	c #Conflicts:     730000 | #Constraints:      24829
947.26/950.23	c #Conflicts:     731000 | #Constraints:      25829
947.26/950.23	c #Conflicts:     732000 | #Constraints:      26829
947.26/950.23	c #Conflicts:     733000 | #Constraints:      27829
947.26/950.23	c #Conflicts:     734000 | #Constraints:      28829
947.26/950.23	c #Conflicts:     735000 | #Constraints:      29829
947.26/950.23	c #Conflicts:     736000 | #Constraints:      30829
947.26/950.23	c #Conflicts:     737000 | #Constraints:      31829
947.26/950.23	c #Conflicts:     738000 | #Constraints:      32829
947.26/950.23	c #Conflicts:     739000 | #Constraints:      33829
1087.64/1091.08	c INPROCESSING
1087.64/1091.08	c GARBAGE COLLECT
1087.64/1091.08	c #Conflicts:     740000 | #Constraints:      17829
1087.64/1091.08	c #Conflicts:     741000 | #Constraints:      18829
1087.64/1091.08	c #Conflicts:     742000 | #Constraints:      19829
1087.64/1091.08	c #Conflicts:     743000 | #Constraints:      20829
1087.64/1091.08	c #Conflicts:     744000 | #Constraints:      21829
1087.64/1091.08	c #Conflicts:     745000 | #Constraints:      22829
1087.64/1091.08	c #Conflicts:     746000 | #Constraints:      23829
1087.64/1091.08	c #Conflicts:     747000 | #Constraints:      24829
1087.64/1091.08	c #Conflicts:     748000 | #Constraints:      25829
1087.64/1091.08	c #Conflicts:     749000 | #Constraints:      26829
1087.64/1091.08	c #Conflicts:     750000 | #Constraints:      27829
1087.64/1091.08	c #Conflicts:     751000 | #Constraints:      28829
1087.64/1091.08	c #Conflicts:     752000 | #Constraints:      29829
1087.64/1091.08	c #Conflicts:     753000 | #Constraints:      30829
1087.64/1091.08	c #Conflicts:     754000 | #Constraints:      31829
1087.64/1091.08	c #Conflicts:     755000 | #Constraints:      32829
1087.64/1091.08	c #Conflicts:     756000 | #Constraints:      33829
1087.64/1091.08	c INPROCESSING
1087.64/1091.08	c GARBAGE COLLECT
1087.64/1091.08	c #Conflicts:     757000 | #Constraints:      17626
1087.64/1091.08	c #Conflicts:     758000 | #Constraints:      18626
1087.64/1091.08	c #Conflicts:     759000 | #Constraints:      19626
1087.64/1091.08	c #Conflicts:     760000 | #Constraints:      20626
1087.64/1091.08	c #Conflicts:     761000 | #Constraints:      21626
1087.64/1091.08	c #Conflicts:     762000 | #Constraints:      22626
1087.64/1091.08	c #Conflicts:     763000 | #Constraints:      23626
1087.64/1091.08	c #Conflicts:     764000 | #Constraints:      24626
1087.64/1091.08	c #Conflicts:     765000 | #Constraints:      25626
1087.64/1091.08	c #Conflicts:     766000 | #Constraints:      26626
1087.64/1091.08	c #Conflicts:     767000 | #Constraints:      27626
1087.64/1091.08	c #Conflicts:     768000 | #Constraints:      28626
1087.64/1091.08	c #Conflicts:     769000 | #Constraints:      29626
1087.64/1091.08	c #Conflicts:     770000 | #Constraints:      30626
1087.64/1091.08	c #Conflicts:     771000 | #Constraints:      31626
1087.64/1091.08	c #Conflicts:     772000 | #Constraints:      32626
1087.64/1091.08	c #Conflicts:     773000 | #Constraints:      33626
1087.64/1091.08	c #Conflicts:     774000 | #Constraints:      34626
1087.64/1091.08	c INPROCESSING
1087.64/1091.08	c GARBAGE COLLECT
1087.64/1091.08	c #Conflicts:     775000 | #Constraints:      18225
1087.64/1091.08	c #Conflicts:     776000 | #Constraints:      19225
1087.64/1091.08	c #Conflicts:     777000 | #Constraints:      20225
1087.64/1091.08	c #Conflicts:     778000 | #Constraints:      21225
1087.64/1091.08	c #Conflicts:     779000 | #Constraints:      22225
1087.64/1091.08	c #Conflicts:     780000 | #Constraints:      23225
1087.64/1091.08	c #Conflicts:     781000 | #Constraints:      24225
1087.64/1091.08	c #Conflicts:     782000 | #Constraints:      25225
1087.64/1091.08	c #Conflicts:     783000 | #Constraints:      26225
1087.64/1091.08	c #Conflicts:     784000 | #Constraints:      27225
1087.64/1091.08	c #Conflicts:     785000 | #Constraints:      28225
1087.64/1091.08	c #Conflicts:     786000 | #Constraints:      29225
1087.64/1091.08	c #Conflicts:     787000 | #Constraints:      30225
1087.64/1091.08	c #Conflicts:     788000 | #Constraints:      31225
1087.64/1091.08	c #Conflicts:     789000 | #Constraints:      32225
1087.64/1091.08	c #Conflicts:     790000 | #Constraints:      33225
1087.64/1091.08	c #Conflicts:     791000 | #Constraints:      34225
1087.64/1091.08	c #Conflicts:     792000 | #Constraints:      35225
1087.64/1091.08	c INPROCESSING
1087.64/1091.08	c GARBAGE COLLECT
1087.64/1091.08	c #Conflicts:     793000 | #Constraints:      18628
1087.64/1091.08	c #Conflicts:     794000 | #Constraints:      19628
1087.64/1091.08	c #Conflicts:     795000 | #Constraints:      20628
1087.64/1091.08	c #Conflicts:     796000 | #Constraints:      21628
1087.64/1091.08	c #Conflicts:     797000 | #Constraints:      22628
1087.64/1091.08	c #Conflicts:     798000 | #Constraints:      23628
1087.64/1091.08	c #Conflicts:     799000 | #Constraints:      24628
1087.64/1091.08	c #Conflicts:     800000 | #Constraints:      25628
1087.64/1091.08	c #Conflicts:     801000 | #Constraints:      26628
1087.64/1091.08	c #Conflicts:     802000 | #Constraints:      27628
1087.64/1091.08	c #Conflicts:     803000 | #Constraints:      28628
1087.64/1091.08	c #Conflicts:     804000 | #Constraints:      29628
1087.64/1091.08	c #Conflicts:     805000 | #Constraints:      30628
1087.64/1091.08	c #Conflicts:     806000 | #Constraints:      31628
1087.64/1091.08	c #Conflicts:     807000 | #Constraints:      32628
1087.64/1091.08	c #Conflicts:     808000 | #Constraints:      33628
1087.64/1091.08	c #Conflicts:     809000 | #Constraints:      34628
1087.64/1091.08	c #Conflicts:     810000 | #Constraints:      35628
1087.64/1091.08	c INPROCESSING
1087.64/1091.08	c GARBAGE COLLECT
1087.64/1091.08	c #Conflicts:     811000 | #Constraints:      18825
1087.64/1091.08	c #Conflicts:     812000 | #Constraints:      19825
1087.64/1091.08	c #Conflicts:     813000 | #Constraints:      20825
1087.64/1091.08	c #Conflicts:     814000 | #Constraints:      21825
1087.64/1091.08	c #Conflicts:     815000 | #Constraints:      22825
1241.74/1245.63	c #Conflicts:     816000 | #Constraints:      23825
1241.74/1245.63	c #Conflicts:     817000 | #Constraints:      24825
1241.74/1245.63	c #Conflicts:     818000 | #Constraints:      25825
1241.74/1245.63	c #Conflicts:     819000 | #Constraints:      26825
1241.74/1245.63	c #Conflicts:     820000 | #Constraints:      27825
1241.74/1245.63	c #Conflicts:     821000 | #Constraints:      28825
1241.74/1245.63	c #Conflicts:     822000 | #Constraints:      29825
1241.74/1245.63	c #Conflicts:     823000 | #Constraints:      30825
1241.74/1245.63	c #Conflicts:     824000 | #Constraints:      31825
1241.74/1245.63	c #Conflicts:     825000 | #Constraints:      32825
1241.74/1245.63	c #Conflicts:     826000 | #Constraints:      33825
1241.74/1245.63	c #Conflicts:     827000 | #Constraints:      34825
1241.74/1245.63	c #Conflicts:     828000 | #Constraints:      35825
1241.74/1245.63	c INPROCESSING
1241.74/1245.63	c GARBAGE COLLECT
1241.74/1245.63	c #Conflicts:     829000 | #Constraints:      18826
1241.74/1245.63	c #Conflicts:     830000 | #Constraints:      19826
1241.74/1245.63	c #Conflicts:     831000 | #Constraints:      20826
1241.74/1245.63	c #Conflicts:     832000 | #Constraints:      21826
1241.74/1245.63	c #Conflicts:     833000 | #Constraints:      22826
1241.74/1245.63	c #Conflicts:     834000 | #Constraints:      23826
1241.74/1245.63	c #Conflicts:     835000 | #Constraints:      24826
1241.74/1245.63	c #Conflicts:     836000 | #Constraints:      25826
1241.74/1245.63	c #Conflicts:     837000 | #Constraints:      26826
1241.74/1245.63	c #Conflicts:     838000 | #Constraints:      27826
1241.74/1245.63	c #Conflicts:     839000 | #Constraints:      28826
1241.74/1245.63	c #Conflicts:     840000 | #Constraints:      29826
1241.74/1245.63	c #Conflicts:     841000 | #Constraints:      30826
1241.74/1245.63	c #Conflicts:     842000 | #Constraints:      31826
1241.74/1245.63	c #Conflicts:     843000 | #Constraints:      32826
1241.74/1245.63	c #Conflicts:     844000 | #Constraints:      33826
1241.74/1245.63	c #Conflicts:     845000 | #Constraints:      34826
1241.74/1245.63	c #Conflicts:     846000 | #Constraints:      35826
1241.74/1245.63	c INPROCESSING
1241.74/1245.63	c GARBAGE COLLECT
1241.74/1245.63	c #Conflicts:     847000 | #Constraints:      18626
1241.74/1245.63	c #Conflicts:     848000 | #Constraints:      19626
1241.74/1245.63	c #Conflicts:     849000 | #Constraints:      20626
1241.74/1245.63	c #Conflicts:     850000 | #Constraints:      21626
1241.74/1245.63	c #Conflicts:     851000 | #Constraints:      22626
1241.74/1245.63	c #Conflicts:     852000 | #Constraints:      23626
1241.74/1245.63	c #Conflicts:     853000 | #Constraints:      24626
1241.74/1245.63	c #Conflicts:     854000 | #Constraints:      25626
1241.74/1245.63	c #Conflicts:     855000 | #Constraints:      26626
1241.74/1245.63	c #Conflicts:     856000 | #Constraints:      27626
1241.74/1245.63	c #Conflicts:     857000 | #Constraints:      28626
1241.74/1245.63	c #Conflicts:     858000 | #Constraints:      29626
1241.74/1245.63	c #Conflicts:     859000 | #Constraints:      30626
1241.74/1245.63	c #Conflicts:     860000 | #Constraints:      31626
1241.74/1245.63	c #Conflicts:     861000 | #Constraints:      32626
1241.74/1245.63	c #Conflicts:     862000 | #Constraints:      33626
1241.74/1245.63	c #Conflicts:     863000 | #Constraints:      34626
1241.74/1245.63	c #Conflicts:     864000 | #Constraints:      35626
1241.74/1245.63	c #Conflicts:     865000 | #Constraints:      36626
1241.74/1245.63	c INPROCESSING
1241.74/1245.63	c GARBAGE COLLECT
1241.74/1245.63	c #Conflicts:     866000 | #Constraints:      19225
1241.74/1245.63	c #Conflicts:     867000 | #Constraints:      20225
1241.74/1245.63	c #Conflicts:     868000 | #Constraints:      21225
1241.74/1245.63	c #Conflicts:     869000 | #Constraints:      22225
1241.74/1245.63	c #Conflicts:     870000 | #Constraints:      23225
1241.74/1245.63	c #Conflicts:     871000 | #Constraints:      24225
1241.74/1245.63	c #Conflicts:     872000 | #Constraints:      25225
1241.74/1245.63	c #Conflicts:     873000 | #Constraints:      26225
1241.74/1245.63	c #Conflicts:     874000 | #Constraints:      27225
1241.74/1245.63	c #Conflicts:     875000 | #Constraints:      28225
1241.74/1245.63	c #Conflicts:     876000 | #Constraints:      29225
1241.74/1245.63	c #Conflicts:     877000 | #Constraints:      30225
1241.74/1245.63	c #Conflicts:     878000 | #Constraints:      31225
1241.74/1245.63	c #Conflicts:     879000 | #Constraints:      32225
1241.74/1245.63	c #Conflicts:     880000 | #Constraints:      33225
1241.74/1245.63	c #Conflicts:     881000 | #Constraints:      34225
1241.74/1245.63	c #Conflicts:     882000 | #Constraints:      35225
1241.74/1245.63	c #Conflicts:     883000 | #Constraints:      36225
1241.74/1245.63	c #Conflicts:     884000 | #Constraints:      37225
1241.74/1245.63	c INPROCESSING
1241.74/1245.63	c GARBAGE COLLECT
1241.74/1245.63	c #Conflicts:     885000 | #Constraints:      19625
1241.74/1245.63	c #Conflicts:     886000 | #Constraints:      20625
1241.74/1245.63	c #Conflicts:     887000 | #Constraints:      21625
1241.74/1245.63	c #Conflicts:     888000 | #Constraints:      22625
1241.74/1245.63	c #Conflicts:     889000 | #Constraints:      23625
1241.74/1245.63	c #Conflicts:     890000 | #Constraints:      24625
1241.74/1245.63	c #Conflicts:     891000 | #Constraints:      25625
1392.67/1397.08	c #Conflicts:     892000 | #Constraints:      26625
1392.67/1397.08	c #Conflicts:     893000 | #Constraints:      27625
1392.67/1397.08	c #Conflicts:     894000 | #Constraints:      28625
1392.67/1397.08	c #Conflicts:     895000 | #Constraints:      29625
1392.67/1397.08	c #Conflicts:     896000 | #Constraints:      30625
1392.67/1397.08	c #Conflicts:     897000 | #Constraints:      31625
1392.67/1397.08	c #Conflicts:     898000 | #Constraints:      32625
1392.67/1397.08	c #Conflicts:     899000 | #Constraints:      33625
1392.67/1397.08	c #Conflicts:     900000 | #Constraints:      34625
1392.67/1397.08	c #Conflicts:     901000 | #Constraints:      35625
1392.67/1397.08	c #Conflicts:     902000 | #Constraints:      36625
1392.67/1397.08	c #Conflicts:     903000 | #Constraints:      37625
1392.67/1397.08	c INPROCESSING
1392.67/1397.08	c GARBAGE COLLECT
1392.67/1397.08	c #Conflicts:     904000 | #Constraints:      19823
1392.67/1397.08	c #Conflicts:     905000 | #Constraints:      20823
1392.67/1397.08	c #Conflicts:     906000 | #Constraints:      21823
1392.67/1397.08	c #Conflicts:     907000 | #Constraints:      22823
1392.67/1397.08	c #Conflicts:     908000 | #Constraints:      23823
1392.67/1397.08	c #Conflicts:     909000 | #Constraints:      24823
1392.67/1397.08	c #Conflicts:     910000 | #Constraints:      25823
1392.67/1397.08	c #Conflicts:     911000 | #Constraints:      26823
1392.67/1397.08	c #Conflicts:     912000 | #Constraints:      27823
1392.67/1397.08	c #Conflicts:     913000 | #Constraints:      28823
1392.67/1397.08	c #Conflicts:     914000 | #Constraints:      29823
1392.67/1397.08	c #Conflicts:     915000 | #Constraints:      30823
1392.67/1397.08	c #Conflicts:     916000 | #Constraints:      31823
1392.67/1397.08	c #Conflicts:     917000 | #Constraints:      32823
1392.67/1397.08	c #Conflicts:     918000 | #Constraints:      33823
1392.67/1397.08	c #Conflicts:     919000 | #Constraints:      34823
1392.67/1397.08	c #Conflicts:     920000 | #Constraints:      35823
1392.67/1397.08	c #Conflicts:     921000 | #Constraints:      36823
1392.67/1397.08	c #Conflicts:     922000 | #Constraints:      37823
1392.67/1397.08	c INPROCESSING
1392.67/1397.08	c GARBAGE COLLECT
1392.67/1397.08	c #Conflicts:     923000 | #Constraints:      19824
1392.67/1397.08	c #Conflicts:     924000 | #Constraints:      20824
1392.67/1397.08	c #Conflicts:     925000 | #Constraints:      21824
1392.67/1397.08	c #Conflicts:     926000 | #Constraints:      22824
1392.67/1397.08	c #Conflicts:     927000 | #Constraints:      23824
1392.67/1397.08	c #Conflicts:     928000 | #Constraints:      24824
1392.67/1397.08	c #Conflicts:     929000 | #Constraints:      25824
1392.67/1397.08	c #Conflicts:     930000 | #Constraints:      26824
1392.67/1397.08	c #Conflicts:     931000 | #Constraints:      27824
1392.67/1397.08	c #Conflicts:     932000 | #Constraints:      28824
1392.67/1397.08	c #Conflicts:     933000 | #Constraints:      29824
1392.67/1397.08	c #Conflicts:     934000 | #Constraints:      30824
1392.67/1397.08	c #Conflicts:     935000 | #Constraints:      31824
1392.67/1397.08	c #Conflicts:     936000 | #Constraints:      32824
1392.67/1397.08	c #Conflicts:     937000 | #Constraints:      33824
1392.67/1397.08	c #Conflicts:     938000 | #Constraints:      34824
1392.67/1397.08	c #Conflicts:     939000 | #Constraints:      35824
1392.67/1397.08	c #Conflicts:     940000 | #Constraints:      36824
1392.67/1397.08	c #Conflicts:     941000 | #Constraints:      37824
1392.67/1397.08	c INPROCESSING
1392.67/1397.08	c GARBAGE COLLECT
1392.67/1397.08	c #Conflicts:     942000 | #Constraints:      19626
1392.67/1397.08	c #Conflicts:     943000 | #Constraints:      20626
1392.67/1397.08	c #Conflicts:     944000 | #Constraints:      21626
1392.67/1397.08	c #Conflicts:     945000 | #Constraints:      22626
1392.67/1397.08	c #Conflicts:     946000 | #Constraints:      23626
1392.67/1397.08	c #Conflicts:     947000 | #Constraints:      24626
1392.67/1397.08	c #Conflicts:     948000 | #Constraints:      25626
1392.67/1397.08	c #Conflicts:     949000 | #Constraints:      26626
1392.67/1397.08	c #Conflicts:     950000 | #Constraints:      27626
1392.67/1397.08	c #Conflicts:     951000 | #Constraints:      28626
1392.67/1397.08	c #Conflicts:     952000 | #Constraints:      29626
1392.67/1397.08	c #Conflicts:     953000 | #Constraints:      30626
1392.67/1397.08	c #Conflicts:     954000 | #Constraints:      31626
1392.67/1397.08	c #Conflicts:     955000 | #Constraints:      32626
1392.67/1397.08	c #Conflicts:     956000 | #Constraints:      33626
1392.67/1397.08	c #Conflicts:     957000 | #Constraints:      34626
1392.67/1397.08	c #Conflicts:     958000 | #Constraints:      35626
1392.67/1397.08	c #Conflicts:     959000 | #Constraints:      36626
1392.67/1397.08	c #Conflicts:     960000 | #Constraints:      37626
1392.67/1397.08	c #Conflicts:     961000 | #Constraints:      38626
1392.67/1397.08	c INPROCESSING
1392.67/1397.08	c GARBAGE COLLECT
1392.67/1397.08	c #Conflicts:     962000 | #Constraints:      20230
1392.67/1397.08	c #Conflicts:     963000 | #Constraints:      21230
1392.67/1397.08	c #Conflicts:     964000 | #Constraints:      22230
1392.67/1397.08	c #Conflicts:     965000 | #Constraints:      23230
1392.67/1397.08	c #Conflicts:     966000 | #Constraints:      24230
1392.67/1397.08	c #Conflicts:     967000 | #Constraints:      25230
1549.46/1554.32	c #Conflicts:     968000 | #Constraints:      26230
1549.46/1554.32	c #Conflicts:     969000 | #Constraints:      27230
1549.46/1554.32	c #Conflicts:     970000 | #Constraints:      28230
1549.46/1554.32	c #Conflicts:     971000 | #Constraints:      29230
1549.46/1554.32	c #Conflicts:     972000 | #Constraints:      30230
1549.46/1554.32	c #Conflicts:     973000 | #Constraints:      31230
1549.46/1554.32	c #Conflicts:     974000 | #Constraints:      32230
1549.46/1554.32	c #Conflicts:     975000 | #Constraints:      33230
1549.46/1554.32	c #Conflicts:     976000 | #Constraints:      34230
1549.46/1554.32	c #Conflicts:     977000 | #Constraints:      35230
1549.46/1554.32	c #Conflicts:     978000 | #Constraints:      36230
1549.46/1554.32	c #Conflicts:     979000 | #Constraints:      37230
1549.46/1554.32	c #Conflicts:     980000 | #Constraints:      38230
1549.46/1554.32	c #Conflicts:     981000 | #Constraints:      39230
1549.46/1554.32	c INPROCESSING
1549.46/1554.32	c GARBAGE COLLECT
1549.46/1554.32	c #Conflicts:     982000 | #Constraints:      20631
1549.46/1554.32	c #Conflicts:     983000 | #Constraints:      21631
1549.46/1554.32	c #Conflicts:     984000 | #Constraints:      22631
1549.46/1554.32	c #Conflicts:     985000 | #Constraints:      23631
1549.46/1554.32	c #Conflicts:     986000 | #Constraints:      24631
1549.46/1554.32	c #Conflicts:     987000 | #Constraints:      25631
1549.46/1554.32	c #Conflicts:     988000 | #Constraints:      26631
1549.46/1554.32	c #Conflicts:     989000 | #Constraints:      27631
1549.46/1554.32	c #Conflicts:     990000 | #Constraints:      28631
1549.46/1554.32	c #Conflicts:     991000 | #Constraints:      29631
1549.46/1554.32	c #Conflicts:     992000 | #Constraints:      30631
1549.46/1554.32	c #Conflicts:     993000 | #Constraints:      31631
1549.46/1554.32	c #Conflicts:     994000 | #Constraints:      32631
1549.46/1554.32	c #Conflicts:     995000 | #Constraints:      33631
1549.46/1554.32	c #Conflicts:     996000 | #Constraints:      34631
1549.46/1554.32	c #Conflicts:     997000 | #Constraints:      35631
1549.46/1554.32	c #Conflicts:     998000 | #Constraints:      36631
1549.46/1554.32	c #Conflicts:     999000 | #Constraints:      37631
1549.46/1554.32	c #Conflicts:    1000000 | #Constraints:      38631
1549.46/1554.32	c #Conflicts:    1001000 | #Constraints:      39631
1549.46/1554.32	c INPROCESSING
1549.46/1554.32	c GARBAGE COLLECT
1549.46/1554.32	c #Conflicts:    1002000 | #Constraints:      20832
1549.46/1554.32	c #Conflicts:    1003000 | #Constraints:      21832
1549.46/1554.32	c #Conflicts:    1004000 | #Constraints:      22832
1549.46/1554.32	c #Conflicts:    1005000 | #Constraints:      23832
1549.46/1554.32	c #Conflicts:    1006000 | #Constraints:      24832
1549.46/1554.32	c #Conflicts:    1007000 | #Constraints:      25832
1549.46/1554.32	c #Conflicts:    1008000 | #Constraints:      26832
1549.46/1554.32	c #Conflicts:    1009000 | #Constraints:      27832
1549.46/1554.32	c #Conflicts:    1010000 | #Constraints:      28832
1549.46/1554.32	c #Conflicts:    1011000 | #Constraints:      29832
1549.46/1554.32	c #Conflicts:    1012000 | #Constraints:      30832
1549.46/1554.32	c #Conflicts:    1013000 | #Constraints:      31832
1549.46/1554.32	c #Conflicts:    1014000 | #Constraints:      32832
1549.46/1554.32	c #Conflicts:    1015000 | #Constraints:      33832
1549.46/1554.32	c #Conflicts:    1016000 | #Constraints:      34832
1549.46/1554.32	c #Conflicts:    1017000 | #Constraints:      35832
1549.46/1554.32	c #Conflicts:    1018000 | #Constraints:      36832
1549.46/1554.32	c #Conflicts:    1019000 | #Constraints:      37832
1549.46/1554.32	c #Conflicts:    1020000 | #Constraints:      38832
1549.46/1554.32	c #Conflicts:    1021000 | #Constraints:      39832
1549.46/1554.32	c INPROCESSING
1549.46/1554.32	c GARBAGE COLLECT
1549.46/1554.32	c #Conflicts:    1022000 | #Constraints:      20833
1549.46/1554.32	c #Conflicts:    1023000 | #Constraints:      21833
1549.46/1554.32	c #Conflicts:    1024000 | #Constraints:      22833
1549.46/1554.32	c #Conflicts:    1025000 | #Constraints:      23833
1549.46/1554.32	c #Conflicts:    1026000 | #Constraints:      24833
1549.46/1554.32	c #Conflicts:    1027000 | #Constraints:      25833
1549.46/1554.32	c #Conflicts:    1028000 | #Constraints:      26833
1549.46/1554.32	c #Conflicts:    1029000 | #Constraints:      27833
1549.46/1554.32	c #Conflicts:    1030000 | #Constraints:      28833
1549.46/1554.32	c #Conflicts:    1031000 | #Constraints:      29833
1549.46/1554.32	c #Conflicts:    1032000 | #Constraints:      30833
1549.46/1554.32	c #Conflicts:    1033000 | #Constraints:      31833
1549.46/1554.32	c #Conflicts:    1034000 | #Constraints:      32833
1549.46/1554.32	c #Conflicts:    1035000 | #Constraints:      33833
1549.46/1554.32	c #Conflicts:    1036000 | #Constraints:      34833
1549.46/1554.32	c #Conflicts:    1037000 | #Constraints:      35833
1549.46/1554.32	c #Conflicts:    1038000 | #Constraints:      36833
1549.46/1554.32	c #Conflicts:    1039000 | #Constraints:      37833
1549.46/1554.32	c #Conflicts:    1040000 | #Constraints:      38833
1549.46/1554.32	c #Conflicts:    1041000 | #Constraints:      39833
1549.46/1554.32	c INPROCESSING
1549.46/1554.32	c GARBAGE COLLECT
1549.46/1554.32	c #Conflicts:    1042000 | #Constraints:      20630
1549.46/1554.32	c #Conflicts:    1043000 | #Constraints:      21630
1549.46/1554.32	c #Conflicts:    1044000 | #Constraints:      22630
1755.59/1761.13	c #Conflicts:    1045000 | #Constraints:      23630
1755.59/1761.13	c #Conflicts:    1046000 | #Constraints:      24630
1755.59/1761.13	c #Conflicts:    1047000 | #Constraints:      25630
1755.59/1761.13	c #Conflicts:    1048000 | #Constraints:      26630
1755.59/1761.13	c #Conflicts:    1049000 | #Constraints:      27630
1755.59/1761.13	c #Conflicts:    1050000 | #Constraints:      28630
1755.59/1761.13	c #Conflicts:    1051000 | #Constraints:      29630
1755.59/1761.13	c #Conflicts:    1052000 | #Constraints:      30630
1755.59/1761.13	c #Conflicts:    1053000 | #Constraints:      31630
1755.59/1761.13	c #Conflicts:    1054000 | #Constraints:      32630
1755.59/1761.13	c #Conflicts:    1055000 | #Constraints:      33630
1755.59/1761.13	c #Conflicts:    1056000 | #Constraints:      34630
1755.59/1761.13	c #Conflicts:    1057000 | #Constraints:      35630
1755.59/1761.13	c #Conflicts:    1058000 | #Constraints:      36630
1755.59/1761.13	c #Conflicts:    1059000 | #Constraints:      37630
1755.59/1761.13	c #Conflicts:    1060000 | #Constraints:      38630
1755.59/1761.13	c #Conflicts:    1061000 | #Constraints:      39630
1755.59/1761.13	c #Conflicts:    1062000 | #Constraints:      40630
1755.59/1761.13	c INPROCESSING
1755.59/1761.13	c GARBAGE COLLECT
1755.59/1761.13	c #Conflicts:    1063000 | #Constraints:      21230
1755.59/1761.13	c #Conflicts:    1064000 | #Constraints:      22230
1755.59/1761.13	c #Conflicts:    1065000 | #Constraints:      23230
1755.59/1761.13	c #Conflicts:    1066000 | #Constraints:      24230
1755.59/1761.13	c #Conflicts:    1067000 | #Constraints:      25230
1755.59/1761.13	c #Conflicts:    1068000 | #Constraints:      26230
1755.59/1761.13	c #Conflicts:    1069000 | #Constraints:      27230
1755.59/1761.13	c #Conflicts:    1070000 | #Constraints:      28230
1755.59/1761.13	c #Conflicts:    1071000 | #Constraints:      29230
1755.59/1761.13	c #Conflicts:    1072000 | #Constraints:      30230
1755.59/1761.13	c #Conflicts:    1073000 | #Constraints:      31230
1755.59/1761.13	c #Conflicts:    1074000 | #Constraints:      32230
1755.59/1761.13	c #Conflicts:    1075000 | #Constraints:      33230
1755.59/1761.13	c #Conflicts:    1076000 | #Constraints:      34230
1755.59/1761.13	c #Conflicts:    1077000 | #Constraints:      35230
1755.59/1761.13	c #Conflicts:    1078000 | #Constraints:      36230
1755.59/1761.13	c #Conflicts:    1079000 | #Constraints:      37230
1755.59/1761.13	c #Conflicts:    1080000 | #Constraints:      38230
1755.59/1761.13	c #Conflicts:    1081000 | #Constraints:      39230
1755.59/1761.13	c #Conflicts:    1082000 | #Constraints:      40230
1755.59/1761.13	c #Conflicts:    1083000 | #Constraints:      41230
1755.59/1761.13	c INPROCESSING
1755.59/1761.13	c GARBAGE COLLECT
1755.59/1761.13	c #Conflicts:    1084000 | #Constraints:      21631
1755.59/1761.13	c #Conflicts:    1085000 | #Constraints:      22631
1755.59/1761.13	c #Conflicts:    1086000 | #Constraints:      23631
1755.59/1761.13	c #Conflicts:    1087000 | #Constraints:      24631
1755.59/1761.13	c #Conflicts:    1088000 | #Constraints:      25631
1755.59/1761.13	c #Conflicts:    1089000 | #Constraints:      26631
1755.59/1761.13	c #Conflicts:    1090000 | #Constraints:      27631
1755.59/1761.13	c #Conflicts:    1091000 | #Constraints:      28631
1755.59/1761.13	c #Conflicts:    1092000 | #Constraints:      29631
1755.59/1761.13	c #Conflicts:    1093000 | #Constraints:      30631
1755.59/1761.13	c #Conflicts:    1094000 | #Constraints:      31631
1755.59/1761.13	c #Conflicts:    1095000 | #Constraints:      32631
1755.59/1761.13	c #Conflicts:    1096000 | #Constraints:      33631
1755.59/1761.13	c #Conflicts:    1097000 | #Constraints:      34631
1755.59/1761.13	c #Conflicts:    1098000 | #Constraints:      35631
1755.59/1761.13	c #Conflicts:    1099000 | #Constraints:      36631
1755.59/1761.13	c #Conflicts:    1100000 | #Constraints:      37631
1755.59/1761.13	c #Conflicts:    1101000 | #Constraints:      38631
1755.59/1761.13	c #Conflicts:    1102000 | #Constraints:      39631
1755.59/1761.13	c #Conflicts:    1103000 | #Constraints:      40631
1755.59/1761.13	c #Conflicts:    1104000 | #Constraints:      41631
1755.59/1761.13	c INPROCESSING
1755.59/1761.13	c GARBAGE COLLECT
1755.59/1761.13	c #Conflicts:    1105000 | #Constraints:      21832
1755.59/1761.13	c #Conflicts:    1106000 | #Constraints:      22832
1755.59/1761.13	c #Conflicts:    1107000 | #Constraints:      23832
1755.59/1761.13	c #Conflicts:    1108000 | #Constraints:      24832
1755.59/1761.13	c #Conflicts:    1109000 | #Constraints:      25832
1755.59/1761.13	c #Conflicts:    1110000 | #Constraints:      26832
1755.59/1761.13	c #Conflicts:    1111000 | #Constraints:      27832
1755.59/1761.13	c #Conflicts:    1112000 | #Constraints:      28832
1755.59/1761.13	c #Conflicts:    1113000 | #Constraints:      29832
1755.59/1761.13	c #Conflicts:    1114000 | #Constraints:      30832
1755.59/1761.13	c #Conflicts:    1115000 | #Constraints:      31832
1755.59/1761.13	c #Conflicts:    1116000 | #Constraints:      32832
1755.59/1761.13	c #Conflicts:    1117000 | #Constraints:      33832
1755.59/1761.13	c #Conflicts:    1118000 | #Constraints:      34832
1755.59/1761.13	c #Conflicts:    1119000 | #Constraints:      35832
1755.59/1761.13	c #Conflicts:    1120000 | #Constraints:      36832
1755.59/1761.13	c #Conflicts:    1121000 | #Constraints:      37832
1938.49/1944.67	c #Conflicts:    1122000 | #Constraints:      38832
1938.49/1944.67	c #Conflicts:    1123000 | #Constraints:      39832
1938.49/1944.67	c #Conflicts:    1124000 | #Constraints:      40832
1938.49/1944.67	c #Conflicts:    1125000 | #Constraints:      41832
1938.49/1944.67	c INPROCESSING
1938.49/1944.67	c GARBAGE COLLECT
1938.49/1944.67	c #Conflicts:    1126000 | #Constraints:      21830
1938.49/1944.67	c #Conflicts:    1127000 | #Constraints:      22830
1938.49/1944.67	c #Conflicts:    1128000 | #Constraints:      23830
1938.49/1944.67	c #Conflicts:    1129000 | #Constraints:      24830
1938.49/1944.67	c #Conflicts:    1130000 | #Constraints:      25830
1938.49/1944.67	c #Conflicts:    1131000 | #Constraints:      26830
1938.49/1944.67	c #Conflicts:    1132000 | #Constraints:      27830
1938.49/1944.67	c #Conflicts:    1133000 | #Constraints:      28830
1938.49/1944.67	c #Conflicts:    1134000 | #Constraints:      29830
1938.49/1944.67	c #Conflicts:    1135000 | #Constraints:      30830
1938.49/1944.67	c #Conflicts:    1136000 | #Constraints:      31830
1938.49/1944.67	c #Conflicts:    1137000 | #Constraints:      32830
1938.49/1944.67	c #Conflicts:    1138000 | #Constraints:      33830
1938.49/1944.67	c #Conflicts:    1139000 | #Constraints:      34830
1938.49/1944.67	c #Conflicts:    1140000 | #Constraints:      35830
1938.49/1944.67	c #Conflicts:    1141000 | #Constraints:      36830
1938.49/1944.67	c #Conflicts:    1142000 | #Constraints:      37830
1938.49/1944.67	c #Conflicts:    1143000 | #Constraints:      38830
1938.49/1944.67	c #Conflicts:    1144000 | #Constraints:      39830
1938.49/1944.67	c #Conflicts:    1145000 | #Constraints:      40830
1938.49/1944.67	c #Conflicts:    1146000 | #Constraints:      41830
1938.49/1944.67	c INPROCESSING
1938.49/1944.67	c GARBAGE COLLECT
1938.49/1944.67	c #Conflicts:    1147000 | #Constraints:      21627
1938.49/1944.67	c #Conflicts:    1148000 | #Constraints:      22627
1938.49/1944.67	c #Conflicts:    1149000 | #Constraints:      23627
1938.49/1944.67	c #Conflicts:    1150000 | #Constraints:      24627
1938.49/1944.67	c #Conflicts:    1151000 | #Constraints:      25627
1938.49/1944.67	c #Conflicts:    1152000 | #Constraints:      26627
1938.49/1944.67	c #Conflicts:    1153000 | #Constraints:      27627
1938.49/1944.67	c #Conflicts:    1154000 | #Constraints:      28627
1938.49/1944.67	c #Conflicts:    1155000 | #Constraints:      29627
1938.49/1944.67	c #Conflicts:    1156000 | #Constraints:      30627
1938.49/1944.67	c #Conflicts:    1157000 | #Constraints:      31627
1938.49/1944.67	c #Conflicts:    1158000 | #Constraints:      32627
1938.49/1944.67	c #Conflicts:    1159000 | #Constraints:      33627
1938.49/1944.67	c #Conflicts:    1160000 | #Constraints:      34627
1938.49/1944.67	c #Conflicts:    1161000 | #Constraints:      35627
1938.49/1944.67	c #Conflicts:    1162000 | #Constraints:      36627
1938.49/1944.67	c #Conflicts:    1163000 | #Constraints:      37627
1938.49/1944.67	c #Conflicts:    1164000 | #Constraints:      38627
1938.49/1944.67	c #Conflicts:    1165000 | #Constraints:      39627
1938.49/1944.67	c #Conflicts:    1166000 | #Constraints:      40627
1938.49/1944.67	c #Conflicts:    1167000 | #Constraints:      41627
1938.49/1944.67	c #Conflicts:    1168000 | #Constraints:      42627
1938.49/1944.67	c INPROCESSING
1938.49/1944.67	c GARBAGE COLLECT
1938.49/1944.67	c #Conflicts:    1169000 | #Constraints:      22228
1938.49/1944.67	c #Conflicts:    1170000 | #Constraints:      23228
1938.49/1944.67	c #Conflicts:    1171000 | #Constraints:      24228
1938.49/1944.67	c #Conflicts:    1172000 | #Constraints:      25228
1938.49/1944.67	c #Conflicts:    1173000 | #Constraints:      26228
1938.49/1944.67	c #Conflicts:    1174000 | #Constraints:      27228
1938.49/1944.67	c #Conflicts:    1175000 | #Constraints:      28228
1938.49/1944.67	c #Conflicts:    1176000 | #Constraints:      29228
1938.49/1944.67	c #Conflicts:    1177000 | #Constraints:      30228
1938.49/1944.67	c #Conflicts:    1178000 | #Constraints:      31228
1938.49/1944.67	c #Conflicts:    1179000 | #Constraints:      32228
1938.49/1944.67	c #Conflicts:    1180000 | #Constraints:      33228
1938.49/1944.67	c #Conflicts:    1181000 | #Constraints:      34228
1938.49/1944.67	c #Conflicts:    1182000 | #Constraints:      35228
1938.49/1944.67	c #Conflicts:    1183000 | #Constraints:      36228
1938.49/1944.67	c #Conflicts:    1184000 | #Constraints:      37228
1938.49/1944.67	c #Conflicts:    1185000 | #Constraints:      38228
1938.49/1944.67	c #Conflicts:    1186000 | #Constraints:      39228
1938.49/1944.67	c #Conflicts:    1187000 | #Constraints:      40228
1938.49/1944.67	c #Conflicts:    1188000 | #Constraints:      41228
1938.49/1944.67	c #Conflicts:    1189000 | #Constraints:      42228
1938.49/1944.67	c #Conflicts:    1190000 | #Constraints:      43228
1938.49/1944.67	c INPROCESSING
1938.49/1944.67	c GARBAGE COLLECT
1938.49/1944.67	c #Conflicts:    1191000 | #Constraints:      22627
1938.49/1944.67	c #Conflicts:    1192000 | #Constraints:      23627
1938.49/1944.67	c #Conflicts:    1193000 | #Constraints:      24627
1938.49/1944.67	c #Conflicts:    1194000 | #Constraints:      25627
1938.49/1944.67	c #Conflicts:    1195000 | #Constraints:      26627
1938.49/1944.67	c #Conflicts:    1196000 | #Constraints:      27627
1938.49/1944.67	c #Conflicts:    1197000 | #Constraints:      28627
2144.65/2151.44	c #Conflicts:    1198000 | #Constraints:      29627
2144.65/2151.44	c #Conflicts:    1199000 | #Constraints:      30627
2144.65/2151.44	c #Conflicts:    1200000 | #Constraints:      31627
2144.65/2151.44	c #Conflicts:    1201000 | #Constraints:      32627
2144.65/2151.44	c #Conflicts:    1202000 | #Constraints:      33627
2144.65/2151.44	c #Conflicts:    1203000 | #Constraints:      34627
2144.65/2151.44	c #Conflicts:    1204000 | #Constraints:      35627
2144.65/2151.44	c #Conflicts:    1205000 | #Constraints:      36627
2144.65/2151.44	c #Conflicts:    1206000 | #Constraints:      37627
2144.65/2151.44	c #Conflicts:    1207000 | #Constraints:      38627
2144.65/2151.44	c #Conflicts:    1208000 | #Constraints:      39627
2144.65/2151.44	c #Conflicts:    1209000 | #Constraints:      40627
2144.65/2151.44	c #Conflicts:    1210000 | #Constraints:      41627
2144.65/2151.44	c #Conflicts:    1211000 | #Constraints:      42627
2144.65/2151.44	c #Conflicts:    1212000 | #Constraints:      43627
2144.65/2151.44	c INPROCESSING
2144.65/2151.44	c GARBAGE COLLECT
2144.65/2151.44	c #Conflicts:    1213000 | #Constraints:      22828
2144.65/2151.44	c #Conflicts:    1214000 | #Constraints:      23828
2144.65/2151.44	c #Conflicts:    1215000 | #Constraints:      24828
2144.65/2151.44	c #Conflicts:    1216000 | #Constraints:      25828
2144.65/2151.44	c #Conflicts:    1217000 | #Constraints:      26828
2144.65/2151.44	c #Conflicts:    1218000 | #Constraints:      27828
2144.65/2151.44	c #Conflicts:    1219000 | #Constraints:      28828
2144.65/2151.44	c #Conflicts:    1220000 | #Constraints:      29828
2144.65/2151.44	c #Conflicts:    1221000 | #Constraints:      30828
2144.65/2151.44	c #Conflicts:    1222000 | #Constraints:      31828
2144.65/2151.44	c #Conflicts:    1223000 | #Constraints:      32828
2144.65/2151.44	c #Conflicts:    1224000 | #Constraints:      33828
2144.65/2151.44	c #Conflicts:    1225000 | #Constraints:      34828
2144.65/2151.44	c #Conflicts:    1226000 | #Constraints:      35828
2144.65/2151.44	c #Conflicts:    1227000 | #Constraints:      36828
2144.65/2151.44	c #Conflicts:    1228000 | #Constraints:      37828
2144.65/2151.44	c #Conflicts:    1229000 | #Constraints:      38828
2144.65/2151.44	c #Conflicts:    1230000 | #Constraints:      39828
2144.65/2151.44	c #Conflicts:    1231000 | #Constraints:      40828
2144.65/2151.44	c #Conflicts:    1232000 | #Constraints:      41828
2144.65/2151.44	c #Conflicts:    1233000 | #Constraints:      42828
2144.65/2151.44	c #Conflicts:    1234000 | #Constraints:      43828
2144.65/2151.44	c INPROCESSING
2144.65/2151.44	c GARBAGE COLLECT
2144.65/2151.44	c #Conflicts:    1235000 | #Constraints:      22826
2144.65/2151.44	c #Conflicts:    1236000 | #Constraints:      23826
2144.65/2151.44	c #Conflicts:    1237000 | #Constraints:      24826
2144.65/2151.44	c #Conflicts:    1238000 | #Constraints:      25826
2144.65/2151.44	c #Conflicts:    1239000 | #Constraints:      26826
2144.65/2151.44	c #Conflicts:    1240000 | #Constraints:      27826
2144.65/2151.44	c #Conflicts:    1241000 | #Constraints:      28826
2144.65/2151.44	c #Conflicts:    1242000 | #Constraints:      29826
2144.65/2151.44	c #Conflicts:    1243000 | #Constraints:      30826
2144.65/2151.44	c #Conflicts:    1244000 | #Constraints:      31826
2144.65/2151.44	c #Conflicts:    1245000 | #Constraints:      32826
2144.65/2151.44	c #Conflicts:    1246000 | #Constraints:      33826
2144.65/2151.44	c #Conflicts:    1247000 | #Constraints:      34826
2144.65/2151.44	c #Conflicts:    1248000 | #Constraints:      35826
2144.65/2151.44	c #Conflicts:    1249000 | #Constraints:      36826
2144.65/2151.44	c #Conflicts:    1250000 | #Constraints:      37826
2144.65/2151.44	c #Conflicts:    1251000 | #Constraints:      38826
2144.65/2151.44	c #Conflicts:    1252000 | #Constraints:      39826
2144.65/2151.44	c #Conflicts:    1253000 | #Constraints:      40826
2144.65/2151.44	c #Conflicts:    1254000 | #Constraints:      41826
2144.65/2151.44	c #Conflicts:    1255000 | #Constraints:      42826
2144.65/2151.44	c #Conflicts:    1256000 | #Constraints:      43826
2144.65/2151.44	c INPROCESSING
2144.65/2151.44	c GARBAGE COLLECT
2144.65/2151.44	c #Conflicts:    1257000 | #Constraints:      22626
2144.65/2151.44	c #Conflicts:    1258000 | #Constraints:      23626
2144.65/2151.44	c #Conflicts:    1259000 | #Constraints:      24626
2144.65/2151.44	c #Conflicts:    1260000 | #Constraints:      25626
2144.65/2151.44	c #Conflicts:    1261000 | #Constraints:      26626
2144.65/2151.44	c #Conflicts:    1262000 | #Constraints:      27626
2144.65/2151.44	c #Conflicts:    1263000 | #Constraints:      28626
2144.65/2151.44	c #Conflicts:    1264000 | #Constraints:      29626
2144.65/2151.44	c #Conflicts:    1265000 | #Constraints:      30626
2144.65/2151.44	c #Conflicts:    1266000 | #Constraints:      31626
2144.65/2151.44	c #Conflicts:    1267000 | #Constraints:      32626
2144.65/2151.44	c #Conflicts:    1268000 | #Constraints:      33626
2144.65/2151.44	c #Conflicts:    1269000 | #Constraints:      34626
2144.65/2151.44	c #Conflicts:    1270000 | #Constraints:      35626
2144.65/2151.44	c #Conflicts:    1271000 | #Constraints:      36626
2144.65/2151.44	c #Conflicts:    1272000 | #Constraints:      37626
2144.65/2151.44	c #Conflicts:    1273000 | #Constraints:      38626
2144.65/2151.44	c #Conflicts:    1274000 | #Constraints:      39626
2355.77/2363.26	c #Conflicts:    1275000 | #Constraints:      40626
2355.77/2363.26	c #Conflicts:    1276000 | #Constraints:      41626
2355.77/2363.26	c #Conflicts:    1277000 | #Constraints:      42626
2355.77/2363.26	c #Conflicts:    1278000 | #Constraints:      43626
2355.77/2363.26	c #Conflicts:    1279000 | #Constraints:      44626
2355.77/2363.26	c INPROCESSING
2355.77/2363.26	c GARBAGE COLLECT
2355.77/2363.26	c #Conflicts:    1280000 | #Constraints:      23225
2355.77/2363.26	c #Conflicts:    1281000 | #Constraints:      24225
2355.77/2363.26	c #Conflicts:    1282000 | #Constraints:      25225
2355.77/2363.26	c #Conflicts:    1283000 | #Constraints:      26225
2355.77/2363.26	c #Conflicts:    1284000 | #Constraints:      27225
2355.77/2363.26	c #Conflicts:    1285000 | #Constraints:      28225
2355.77/2363.26	c #Conflicts:    1286000 | #Constraints:      29225
2355.77/2363.26	c #Conflicts:    1287000 | #Constraints:      30225
2355.77/2363.26	c #Conflicts:    1288000 | #Constraints:      31225
2355.77/2363.26	c #Conflicts:    1289000 | #Constraints:      32225
2355.77/2363.26	c #Conflicts:    1290000 | #Constraints:      33225
2355.77/2363.26	c #Conflicts:    1291000 | #Constraints:      34225
2355.77/2363.26	c #Conflicts:    1292000 | #Constraints:      35225
2355.77/2363.26	c #Conflicts:    1293000 | #Constraints:      36225
2355.77/2363.26	c #Conflicts:    1294000 | #Constraints:      37225
2355.77/2363.26	c #Conflicts:    1295000 | #Constraints:      38225
2355.77/2363.26	c #Conflicts:    1296000 | #Constraints:      39225
2355.77/2363.26	c #Conflicts:    1297000 | #Constraints:      40225
2355.77/2363.26	c #Conflicts:    1298000 | #Constraints:      41225
2355.77/2363.26	c #Conflicts:    1299000 | #Constraints:      42225
2355.77/2363.26	c #Conflicts:    1300000 | #Constraints:      43225
2355.77/2363.26	c #Conflicts:    1301000 | #Constraints:      44225
2355.77/2363.26	c #Conflicts:    1302000 | #Constraints:      45225
2355.77/2363.26	c INPROCESSING
2355.77/2363.26	c GARBAGE COLLECT
2355.77/2363.26	c #Conflicts:    1303000 | #Constraints:      23625
2355.77/2363.26	c #Conflicts:    1304000 | #Constraints:      24625
2355.77/2363.26	c #Conflicts:    1305000 | #Constraints:      25625
2355.77/2363.26	c #Conflicts:    1306000 | #Constraints:      26625
2355.77/2363.26	c #Conflicts:    1307000 | #Constraints:      27625
2355.77/2363.26	c #Conflicts:    1308000 | #Constraints:      28625
2355.77/2363.26	c #Conflicts:    1309000 | #Constraints:      29625
2355.77/2363.26	c #Conflicts:    1310000 | #Constraints:      30625
2355.77/2363.26	c #Conflicts:    1311000 | #Constraints:      31625
2355.77/2363.26	c #Conflicts:    1312000 | #Constraints:      32625
2355.77/2363.26	c #Conflicts:    1313000 | #Constraints:      33625
2355.77/2363.26	c #Conflicts:    1314000 | #Constraints:      34625
2355.77/2363.26	c #Conflicts:    1315000 | #Constraints:      35625
2355.77/2363.26	c #Conflicts:    1316000 | #Constraints:      36625
2355.77/2363.26	c #Conflicts:    1317000 | #Constraints:      37625
2355.77/2363.26	c #Conflicts:    1318000 | #Constraints:      38625
2355.77/2363.26	c #Conflicts:    1319000 | #Constraints:      39625
2355.77/2363.26	c #Conflicts:    1320000 | #Constraints:      40625
2355.77/2363.26	c #Conflicts:    1321000 | #Constraints:      41625
2355.77/2363.26	c #Conflicts:    1322000 | #Constraints:      42625
2355.77/2363.26	c #Conflicts:    1323000 | #Constraints:      43625
2355.77/2363.26	c #Conflicts:    1324000 | #Constraints:      44625
2355.77/2363.26	c #Conflicts:    1325000 | #Constraints:      45625
2355.77/2363.26	c INPROCESSING
2355.77/2363.26	c GARBAGE COLLECT
2355.77/2363.26	c #Conflicts:    1326000 | #Constraints:      23830
2355.77/2363.26	c #Conflicts:    1327000 | #Constraints:      24830
2355.77/2363.26	c #Conflicts:    1328000 | #Constraints:      25830
2355.77/2363.26	c #Conflicts:    1329000 | #Constraints:      26830
2355.77/2363.26	c #Conflicts:    1330000 | #Constraints:      27830
2355.77/2363.26	c #Conflicts:    1331000 | #Constraints:      28830
2355.77/2363.26	c #Conflicts:    1332000 | #Constraints:      29830
2355.77/2363.26	c #Conflicts:    1333000 | #Constraints:      30830
2355.77/2363.26	c #Conflicts:    1334000 | #Constraints:      31830
2355.77/2363.26	c #Conflicts:    1335000 | #Constraints:      32830
2355.77/2363.26	c #Conflicts:    1336000 | #Constraints:      33830
2355.77/2363.26	c #Conflicts:    1337000 | #Constraints:      34830
2355.77/2363.26	c #Conflicts:    1338000 | #Constraints:      35830
2355.77/2363.26	c #Conflicts:    1339000 | #Constraints:      36830
2355.77/2363.26	c #Conflicts:    1340000 | #Constraints:      37830
2355.77/2363.26	c #Conflicts:    1341000 | #Constraints:      38830
2355.77/2363.26	c #Conflicts:    1342000 | #Constraints:      39830
2355.77/2363.26	c #Conflicts:    1343000 | #Constraints:      40830
2355.77/2363.26	c #Conflicts:    1344000 | #Constraints:      41830
2355.77/2363.26	c #Conflicts:    1345000 | #Constraints:      42830
2355.77/2363.26	c #Conflicts:    1346000 | #Constraints:      43830
2355.77/2363.26	c #Conflicts:    1347000 | #Constraints:      44830
2355.77/2363.26	c #Conflicts:    1348000 | #Constraints:      45830
2355.77/2363.26	c INPROCESSING
2355.77/2363.26	c GARBAGE COLLECT
2355.77/2363.26	c #Conflicts:    1349000 | #Constraints:      23831
2355.77/2363.26	c #Conflicts:    1350000 | #Constraints:      24831
2571.91/2580.06	c #Conflicts:    1351000 | #Constraints:      25831
2571.91/2580.06	c #Conflicts:    1352000 | #Constraints:      26831
2571.91/2580.06	c #Conflicts:    1353000 | #Constraints:      27831
2571.91/2580.06	c #Conflicts:    1354000 | #Constraints:      28831
2571.91/2580.06	c #Conflicts:    1355000 | #Constraints:      29831
2571.91/2580.06	c #Conflicts:    1356000 | #Constraints:      30831
2571.91/2580.06	c #Conflicts:    1357000 | #Constraints:      31831
2571.91/2580.06	c #Conflicts:    1358000 | #Constraints:      32831
2571.91/2580.06	c #Conflicts:    1359000 | #Constraints:      33831
2571.91/2580.06	c #Conflicts:    1360000 | #Constraints:      34831
2571.91/2580.06	c #Conflicts:    1361000 | #Constraints:      35831
2571.91/2580.06	c #Conflicts:    1362000 | #Constraints:      36831
2571.91/2580.06	c #Conflicts:    1363000 | #Constraints:      37831
2571.91/2580.06	c #Conflicts:    1364000 | #Constraints:      38831
2571.91/2580.06	c #Conflicts:    1365000 | #Constraints:      39831
2571.91/2580.06	c #Conflicts:    1366000 | #Constraints:      40831
2571.91/2580.06	c #Conflicts:    1367000 | #Constraints:      41831
2571.91/2580.06	c #Conflicts:    1368000 | #Constraints:      42831
2571.91/2580.06	c #Conflicts:    1369000 | #Constraints:      43831
2571.91/2580.06	c #Conflicts:    1370000 | #Constraints:      44831
2571.91/2580.06	c #Conflicts:    1371000 | #Constraints:      45831
2571.91/2580.06	c INPROCESSING
2571.91/2580.06	c GARBAGE COLLECT
2571.91/2580.06	c #Conflicts:    1372000 | #Constraints:      23626
2571.91/2580.06	c #Conflicts:    1373000 | #Constraints:      24626
2571.91/2580.06	c #Conflicts:    1374000 | #Constraints:      25626
2571.91/2580.06	c #Conflicts:    1375000 | #Constraints:      26626
2571.91/2580.06	c #Conflicts:    1376000 | #Constraints:      27626
2571.91/2580.06	c #Conflicts:    1377000 | #Constraints:      28626
2571.91/2580.06	c #Conflicts:    1378000 | #Constraints:      29626
2571.91/2580.06	c #Conflicts:    1379000 | #Constraints:      30626
2571.91/2580.06	c #Conflicts:    1380000 | #Constraints:      31626
2571.91/2580.06	c #Conflicts:    1381000 | #Constraints:      32626
2571.91/2580.06	c #Conflicts:    1382000 | #Constraints:      33626
2571.91/2580.06	c #Conflicts:    1383000 | #Constraints:      34626
2571.91/2580.06	c #Conflicts:    1384000 | #Constraints:      35626
2571.91/2580.06	c #Conflicts:    1385000 | #Constraints:      36626
2571.91/2580.06	c #Conflicts:    1386000 | #Constraints:      37626
2571.91/2580.06	c #Conflicts:    1387000 | #Constraints:      38626
2571.91/2580.06	c #Conflicts:    1388000 | #Constraints:      39626
2571.91/2580.06	c #Conflicts:    1389000 | #Constraints:      40626
2571.91/2580.06	c #Conflicts:    1390000 | #Constraints:      41626
2571.91/2580.06	c #Conflicts:    1391000 | #Constraints:      42626
2571.91/2580.06	c #Conflicts:    1392000 | #Constraints:      43626
2571.91/2580.06	c #Conflicts:    1393000 | #Constraints:      44626
2571.91/2580.06	c #Conflicts:    1394000 | #Constraints:      45626
2571.91/2580.06	c #Conflicts:    1395000 | #Constraints:      46626
2571.91/2580.06	c INPROCESSING
2571.91/2580.06	c GARBAGE COLLECT
2571.91/2580.06	c #Conflicts:    1396000 | #Constraints:      24227
2571.91/2580.06	c #Conflicts:    1397000 | #Constraints:      25227
2571.91/2580.06	c #Conflicts:    1398000 | #Constraints:      26227
2571.91/2580.06	c #Conflicts:    1399000 | #Constraints:      27227
2571.91/2580.06	c #Conflicts:    1400000 | #Constraints:      28227
2571.91/2580.06	c #Conflicts:    1401000 | #Constraints:      29227
2571.91/2580.06	c #Conflicts:    1402000 | #Constraints:      30227
2571.91/2580.06	c #Conflicts:    1403000 | #Constraints:      31227
2571.91/2580.06	c #Conflicts:    1404000 | #Constraints:      32227
2571.91/2580.06	c #Conflicts:    1405000 | #Constraints:      33227
2571.91/2580.06	c #Conflicts:    1406000 | #Constraints:      34227
2571.91/2580.06	c #Conflicts:    1407000 | #Constraints:      35227
2571.91/2580.06	c #Conflicts:    1408000 | #Constraints:      36227
2571.91/2580.06	c #Conflicts:    1409000 | #Constraints:      37227
2571.91/2580.06	c #Conflicts:    1410000 | #Constraints:      38227
2571.91/2580.06	c #Conflicts:    1411000 | #Constraints:      39227
2571.91/2580.06	c #Conflicts:    1412000 | #Constraints:      40227
2571.91/2580.06	c #Conflicts:    1413000 | #Constraints:      41227
2571.91/2580.06	c #Conflicts:    1414000 | #Constraints:      42227
2571.91/2580.06	c #Conflicts:    1415000 | #Constraints:      43227
2571.91/2580.06	c #Conflicts:    1416000 | #Constraints:      44227
2571.91/2580.06	c #Conflicts:    1417000 | #Constraints:      45227
2571.91/2580.06	c #Conflicts:    1418000 | #Constraints:      46227
2571.91/2580.06	c #Conflicts:    1419000 | #Constraints:      47227
2571.91/2580.06	c INPROCESSING
2571.91/2580.06	c GARBAGE COLLECT
2571.91/2580.06	c #Conflicts:    1420000 | #Constraints:      24629
2571.91/2580.06	c #Conflicts:    1421000 | #Constraints:      25629
2571.91/2580.06	c #Conflicts:    1422000 | #Constraints:      26629
2571.91/2580.06	c #Conflicts:    1423000 | #Constraints:      27629
2571.91/2580.06	c #Conflicts:    1424000 | #Constraints:      28629
2571.91/2580.06	c #Conflicts:    1425000 | #Constraints:      29629
2571.91/2580.06	c #Conflicts:    1426000 | #Constraints:      30629
2571.91/2580.06	c #Conflicts:    1427000 | #Constraints:      31629
2800.49/2809.31	c #Conflicts:    1428000 | #Constraints:      32629
2800.49/2809.31	c #Conflicts:    1429000 | #Constraints:      33629
2800.49/2809.31	c #Conflicts:    1430000 | #Constraints:      34629
2800.49/2809.31	c #Conflicts:    1431000 | #Constraints:      35629
2800.49/2809.31	c #Conflicts:    1432000 | #Constraints:      36629
2800.49/2809.31	c #Conflicts:    1433000 | #Constraints:      37629
2800.49/2809.31	c #Conflicts:    1434000 | #Constraints:      38629
2800.49/2809.31	c #Conflicts:    1435000 | #Constraints:      39629
2800.49/2809.31	c #Conflicts:    1436000 | #Constraints:      40629
2800.49/2809.31	c #Conflicts:    1437000 | #Constraints:      41629
2800.49/2809.31	c #Conflicts:    1438000 | #Constraints:      42629
2800.49/2809.31	c #Conflicts:    1439000 | #Constraints:      43629
2800.49/2809.31	c #Conflicts:    1440000 | #Constraints:      44629
2800.49/2809.31	c #Conflicts:    1441000 | #Constraints:      45629
2800.49/2809.31	c #Conflicts:    1442000 | #Constraints:      46629
2800.49/2809.31	c #Conflicts:    1443000 | #Constraints:      47629
2800.49/2809.31	c INPROCESSING
2800.49/2809.31	c GARBAGE COLLECT
2800.49/2809.31	c #Conflicts:    1444000 | #Constraints:      24829
2800.49/2809.31	c #Conflicts:    1445000 | #Constraints:      25829
2800.49/2809.31	c #Conflicts:    1446000 | #Constraints:      26829
2800.49/2809.31	c #Conflicts:    1447000 | #Constraints:      27829
2800.49/2809.31	c #Conflicts:    1448000 | #Constraints:      28829
2800.49/2809.31	c #Conflicts:    1449000 | #Constraints:      29829
2800.49/2809.31	c #Conflicts:    1450000 | #Constraints:      30829
2800.49/2809.31	c #Conflicts:    1451000 | #Constraints:      31829
2800.49/2809.31	c #Conflicts:    1452000 | #Constraints:      32829
2800.49/2809.31	c #Conflicts:    1453000 | #Constraints:      33829
2800.49/2809.31	c #Conflicts:    1454000 | #Constraints:      34829
2800.49/2809.31	c #Conflicts:    1455000 | #Constraints:      35829
2800.49/2809.31	c #Conflicts:    1456000 | #Constraints:      36829
2800.49/2809.31	c #Conflicts:    1457000 | #Constraints:      37829
2800.49/2809.31	c #Conflicts:    1458000 | #Constraints:      38829
2800.49/2809.31	c #Conflicts:    1459000 | #Constraints:      39829
2800.49/2809.31	c #Conflicts:    1460000 | #Constraints:      40829
2800.49/2809.31	c #Conflicts:    1461000 | #Constraints:      41829
2800.49/2809.31	c #Conflicts:    1462000 | #Constraints:      42829
2800.49/2809.31	c #Conflicts:    1463000 | #Constraints:      43829
2800.49/2809.31	c #Conflicts:    1464000 | #Constraints:      44829
2800.49/2809.31	c #Conflicts:    1465000 | #Constraints:      45829
2800.49/2809.31	c #Conflicts:    1466000 | #Constraints:      46829
2800.49/2809.31	c #Conflicts:    1467000 | #Constraints:      47829
2800.49/2809.31	c INPROCESSING
2800.49/2809.31	c GARBAGE COLLECT
2800.49/2809.31	c #Conflicts:    1468000 | #Constraints:      24828
2800.49/2809.31	c #Conflicts:    1469000 | #Constraints:      25828
2800.49/2809.31	c #Conflicts:    1470000 | #Constraints:      26828
2800.49/2809.31	c #Conflicts:    1471000 | #Constraints:      27828
2800.49/2809.31	c #Conflicts:    1472000 | #Constraints:      28828
2800.49/2809.31	c #Conflicts:    1473000 | #Constraints:      29828
2800.49/2809.31	c #Conflicts:    1474000 | #Constraints:      30828
2800.49/2809.31	c #Conflicts:    1475000 | #Constraints:      31828
2800.49/2809.31	c #Conflicts:    1476000 | #Constraints:      32828
2800.49/2809.31	c #Conflicts:    1477000 | #Constraints:      33828
2800.49/2809.31	c #Conflicts:    1478000 | #Constraints:      34828
2800.49/2809.31	c #Conflicts:    1479000 | #Constraints:      35828
2800.49/2809.31	c #Conflicts:    1480000 | #Constraints:      36828
2800.49/2809.31	c #Conflicts:    1481000 | #Constraints:      37828
2800.49/2809.31	c #Conflicts:    1482000 | #Constraints:      38828
2800.49/2809.31	c #Conflicts:    1483000 | #Constraints:      39828
2800.49/2809.31	c #Conflicts:    1484000 | #Constraints:      40828
2800.49/2809.31	c #Conflicts:    1485000 | #Constraints:      41828
2800.49/2809.31	c #Conflicts:    1486000 | #Constraints:      42828
2800.49/2809.31	c #Conflicts:    1487000 | #Constraints:      43828
2800.49/2809.31	c #Conflicts:    1488000 | #Constraints:      44828
2800.49/2809.31	c #Conflicts:    1489000 | #Constraints:      45828
2800.49/2809.31	c #Conflicts:    1490000 | #Constraints:      46828
2800.49/2809.31	c #Conflicts:    1491000 | #Constraints:      47828
2800.49/2809.31	c INPROCESSING
2800.49/2809.31	c GARBAGE COLLECT
2800.49/2809.31	c #Conflicts:    1492000 | #Constraints:      24626
2800.49/2809.31	c #Conflicts:    1493000 | #Constraints:      25626
2800.49/2809.31	c #Conflicts:    1494000 | #Constraints:      26626
2800.49/2809.31	c #Conflicts:    1495000 | #Constraints:      27626
2800.49/2809.31	c #Conflicts:    1496000 | #Constraints:      28626
2800.49/2809.31	c #Conflicts:    1497000 | #Constraints:      29626
2800.49/2809.31	c #Conflicts:    1498000 | #Constraints:      30626
2800.49/2809.31	c #Conflicts:    1499000 | #Constraints:      31626
2800.49/2809.31	c #Conflicts:    1500000 | #Constraints:      32626
2800.49/2809.31	c #Conflicts:    1501000 | #Constraints:      33626
2800.49/2809.31	c #Conflicts:    1502000 | #Constraints:      34626
2800.49/2809.31	c #Conflicts:    1503000 | #Constraints:      35626
2800.49/2809.31	c #Conflicts:    1504000 | #Constraints:      36626
3041.33/3050.99	c #Conflicts:    1505000 | #Constraints:      37626
3041.33/3050.99	c #Conflicts:    1506000 | #Constraints:      38626
3041.33/3050.99	c #Conflicts:    1507000 | #Constraints:      39626
3041.33/3050.99	c #Conflicts:    1508000 | #Constraints:      40626
3041.33/3050.99	c #Conflicts:    1509000 | #Constraints:      41626
3041.33/3050.99	c #Conflicts:    1510000 | #Constraints:      42626
3041.33/3050.99	c #Conflicts:    1511000 | #Constraints:      43626
3041.33/3050.99	c #Conflicts:    1512000 | #Constraints:      44626
3041.33/3050.99	c #Conflicts:    1513000 | #Constraints:      45626
3041.33/3050.99	c #Conflicts:    1514000 | #Constraints:      46626
3041.33/3050.99	c #Conflicts:    1515000 | #Constraints:      47626
3041.33/3050.99	c #Conflicts:    1516000 | #Constraints:      48626
3041.33/3050.99	c INPROCESSING
3041.33/3050.99	c GARBAGE COLLECT
3041.33/3050.99	c #Conflicts:    1517000 | #Constraints:      25227
3041.33/3050.99	c #Conflicts:    1518000 | #Constraints:      26227
3041.33/3050.99	c #Conflicts:    1519000 | #Constraints:      27227
3041.33/3050.99	c #Conflicts:    1520000 | #Constraints:      28227
3041.33/3050.99	c #Conflicts:    1521000 | #Constraints:      29227
3041.33/3050.99	c #Conflicts:    1522000 | #Constraints:      30227
3041.33/3050.99	c #Conflicts:    1523000 | #Constraints:      31227
3041.33/3050.99	c #Conflicts:    1524000 | #Constraints:      32227
3041.33/3050.99	c #Conflicts:    1525000 | #Constraints:      33227
3041.33/3050.99	c #Conflicts:    1526000 | #Constraints:      34227
3041.33/3050.99	c #Conflicts:    1527000 | #Constraints:      35227
3041.33/3050.99	c #Conflicts:    1528000 | #Constraints:      36227
3041.33/3050.99	c #Conflicts:    1529000 | #Constraints:      37227
3041.33/3050.99	c #Conflicts:    1530000 | #Constraints:      38227
3041.33/3050.99	c #Conflicts:    1531000 | #Constraints:      39227
3041.33/3050.99	c #Conflicts:    1532000 | #Constraints:      40227
3041.33/3050.99	c #Conflicts:    1533000 | #Constraints:      41227
3041.33/3050.99	c #Conflicts:    1534000 | #Constraints:      42227
3041.33/3050.99	c #Conflicts:    1535000 | #Constraints:      43227
3041.33/3050.99	c #Conflicts:    1536000 | #Constraints:      44227
3041.33/3050.99	c #Conflicts:    1537000 | #Constraints:      45227
3041.33/3050.99	c #Conflicts:    1538000 | #Constraints:      46227
3041.33/3050.99	c #Conflicts:    1539000 | #Constraints:      47227
3041.33/3050.99	c #Conflicts:    1540000 | #Constraints:      48227
3041.33/3050.99	c #Conflicts:    1541000 | #Constraints:      49227
3041.33/3050.99	c INPROCESSING
3041.33/3050.99	c GARBAGE COLLECT
3041.33/3050.99	c #Conflicts:    1542000 | #Constraints:      25630
3041.33/3050.99	c #Conflicts:    1543000 | #Constraints:      26630
3041.33/3050.99	c #Conflicts:    1544000 | #Constraints:      27630
3041.33/3050.99	c #Conflicts:    1545000 | #Constraints:      28630
3041.33/3050.99	c #Conflicts:    1546000 | #Constraints:      29630
3041.33/3050.99	c #Conflicts:    1547000 | #Constraints:      30630
3041.33/3050.99	c #Conflicts:    1548000 | #Constraints:      31630
3041.33/3050.99	c #Conflicts:    1549000 | #Constraints:      32630
3041.33/3050.99	c #Conflicts:    1550000 | #Constraints:      33630
3041.33/3050.99	c #Conflicts:    1551000 | #Constraints:      34630
3041.33/3050.99	c #Conflicts:    1552000 | #Constraints:      35630
3041.33/3050.99	c #Conflicts:    1553000 | #Constraints:      36630
3041.33/3050.99	c #Conflicts:    1554000 | #Constraints:      37630
3041.33/3050.99	c #Conflicts:    1555000 | #Constraints:      38630
3041.33/3050.99	c #Conflicts:    1556000 | #Constraints:      39630
3041.33/3050.99	c #Conflicts:    1557000 | #Constraints:      40630
3041.33/3050.99	c #Conflicts:    1558000 | #Constraints:      41630
3041.33/3050.99	c #Conflicts:    1559000 | #Constraints:      42630
3041.33/3050.99	c #Conflicts:    1560000 | #Constraints:      43630
3041.33/3050.99	c #Conflicts:    1561000 | #Constraints:      44630
3041.33/3050.99	c #Conflicts:    1562000 | #Constraints:      45630
3041.33/3050.99	c #Conflicts:    1563000 | #Constraints:      46630
3041.33/3050.99	c #Conflicts:    1564000 | #Constraints:      47630
3041.33/3050.99	c #Conflicts:    1565000 | #Constraints:      48630
3041.33/3050.99	c #Conflicts:    1566000 | #Constraints:      49630
3041.33/3050.99	c INPROCESSING
3041.33/3050.99	c GARBAGE COLLECT
3041.33/3050.99	c #Conflicts:    1567000 | #Constraints:      25831
3041.33/3050.99	c #Conflicts:    1568000 | #Constraints:      26831
3041.33/3050.99	c #Conflicts:    1569000 | #Constraints:      27831
3041.33/3050.99	c #Conflicts:    1570000 | #Constraints:      28831
3041.33/3050.99	c #Conflicts:    1571000 | #Constraints:      29831
3041.33/3050.99	c #Conflicts:    1572000 | #Constraints:      30831
3041.33/3050.99	c #Conflicts:    1573000 | #Constraints:      31831
3041.33/3050.99	c #Conflicts:    1574000 | #Constraints:      32831
3041.33/3050.99	c #Conflicts:    1575000 | #Constraints:      33831
3041.33/3050.99	c #Conflicts:    1576000 | #Constraints:      34831
3041.33/3050.99	c #Conflicts:    1577000 | #Constraints:      35831
3041.33/3050.99	c #Conflicts:    1578000 | #Constraints:      36831
3041.33/3050.99	c #Conflicts:    1579000 | #Constraints:      37831
3041.33/3050.99	c #Conflicts:    1580000 | #Constraints:      38831
3041.33/3050.99	c #Conflicts:    1581000 | #Constraints:      39831
3303.60/3314.01	c #Conflicts:    1582000 | #Constraints:      40831
3303.60/3314.01	c #Conflicts:    1583000 | #Constraints:      41831
3303.60/3314.01	c #Conflicts:    1584000 | #Constraints:      42831
3303.60/3314.01	c #Conflicts:    1585000 | #Constraints:      43831
3303.60/3314.01	c #Conflicts:    1586000 | #Constraints:      44831
3303.60/3314.01	c #Conflicts:    1587000 | #Constraints:      45831
3303.60/3314.01	c #Conflicts:    1588000 | #Constraints:      46831
3303.60/3314.01	c #Conflicts:    1589000 | #Constraints:      47831
3303.60/3314.01	c #Conflicts:    1590000 | #Constraints:      48831
3303.60/3314.01	c #Conflicts:    1591000 | #Constraints:      49831
3303.60/3314.01	c INPROCESSING
3303.60/3314.01	c GARBAGE COLLECT
3303.60/3314.01	c #Conflicts:    1592000 | #Constraints:      25830
3303.60/3314.01	c #Conflicts:    1593000 | #Constraints:      26830
3303.60/3314.01	c #Conflicts:    1594000 | #Constraints:      27830
3303.60/3314.01	c #Conflicts:    1595000 | #Constraints:      28830
3303.60/3314.01	c #Conflicts:    1596000 | #Constraints:      29830
3303.60/3314.01	c #Conflicts:    1597000 | #Constraints:      30830
3303.60/3314.01	c #Conflicts:    1598000 | #Constraints:      31830
3303.60/3314.01	c #Conflicts:    1599000 | #Constraints:      32830
3303.60/3314.01	c #Conflicts:    1600000 | #Constraints:      33830
3303.60/3314.01	c #Conflicts:    1601000 | #Constraints:      34830
3303.60/3314.01	c #Conflicts:    1602000 | #Constraints:      35830
3303.60/3314.01	c #Conflicts:    1603000 | #Constraints:      36830
3303.60/3314.01	c #Conflicts:    1604000 | #Constraints:      37830
3303.60/3314.01	c #Conflicts:    1605000 | #Constraints:      38830
3303.60/3314.01	c #Conflicts:    1606000 | #Constraints:      39830
3303.60/3314.01	c #Conflicts:    1607000 | #Constraints:      40830
3303.60/3314.01	c #Conflicts:    1608000 | #Constraints:      41830
3303.60/3314.01	c #Conflicts:    1609000 | #Constraints:      42830
3303.60/3314.01	c #Conflicts:    1610000 | #Constraints:      43830
3303.60/3314.01	c #Conflicts:    1611000 | #Constraints:      44830
3303.60/3314.01	c #Conflicts:    1612000 | #Constraints:      45830
3303.60/3314.01	c #Conflicts:    1613000 | #Constraints:      46830
3303.60/3314.01	c #Conflicts:    1614000 | #Constraints:      47830
3303.60/3314.01	c #Conflicts:    1615000 | #Constraints:      48830
3303.60/3314.01	c #Conflicts:    1616000 | #Constraints:      49830
3303.60/3314.01	c INPROCESSING
3303.60/3314.01	c GARBAGE COLLECT
3303.60/3314.01	c #Conflicts:    1617000 | #Constraints:      25632
3303.60/3314.01	c #Conflicts:    1618000 | #Constraints:      26632
3303.60/3314.01	c #Conflicts:    1619000 | #Constraints:      27632
3303.60/3314.02	c #Conflicts:    1620000 | #Constraints:      28632
3303.60/3314.02	c #Conflicts:    1621000 | #Constraints:      29632
3303.60/3314.02	c #Conflicts:    1622000 | #Constraints:      30632
3303.60/3314.02	c #Conflicts:    1623000 | #Constraints:      31632
3303.60/3314.02	c #Conflicts:    1624000 | #Constraints:      32632
3303.60/3314.02	c #Conflicts:    1625000 | #Constraints:      33632
3303.60/3314.02	c #Conflicts:    1626000 | #Constraints:      34632
3303.60/3314.02	c #Conflicts:    1627000 | #Constraints:      35632
3303.60/3314.02	c #Conflicts:    1628000 | #Constraints:      36632
3303.60/3314.02	c #Conflicts:    1629000 | #Constraints:      37632
3303.60/3314.02	c #Conflicts:    1630000 | #Constraints:      38632
3303.60/3314.02	c #Conflicts:    1631000 | #Constraints:      39632
3303.60/3314.02	c #Conflicts:    1632000 | #Constraints:      40632
3303.60/3314.02	c #Conflicts:    1633000 | #Constraints:      41632
3303.60/3314.02	c #Conflicts:    1634000 | #Constraints:      42632
3303.60/3314.02	c #Conflicts:    1635000 | #Constraints:      43632
3303.60/3314.02	c #Conflicts:    1636000 | #Constraints:      44632
3303.60/3314.02	c #Conflicts:    1637000 | #Constraints:      45632
3303.60/3314.02	c #Conflicts:    1638000 | #Constraints:      46632
3303.60/3314.02	c #Conflicts:    1639000 | #Constraints:      47632
3303.60/3314.02	c #Conflicts:    1640000 | #Constraints:      48632
3303.60/3314.02	c #Conflicts:    1641000 | #Constraints:      49632
3303.60/3314.02	c #Conflicts:    1642000 | #Constraints:      50632
3303.60/3314.02	c INPROCESSING
3303.60/3314.02	c GARBAGE COLLECT
3303.60/3314.02	c #Conflicts:    1643000 | #Constraints:      26230
3303.60/3314.02	c #Conflicts:    1644000 | #Constraints:      27230
3303.60/3314.02	c #Conflicts:    1645000 | #Constraints:      28230
3303.60/3314.02	c #Conflicts:    1646000 | #Constraints:      29230
3303.60/3314.02	c #Conflicts:    1647000 | #Constraints:      30230
3303.60/3314.02	c #Conflicts:    1648000 | #Constraints:      31230
3303.60/3314.02	c #Conflicts:    1649000 | #Constraints:      32230
3303.60/3314.02	c #Conflicts:    1650000 | #Constraints:      33230
3303.60/3314.02	c #Conflicts:    1651000 | #Constraints:      34230
3303.60/3314.02	c #Conflicts:    1652000 | #Constraints:      35230
3303.60/3314.02	c #Conflicts:    1653000 | #Constraints:      36230
3303.60/3314.02	c #Conflicts:    1654000 | #Constraints:      37230
3303.60/3314.02	c #Conflicts:    1655000 | #Constraints:      38230
3303.60/3314.02	c #Conflicts:    1656000 | #Constraints:      39230
3303.60/3314.02	c #Conflicts:    1657000 | #Constraints:      40230
3549.93/3561.17	c #Conflicts:    1658000 | #Constraints:      41230
3549.93/3561.17	c #Conflicts:    1659000 | #Constraints:      42230
3549.93/3561.17	c #Conflicts:    1660000 | #Constraints:      43230
3549.93/3561.17	c #Conflicts:    1661000 | #Constraints:      44230
3549.93/3561.17	c #Conflicts:    1662000 | #Constraints:      45230
3549.93/3561.17	c #Conflicts:    1663000 | #Constraints:      46230
3549.93/3561.17	c #Conflicts:    1664000 | #Constraints:      47230
3549.93/3561.17	c #Conflicts:    1665000 | #Constraints:      48230
3549.93/3561.17	c #Conflicts:    1666000 | #Constraints:      49230
3549.93/3561.17	c #Conflicts:    1667000 | #Constraints:      50230
3549.93/3561.17	c #Conflicts:    1668000 | #Constraints:      51230
3549.93/3561.17	c INPROCESSING
3549.93/3561.17	c GARBAGE COLLECT
3549.93/3561.17	c #Conflicts:    1669000 | #Constraints:      26631
3549.93/3561.17	c #Conflicts:    1670000 | #Constraints:      27631
3549.93/3561.17	c #Conflicts:    1671000 | #Constraints:      28631
3549.93/3561.17	c #Conflicts:    1672000 | #Constraints:      29631
3549.93/3561.17	c #Conflicts:    1673000 | #Constraints:      30631
3549.93/3561.17	c #Conflicts:    1674000 | #Constraints:      31631
3549.93/3561.17	c #Conflicts:    1675000 | #Constraints:      32631
3549.93/3561.17	c #Conflicts:    1676000 | #Constraints:      33631
3549.93/3561.17	c #Conflicts:    1677000 | #Constraints:      34631
3549.93/3561.17	c #Conflicts:    1678000 | #Constraints:      35631
3549.93/3561.17	c #Conflicts:    1679000 | #Constraints:      36631
3549.93/3561.17	c #Conflicts:    1680000 | #Constraints:      37631
3549.93/3561.17	c #Conflicts:    1681000 | #Constraints:      38631
3549.93/3561.17	c #Conflicts:    1682000 | #Constraints:      39631
3549.93/3561.17	c #Conflicts:    1683000 | #Constraints:      40631
3549.93/3561.17	c #Conflicts:    1684000 | #Constraints:      41631
3549.93/3561.17	c #Conflicts:    1685000 | #Constraints:      42631
3549.93/3561.17	c #Conflicts:    1686000 | #Constraints:      43631
3549.93/3561.17	c #Conflicts:    1687000 | #Constraints:      44631
3549.93/3561.17	c #Conflicts:    1688000 | #Constraints:      45631
3549.93/3561.17	c #Conflicts:    1689000 | #Constraints:      46631
3549.93/3561.17	c #Conflicts:    1690000 | #Constraints:      47631
3549.93/3561.17	c #Conflicts:    1691000 | #Constraints:      48631
3549.93/3561.17	c #Conflicts:    1692000 | #Constraints:      49631
3549.93/3561.17	c #Conflicts:    1693000 | #Constraints:      50631
3549.93/3561.17	c #Conflicts:    1694000 | #Constraints:      51631
3549.93/3561.17	c INPROCESSING
3549.93/3561.17	c GARBAGE COLLECT
3549.93/3561.17	c #Conflicts:    1695000 | #Constraints:      26826
3549.93/3561.17	c #Conflicts:    1696000 | #Constraints:      27826
3549.93/3561.17	c #Conflicts:    1697000 | #Constraints:      28826
3549.93/3561.17	c #Conflicts:    1698000 | #Constraints:      29826
3549.93/3561.17	c #Conflicts:    1699000 | #Constraints:      30826
3549.93/3561.17	c #Conflicts:    1700000 | #Constraints:      31826
3549.93/3561.17	c #Conflicts:    1701000 | #Constraints:      32826
3549.93/3561.17	c #Conflicts:    1702000 | #Constraints:      33826
3549.93/3561.17	c #Conflicts:    1703000 | #Constraints:      34826
3549.93/3561.17	c #Conflicts:    1704000 | #Constraints:      35826
3549.93/3561.17	c #Conflicts:    1705000 | #Constraints:      36826
3549.93/3561.17	c #Conflicts:    1706000 | #Constraints:      37826
3549.93/3561.17	c #Conflicts:    1707000 | #Constraints:      38826
3549.93/3561.17	c #Conflicts:    1708000 | #Constraints:      39826
3549.93/3561.17	c #Conflicts:    1709000 | #Constraints:      40826
3549.93/3561.17	c #Conflicts:    1710000 | #Constraints:      41826
3549.93/3561.17	c #Conflicts:    1711000 | #Constraints:      42826
3549.93/3561.17	c #Conflicts:    1712000 | #Constraints:      43826
3549.93/3561.17	c #Conflicts:    1713000 | #Constraints:      44826
3549.93/3561.17	c #Conflicts:    1714000 | #Constraints:      45826
3549.93/3561.17	c #Conflicts:    1715000 | #Constraints:      46826
3549.93/3561.17	c #Conflicts:    1716000 | #Constraints:      47826
3549.93/3561.17	c #Conflicts:    1717000 | #Constraints:      48826
3549.93/3561.17	c #Conflicts:    1718000 | #Constraints:      49826
3549.93/3561.17	c #Conflicts:    1719000 | #Constraints:      50826
3549.93/3561.17	c #Conflicts:    1720000 | #Constraints:      51826
3549.93/3561.17	c INPROCESSING
3549.93/3561.17	c GARBAGE COLLECT
3549.93/3561.17	c #Conflicts:    1721000 | #Constraints:      26826
3549.93/3561.17	c #Conflicts:    1722000 | #Constraints:      27826
3549.93/3561.17	c #Conflicts:    1723000 | #Constraints:      28826
3549.93/3561.17	c #Conflicts:    1724000 | #Constraints:      29826
3549.93/3561.17	c #Conflicts:    1725000 | #Constraints:      30826
3549.93/3561.17	c #Conflicts:    1726000 | #Constraints:      31826
3549.93/3561.17	c #Conflicts:    1727000 | #Constraints:      32826
3549.93/3561.17	c #Conflicts:    1728000 | #Constraints:      33826
3549.93/3561.17	c #Conflicts:    1729000 | #Constraints:      34826
3549.93/3561.17	c #Conflicts:    1730000 | #Constraints:      35826
3549.93/3561.17	c #Conflicts:    1731000 | #Constraints:      36826
3549.93/3561.17	c #Conflicts:    1732000 | #Constraints:      37826
3549.93/3561.17	c #Conflicts:    1733000 | #Constraints:      38826
3549.93/3561.17	c #Conflicts:    1734000 | #Constraints:      39826
3600.06/3611.40	c #Conflicts:    1735000 | #Constraints:      40826
3600.06/3611.40	c #Conflicts:    1736000 | #Constraints:      41826
3600.06/3611.40	c #Conflicts:    1737000 | #Constraints:      42826
3600.06/3611.40	c #Conflicts:    1738000 | #Constraints:      43826
3600.06/3611.40	c #Conflicts:    1739000 | #Constraints:      44826
3600.06/3611.40	c #Conflicts:    1740000 | #Constraints:      45826
3600.06/3611.40	c #Conflicts:    1741000 | #Constraints:      46826
3600.06/3611.40	c #Conflicts:    1742000 | #Constraints:      47826
3600.06/3611.40	c #Conflicts:    1743000 | #Constraints:      48826
3600.06/3611.40	c #Conflicts:    1744000 | #Constraints:      49826
3600.06/3611.40	c #Conflicts:    1745000 | #Constraints:      50826
3600.06/3611.40	c #Conflicts:    1746000 | #Constraints:      51826
3600.06/3611.40	c INPROCESSING
3600.06/3611.40	c GARBAGE COLLECT
3600.06/3611.40	c #Conflicts:    1747000 | #Constraints:      26627
3600.06/3611.40	c #Conflicts:    1748000 | #Constraints:      27627
3600.06/3611.40	c Program interrupted by user.
3600.06/3611.40	c cpu time 3591.48 s
3600.06/3611.40	c deterministic time 666587611604 6.67e+11
3600.06/3611.40	c optimization time 4.43582 s
3600.06/3611.40	c total solve time 3587.05 s
3600.06/3611.40	c core-guided solve time 3587.05 s
3600.06/3611.40	c propagation time 3452.24 s
3600.06/3611.40	c conflict analysis time 126.124 s
3600.06/3611.40	c propagations 20900110
3600.06/3611.40	c resolve steps 7917320
3600.06/3611.40	c decisions 4086257
3600.06/3611.40	c conflicts 1748437
3600.06/3611.40	c restarts 3355
3600.06/3611.40	c inprocessing phases 123
3600.06/3611.40	c input clauses 1
3600.06/3611.40	c input cardinalities 0
3600.06/3611.40	c input general constraints 16
3600.06/3611.40	c input average constraint length 64.65
3600.06/3611.40	c input average constraint degree 1561.65
3600.06/3611.40	c learned clauses 679964
3600.06/3611.40	c learned cardinalities 0
3600.06/3611.40	c learned general constraints 1068472
3600.06/3611.40	c learned average constraint length 54.90
3600.06/3611.40	c learned average constraint degree 54600.80
3600.06/3611.40	c watched constraints 1055562
3600.06/3611.40	c counting constraints 12926
3600.06/3611.40	c gcd simplifications 574012
3600.06/3611.40	c detected cardinalities 0
3600.06/3611.40	c weakened non-implied lits 13293018
3600.06/3611.40	c weakened non-implying lits 650334
3600.06/3611.40	c original variables 71
3600.06/3611.40	c clausal propagations 448086
3600.06/3611.40	c cardinality propagations 0
3600.06/3611.40	c watched propagations 10399887
3600.06/3611.40	c counting propagations 8989033
3600.06/3611.40	c watch lookups 32300238834
3600.06/3611.40	c watch backjump lookups 19053671885
3600.06/3611.40	c watch checks 456547330183
3600.06/3611.40	c propagation checks 158009295344
3600.06/3611.40	c constraint additions 625354257
3600.06/3611.40	c trail pops 26734733
3600.06/3611.40	c formula constraints 17
3600.06/3611.40	c learned constraints 1748436
3600.06/3611.40	c bound constraints 0
3600.06/3611.40	c core-guided constraints 0
3600.06/3611.40	c encountered formula constraints 3233852
3600.06/3611.40	c encountered learned constraints 6431905
3600.06/3611.40	c encountered bound constraints 0
3600.06/3611.40	c encountered core-guided constraints 0
3600.06/3611.40	c LP total time 0 s
3600.06/3611.40	c LP solve time 0 s
3600.06/3611.40	c LP constraints added 0
3600.06/3611.40	c LP constraints removed 0
3600.06/3611.40	c LP pivots internal 0
3600.06/3611.40	c LP pivots root 0
3600.06/3611.40	c LP calls 0
3600.06/3611.40	c LP optimalities 0
3600.06/3611.40	c LP no pivot count 0
3600.06/3611.40	c LP infeasibilities 0
3600.06/3611.40	c LP valid Farkas constraints 0
3600.06/3611.40	c LP learned Farkas constraints 0
3600.06/3611.40	c LP basis resets 0
3600.06/3611.40	c LP cycling count 0
3600.06/3611.40	c LP singular count 0
3600.06/3611.40	c LP no primal count 0
3600.06/3611.40	c LP no farkas count 0
3600.06/3611.40	c LP other issue count 0
3600.06/3611.40	c LP Gomory cuts 0
3600.06/3611.40	c LP learned cuts 0
3600.06/3611.40	c LP deleted cuts 0
3600.06/3611.40	c LP encountered Gomory constraints 0
3600.06/3611.40	c LP encountered Farkas constraints 0
3600.06/3611.40	c LP encountered learned Farkas constraints 0
3600.06/3611.40	c CG auxiliary variables introduced 0
3600.06/3611.40	c CG solutions found 0
3600.06/3611.40	c CG cores constructed 0
3600.06/3611.40	c CG core cardinality constraints returned 0
3600.06/3611.40	c CG unit cores 0
3600.06/3611.40	c CG single cores 0
3600.06/3611.40	c CG blocks removed during cardinality reduction 0
3600.06/3611.40	c CG first core best 0
3600.06/3611.40	c CG decision core best 0
3600.06/3611.40	c CG core reduction tie 0
3600.06/3611.40	c CG core degree average 0.00
3600.06/3611.40	c CG core slack average 0.00
3600.06/3611.40	c CG exhausted 0
3600.06/3611.40	c CG exhaust time 0 s
3600.06/3611.40	c CG trimmed 0
3600.06/3611.40	c CG trim time 0 s
3600.06/3611.40	c CG minimized 0
3600.06/3611.40	c CG minimize time 0 s
3600.06/3611.40	c CG am1 prop time 0 s
3600.06/3611.40	c CG # am1s reformulated 0
3600.06/3611.40	c CG lower bound derived from am1s 0
3600.06/3611.40	c CG # clausal cores 0
3600.06/3611.40	c CG # cardinality cores 0
3600.06/3611.40	c CG # pb cores 0
3600.06/3611.40	c CG # pb reforms 0
3600.06/3611.40	c CG # cores discarded because of pb reform 0
3600.06/3611.40	d LOWERBOUND 0
3600.06/3611.40	d NCORES 0
3600.06/3611.40	d NPBCORES 0
3600.06/3611.40	d NPBREFORM 0
3600.06/3611.40	d NTRIMMED 0
3600.06/3611.40	d NEXHAUSTED 0
3600.06/3611.40	d NAM1S 0
3600.06/3611.40	d AM1LB 0
3600.06/3611.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (63338 MiB free)
  memory of node 1: 64473 MiB (62043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435901-1721104466/watcher-4435901-1721104466 -o /tmp/evaluation-result-4435901-1721104466/solver-4435901-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836652 --watchdog 3760 pb-oll-rs HOME/instance-4435901-1721104466.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100088 s]*
/proc/loadavg: 3.56 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128387612/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=38916 memory=6200 CPUtime=0.1 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 356 0 0 0 10 0 0 0 20 0 1 0 162605459 39849984 1550 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 9729 1550 1408 291 0 1263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38916 KiB
Current children cumulated memory: 6200 KiB

[startup+0.214657 s]*
/proc/loadavg: 3.56 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128383804/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=39048 memory=6728 CPUtime=0.21 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 438 0 0 0 20 1 0 0 20 0 1 0 162605459 39985152 1682 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 9762 1682 1408 291 0 1296 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39048 KiB
Current children cumulated memory: 6728 KiB

[startup+0.312699 s]*
/proc/loadavg: 3.56 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128382656/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=39180 memory=6992 CPUtime=0.31 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 510 0 0 0 30 1 0 0 20 0 1 0 162605459 40120320 1748 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 9795 1748 1408 291 0 1329 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39180 KiB
Current children cumulated memory: 6992 KiB

[startup+0.700262 s]
/proc/loadavg: 3.56 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128380752/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=39448 memory=7756 CPUtime=0.68 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 668 0 0 0 65 3 0 0 20 0 1 0 162605459 40394752 1939 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 9862 1939 1471 291 0 1396 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39448 KiB
Current children cumulated memory: 7756 KiB

[startup+1.50025 s]
/proc/loadavg: 3.59 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128376976/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=40144 memory=11120 CPUtime=1.49 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 994 0 0 0 143 6 0 0 20 0 1 0 162605459 41107456 2780 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 10036 2780 1471 291 0 1570 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 11120 KiB

[startup+3.1122 s]
/proc/loadavg: 3.59 4.02 4.13 6/246 836718
/proc/meminfo: memFree=128370692/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=40964 memory=11836 CPUtime=3.09 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 1184 0 0 0 302 7 0 0 20 0 1 0 162605459 41947136 2959 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 10241 2959 1471 291 0 1775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 11836 KiB

[startup+6.30023 s]
/proc/loadavg: 3.62 4.02 4.13 6/246 836718
/proc/meminfo: memFree=128367092/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=41716 memory=12632 CPUtime=6.27 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 1356 0 0 0 614 13 0 0 20 0 1 0 162605459 42717184 3158 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 10429 3158 1471 291 0 1963 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41716 KiB
Current children cumulated memory: 12632 KiB

[startup+12.7002 s]
/proc/loadavg: 3.66 4.02 4.12 6/246 836718
/proc/meminfo: memFree=128363676/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=42580 memory=13476 CPUtime=12.65 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 1554 0 0 0 1247 18 0 0 20 0 1 0 162605459 43601920 3369 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 10645 3369 1471 291 0 2179 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42580 KiB
Current children cumulated memory: 13476 KiB

[startup+25.5003 s]
/proc/loadavg: 3.71 4.02 4.12 6/246 836721
/proc/meminfo: memFree=128353488/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=46648 memory=15228 CPUtime=25.42 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 1999 0 0 0 2514 28 0 0 20 0 1 0 162605459 47767552 3807 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 11662 3807 1471 291 0 3196 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 46648 KiB
Current children cumulated memory: 15228 KiB

[startup+51.1125 s]
/proc/loadavg: 3.90 4.03 4.12 6/246 836724
/proc/meminfo: memFree=128344496/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=47992 memory=18724 CPUtime=50.95 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 2330 0 0 0 5052 43 0 0 20 0 1 0 162605459 49143808 4681 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 11998 4681 1471 291 0 3532 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 47992 KiB
Current children cumulated memory: 18724 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.04 4.12 6/243 836778
/proc/meminfo: memFree=128339624/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=53820 memory=20756 CPUtime=101.99 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 2846 0 0 0 10130 69 0 0 20 0 1 0 162605459 55111680 5189 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 13455 5189 1471 291 0 4989 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 53820 KiB
Current children cumulated memory: 20756 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.05 4.11 6/243 836879
/proc/meminfo: memFree=128313148/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=55180 memory=24724 CPUtime=161.81 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 3355 0 0 0 16082 99 0 0 20 0 1 0 162605459 56504320 6181 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 13795 6181 1471 291 0 5329 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 55180 KiB
Current children cumulated memory: 24724 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.05 4.11 6/243 836890
/proc/meminfo: memFree=128304908/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=55828 memory=25440 CPUtime=221.62 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 3574 0 0 0 22033 129 0 0 20 0 1 0 162605459 57167872 6360 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 13957 6360 1471 291 0 5491 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 55828 KiB
Current children cumulated memory: 25440 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.06 4.10 6/243 836900
/proc/meminfo: memFree=128294356/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=56988 memory=27192 CPUtime=281.43 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 4026 0 0 0 27981 162 0 0 20 0 1 0 162605459 58355712 6798 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 14247 6798 1471 291 0 5781 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 56988 KiB
Current children cumulated memory: 27192 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.06 4.10 7/242 836911
/proc/meminfo: memFree=128280012/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=58944 memory=29004 CPUtime=341.25 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 4531 0 0 0 33940 185 0 0 20 0 1 0 162605459 60358656 7251 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 14736 7251 1471 291 0 6270 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 58944 KiB
Current children cumulated memory: 29004 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.08 4.10 6/245 836927
/proc/meminfo: memFree=128275992/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=66508 memory=30292 CPUtime=401.06 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 4864 0 0 0 39900 206 0 0 20 0 1 0 162605459 68104192 7573 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 16627 7573 1471 291 0 8161 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 66508 KiB
Current children cumulated memory: 30292 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.06 4.09 6/245 836937
/proc/meminfo: memFree=128267392/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=67148 memory=33096 CPUtime=460.88 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 5067 0 0 0 45863 225 0 0 20 0 1 0 162605459 68759552 8274 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 16787 8274 1471 291 0 8321 0

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

Current children cumulated memory: 56932 KiB

[startup+2862.3 s]
/proc/loadavg: 4.27 4.27 4.24 6/243 837940
/proc/meminfo: memFree=128169328/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=93512 memory=57284 CPUtime=2853.32 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9475 0 0 0 284587 745 0 0 20 0 1 0 162605459 95756288 14321 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23378 14321 1471 291 0 14912 0
Current children cumulated CPU time: 2853.32 s
Current children cumulated vsize: 93512 KiB
Current children cumulated memory: 57284 KiB

[startup+2922.3 s]
/proc/loadavg: 4.22 4.26 4.24 6/243 837952
/proc/meminfo: memFree=128169056/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=93892 memory=57468 CPUtime=2913.13 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9595 0 0 0 290559 754 0 0 20 0 1 0 162605459 96145408 14367 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23473 14367 1471 291 0 15007 0
Current children cumulated CPU time: 2913.13 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 57468 KiB

[startup+2982.3 s]
/proc/loadavg: 4.60 4.34 4.27 6/243 837962
/proc/meminfo: memFree=128166244/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=93892 memory=57468 CPUtime=2972.95 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9616 0 0 0 296532 763 0 0 20 0 1 0 162605459 96145408 14367 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23473 14367 1471 291 0 15007 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 57468 KiB

[startup+3042.3 s]
/proc/loadavg: 4.63 4.41 4.30 6/243 837973
/proc/meminfo: memFree=128163284/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=93892 memory=57600 CPUtime=3032.75 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9636 0 0 0 302507 768 0 0 20 0 1 0 162605459 96145408 14400 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23473 14400 1471 291 0 15007 0
Current children cumulated CPU time: 3032.75 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 57600 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.41 4.30 6/241 838369
/proc/meminfo: memFree=128262568/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94148 memory=58332 CPUtime=3092.56 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9732 0 0 0 308480 776 0 0 20 0 1 0 162605459 96407552 14583 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23537 14583 1471 291 0 15071 0
Current children cumulated CPU time: 3092.56 s
Current children cumulated vsize: 94148 KiB
Current children cumulated memory: 58332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.36 4.29 6/241 838380
/proc/meminfo: memFree=128260892/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94148 memory=58504 CPUtime=3152.37 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9762 0 0 0 314453 784 0 0 20 0 1 0 162605459 96407552 14626 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23537 14626 1471 291 0 15071 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 94148 KiB
Current children cumulated memory: 58504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.31 4.27 6/241 838390
/proc/meminfo: memFree=128260420/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94148 memory=58504 CPUtime=3212.18 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9786 0 0 0 320426 792 0 0 20 0 1 0 162605459 96407552 14626 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23537 14626 1471 291 0 15071 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 94148 KiB
Current children cumulated memory: 58504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.27 6/243 838571
/proc/meminfo: memFree=128259472/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94660 memory=58844 CPUtime=3272 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9916 0 0 0 326399 801 0 0 20 0 1 0 162605459 96931840 14711 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23665 14711 1471 291 0 15199 0
Current children cumulated CPU time: 3272 s
Current children cumulated vsize: 94660 KiB
Current children cumulated memory: 58844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.26 6/243 838581
/proc/meminfo: memFree=128259496/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94660 memory=58844 CPUtime=3331.81 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 9939 0 0 0 332368 813 0 0 20 0 1 0 162605459 96931840 14711 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23665 14711 1471 291 0 15199 0
Current children cumulated CPU time: 3331.81 s
Current children cumulated vsize: 94660 KiB
Current children cumulated memory: 58844 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.22 4.25 6/246 838650
/proc/meminfo: memFree=128257768/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=94784 memory=59068 CPUtime=3391.62 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 10026 0 0 0 338339 823 0 0 20 0 1 0 162605459 97058816 14767 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23696 14767 1471 291 0 15230 0
Current children cumulated CPU time: 3391.62 s
Current children cumulated vsize: 94784 KiB
Current children cumulated memory: 59068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.24 6/246 838660
/proc/meminfo: memFree=128254004/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=95296 memory=61868 CPUtime=3451.43 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 10151 0 0 0 344308 835 0 0 20 0 1 0 162605459 97583104 15467 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23824 15467 1471 291 0 15358 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 61868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.17 4.22 6/246 838671
/proc/meminfo: memFree=128253492/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=95296 memory=61868 CPUtime=3511.24 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 10178 0 0 0 350280 844 0 0 20 0 1 0 162605459 97583104 15467 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23824 15467 1471 291 0 15358 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 61868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.22 6/245 838681
/proc/meminfo: memFree=128252248/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=95296 memory=61868 CPUtime=3571.05 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 10201 0 0 0 356252 853 0 0 20 0 1 0 162605459 97583104 15467 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23824 15467 1471 291 0 15358 0
Current children cumulated CPU time: 3571.05 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 61868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.09 4.15 4.21 5/245 838779
/proc/meminfo: memFree=128311264/131655788 swapFree=131071996/131071996
[pid=836707] ppid=836702 vsize=95552 memory=61868 CPUtime=3600.06 cores=0,2
/proc/836707/stat : 836707 (pb-oll-rs) R 836702 836707 836642 0 -1 4194304 10267 0 0 0 359148 858 0 0 20 0 1 0 162605459 97845248 15467 134679101440 4194304 5384005 140726118552096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6725632 140726118556695 140726118556772 140726118556772 140726118563787 0
/proc/836707/statm: 23888 15467 1471 291 0 15422 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 95552 KiB
Current children cumulated memory: 61868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.49 s, system=8.58507 s

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

Child status: 0

Real time (s): 3611.4
CPU time (s): 3600.07
CPU user time (s): 3591.49
CPU system time (s): 8.58507
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 95552
Max. memory (cumulated for all children) (KiB): 61868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.49
system time used= 8.58507
maximum resident set size= 62240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 25191


# summary of solver processes directly reported to runsolver:
#   pid: 836707
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.49
#   total CPU system time (s): 8.58507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7789 second user time and 35.0386 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-16 06:34:39
IDJOB=4435901
IDBENCH=147613
IDSOLVER=3067
FILE ID=nodeC005/4435901-1721104466
RUNJOBID= nodeC005-1721104478-836652
SLURM_JOB_ID= 7505626
Free space on /tmp= 723784 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435901-1721104466/watcher-4435901-1721104466 -o /tmp/evaluation-result-4435901-1721104466/solver-4435901-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836652 --watchdog 3760  pb-oll-rs HOME/instance-4435901-1721104466.opb

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

MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=1228448863

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.193
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.189
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.35
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.179
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.53
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.179
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.35
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		: 3224.024
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.178
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.35
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.176
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.53
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.177
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128393580 kB
MemAvailable:   129955768 kB
Buffers:          381260 kB
Cached:          2007140 kB
SwapCached:            0 kB
Active:           688512 kB
Inactive:        2007900 kB
Active(anon):       3336 kB
Inactive(anon):   343020 kB
Active(file):     685176 kB
Inactive(file):  1664880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8016 kB
Writeback:            72 kB
AnonPages:        307740 kB
Mapped:           105656 kB
Shmem:             37704 kB
KReclaimable:     104660 kB
Slab:             206104 kB
SReclaimable:     104660 kB
SUnreclaim:       101444 kB
KernelStack:        3684 kB
PageTables:        10016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     821228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 07:34:50