Trace number 4454443

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-19? (TO) 3600.06 3612.31

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
MD5SUMbb00c8681178995acecbc2b6e4ec1a1a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2386.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
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 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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.04	c [STEP] solving
0.00/0.04	c #variables 2130 #constraints 2544
0.00/0.04	c SMALL=int, LARGE=long long
42.18/42.34	c bounds - >= 5 @ 0.033936
42.18/42.34	c #Conflicts:       1000 | #Constraints:       3543
42.18/42.34	c #Conflicts:       2000 | #Constraints:       4543
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:       3000 | #Constraints:       2427
42.18/42.34	c #Conflicts:       4000 | #Constraints:       3427
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:       5000 | #Constraints:       2832
42.18/42.34	c #Conflicts:       6000 | #Constraints:       3832
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:       7000 | #Constraints:       2845
42.18/42.34	c #Conflicts:       8000 | #Constraints:       3845
42.18/42.34	c #Conflicts:       9000 | #Constraints:       4845
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      10000 | #Constraints:       3535
42.18/42.34	c #Conflicts:      11000 | #Constraints:       4535
42.18/42.34	c #Conflicts:      12000 | #Constraints:       5535
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      13000 | #Constraints:       3986
42.18/42.34	c #Conflicts:      14000 | #Constraints:       4986
42.18/42.34	c #Conflicts:      15000 | #Constraints:       5986
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      16000 | #Constraints:       4219
42.18/42.34	c #Conflicts:      17000 | #Constraints:       5219
42.18/42.34	c #Conflicts:      18000 | #Constraints:       6219
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      19000 | #Constraints:       4231
42.18/42.34	c #Conflicts:      20000 | #Constraints:       5231
42.18/42.34	c #Conflicts:      21000 | #Constraints:       6231
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      22000 | #Constraints:       4037
42.18/42.34	c #Conflicts:      23000 | #Constraints:       5037
42.18/42.34	c #Conflicts:      24000 | #Constraints:       6037
42.18/42.34	c #Conflicts:      25000 | #Constraints:       7037
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      26000 | #Constraints:       4640
42.18/42.34	c #Conflicts:      27000 | #Constraints:       5640
42.18/42.34	c #Conflicts:      28000 | #Constraints:       6640
42.18/42.34	c #Conflicts:      29000 | #Constraints:       7640
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      30000 | #Constraints:       5042
42.18/42.34	c #Conflicts:      31000 | #Constraints:       6042
42.18/42.34	c #Conflicts:      32000 | #Constraints:       7042
42.18/42.34	c #Conflicts:      33000 | #Constraints:       8042
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      34000 | #Constraints:       5243
42.18/42.34	c #Conflicts:      35000 | #Constraints:       6243
42.18/42.34	c #Conflicts:      36000 | #Constraints:       7243
42.18/42.34	c #Conflicts:      37000 | #Constraints:       8243
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      38000 | #Constraints:       5257
42.18/42.34	c #Conflicts:      39000 | #Constraints:       6257
42.18/42.34	c #Conflicts:      40000 | #Constraints:       7257
42.18/42.34	c #Conflicts:      41000 | #Constraints:       8257
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      42000 | #Constraints:       5060
42.18/42.34	c #Conflicts:      43000 | #Constraints:       6060
42.18/42.34	c #Conflicts:      44000 | #Constraints:       7060
42.18/42.34	c #Conflicts:      45000 | #Constraints:       8060
42.18/42.34	c #Conflicts:      46000 | #Constraints:       9060
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      47000 | #Constraints:       5654
42.18/42.34	c #Conflicts:      48000 | #Constraints:       6654
42.18/42.34	c #Conflicts:      49000 | #Constraints:       7654
42.18/42.34	c #Conflicts:      50000 | #Constraints:       8654
42.18/42.34	c #Conflicts:      51000 | #Constraints:       9654
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      52000 | #Constraints:       6051
42.18/42.34	c #Conflicts:      53000 | #Constraints:       7051
42.18/42.34	c #Conflicts:      54000 | #Constraints:       8051
42.18/42.34	c #Conflicts:      55000 | #Constraints:       9051
42.18/42.34	c #Conflicts:      56000 | #Constraints:      10051
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      57000 | #Constraints:       6245
42.18/42.34	c #Conflicts:      58000 | #Constraints:       7245
42.18/42.34	c #Conflicts:      59000 | #Constraints:       8245
42.18/42.34	c #Conflicts:      60000 | #Constraints:       9245
42.18/42.34	c #Conflicts:      61000 | #Constraints:      10245
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      62000 | #Constraints:       6246
42.18/42.34	c #Conflicts:      63000 | #Constraints:       7246
42.18/42.34	c #Conflicts:      64000 | #Constraints:       8246
42.18/42.34	c #Conflicts:      65000 | #Constraints:       9246
42.18/42.34	c #Conflicts:      66000 | #Constraints:      10246
42.18/42.34	c INPROCESSING
42.18/42.34	c GARBAGE COLLECT
42.18/42.34	c #Conflicts:      67000 | #Constraints:       6049
113.97/114.31	c #Conflicts:      68000 | #Constraints:       7049
113.97/114.31	c #Conflicts:      69000 | #Constraints:       8049
113.97/114.31	c #Conflicts:      70000 | #Constraints:       9049
113.97/114.31	c #Conflicts:      71000 | #Constraints:      10049
113.97/114.31	c #Conflicts:      72000 | #Constraints:      11049
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:      73000 | #Constraints:       6647
113.97/114.31	c #Conflicts:      74000 | #Constraints:       7647
113.97/114.31	c #Conflicts:      75000 | #Constraints:       8647
113.97/114.31	c #Conflicts:      76000 | #Constraints:       9647
113.97/114.31	c #Conflicts:      77000 | #Constraints:      10647
113.97/114.31	c #Conflicts:      78000 | #Constraints:      11647
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:      79000 | #Constraints:       7050
113.97/114.31	c #Conflicts:      80000 | #Constraints:       8050
113.97/114.31	c #Conflicts:      81000 | #Constraints:       9050
113.97/114.31	c #Conflicts:      82000 | #Constraints:      10050
113.97/114.31	c #Conflicts:      83000 | #Constraints:      11050
113.97/114.31	c #Conflicts:      84000 | #Constraints:      12050
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:      85000 | #Constraints:       7253
113.97/114.31	c #Conflicts:      86000 | #Constraints:       8253
113.97/114.31	c #Conflicts:      87000 | #Constraints:       9253
113.97/114.31	c #Conflicts:      88000 | #Constraints:      10253
113.97/114.31	c #Conflicts:      89000 | #Constraints:      11253
113.97/114.31	c #Conflicts:      90000 | #Constraints:      12253
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:      91000 | #Constraints:       7260
113.97/114.31	c #Conflicts:      92000 | #Constraints:       8260
113.97/114.31	c #Conflicts:      93000 | #Constraints:       9260
113.97/114.31	c #Conflicts:      94000 | #Constraints:      10260
113.97/114.31	c #Conflicts:      95000 | #Constraints:      11260
113.97/114.31	c #Conflicts:      96000 | #Constraints:      12260
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:      97000 | #Constraints:       7074
113.97/114.31	c #Conflicts:      98000 | #Constraints:       8074
113.97/114.31	c #Conflicts:      99000 | #Constraints:       9074
113.97/114.31	c #Conflicts:     100000 | #Constraints:      10074
113.97/114.31	c #Conflicts:     101000 | #Constraints:      11074
113.97/114.31	c #Conflicts:     102000 | #Constraints:      12074
113.97/114.31	c #Conflicts:     103000 | #Constraints:      13074
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:     104000 | #Constraints:       7655
113.97/114.31	c #Conflicts:     105000 | #Constraints:       8655
113.97/114.31	c #Conflicts:     106000 | #Constraints:       9655
113.97/114.31	c #Conflicts:     107000 | #Constraints:      10655
113.97/114.31	c #Conflicts:     108000 | #Constraints:      11655
113.97/114.31	c #Conflicts:     109000 | #Constraints:      12655
113.97/114.31	c #Conflicts:     110000 | #Constraints:      13655
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:     111000 | #Constraints:       8063
113.97/114.31	c #Conflicts:     112000 | #Constraints:       9063
113.97/114.31	c #Conflicts:     113000 | #Constraints:      10063
113.97/114.31	c #Conflicts:     114000 | #Constraints:      11063
113.97/114.31	c #Conflicts:     115000 | #Constraints:      12063
113.97/114.31	c #Conflicts:     116000 | #Constraints:      13063
113.97/114.31	c #Conflicts:     117000 | #Constraints:      14063
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:     118000 | #Constraints:       8257
113.97/114.31	c #Conflicts:     119000 | #Constraints:       9257
113.97/114.31	c #Conflicts:     120000 | #Constraints:      10257
113.97/114.31	c #Conflicts:     121000 | #Constraints:      11257
113.97/114.31	c #Conflicts:     122000 | #Constraints:      12257
113.97/114.31	c #Conflicts:     123000 | #Constraints:      13257
113.97/114.31	c #Conflicts:     124000 | #Constraints:      14257
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:     125000 | #Constraints:       8248
113.97/114.31	c #Conflicts:     126000 | #Constraints:       9248
113.97/114.31	c #Conflicts:     127000 | #Constraints:      10248
113.97/114.31	c #Conflicts:     128000 | #Constraints:      11248
113.97/114.31	c #Conflicts:     129000 | #Constraints:      12248
113.97/114.31	c #Conflicts:     130000 | #Constraints:      13248
113.97/114.31	c #Conflicts:     131000 | #Constraints:      14248
113.97/114.31	c INPROCESSING
113.97/114.31	c GARBAGE COLLECT
113.97/114.31	c #Conflicts:     132000 | #Constraints:       8047
113.97/114.31	c #Conflicts:     133000 | #Constraints:       9047
113.97/114.31	c #Conflicts:     134000 | #Constraints:      10047
113.97/114.31	c #Conflicts:     135000 | #Constraints:      11047
113.97/114.31	c #Conflicts:     136000 | #Constraints:      12047
113.97/114.31	c #Conflicts:     137000 | #Constraints:      13047
113.97/114.31	c #Conflicts:     138000 | #Constraints:      14047
113.97/114.31	c #Conflicts:     139000 | #Constraints:      15047
113.97/114.31	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     140000 | #Constraints:       8655
223.76/224.42	c #Conflicts:     141000 | #Constraints:       9655
223.76/224.42	c #Conflicts:     142000 | #Constraints:      10655
223.76/224.42	c #Conflicts:     143000 | #Constraints:      11655
223.76/224.42	c #Conflicts:     144000 | #Constraints:      12655
223.76/224.42	c #Conflicts:     145000 | #Constraints:      13655
223.76/224.42	c #Conflicts:     146000 | #Constraints:      14655
223.76/224.42	c #Conflicts:     147000 | #Constraints:      15655
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     148000 | #Constraints:       9058
223.76/224.42	c #Conflicts:     149000 | #Constraints:      10058
223.76/224.42	c #Conflicts:     150000 | #Constraints:      11058
223.76/224.42	c #Conflicts:     151000 | #Constraints:      12058
223.76/224.42	c #Conflicts:     152000 | #Constraints:      13058
223.76/224.42	c #Conflicts:     153000 | #Constraints:      14058
223.76/224.42	c #Conflicts:     154000 | #Constraints:      15058
223.76/224.42	c #Conflicts:     155000 | #Constraints:      16058
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     156000 | #Constraints:       9263
223.76/224.42	c #Conflicts:     157000 | #Constraints:      10263
223.76/224.42	c #Conflicts:     158000 | #Constraints:      11263
223.76/224.42	c #Conflicts:     159000 | #Constraints:      12263
223.76/224.42	c #Conflicts:     160000 | #Constraints:      13263
223.76/224.42	c #Conflicts:     161000 | #Constraints:      14263
223.76/224.42	c #Conflicts:     162000 | #Constraints:      15263
223.76/224.42	c #Conflicts:     163000 | #Constraints:      16263
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     164000 | #Constraints:       9265
223.76/224.42	c #Conflicts:     165000 | #Constraints:      10265
223.76/224.42	c #Conflicts:     166000 | #Constraints:      11265
223.76/224.42	c #Conflicts:     167000 | #Constraints:      12265
223.76/224.42	c #Conflicts:     168000 | #Constraints:      13265
223.76/224.42	c #Conflicts:     169000 | #Constraints:      14265
223.76/224.42	c #Conflicts:     170000 | #Constraints:      15265
223.76/224.42	c #Conflicts:     171000 | #Constraints:      16265
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     172000 | #Constraints:       9054
223.76/224.42	c #Conflicts:     173000 | #Constraints:      10054
223.76/224.42	c #Conflicts:     174000 | #Constraints:      11054
223.76/224.42	c #Conflicts:     175000 | #Constraints:      12054
223.76/224.42	c #Conflicts:     176000 | #Constraints:      13054
223.76/224.42	c #Conflicts:     177000 | #Constraints:      14054
223.76/224.42	c #Conflicts:     178000 | #Constraints:      15054
223.76/224.42	c #Conflicts:     179000 | #Constraints:      16054
223.76/224.42	c #Conflicts:     180000 | #Constraints:      17054
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     181000 | #Constraints:       9651
223.76/224.42	c #Conflicts:     182000 | #Constraints:      10651
223.76/224.42	c #Conflicts:     183000 | #Constraints:      11651
223.76/224.42	c #Conflicts:     184000 | #Constraints:      12651
223.76/224.42	c #Conflicts:     185000 | #Constraints:      13651
223.76/224.42	c #Conflicts:     186000 | #Constraints:      14651
223.76/224.42	c #Conflicts:     187000 | #Constraints:      15651
223.76/224.42	c #Conflicts:     188000 | #Constraints:      16651
223.76/224.42	c #Conflicts:     189000 | #Constraints:      17651
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     190000 | #Constraints:      10065
223.76/224.42	c #Conflicts:     191000 | #Constraints:      11065
223.76/224.42	c #Conflicts:     192000 | #Constraints:      12065
223.76/224.42	c #Conflicts:     193000 | #Constraints:      13065
223.76/224.42	c #Conflicts:     194000 | #Constraints:      14065
223.76/224.42	c #Conflicts:     195000 | #Constraints:      15065
223.76/224.42	c #Conflicts:     196000 | #Constraints:      16065
223.76/224.42	c #Conflicts:     197000 | #Constraints:      17065
223.76/224.42	c #Conflicts:     198000 | #Constraints:      18065
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     199000 | #Constraints:      10274
223.76/224.42	c #Conflicts:     200000 | #Constraints:      11274
223.76/224.42	c #Conflicts:     201000 | #Constraints:      12274
223.76/224.42	c #Conflicts:     202000 | #Constraints:      13274
223.76/224.42	c #Conflicts:     203000 | #Constraints:      14274
223.76/224.42	c #Conflicts:     204000 | #Constraints:      15274
223.76/224.42	c #Conflicts:     205000 | #Constraints:      16274
223.76/224.42	c #Conflicts:     206000 | #Constraints:      17274
223.76/224.42	c #Conflicts:     207000 | #Constraints:      18274
223.76/224.42	c INPROCESSING
223.76/224.42	c GARBAGE COLLECT
223.76/224.42	c #Conflicts:     208000 | #Constraints:      10289
223.76/224.42	c #Conflicts:     209000 | #Constraints:      11289
223.76/224.42	c #Conflicts:     210000 | #Constraints:      12289
223.76/224.42	c #Conflicts:     211000 | #Constraints:      13289
223.76/224.42	c #Conflicts:     212000 | #Constraints:      14289
223.76/224.42	c #Conflicts:     213000 | #Constraints:      15289
335.93/336.99	c #Conflicts:     214000 | #Constraints:      16289
335.93/336.99	c #Conflicts:     215000 | #Constraints:      17289
335.93/336.99	c #Conflicts:     216000 | #Constraints:      18289
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     217000 | #Constraints:      10084
335.93/336.99	c #Conflicts:     218000 | #Constraints:      11084
335.93/336.99	c #Conflicts:     219000 | #Constraints:      12084
335.93/336.99	c #Conflicts:     220000 | #Constraints:      13084
335.93/336.99	c #Conflicts:     221000 | #Constraints:      14084
335.93/336.99	c #Conflicts:     222000 | #Constraints:      15084
335.93/336.99	c #Conflicts:     223000 | #Constraints:      16084
335.93/336.99	c #Conflicts:     224000 | #Constraints:      17084
335.93/336.99	c #Conflicts:     225000 | #Constraints:      18084
335.93/336.99	c #Conflicts:     226000 | #Constraints:      19084
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     227000 | #Constraints:      10698
335.93/336.99	c #Conflicts:     228000 | #Constraints:      11698
335.93/336.99	c #Conflicts:     229000 | #Constraints:      12698
335.93/336.99	c #Conflicts:     230000 | #Constraints:      13698
335.93/336.99	c #Conflicts:     231000 | #Constraints:      14698
335.93/336.99	c #Conflicts:     232000 | #Constraints:      15698
335.93/336.99	c #Conflicts:     233000 | #Constraints:      16698
335.93/336.99	c #Conflicts:     234000 | #Constraints:      17698
335.93/336.99	c #Conflicts:     235000 | #Constraints:      18698
335.93/336.99	c #Conflicts:     236000 | #Constraints:      19698
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     237000 | #Constraints:      11081
335.93/336.99	c #Conflicts:     238000 | #Constraints:      12081
335.93/336.99	c #Conflicts:     239000 | #Constraints:      13081
335.93/336.99	c #Conflicts:     240000 | #Constraints:      14081
335.93/336.99	c #Conflicts:     241000 | #Constraints:      15081
335.93/336.99	c #Conflicts:     242000 | #Constraints:      16081
335.93/336.99	c #Conflicts:     243000 | #Constraints:      17081
335.93/336.99	c #Conflicts:     244000 | #Constraints:      18081
335.93/336.99	c #Conflicts:     245000 | #Constraints:      19081
335.93/336.99	c #Conflicts:     246000 | #Constraints:      20081
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     247000 | #Constraints:      11265
335.93/336.99	c #Conflicts:     248000 | #Constraints:      12265
335.93/336.99	c #Conflicts:     249000 | #Constraints:      13265
335.93/336.99	c #Conflicts:     250000 | #Constraints:      14265
335.93/336.99	c #Conflicts:     251000 | #Constraints:      15265
335.93/336.99	c #Conflicts:     252000 | #Constraints:      16265
335.93/336.99	c #Conflicts:     253000 | #Constraints:      17265
335.93/336.99	c #Conflicts:     254000 | #Constraints:      18265
335.93/336.99	c #Conflicts:     255000 | #Constraints:      19265
335.93/336.99	c #Conflicts:     256000 | #Constraints:      20265
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     257000 | #Constraints:      11256
335.93/336.99	c #Conflicts:     258000 | #Constraints:      12256
335.93/336.99	c #Conflicts:     259000 | #Constraints:      13256
335.93/336.99	c #Conflicts:     260000 | #Constraints:      14256
335.93/336.99	c #Conflicts:     261000 | #Constraints:      15256
335.93/336.99	c #Conflicts:     262000 | #Constraints:      16256
335.93/336.99	c #Conflicts:     263000 | #Constraints:      17256
335.93/336.99	c #Conflicts:     264000 | #Constraints:      18256
335.93/336.99	c #Conflicts:     265000 | #Constraints:      19256
335.93/336.99	c #Conflicts:     266000 | #Constraints:      20256
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     267000 | #Constraints:      11063
335.93/336.99	c #Conflicts:     268000 | #Constraints:      12063
335.93/336.99	c #Conflicts:     269000 | #Constraints:      13063
335.93/336.99	c #Conflicts:     270000 | #Constraints:      14063
335.93/336.99	c #Conflicts:     271000 | #Constraints:      15063
335.93/336.99	c #Conflicts:     272000 | #Constraints:      16063
335.93/336.99	c #Conflicts:     273000 | #Constraints:      17063
335.93/336.99	c #Conflicts:     274000 | #Constraints:      18063
335.93/336.99	c #Conflicts:     275000 | #Constraints:      19063
335.93/336.99	c #Conflicts:     276000 | #Constraints:      20063
335.93/336.99	c #Conflicts:     277000 | #Constraints:      21063
335.93/336.99	c INPROCESSING
335.93/336.99	c GARBAGE COLLECT
335.93/336.99	c #Conflicts:     278000 | #Constraints:      11656
335.93/336.99	c #Conflicts:     279000 | #Constraints:      12656
335.93/336.99	c #Conflicts:     280000 | #Constraints:      13656
335.93/336.99	c #Conflicts:     281000 | #Constraints:      14656
335.93/336.99	c #Conflicts:     282000 | #Constraints:      15656
335.93/336.99	c #Conflicts:     283000 | #Constraints:      16656
335.93/336.99	c #Conflicts:     284000 | #Constraints:      17656
335.93/336.99	c #Conflicts:     285000 | #Constraints:      18656
335.93/336.99	c #Conflicts:     286000 | #Constraints:      19656
335.93/336.99	c #Conflicts:     287000 | #Constraints:      20656
432.76/434.09	c #Conflicts:     288000 | #Constraints:      21656
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     289000 | #Constraints:      12055
432.76/434.09	c #Conflicts:     290000 | #Constraints:      13055
432.76/434.09	c #Conflicts:     291000 | #Constraints:      14055
432.76/434.09	c #Conflicts:     292000 | #Constraints:      15055
432.76/434.09	c #Conflicts:     293000 | #Constraints:      16055
432.76/434.09	c #Conflicts:     294000 | #Constraints:      17055
432.76/434.09	c #Conflicts:     295000 | #Constraints:      18055
432.76/434.09	c #Conflicts:     296000 | #Constraints:      19055
432.76/434.09	c #Conflicts:     297000 | #Constraints:      20055
432.76/434.09	c #Conflicts:     298000 | #Constraints:      21055
432.76/434.09	c #Conflicts:     299000 | #Constraints:      22055
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     300000 | #Constraints:      12253
432.76/434.09	c #Conflicts:     301000 | #Constraints:      13253
432.76/434.09	c #Conflicts:     302000 | #Constraints:      14253
432.76/434.09	c #Conflicts:     303000 | #Constraints:      15253
432.76/434.09	c #Conflicts:     304000 | #Constraints:      16253
432.76/434.09	c #Conflicts:     305000 | #Constraints:      17253
432.76/434.09	c #Conflicts:     306000 | #Constraints:      18253
432.76/434.09	c #Conflicts:     307000 | #Constraints:      19253
432.76/434.09	c #Conflicts:     308000 | #Constraints:      20253
432.76/434.09	c #Conflicts:     309000 | #Constraints:      21253
432.76/434.09	c #Conflicts:     310000 | #Constraints:      22253
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     311000 | #Constraints:      12261
432.76/434.09	c #Conflicts:     312000 | #Constraints:      13261
432.76/434.09	c #Conflicts:     313000 | #Constraints:      14261
432.76/434.09	c #Conflicts:     314000 | #Constraints:      15261
432.76/434.09	c #Conflicts:     315000 | #Constraints:      16261
432.76/434.09	c #Conflicts:     316000 | #Constraints:      17261
432.76/434.09	c #Conflicts:     317000 | #Constraints:      18261
432.76/434.09	c #Conflicts:     318000 | #Constraints:      19261
432.76/434.09	c #Conflicts:     319000 | #Constraints:      20261
432.76/434.09	c #Conflicts:     320000 | #Constraints:      21261
432.76/434.09	c #Conflicts:     321000 | #Constraints:      22261
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     322000 | #Constraints:      12073
432.76/434.09	c #Conflicts:     323000 | #Constraints:      13073
432.76/434.09	c #Conflicts:     324000 | #Constraints:      14073
432.76/434.09	c #Conflicts:     325000 | #Constraints:      15073
432.76/434.09	c #Conflicts:     326000 | #Constraints:      16073
432.76/434.09	c #Conflicts:     327000 | #Constraints:      17073
432.76/434.09	c #Conflicts:     328000 | #Constraints:      18073
432.76/434.09	c #Conflicts:     329000 | #Constraints:      19073
432.76/434.09	c #Conflicts:     330000 | #Constraints:      20073
432.76/434.09	c #Conflicts:     331000 | #Constraints:      21073
432.76/434.09	c #Conflicts:     332000 | #Constraints:      22073
432.76/434.09	c #Conflicts:     333000 | #Constraints:      23073
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     334000 | #Constraints:      12661
432.76/434.09	c #Conflicts:     335000 | #Constraints:      13661
432.76/434.09	c #Conflicts:     336000 | #Constraints:      14661
432.76/434.09	c #Conflicts:     337000 | #Constraints:      15661
432.76/434.09	c #Conflicts:     338000 | #Constraints:      16661
432.76/434.09	c #Conflicts:     339000 | #Constraints:      17661
432.76/434.09	c #Conflicts:     340000 | #Constraints:      18661
432.76/434.09	c #Conflicts:     341000 | #Constraints:      19661
432.76/434.09	c #Conflicts:     342000 | #Constraints:      20661
432.76/434.09	c #Conflicts:     343000 | #Constraints:      21661
432.76/434.09	c #Conflicts:     344000 | #Constraints:      22661
432.76/434.09	c #Conflicts:     345000 | #Constraints:      23661
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     346000 | #Constraints:      13055
432.76/434.09	c #Conflicts:     347000 | #Constraints:      14055
432.76/434.09	c #Conflicts:     348000 | #Constraints:      15055
432.76/434.09	c #Conflicts:     349000 | #Constraints:      16055
432.76/434.09	c #Conflicts:     350000 | #Constraints:      17055
432.76/434.09	c #Conflicts:     351000 | #Constraints:      18055
432.76/434.09	c #Conflicts:     352000 | #Constraints:      19055
432.76/434.09	c #Conflicts:     353000 | #Constraints:      20055
432.76/434.09	c #Conflicts:     354000 | #Constraints:      21055
432.76/434.09	c #Conflicts:     355000 | #Constraints:      22055
432.76/434.09	c #Conflicts:     356000 | #Constraints:      23055
432.76/434.09	c #Conflicts:     357000 | #Constraints:      24055
432.76/434.09	c INPROCESSING
432.76/434.09	c GARBAGE COLLECT
432.76/434.09	c #Conflicts:     358000 | #Constraints:      13260
432.76/434.09	c #Conflicts:     359000 | #Constraints:      14260
432.76/434.09	c #Conflicts:     360000 | #Constraints:      15260
432.76/434.09	c #Conflicts:     361000 | #Constraints:      16260
532.31/533.93	c #Conflicts:     362000 | #Constraints:      17260
532.31/533.93	c #Conflicts:     363000 | #Constraints:      18260
532.31/533.93	c #Conflicts:     364000 | #Constraints:      19260
532.31/533.93	c #Conflicts:     365000 | #Constraints:      20260
532.31/533.93	c #Conflicts:     366000 | #Constraints:      21260
532.31/533.93	c #Conflicts:     367000 | #Constraints:      22260
532.31/533.93	c #Conflicts:     368000 | #Constraints:      23260
532.31/533.93	c #Conflicts:     369000 | #Constraints:      24260
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     370000 | #Constraints:      13270
532.31/533.93	c #Conflicts:     371000 | #Constraints:      14270
532.31/533.93	c #Conflicts:     372000 | #Constraints:      15270
532.31/533.93	c #Conflicts:     373000 | #Constraints:      16270
532.31/533.93	c #Conflicts:     374000 | #Constraints:      17270
532.31/533.93	c #Conflicts:     375000 | #Constraints:      18270
532.31/533.93	c #Conflicts:     376000 | #Constraints:      19270
532.31/533.93	c #Conflicts:     377000 | #Constraints:      20270
532.31/533.93	c #Conflicts:     378000 | #Constraints:      21270
532.31/533.93	c #Conflicts:     379000 | #Constraints:      22270
532.31/533.93	c #Conflicts:     380000 | #Constraints:      23270
532.31/533.93	c #Conflicts:     381000 | #Constraints:      24270
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     382000 | #Constraints:      13061
532.31/533.93	c #Conflicts:     383000 | #Constraints:      14061
532.31/533.93	c #Conflicts:     384000 | #Constraints:      15061
532.31/533.93	c #Conflicts:     385000 | #Constraints:      16061
532.31/533.93	c #Conflicts:     386000 | #Constraints:      17061
532.31/533.93	c #Conflicts:     387000 | #Constraints:      18061
532.31/533.93	c #Conflicts:     388000 | #Constraints:      19061
532.31/533.93	c #Conflicts:     389000 | #Constraints:      20061
532.31/533.93	c #Conflicts:     390000 | #Constraints:      21061
532.31/533.93	c #Conflicts:     391000 | #Constraints:      22061
532.31/533.93	c #Conflicts:     392000 | #Constraints:      23061
532.31/533.93	c #Conflicts:     393000 | #Constraints:      24061
532.31/533.93	c #Conflicts:     394000 | #Constraints:      25061
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     395000 | #Constraints:      13665
532.31/533.93	c #Conflicts:     396000 | #Constraints:      14665
532.31/533.93	c #Conflicts:     397000 | #Constraints:      15665
532.31/533.93	c #Conflicts:     398000 | #Constraints:      16665
532.31/533.93	c #Conflicts:     399000 | #Constraints:      17665
532.31/533.93	c #Conflicts:     400000 | #Constraints:      18665
532.31/533.93	c #Conflicts:     401000 | #Constraints:      19665
532.31/533.93	c #Conflicts:     402000 | #Constraints:      20665
532.31/533.93	c #Conflicts:     403000 | #Constraints:      21665
532.31/533.93	c #Conflicts:     404000 | #Constraints:      22665
532.31/533.93	c #Conflicts:     405000 | #Constraints:      23665
532.31/533.93	c #Conflicts:     406000 | #Constraints:      24665
532.31/533.93	c #Conflicts:     407000 | #Constraints:      25665
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     408000 | #Constraints:      14054
532.31/533.93	c #Conflicts:     409000 | #Constraints:      15054
532.31/533.93	c #Conflicts:     410000 | #Constraints:      16054
532.31/533.93	c #Conflicts:     411000 | #Constraints:      17054
532.31/533.93	c #Conflicts:     412000 | #Constraints:      18054
532.31/533.93	c #Conflicts:     413000 | #Constraints:      19054
532.31/533.93	c #Conflicts:     414000 | #Constraints:      20054
532.31/533.93	c #Conflicts:     415000 | #Constraints:      21054
532.31/533.93	c #Conflicts:     416000 | #Constraints:      22054
532.31/533.93	c #Conflicts:     417000 | #Constraints:      23054
532.31/533.93	c #Conflicts:     418000 | #Constraints:      24054
532.31/533.93	c #Conflicts:     419000 | #Constraints:      25054
532.31/533.93	c #Conflicts:     420000 | #Constraints:      26054
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     421000 | #Constraints:      14269
532.31/533.93	c #Conflicts:     422000 | #Constraints:      15269
532.31/533.93	c #Conflicts:     423000 | #Constraints:      16269
532.31/533.93	c #Conflicts:     424000 | #Constraints:      17269
532.31/533.93	c #Conflicts:     425000 | #Constraints:      18269
532.31/533.93	c #Conflicts:     426000 | #Constraints:      19269
532.31/533.93	c #Conflicts:     427000 | #Constraints:      20269
532.31/533.93	c #Conflicts:     428000 | #Constraints:      21269
532.31/533.93	c #Conflicts:     429000 | #Constraints:      22269
532.31/533.93	c #Conflicts:     430000 | #Constraints:      23269
532.31/533.93	c #Conflicts:     431000 | #Constraints:      24269
532.31/533.93	c #Conflicts:     432000 | #Constraints:      25269
532.31/533.93	c #Conflicts:     433000 | #Constraints:      26269
532.31/533.93	c INPROCESSING
532.31/533.93	c GARBAGE COLLECT
532.31/533.93	c #Conflicts:     434000 | #Constraints:      14306
532.31/533.93	c #Conflicts:     435000 | #Constraints:      15306
532.31/533.93	c #Conflicts:     436000 | #Constraints:      16306
775.96/778.48	c #Conflicts:     437000 | #Constraints:      17306
775.96/778.48	c #Conflicts:     438000 | #Constraints:      18306
775.96/778.48	c #Conflicts:     439000 | #Constraints:      19306
775.96/778.48	c #Conflicts:     440000 | #Constraints:      20306
775.96/778.48	c #Conflicts:     441000 | #Constraints:      21306
775.96/778.48	c #Conflicts:     442000 | #Constraints:      22306
775.96/778.48	c #Conflicts:     443000 | #Constraints:      23306
775.96/778.48	c #Conflicts:     444000 | #Constraints:      24306
775.96/778.48	c #Conflicts:     445000 | #Constraints:      25306
775.96/778.48	c #Conflicts:     446000 | #Constraints:      26306
775.96/778.48	c INPROCESSING
775.96/778.48	c GARBAGE COLLECT
775.96/778.48	c #Conflicts:     447000 | #Constraints:      14124
775.96/778.48	c #Conflicts:     448000 | #Constraints:      15124
775.96/778.48	c #Conflicts:     449000 | #Constraints:      16124
775.96/778.48	c #Conflicts:     450000 | #Constraints:      17124
775.96/778.48	c #Conflicts:     451000 | #Constraints:      18124
775.96/778.48	c #Conflicts:     452000 | #Constraints:      19124
775.96/778.48	c #Conflicts:     453000 | #Constraints:      20124
775.96/778.48	c #Conflicts:     454000 | #Constraints:      21124
775.96/778.48	c #Conflicts:     455000 | #Constraints:      22124
775.96/778.48	c #Conflicts:     456000 | #Constraints:      23124
775.96/778.48	c #Conflicts:     457000 | #Constraints:      24124
775.96/778.48	c #Conflicts:     458000 | #Constraints:      25124
775.96/778.48	c #Conflicts:     459000 | #Constraints:      26124
775.96/778.48	c #Conflicts:     460000 | #Constraints:      27124
775.96/778.48	c INPROCESSING
775.96/778.48	c GARBAGE COLLECT
775.96/778.48	c #Conflicts:     461000 | #Constraints:      14713
775.96/778.48	c #Conflicts:     462000 | #Constraints:      15713
775.96/778.48	c #Conflicts:     463000 | #Constraints:      16713
775.96/778.48	c #Conflicts:     464000 | #Constraints:      17713
775.96/778.48	c #Conflicts:     465000 | #Constraints:      18713
775.96/778.48	c #Conflicts:     466000 | #Constraints:      19713
775.96/778.48	c #Conflicts:     467000 | #Constraints:      20713
775.96/778.48	c #Conflicts:     468000 | #Constraints:      21713
775.96/778.48	c #Conflicts:     469000 | #Constraints:      22713
775.96/778.48	c #Conflicts:     470000 | #Constraints:      23713
775.96/778.48	c #Conflicts:     471000 | #Constraints:      24713
775.96/778.48	c #Conflicts:     472000 | #Constraints:      25713
775.96/778.48	c #Conflicts:     473000 | #Constraints:      26713
775.96/778.48	c #Conflicts:     474000 | #Constraints:      27713
775.96/778.48	c INPROCESSING
775.96/778.48	c GARBAGE COLLECT
775.96/778.48	c #Conflicts:     475000 | #Constraints:      15091
775.96/778.48	c #Conflicts:     476000 | #Constraints:      16091
775.96/778.48	c #Conflicts:     477000 | #Constraints:      17091
775.96/778.48	c #Conflicts:     478000 | #Constraints:      18091
775.96/778.48	c #Conflicts:     479000 | #Constraints:      19091
775.96/778.48	c #Conflicts:     480000 | #Constraints:      20091
775.96/778.48	c #Conflicts:     481000 | #Constraints:      21091
775.96/778.48	c #Conflicts:     482000 | #Constraints:      22091
775.96/778.48	c #Conflicts:     483000 | #Constraints:      23091
775.96/778.48	c #Conflicts:     484000 | #Constraints:      24091
775.96/778.48	c #Conflicts:     485000 | #Constraints:      25091
775.96/778.48	c #Conflicts:     486000 | #Constraints:      26091
775.96/778.48	c #Conflicts:     487000 | #Constraints:      27091
775.96/778.48	c #Conflicts:     488000 | #Constraints:      28091
775.96/778.48	c INPROCESSING
775.96/778.48	c GARBAGE COLLECT
775.96/778.48	c #Conflicts:     489000 | #Constraints:      15293
775.96/778.48	c #Conflicts:     490000 | #Constraints:      16293
775.96/778.48	c #Conflicts:     491000 | #Constraints:      17293
775.96/778.48	c #Conflicts:     492000 | #Constraints:      18293
775.96/778.48	c #Conflicts:     493000 | #Constraints:      19293
775.96/778.48	c #Conflicts:     494000 | #Constraints:      20293
775.96/778.48	c #Conflicts:     495000 | #Constraints:      21293
775.96/778.48	c #Conflicts:     496000 | #Constraints:      22293
775.96/778.48	c #Conflicts:     497000 | #Constraints:      23293
775.96/778.48	c #Conflicts:     498000 | #Constraints:      24293
775.96/778.48	c #Conflicts:     499000 | #Constraints:      25293
775.96/778.48	c #Conflicts:     500000 | #Constraints:      26293
775.96/778.48	c #Conflicts:     501000 | #Constraints:      27293
775.96/778.48	c #Conflicts:     502000 | #Constraints:      28293
775.96/778.48	c INPROCESSING
775.96/778.48	c GARBAGE COLLECT
775.96/778.48	c #Conflicts:     503000 | #Constraints:      15314
775.96/778.48	c #Conflicts:     504000 | #Constraints:      16314
775.96/778.48	c #Conflicts:     505000 | #Constraints:      17314
775.96/778.48	c #Conflicts:     506000 | #Constraints:      18314
775.96/778.48	c #Conflicts:     507000 | #Constraints:      19314
775.96/778.48	c #Conflicts:     508000 | #Constraints:      20314
775.96/778.48	c #Conflicts:     509000 | #Constraints:      21314
775.96/778.48	c #Conflicts:     510000 | #Constraints:      22314
775.96/778.48	c #Conflicts:     511000 | #Constraints:      23314
775.96/778.48	c #Conflicts:     512000 | #Constraints:      24314
914.48/917.41	c #Conflicts:     513000 | #Constraints:      25314
914.48/917.41	c #Conflicts:     514000 | #Constraints:      26314
914.48/917.41	c #Conflicts:     515000 | #Constraints:      27314
914.48/917.41	c #Conflicts:     516000 | #Constraints:      28314
914.48/917.41	c INPROCESSING
914.48/917.41	c GARBAGE COLLECT
914.48/917.41	c #Conflicts:     517000 | #Constraints:      15082
914.48/917.41	c #Conflicts:     518000 | #Constraints:      16082
914.48/917.41	c #Conflicts:     519000 | #Constraints:      17082
914.48/917.41	c #Conflicts:     520000 | #Constraints:      18082
914.48/917.41	c #Conflicts:     521000 | #Constraints:      19082
914.48/917.41	c #Conflicts:     522000 | #Constraints:      20082
914.48/917.41	c #Conflicts:     523000 | #Constraints:      21082
914.48/917.41	c #Conflicts:     524000 | #Constraints:      22082
914.48/917.41	c #Conflicts:     525000 | #Constraints:      23082
914.48/917.41	c #Conflicts:     526000 | #Constraints:      24082
914.48/917.41	c #Conflicts:     527000 | #Constraints:      25082
914.48/917.41	c #Conflicts:     528000 | #Constraints:      26082
914.48/917.41	c #Conflicts:     529000 | #Constraints:      27082
914.48/917.41	c #Conflicts:     530000 | #Constraints:      28082
914.48/917.41	c #Conflicts:     531000 | #Constraints:      29082
914.48/917.41	c INPROCESSING
914.48/917.41	c GARBAGE COLLECT
914.48/917.41	c #Conflicts:     532000 | #Constraints:      15675
914.48/917.41	c #Conflicts:     533000 | #Constraints:      16675
914.48/917.41	c #Conflicts:     534000 | #Constraints:      17675
914.48/917.41	c #Conflicts:     535000 | #Constraints:      18675
914.48/917.41	c #Conflicts:     536000 | #Constraints:      19675
914.48/917.41	c #Conflicts:     537000 | #Constraints:      20675
914.48/917.41	c #Conflicts:     538000 | #Constraints:      21675
914.48/917.41	c #Conflicts:     539000 | #Constraints:      22675
914.48/917.41	c #Conflicts:     540000 | #Constraints:      23675
914.48/917.41	c #Conflicts:     541000 | #Constraints:      24675
914.48/917.41	c #Conflicts:     542000 | #Constraints:      25675
914.48/917.41	c #Conflicts:     543000 | #Constraints:      26675
914.48/917.41	c #Conflicts:     544000 | #Constraints:      27675
914.48/917.41	c #Conflicts:     545000 | #Constraints:      28675
914.48/917.41	c #Conflicts:     546000 | #Constraints:      29675
914.48/917.41	c INPROCESSING
914.48/917.41	c GARBAGE COLLECT
914.48/917.41	c #Conflicts:     547000 | #Constraints:      16059
914.48/917.41	c #Conflicts:     548000 | #Constraints:      17059
914.48/917.41	c #Conflicts:     549000 | #Constraints:      18059
914.48/917.41	c #Conflicts:     550000 | #Constraints:      19059
914.48/917.41	c #Conflicts:     551000 | #Constraints:      20059
914.48/917.41	c #Conflicts:     552000 | #Constraints:      21059
914.48/917.41	c #Conflicts:     553000 | #Constraints:      22059
914.48/917.41	c #Conflicts:     554000 | #Constraints:      23059
914.48/917.41	c #Conflicts:     555000 | #Constraints:      24059
914.48/917.41	c #Conflicts:     556000 | #Constraints:      25059
914.48/917.41	c #Conflicts:     557000 | #Constraints:      26059
914.48/917.41	c #Conflicts:     558000 | #Constraints:      27059
914.48/917.41	c #Conflicts:     559000 | #Constraints:      28059
914.48/917.41	c #Conflicts:     560000 | #Constraints:      29059
914.48/917.41	c #Conflicts:     561000 | #Constraints:      30059
914.48/917.41	c INPROCESSING
914.48/917.41	c GARBAGE COLLECT
914.48/917.41	c #Conflicts:     562000 | #Constraints:      16260
914.48/917.41	c #Conflicts:     563000 | #Constraints:      17260
914.48/917.41	c #Conflicts:     564000 | #Constraints:      18260
914.48/917.41	c #Conflicts:     565000 | #Constraints:      19260
914.48/917.41	c #Conflicts:     566000 | #Constraints:      20260
914.48/917.41	c #Conflicts:     567000 | #Constraints:      21260
914.48/917.41	c #Conflicts:     568000 | #Constraints:      22260
914.48/917.41	c #Conflicts:     569000 | #Constraints:      23260
914.48/917.41	c #Conflicts:     570000 | #Constraints:      24260
914.48/917.41	c #Conflicts:     571000 | #Constraints:      25260
914.48/917.41	c #Conflicts:     572000 | #Constraints:      26260
914.48/917.41	c #Conflicts:     573000 | #Constraints:      27260
914.48/917.41	c #Conflicts:     574000 | #Constraints:      28260
914.48/917.41	c #Conflicts:     575000 | #Constraints:      29260
914.48/917.41	c #Conflicts:     576000 | #Constraints:      30260
914.48/917.41	c INPROCESSING
914.48/917.41	c GARBAGE COLLECT
914.48/917.41	c #Conflicts:     577000 | #Constraints:      16271
914.48/917.41	c #Conflicts:     578000 | #Constraints:      17271
914.48/917.41	c #Conflicts:     579000 | #Constraints:      18271
914.48/917.41	c #Conflicts:     580000 | #Constraints:      19271
914.48/917.41	c #Conflicts:     581000 | #Constraints:      20271
914.48/917.41	c #Conflicts:     582000 | #Constraints:      21271
914.48/917.41	c #Conflicts:     583000 | #Constraints:      22271
914.48/917.41	c #Conflicts:     584000 | #Constraints:      23271
914.48/917.41	c #Conflicts:     585000 | #Constraints:      24271
914.48/917.41	c #Conflicts:     586000 | #Constraints:      25271
914.48/917.41	c #Conflicts:     587000 | #Constraints:      26271
914.48/917.41	c #Conflicts:     588000 | #Constraints:      27271
1028.19/1031.51	c #Conflicts:     589000 | #Constraints:      28271
1028.19/1031.51	c #Conflicts:     590000 | #Constraints:      29271
1028.19/1031.51	c #Conflicts:     591000 | #Constraints:      30271
1028.19/1031.51	c INPROCESSING
1028.19/1031.51	c GARBAGE COLLECT
1028.19/1031.51	c #Conflicts:     592000 | #Constraints:      16076
1028.19/1031.51	c #Conflicts:     593000 | #Constraints:      17076
1028.19/1031.51	c #Conflicts:     594000 | #Constraints:      18076
1028.19/1031.51	c #Conflicts:     595000 | #Constraints:      19076
1028.19/1031.51	c #Conflicts:     596000 | #Constraints:      20076
1028.19/1031.51	c #Conflicts:     597000 | #Constraints:      21076
1028.19/1031.51	c #Conflicts:     598000 | #Constraints:      22076
1028.19/1031.51	c #Conflicts:     599000 | #Constraints:      23076
1028.19/1031.51	c #Conflicts:     600000 | #Constraints:      24076
1028.19/1031.51	c #Conflicts:     601000 | #Constraints:      25076
1028.19/1031.51	c #Conflicts:     602000 | #Constraints:      26076
1028.19/1031.51	c #Conflicts:     603000 | #Constraints:      27076
1028.19/1031.51	c #Conflicts:     604000 | #Constraints:      28076
1028.19/1031.51	c #Conflicts:     605000 | #Constraints:      29076
1028.19/1031.51	c #Conflicts:     606000 | #Constraints:      30076
1028.19/1031.51	c #Conflicts:     607000 | #Constraints:      31076
1028.19/1031.51	c INPROCESSING
1028.19/1031.51	c GARBAGE COLLECT
1028.19/1031.51	c #Conflicts:     608000 | #Constraints:      16669
1028.19/1031.51	c #Conflicts:     609000 | #Constraints:      17669
1028.19/1031.51	c #Conflicts:     610000 | #Constraints:      18669
1028.19/1031.51	c #Conflicts:     611000 | #Constraints:      19669
1028.19/1031.51	c #Conflicts:     612000 | #Constraints:      20669
1028.19/1031.51	c #Conflicts:     613000 | #Constraints:      21669
1028.19/1031.51	c #Conflicts:     614000 | #Constraints:      22669
1028.19/1031.51	c #Conflicts:     615000 | #Constraints:      23669
1028.19/1031.51	c #Conflicts:     616000 | #Constraints:      24669
1028.19/1031.51	c #Conflicts:     617000 | #Constraints:      25669
1028.19/1031.51	c #Conflicts:     618000 | #Constraints:      26669
1028.19/1031.51	c #Conflicts:     619000 | #Constraints:      27669
1028.19/1031.51	c #Conflicts:     620000 | #Constraints:      28669
1028.19/1031.51	c #Conflicts:     621000 | #Constraints:      29669
1028.19/1031.51	c #Conflicts:     622000 | #Constraints:      30669
1028.19/1031.51	c #Conflicts:     623000 | #Constraints:      31669
1028.19/1031.51	c INPROCESSING
1028.19/1031.51	c GARBAGE COLLECT
1028.19/1031.51	c #Conflicts:     624000 | #Constraints:      17064
1028.19/1031.51	c #Conflicts:     625000 | #Constraints:      18064
1028.19/1031.51	c #Conflicts:     626000 | #Constraints:      19064
1028.19/1031.51	c #Conflicts:     627000 | #Constraints:      20064
1028.19/1031.51	c #Conflicts:     628000 | #Constraints:      21064
1028.19/1031.51	c #Conflicts:     629000 | #Constraints:      22064
1028.19/1031.51	c #Conflicts:     630000 | #Constraints:      23064
1028.19/1031.51	c #Conflicts:     631000 | #Constraints:      24064
1028.19/1031.51	c #Conflicts:     632000 | #Constraints:      25064
1028.19/1031.51	c #Conflicts:     633000 | #Constraints:      26064
1028.19/1031.51	c #Conflicts:     634000 | #Constraints:      27064
1028.19/1031.51	c #Conflicts:     635000 | #Constraints:      28064
1028.19/1031.51	c #Conflicts:     636000 | #Constraints:      29064
1028.19/1031.51	c #Conflicts:     637000 | #Constraints:      30064
1028.19/1031.51	c #Conflicts:     638000 | #Constraints:      31064
1028.19/1031.51	c #Conflicts:     639000 | #Constraints:      32064
1028.19/1031.51	c INPROCESSING
1028.19/1031.51	c GARBAGE COLLECT
1028.19/1031.51	c #Conflicts:     640000 | #Constraints:      17256
1028.19/1031.51	c #Conflicts:     641000 | #Constraints:      18256
1028.19/1031.51	c #Conflicts:     642000 | #Constraints:      19256
1028.19/1031.51	c #Conflicts:     643000 | #Constraints:      20256
1028.19/1031.51	c #Conflicts:     644000 | #Constraints:      21256
1028.19/1031.51	c #Conflicts:     645000 | #Constraints:      22256
1028.19/1031.51	c #Conflicts:     646000 | #Constraints:      23256
1028.19/1031.51	c #Conflicts:     647000 | #Constraints:      24256
1028.19/1031.51	c #Conflicts:     648000 | #Constraints:      25256
1028.19/1031.51	c #Conflicts:     649000 | #Constraints:      26256
1028.19/1031.51	c #Conflicts:     650000 | #Constraints:      27256
1028.19/1031.51	c #Conflicts:     651000 | #Constraints:      28256
1028.19/1031.51	c #Conflicts:     652000 | #Constraints:      29256
1028.19/1031.51	c #Conflicts:     653000 | #Constraints:      30256
1028.19/1031.51	c #Conflicts:     654000 | #Constraints:      31256
1028.19/1031.51	c #Conflicts:     655000 | #Constraints:      32256
1028.19/1031.51	c INPROCESSING
1028.19/1031.51	c GARBAGE COLLECT
1028.19/1031.51	c #Conflicts:     656000 | #Constraints:      17271
1028.19/1031.51	c #Conflicts:     657000 | #Constraints:      18271
1028.19/1031.51	c #Conflicts:     658000 | #Constraints:      19271
1028.19/1031.51	c #Conflicts:     659000 | #Constraints:      20271
1028.19/1031.51	c #Conflicts:     660000 | #Constraints:      21271
1028.19/1031.51	c #Conflicts:     661000 | #Constraints:      22271
1028.19/1031.51	c #Conflicts:     662000 | #Constraints:      23271
1028.19/1031.51	c #Conflicts:     663000 | #Constraints:      24271
1229.01/1233.05	c #Conflicts:     664000 | #Constraints:      25271
1229.01/1233.05	c #Conflicts:     665000 | #Constraints:      26271
1229.01/1233.05	c #Conflicts:     666000 | #Constraints:      27271
1229.01/1233.05	c #Conflicts:     667000 | #Constraints:      28271
1229.01/1233.05	c #Conflicts:     668000 | #Constraints:      29271
1229.01/1233.05	c #Conflicts:     669000 | #Constraints:      30271
1229.01/1233.05	c #Conflicts:     670000 | #Constraints:      31271
1229.01/1233.05	c #Conflicts:     671000 | #Constraints:      32271
1229.01/1233.05	c INPROCESSING
1229.01/1233.05	c GARBAGE COLLECT
1229.01/1233.05	c #Conflicts:     672000 | #Constraints:      17059
1229.01/1233.05	c #Conflicts:     673000 | #Constraints:      18059
1229.01/1233.05	c #Conflicts:     674000 | #Constraints:      19059
1229.01/1233.05	c #Conflicts:     675000 | #Constraints:      20059
1229.01/1233.05	c #Conflicts:     676000 | #Constraints:      21059
1229.01/1233.05	c #Conflicts:     677000 | #Constraints:      22059
1229.01/1233.05	c #Conflicts:     678000 | #Constraints:      23059
1229.01/1233.05	c #Conflicts:     679000 | #Constraints:      24059
1229.01/1233.05	c #Conflicts:     680000 | #Constraints:      25059
1229.01/1233.05	c #Conflicts:     681000 | #Constraints:      26059
1229.01/1233.05	c #Conflicts:     682000 | #Constraints:      27059
1229.01/1233.05	c #Conflicts:     683000 | #Constraints:      28059
1229.01/1233.05	c #Conflicts:     684000 | #Constraints:      29059
1229.01/1233.05	c #Conflicts:     685000 | #Constraints:      30059
1229.01/1233.05	c #Conflicts:     686000 | #Constraints:      31059
1229.01/1233.05	c #Conflicts:     687000 | #Constraints:      32059
1229.01/1233.05	c #Conflicts:     688000 | #Constraints:      33059
1229.01/1233.05	c INPROCESSING
1229.01/1233.05	c GARBAGE COLLECT
1229.01/1233.05	c #Conflicts:     689000 | #Constraints:      17648
1229.01/1233.05	c #Conflicts:     690000 | #Constraints:      18648
1229.01/1233.05	c #Conflicts:     691000 | #Constraints:      19648
1229.01/1233.05	c #Conflicts:     692000 | #Constraints:      20648
1229.01/1233.05	c #Conflicts:     693000 | #Constraints:      21648
1229.01/1233.05	c #Conflicts:     694000 | #Constraints:      22648
1229.01/1233.05	c #Conflicts:     695000 | #Constraints:      23648
1229.01/1233.05	c #Conflicts:     696000 | #Constraints:      24648
1229.01/1233.05	c #Conflicts:     697000 | #Constraints:      25648
1229.01/1233.05	c #Conflicts:     698000 | #Constraints:      26648
1229.01/1233.05	c #Conflicts:     699000 | #Constraints:      27648
1229.01/1233.05	c #Conflicts:     700000 | #Constraints:      28648
1229.01/1233.05	c #Conflicts:     701000 | #Constraints:      29648
1229.01/1233.05	c #Conflicts:     702000 | #Constraints:      30648
1229.01/1233.05	c #Conflicts:     703000 | #Constraints:      31648
1229.01/1233.05	c #Conflicts:     704000 | #Constraints:      32648
1229.01/1233.05	c #Conflicts:     705000 | #Constraints:      33648
1229.01/1233.05	c INPROCESSING
1229.01/1233.05	c GARBAGE COLLECT
1229.01/1233.05	c #Conflicts:     706000 | #Constraints:      18051
1229.01/1233.05	c #Conflicts:     707000 | #Constraints:      19051
1229.01/1233.05	c #Conflicts:     708000 | #Constraints:      20051
1229.01/1233.05	c #Conflicts:     709000 | #Constraints:      21051
1229.01/1233.05	c #Conflicts:     710000 | #Constraints:      22051
1229.01/1233.05	c #Conflicts:     711000 | #Constraints:      23051
1229.01/1233.05	c #Conflicts:     712000 | #Constraints:      24051
1229.01/1233.05	c #Conflicts:     713000 | #Constraints:      25051
1229.01/1233.05	c #Conflicts:     714000 | #Constraints:      26051
1229.01/1233.05	c #Conflicts:     715000 | #Constraints:      27051
1229.01/1233.05	c #Conflicts:     716000 | #Constraints:      28051
1229.01/1233.05	c #Conflicts:     717000 | #Constraints:      29051
1229.01/1233.05	c #Conflicts:     718000 | #Constraints:      30051
1229.01/1233.05	c #Conflicts:     719000 | #Constraints:      31051
1229.01/1233.05	c #Conflicts:     720000 | #Constraints:      32051
1229.01/1233.05	c #Conflicts:     721000 | #Constraints:      33051
1229.01/1233.05	c #Conflicts:     722000 | #Constraints:      34051
1229.01/1233.05	c INPROCESSING
1229.01/1233.05	c GARBAGE COLLECT
1229.01/1233.05	c #Conflicts:     723000 | #Constraints:      18270
1229.01/1233.05	c #Conflicts:     724000 | #Constraints:      19270
1229.01/1233.05	c #Conflicts:     725000 | #Constraints:      20270
1229.01/1233.05	c #Conflicts:     726000 | #Constraints:      21270
1229.01/1233.05	c #Conflicts:     727000 | #Constraints:      22270
1229.01/1233.05	c #Conflicts:     728000 | #Constraints:      23270
1229.01/1233.05	c #Conflicts:     729000 | #Constraints:      24270
1229.01/1233.05	c #Conflicts:     730000 | #Constraints:      25270
1229.01/1233.05	c #Conflicts:     731000 | #Constraints:      26270
1229.01/1233.05	c #Conflicts:     732000 | #Constraints:      27270
1229.01/1233.05	c #Conflicts:     733000 | #Constraints:      28270
1229.01/1233.05	c #Conflicts:     734000 | #Constraints:      29270
1229.01/1233.05	c #Conflicts:     735000 | #Constraints:      30270
1229.01/1233.05	c #Conflicts:     736000 | #Constraints:      31270
1229.01/1233.05	c #Conflicts:     737000 | #Constraints:      32270
1229.01/1233.05	c #Conflicts:     738000 | #Constraints:      33270
1229.01/1233.05	c #Conflicts:     739000 | #Constraints:      34270
1369.40/1373.91	c INPROCESSING
1369.40/1373.91	c GARBAGE COLLECT
1369.40/1373.91	c #Conflicts:     740000 | #Constraints:      18300
1369.40/1373.91	c #Conflicts:     741000 | #Constraints:      19300
1369.40/1373.91	c #Conflicts:     742000 | #Constraints:      20300
1369.40/1373.91	c #Conflicts:     743000 | #Constraints:      21300
1369.40/1373.91	c #Conflicts:     744000 | #Constraints:      22300
1369.40/1373.91	c #Conflicts:     745000 | #Constraints:      23300
1369.40/1373.91	c #Conflicts:     746000 | #Constraints:      24300
1369.40/1373.91	c #Conflicts:     747000 | #Constraints:      25300
1369.40/1373.91	c #Conflicts:     748000 | #Constraints:      26300
1369.40/1373.91	c #Conflicts:     749000 | #Constraints:      27300
1369.40/1373.91	c #Conflicts:     750000 | #Constraints:      28300
1369.40/1373.91	c #Conflicts:     751000 | #Constraints:      29300
1369.40/1373.91	c #Conflicts:     752000 | #Constraints:      30300
1369.40/1373.91	c #Conflicts:     753000 | #Constraints:      31300
1369.40/1373.91	c #Conflicts:     754000 | #Constraints:      32300
1369.40/1373.91	c #Conflicts:     755000 | #Constraints:      33300
1369.40/1373.91	c #Conflicts:     756000 | #Constraints:      34300
1369.40/1373.91	c INPROCESSING
1369.40/1373.91	c GARBAGE COLLECT
1369.40/1373.91	c #Conflicts:     757000 | #Constraints:      18072
1369.40/1373.91	c #Conflicts:     758000 | #Constraints:      19072
1369.40/1373.91	c #Conflicts:     759000 | #Constraints:      20072
1369.40/1373.91	c #Conflicts:     760000 | #Constraints:      21072
1369.40/1373.91	c #Conflicts:     761000 | #Constraints:      22072
1369.40/1373.91	c #Conflicts:     762000 | #Constraints:      23072
1369.40/1373.91	c #Conflicts:     763000 | #Constraints:      24072
1369.40/1373.91	c #Conflicts:     764000 | #Constraints:      25072
1369.40/1373.91	c #Conflicts:     765000 | #Constraints:      26072
1369.40/1373.91	c #Conflicts:     766000 | #Constraints:      27072
1369.40/1373.91	c #Conflicts:     767000 | #Constraints:      28072
1369.40/1373.91	c #Conflicts:     768000 | #Constraints:      29072
1369.40/1373.91	c #Conflicts:     769000 | #Constraints:      30072
1369.40/1373.91	c #Conflicts:     770000 | #Constraints:      31072
1369.40/1373.91	c #Conflicts:     771000 | #Constraints:      32072
1369.40/1373.91	c #Conflicts:     772000 | #Constraints:      33072
1369.40/1373.91	c #Conflicts:     773000 | #Constraints:      34072
1369.40/1373.91	c #Conflicts:     774000 | #Constraints:      35072
1369.40/1373.91	c INPROCESSING
1369.40/1373.91	c GARBAGE COLLECT
1369.40/1373.91	c #Conflicts:     775000 | #Constraints:      18673
1369.40/1373.91	c #Conflicts:     776000 | #Constraints:      19673
1369.40/1373.91	c #Conflicts:     777000 | #Constraints:      20673
1369.40/1373.91	c #Conflicts:     778000 | #Constraints:      21673
1369.40/1373.91	c #Conflicts:     779000 | #Constraints:      22673
1369.40/1373.91	c #Conflicts:     780000 | #Constraints:      23673
1369.40/1373.91	c #Conflicts:     781000 | #Constraints:      24673
1369.40/1373.91	c #Conflicts:     782000 | #Constraints:      25673
1369.40/1373.91	c #Conflicts:     783000 | #Constraints:      26673
1369.40/1373.91	c #Conflicts:     784000 | #Constraints:      27673
1369.40/1373.91	c #Conflicts:     785000 | #Constraints:      28673
1369.40/1373.91	c #Conflicts:     786000 | #Constraints:      29673
1369.40/1373.91	c #Conflicts:     787000 | #Constraints:      30673
1369.40/1373.91	c #Conflicts:     788000 | #Constraints:      31673
1369.40/1373.91	c #Conflicts:     789000 | #Constraints:      32673
1369.40/1373.91	c #Conflicts:     790000 | #Constraints:      33673
1369.40/1373.91	c #Conflicts:     791000 | #Constraints:      34673
1369.40/1373.91	c #Conflicts:     792000 | #Constraints:      35673
1369.40/1373.91	c INPROCESSING
1369.40/1373.91	c GARBAGE COLLECT
1369.40/1373.91	c #Conflicts:     793000 | #Constraints:      19071
1369.40/1373.91	c #Conflicts:     794000 | #Constraints:      20071
1369.40/1373.91	c #Conflicts:     795000 | #Constraints:      21071
1369.40/1373.91	c #Conflicts:     796000 | #Constraints:      22071
1369.40/1373.91	c #Conflicts:     797000 | #Constraints:      23071
1369.40/1373.91	c #Conflicts:     798000 | #Constraints:      24071
1369.40/1373.91	c #Conflicts:     799000 | #Constraints:      25071
1369.40/1373.91	c #Conflicts:     800000 | #Constraints:      26071
1369.40/1373.91	c #Conflicts:     801000 | #Constraints:      27071
1369.40/1373.91	c #Conflicts:     802000 | #Constraints:      28071
1369.40/1373.91	c #Conflicts:     803000 | #Constraints:      29071
1369.40/1373.91	c #Conflicts:     804000 | #Constraints:      30071
1369.40/1373.91	c #Conflicts:     805000 | #Constraints:      31071
1369.40/1373.91	c #Conflicts:     806000 | #Constraints:      32071
1369.40/1373.91	c #Conflicts:     807000 | #Constraints:      33071
1369.40/1373.91	c #Conflicts:     808000 | #Constraints:      34071
1369.40/1373.91	c #Conflicts:     809000 | #Constraints:      35071
1369.40/1373.91	c #Conflicts:     810000 | #Constraints:      36071
1369.40/1373.91	c INPROCESSING
1369.40/1373.91	c GARBAGE COLLECT
1369.40/1373.91	c #Conflicts:     811000 | #Constraints:      19272
1369.40/1373.91	c #Conflicts:     812000 | #Constraints:      20272
1369.40/1373.91	c #Conflicts:     813000 | #Constraints:      21272
1369.40/1373.91	c #Conflicts:     814000 | #Constraints:      22272
1369.40/1373.91	c #Conflicts:     815000 | #Constraints:      23272
1524.09/1529.13	c #Conflicts:     816000 | #Constraints:      24272
1524.09/1529.13	c #Conflicts:     817000 | #Constraints:      25272
1524.09/1529.13	c #Conflicts:     818000 | #Constraints:      26272
1524.09/1529.13	c #Conflicts:     819000 | #Constraints:      27272
1524.09/1529.13	c #Conflicts:     820000 | #Constraints:      28272
1524.09/1529.13	c #Conflicts:     821000 | #Constraints:      29272
1524.09/1529.13	c #Conflicts:     822000 | #Constraints:      30272
1524.09/1529.13	c #Conflicts:     823000 | #Constraints:      31272
1524.09/1529.13	c #Conflicts:     824000 | #Constraints:      32272
1524.09/1529.13	c #Conflicts:     825000 | #Constraints:      33272
1524.09/1529.13	c #Conflicts:     826000 | #Constraints:      34272
1524.09/1529.13	c #Conflicts:     827000 | #Constraints:      35272
1524.09/1529.13	c #Conflicts:     828000 | #Constraints:      36272
1524.09/1529.13	c INPROCESSING
1524.09/1529.13	c GARBAGE COLLECT
1524.09/1529.13	c #Conflicts:     829000 | #Constraints:      19282
1524.09/1529.13	c #Conflicts:     830000 | #Constraints:      20282
1524.09/1529.13	c #Conflicts:     831000 | #Constraints:      21282
1524.09/1529.13	c #Conflicts:     832000 | #Constraints:      22282
1524.09/1529.13	c #Conflicts:     833000 | #Constraints:      23282
1524.09/1529.13	c #Conflicts:     834000 | #Constraints:      24282
1524.09/1529.13	c #Conflicts:     835000 | #Constraints:      25282
1524.09/1529.13	c #Conflicts:     836000 | #Constraints:      26282
1524.09/1529.13	c #Conflicts:     837000 | #Constraints:      27282
1524.09/1529.13	c #Conflicts:     838000 | #Constraints:      28282
1524.09/1529.13	c #Conflicts:     839000 | #Constraints:      29282
1524.09/1529.13	c #Conflicts:     840000 | #Constraints:      30282
1524.09/1529.13	c #Conflicts:     841000 | #Constraints:      31282
1524.09/1529.13	c #Conflicts:     842000 | #Constraints:      32282
1524.09/1529.13	c #Conflicts:     843000 | #Constraints:      33282
1524.09/1529.13	c #Conflicts:     844000 | #Constraints:      34282
1524.09/1529.13	c #Conflicts:     845000 | #Constraints:      35282
1524.09/1529.13	c #Conflicts:     846000 | #Constraints:      36282
1524.09/1529.13	c INPROCESSING
1524.09/1529.13	c GARBAGE COLLECT
1524.09/1529.13	c #Conflicts:     847000 | #Constraints:      19077
1524.09/1529.13	c #Conflicts:     848000 | #Constraints:      20077
1524.09/1529.13	c #Conflicts:     849000 | #Constraints:      21077
1524.09/1529.13	c #Conflicts:     850000 | #Constraints:      22077
1524.09/1529.13	c #Conflicts:     851000 | #Constraints:      23077
1524.09/1529.13	c #Conflicts:     852000 | #Constraints:      24077
1524.09/1529.13	c #Conflicts:     853000 | #Constraints:      25077
1524.09/1529.13	c #Conflicts:     854000 | #Constraints:      26077
1524.09/1529.13	c #Conflicts:     855000 | #Constraints:      27077
1524.09/1529.13	c #Conflicts:     856000 | #Constraints:      28077
1524.09/1529.13	c #Conflicts:     857000 | #Constraints:      29077
1524.09/1529.13	c #Conflicts:     858000 | #Constraints:      30077
1524.09/1529.13	c #Conflicts:     859000 | #Constraints:      31077
1524.09/1529.13	c #Conflicts:     860000 | #Constraints:      32077
1524.09/1529.13	c #Conflicts:     861000 | #Constraints:      33077
1524.09/1529.13	c #Conflicts:     862000 | #Constraints:      34077
1524.09/1529.13	c #Conflicts:     863000 | #Constraints:      35077
1524.09/1529.13	c #Conflicts:     864000 | #Constraints:      36077
1524.09/1529.13	c #Conflicts:     865000 | #Constraints:      37077
1524.09/1529.13	c INPROCESSING
1524.09/1529.13	c GARBAGE COLLECT
1524.09/1529.13	c #Conflicts:     866000 | #Constraints:      19673
1524.09/1529.13	c #Conflicts:     867000 | #Constraints:      20673
1524.09/1529.13	c #Conflicts:     868000 | #Constraints:      21673
1524.09/1529.13	c #Conflicts:     869000 | #Constraints:      22673
1524.09/1529.13	c #Conflicts:     870000 | #Constraints:      23673
1524.09/1529.13	c #Conflicts:     871000 | #Constraints:      24673
1524.09/1529.13	c #Conflicts:     872000 | #Constraints:      25673
1524.09/1529.13	c #Conflicts:     873000 | #Constraints:      26673
1524.09/1529.13	c #Conflicts:     874000 | #Constraints:      27673
1524.09/1529.13	c #Conflicts:     875000 | #Constraints:      28673
1524.09/1529.13	c #Conflicts:     876000 | #Constraints:      29673
1524.09/1529.13	c #Conflicts:     877000 | #Constraints:      30673
1524.09/1529.13	c #Conflicts:     878000 | #Constraints:      31673
1524.09/1529.13	c #Conflicts:     879000 | #Constraints:      32673
1524.09/1529.13	c #Conflicts:     880000 | #Constraints:      33673
1524.09/1529.13	c #Conflicts:     881000 | #Constraints:      34673
1524.09/1529.13	c #Conflicts:     882000 | #Constraints:      35673
1524.09/1529.13	c #Conflicts:     883000 | #Constraints:      36673
1524.09/1529.13	c #Conflicts:     884000 | #Constraints:      37673
1524.09/1529.13	c INPROCESSING
1524.09/1529.13	c GARBAGE COLLECT
1524.09/1529.13	c #Conflicts:     885000 | #Constraints:      20058
1524.09/1529.13	c #Conflicts:     886000 | #Constraints:      21058
1524.09/1529.13	c #Conflicts:     887000 | #Constraints:      22058
1524.09/1529.13	c #Conflicts:     888000 | #Constraints:      23058
1524.09/1529.13	c #Conflicts:     889000 | #Constraints:      24058
1524.09/1529.13	c #Conflicts:     890000 | #Constraints:      25058
1524.09/1529.13	c #Conflicts:     891000 | #Constraints:      26058
1755.87/1761.72	c #Conflicts:     892000 | #Constraints:      27058
1755.87/1761.72	c #Conflicts:     893000 | #Constraints:      28058
1755.87/1761.72	c #Conflicts:     894000 | #Constraints:      29058
1755.87/1761.72	c #Conflicts:     895000 | #Constraints:      30058
1755.87/1761.72	c #Conflicts:     896000 | #Constraints:      31058
1755.87/1761.72	c #Conflicts:     897000 | #Constraints:      32058
1755.87/1761.72	c #Conflicts:     898000 | #Constraints:      33058
1755.87/1761.72	c #Conflicts:     899000 | #Constraints:      34058
1755.87/1761.72	c #Conflicts:     900000 | #Constraints:      35058
1755.87/1761.72	c #Conflicts:     901000 | #Constraints:      36058
1755.87/1761.72	c #Conflicts:     902000 | #Constraints:      37058
1755.87/1761.72	c #Conflicts:     903000 | #Constraints:      38058
1755.87/1761.72	c INPROCESSING
1755.87/1761.72	c GARBAGE COLLECT
1755.87/1761.72	c #Conflicts:     904000 | #Constraints:      20250
1755.87/1761.72	c #Conflicts:     905000 | #Constraints:      21250
1755.87/1761.72	c #Conflicts:     906000 | #Constraints:      22250
1755.87/1761.72	c #Conflicts:     907000 | #Constraints:      23250
1755.87/1761.72	c #Conflicts:     908000 | #Constraints:      24250
1755.87/1761.72	c #Conflicts:     909000 | #Constraints:      25250
1755.87/1761.72	c #Conflicts:     910000 | #Constraints:      26250
1755.87/1761.72	c #Conflicts:     911000 | #Constraints:      27250
1755.87/1761.72	c #Conflicts:     912000 | #Constraints:      28250
1755.87/1761.72	c #Conflicts:     913000 | #Constraints:      29250
1755.87/1761.72	c #Conflicts:     914000 | #Constraints:      30250
1755.87/1761.72	c #Conflicts:     915000 | #Constraints:      31250
1755.87/1761.72	c #Conflicts:     916000 | #Constraints:      32250
1755.87/1761.72	c #Conflicts:     917000 | #Constraints:      33250
1755.87/1761.72	c #Conflicts:     918000 | #Constraints:      34250
1755.87/1761.72	c #Conflicts:     919000 | #Constraints:      35250
1755.87/1761.72	c #Conflicts:     920000 | #Constraints:      36250
1755.87/1761.72	c #Conflicts:     921000 | #Constraints:      37250
1755.87/1761.72	c #Conflicts:     922000 | #Constraints:      38250
1755.87/1761.72	c INPROCESSING
1755.87/1761.72	c GARBAGE COLLECT
1755.87/1761.72	c #Conflicts:     923000 | #Constraints:      20258
1755.87/1761.72	c #Conflicts:     924000 | #Constraints:      21258
1755.87/1761.72	c #Conflicts:     925000 | #Constraints:      22258
1755.87/1761.72	c #Conflicts:     926000 | #Constraints:      23258
1755.87/1761.72	c #Conflicts:     927000 | #Constraints:      24258
1755.87/1761.72	c #Conflicts:     928000 | #Constraints:      25258
1755.87/1761.72	c #Conflicts:     929000 | #Constraints:      26258
1755.87/1761.72	c #Conflicts:     930000 | #Constraints:      27258
1755.87/1761.72	c #Conflicts:     931000 | #Constraints:      28258
1755.87/1761.72	c #Conflicts:     932000 | #Constraints:      29258
1755.87/1761.72	c #Conflicts:     933000 | #Constraints:      30258
1755.87/1761.72	c #Conflicts:     934000 | #Constraints:      31258
1755.87/1761.72	c #Conflicts:     935000 | #Constraints:      32258
1755.87/1761.72	c #Conflicts:     936000 | #Constraints:      33258
1755.87/1761.72	c #Conflicts:     937000 | #Constraints:      34258
1755.87/1761.72	c #Conflicts:     938000 | #Constraints:      35258
1755.87/1761.72	c #Conflicts:     939000 | #Constraints:      36258
1755.87/1761.72	c #Conflicts:     940000 | #Constraints:      37258
1755.87/1761.72	c #Conflicts:     941000 | #Constraints:      38258
1755.87/1761.72	c INPROCESSING
1755.87/1761.72	c GARBAGE COLLECT
1755.87/1761.72	c #Conflicts:     942000 | #Constraints:      20079
1755.87/1761.72	c #Conflicts:     943000 | #Constraints:      21079
1755.87/1761.72	c #Conflicts:     944000 | #Constraints:      22079
1755.87/1761.72	c #Conflicts:     945000 | #Constraints:      23079
1755.87/1761.72	c #Conflicts:     946000 | #Constraints:      24079
1755.87/1761.72	c #Conflicts:     947000 | #Constraints:      25079
1755.87/1761.72	c #Conflicts:     948000 | #Constraints:      26079
1755.87/1761.72	c #Conflicts:     949000 | #Constraints:      27079
1755.87/1761.72	c #Conflicts:     950000 | #Constraints:      28079
1755.87/1761.72	c #Conflicts:     951000 | #Constraints:      29079
1755.87/1761.72	c #Conflicts:     952000 | #Constraints:      30079
1755.87/1761.72	c #Conflicts:     953000 | #Constraints:      31079
1755.87/1761.72	c #Conflicts:     954000 | #Constraints:      32079
1755.87/1761.72	c #Conflicts:     955000 | #Constraints:      33079
1755.87/1761.72	c #Conflicts:     956000 | #Constraints:      34079
1755.87/1761.72	c #Conflicts:     957000 | #Constraints:      35079
1755.87/1761.72	c #Conflicts:     958000 | #Constraints:      36079
1755.87/1761.72	c #Conflicts:     959000 | #Constraints:      37079
1755.87/1761.72	c #Conflicts:     960000 | #Constraints:      38079
1755.87/1761.72	c #Conflicts:     961000 | #Constraints:      39079
1755.87/1761.72	c INPROCESSING
1755.87/1761.72	c GARBAGE COLLECT
1755.87/1761.72	c #Conflicts:     962000 | #Constraints:      20693
1755.87/1761.72	c #Conflicts:     963000 | #Constraints:      21693
1755.87/1761.72	c #Conflicts:     964000 | #Constraints:      22693
1755.87/1761.72	c #Conflicts:     965000 | #Constraints:      23693
1755.87/1761.72	c #Conflicts:     966000 | #Constraints:      24693
1755.87/1761.72	c #Conflicts:     967000 | #Constraints:      25693
2032.41/2039.24	c #Conflicts:     968000 | #Constraints:      26693
2032.41/2039.24	c #Conflicts:     969000 | #Constraints:      27693
2032.41/2039.24	c #Conflicts:     970000 | #Constraints:      28693
2032.41/2039.24	c #Conflicts:     971000 | #Constraints:      29693
2032.41/2039.24	c #Conflicts:     972000 | #Constraints:      30693
2032.41/2039.24	c #Conflicts:     973000 | #Constraints:      31693
2032.41/2039.24	c #Conflicts:     974000 | #Constraints:      32693
2032.41/2039.24	c #Conflicts:     975000 | #Constraints:      33693
2032.41/2039.24	c #Conflicts:     976000 | #Constraints:      34693
2032.41/2039.24	c #Conflicts:     977000 | #Constraints:      35693
2032.41/2039.24	c #Conflicts:     978000 | #Constraints:      36693
2032.41/2039.24	c #Conflicts:     979000 | #Constraints:      37693
2032.41/2039.24	c #Conflicts:     980000 | #Constraints:      38693
2032.41/2039.24	c #Conflicts:     981000 | #Constraints:      39693
2032.41/2039.24	c INPROCESSING
2032.41/2039.24	c GARBAGE COLLECT
2032.41/2039.24	c #Conflicts:     982000 | #Constraints:      21108
2032.41/2039.24	c #Conflicts:     983000 | #Constraints:      22108
2032.41/2039.24	c #Conflicts:     984000 | #Constraints:      23108
2032.41/2039.24	c #Conflicts:     985000 | #Constraints:      24108
2032.41/2039.24	c #Conflicts:     986000 | #Constraints:      25108
2032.41/2039.24	c #Conflicts:     987000 | #Constraints:      26108
2032.41/2039.24	c #Conflicts:     988000 | #Constraints:      27108
2032.41/2039.24	c #Conflicts:     989000 | #Constraints:      28108
2032.41/2039.24	c #Conflicts:     990000 | #Constraints:      29108
2032.41/2039.24	c #Conflicts:     991000 | #Constraints:      30108
2032.41/2039.24	c #Conflicts:     992000 | #Constraints:      31108
2032.41/2039.24	c #Conflicts:     993000 | #Constraints:      32108
2032.41/2039.24	c #Conflicts:     994000 | #Constraints:      33108
2032.41/2039.24	c #Conflicts:     995000 | #Constraints:      34108
2032.41/2039.24	c #Conflicts:     996000 | #Constraints:      35108
2032.41/2039.24	c #Conflicts:     997000 | #Constraints:      36108
2032.41/2039.24	c #Conflicts:     998000 | #Constraints:      37108
2032.41/2039.24	c #Conflicts:     999000 | #Constraints:      38108
2032.41/2039.24	c #Conflicts:    1000000 | #Constraints:      39108
2032.41/2039.24	c #Conflicts:    1001000 | #Constraints:      40108
2032.41/2039.24	c INPROCESSING
2032.41/2039.24	c GARBAGE COLLECT
2032.41/2039.24	c #Conflicts:    1002000 | #Constraints:      21316
2032.41/2039.24	c #Conflicts:    1003000 | #Constraints:      22316
2032.41/2039.24	c #Conflicts:    1004000 | #Constraints:      23316
2032.41/2039.24	c #Conflicts:    1005000 | #Constraints:      24316
2032.41/2039.24	c #Conflicts:    1006000 | #Constraints:      25316
2032.41/2039.24	c #Conflicts:    1007000 | #Constraints:      26316
2032.41/2039.24	c #Conflicts:    1008000 | #Constraints:      27316
2032.41/2039.24	c #Conflicts:    1009000 | #Constraints:      28316
2032.41/2039.24	c #Conflicts:    1010000 | #Constraints:      29316
2032.41/2039.24	c #Conflicts:    1011000 | #Constraints:      30316
2032.41/2039.24	c #Conflicts:    1012000 | #Constraints:      31316
2032.41/2039.24	c #Conflicts:    1013000 | #Constraints:      32316
2032.41/2039.24	c #Conflicts:    1014000 | #Constraints:      33316
2032.41/2039.24	c #Conflicts:    1015000 | #Constraints:      34316
2032.41/2039.24	c #Conflicts:    1016000 | #Constraints:      35316
2032.41/2039.24	c #Conflicts:    1017000 | #Constraints:      36316
2032.41/2039.24	c #Conflicts:    1018000 | #Constraints:      37316
2032.41/2039.24	c #Conflicts:    1019000 | #Constraints:      38316
2032.41/2039.24	c #Conflicts:    1020000 | #Constraints:      39316
2032.41/2039.24	c #Conflicts:    1021000 | #Constraints:      40316
2032.41/2039.24	c INPROCESSING
2032.41/2039.24	c GARBAGE COLLECT
2032.41/2039.24	c #Conflicts:    1022000 | #Constraints:      21314
2032.41/2039.24	c #Conflicts:    1023000 | #Constraints:      22314
2032.41/2039.24	c #Conflicts:    1024000 | #Constraints:      23314
2032.41/2039.24	c #Conflicts:    1025000 | #Constraints:      24314
2032.41/2039.24	c #Conflicts:    1026000 | #Constraints:      25314
2032.41/2039.24	c #Conflicts:    1027000 | #Constraints:      26314
2032.41/2039.24	c #Conflicts:    1028000 | #Constraints:      27314
2032.41/2039.24	c #Conflicts:    1029000 | #Constraints:      28314
2032.41/2039.24	c #Conflicts:    1030000 | #Constraints:      29314
2032.41/2039.24	c #Conflicts:    1031000 | #Constraints:      30314
2032.41/2039.24	c #Conflicts:    1032000 | #Constraints:      31314
2032.41/2039.24	c #Conflicts:    1033000 | #Constraints:      32314
2032.41/2039.24	c #Conflicts:    1034000 | #Constraints:      33314
2032.41/2039.24	c #Conflicts:    1035000 | #Constraints:      34314
2032.41/2039.24	c #Conflicts:    1036000 | #Constraints:      35314
2032.41/2039.24	c #Conflicts:    1037000 | #Constraints:      36314
2032.41/2039.24	c #Conflicts:    1038000 | #Constraints:      37314
2032.41/2039.24	c #Conflicts:    1039000 | #Constraints:      38314
2032.41/2039.24	c #Conflicts:    1040000 | #Constraints:      39314
2032.41/2039.24	c #Conflicts:    1041000 | #Constraints:      40314
2032.41/2039.24	c INPROCESSING
2032.41/2039.24	c GARBAGE COLLECT
2032.41/2039.24	c #Conflicts:    1042000 | #Constraints:      21121
2032.41/2039.24	c #Conflicts:    1043000 | #Constraints:      22121
2032.41/2039.24	c #Conflicts:    1044000 | #Constraints:      23121
2351.79/2359.74	c #Conflicts:    1045000 | #Constraints:      24121
2351.79/2359.74	c #Conflicts:    1046000 | #Constraints:      25121
2351.79/2359.74	c #Conflicts:    1047000 | #Constraints:      26121
2351.79/2359.74	c #Conflicts:    1048000 | #Constraints:      27121
2351.79/2359.74	c #Conflicts:    1049000 | #Constraints:      28121
2351.79/2359.74	c #Conflicts:    1050000 | #Constraints:      29121
2351.79/2359.74	c #Conflicts:    1051000 | #Constraints:      30121
2351.79/2359.74	c #Conflicts:    1052000 | #Constraints:      31121
2351.79/2359.74	c #Conflicts:    1053000 | #Constraints:      32121
2351.79/2359.74	c #Conflicts:    1054000 | #Constraints:      33121
2351.79/2359.74	c #Conflicts:    1055000 | #Constraints:      34121
2351.79/2359.74	c #Conflicts:    1056000 | #Constraints:      35121
2351.79/2359.74	c #Conflicts:    1057000 | #Constraints:      36121
2351.79/2359.74	c #Conflicts:    1058000 | #Constraints:      37121
2351.79/2359.74	c #Conflicts:    1059000 | #Constraints:      38121
2351.79/2359.74	c #Conflicts:    1060000 | #Constraints:      39121
2351.79/2359.74	c #Conflicts:    1061000 | #Constraints:      40121
2351.79/2359.74	c #Conflicts:    1062000 | #Constraints:      41121
2351.79/2359.74	c INPROCESSING
2351.79/2359.74	c GARBAGE COLLECT
2351.79/2359.74	c #Conflicts:    1063000 | #Constraints:      21717
2351.79/2359.74	c #Conflicts:    1064000 | #Constraints:      22717
2351.79/2359.74	c #Conflicts:    1065000 | #Constraints:      23717
2351.79/2359.74	c #Conflicts:    1066000 | #Constraints:      24717
2351.79/2359.74	c #Conflicts:    1067000 | #Constraints:      25717
2351.79/2359.74	c #Conflicts:    1068000 | #Constraints:      26717
2351.79/2359.74	c #Conflicts:    1069000 | #Constraints:      27717
2351.79/2359.74	c #Conflicts:    1070000 | #Constraints:      28717
2351.79/2359.74	c #Conflicts:    1071000 | #Constraints:      29717
2351.79/2359.74	c #Conflicts:    1072000 | #Constraints:      30717
2351.79/2359.74	c #Conflicts:    1073000 | #Constraints:      31717
2351.79/2359.74	c #Conflicts:    1074000 | #Constraints:      32717
2351.79/2359.74	c #Conflicts:    1075000 | #Constraints:      33717
2351.79/2359.74	c #Conflicts:    1076000 | #Constraints:      34717
2351.79/2359.74	c #Conflicts:    1077000 | #Constraints:      35717
2351.79/2359.74	c #Conflicts:    1078000 | #Constraints:      36717
2351.79/2359.74	c #Conflicts:    1079000 | #Constraints:      37717
2351.79/2359.74	c #Conflicts:    1080000 | #Constraints:      38717
2351.79/2359.74	c #Conflicts:    1081000 | #Constraints:      39717
2351.79/2359.74	c #Conflicts:    1082000 | #Constraints:      40717
2351.79/2359.75	c #Conflicts:    1083000 | #Constraints:      41717
2351.79/2359.75	c INPROCESSING
2351.79/2359.75	c GARBAGE COLLECT
2351.79/2359.75	c #Conflicts:    1084000 | #Constraints:      22110
2351.79/2359.75	c #Conflicts:    1085000 | #Constraints:      23110
2351.79/2359.75	c #Conflicts:    1086000 | #Constraints:      24110
2351.79/2359.75	c #Conflicts:    1087000 | #Constraints:      25110
2351.79/2359.75	c #Conflicts:    1088000 | #Constraints:      26110
2351.79/2359.75	c #Conflicts:    1089000 | #Constraints:      27110
2351.79/2359.75	c #Conflicts:    1090000 | #Constraints:      28110
2351.79/2359.75	c #Conflicts:    1091000 | #Constraints:      29110
2351.79/2359.75	c #Conflicts:    1092000 | #Constraints:      30110
2351.79/2359.75	c #Conflicts:    1093000 | #Constraints:      31110
2351.79/2359.75	c #Conflicts:    1094000 | #Constraints:      32110
2351.79/2359.75	c #Conflicts:    1095000 | #Constraints:      33110
2351.79/2359.75	c #Conflicts:    1096000 | #Constraints:      34110
2351.79/2359.75	c #Conflicts:    1097000 | #Constraints:      35110
2351.79/2359.75	c #Conflicts:    1098000 | #Constraints:      36110
2351.79/2359.75	c #Conflicts:    1099000 | #Constraints:      37110
2351.79/2359.75	c #Conflicts:    1100000 | #Constraints:      38110
2351.79/2359.75	c #Conflicts:    1101000 | #Constraints:      39110
2351.79/2359.75	c #Conflicts:    1102000 | #Constraints:      40110
2351.79/2359.75	c #Conflicts:    1103000 | #Constraints:      41110
2351.79/2359.75	c #Conflicts:    1104000 | #Constraints:      42110
2351.79/2359.75	c INPROCESSING
2351.79/2359.75	c GARBAGE COLLECT
2351.79/2359.75	c #Conflicts:    1105000 | #Constraints:      22342
2351.79/2359.75	c #Conflicts:    1106000 | #Constraints:      23342
2351.79/2359.75	c #Conflicts:    1107000 | #Constraints:      24342
2351.79/2359.75	c #Conflicts:    1108000 | #Constraints:      25342
2351.79/2359.75	c #Conflicts:    1109000 | #Constraints:      26342
2351.79/2359.75	c #Conflicts:    1110000 | #Constraints:      27342
2351.79/2359.75	c #Conflicts:    1111000 | #Constraints:      28342
2351.79/2359.75	c #Conflicts:    1112000 | #Constraints:      29342
2351.79/2359.75	c #Conflicts:    1113000 | #Constraints:      30342
2351.79/2359.75	c #Conflicts:    1114000 | #Constraints:      31342
2351.79/2359.75	c #Conflicts:    1115000 | #Constraints:      32342
2351.79/2359.75	c #Conflicts:    1116000 | #Constraints:      33342
2351.79/2359.75	c #Conflicts:    1117000 | #Constraints:      34342
2351.79/2359.75	c #Conflicts:    1118000 | #Constraints:      35342
2351.79/2359.75	c #Conflicts:    1119000 | #Constraints:      36342
2351.79/2359.75	c #Conflicts:    1120000 | #Constraints:      37342
2351.79/2359.75	c #Conflicts:    1121000 | #Constraints:      38342
2544.43/2553.03	c #Conflicts:    1122000 | #Constraints:      39342
2544.43/2553.03	c #Conflicts:    1123000 | #Constraints:      40342
2544.43/2553.03	c #Conflicts:    1124000 | #Constraints:      41342
2544.43/2553.03	c #Conflicts:    1125000 | #Constraints:      42342
2544.43/2553.03	c INPROCESSING
2544.43/2553.03	c GARBAGE COLLECT
2544.43/2553.03	c #Conflicts:    1126000 | #Constraints:      22317
2544.43/2553.03	c #Conflicts:    1127000 | #Constraints:      23317
2544.43/2553.03	c #Conflicts:    1128000 | #Constraints:      24317
2544.43/2553.03	c #Conflicts:    1129000 | #Constraints:      25317
2544.43/2553.03	c #Conflicts:    1130000 | #Constraints:      26317
2544.43/2553.03	c #Conflicts:    1131000 | #Constraints:      27317
2544.43/2553.03	c #Conflicts:    1132000 | #Constraints:      28317
2544.43/2553.03	c #Conflicts:    1133000 | #Constraints:      29317
2544.43/2553.03	c #Conflicts:    1134000 | #Constraints:      30317
2544.43/2553.03	c #Conflicts:    1135000 | #Constraints:      31317
2544.43/2553.03	c #Conflicts:    1136000 | #Constraints:      32317
2544.43/2553.03	c #Conflicts:    1137000 | #Constraints:      33317
2544.43/2553.03	c #Conflicts:    1138000 | #Constraints:      34317
2544.43/2553.03	c #Conflicts:    1139000 | #Constraints:      35317
2544.43/2553.03	c #Conflicts:    1140000 | #Constraints:      36317
2544.43/2553.03	c #Conflicts:    1141000 | #Constraints:      37317
2544.43/2553.03	c #Conflicts:    1142000 | #Constraints:      38317
2544.43/2553.03	c #Conflicts:    1143000 | #Constraints:      39317
2544.43/2553.03	c #Conflicts:    1144000 | #Constraints:      40317
2544.43/2553.03	c #Conflicts:    1145000 | #Constraints:      41317
2544.43/2553.03	c #Conflicts:    1146000 | #Constraints:      42317
2544.43/2553.03	c INPROCESSING
2544.43/2553.03	c GARBAGE COLLECT
2544.43/2553.03	c #Conflicts:    1147000 | #Constraints:      22083
2544.43/2553.03	c #Conflicts:    1148000 | #Constraints:      23083
2544.43/2553.03	c #Conflicts:    1149000 | #Constraints:      24083
2544.43/2553.03	c #Conflicts:    1150000 | #Constraints:      25083
2544.43/2553.03	c #Conflicts:    1151000 | #Constraints:      26083
2544.43/2553.03	c #Conflicts:    1152000 | #Constraints:      27083
2544.43/2553.03	c #Conflicts:    1153000 | #Constraints:      28083
2544.43/2553.03	c #Conflicts:    1154000 | #Constraints:      29083
2544.43/2553.03	c #Conflicts:    1155000 | #Constraints:      30083
2544.43/2553.03	c #Conflicts:    1156000 | #Constraints:      31083
2544.43/2553.03	c #Conflicts:    1157000 | #Constraints:      32083
2544.43/2553.03	c #Conflicts:    1158000 | #Constraints:      33083
2544.43/2553.03	c #Conflicts:    1159000 | #Constraints:      34083
2544.43/2553.03	c #Conflicts:    1160000 | #Constraints:      35083
2544.43/2553.03	c #Conflicts:    1161000 | #Constraints:      36083
2544.43/2553.03	c #Conflicts:    1162000 | #Constraints:      37083
2544.43/2553.03	c #Conflicts:    1163000 | #Constraints:      38083
2544.43/2553.03	c #Conflicts:    1164000 | #Constraints:      39083
2544.43/2553.03	c #Conflicts:    1165000 | #Constraints:      40083
2544.43/2553.03	c #Conflicts:    1166000 | #Constraints:      41083
2544.43/2553.03	c #Conflicts:    1167000 | #Constraints:      42083
2544.43/2553.03	c #Conflicts:    1168000 | #Constraints:      43083
2544.43/2553.03	c INPROCESSING
2544.43/2553.03	c GARBAGE COLLECT
2544.43/2553.03	c #Conflicts:    1169000 | #Constraints:      22707
2544.43/2553.03	c #Conflicts:    1170000 | #Constraints:      23707
2544.43/2553.03	c #Conflicts:    1171000 | #Constraints:      24707
2544.43/2553.03	c #Conflicts:    1172000 | #Constraints:      25707
2544.43/2553.03	c #Conflicts:    1173000 | #Constraints:      26707
2544.43/2553.03	c #Conflicts:    1174000 | #Constraints:      27707
2544.43/2553.03	c #Conflicts:    1175000 | #Constraints:      28707
2544.43/2553.03	c #Conflicts:    1176000 | #Constraints:      29707
2544.43/2553.03	c #Conflicts:    1177000 | #Constraints:      30707
2544.43/2553.03	c #Conflicts:    1178000 | #Constraints:      31707
2544.43/2553.03	c #Conflicts:    1179000 | #Constraints:      32707
2544.43/2553.03	c #Conflicts:    1180000 | #Constraints:      33707
2544.43/2553.03	c #Conflicts:    1181000 | #Constraints:      34707
2544.43/2553.03	c #Conflicts:    1182000 | #Constraints:      35707
2544.43/2553.03	c #Conflicts:    1183000 | #Constraints:      36707
2544.43/2553.03	c #Conflicts:    1184000 | #Constraints:      37707
2544.43/2553.03	c #Conflicts:    1185000 | #Constraints:      38707
2544.43/2553.03	c #Conflicts:    1186000 | #Constraints:      39707
2544.43/2553.03	c #Conflicts:    1187000 | #Constraints:      40707
2544.43/2553.03	c #Conflicts:    1188000 | #Constraints:      41707
2544.43/2553.03	c #Conflicts:    1189000 | #Constraints:      42707
2544.43/2553.03	c #Conflicts:    1190000 | #Constraints:      43707
2544.43/2553.03	c INPROCESSING
2544.43/2553.03	c GARBAGE COLLECT
2544.43/2553.03	c #Conflicts:    1191000 | #Constraints:      23091
2544.43/2553.03	c #Conflicts:    1192000 | #Constraints:      24091
2544.43/2553.03	c #Conflicts:    1193000 | #Constraints:      25091
2544.43/2553.03	c #Conflicts:    1194000 | #Constraints:      26091
2544.43/2553.03	c #Conflicts:    1195000 | #Constraints:      27091
2544.43/2553.03	c #Conflicts:    1196000 | #Constraints:      28091
2544.43/2553.03	c #Conflicts:    1197000 | #Constraints:      29091
2773.74/2783.11	c #Conflicts:    1198000 | #Constraints:      30091
2773.74/2783.11	c #Conflicts:    1199000 | #Constraints:      31091
2773.74/2783.11	c #Conflicts:    1200000 | #Constraints:      32091
2773.74/2783.11	c #Conflicts:    1201000 | #Constraints:      33091
2773.74/2783.11	c #Conflicts:    1202000 | #Constraints:      34091
2773.74/2783.11	c #Conflicts:    1203000 | #Constraints:      35091
2773.74/2783.11	c #Conflicts:    1204000 | #Constraints:      36091
2773.74/2783.11	c #Conflicts:    1205000 | #Constraints:      37091
2773.74/2783.11	c #Conflicts:    1206000 | #Constraints:      38091
2773.74/2783.11	c #Conflicts:    1207000 | #Constraints:      39091
2773.74/2783.11	c #Conflicts:    1208000 | #Constraints:      40091
2773.74/2783.11	c #Conflicts:    1209000 | #Constraints:      41091
2773.74/2783.11	c #Conflicts:    1210000 | #Constraints:      42091
2773.74/2783.11	c #Conflicts:    1211000 | #Constraints:      43091
2773.74/2783.11	c #Conflicts:    1212000 | #Constraints:      44091
2773.74/2783.11	c INPROCESSING
2773.74/2783.11	c GARBAGE COLLECT
2773.74/2783.11	c #Conflicts:    1213000 | #Constraints:      23280
2773.74/2783.11	c #Conflicts:    1214000 | #Constraints:      24280
2773.74/2783.11	c #Conflicts:    1215000 | #Constraints:      25280
2773.74/2783.11	c #Conflicts:    1216000 | #Constraints:      26280
2773.74/2783.11	c #Conflicts:    1217000 | #Constraints:      27280
2773.74/2783.11	c #Conflicts:    1218000 | #Constraints:      28280
2773.74/2783.11	c #Conflicts:    1219000 | #Constraints:      29280
2773.74/2783.11	c #Conflicts:    1220000 | #Constraints:      30280
2773.74/2783.11	c #Conflicts:    1221000 | #Constraints:      31280
2773.74/2783.11	c #Conflicts:    1222000 | #Constraints:      32280
2773.74/2783.11	c #Conflicts:    1223000 | #Constraints:      33280
2773.74/2783.11	c #Conflicts:    1224000 | #Constraints:      34280
2773.74/2783.11	c #Conflicts:    1225000 | #Constraints:      35280
2773.74/2783.11	c #Conflicts:    1226000 | #Constraints:      36280
2773.74/2783.11	c #Conflicts:    1227000 | #Constraints:      37280
2773.74/2783.11	c #Conflicts:    1228000 | #Constraints:      38280
2773.74/2783.11	c #Conflicts:    1229000 | #Constraints:      39280
2773.74/2783.11	c #Conflicts:    1230000 | #Constraints:      40280
2773.74/2783.11	c #Conflicts:    1231000 | #Constraints:      41280
2773.74/2783.11	c #Conflicts:    1232000 | #Constraints:      42280
2773.74/2783.11	c #Conflicts:    1233000 | #Constraints:      43280
2773.74/2783.11	c #Conflicts:    1234000 | #Constraints:      44280
2773.74/2783.11	c INPROCESSING
2773.74/2783.11	c GARBAGE COLLECT
2773.74/2783.11	c #Conflicts:    1235000 | #Constraints:      23270
2773.74/2783.11	c #Conflicts:    1236000 | #Constraints:      24270
2773.74/2783.11	c #Conflicts:    1237000 | #Constraints:      25270
2773.74/2783.11	c #Conflicts:    1238000 | #Constraints:      26270
2773.74/2783.11	c #Conflicts:    1239000 | #Constraints:      27270
2773.74/2783.11	c #Conflicts:    1240000 | #Constraints:      28270
2773.74/2783.11	c #Conflicts:    1241000 | #Constraints:      29270
2773.74/2783.11	c #Conflicts:    1242000 | #Constraints:      30270
2773.74/2783.11	c #Conflicts:    1243000 | #Constraints:      31270
2773.74/2783.11	c #Conflicts:    1244000 | #Constraints:      32270
2773.74/2783.11	c #Conflicts:    1245000 | #Constraints:      33270
2773.74/2783.11	c #Conflicts:    1246000 | #Constraints:      34270
2773.74/2783.11	c #Conflicts:    1247000 | #Constraints:      35270
2773.74/2783.11	c #Conflicts:    1248000 | #Constraints:      36270
2773.74/2783.11	c #Conflicts:    1249000 | #Constraints:      37270
2773.74/2783.11	c #Conflicts:    1250000 | #Constraints:      38270
2773.74/2783.11	c #Conflicts:    1251000 | #Constraints:      39270
2773.74/2783.11	c #Conflicts:    1252000 | #Constraints:      40270
2773.74/2783.11	c #Conflicts:    1253000 | #Constraints:      41270
2773.74/2783.11	c #Conflicts:    1254000 | #Constraints:      42270
2773.74/2783.11	c #Conflicts:    1255000 | #Constraints:      43270
2773.74/2783.11	c #Conflicts:    1256000 | #Constraints:      44270
2773.74/2783.11	c INPROCESSING
2773.74/2783.11	c GARBAGE COLLECT
2773.74/2783.11	c #Conflicts:    1257000 | #Constraints:      23068
2773.74/2783.11	c #Conflicts:    1258000 | #Constraints:      24068
2773.74/2783.11	c #Conflicts:    1259000 | #Constraints:      25068
2773.74/2783.11	c #Conflicts:    1260000 | #Constraints:      26068
2773.74/2783.11	c #Conflicts:    1261000 | #Constraints:      27068
2773.74/2783.11	c #Conflicts:    1262000 | #Constraints:      28068
2773.74/2783.11	c #Conflicts:    1263000 | #Constraints:      29068
2773.74/2783.11	c #Conflicts:    1264000 | #Constraints:      30068
2773.74/2783.11	c #Conflicts:    1265000 | #Constraints:      31068
2773.74/2783.11	c #Conflicts:    1266000 | #Constraints:      32068
2773.74/2783.11	c #Conflicts:    1267000 | #Constraints:      33068
2773.74/2783.11	c #Conflicts:    1268000 | #Constraints:      34068
2773.74/2783.11	c #Conflicts:    1269000 | #Constraints:      35068
2773.74/2783.11	c #Conflicts:    1270000 | #Constraints:      36068
2773.74/2783.11	c #Conflicts:    1271000 | #Constraints:      37068
2773.74/2783.11	c #Conflicts:    1272000 | #Constraints:      38068
2773.74/2783.11	c #Conflicts:    1273000 | #Constraints:      39068
2773.74/2783.11	c #Conflicts:    1274000 | #Constraints:      40068
3057.13/3067.52	c #Conflicts:    1275000 | #Constraints:      41068
3057.13/3067.52	c #Conflicts:    1276000 | #Constraints:      42068
3057.13/3067.52	c #Conflicts:    1277000 | #Constraints:      43068
3057.13/3067.52	c #Conflicts:    1278000 | #Constraints:      44068
3057.13/3067.52	c #Conflicts:    1279000 | #Constraints:      45068
3057.13/3067.52	c INPROCESSING
3057.13/3067.52	c GARBAGE COLLECT
3057.13/3067.52	c #Conflicts:    1280000 | #Constraints:      23671
3057.13/3067.52	c #Conflicts:    1281000 | #Constraints:      24671
3057.13/3067.52	c #Conflicts:    1282000 | #Constraints:      25671
3057.13/3067.52	c #Conflicts:    1283000 | #Constraints:      26671
3057.13/3067.52	c #Conflicts:    1284000 | #Constraints:      27671
3057.13/3067.52	c #Conflicts:    1285000 | #Constraints:      28671
3057.13/3067.52	c #Conflicts:    1286000 | #Constraints:      29671
3057.13/3067.52	c #Conflicts:    1287000 | #Constraints:      30671
3057.13/3067.52	c #Conflicts:    1288000 | #Constraints:      31671
3057.13/3067.52	c #Conflicts:    1289000 | #Constraints:      32671
3057.13/3067.52	c #Conflicts:    1290000 | #Constraints:      33671
3057.13/3067.52	c #Conflicts:    1291000 | #Constraints:      34671
3057.13/3067.52	c #Conflicts:    1292000 | #Constraints:      35671
3057.13/3067.52	c #Conflicts:    1293000 | #Constraints:      36671
3057.13/3067.52	c #Conflicts:    1294000 | #Constraints:      37671
3057.13/3067.52	c #Conflicts:    1295000 | #Constraints:      38671
3057.13/3067.52	c #Conflicts:    1296000 | #Constraints:      39671
3057.13/3067.52	c #Conflicts:    1297000 | #Constraints:      40671
3057.13/3067.52	c #Conflicts:    1298000 | #Constraints:      41671
3057.13/3067.52	c #Conflicts:    1299000 | #Constraints:      42671
3057.13/3067.52	c #Conflicts:    1300000 | #Constraints:      43671
3057.13/3067.52	c #Conflicts:    1301000 | #Constraints:      44671
3057.13/3067.52	c #Conflicts:    1302000 | #Constraints:      45671
3057.13/3067.52	c INPROCESSING
3057.13/3067.52	c GARBAGE COLLECT
3057.13/3067.52	c #Conflicts:    1303000 | #Constraints:      24056
3057.13/3067.52	c #Conflicts:    1304000 | #Constraints:      25056
3057.13/3067.52	c #Conflicts:    1305000 | #Constraints:      26056
3057.13/3067.52	c #Conflicts:    1306000 | #Constraints:      27056
3057.13/3067.52	c #Conflicts:    1307000 | #Constraints:      28056
3057.13/3067.52	c #Conflicts:    1308000 | #Constraints:      29056
3057.13/3067.52	c #Conflicts:    1309000 | #Constraints:      30056
3057.13/3067.52	c #Conflicts:    1310000 | #Constraints:      31056
3057.13/3067.52	c #Conflicts:    1311000 | #Constraints:      32056
3057.13/3067.52	c #Conflicts:    1312000 | #Constraints:      33056
3057.13/3067.52	c #Conflicts:    1313000 | #Constraints:      34056
3057.13/3067.52	c #Conflicts:    1314000 | #Constraints:      35056
3057.13/3067.52	c #Conflicts:    1315000 | #Constraints:      36056
3057.13/3067.52	c #Conflicts:    1316000 | #Constraints:      37056
3057.13/3067.52	c #Conflicts:    1317000 | #Constraints:      38056
3057.13/3067.52	c #Conflicts:    1318000 | #Constraints:      39056
3057.13/3067.52	c #Conflicts:    1319000 | #Constraints:      40056
3057.13/3067.52	c #Conflicts:    1320000 | #Constraints:      41056
3057.13/3067.52	c #Conflicts:    1321000 | #Constraints:      42056
3057.13/3067.52	c #Conflicts:    1322000 | #Constraints:      43056
3057.13/3067.52	c #Conflicts:    1323000 | #Constraints:      44056
3057.13/3067.52	c #Conflicts:    1324000 | #Constraints:      45056
3057.13/3067.52	c #Conflicts:    1325000 | #Constraints:      46056
3057.13/3067.52	c INPROCESSING
3057.13/3067.52	c GARBAGE COLLECT
3057.13/3067.52	c #Conflicts:    1326000 | #Constraints:      24261
3057.13/3067.52	c #Conflicts:    1327000 | #Constraints:      25261
3057.13/3067.52	c #Conflicts:    1328000 | #Constraints:      26261
3057.13/3067.52	c #Conflicts:    1329000 | #Constraints:      27261
3057.13/3067.52	c #Conflicts:    1330000 | #Constraints:      28261
3057.13/3067.52	c #Conflicts:    1331000 | #Constraints:      29261
3057.13/3067.52	c #Conflicts:    1332000 | #Constraints:      30261
3057.13/3067.52	c #Conflicts:    1333000 | #Constraints:      31261
3057.13/3067.52	c #Conflicts:    1334000 | #Constraints:      32261
3057.13/3067.52	c #Conflicts:    1335000 | #Constraints:      33261
3057.13/3067.52	c #Conflicts:    1336000 | #Constraints:      34261
3057.13/3067.52	c #Conflicts:    1337000 | #Constraints:      35261
3057.13/3067.52	c #Conflicts:    1338000 | #Constraints:      36261
3057.13/3067.52	c #Conflicts:    1339000 | #Constraints:      37261
3057.13/3067.52	c #Conflicts:    1340000 | #Constraints:      38261
3057.13/3067.52	c #Conflicts:    1341000 | #Constraints:      39261
3057.13/3067.52	c #Conflicts:    1342000 | #Constraints:      40261
3057.13/3067.52	c #Conflicts:    1343000 | #Constraints:      41261
3057.13/3067.52	c #Conflicts:    1344000 | #Constraints:      42261
3057.13/3067.52	c #Conflicts:    1345000 | #Constraints:      43261
3057.13/3067.52	c #Conflicts:    1346000 | #Constraints:      44261
3057.13/3067.52	c #Conflicts:    1347000 | #Constraints:      45261
3057.13/3067.52	c #Conflicts:    1348000 | #Constraints:      46261
3057.13/3067.52	c INPROCESSING
3057.13/3067.52	c GARBAGE COLLECT
3057.13/3067.52	c #Conflicts:    1349000 | #Constraints:      24288
3057.13/3067.52	c #Conflicts:    1350000 | #Constraints:      25288
3315.14/3326.48	c #Conflicts:    1351000 | #Constraints:      26288
3315.14/3326.48	c #Conflicts:    1352000 | #Constraints:      27288
3315.14/3326.48	c #Conflicts:    1353000 | #Constraints:      28288
3315.14/3326.48	c #Conflicts:    1354000 | #Constraints:      29288
3315.14/3326.48	c #Conflicts:    1355000 | #Constraints:      30288
3315.14/3326.48	c #Conflicts:    1356000 | #Constraints:      31288
3315.14/3326.48	c #Conflicts:    1357000 | #Constraints:      32288
3315.14/3326.48	c #Conflicts:    1358000 | #Constraints:      33288
3315.14/3326.48	c #Conflicts:    1359000 | #Constraints:      34288
3315.14/3326.48	c #Conflicts:    1360000 | #Constraints:      35288
3315.14/3326.48	c #Conflicts:    1361000 | #Constraints:      36288
3315.14/3326.48	c #Conflicts:    1362000 | #Constraints:      37288
3315.14/3326.48	c #Conflicts:    1363000 | #Constraints:      38288
3315.14/3326.48	c #Conflicts:    1364000 | #Constraints:      39288
3315.14/3326.48	c #Conflicts:    1365000 | #Constraints:      40288
3315.14/3326.48	c #Conflicts:    1366000 | #Constraints:      41288
3315.14/3326.48	c #Conflicts:    1367000 | #Constraints:      42288
3315.14/3326.48	c #Conflicts:    1368000 | #Constraints:      43288
3315.14/3326.48	c #Conflicts:    1369000 | #Constraints:      44288
3315.14/3326.48	c #Conflicts:    1370000 | #Constraints:      45288
3315.14/3326.48	c #Conflicts:    1371000 | #Constraints:      46288
3315.14/3326.48	c INPROCESSING
3315.14/3326.48	c GARBAGE COLLECT
3315.14/3326.48	c #Conflicts:    1372000 | #Constraints:      24076
3315.14/3326.48	c #Conflicts:    1373000 | #Constraints:      25076
3315.14/3326.48	c #Conflicts:    1374000 | #Constraints:      26076
3315.14/3326.48	c #Conflicts:    1375000 | #Constraints:      27076
3315.14/3326.48	c #Conflicts:    1376000 | #Constraints:      28076
3315.14/3326.48	c #Conflicts:    1377000 | #Constraints:      29076
3315.14/3326.48	c #Conflicts:    1378000 | #Constraints:      30076
3315.14/3326.48	c #Conflicts:    1379000 | #Constraints:      31076
3315.14/3326.48	c #Conflicts:    1380000 | #Constraints:      32076
3315.14/3326.48	c #Conflicts:    1381000 | #Constraints:      33076
3315.14/3326.48	c #Conflicts:    1382000 | #Constraints:      34076
3315.14/3326.48	c #Conflicts:    1383000 | #Constraints:      35076
3315.14/3326.48	c #Conflicts:    1384000 | #Constraints:      36076
3315.14/3326.48	c #Conflicts:    1385000 | #Constraints:      37076
3315.14/3326.48	c #Conflicts:    1386000 | #Constraints:      38076
3315.14/3326.48	c #Conflicts:    1387000 | #Constraints:      39076
3315.14/3326.48	c #Conflicts:    1388000 | #Constraints:      40076
3315.14/3326.48	c #Conflicts:    1389000 | #Constraints:      41076
3315.14/3326.48	c #Conflicts:    1390000 | #Constraints:      42076
3315.14/3326.48	c #Conflicts:    1391000 | #Constraints:      43076
3315.14/3326.48	c #Conflicts:    1392000 | #Constraints:      44076
3315.14/3326.48	c #Conflicts:    1393000 | #Constraints:      45076
3315.14/3326.48	c #Conflicts:    1394000 | #Constraints:      46076
3315.14/3326.48	c #Conflicts:    1395000 | #Constraints:      47076
3315.14/3326.48	c INPROCESSING
3315.14/3326.48	c GARBAGE COLLECT
3315.14/3326.48	c #Conflicts:    1396000 | #Constraints:      24686
3315.14/3326.48	c #Conflicts:    1397000 | #Constraints:      25686
3315.14/3326.48	c #Conflicts:    1398000 | #Constraints:      26686
3315.14/3326.48	c #Conflicts:    1399000 | #Constraints:      27686
3315.14/3326.48	c #Conflicts:    1400000 | #Constraints:      28686
3315.14/3326.48	c #Conflicts:    1401000 | #Constraints:      29686
3315.14/3326.48	c #Conflicts:    1402000 | #Constraints:      30686
3315.14/3326.48	c #Conflicts:    1403000 | #Constraints:      31686
3315.14/3326.48	c #Conflicts:    1404000 | #Constraints:      32686
3315.14/3326.48	c #Conflicts:    1405000 | #Constraints:      33686
3315.14/3326.48	c #Conflicts:    1406000 | #Constraints:      34686
3315.14/3326.48	c #Conflicts:    1407000 | #Constraints:      35686
3315.14/3326.48	c #Conflicts:    1408000 | #Constraints:      36686
3315.14/3326.48	c #Conflicts:    1409000 | #Constraints:      37686
3315.14/3326.48	c #Conflicts:    1410000 | #Constraints:      38686
3315.14/3326.48	c #Conflicts:    1411000 | #Constraints:      39686
3315.14/3326.48	c #Conflicts:    1412000 | #Constraints:      40686
3315.14/3326.48	c #Conflicts:    1413000 | #Constraints:      41686
3315.14/3326.48	c #Conflicts:    1414000 | #Constraints:      42686
3315.14/3326.48	c #Conflicts:    1415000 | #Constraints:      43686
3315.14/3326.48	c #Conflicts:    1416000 | #Constraints:      44686
3315.14/3326.48	c #Conflicts:    1417000 | #Constraints:      45686
3315.14/3326.48	c #Conflicts:    1418000 | #Constraints:      46686
3315.14/3326.48	c #Conflicts:    1419000 | #Constraints:      47686
3315.14/3326.48	c INPROCESSING
3315.14/3326.48	c GARBAGE COLLECT
3315.14/3326.48	c #Conflicts:    1420000 | #Constraints:      25092
3315.14/3326.48	c #Conflicts:    1421000 | #Constraints:      26092
3315.14/3326.48	c #Conflicts:    1422000 | #Constraints:      27092
3315.14/3326.48	c #Conflicts:    1423000 | #Constraints:      28092
3315.14/3326.48	c #Conflicts:    1424000 | #Constraints:      29092
3315.14/3326.48	c #Conflicts:    1425000 | #Constraints:      30092
3315.14/3326.48	c #Conflicts:    1426000 | #Constraints:      31092
3315.14/3326.48	c #Conflicts:    1427000 | #Constraints:      32092
3560.88/3573.06	c #Conflicts:    1428000 | #Constraints:      33092
3560.88/3573.06	c #Conflicts:    1429000 | #Constraints:      34092
3560.88/3573.06	c #Conflicts:    1430000 | #Constraints:      35092
3560.88/3573.06	c #Conflicts:    1431000 | #Constraints:      36092
3560.88/3573.06	c #Conflicts:    1432000 | #Constraints:      37092
3560.88/3573.06	c #Conflicts:    1433000 | #Constraints:      38092
3560.88/3573.06	c #Conflicts:    1434000 | #Constraints:      39092
3560.88/3573.06	c #Conflicts:    1435000 | #Constraints:      40092
3560.88/3573.06	c #Conflicts:    1436000 | #Constraints:      41092
3560.88/3573.06	c #Conflicts:    1437000 | #Constraints:      42092
3560.88/3573.06	c #Conflicts:    1438000 | #Constraints:      43092
3560.88/3573.06	c #Conflicts:    1439000 | #Constraints:      44092
3560.88/3573.06	c #Conflicts:    1440000 | #Constraints:      45092
3560.88/3573.06	c #Conflicts:    1441000 | #Constraints:      46092
3560.88/3573.06	c #Conflicts:    1442000 | #Constraints:      47092
3560.88/3573.06	c #Conflicts:    1443000 | #Constraints:      48092
3560.88/3573.06	c INPROCESSING
3560.88/3573.06	c GARBAGE COLLECT
3560.88/3573.06	c #Conflicts:    1444000 | #Constraints:      25289
3560.88/3573.06	c #Conflicts:    1445000 | #Constraints:      26289
3560.88/3573.06	c #Conflicts:    1446000 | #Constraints:      27289
3560.88/3573.06	c #Conflicts:    1447000 | #Constraints:      28289
3560.88/3573.06	c #Conflicts:    1448000 | #Constraints:      29289
3560.88/3573.06	c #Conflicts:    1449000 | #Constraints:      30289
3560.88/3573.06	c #Conflicts:    1450000 | #Constraints:      31289
3560.88/3573.06	c #Conflicts:    1451000 | #Constraints:      32289
3560.88/3573.06	c #Conflicts:    1452000 | #Constraints:      33289
3560.88/3573.06	c #Conflicts:    1453000 | #Constraints:      34289
3560.88/3573.06	c #Conflicts:    1454000 | #Constraints:      35289
3560.88/3573.06	c #Conflicts:    1455000 | #Constraints:      36289
3560.88/3573.06	c #Conflicts:    1456000 | #Constraints:      37289
3560.88/3573.06	c #Conflicts:    1457000 | #Constraints:      38289
3560.88/3573.06	c #Conflicts:    1458000 | #Constraints:      39289
3560.88/3573.06	c #Conflicts:    1459000 | #Constraints:      40289
3560.88/3573.06	c #Conflicts:    1460000 | #Constraints:      41289
3560.88/3573.06	c #Conflicts:    1461000 | #Constraints:      42289
3560.88/3573.06	c #Conflicts:    1462000 | #Constraints:      43289
3560.88/3573.06	c #Conflicts:    1463000 | #Constraints:      44289
3560.88/3573.06	c #Conflicts:    1464000 | #Constraints:      45289
3560.88/3573.06	c #Conflicts:    1465000 | #Constraints:      46289
3560.88/3573.06	c #Conflicts:    1466000 | #Constraints:      47289
3560.88/3573.06	c #Conflicts:    1467000 | #Constraints:      48289
3560.88/3573.06	c INPROCESSING
3560.88/3573.06	c GARBAGE COLLECT
3560.88/3573.06	c #Conflicts:    1468000 | #Constraints:      25279
3560.88/3573.06	c #Conflicts:    1469000 | #Constraints:      26279
3560.88/3573.06	c #Conflicts:    1470000 | #Constraints:      27279
3560.88/3573.06	c #Conflicts:    1471000 | #Constraints:      28279
3560.88/3573.06	c #Conflicts:    1472000 | #Constraints:      29279
3560.88/3573.06	c #Conflicts:    1473000 | #Constraints:      30279
3560.88/3573.06	c #Conflicts:    1474000 | #Constraints:      31279
3560.88/3573.06	c #Conflicts:    1475000 | #Constraints:      32279
3560.88/3573.06	c #Conflicts:    1476000 | #Constraints:      33279
3560.88/3573.06	c #Conflicts:    1477000 | #Constraints:      34279
3560.88/3573.06	c #Conflicts:    1478000 | #Constraints:      35279
3560.88/3573.06	c #Conflicts:    1479000 | #Constraints:      36279
3560.88/3573.06	c #Conflicts:    1480000 | #Constraints:      37279
3560.88/3573.06	c #Conflicts:    1481000 | #Constraints:      38279
3560.88/3573.06	c #Conflicts:    1482000 | #Constraints:      39279
3560.88/3573.06	c #Conflicts:    1483000 | #Constraints:      40279
3560.88/3573.06	c #Conflicts:    1484000 | #Constraints:      41279
3560.88/3573.06	c #Conflicts:    1485000 | #Constraints:      42279
3560.88/3573.06	c #Conflicts:    1486000 | #Constraints:      43279
3560.88/3573.06	c #Conflicts:    1487000 | #Constraints:      44279
3560.88/3573.06	c #Conflicts:    1488000 | #Constraints:      45279
3560.88/3573.06	c #Conflicts:    1489000 | #Constraints:      46279
3560.88/3573.06	c #Conflicts:    1490000 | #Constraints:      47279
3560.88/3573.06	c #Conflicts:    1491000 | #Constraints:      48279
3560.88/3573.06	c INPROCESSING
3560.88/3573.06	c GARBAGE COLLECT
3560.88/3573.06	c #Conflicts:    1492000 | #Constraints:      25070
3560.88/3573.06	c #Conflicts:    1493000 | #Constraints:      26070
3560.88/3573.06	c #Conflicts:    1494000 | #Constraints:      27070
3560.88/3573.06	c #Conflicts:    1495000 | #Constraints:      28070
3560.88/3573.06	c #Conflicts:    1496000 | #Constraints:      29070
3560.88/3573.06	c #Conflicts:    1497000 | #Constraints:      30070
3560.88/3573.06	c #Conflicts:    1498000 | #Constraints:      31070
3560.88/3573.06	c #Conflicts:    1499000 | #Constraints:      32070
3560.88/3573.06	c #Conflicts:    1500000 | #Constraints:      33070
3560.88/3573.06	c #Conflicts:    1501000 | #Constraints:      34070
3560.88/3573.06	c #Conflicts:    1502000 | #Constraints:      35070
3560.88/3573.06	c #Conflicts:    1503000 | #Constraints:      36070
3560.88/3573.06	c #Conflicts:    1504000 | #Constraints:      37070
3600.05/3612.30	c #Conflicts:    1505000 | #Constraints:      38070
3600.05/3612.30	c #Conflicts:    1506000 | #Constraints:      39070
3600.05/3612.30	c #Conflicts:    1507000 | #Constraints:      40070
3600.05/3612.30	c #Conflicts:    1508000 | #Constraints:      41070
3600.05/3612.30	c #Conflicts:    1509000 | #Constraints:      42070
3600.05/3612.30	c #Conflicts:    1510000 | #Constraints:      43070
3600.05/3612.30	c #Conflicts:    1511000 | #Constraints:      44070
3600.05/3612.30	c #Conflicts:    1512000 | #Constraints:      45070
3600.05/3612.30	c #Conflicts:    1513000 | #Constraints:      46070
3600.05/3612.30	c #Conflicts:    1514000 | #Constraints:      47070
3600.05/3612.30	c #Conflicts:    1515000 | #Constraints:      48070
3600.05/3612.30	c Program interrupted by user.
3600.05/3612.30	c cpu time 3586.88 s
3600.05/3612.30	c deterministic time 544491529331 5.44e+11
3600.05/3612.30	c optimization time 70.8495 s
3600.05/3612.30	c total solve time 3516 s
3600.05/3612.30	c core-guided solve time 3516 s
3600.05/3612.30	c propagation time 2980.06 s
3600.05/3612.30	c conflict analysis time 555.87 s
3600.05/3612.30	c propagations 325021286
3600.05/3612.30	c resolve steps 15011740
3600.05/3612.30	c decisions 6555112
3600.05/3612.30	c conflicts 1515727
3600.05/3612.30	c restarts 2985
3600.05/3612.30	c inprocessing phases 113
3600.05/3612.30	c input clauses 2174
3600.05/3612.30	c input cardinalities 50
3600.05/3612.30	c input general constraints 320
3600.05/3612.30	c input average constraint length 9.51
3600.05/3612.30	c input average constraint degree 71.11
3600.05/3612.30	c learned clauses 192516
3600.05/3612.30	c learned cardinalities 14205
3600.05/3612.30	c learned general constraints 1309005
3600.05/3612.30	c learned average constraint length 389.57
3600.05/3612.30	c learned average constraint degree 16741796.54
3600.05/3612.30	c watched constraints 1020649
3600.05/3612.30	c counting constraints 288676
3600.05/3612.30	c gcd simplifications 117283
3600.05/3612.30	c detected cardinalities 385
3600.05/3612.30	c weakened non-implied lits 93916256
3600.05/3612.30	c weakened non-implying lits 230233
3600.05/3612.30	c original variables 2130
3600.05/3612.30	c clausal propagations 2113888
3600.05/3612.30	c cardinality propagations 6944645
3600.05/3612.30	c watched propagations 14910621
3600.05/3612.30	c counting propagations 299712738
3600.05/3612.30	c watch lookups 53590684508
3600.05/3612.30	c watch backjump lookups 49176602114
3600.05/3612.30	c watch checks 367611293430
3600.05/3612.30	c propagation checks 71256659689
3600.05/3612.30	c constraint additions 2191622208
3600.05/3612.30	c trail pops 333090983
3600.05/3612.30	c formula constraints 2544
3600.05/3612.30	c learned constraints 1515726
3600.05/3612.30	c bound constraints 0
3600.05/3612.30	c core-guided constraints 0
3600.05/3612.30	c encountered formula constraints 8464151
3600.05/3612.30	c encountered learned constraints 8063316
3600.05/3612.30	c encountered bound constraints 0
3600.05/3612.30	c encountered core-guided constraints 0
3600.05/3612.30	c LP total time 0 s
3600.05/3612.30	c LP solve time 0 s
3600.05/3612.30	c LP constraints added 0
3600.05/3612.30	c LP constraints removed 0
3600.05/3612.30	c LP pivots internal 0
3600.05/3612.30	c LP pivots root 0
3600.05/3612.30	c LP calls 0
3600.05/3612.30	c LP optimalities 0
3600.05/3612.30	c LP no pivot count 0
3600.05/3612.30	c LP infeasibilities 0
3600.05/3612.30	c LP valid Farkas constraints 0
3600.05/3612.30	c LP learned Farkas constraints 0
3600.05/3612.30	c LP basis resets 0
3600.05/3612.30	c LP cycling count 0
3600.05/3612.30	c LP singular count 0
3600.05/3612.30	c LP no primal count 0
3600.05/3612.30	c LP no farkas count 0
3600.05/3612.30	c LP other issue count 0
3600.05/3612.30	c LP Gomory cuts 0
3600.05/3612.30	c LP learned cuts 0
3600.05/3612.30	c LP deleted cuts 0
3600.05/3612.30	c LP encountered Gomory constraints 0
3600.05/3612.30	c LP encountered Farkas constraints 0
3600.05/3612.30	c LP encountered learned Farkas constraints 0
3600.05/3612.30	c CG auxiliary variables introduced 0
3600.05/3612.30	c CG solutions found 0
3600.05/3612.30	c CG cores constructed 0
3600.05/3612.30	c CG core cardinality constraints returned 0
3600.05/3612.30	c CG unit cores 0
3600.05/3612.30	c CG single cores 0
3600.05/3612.30	c CG blocks removed during cardinality reduction 0
3600.05/3612.30	c CG first core best 0
3600.05/3612.30	c CG decision core best 0
3600.05/3612.30	c CG core reduction tie 0
3600.05/3612.30	c CG core degree average 0.00
3600.05/3612.30	c CG core slack average 0.00
3600.05/3612.30	c CG exhausted 0
3600.05/3612.30	c CG exhaust time 0 s
3600.05/3612.30	c CG trimmed 0
3600.05/3612.30	c CG trim time 0 s
3600.05/3612.30	c CG minimized 0
3600.05/3612.30	c CG minimize time 0 s
3600.05/3612.30	c CG am1 prop time 0 s
3600.05/3612.30	c CG # am1s reformulated 0
3600.05/3612.30	c CG lower bound derived from am1s 0
3600.05/3612.30	c CG # clausal cores 0
3600.05/3612.30	c CG # cardinality cores 0
3600.05/3612.30	c CG # pb cores 0
3600.05/3612.30	c CG # pb reforms 0
3600.05/3612.30	c CG # cores discarded because of pb reform 0
3600.05/3612.30	d LOWERBOUND 0
3600.05/3612.30	d NCORES 0
3600.05/3612.30	d NPBCORES 0
3600.05/3612.30	d NPBREFORM 0
3600.05/3612.30	d NTRIMMED 0
3600.05/3612.30	d NEXHAUSTED 0
3600.05/3612.30	d NAM1S 0
3600.05/3612.30	d AM1LB 0
3600.05/3612.30	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 (62608 MiB free)
  memory of node 1: 64473 MiB (60550 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1065162, runsolver pid=1065158

[startup+0.100471 s]*
/proc/loadavg: 4.51 4.22 4.12 5/244 1065163
/proc/meminfo: memFree=126111132/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=39884 memory=7436 CPUtime=0.1 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 661 0 0 0 9 1 0 0 20 0 1 0 199454665 40841216 1859 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 9971 1859 1409 291 0 1505 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 7436 KiB

[startup+0.213151 s]*
/proc/loadavg: 4.51 4.22 4.12 5/244 1065163
/proc/meminfo: memFree=126107656/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=40276 memory=10160 CPUtime=0.21 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 779 0 0 0 20 1 0 0 20 0 1 0 199454665 41242624 2540 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 10069 2540 1409 291 0 1603 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 10160 KiB

[startup+0.312653 s]*
/proc/loadavg: 4.51 4.22 4.12 5/244 1065163
/proc/meminfo: memFree=126106844/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=40404 memory=10288 CPUtime=0.3 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 834 0 0 0 29 1 0 0 20 0 1 0 199454665 41373696 2572 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 10101 2572 1409 291 0 1635 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 10288 KiB

[startup+0.70034 s]
/proc/loadavg: 4.51 4.22 4.12 5/244 1065163
/proc/meminfo: memFree=126104680/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=41696 memory=11692 CPUtime=0.68 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 1205 0 0 0 66 2 0 0 20 0 1 0 199454665 42696704 2923 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 10424 2923 1409 291 0 1958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41696 KiB
Current children cumulated memory: 11692 KiB

[startup+1.50035 s]
/proc/loadavg: 4.51 4.22 4.12 5/244 1065163
/proc/meminfo: memFree=126094084/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=43380 memory=15068 CPUtime=1.48 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 1974 0 0 0 144 4 0 0 20 0 1 0 199454665 44421120 3767 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 10845 3767 1472 291 0 2379 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43380 KiB
Current children cumulated memory: 15068 KiB

[startup+3.11258 s]
/proc/loadavg: 4.55 4.23 4.13 5/244 1065163
/proc/meminfo: memFree=126042828/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=48612 memory=19736 CPUtime=3.09 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 3132 0 0 0 302 7 0 0 20 0 1 0 199454665 49778688 4934 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 12153 4934 1472 291 0 3687 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48612 KiB
Current children cumulated memory: 19736 KiB

[startup+6.30033 s]
/proc/loadavg: 4.55 4.23 4.13 5/244 1065163
/proc/meminfo: memFree=126000128/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=56836 memory=25148 CPUtime=6.27 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 4492 0 0 0 615 12 0 0 20 0 1 0 199454665 58200064 6287 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 14209 6287 1472 291 0 5743 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56836 KiB
Current children cumulated memory: 25148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.59 4.25 4.13 5/244 1065164
/proc/meminfo: memFree=125619388/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=68972 memory=36192 CPUtime=12.66 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 6232 0 0 0 1248 18 0 0 20 0 1 0 199454665 70627328 9048 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 17243 9048 1472 291 0 8777 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 68972 KiB
Current children cumulated memory: 36192 KiB

[startup+25.5004 s]
/proc/loadavg: 4.90 4.33 4.16 5/244 1065166
/proc/meminfo: memFree=125092880/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=79176 memory=48540 CPUtime=25.42 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 8831 0 0 0 2513 29 0 0 20 0 1 0 199454665 81076224 12135 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 19794 12135 1472 291 0 11328 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 79176 KiB
Current children cumulated memory: 48540 KiB

[startup+51.1127 s]
/proc/loadavg: 4.59 4.31 4.16 5/244 1065170
/proc/meminfo: memFree=124880984/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=97140 memory=58984 CPUtime=50.96 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 10402 0 0 0 5041 55 0 0 20 0 1 0 199454665 99471360 14746 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 24285 14746 1472 291 0 15819 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97140 KiB
Current children cumulated memory: 58984 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.27 4.16 5/244 1065179
/proc/meminfo: memFree=124481236/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=132336 memory=86572 CPUtime=102 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 14261 0 0 0 10111 89 0 0 20 0 1 0 199454665 135512064 21643 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 33084 21643 1472 291 0 24618 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 132336 KiB
Current children cumulated memory: 86572 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.27 4.16 5/246 1065359
/proc/meminfo: memFree=123665308/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=134672 memory=88248 CPUtime=161.84 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 14868 0 0 0 16050 134 0 0 20 0 1 0 199454665 137904128 22062 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 33668 22062 1472 291 0 25202 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 134672 KiB
Current children cumulated memory: 88248 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.23 4.16 5/245 1065370
/proc/meminfo: memFree=122873116/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=177564 memory=122412 CPUtime=221.66 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 18288 0 0 0 22008 158 0 0 20 0 1 0 199454665 181825536 30603 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 44391 30603 1472 291 0 35925 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 177564 KiB
Current children cumulated memory: 122412 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/243 1065382
/proc/meminfo: memFree=122667300/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=183512 memory=126952 CPUtime=281.49 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 19460 0 0 0 27971 178 0 0 20 0 1 0 199454665 187916288 31738 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 45878 31738 1472 291 0 37412 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 183512 KiB
Current children cumulated memory: 126952 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/243 1065403
/proc/meminfo: memFree=122264572/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=184308 memory=127644 CPUtime=341.32 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 19774 0 0 0 33907 225 0 0 20 0 1 0 199454665 188731392 31911 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 46077 31911 1472 291 0 37611 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 184308 KiB
Current children cumulated memory: 127644 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 1065415
/proc/meminfo: memFree=121756824/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=186736 memory=129648 CPUtime=401.15 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 20389 0 0 0 39855 260 0 0 20 0 1 0 199454665 191217664 32412 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 46684 32412 1472 291 0 38218 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 186736 KiB
Current children cumulated memory: 129648 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.14 4.13 5/243 1065518
/proc/meminfo: memFree=123332308/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=187016 memory=129988 CPUtime=460.95 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 20588 0 0 0 45800 295 0 0 20 0 1 0 199454665 191504384 32497 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 46754 32497 1472 291 0 38288 0

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

Current children cumulated memory: 223652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/242 1066574
/proc/meminfo: memFree=118807320/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=303592 memory=223836 CPUtime=2912.44 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 39306 0 0 0 290121 1123 0 0 20 0 1 0 199454665 310878208 55959 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 75898 55959 1472 291 0 67432 0
Current children cumulated CPU time: 2912.44 s
Current children cumulated vsize: 303592 KiB
Current children cumulated memory: 223836 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/242 1066585
/proc/meminfo: memFree=118568088/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=304236 memory=224448 CPUtime=2972.24 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 39624 0 0 0 296088 1136 0 0 20 0 1 0 199454665 311537664 56112 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 76059 56112 1472 291 0 67593 0
Current children cumulated CPU time: 2972.24 s
Current children cumulated vsize: 304236 KiB
Current children cumulated memory: 224448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/241 1066595
/proc/meminfo: memFree=118535752/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=304940 memory=225216 CPUtime=3032.02 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 39830 0 0 0 302057 1145 0 0 20 0 1 0 199454665 312258560 56304 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 76235 56304 1472 291 0 67769 0
Current children cumulated CPU time: 3032.02 s
Current children cumulated vsize: 304940 KiB
Current children cumulated memory: 225216 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/241 1066605
/proc/meminfo: memFree=118239952/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=307240 memory=235196 CPUtime=3091.82 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 40443 0 0 0 308021 1161 0 0 20 0 1 0 199454665 314613760 58799 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 76810 58799 1472 291 0 68344 0
Current children cumulated CPU time: 3091.82 s
Current children cumulated vsize: 307240 KiB
Current children cumulated memory: 235196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.16 4.17 5/241 1066615
/proc/meminfo: memFree=118211648/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=309988 memory=236904 CPUtime=3151.61 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 40964 0 0 0 313984 1177 0 0 20 0 1 0 199454665 317427712 59226 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77497 59226 1472 291 0 69031 0
Current children cumulated CPU time: 3151.61 s
Current children cumulated vsize: 309988 KiB
Current children cumulated memory: 236904 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/241 1066626
/proc/meminfo: memFree=118181808/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=310112 memory=237372 CPUtime=3211.4 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 41217 0 0 0 319946 1194 0 0 20 0 1 0 199454665 317554688 59343 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77528 59343 1472 291 0 69062 0
Current children cumulated CPU time: 3211.4 s
Current children cumulated vsize: 310112 KiB
Current children cumulated memory: 237372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/243 1066640
/proc/meminfo: memFree=118149604/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=310368 memory=237528 CPUtime=3271.19 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 41397 0 0 0 325908 1211 0 0 20 0 1 0 199454665 317816832 59382 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77592 59382 1472 291 0 69126 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 237528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/243 1066650
/proc/meminfo: memFree=118114520/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=310368 memory=237552 CPUtime=3330.98 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 41571 0 0 0 331862 1236 0 0 20 0 1 0 199454665 317816832 59388 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77592 59388 1472 291 0 69126 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 237552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 1066661
/proc/meminfo: memFree=118088520/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=310368 memory=237552 CPUtime=3390.78 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 41736 0 0 0 337822 1256 0 0 20 0 1 0 199454665 317816832 59388 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77592 59388 1472 291 0 69126 0
Current children cumulated CPU time: 3390.78 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 237552 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/243 1066671
/proc/meminfo: memFree=118053864/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=311456 memory=238316 CPUtime=3450.56 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 41934 0 0 0 343788 1268 0 0 20 0 1 0 199454665 318930944 59579 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 77864 59579 1472 291 0 69398 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 311456 KiB
Current children cumulated memory: 238316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/243 1066683
/proc/meminfo: memFree=117957720/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=312092 memory=238872 CPUtime=3510.36 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 42248 0 0 0 349747 1289 0 0 20 0 1 0 199454665 319582208 59718 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 78023 59718 1472 291 0 69557 0
Current children cumulated CPU time: 3510.36 s
Current children cumulated vsize: 312092 KiB
Current children cumulated memory: 238872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/244 1067172
/proc/meminfo: memFree=125121244/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=312092 memory=238872 CPUtime=3570.14 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 42394 0 0 0 355705 1309 0 0 20 0 1 0 199454665 319582208 59718 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 78023 59718 1472 291 0 69557 0
Current children cumulated CPU time: 3570.14 s
Current children cumulated vsize: 312092 KiB
Current children cumulated memory: 238872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 1067176
/proc/meminfo: memFree=121132608/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=312860 memory=240416 CPUtime=3600.05 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 42502 0 0 0 358688 1317 0 0 20 0 1 0 199454665 320368640 60104 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 78215 60104 1472 291 0 69749 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 240416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.88 s, system=13.18 s

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

[startup+3612.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 1067176
/proc/meminfo: memFree=121132608/131655788 swapFree=131071996/131071996
[pid=1065162] ppid=1065158 vsize=312860 memory=240416 CPUtime=3600.05 cores=5,7
/proc/1065162/stat : 1065162 (pb-oll-rs) R 1065158 1065162 1062548 0 -1 4194304 42502 0 0 0 358688 1317 0 0 20 0 1 0 199454665 320368640 60104 134679101440 4194304 5384485 140723884287456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 8187904 140723884295189 140723884295266 140723884295266 140723884302283 0
/proc/1065162/statm: 78215 60104 1472 291 0 69749 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 240416 KiB

Child status: 0

Real time (s): 3612.31
CPU time (s): 3600.06
CPU user time (s): 3586.88
CPU system time (s): 13.18
CPU usage (%): 99.661
Max. virtual memory (cumulated for all children) (KiB): 312860
Max. memory (cumulated for all children) (KiB): 240416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.88
system time used= 13.18
maximum resident set size= 240880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42519
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= 36
involuntary context switches= 2765


# summary of solver processes directly reported to runsolver:
#   pid: 1065162
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3586.88
#   total CPU system time (s): 13.18

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6568 second user time and 26.0859 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 12:56:11
IDJOB=4454443
IDBENCH=148770
IDSOLVER=3082
FILE ID=nodeC005/4454443-1721472959
RUNJOBID= nodeC005-1721469315-1062597
SLURM_JOB_ID= 7545729
Free space on /tmp= 723772 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454443-1721472959/watcher-4454443-1721472959 -o /tmp/evaluation-result-4454443-1721472959/solver-4454443-1721472959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062597 --watchdog 3760  pb-oll-rs HOME/instance-4454443-1721472959.opb

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

MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1273106387

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		: 3674.527
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		: 3617.750
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.442
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.255
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		: 3674.806
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		: 3491.784
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.407
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.178
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:        126115132 kB
MemAvailable:   128310952 kB
Buffers:          568264 kB
Cached:          2454160 kB
SwapCached:            0 kB
Active:          1194296 kB
Inactive:        3742024 kB
Active(anon):       3448 kB
Inactive(anon):  1956348 kB
Active(file):    1190848 kB
Inactive(file):  1785676 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2428 kB
Writeback:            12 kB
AnonPages:       1913216 kB
Mapped:           112780 kB
Shmem:             45896 kB
KReclaimable:     118992 kB
Slab:             229196 kB
SReclaimable:     118992 kB
SUnreclaim:       110204 kB
KernelStack:        3984 kB
PageTables:        13060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2398336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62720 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC005 at 2024-07-20 13:56:23