Trace number 4436001

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02? (TO) 3600.08 3610.03

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=834688, runsolver pid=834685

[startup+0.100109 s]*
/proc/loadavg: 4.25 4.31 4.22 5/245 834689
/proc/meminfo: memFree=128263380/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=40404 memory=8480 CPUtime=0.1 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 936 0 0 0 10 0 0 0 20 0 1 0 163468616 41373696 2120 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 10101 2120 1377 291 0 1635 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40404 KiB
Current children cumulated memory: 8480 KiB

[startup+0.213209 s]*
/proc/loadavg: 4.25 4.31 4.22 5/245 834690
/proc/meminfo: memFree=128260044/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=41180 memory=11700 CPUtime=0.21 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 1214 0 0 0 21 0 0 0 20 0 1 0 163468616 42168320 2925 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 10295 2925 1377 291 0 1829 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41180 KiB
Current children cumulated memory: 11700 KiB

[startup+0.312984 s]*
/proc/loadavg: 4.25 4.31 4.22 5/245 834690
/proc/meminfo: memFree=128259372/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=41828 memory=12216 CPUtime=0.32 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 1361 0 0 0 31 1 0 0 20 0 1 0 163468616 42831872 3054 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 10457 3054 1377 291 0 1991 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 12216 KiB

[startup+0.700305 s]
/proc/loadavg: 4.25 4.31 4.22 5/245 834690
/proc/meminfo: memFree=128257356/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=43124 memory=14512 CPUtime=0.69 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 1900 0 0 0 67 2 0 0 20 0 1 0 163468616 44158976 3628 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 10781 3628 1431 291 0 2315 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43124 KiB
Current children cumulated memory: 14512 KiB

[startup+1.50033 s]
/proc/loadavg: 4.23 4.30 4.21 5/245 834690
/proc/meminfo: memFree=128254220/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=47300 memory=18236 CPUtime=1.49 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 2280 0 0 0 145 4 0 0 20 0 1 0 163468616 48435200 4559 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 11825 4559 1431 291 0 3359 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47300 KiB
Current children cumulated memory: 18236 KiB

[startup+3.11294 s]
/proc/loadavg: 4.23 4.30 4.21 5/245 834690
/proc/meminfo: memFree=128251104/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=49660 memory=20680 CPUtime=3.1 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 2905 0 0 0 302 8 0 0 20 0 1 0 163468616 50851840 5170 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 12415 5170 1431 291 0 3949 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 49660 KiB
Current children cumulated memory: 20680 KiB

[startup+6.3003 s]
/proc/loadavg: 4.21 4.30 4.21 5/245 834690
/proc/meminfo: memFree=128243472/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=58952 memory=29436 CPUtime=6.28 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 4594 0 0 0 615 13 0 0 20 0 1 0 163468616 60366848 7359 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 14738 7359 1431 291 0 6272 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 29436 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.29 4.21 5/245 834693
/proc/meminfo: memFree=128227196/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=69236 memory=37024 CPUtime=12.65 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 5447 0 0 0 1246 19 0 0 20 0 1 0 163468616 70897664 9256 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 17309 9256 1431 291 0 8843 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 69236 KiB
Current children cumulated memory: 37024 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.28 4.21 5/245 834694
/proc/meminfo: memFree=128198128/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=80136 memory=49164 CPUtime=25.42 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 8012 0 0 0 2510 32 0 0 20 0 1 0 163468616 82059264 12291 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 20034 12291 1431 291 0 11568 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80136 KiB
Current children cumulated memory: 49164 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.25 4.20 5/245 834699
/proc/meminfo: memFree=128164628/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=97140 memory=57536 CPUtime=50.96 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 9566 0 0 0 5036 60 0 0 20 0 1 0 163468616 99471360 14384 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 24285 14384 1431 291 0 15819 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 97140 KiB
Current children cumulated memory: 57536 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.23 4.19 5/245 834707
/proc/meminfo: memFree=128125256/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=132336 memory=87172 CPUtime=102.01 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 13424 0 0 0 10105 96 0 0 20 0 1 0 163468616 135512064 21793 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 33084 21793 1431 291 0 24618 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 132336 KiB
Current children cumulated memory: 87172 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/244 834730
/proc/meminfo: memFree=128102936/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=134528 memory=88844 CPUtime=161.84 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 14013 0 0 0 16035 149 0 0 20 0 1 0 163468616 137756672 22211 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 33632 22211 1431 291 0 25166 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 134528 KiB
Current children cumulated memory: 88844 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/244 834742
/proc/meminfo: memFree=127980436/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=177564 memory=123012 CPUtime=221.69 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 17453 0 0 0 21996 173 0 0 20 0 1 0 163468616 181825536 30753 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 44391 30753 1431 291 0 35925 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 177564 KiB
Current children cumulated memory: 123012 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/244 834752
/proc/meminfo: memFree=127937812/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=183512 memory=127552 CPUtime=281.52 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 18624 0 0 0 27959 193 0 0 20 0 1 0 163468616 187916288 31888 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 45878 31888 1431 291 0 37412 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 183512 KiB
Current children cumulated memory: 127552 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/242 834762
/proc/meminfo: memFree=127837808/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=184308 memory=128236 CPUtime=341.35 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 18909 0 0 0 33892 243 0 0 20 0 1 0 163468616 188731392 32059 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 46077 32059 1431 291 0 37611 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 184308 KiB
Current children cumulated memory: 128236 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/242 834773
/proc/meminfo: memFree=127799360/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=186288 memory=129884 CPUtime=401.18 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 19435 0 0 0 39836 282 0 0 20 0 1 0 163468616 190758912 32471 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 46572 32471 1431 291 0 38106 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 186288 KiB
Current children cumulated memory: 129884 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/241 834784
/proc/meminfo: memFree=127698964/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=186948 memory=130516 CPUtime=461.01 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 19706 0 0 0 45779 322 0 0 20 0 1 0 163468616 191434752 32629 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 46737 32629 1431 291 0 38271 0

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

Current children cumulated memory: 252832 KiB

[startup+2862.3 s]
/proc/loadavg: 2.17 2.23 2.88 3/228 835894
/proc/meminfo: memFree=128751228/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=308520 memory=253356 CPUtime=2853.99 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 39849 0 0 0 284227 1172 0 0 20 0 1 0 163468616 315924480 63339 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 77130 63339 1431 291 0 68664 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 308520 KiB
Current children cumulated memory: 253356 KiB

[startup+2922.3 s]
/proc/loadavg: 2.12 2.20 2.83 3/228 835904
/proc/meminfo: memFree=128747804/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=310368 memory=254532 CPUtime=2913.86 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 40418 0 0 0 290196 1190 0 0 20 0 1 0 163468616 317816832 63633 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 77592 63633 1431 291 0 69126 0
Current children cumulated CPU time: 2913.86 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 254532 KiB

[startup+2982.3 s]
/proc/loadavg: 2.09 2.18 2.78 3/228 835914
/proc/meminfo: memFree=128738384/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=310368 memory=254700 CPUtime=2973.73 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 40763 0 0 0 296167 1206 0 0 20 0 1 0 163468616 317816832 63675 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 77592 63675 1431 291 0 69126 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 254700 KiB

[startup+3042.3 s]
/proc/loadavg: 2.14 2.17 2.74 3/227 835925
/proc/meminfo: memFree=128687936/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=310368 memory=254700 CPUtime=3033.6 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 41012 0 0 0 302130 1230 0 0 20 0 1 0 163468616 317816832 63675 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 77592 63675 1431 291 0 69126 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 310368 KiB
Current children cumulated memory: 254700 KiB

[startup+3102.3 s]
/proc/loadavg: 2.10 2.16 2.70 3/227 835935
/proc/meminfo: memFree=128650584/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=312092 memory=255704 CPUtime=3093.47 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 41460 0 0 0 308104 1243 0 0 20 0 1 0 163468616 319582208 63926 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 78023 63926 1431 291 0 69557 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 312092 KiB
Current children cumulated memory: 255704 KiB

[startup+3162.3 s]
/proc/loadavg: 1.93 2.11 2.65 2/223 835980
/proc/meminfo: memFree=129531652/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=312092 memory=255704 CPUtime=3153.3 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 41693 0 0 0 314064 1266 0 0 20 0 1 0 163468616 319582208 63926 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 78023 63926 1431 291 0 69557 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 312092 KiB
Current children cumulated memory: 255704 KiB

[startup+3222.3 s]
/proc/loadavg: 1.40 1.92 2.55 2/223 835991
/proc/meminfo: memFree=129530924/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=312860 memory=256124 CPUtime=3213.18 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 41952 0 0 0 320031 1287 0 0 20 0 1 0 163468616 320368640 64031 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 78215 64031 1431 291 0 69749 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 256124 KiB

[startup+3282.3 s]
/proc/loadavg: 1.19 1.77 2.45 2/223 836001
/proc/meminfo: memFree=129526504/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=312860 memory=260208 CPUtime=3273.05 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 42203 0 0 0 326002 1303 0 0 20 0 1 0 163468616 320368640 65052 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 78215 65052 1431 291 0 69749 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 312860 KiB
Current children cumulated memory: 260208 KiB

[startup+3342.3 s]
/proc/loadavg: 1.14 1.64 2.36 2/223 836011
/proc/meminfo: memFree=129518488/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=318088 memory=267336 CPUtime=3332.91 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 43280 0 0 0 331975 1316 0 0 20 0 1 0 163468616 325722112 66834 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 79522 66834 1431 291 0 71056 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 318088 KiB
Current children cumulated memory: 267336 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.54 2.28 2/223 836022
/proc/meminfo: memFree=129518332/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=318908 memory=267484 CPUtime=3392.79 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 43528 0 0 0 337950 1329 0 0 20 0 1 0 163468616 326561792 66871 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 79727 66871 1431 291 0 71261 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 318908 KiB
Current children cumulated memory: 267484 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.45 2.20 2/222 836417
/proc/meminfo: memFree=129516796/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=320308 memory=268176 CPUtime=3452.65 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 43954 0 0 0 343920 1345 0 0 20 0 1 0 163468616 327995392 67044 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 80077 67044 1431 291 0 71611 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 320308 KiB
Current children cumulated memory: 268176 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.38 2.13 2/222 836427
/proc/meminfo: memFree=129511964/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=327732 memory=272572 CPUtime=3512.53 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 45281 0 0 0 349893 1360 0 0 20 0 1 0 163468616 335597568 68143 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 81933 68143 1431 291 0 73467 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 327732 KiB
Current children cumulated memory: 272572 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.32 2.06 2/222 836437
/proc/meminfo: memFree=129505096/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=327600 memory=279064 CPUtime=3572.4 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 45409 0 0 0 355874 1366 0 0 20 0 1 0 163468616 335462400 69766 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 81900 69766 1431 291 0 73434 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 327600 KiB
Current children cumulated memory: 279064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.10 1.31 2.04 2/224 836611
/proc/meminfo: memFree=129495068/131655788 swapFree=131071996/131071996
[pid=834688] ppid=834685 vsize=329492 memory=288804 CPUtime=3600.05 cores=4,6
/proc/834688/stat : 834688 (pb-oll-rs) R 834685 834688 828344 0 -1 4194304 45812 0 0 0 358637 1368 0 0 20 0 1 0 163468616 337399808 72201 134679101440 4194304 5384005 140736116949040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 13438976 140736116958231 140736116958308 140736116958308 140736116965323 0
/proc/834688/statm: 82373 72201 1431 291 0 73907 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 329492 KiB
Current children cumulated memory: 288804 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.39 s, system=13.6894 s

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

Child status: 0

Real time (s): 3610.03
CPU time (s): 3600.08
CPU user time (s): 3586.39
CPU system time (s): 13.6894
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 329492
Max. memory (cumulated for all children) (KiB): 288804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.39
system time used= 13.6894
maximum resident set size= 288988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45828
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= 106
involuntary context switches= 3326


# summary of solver processes directly reported to runsolver:
#   pid: 834688
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3586.39
#   total CPU system time (s): 13.6894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3972 second user time and 33.3066 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 08:58:54
IDJOB=4436001
IDBENCH=148770
IDSOLVER=3067
FILE ID=nodeC008/4436001-1721113122
RUNJOBID= nodeC008-1721103905-828396
SLURM_JOB_ID= 7505622
Free space on /tmp= 723760 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4436001-1721113122/watcher-4436001-1721113122 -o /tmp/evaluation-result-4436001-1721113122/solver-4436001-1721113122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828396 --watchdog 3760  pb-oll-rs HOME/instance-4436001-1721113122.opb

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

MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=959508628

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128266784 kB
MemAvailable:   128465256 kB
Buffers:          414868 kB
Cached:           627328 kB
SwapCached:            0 kB
Active:           646888 kB
Inactive:        2218760 kB
Active(anon):       1484 kB
Inactive(anon):  1859352 kB
Active(file):     645404 kB
Inactive(file):   359408 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2356 kB
Writeback:             0 kB
AnonPages:       1823148 kB
Mapped:           107808 kB
Shmem:             37704 kB
KReclaimable:      67380 kB
Slab:             161208 kB
SReclaimable:      67380 kB
SUnreclaim:        93828 kB
KernelStack:        3980 kB
PageTables:        12808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2458012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52096 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1269760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-16 09:59:04