Trace number 4454347

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-19SAT (TO)17 3600.02 3608.5

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8451009eff5aac10a49807ab684bf277
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 146 #constraints 12
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0
0.00/0.00	c stratification level: 64
0.00/0.00	c bounds 231 >= 0 @ 0.005238
0.00/0.00	c stratification level: 32
0.00/0.00	c bounds 138 >= 0 @ 0.005622
0.00/0.00	c stratification level: 16
0.00/0.01	c bounds 90 >= 0 @ 0.014105
0.00/0.01	c stratification level: 8
0.30/0.37	c #Conflicts:       1000 | #Constraints:       1014
0.30/0.37	c #Conflicts:       2000 | #Constraints:       2014
0.30/0.37	c INPROCESSING
0.30/0.37	c GARBAGE COLLECT
0.30/0.37	c #Conflicts:       3000 | #Constraints:       2016
0.30/0.37	c #Conflicts:       4000 | #Constraints:       3016
0.30/0.37	c INPROCESSING
0.30/0.37	c GARBAGE COLLECT
0.30/0.37	c bounds 40 >= 0 @ 0.35714
0.30/0.37	c stratification level: 4
28.73/28.89	c #Conflicts:       5000 | #Constraints:       2422
28.73/28.89	c #Conflicts:       6000 | #Constraints:       3422
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:       7000 | #Constraints:       2425
28.73/28.89	c #Conflicts:       8000 | #Constraints:       3425
28.73/28.89	c #Conflicts:       9000 | #Constraints:       4425
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      10000 | #Constraints:       3124
28.73/28.89	c #Conflicts:      11000 | #Constraints:       4124
28.73/28.89	c #Conflicts:      12000 | #Constraints:       5124
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      13000 | #Constraints:       3575
28.73/28.89	c #Conflicts:      14000 | #Constraints:       4575
28.73/28.89	c #Conflicts:      15000 | #Constraints:       5575
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      16000 | #Constraints:       3802
28.73/28.89	c #Conflicts:      17000 | #Constraints:       4802
28.73/28.89	c #Conflicts:      18000 | #Constraints:       5802
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      19000 | #Constraints:       3817
28.73/28.89	c #Conflicts:      20000 | #Constraints:       4817
28.73/28.89	c #Conflicts:      21000 | #Constraints:       5817
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      22000 | #Constraints:       3621
28.73/28.89	c #Conflicts:      23000 | #Constraints:       4621
28.73/28.89	c #Conflicts:      24000 | #Constraints:       5621
28.73/28.89	c #Conflicts:      25000 | #Constraints:       6621
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      26000 | #Constraints:       4225
28.73/28.89	c #Conflicts:      27000 | #Constraints:       5225
28.73/28.89	c #Conflicts:      28000 | #Constraints:       6225
28.73/28.89	c #Conflicts:      29000 | #Constraints:       7225
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      30000 | #Constraints:       4625
28.73/28.89	c #Conflicts:      31000 | #Constraints:       5625
28.73/28.89	c #Conflicts:      32000 | #Constraints:       6625
28.73/28.89	c #Conflicts:      33000 | #Constraints:       7625
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      34000 | #Constraints:       4825
28.73/28.89	c #Conflicts:      35000 | #Constraints:       5825
28.73/28.89	c #Conflicts:      36000 | #Constraints:       6825
28.73/28.89	c #Conflicts:      37000 | #Constraints:       7825
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      38000 | #Constraints:       4828
28.73/28.89	c #Conflicts:      39000 | #Constraints:       5828
28.73/28.89	c #Conflicts:      40000 | #Constraints:       6828
28.73/28.89	c #Conflicts:      41000 | #Constraints:       7828
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      42000 | #Constraints:       4627
28.73/28.89	c #Conflicts:      43000 | #Constraints:       5627
28.73/28.89	c #Conflicts:      44000 | #Constraints:       6627
28.73/28.89	c #Conflicts:      45000 | #Constraints:       7627
28.73/28.89	c #Conflicts:      46000 | #Constraints:       8627
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      47000 | #Constraints:       5226
28.73/28.89	c #Conflicts:      48000 | #Constraints:       6226
28.73/28.89	c #Conflicts:      49000 | #Constraints:       7226
28.73/28.89	c #Conflicts:      50000 | #Constraints:       8226
28.73/28.89	c #Conflicts:      51000 | #Constraints:       9226
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      52000 | #Constraints:       5627
28.73/28.89	c #Conflicts:      53000 | #Constraints:       6627
28.73/28.89	c #Conflicts:      54000 | #Constraints:       7627
28.73/28.89	c #Conflicts:      55000 | #Constraints:       8627
28.73/28.89	c #Conflicts:      56000 | #Constraints:       9627
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      57000 | #Constraints:       5827
28.73/28.89	c #Conflicts:      58000 | #Constraints:       6827
28.73/28.89	c #Conflicts:      59000 | #Constraints:       7827
28.73/28.89	c #Conflicts:      60000 | #Constraints:       8827
28.73/28.89	c #Conflicts:      61000 | #Constraints:       9827
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      62000 | #Constraints:       5827
28.73/28.89	c #Conflicts:      63000 | #Constraints:       6827
28.73/28.89	c #Conflicts:      64000 | #Constraints:       7827
28.73/28.89	c #Conflicts:      65000 | #Constraints:       8827
28.73/28.89	c #Conflicts:      66000 | #Constraints:       9827
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
28.73/28.89	c #Conflicts:      67000 | #Constraints:       5627
28.73/28.89	c #Conflicts:      68000 | #Constraints:       6627
28.73/28.89	c #Conflicts:      69000 | #Constraints:       7627
28.73/28.89	c #Conflicts:      70000 | #Constraints:       8627
28.73/28.89	c #Conflicts:      71000 | #Constraints:       9627
28.73/28.89	c #Conflicts:      72000 | #Constraints:      10627
28.73/28.89	c INPROCESSING
28.73/28.89	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:      73000 | #Constraints:       6226
83.21/83.44	c #Conflicts:      74000 | #Constraints:       7226
83.21/83.44	c #Conflicts:      75000 | #Constraints:       8226
83.21/83.44	c #Conflicts:      76000 | #Constraints:       9226
83.21/83.44	c #Conflicts:      77000 | #Constraints:      10226
83.21/83.44	c #Conflicts:      78000 | #Constraints:      11226
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:      79000 | #Constraints:       6627
83.21/83.44	c #Conflicts:      80000 | #Constraints:       7627
83.21/83.44	c #Conflicts:      81000 | #Constraints:       8627
83.21/83.44	c #Conflicts:      82000 | #Constraints:       9627
83.21/83.44	c #Conflicts:      83000 | #Constraints:      10627
83.21/83.44	c #Conflicts:      84000 | #Constraints:      11627
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:      85000 | #Constraints:       6827
83.21/83.44	c #Conflicts:      86000 | #Constraints:       7827
83.21/83.44	c #Conflicts:      87000 | #Constraints:       8827
83.21/83.44	c #Conflicts:      88000 | #Constraints:       9827
83.21/83.44	c #Conflicts:      89000 | #Constraints:      10827
83.21/83.44	c #Conflicts:      90000 | #Constraints:      11827
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:      91000 | #Constraints:       6827
83.21/83.44	c #Conflicts:      92000 | #Constraints:       7827
83.21/83.44	c #Conflicts:      93000 | #Constraints:       8827
83.21/83.44	c #Conflicts:      94000 | #Constraints:       9827
83.21/83.44	c #Conflicts:      95000 | #Constraints:      10827
83.21/83.44	c #Conflicts:      96000 | #Constraints:      11827
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:      97000 | #Constraints:       6630
83.21/83.44	c #Conflicts:      98000 | #Constraints:       7630
83.21/83.44	c #Conflicts:      99000 | #Constraints:       8630
83.21/83.44	c #Conflicts:     100000 | #Constraints:       9630
83.21/83.44	c #Conflicts:     101000 | #Constraints:      10630
83.21/83.44	c #Conflicts:     102000 | #Constraints:      11630
83.21/83.44	c #Conflicts:     103000 | #Constraints:      12630
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     104000 | #Constraints:       7229
83.21/83.44	c #Conflicts:     105000 | #Constraints:       8229
83.21/83.44	c #Conflicts:     106000 | #Constraints:       9229
83.21/83.44	c #Conflicts:     107000 | #Constraints:      10229
83.21/83.44	c #Conflicts:     108000 | #Constraints:      11229
83.21/83.44	c #Conflicts:     109000 | #Constraints:      12229
83.21/83.44	c #Conflicts:     110000 | #Constraints:      13229
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     111000 | #Constraints:       7632
83.21/83.44	c #Conflicts:     112000 | #Constraints:       8632
83.21/83.44	c #Conflicts:     113000 | #Constraints:       9632
83.21/83.44	c #Conflicts:     114000 | #Constraints:      10632
83.21/83.44	c #Conflicts:     115000 | #Constraints:      11632
83.21/83.44	c #Conflicts:     116000 | #Constraints:      12632
83.21/83.44	c #Conflicts:     117000 | #Constraints:      13632
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     118000 | #Constraints:       7830
83.21/83.44	c #Conflicts:     119000 | #Constraints:       8830
83.21/83.44	c #Conflicts:     120000 | #Constraints:       9830
83.21/83.44	c #Conflicts:     121000 | #Constraints:      10830
83.21/83.44	c #Conflicts:     122000 | #Constraints:      11830
83.21/83.44	c #Conflicts:     123000 | #Constraints:      12830
83.21/83.44	c #Conflicts:     124000 | #Constraints:      13830
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     125000 | #Constraints:       7829
83.21/83.44	c #Conflicts:     126000 | #Constraints:       8829
83.21/83.44	c #Conflicts:     127000 | #Constraints:       9829
83.21/83.44	c #Conflicts:     128000 | #Constraints:      10829
83.21/83.44	c #Conflicts:     129000 | #Constraints:      11829
83.21/83.44	c #Conflicts:     130000 | #Constraints:      12829
83.21/83.44	c #Conflicts:     131000 | #Constraints:      13829
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     132000 | #Constraints:       7629
83.21/83.44	c #Conflicts:     133000 | #Constraints:       8629
83.21/83.44	c #Conflicts:     134000 | #Constraints:       9629
83.21/83.44	c #Conflicts:     135000 | #Constraints:      10629
83.21/83.44	c #Conflicts:     136000 | #Constraints:      11629
83.21/83.44	c #Conflicts:     137000 | #Constraints:      12629
83.21/83.44	c #Conflicts:     138000 | #Constraints:      13629
83.21/83.44	c #Conflicts:     139000 | #Constraints:      14629
83.21/83.44	c INPROCESSING
83.21/83.44	c GARBAGE COLLECT
83.21/83.44	c #Conflicts:     140000 | #Constraints:       8232
83.21/83.44	c #Conflicts:     141000 | #Constraints:       9232
83.21/83.44	c #Conflicts:     142000 | #Constraints:      10232
83.21/83.44	c #Conflicts:     143000 | #Constraints:      11232
83.21/83.44	c #Conflicts:     144000 | #Constraints:      12232
83.21/83.44	c #Conflicts:     145000 | #Constraints:      13232
154.04/154.48	c #Conflicts:     146000 | #Constraints:      14232
154.04/154.48	c #Conflicts:     147000 | #Constraints:      15232
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     148000 | #Constraints:       8631
154.04/154.48	c #Conflicts:     149000 | #Constraints:       9631
154.04/154.48	c #Conflicts:     150000 | #Constraints:      10631
154.04/154.48	c #Conflicts:     151000 | #Constraints:      11631
154.04/154.48	c #Conflicts:     152000 | #Constraints:      12631
154.04/154.48	c #Conflicts:     153000 | #Constraints:      13631
154.04/154.48	c #Conflicts:     154000 | #Constraints:      14631
154.04/154.48	c #Conflicts:     155000 | #Constraints:      15631
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     156000 | #Constraints:       8830
154.04/154.48	c #Conflicts:     157000 | #Constraints:       9830
154.04/154.48	c #Conflicts:     158000 | #Constraints:      10830
154.04/154.48	c #Conflicts:     159000 | #Constraints:      11830
154.04/154.48	c #Conflicts:     160000 | #Constraints:      12830
154.04/154.48	c #Conflicts:     161000 | #Constraints:      13830
154.04/154.48	c #Conflicts:     162000 | #Constraints:      14830
154.04/154.48	c #Conflicts:     163000 | #Constraints:      15830
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     164000 | #Constraints:       8831
154.04/154.48	c #Conflicts:     165000 | #Constraints:       9831
154.04/154.48	c #Conflicts:     166000 | #Constraints:      10831
154.04/154.48	c #Conflicts:     167000 | #Constraints:      11831
154.04/154.48	c #Conflicts:     168000 | #Constraints:      12831
154.04/154.48	c #Conflicts:     169000 | #Constraints:      13831
154.04/154.48	c #Conflicts:     170000 | #Constraints:      14831
154.04/154.48	c #Conflicts:     171000 | #Constraints:      15831
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     172000 | #Constraints:       8630
154.04/154.48	c #Conflicts:     173000 | #Constraints:       9630
154.04/154.48	c #Conflicts:     174000 | #Constraints:      10630
154.04/154.48	c #Conflicts:     175000 | #Constraints:      11630
154.04/154.48	c #Conflicts:     176000 | #Constraints:      12630
154.04/154.48	c #Conflicts:     177000 | #Constraints:      13630
154.04/154.48	c #Conflicts:     178000 | #Constraints:      14630
154.04/154.48	c #Conflicts:     179000 | #Constraints:      15630
154.04/154.48	c #Conflicts:     180000 | #Constraints:      16630
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     181000 | #Constraints:       9229
154.04/154.48	c #Conflicts:     182000 | #Constraints:      10229
154.04/154.48	c #Conflicts:     183000 | #Constraints:      11229
154.04/154.48	c #Conflicts:     184000 | #Constraints:      12229
154.04/154.48	c #Conflicts:     185000 | #Constraints:      13229
154.04/154.48	c #Conflicts:     186000 | #Constraints:      14229
154.04/154.48	c #Conflicts:     187000 | #Constraints:      15229
154.04/154.48	c #Conflicts:     188000 | #Constraints:      16229
154.04/154.48	c #Conflicts:     189000 | #Constraints:      17229
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     190000 | #Constraints:       9629
154.04/154.48	c #Conflicts:     191000 | #Constraints:      10629
154.04/154.48	c #Conflicts:     192000 | #Constraints:      11629
154.04/154.48	c #Conflicts:     193000 | #Constraints:      12629
154.04/154.48	c #Conflicts:     194000 | #Constraints:      13629
154.04/154.48	c #Conflicts:     195000 | #Constraints:      14629
154.04/154.48	c #Conflicts:     196000 | #Constraints:      15629
154.04/154.48	c #Conflicts:     197000 | #Constraints:      16629
154.04/154.48	c #Conflicts:     198000 | #Constraints:      17629
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     199000 | #Constraints:       9830
154.04/154.48	c #Conflicts:     200000 | #Constraints:      10830
154.04/154.48	c #Conflicts:     201000 | #Constraints:      11830
154.04/154.48	c #Conflicts:     202000 | #Constraints:      12830
154.04/154.48	c #Conflicts:     203000 | #Constraints:      13830
154.04/154.48	c #Conflicts:     204000 | #Constraints:      14830
154.04/154.48	c #Conflicts:     205000 | #Constraints:      15830
154.04/154.48	c #Conflicts:     206000 | #Constraints:      16830
154.04/154.48	c #Conflicts:     207000 | #Constraints:      17830
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     208000 | #Constraints:       9831
154.04/154.48	c #Conflicts:     209000 | #Constraints:      10831
154.04/154.48	c #Conflicts:     210000 | #Constraints:      11831
154.04/154.48	c #Conflicts:     211000 | #Constraints:      12831
154.04/154.48	c #Conflicts:     212000 | #Constraints:      13831
154.04/154.48	c #Conflicts:     213000 | #Constraints:      14831
154.04/154.48	c #Conflicts:     214000 | #Constraints:      15831
154.04/154.48	c #Conflicts:     215000 | #Constraints:      16831
154.04/154.48	c #Conflicts:     216000 | #Constraints:      17831
154.04/154.48	c INPROCESSING
154.04/154.48	c GARBAGE COLLECT
154.04/154.48	c #Conflicts:     217000 | #Constraints:       9635
154.04/154.48	c #Conflicts:     218000 | #Constraints:      10635
239.06/239.67	c #Conflicts:     219000 | #Constraints:      11635
239.06/239.67	c #Conflicts:     220000 | #Constraints:      12635
239.06/239.67	c #Conflicts:     221000 | #Constraints:      13635
239.06/239.67	c #Conflicts:     222000 | #Constraints:      14635
239.06/239.67	c #Conflicts:     223000 | #Constraints:      15635
239.06/239.67	c #Conflicts:     224000 | #Constraints:      16635
239.06/239.67	c #Conflicts:     225000 | #Constraints:      17635
239.06/239.67	c #Conflicts:     226000 | #Constraints:      18635
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     227000 | #Constraints:      10236
239.06/239.67	c #Conflicts:     228000 | #Constraints:      11236
239.06/239.67	c #Conflicts:     229000 | #Constraints:      12236
239.06/239.67	c #Conflicts:     230000 | #Constraints:      13236
239.06/239.67	c #Conflicts:     231000 | #Constraints:      14236
239.06/239.67	c #Conflicts:     232000 | #Constraints:      15236
239.06/239.67	c #Conflicts:     233000 | #Constraints:      16236
239.06/239.67	c #Conflicts:     234000 | #Constraints:      17236
239.06/239.67	c #Conflicts:     235000 | #Constraints:      18236
239.06/239.67	c #Conflicts:     236000 | #Constraints:      19236
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     237000 | #Constraints:      10631
239.06/239.67	c #Conflicts:     238000 | #Constraints:      11631
239.06/239.67	c #Conflicts:     239000 | #Constraints:      12631
239.06/239.67	c #Conflicts:     240000 | #Constraints:      13631
239.06/239.67	c #Conflicts:     241000 | #Constraints:      14631
239.06/239.67	c #Conflicts:     242000 | #Constraints:      15631
239.06/239.67	c #Conflicts:     243000 | #Constraints:      16631
239.06/239.67	c #Conflicts:     244000 | #Constraints:      17631
239.06/239.67	c #Conflicts:     245000 | #Constraints:      18631
239.06/239.67	c #Conflicts:     246000 | #Constraints:      19631
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     247000 | #Constraints:      10832
239.06/239.67	c #Conflicts:     248000 | #Constraints:      11832
239.06/239.67	c #Conflicts:     249000 | #Constraints:      12832
239.06/239.67	c #Conflicts:     250000 | #Constraints:      13832
239.06/239.67	c #Conflicts:     251000 | #Constraints:      14832
239.06/239.67	c #Conflicts:     252000 | #Constraints:      15832
239.06/239.67	c #Conflicts:     253000 | #Constraints:      16832
239.06/239.67	c #Conflicts:     254000 | #Constraints:      17832
239.06/239.67	c #Conflicts:     255000 | #Constraints:      18832
239.06/239.67	c #Conflicts:     256000 | #Constraints:      19832
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     257000 | #Constraints:      10830
239.06/239.67	c #Conflicts:     258000 | #Constraints:      11830
239.06/239.67	c #Conflicts:     259000 | #Constraints:      12830
239.06/239.67	c #Conflicts:     260000 | #Constraints:      13830
239.06/239.67	c #Conflicts:     261000 | #Constraints:      14830
239.06/239.67	c #Conflicts:     262000 | #Constraints:      15830
239.06/239.67	c #Conflicts:     263000 | #Constraints:      16830
239.06/239.67	c #Conflicts:     264000 | #Constraints:      17830
239.06/239.67	c #Conflicts:     265000 | #Constraints:      18830
239.06/239.67	c #Conflicts:     266000 | #Constraints:      19830
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     267000 | #Constraints:      10633
239.06/239.67	c #Conflicts:     268000 | #Constraints:      11633
239.06/239.67	c #Conflicts:     269000 | #Constraints:      12633
239.06/239.67	c #Conflicts:     270000 | #Constraints:      13633
239.06/239.67	c #Conflicts:     271000 | #Constraints:      14633
239.06/239.67	c #Conflicts:     272000 | #Constraints:      15633
239.06/239.67	c #Conflicts:     273000 | #Constraints:      16633
239.06/239.67	c #Conflicts:     274000 | #Constraints:      17633
239.06/239.67	c #Conflicts:     275000 | #Constraints:      18633
239.06/239.67	c #Conflicts:     276000 | #Constraints:      19633
239.06/239.67	c #Conflicts:     277000 | #Constraints:      20633
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     278000 | #Constraints:      11230
239.06/239.67	c #Conflicts:     279000 | #Constraints:      12230
239.06/239.67	c #Conflicts:     280000 | #Constraints:      13230
239.06/239.67	c #Conflicts:     281000 | #Constraints:      14230
239.06/239.67	c #Conflicts:     282000 | #Constraints:      15230
239.06/239.67	c #Conflicts:     283000 | #Constraints:      16230
239.06/239.67	c #Conflicts:     284000 | #Constraints:      17230
239.06/239.67	c #Conflicts:     285000 | #Constraints:      18230
239.06/239.67	c #Conflicts:     286000 | #Constraints:      19230
239.06/239.67	c #Conflicts:     287000 | #Constraints:      20230
239.06/239.67	c #Conflicts:     288000 | #Constraints:      21230
239.06/239.67	c INPROCESSING
239.06/239.67	c GARBAGE COLLECT
239.06/239.67	c #Conflicts:     289000 | #Constraints:      11627
239.06/239.67	c #Conflicts:     290000 | #Constraints:      12627
239.06/239.67	c #Conflicts:     291000 | #Constraints:      13627
239.06/239.67	c #Conflicts:     292000 | #Constraints:      14627
330.56/331.34	c #Conflicts:     293000 | #Constraints:      15627
330.56/331.34	c #Conflicts:     294000 | #Constraints:      16627
330.56/331.34	c #Conflicts:     295000 | #Constraints:      17627
330.56/331.34	c #Conflicts:     296000 | #Constraints:      18627
330.56/331.34	c #Conflicts:     297000 | #Constraints:      19627
330.56/331.34	c #Conflicts:     298000 | #Constraints:      20627
330.56/331.34	c #Conflicts:     299000 | #Constraints:      21627
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     300000 | #Constraints:      11830
330.56/331.34	c #Conflicts:     301000 | #Constraints:      12830
330.56/331.34	c #Conflicts:     302000 | #Constraints:      13830
330.56/331.34	c #Conflicts:     303000 | #Constraints:      14830
330.56/331.34	c #Conflicts:     304000 | #Constraints:      15830
330.56/331.34	c #Conflicts:     305000 | #Constraints:      16830
330.56/331.34	c #Conflicts:     306000 | #Constraints:      17830
330.56/331.34	c #Conflicts:     307000 | #Constraints:      18830
330.56/331.34	c #Conflicts:     308000 | #Constraints:      19830
330.56/331.34	c #Conflicts:     309000 | #Constraints:      20830
330.56/331.34	c #Conflicts:     310000 | #Constraints:      21830
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     311000 | #Constraints:      11830
330.56/331.34	c #Conflicts:     312000 | #Constraints:      12830
330.56/331.34	c #Conflicts:     313000 | #Constraints:      13830
330.56/331.34	c #Conflicts:     314000 | #Constraints:      14830
330.56/331.34	c #Conflicts:     315000 | #Constraints:      15830
330.56/331.34	c #Conflicts:     316000 | #Constraints:      16830
330.56/331.34	c #Conflicts:     317000 | #Constraints:      17830
330.56/331.34	c #Conflicts:     318000 | #Constraints:      18830
330.56/331.34	c #Conflicts:     319000 | #Constraints:      19830
330.56/331.34	c #Conflicts:     320000 | #Constraints:      20830
330.56/331.34	c #Conflicts:     321000 | #Constraints:      21830
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     322000 | #Constraints:      11631
330.56/331.34	c #Conflicts:     323000 | #Constraints:      12631
330.56/331.34	c #Conflicts:     324000 | #Constraints:      13631
330.56/331.34	c #Conflicts:     325000 | #Constraints:      14631
330.56/331.34	c #Conflicts:     326000 | #Constraints:      15631
330.56/331.34	c #Conflicts:     327000 | #Constraints:      16631
330.56/331.34	c #Conflicts:     328000 | #Constraints:      17631
330.56/331.34	c #Conflicts:     329000 | #Constraints:      18631
330.56/331.34	c #Conflicts:     330000 | #Constraints:      19631
330.56/331.34	c #Conflicts:     331000 | #Constraints:      20631
330.56/331.34	c #Conflicts:     332000 | #Constraints:      21631
330.56/331.34	c #Conflicts:     333000 | #Constraints:      22631
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     334000 | #Constraints:      12228
330.56/331.34	c #Conflicts:     335000 | #Constraints:      13228
330.56/331.34	c #Conflicts:     336000 | #Constraints:      14228
330.56/331.34	c #Conflicts:     337000 | #Constraints:      15228
330.56/331.34	c #Conflicts:     338000 | #Constraints:      16228
330.56/331.34	c #Conflicts:     339000 | #Constraints:      17228
330.56/331.34	c #Conflicts:     340000 | #Constraints:      18228
330.56/331.34	c #Conflicts:     341000 | #Constraints:      19228
330.56/331.34	c #Conflicts:     342000 | #Constraints:      20228
330.56/331.34	c #Conflicts:     343000 | #Constraints:      21228
330.56/331.34	c #Conflicts:     344000 | #Constraints:      22228
330.56/331.34	c #Conflicts:     345000 | #Constraints:      23228
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     346000 | #Constraints:      12627
330.56/331.34	c #Conflicts:     347000 | #Constraints:      13627
330.56/331.34	c #Conflicts:     348000 | #Constraints:      14627
330.56/331.34	c #Conflicts:     349000 | #Constraints:      15627
330.56/331.34	c #Conflicts:     350000 | #Constraints:      16627
330.56/331.34	c #Conflicts:     351000 | #Constraints:      17627
330.56/331.34	c #Conflicts:     352000 | #Constraints:      18627
330.56/331.34	c #Conflicts:     353000 | #Constraints:      19627
330.56/331.34	c #Conflicts:     354000 | #Constraints:      20627
330.56/331.34	c #Conflicts:     355000 | #Constraints:      21627
330.56/331.34	c #Conflicts:     356000 | #Constraints:      22627
330.56/331.34	c #Conflicts:     357000 | #Constraints:      23627
330.56/331.34	c INPROCESSING
330.56/331.34	c GARBAGE COLLECT
330.56/331.34	c #Conflicts:     358000 | #Constraints:      12828
330.56/331.34	c #Conflicts:     359000 | #Constraints:      13828
330.56/331.34	c #Conflicts:     360000 | #Constraints:      14828
330.56/331.34	c #Conflicts:     361000 | #Constraints:      15828
330.56/331.34	c bounds 17 >= 0 @ 329.181
330.56/331.34	c stratification level: 2
443.60/444.60	c #Conflicts:     362000 | #Constraints:      16829
443.60/444.60	c #Conflicts:     363000 | #Constraints:      17829
443.60/444.60	c #Conflicts:     364000 | #Constraints:      18829
443.60/444.60	c #Conflicts:     365000 | #Constraints:      19829
443.60/444.60	c #Conflicts:     366000 | #Constraints:      20829
443.60/444.60	c #Conflicts:     367000 | #Constraints:      21829
443.60/444.60	c #Conflicts:     368000 | #Constraints:      22829
443.60/444.60	c #Conflicts:     369000 | #Constraints:      23829
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     370000 | #Constraints:      12830
443.60/444.60	c #Conflicts:     371000 | #Constraints:      13830
443.60/444.60	c #Conflicts:     372000 | #Constraints:      14830
443.60/444.60	c #Conflicts:     373000 | #Constraints:      15830
443.60/444.60	c #Conflicts:     374000 | #Constraints:      16830
443.60/444.60	c #Conflicts:     375000 | #Constraints:      17830
443.60/444.60	c #Conflicts:     376000 | #Constraints:      18830
443.60/444.60	c #Conflicts:     377000 | #Constraints:      19830
443.60/444.60	c #Conflicts:     378000 | #Constraints:      20830
443.60/444.60	c #Conflicts:     379000 | #Constraints:      21830
443.60/444.60	c #Conflicts:     380000 | #Constraints:      22830
443.60/444.60	c #Conflicts:     381000 | #Constraints:      23830
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     382000 | #Constraints:      12629
443.60/444.60	c #Conflicts:     383000 | #Constraints:      13629
443.60/444.60	c #Conflicts:     384000 | #Constraints:      14629
443.60/444.60	c #Conflicts:     385000 | #Constraints:      15629
443.60/444.60	c #Conflicts:     386000 | #Constraints:      16629
443.60/444.60	c #Conflicts:     387000 | #Constraints:      17629
443.60/444.60	c #Conflicts:     388000 | #Constraints:      18629
443.60/444.60	c #Conflicts:     389000 | #Constraints:      19629
443.60/444.60	c #Conflicts:     390000 | #Constraints:      20629
443.60/444.60	c #Conflicts:     391000 | #Constraints:      21629
443.60/444.60	c #Conflicts:     392000 | #Constraints:      22629
443.60/444.60	c #Conflicts:     393000 | #Constraints:      23629
443.60/444.60	c #Conflicts:     394000 | #Constraints:      24629
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     395000 | #Constraints:      13227
443.60/444.60	c #Conflicts:     396000 | #Constraints:      14227
443.60/444.60	c #Conflicts:     397000 | #Constraints:      15227
443.60/444.60	c #Conflicts:     398000 | #Constraints:      16227
443.60/444.60	c #Conflicts:     399000 | #Constraints:      17227
443.60/444.60	c #Conflicts:     400000 | #Constraints:      18227
443.60/444.60	c #Conflicts:     401000 | #Constraints:      19227
443.60/444.60	c #Conflicts:     402000 | #Constraints:      20227
443.60/444.60	c #Conflicts:     403000 | #Constraints:      21227
443.60/444.60	c #Conflicts:     404000 | #Constraints:      22227
443.60/444.60	c #Conflicts:     405000 | #Constraints:      23227
443.60/444.60	c #Conflicts:     406000 | #Constraints:      24227
443.60/444.60	c #Conflicts:     407000 | #Constraints:      25227
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     408000 | #Constraints:      13629
443.60/444.60	c #Conflicts:     409000 | #Constraints:      14629
443.60/444.60	c #Conflicts:     410000 | #Constraints:      15629
443.60/444.60	c #Conflicts:     411000 | #Constraints:      16629
443.60/444.60	c #Conflicts:     412000 | #Constraints:      17629
443.60/444.60	c #Conflicts:     413000 | #Constraints:      18629
443.60/444.60	c #Conflicts:     414000 | #Constraints:      19629
443.60/444.60	c #Conflicts:     415000 | #Constraints:      20629
443.60/444.60	c #Conflicts:     416000 | #Constraints:      21629
443.60/444.60	c #Conflicts:     417000 | #Constraints:      22629
443.60/444.60	c #Conflicts:     418000 | #Constraints:      23629
443.60/444.60	c #Conflicts:     419000 | #Constraints:      24629
443.60/444.60	c #Conflicts:     420000 | #Constraints:      25629
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     421000 | #Constraints:      13830
443.60/444.60	c #Conflicts:     422000 | #Constraints:      14830
443.60/444.60	c #Conflicts:     423000 | #Constraints:      15830
443.60/444.60	c #Conflicts:     424000 | #Constraints:      16830
443.60/444.60	c #Conflicts:     425000 | #Constraints:      17830
443.60/444.60	c #Conflicts:     426000 | #Constraints:      18830
443.60/444.60	c #Conflicts:     427000 | #Constraints:      19830
443.60/444.60	c #Conflicts:     428000 | #Constraints:      20830
443.60/444.60	c #Conflicts:     429000 | #Constraints:      21830
443.60/444.60	c #Conflicts:     430000 | #Constraints:      22830
443.60/444.60	c #Conflicts:     431000 | #Constraints:      23830
443.60/444.60	c #Conflicts:     432000 | #Constraints:      24830
443.60/444.60	c #Conflicts:     433000 | #Constraints:      25830
443.60/444.60	c INPROCESSING
443.60/444.60	c GARBAGE COLLECT
443.60/444.60	c #Conflicts:     434000 | #Constraints:      13832
443.60/444.60	c #Conflicts:     435000 | #Constraints:      14832
443.60/444.60	c #Conflicts:     436000 | #Constraints:      15832
583.89/585.23	c #Conflicts:     437000 | #Constraints:      16832
583.89/585.23	c #Conflicts:     438000 | #Constraints:      17832
583.89/585.23	c #Conflicts:     439000 | #Constraints:      18832
583.89/585.23	c #Conflicts:     440000 | #Constraints:      19832
583.89/585.23	c #Conflicts:     441000 | #Constraints:      20832
583.89/585.23	c #Conflicts:     442000 | #Constraints:      21832
583.89/585.23	c #Conflicts:     443000 | #Constraints:      22832
583.89/585.23	c #Conflicts:     444000 | #Constraints:      23832
583.89/585.23	c #Conflicts:     445000 | #Constraints:      24832
583.89/585.23	c #Conflicts:     446000 | #Constraints:      25832
583.89/585.23	c INPROCESSING
583.89/585.23	c GARBAGE COLLECT
583.89/585.23	c #Conflicts:     447000 | #Constraints:      13632
583.89/585.23	c #Conflicts:     448000 | #Constraints:      14632
583.89/585.23	c #Conflicts:     449000 | #Constraints:      15632
583.89/585.23	c #Conflicts:     450000 | #Constraints:      16632
583.89/585.23	c #Conflicts:     451000 | #Constraints:      17632
583.89/585.23	c #Conflicts:     452000 | #Constraints:      18632
583.89/585.23	c #Conflicts:     453000 | #Constraints:      19632
583.89/585.23	c #Conflicts:     454000 | #Constraints:      20632
583.89/585.23	c #Conflicts:     455000 | #Constraints:      21632
583.89/585.23	c #Conflicts:     456000 | #Constraints:      22632
583.89/585.23	c #Conflicts:     457000 | #Constraints:      23632
583.89/585.23	c #Conflicts:     458000 | #Constraints:      24632
583.89/585.23	c #Conflicts:     459000 | #Constraints:      25632
583.89/585.23	c #Conflicts:     460000 | #Constraints:      26632
583.89/585.23	c INPROCESSING
583.89/585.23	c GARBAGE COLLECT
583.89/585.23	c #Conflicts:     461000 | #Constraints:      14234
583.89/585.23	c #Conflicts:     462000 | #Constraints:      15234
583.89/585.23	c #Conflicts:     463000 | #Constraints:      16234
583.89/585.23	c #Conflicts:     464000 | #Constraints:      17234
583.89/585.23	c #Conflicts:     465000 | #Constraints:      18234
583.89/585.23	c #Conflicts:     466000 | #Constraints:      19234
583.89/585.23	c #Conflicts:     467000 | #Constraints:      20234
583.89/585.23	c #Conflicts:     468000 | #Constraints:      21234
583.89/585.23	c #Conflicts:     469000 | #Constraints:      22234
583.89/585.23	c #Conflicts:     470000 | #Constraints:      23234
583.89/585.23	c #Conflicts:     471000 | #Constraints:      24234
583.89/585.23	c #Conflicts:     472000 | #Constraints:      25234
583.89/585.23	c #Conflicts:     473000 | #Constraints:      26234
583.89/585.23	c #Conflicts:     474000 | #Constraints:      27234
583.89/585.23	c INPROCESSING
583.89/585.23	c GARBAGE COLLECT
583.89/585.23	c #Conflicts:     475000 | #Constraints:      14631
583.89/585.23	c #Conflicts:     476000 | #Constraints:      15631
583.89/585.23	c #Conflicts:     477000 | #Constraints:      16631
583.89/585.23	c #Conflicts:     478000 | #Constraints:      17631
583.89/585.23	c #Conflicts:     479000 | #Constraints:      18631
583.89/585.23	c #Conflicts:     480000 | #Constraints:      19631
583.89/585.23	c #Conflicts:     481000 | #Constraints:      20631
583.89/585.23	c #Conflicts:     482000 | #Constraints:      21631
583.89/585.23	c #Conflicts:     483000 | #Constraints:      22631
583.89/585.23	c #Conflicts:     484000 | #Constraints:      23631
583.89/585.23	c #Conflicts:     485000 | #Constraints:      24631
583.89/585.23	c #Conflicts:     486000 | #Constraints:      25631
583.89/585.23	c #Conflicts:     487000 | #Constraints:      26631
583.89/585.23	c #Conflicts:     488000 | #Constraints:      27631
583.89/585.23	c INPROCESSING
583.89/585.23	c GARBAGE COLLECT
583.89/585.23	c #Conflicts:     489000 | #Constraints:      14828
583.89/585.23	c #Conflicts:     490000 | #Constraints:      15828
583.89/585.23	c #Conflicts:     491000 | #Constraints:      16828
583.89/585.23	c #Conflicts:     492000 | #Constraints:      17828
583.89/585.23	c #Conflicts:     493000 | #Constraints:      18828
583.89/585.23	c #Conflicts:     494000 | #Constraints:      19828
583.89/585.23	c #Conflicts:     495000 | #Constraints:      20828
583.89/585.23	c #Conflicts:     496000 | #Constraints:      21828
583.89/585.23	c #Conflicts:     497000 | #Constraints:      22828
583.89/585.23	c #Conflicts:     498000 | #Constraints:      23828
583.89/585.23	c #Conflicts:     499000 | #Constraints:      24828
583.89/585.23	c #Conflicts:     500000 | #Constraints:      25828
583.89/585.23	c #Conflicts:     501000 | #Constraints:      26828
583.89/585.23	c #Conflicts:     502000 | #Constraints:      27828
583.89/585.23	c INPROCESSING
583.89/585.23	c GARBAGE COLLECT
583.89/585.23	c #Conflicts:     503000 | #Constraints:      14833
583.89/585.23	c #Conflicts:     504000 | #Constraints:      15833
583.89/585.23	c #Conflicts:     505000 | #Constraints:      16833
583.89/585.23	c #Conflicts:     506000 | #Constraints:      17833
583.89/585.23	c #Conflicts:     507000 | #Constraints:      18833
583.89/585.23	c #Conflicts:     508000 | #Constraints:      19833
583.89/585.23	c #Conflicts:     509000 | #Constraints:      20833
583.89/585.23	c #Conflicts:     510000 | #Constraints:      21833
583.89/585.23	c #Conflicts:     511000 | #Constraints:      22833
583.89/585.23	c #Conflicts:     512000 | #Constraints:      23833
728.05/729.76	c #Conflicts:     513000 | #Constraints:      24833
728.05/729.76	c #Conflicts:     514000 | #Constraints:      25833
728.05/729.76	c #Conflicts:     515000 | #Constraints:      26833
728.05/729.76	c #Conflicts:     516000 | #Constraints:      27833
728.05/729.76	c INPROCESSING
728.05/729.76	c GARBAGE COLLECT
728.05/729.76	c #Conflicts:     517000 | #Constraints:      14631
728.05/729.76	c #Conflicts:     518000 | #Constraints:      15631
728.05/729.76	c #Conflicts:     519000 | #Constraints:      16631
728.05/729.76	c #Conflicts:     520000 | #Constraints:      17631
728.05/729.76	c #Conflicts:     521000 | #Constraints:      18631
728.05/729.76	c #Conflicts:     522000 | #Constraints:      19631
728.05/729.76	c #Conflicts:     523000 | #Constraints:      20631
728.05/729.76	c #Conflicts:     524000 | #Constraints:      21631
728.05/729.76	c #Conflicts:     525000 | #Constraints:      22631
728.05/729.76	c #Conflicts:     526000 | #Constraints:      23631
728.05/729.76	c #Conflicts:     527000 | #Constraints:      24631
728.05/729.76	c #Conflicts:     528000 | #Constraints:      25631
728.05/729.76	c #Conflicts:     529000 | #Constraints:      26631
728.05/729.76	c #Conflicts:     530000 | #Constraints:      27631
728.05/729.76	c #Conflicts:     531000 | #Constraints:      28631
728.05/729.76	c INPROCESSING
728.05/729.76	c GARBAGE COLLECT
728.05/729.76	c #Conflicts:     532000 | #Constraints:      15232
728.05/729.76	c #Conflicts:     533000 | #Constraints:      16232
728.05/729.76	c #Conflicts:     534000 | #Constraints:      17232
728.05/729.76	c #Conflicts:     535000 | #Constraints:      18232
728.05/729.76	c #Conflicts:     536000 | #Constraints:      19232
728.05/729.76	c #Conflicts:     537000 | #Constraints:      20232
728.05/729.76	c #Conflicts:     538000 | #Constraints:      21232
728.05/729.76	c #Conflicts:     539000 | #Constraints:      22232
728.05/729.76	c #Conflicts:     540000 | #Constraints:      23232
728.05/729.76	c #Conflicts:     541000 | #Constraints:      24232
728.05/729.76	c #Conflicts:     542000 | #Constraints:      25232
728.05/729.76	c #Conflicts:     543000 | #Constraints:      26232
728.05/729.76	c #Conflicts:     544000 | #Constraints:      27232
728.05/729.76	c #Conflicts:     545000 | #Constraints:      28232
728.05/729.76	c #Conflicts:     546000 | #Constraints:      29232
728.05/729.76	c INPROCESSING
728.05/729.76	c GARBAGE COLLECT
728.05/729.76	c #Conflicts:     547000 | #Constraints:      15629
728.05/729.76	c #Conflicts:     548000 | #Constraints:      16629
728.05/729.76	c #Conflicts:     549000 | #Constraints:      17629
728.05/729.76	c #Conflicts:     550000 | #Constraints:      18629
728.05/729.76	c #Conflicts:     551000 | #Constraints:      19629
728.05/729.76	c #Conflicts:     552000 | #Constraints:      20629
728.05/729.76	c #Conflicts:     553000 | #Constraints:      21629
728.05/729.76	c #Conflicts:     554000 | #Constraints:      22629
728.05/729.76	c #Conflicts:     555000 | #Constraints:      23629
728.05/729.76	c #Conflicts:     556000 | #Constraints:      24629
728.05/729.76	c #Conflicts:     557000 | #Constraints:      25629
728.05/729.76	c #Conflicts:     558000 | #Constraints:      26629
728.05/729.76	c #Conflicts:     559000 | #Constraints:      27629
728.05/729.76	c #Conflicts:     560000 | #Constraints:      28629
728.05/729.76	c #Conflicts:     561000 | #Constraints:      29629
728.05/729.76	c INPROCESSING
728.05/729.76	c GARBAGE COLLECT
728.05/729.76	c #Conflicts:     562000 | #Constraints:      15829
728.05/729.76	c #Conflicts:     563000 | #Constraints:      16829
728.05/729.76	c #Conflicts:     564000 | #Constraints:      17829
728.05/729.76	c #Conflicts:     565000 | #Constraints:      18829
728.05/729.76	c #Conflicts:     566000 | #Constraints:      19829
728.05/729.76	c #Conflicts:     567000 | #Constraints:      20829
728.05/729.76	c #Conflicts:     568000 | #Constraints:      21829
728.05/729.76	c #Conflicts:     569000 | #Constraints:      22829
728.05/729.76	c #Conflicts:     570000 | #Constraints:      23829
728.05/729.76	c #Conflicts:     571000 | #Constraints:      24829
728.05/729.76	c #Conflicts:     572000 | #Constraints:      25829
728.05/729.76	c #Conflicts:     573000 | #Constraints:      26829
728.05/729.76	c #Conflicts:     574000 | #Constraints:      27829
728.05/729.76	c #Conflicts:     575000 | #Constraints:      28829
728.05/729.76	c #Conflicts:     576000 | #Constraints:      29829
728.05/729.76	c INPROCESSING
728.05/729.76	c GARBAGE COLLECT
728.05/729.76	c #Conflicts:     577000 | #Constraints:      15830
728.05/729.76	c #Conflicts:     578000 | #Constraints:      16830
728.05/729.76	c #Conflicts:     579000 | #Constraints:      17830
728.05/729.76	c #Conflicts:     580000 | #Constraints:      18830
728.05/729.76	c #Conflicts:     581000 | #Constraints:      19830
728.05/729.76	c #Conflicts:     582000 | #Constraints:      20830
728.05/729.76	c #Conflicts:     583000 | #Constraints:      21830
728.05/729.76	c #Conflicts:     584000 | #Constraints:      22830
728.05/729.76	c #Conflicts:     585000 | #Constraints:      23830
728.05/729.76	c #Conflicts:     586000 | #Constraints:      24830
728.05/729.76	c #Conflicts:     587000 | #Constraints:      25830
728.05/729.76	c #Conflicts:     588000 | #Constraints:      26830
883.70/885.71	c #Conflicts:     589000 | #Constraints:      27830
883.70/885.71	c #Conflicts:     590000 | #Constraints:      28830
883.70/885.71	c #Conflicts:     591000 | #Constraints:      29830
883.70/885.71	c INPROCESSING
883.70/885.71	c GARBAGE COLLECT
883.70/885.71	c #Conflicts:     592000 | #Constraints:      15632
883.70/885.71	c #Conflicts:     593000 | #Constraints:      16632
883.70/885.71	c #Conflicts:     594000 | #Constraints:      17632
883.70/885.71	c #Conflicts:     595000 | #Constraints:      18632
883.70/885.71	c #Conflicts:     596000 | #Constraints:      19632
883.70/885.71	c #Conflicts:     597000 | #Constraints:      20632
883.70/885.71	c #Conflicts:     598000 | #Constraints:      21632
883.70/885.71	c #Conflicts:     599000 | #Constraints:      22632
883.70/885.71	c #Conflicts:     600000 | #Constraints:      23632
883.70/885.71	c #Conflicts:     601000 | #Constraints:      24632
883.70/885.71	c #Conflicts:     602000 | #Constraints:      25632
883.70/885.71	c #Conflicts:     603000 | #Constraints:      26632
883.70/885.71	c #Conflicts:     604000 | #Constraints:      27632
883.70/885.71	c #Conflicts:     605000 | #Constraints:      28632
883.70/885.71	c #Conflicts:     606000 | #Constraints:      29632
883.70/885.71	c #Conflicts:     607000 | #Constraints:      30632
883.70/885.71	c INPROCESSING
883.70/885.71	c GARBAGE COLLECT
883.70/885.71	c #Conflicts:     608000 | #Constraints:      16230
883.70/885.71	c #Conflicts:     609000 | #Constraints:      17230
883.70/885.71	c #Conflicts:     610000 | #Constraints:      18230
883.70/885.71	c #Conflicts:     611000 | #Constraints:      19230
883.70/885.71	c #Conflicts:     612000 | #Constraints:      20230
883.70/885.71	c #Conflicts:     613000 | #Constraints:      21230
883.70/885.71	c #Conflicts:     614000 | #Constraints:      22230
883.70/885.71	c #Conflicts:     615000 | #Constraints:      23230
883.70/885.71	c #Conflicts:     616000 | #Constraints:      24230
883.70/885.71	c #Conflicts:     617000 | #Constraints:      25230
883.70/885.71	c #Conflicts:     618000 | #Constraints:      26230
883.70/885.71	c #Conflicts:     619000 | #Constraints:      27230
883.70/885.71	c #Conflicts:     620000 | #Constraints:      28230
883.70/885.71	c #Conflicts:     621000 | #Constraints:      29230
883.70/885.71	c #Conflicts:     622000 | #Constraints:      30230
883.70/885.71	c #Conflicts:     623000 | #Constraints:      31230
883.70/885.71	c INPROCESSING
883.70/885.71	c GARBAGE COLLECT
883.70/885.71	c #Conflicts:     624000 | #Constraints:      16628
883.70/885.71	c #Conflicts:     625000 | #Constraints:      17628
883.70/885.71	c #Conflicts:     626000 | #Constraints:      18628
883.70/885.71	c #Conflicts:     627000 | #Constraints:      19628
883.70/885.71	c #Conflicts:     628000 | #Constraints:      20628
883.70/885.71	c #Conflicts:     629000 | #Constraints:      21628
883.70/885.71	c #Conflicts:     630000 | #Constraints:      22628
883.70/885.71	c #Conflicts:     631000 | #Constraints:      23628
883.70/885.71	c #Conflicts:     632000 | #Constraints:      24628
883.70/885.71	c #Conflicts:     633000 | #Constraints:      25628
883.70/885.71	c #Conflicts:     634000 | #Constraints:      26628
883.70/885.71	c #Conflicts:     635000 | #Constraints:      27628
883.70/885.71	c #Conflicts:     636000 | #Constraints:      28628
883.70/885.71	c #Conflicts:     637000 | #Constraints:      29628
883.70/885.71	c #Conflicts:     638000 | #Constraints:      30628
883.70/885.71	c #Conflicts:     639000 | #Constraints:      31628
883.70/885.71	c INPROCESSING
883.70/885.71	c GARBAGE COLLECT
883.70/885.71	c #Conflicts:     640000 | #Constraints:      16830
883.70/885.71	c #Conflicts:     641000 | #Constraints:      17830
883.70/885.71	c #Conflicts:     642000 | #Constraints:      18830
883.70/885.71	c #Conflicts:     643000 | #Constraints:      19830
883.70/885.71	c #Conflicts:     644000 | #Constraints:      20830
883.70/885.71	c #Conflicts:     645000 | #Constraints:      21830
883.70/885.71	c #Conflicts:     646000 | #Constraints:      22830
883.70/885.71	c #Conflicts:     647000 | #Constraints:      23830
883.70/885.71	c #Conflicts:     648000 | #Constraints:      24830
883.70/885.71	c #Conflicts:     649000 | #Constraints:      25830
883.70/885.71	c #Conflicts:     650000 | #Constraints:      26830
883.70/885.71	c #Conflicts:     651000 | #Constraints:      27830
883.70/885.71	c #Conflicts:     652000 | #Constraints:      28830
883.70/885.71	c #Conflicts:     653000 | #Constraints:      29830
883.70/885.71	c #Conflicts:     654000 | #Constraints:      30830
883.70/885.71	c #Conflicts:     655000 | #Constraints:      31830
883.70/885.71	c INPROCESSING
883.70/885.71	c GARBAGE COLLECT
883.70/885.71	c #Conflicts:     656000 | #Constraints:      16828
883.70/885.71	c #Conflicts:     657000 | #Constraints:      17828
883.70/885.71	c #Conflicts:     658000 | #Constraints:      18828
883.70/885.71	c #Conflicts:     659000 | #Constraints:      19828
883.70/885.71	c #Conflicts:     660000 | #Constraints:      20828
883.70/885.71	c #Conflicts:     661000 | #Constraints:      21828
883.70/885.71	c #Conflicts:     662000 | #Constraints:      22828
883.70/885.71	c #Conflicts:     663000 | #Constraints:      23828
1060.99/1063.44	c #Conflicts:     664000 | #Constraints:      24828
1060.99/1063.44	c #Conflicts:     665000 | #Constraints:      25828
1060.99/1063.44	c #Conflicts:     666000 | #Constraints:      26828
1060.99/1063.44	c #Conflicts:     667000 | #Constraints:      27828
1060.99/1063.44	c #Conflicts:     668000 | #Constraints:      28828
1060.99/1063.44	c #Conflicts:     669000 | #Constraints:      29828
1060.99/1063.44	c #Conflicts:     670000 | #Constraints:      30828
1060.99/1063.44	c #Conflicts:     671000 | #Constraints:      31828
1060.99/1063.44	c INPROCESSING
1060.99/1063.44	c GARBAGE COLLECT
1060.99/1063.44	c #Conflicts:     672000 | #Constraints:      16626
1060.99/1063.44	c #Conflicts:     673000 | #Constraints:      17626
1060.99/1063.44	c #Conflicts:     674000 | #Constraints:      18626
1060.99/1063.44	c #Conflicts:     675000 | #Constraints:      19626
1060.99/1063.44	c #Conflicts:     676000 | #Constraints:      20626
1060.99/1063.44	c #Conflicts:     677000 | #Constraints:      21626
1060.99/1063.44	c #Conflicts:     678000 | #Constraints:      22626
1060.99/1063.44	c #Conflicts:     679000 | #Constraints:      23626
1060.99/1063.44	c #Conflicts:     680000 | #Constraints:      24626
1060.99/1063.44	c #Conflicts:     681000 | #Constraints:      25626
1060.99/1063.44	c #Conflicts:     682000 | #Constraints:      26626
1060.99/1063.44	c #Conflicts:     683000 | #Constraints:      27626
1060.99/1063.44	c #Conflicts:     684000 | #Constraints:      28626
1060.99/1063.44	c #Conflicts:     685000 | #Constraints:      29626
1060.99/1063.44	c #Conflicts:     686000 | #Constraints:      30626
1060.99/1063.44	c #Conflicts:     687000 | #Constraints:      31626
1060.99/1063.44	c #Conflicts:     688000 | #Constraints:      32626
1060.99/1063.44	c INPROCESSING
1060.99/1063.44	c GARBAGE COLLECT
1060.99/1063.44	c #Conflicts:     689000 | #Constraints:      17226
1060.99/1063.44	c #Conflicts:     690000 | #Constraints:      18226
1060.99/1063.44	c #Conflicts:     691000 | #Constraints:      19226
1060.99/1063.44	c #Conflicts:     692000 | #Constraints:      20226
1060.99/1063.44	c #Conflicts:     693000 | #Constraints:      21226
1060.99/1063.44	c #Conflicts:     694000 | #Constraints:      22226
1060.99/1063.44	c #Conflicts:     695000 | #Constraints:      23226
1060.99/1063.44	c #Conflicts:     696000 | #Constraints:      24226
1060.99/1063.44	c #Conflicts:     697000 | #Constraints:      25226
1060.99/1063.44	c #Conflicts:     698000 | #Constraints:      26226
1060.99/1063.44	c #Conflicts:     699000 | #Constraints:      27226
1060.99/1063.44	c #Conflicts:     700000 | #Constraints:      28226
1060.99/1063.44	c #Conflicts:     701000 | #Constraints:      29226
1060.99/1063.44	c #Conflicts:     702000 | #Constraints:      30226
1060.99/1063.44	c #Conflicts:     703000 | #Constraints:      31226
1060.99/1063.44	c #Conflicts:     704000 | #Constraints:      32226
1060.99/1063.44	c #Conflicts:     705000 | #Constraints:      33226
1060.99/1063.44	c INPROCESSING
1060.99/1063.44	c GARBAGE COLLECT
1060.99/1063.44	c #Conflicts:     706000 | #Constraints:      17627
1060.99/1063.44	c #Conflicts:     707000 | #Constraints:      18627
1060.99/1063.44	c #Conflicts:     708000 | #Constraints:      19627
1060.99/1063.44	c #Conflicts:     709000 | #Constraints:      20627
1060.99/1063.44	c #Conflicts:     710000 | #Constraints:      21627
1060.99/1063.44	c #Conflicts:     711000 | #Constraints:      22627
1060.99/1063.44	c #Conflicts:     712000 | #Constraints:      23627
1060.99/1063.44	c #Conflicts:     713000 | #Constraints:      24627
1060.99/1063.44	c #Conflicts:     714000 | #Constraints:      25627
1060.99/1063.44	c #Conflicts:     715000 | #Constraints:      26627
1060.99/1063.44	c #Conflicts:     716000 | #Constraints:      27627
1060.99/1063.44	c #Conflicts:     717000 | #Constraints:      28627
1060.99/1063.44	c #Conflicts:     718000 | #Constraints:      29627
1060.99/1063.44	c #Conflicts:     719000 | #Constraints:      30627
1060.99/1063.44	c #Conflicts:     720000 | #Constraints:      31627
1060.99/1063.44	c #Conflicts:     721000 | #Constraints:      32627
1060.99/1063.44	c #Conflicts:     722000 | #Constraints:      33627
1060.99/1063.44	c INPROCESSING
1060.99/1063.44	c GARBAGE COLLECT
1060.99/1063.44	c #Conflicts:     723000 | #Constraints:      17830
1060.99/1063.44	c #Conflicts:     724000 | #Constraints:      18830
1060.99/1063.44	c #Conflicts:     725000 | #Constraints:      19830
1060.99/1063.44	c #Conflicts:     726000 | #Constraints:      20830
1060.99/1063.44	c #Conflicts:     727000 | #Constraints:      21830
1060.99/1063.44	c #Conflicts:     728000 | #Constraints:      22830
1060.99/1063.44	c #Conflicts:     729000 | #Constraints:      23830
1060.99/1063.44	c #Conflicts:     730000 | #Constraints:      24830
1060.99/1063.44	c #Conflicts:     731000 | #Constraints:      25830
1060.99/1063.44	c #Conflicts:     732000 | #Constraints:      26830
1060.99/1063.44	c #Conflicts:     733000 | #Constraints:      27830
1060.99/1063.44	c #Conflicts:     734000 | #Constraints:      28830
1060.99/1063.44	c #Conflicts:     735000 | #Constraints:      29830
1060.99/1063.44	c #Conflicts:     736000 | #Constraints:      30830
1060.99/1063.44	c #Conflicts:     737000 | #Constraints:      31830
1060.99/1063.44	c #Conflicts:     738000 | #Constraints:      32830
1060.99/1063.44	c #Conflicts:     739000 | #Constraints:      33830
1238.88/1241.72	c INPROCESSING
1238.88/1241.72	c GARBAGE COLLECT
1238.88/1241.72	c #Conflicts:     740000 | #Constraints:      17829
1238.88/1241.72	c #Conflicts:     741000 | #Constraints:      18829
1238.88/1241.72	c #Conflicts:     742000 | #Constraints:      19829
1238.88/1241.72	c #Conflicts:     743000 | #Constraints:      20829
1238.88/1241.72	c #Conflicts:     744000 | #Constraints:      21829
1238.88/1241.72	c #Conflicts:     745000 | #Constraints:      22829
1238.88/1241.72	c #Conflicts:     746000 | #Constraints:      23829
1238.88/1241.72	c #Conflicts:     747000 | #Constraints:      24829
1238.88/1241.72	c #Conflicts:     748000 | #Constraints:      25829
1238.88/1241.72	c #Conflicts:     749000 | #Constraints:      26829
1238.88/1241.72	c #Conflicts:     750000 | #Constraints:      27829
1238.88/1241.72	c #Conflicts:     751000 | #Constraints:      28829
1238.88/1241.72	c #Conflicts:     752000 | #Constraints:      29829
1238.88/1241.72	c #Conflicts:     753000 | #Constraints:      30829
1238.88/1241.72	c #Conflicts:     754000 | #Constraints:      31829
1238.88/1241.72	c #Conflicts:     755000 | #Constraints:      32829
1238.88/1241.72	c #Conflicts:     756000 | #Constraints:      33829
1238.88/1241.72	c INPROCESSING
1238.88/1241.72	c GARBAGE COLLECT
1238.88/1241.72	c #Conflicts:     757000 | #Constraints:      17629
1238.88/1241.72	c #Conflicts:     758000 | #Constraints:      18629
1238.88/1241.72	c #Conflicts:     759000 | #Constraints:      19629
1238.88/1241.72	c #Conflicts:     760000 | #Constraints:      20629
1238.88/1241.72	c #Conflicts:     761000 | #Constraints:      21629
1238.88/1241.72	c #Conflicts:     762000 | #Constraints:      22629
1238.88/1241.72	c #Conflicts:     763000 | #Constraints:      23629
1238.88/1241.72	c #Conflicts:     764000 | #Constraints:      24629
1238.88/1241.72	c #Conflicts:     765000 | #Constraints:      25629
1238.88/1241.72	c #Conflicts:     766000 | #Constraints:      26629
1238.88/1241.72	c #Conflicts:     767000 | #Constraints:      27629
1238.88/1241.72	c #Conflicts:     768000 | #Constraints:      28629
1238.88/1241.72	c #Conflicts:     769000 | #Constraints:      29629
1238.88/1241.72	c #Conflicts:     770000 | #Constraints:      30629
1238.88/1241.72	c #Conflicts:     771000 | #Constraints:      31629
1238.88/1241.72	c #Conflicts:     772000 | #Constraints:      32629
1238.88/1241.72	c #Conflicts:     773000 | #Constraints:      33629
1238.88/1241.72	c #Conflicts:     774000 | #Constraints:      34629
1238.88/1241.72	c INPROCESSING
1238.88/1241.72	c GARBAGE COLLECT
1238.88/1241.72	c #Conflicts:     775000 | #Constraints:      18231
1238.88/1241.72	c #Conflicts:     776000 | #Constraints:      19231
1238.88/1241.72	c #Conflicts:     777000 | #Constraints:      20231
1238.88/1241.72	c #Conflicts:     778000 | #Constraints:      21231
1238.88/1241.72	c #Conflicts:     779000 | #Constraints:      22231
1238.88/1241.72	c #Conflicts:     780000 | #Constraints:      23231
1238.88/1241.72	c #Conflicts:     781000 | #Constraints:      24231
1238.88/1241.72	c #Conflicts:     782000 | #Constraints:      25231
1238.88/1241.72	c #Conflicts:     783000 | #Constraints:      26231
1238.88/1241.72	c #Conflicts:     784000 | #Constraints:      27231
1238.88/1241.72	c #Conflicts:     785000 | #Constraints:      28231
1238.88/1241.72	c #Conflicts:     786000 | #Constraints:      29231
1238.88/1241.72	c #Conflicts:     787000 | #Constraints:      30231
1238.88/1241.72	c #Conflicts:     788000 | #Constraints:      31231
1238.88/1241.72	c #Conflicts:     789000 | #Constraints:      32231
1238.88/1241.72	c #Conflicts:     790000 | #Constraints:      33231
1238.88/1241.72	c #Conflicts:     791000 | #Constraints:      34231
1238.88/1241.72	c #Conflicts:     792000 | #Constraints:      35231
1238.88/1241.72	c INPROCESSING
1238.88/1241.72	c GARBAGE COLLECT
1238.88/1241.72	c #Conflicts:     793000 | #Constraints:      18629
1238.88/1241.72	c #Conflicts:     794000 | #Constraints:      19629
1238.88/1241.72	c #Conflicts:     795000 | #Constraints:      20629
1238.88/1241.72	c #Conflicts:     796000 | #Constraints:      21629
1238.88/1241.72	c #Conflicts:     797000 | #Constraints:      22629
1238.88/1241.72	c #Conflicts:     798000 | #Constraints:      23629
1238.88/1241.72	c #Conflicts:     799000 | #Constraints:      24629
1238.88/1241.72	c #Conflicts:     800000 | #Constraints:      25629
1238.88/1241.72	c #Conflicts:     801000 | #Constraints:      26629
1238.88/1241.72	c #Conflicts:     802000 | #Constraints:      27629
1238.88/1241.72	c #Conflicts:     803000 | #Constraints:      28629
1238.88/1241.72	c #Conflicts:     804000 | #Constraints:      29629
1238.88/1241.72	c #Conflicts:     805000 | #Constraints:      30629
1238.88/1241.72	c #Conflicts:     806000 | #Constraints:      31629
1238.88/1241.72	c #Conflicts:     807000 | #Constraints:      32629
1238.88/1241.72	c #Conflicts:     808000 | #Constraints:      33629
1238.88/1241.72	c #Conflicts:     809000 | #Constraints:      34629
1238.88/1241.72	c #Conflicts:     810000 | #Constraints:      35629
1238.88/1241.72	c INPROCESSING
1238.88/1241.72	c GARBAGE COLLECT
1238.88/1241.72	c #Conflicts:     811000 | #Constraints:      18831
1238.88/1241.72	c #Conflicts:     812000 | #Constraints:      19831
1238.88/1241.72	c #Conflicts:     813000 | #Constraints:      20831
1238.88/1241.72	c #Conflicts:     814000 | #Constraints:      21831
1238.88/1241.72	c #Conflicts:     815000 | #Constraints:      22831
1430.23/1433.58	c #Conflicts:     816000 | #Constraints:      23831
1430.23/1433.58	c #Conflicts:     817000 | #Constraints:      24831
1430.23/1433.58	c #Conflicts:     818000 | #Constraints:      25831
1430.23/1433.58	c #Conflicts:     819000 | #Constraints:      26831
1430.23/1433.58	c #Conflicts:     820000 | #Constraints:      27831
1430.23/1433.58	c #Conflicts:     821000 | #Constraints:      28831
1430.23/1433.58	c #Conflicts:     822000 | #Constraints:      29831
1430.23/1433.58	c #Conflicts:     823000 | #Constraints:      30831
1430.23/1433.58	c #Conflicts:     824000 | #Constraints:      31831
1430.23/1433.58	c #Conflicts:     825000 | #Constraints:      32831
1430.23/1433.58	c #Conflicts:     826000 | #Constraints:      33831
1430.23/1433.58	c #Conflicts:     827000 | #Constraints:      34831
1430.23/1433.58	c #Conflicts:     828000 | #Constraints:      35831
1430.23/1433.58	c INPROCESSING
1430.23/1433.58	c GARBAGE COLLECT
1430.23/1433.58	c #Conflicts:     829000 | #Constraints:      18834
1430.23/1433.58	c #Conflicts:     830000 | #Constraints:      19834
1430.23/1433.58	c #Conflicts:     831000 | #Constraints:      20834
1430.23/1433.58	c #Conflicts:     832000 | #Constraints:      21834
1430.23/1433.58	c #Conflicts:     833000 | #Constraints:      22834
1430.23/1433.58	c #Conflicts:     834000 | #Constraints:      23834
1430.23/1433.58	c #Conflicts:     835000 | #Constraints:      24834
1430.23/1433.58	c #Conflicts:     836000 | #Constraints:      25834
1430.23/1433.58	c #Conflicts:     837000 | #Constraints:      26834
1430.23/1433.58	c #Conflicts:     838000 | #Constraints:      27834
1430.23/1433.58	c #Conflicts:     839000 | #Constraints:      28834
1430.23/1433.58	c #Conflicts:     840000 | #Constraints:      29834
1430.23/1433.58	c #Conflicts:     841000 | #Constraints:      30834
1430.23/1433.58	c #Conflicts:     842000 | #Constraints:      31834
1430.23/1433.58	c #Conflicts:     843000 | #Constraints:      32834
1430.23/1433.58	c #Conflicts:     844000 | #Constraints:      33834
1430.23/1433.58	c #Conflicts:     845000 | #Constraints:      34834
1430.23/1433.58	c #Conflicts:     846000 | #Constraints:      35834
1430.23/1433.58	c INPROCESSING
1430.23/1433.58	c GARBAGE COLLECT
1430.23/1433.58	c #Conflicts:     847000 | #Constraints:      18631
1430.23/1433.58	c #Conflicts:     848000 | #Constraints:      19631
1430.23/1433.58	c #Conflicts:     849000 | #Constraints:      20631
1430.23/1433.58	c #Conflicts:     850000 | #Constraints:      21631
1430.23/1433.58	c #Conflicts:     851000 | #Constraints:      22631
1430.23/1433.58	c #Conflicts:     852000 | #Constraints:      23631
1430.23/1433.58	c #Conflicts:     853000 | #Constraints:      24631
1430.23/1433.58	c #Conflicts:     854000 | #Constraints:      25631
1430.23/1433.58	c #Conflicts:     855000 | #Constraints:      26631
1430.23/1433.58	c #Conflicts:     856000 | #Constraints:      27631
1430.23/1433.58	c #Conflicts:     857000 | #Constraints:      28631
1430.23/1433.58	c #Conflicts:     858000 | #Constraints:      29631
1430.23/1433.58	c #Conflicts:     859000 | #Constraints:      30631
1430.23/1433.58	c #Conflicts:     860000 | #Constraints:      31631
1430.23/1433.58	c #Conflicts:     861000 | #Constraints:      32631
1430.23/1433.58	c #Conflicts:     862000 | #Constraints:      33631
1430.23/1433.58	c #Conflicts:     863000 | #Constraints:      34631
1430.23/1433.58	c #Conflicts:     864000 | #Constraints:      35631
1430.23/1433.58	c #Conflicts:     865000 | #Constraints:      36631
1430.23/1433.58	c INPROCESSING
1430.23/1433.58	c GARBAGE COLLECT
1430.23/1433.58	c #Conflicts:     866000 | #Constraints:      19229
1430.23/1433.58	c #Conflicts:     867000 | #Constraints:      20229
1430.23/1433.58	c #Conflicts:     868000 | #Constraints:      21229
1430.23/1433.58	c #Conflicts:     869000 | #Constraints:      22229
1430.23/1433.58	c #Conflicts:     870000 | #Constraints:      23229
1430.23/1433.58	c #Conflicts:     871000 | #Constraints:      24229
1430.23/1433.58	c #Conflicts:     872000 | #Constraints:      25229
1430.23/1433.58	c #Conflicts:     873000 | #Constraints:      26229
1430.23/1433.58	c #Conflicts:     874000 | #Constraints:      27229
1430.23/1433.58	c #Conflicts:     875000 | #Constraints:      28229
1430.23/1433.58	c #Conflicts:     876000 | #Constraints:      29229
1430.23/1433.58	c #Conflicts:     877000 | #Constraints:      30229
1430.23/1433.58	c #Conflicts:     878000 | #Constraints:      31229
1430.23/1433.58	c #Conflicts:     879000 | #Constraints:      32229
1430.23/1433.58	c #Conflicts:     880000 | #Constraints:      33229
1430.23/1433.58	c #Conflicts:     881000 | #Constraints:      34229
1430.23/1433.58	c #Conflicts:     882000 | #Constraints:      35229
1430.23/1433.58	c #Conflicts:     883000 | #Constraints:      36229
1430.23/1433.58	c #Conflicts:     884000 | #Constraints:      37229
1430.23/1433.58	c INPROCESSING
1430.23/1433.58	c GARBAGE COLLECT
1430.23/1433.58	c #Conflicts:     885000 | #Constraints:      19629
1430.23/1433.58	c #Conflicts:     886000 | #Constraints:      20629
1430.23/1433.58	c #Conflicts:     887000 | #Constraints:      21629
1430.23/1433.58	c #Conflicts:     888000 | #Constraints:      22629
1430.23/1433.58	c #Conflicts:     889000 | #Constraints:      23629
1430.23/1433.58	c #Conflicts:     890000 | #Constraints:      24629
1430.23/1433.58	c #Conflicts:     891000 | #Constraints:      25629
1634.66/1638.44	c #Conflicts:     892000 | #Constraints:      26629
1634.66/1638.44	c #Conflicts:     893000 | #Constraints:      27629
1634.66/1638.44	c #Conflicts:     894000 | #Constraints:      28629
1634.66/1638.44	c #Conflicts:     895000 | #Constraints:      29629
1634.66/1638.44	c #Conflicts:     896000 | #Constraints:      30629
1634.66/1638.44	c #Conflicts:     897000 | #Constraints:      31629
1634.66/1638.44	c #Conflicts:     898000 | #Constraints:      32629
1634.66/1638.44	c #Conflicts:     899000 | #Constraints:      33629
1634.66/1638.44	c #Conflicts:     900000 | #Constraints:      34629
1634.66/1638.44	c #Conflicts:     901000 | #Constraints:      35629
1634.66/1638.44	c #Conflicts:     902000 | #Constraints:      36629
1634.66/1638.44	c #Conflicts:     903000 | #Constraints:      37629
1634.66/1638.44	c INPROCESSING
1634.66/1638.44	c GARBAGE COLLECT
1634.66/1638.44	c #Conflicts:     904000 | #Constraints:      19827
1634.66/1638.44	c #Conflicts:     905000 | #Constraints:      20827
1634.66/1638.44	c #Conflicts:     906000 | #Constraints:      21827
1634.66/1638.44	c #Conflicts:     907000 | #Constraints:      22827
1634.66/1638.44	c #Conflicts:     908000 | #Constraints:      23827
1634.66/1638.44	c #Conflicts:     909000 | #Constraints:      24827
1634.66/1638.44	c #Conflicts:     910000 | #Constraints:      25827
1634.66/1638.44	c #Conflicts:     911000 | #Constraints:      26827
1634.66/1638.44	c #Conflicts:     912000 | #Constraints:      27827
1634.66/1638.44	c #Conflicts:     913000 | #Constraints:      28827
1634.66/1638.44	c #Conflicts:     914000 | #Constraints:      29827
1634.66/1638.44	c #Conflicts:     915000 | #Constraints:      30827
1634.66/1638.44	c #Conflicts:     916000 | #Constraints:      31827
1634.66/1638.44	c #Conflicts:     917000 | #Constraints:      32827
1634.66/1638.44	c #Conflicts:     918000 | #Constraints:      33827
1634.66/1638.44	c #Conflicts:     919000 | #Constraints:      34827
1634.66/1638.44	c #Conflicts:     920000 | #Constraints:      35827
1634.66/1638.44	c #Conflicts:     921000 | #Constraints:      36827
1634.66/1638.44	c #Conflicts:     922000 | #Constraints:      37827
1634.66/1638.44	c INPROCESSING
1634.66/1638.44	c GARBAGE COLLECT
1634.66/1638.44	c #Conflicts:     923000 | #Constraints:      19827
1634.66/1638.44	c #Conflicts:     924000 | #Constraints:      20827
1634.66/1638.44	c #Conflicts:     925000 | #Constraints:      21827
1634.66/1638.44	c #Conflicts:     926000 | #Constraints:      22827
1634.66/1638.44	c #Conflicts:     927000 | #Constraints:      23827
1634.66/1638.44	c #Conflicts:     928000 | #Constraints:      24827
1634.66/1638.44	c #Conflicts:     929000 | #Constraints:      25827
1634.66/1638.44	c #Conflicts:     930000 | #Constraints:      26827
1634.66/1638.44	c #Conflicts:     931000 | #Constraints:      27827
1634.66/1638.44	c #Conflicts:     932000 | #Constraints:      28827
1634.66/1638.44	c #Conflicts:     933000 | #Constraints:      29827
1634.66/1638.44	c #Conflicts:     934000 | #Constraints:      30827
1634.66/1638.44	c #Conflicts:     935000 | #Constraints:      31827
1634.66/1638.44	c #Conflicts:     936000 | #Constraints:      32827
1634.66/1638.44	c #Conflicts:     937000 | #Constraints:      33827
1634.66/1638.44	c #Conflicts:     938000 | #Constraints:      34827
1634.66/1638.44	c #Conflicts:     939000 | #Constraints:      35827
1634.66/1638.44	c #Conflicts:     940000 | #Constraints:      36827
1634.66/1638.44	c #Conflicts:     941000 | #Constraints:      37827
1634.66/1638.44	c INPROCESSING
1634.66/1638.44	c GARBAGE COLLECT
1634.66/1638.44	c #Conflicts:     942000 | #Constraints:      19630
1634.66/1638.44	c #Conflicts:     943000 | #Constraints:      20630
1634.66/1638.44	c #Conflicts:     944000 | #Constraints:      21630
1634.66/1638.44	c #Conflicts:     945000 | #Constraints:      22630
1634.66/1638.44	c #Conflicts:     946000 | #Constraints:      23630
1634.66/1638.44	c #Conflicts:     947000 | #Constraints:      24630
1634.66/1638.44	c #Conflicts:     948000 | #Constraints:      25630
1634.66/1638.44	c #Conflicts:     949000 | #Constraints:      26630
1634.66/1638.44	c #Conflicts:     950000 | #Constraints:      27630
1634.66/1638.44	c #Conflicts:     951000 | #Constraints:      28630
1634.66/1638.44	c #Conflicts:     952000 | #Constraints:      29630
1634.66/1638.44	c #Conflicts:     953000 | #Constraints:      30630
1634.66/1638.44	c #Conflicts:     954000 | #Constraints:      31630
1634.66/1638.44	c #Conflicts:     955000 | #Constraints:      32630
1634.66/1638.44	c #Conflicts:     956000 | #Constraints:      33630
1634.66/1638.44	c #Conflicts:     957000 | #Constraints:      34630
1634.66/1638.44	c #Conflicts:     958000 | #Constraints:      35630
1634.66/1638.44	c #Conflicts:     959000 | #Constraints:      36630
1634.66/1638.44	c #Conflicts:     960000 | #Constraints:      37630
1634.66/1638.44	c #Conflicts:     961000 | #Constraints:      38630
1634.66/1638.44	c INPROCESSING
1634.66/1638.44	c GARBAGE COLLECT
1634.66/1638.44	c #Conflicts:     962000 | #Constraints:      20233
1634.66/1638.44	c #Conflicts:     963000 | #Constraints:      21233
1634.66/1638.44	c #Conflicts:     964000 | #Constraints:      22233
1634.66/1638.44	c #Conflicts:     965000 | #Constraints:      23233
1634.66/1638.44	c #Conflicts:     966000 | #Constraints:      24233
1634.66/1638.44	c #Conflicts:     967000 | #Constraints:      25233
1634.66/1638.44	c #Conflicts:     968000 | #Constraints:      26233
1877.99/1882.36	c #Conflicts:     969000 | #Constraints:      27233
1877.99/1882.36	c #Conflicts:     970000 | #Constraints:      28233
1877.99/1882.36	c #Conflicts:     971000 | #Constraints:      29233
1877.99/1882.36	c #Conflicts:     972000 | #Constraints:      30233
1877.99/1882.36	c #Conflicts:     973000 | #Constraints:      31233
1877.99/1882.36	c #Conflicts:     974000 | #Constraints:      32233
1877.99/1882.36	c #Conflicts:     975000 | #Constraints:      33233
1877.99/1882.36	c #Conflicts:     976000 | #Constraints:      34233
1877.99/1882.36	c #Conflicts:     977000 | #Constraints:      35233
1877.99/1882.36	c #Conflicts:     978000 | #Constraints:      36233
1877.99/1882.36	c #Conflicts:     979000 | #Constraints:      37233
1877.99/1882.36	c #Conflicts:     980000 | #Constraints:      38233
1877.99/1882.36	c #Conflicts:     981000 | #Constraints:      39233
1877.99/1882.36	c INPROCESSING
1877.99/1882.36	c GARBAGE COLLECT
1877.99/1882.36	c #Conflicts:     982000 | #Constraints:      20630
1877.99/1882.36	c #Conflicts:     983000 | #Constraints:      21630
1877.99/1882.36	c #Conflicts:     984000 | #Constraints:      22630
1877.99/1882.36	c #Conflicts:     985000 | #Constraints:      23630
1877.99/1882.36	c #Conflicts:     986000 | #Constraints:      24630
1877.99/1882.36	c #Conflicts:     987000 | #Constraints:      25630
1877.99/1882.36	c #Conflicts:     988000 | #Constraints:      26630
1877.99/1882.36	c #Conflicts:     989000 | #Constraints:      27630
1877.99/1882.36	c #Conflicts:     990000 | #Constraints:      28630
1877.99/1882.36	c #Conflicts:     991000 | #Constraints:      29630
1877.99/1882.36	c #Conflicts:     992000 | #Constraints:      30630
1877.99/1882.36	c #Conflicts:     993000 | #Constraints:      31630
1877.99/1882.36	c #Conflicts:     994000 | #Constraints:      32630
1877.99/1882.36	c #Conflicts:     995000 | #Constraints:      33630
1877.99/1882.36	c #Conflicts:     996000 | #Constraints:      34630
1877.99/1882.36	c #Conflicts:     997000 | #Constraints:      35630
1877.99/1882.36	c #Conflicts:     998000 | #Constraints:      36630
1877.99/1882.36	c #Conflicts:     999000 | #Constraints:      37630
1877.99/1882.36	c #Conflicts:    1000000 | #Constraints:      38630
1877.99/1882.36	c #Conflicts:    1001000 | #Constraints:      39630
1877.99/1882.36	c INPROCESSING
1877.99/1882.36	c GARBAGE COLLECT
1877.99/1882.36	c #Conflicts:    1002000 | #Constraints:      20830
1877.99/1882.36	c #Conflicts:    1003000 | #Constraints:      21830
1877.99/1882.36	c #Conflicts:    1004000 | #Constraints:      22830
1877.99/1882.36	c #Conflicts:    1005000 | #Constraints:      23830
1877.99/1882.36	c #Conflicts:    1006000 | #Constraints:      24830
1877.99/1882.36	c #Conflicts:    1007000 | #Constraints:      25830
1877.99/1882.36	c #Conflicts:    1008000 | #Constraints:      26830
1877.99/1882.36	c #Conflicts:    1009000 | #Constraints:      27830
1877.99/1882.36	c #Conflicts:    1010000 | #Constraints:      28830
1877.99/1882.36	c #Conflicts:    1011000 | #Constraints:      29830
1877.99/1882.36	c #Conflicts:    1012000 | #Constraints:      30830
1877.99/1882.36	c #Conflicts:    1013000 | #Constraints:      31830
1877.99/1882.36	c #Conflicts:    1014000 | #Constraints:      32830
1877.99/1882.36	c #Conflicts:    1015000 | #Constraints:      33830
1877.99/1882.36	c #Conflicts:    1016000 | #Constraints:      34830
1877.99/1882.36	c #Conflicts:    1017000 | #Constraints:      35830
1877.99/1882.36	c #Conflicts:    1018000 | #Constraints:      36830
1877.99/1882.36	c #Conflicts:    1019000 | #Constraints:      37830
1877.99/1882.36	c #Conflicts:    1020000 | #Constraints:      38830
1877.99/1882.36	c #Conflicts:    1021000 | #Constraints:      39830
1877.99/1882.36	c INPROCESSING
1877.99/1882.36	c GARBAGE COLLECT
1877.99/1882.36	c #Conflicts:    1022000 | #Constraints:      20834
1877.99/1882.36	c #Conflicts:    1023000 | #Constraints:      21834
1877.99/1882.36	c #Conflicts:    1024000 | #Constraints:      22834
1877.99/1882.36	c #Conflicts:    1025000 | #Constraints:      23834
1877.99/1882.36	c #Conflicts:    1026000 | #Constraints:      24834
1877.99/1882.36	c #Conflicts:    1027000 | #Constraints:      25834
1877.99/1882.36	c #Conflicts:    1028000 | #Constraints:      26834
1877.99/1882.36	c #Conflicts:    1029000 | #Constraints:      27834
1877.99/1882.36	c #Conflicts:    1030000 | #Constraints:      28834
1877.99/1882.36	c #Conflicts:    1031000 | #Constraints:      29834
1877.99/1882.36	c #Conflicts:    1032000 | #Constraints:      30834
1877.99/1882.36	c #Conflicts:    1033000 | #Constraints:      31834
1877.99/1882.36	c #Conflicts:    1034000 | #Constraints:      32834
1877.99/1882.36	c #Conflicts:    1035000 | #Constraints:      33834
1877.99/1882.36	c #Conflicts:    1036000 | #Constraints:      34834
1877.99/1882.36	c #Conflicts:    1037000 | #Constraints:      35834
1877.99/1882.36	c #Conflicts:    1038000 | #Constraints:      36834
1877.99/1882.36	c #Conflicts:    1039000 | #Constraints:      37834
1877.99/1882.36	c #Conflicts:    1040000 | #Constraints:      38834
1877.99/1882.36	c #Conflicts:    1041000 | #Constraints:      39834
1877.99/1882.36	c INPROCESSING
1877.99/1882.36	c GARBAGE COLLECT
1877.99/1882.36	c #Conflicts:    1042000 | #Constraints:      20632
1877.99/1882.36	c #Conflicts:    1043000 | #Constraints:      21632
1877.99/1882.36	c #Conflicts:    1044000 | #Constraints:      22632
2129.11/2134.06	c #Conflicts:    1045000 | #Constraints:      23632
2129.11/2134.06	c #Conflicts:    1046000 | #Constraints:      24632
2129.11/2134.06	c #Conflicts:    1047000 | #Constraints:      25632
2129.11/2134.06	c #Conflicts:    1048000 | #Constraints:      26632
2129.11/2134.06	c #Conflicts:    1049000 | #Constraints:      27632
2129.11/2134.06	c #Conflicts:    1050000 | #Constraints:      28632
2129.11/2134.06	c #Conflicts:    1051000 | #Constraints:      29632
2129.11/2134.06	c #Conflicts:    1052000 | #Constraints:      30632
2129.11/2134.06	c #Conflicts:    1053000 | #Constraints:      31632
2129.11/2134.06	c #Conflicts:    1054000 | #Constraints:      32632
2129.11/2134.06	c #Conflicts:    1055000 | #Constraints:      33632
2129.11/2134.06	c #Conflicts:    1056000 | #Constraints:      34632
2129.11/2134.06	c #Conflicts:    1057000 | #Constraints:      35632
2129.11/2134.06	c #Conflicts:    1058000 | #Constraints:      36632
2129.11/2134.06	c #Conflicts:    1059000 | #Constraints:      37632
2129.11/2134.06	c #Conflicts:    1060000 | #Constraints:      38632
2129.11/2134.06	c #Conflicts:    1061000 | #Constraints:      39632
2129.11/2134.06	c #Conflicts:    1062000 | #Constraints:      40632
2129.11/2134.06	c INPROCESSING
2129.11/2134.06	c GARBAGE COLLECT
2129.11/2134.06	c #Conflicts:    1063000 | #Constraints:      21232
2129.11/2134.06	c #Conflicts:    1064000 | #Constraints:      22232
2129.11/2134.06	c #Conflicts:    1065000 | #Constraints:      23232
2129.11/2134.06	c #Conflicts:    1066000 | #Constraints:      24232
2129.11/2134.06	c #Conflicts:    1067000 | #Constraints:      25232
2129.11/2134.06	c #Conflicts:    1068000 | #Constraints:      26232
2129.11/2134.06	c #Conflicts:    1069000 | #Constraints:      27232
2129.11/2134.06	c #Conflicts:    1070000 | #Constraints:      28232
2129.11/2134.06	c #Conflicts:    1071000 | #Constraints:      29232
2129.11/2134.06	c #Conflicts:    1072000 | #Constraints:      30232
2129.11/2134.06	c #Conflicts:    1073000 | #Constraints:      31232
2129.11/2134.06	c #Conflicts:    1074000 | #Constraints:      32232
2129.11/2134.06	c #Conflicts:    1075000 | #Constraints:      33232
2129.11/2134.06	c #Conflicts:    1076000 | #Constraints:      34232
2129.11/2134.06	c #Conflicts:    1077000 | #Constraints:      35232
2129.11/2134.06	c #Conflicts:    1078000 | #Constraints:      36232
2129.11/2134.06	c #Conflicts:    1079000 | #Constraints:      37232
2129.11/2134.06	c #Conflicts:    1080000 | #Constraints:      38232
2129.11/2134.06	c #Conflicts:    1081000 | #Constraints:      39232
2129.11/2134.06	c #Conflicts:    1082000 | #Constraints:      40232
2129.11/2134.06	c #Conflicts:    1083000 | #Constraints:      41232
2129.11/2134.06	c INPROCESSING
2129.11/2134.06	c GARBAGE COLLECT
2129.11/2134.06	c #Conflicts:    1084000 | #Constraints:      21630
2129.11/2134.06	c #Conflicts:    1085000 | #Constraints:      22630
2129.11/2134.06	c #Conflicts:    1086000 | #Constraints:      23630
2129.11/2134.06	c #Conflicts:    1087000 | #Constraints:      24630
2129.11/2134.06	c #Conflicts:    1088000 | #Constraints:      25630
2129.11/2134.06	c #Conflicts:    1089000 | #Constraints:      26630
2129.11/2134.06	c #Conflicts:    1090000 | #Constraints:      27630
2129.11/2134.06	c #Conflicts:    1091000 | #Constraints:      28630
2129.11/2134.06	c #Conflicts:    1092000 | #Constraints:      29630
2129.11/2134.06	c #Conflicts:    1093000 | #Constraints:      30630
2129.11/2134.06	c #Conflicts:    1094000 | #Constraints:      31630
2129.11/2134.06	c #Conflicts:    1095000 | #Constraints:      32630
2129.11/2134.06	c #Conflicts:    1096000 | #Constraints:      33630
2129.11/2134.06	c #Conflicts:    1097000 | #Constraints:      34630
2129.11/2134.06	c #Conflicts:    1098000 | #Constraints:      35630
2129.11/2134.06	c #Conflicts:    1099000 | #Constraints:      36630
2129.11/2134.06	c #Conflicts:    1100000 | #Constraints:      37630
2129.11/2134.06	c #Conflicts:    1101000 | #Constraints:      38630
2129.11/2134.06	c #Conflicts:    1102000 | #Constraints:      39630
2129.11/2134.06	c #Conflicts:    1103000 | #Constraints:      40630
2129.11/2134.06	c #Conflicts:    1104000 | #Constraints:      41630
2129.11/2134.06	c INPROCESSING
2129.11/2134.06	c GARBAGE COLLECT
2129.11/2134.06	c #Conflicts:    1105000 | #Constraints:      21832
2129.11/2134.06	c #Conflicts:    1106000 | #Constraints:      22832
2129.11/2134.06	c #Conflicts:    1107000 | #Constraints:      23832
2129.11/2134.06	c #Conflicts:    1108000 | #Constraints:      24832
2129.11/2134.06	c #Conflicts:    1109000 | #Constraints:      25832
2129.11/2134.06	c #Conflicts:    1110000 | #Constraints:      26832
2129.11/2134.06	c #Conflicts:    1111000 | #Constraints:      27832
2129.11/2134.06	c #Conflicts:    1112000 | #Constraints:      28832
2129.11/2134.06	c #Conflicts:    1113000 | #Constraints:      29832
2129.11/2134.06	c #Conflicts:    1114000 | #Constraints:      30832
2129.11/2134.06	c #Conflicts:    1115000 | #Constraints:      31832
2129.11/2134.06	c #Conflicts:    1116000 | #Constraints:      32832
2129.11/2134.06	c #Conflicts:    1117000 | #Constraints:      33832
2129.11/2134.06	c #Conflicts:    1118000 | #Constraints:      34832
2129.11/2134.06	c #Conflicts:    1119000 | #Constraints:      35832
2129.11/2134.06	c #Conflicts:    1120000 | #Constraints:      36832
2129.11/2134.06	c #Conflicts:    1121000 | #Constraints:      37832
2360.57/2366.03	c #Conflicts:    1122000 | #Constraints:      38832
2360.57/2366.03	c #Conflicts:    1123000 | #Constraints:      39832
2360.57/2366.03	c #Conflicts:    1124000 | #Constraints:      40832
2360.57/2366.03	c #Conflicts:    1125000 | #Constraints:      41832
2360.57/2366.03	c INPROCESSING
2360.57/2366.03	c GARBAGE COLLECT
2360.57/2366.03	c #Conflicts:    1126000 | #Constraints:      21833
2360.57/2366.03	c #Conflicts:    1127000 | #Constraints:      22833
2360.57/2366.03	c #Conflicts:    1128000 | #Constraints:      23833
2360.57/2366.03	c #Conflicts:    1129000 | #Constraints:      24833
2360.57/2366.03	c #Conflicts:    1130000 | #Constraints:      25833
2360.57/2366.03	c #Conflicts:    1131000 | #Constraints:      26833
2360.57/2366.03	c #Conflicts:    1132000 | #Constraints:      27833
2360.57/2366.03	c #Conflicts:    1133000 | #Constraints:      28833
2360.57/2366.03	c #Conflicts:    1134000 | #Constraints:      29833
2360.57/2366.03	c #Conflicts:    1135000 | #Constraints:      30833
2360.57/2366.03	c #Conflicts:    1136000 | #Constraints:      31833
2360.57/2366.03	c #Conflicts:    1137000 | #Constraints:      32833
2360.57/2366.03	c #Conflicts:    1138000 | #Constraints:      33833
2360.57/2366.03	c #Conflicts:    1139000 | #Constraints:      34833
2360.57/2366.03	c #Conflicts:    1140000 | #Constraints:      35833
2360.57/2366.03	c #Conflicts:    1141000 | #Constraints:      36833
2360.57/2366.03	c #Conflicts:    1142000 | #Constraints:      37833
2360.57/2366.03	c #Conflicts:    1143000 | #Constraints:      38833
2360.57/2366.03	c #Conflicts:    1144000 | #Constraints:      39833
2360.57/2366.03	c #Conflicts:    1145000 | #Constraints:      40833
2360.57/2366.03	c #Conflicts:    1146000 | #Constraints:      41833
2360.57/2366.03	c INPROCESSING
2360.57/2366.03	c GARBAGE COLLECT
2360.57/2366.03	c #Conflicts:    1147000 | #Constraints:      21633
2360.57/2366.03	c #Conflicts:    1148000 | #Constraints:      22633
2360.57/2366.03	c #Conflicts:    1149000 | #Constraints:      23633
2360.57/2366.03	c #Conflicts:    1150000 | #Constraints:      24633
2360.57/2366.03	c #Conflicts:    1151000 | #Constraints:      25633
2360.57/2366.03	c #Conflicts:    1152000 | #Constraints:      26633
2360.57/2366.03	c #Conflicts:    1153000 | #Constraints:      27633
2360.57/2366.03	c #Conflicts:    1154000 | #Constraints:      28633
2360.57/2366.03	c #Conflicts:    1155000 | #Constraints:      29633
2360.57/2366.03	c #Conflicts:    1156000 | #Constraints:      30633
2360.57/2366.03	c #Conflicts:    1157000 | #Constraints:      31633
2360.57/2366.03	c #Conflicts:    1158000 | #Constraints:      32633
2360.57/2366.03	c #Conflicts:    1159000 | #Constraints:      33633
2360.57/2366.03	c #Conflicts:    1160000 | #Constraints:      34633
2360.57/2366.03	c #Conflicts:    1161000 | #Constraints:      35633
2360.57/2366.03	c #Conflicts:    1162000 | #Constraints:      36633
2360.57/2366.03	c #Conflicts:    1163000 | #Constraints:      37633
2360.57/2366.03	c #Conflicts:    1164000 | #Constraints:      38633
2360.57/2366.03	c #Conflicts:    1165000 | #Constraints:      39633
2360.57/2366.03	c #Conflicts:    1166000 | #Constraints:      40633
2360.57/2366.03	c #Conflicts:    1167000 | #Constraints:      41633
2360.57/2366.03	c #Conflicts:    1168000 | #Constraints:      42633
2360.57/2366.03	c INPROCESSING
2360.57/2366.03	c GARBAGE COLLECT
2360.57/2366.03	c #Conflicts:    1169000 | #Constraints:      22232
2360.57/2366.03	c #Conflicts:    1170000 | #Constraints:      23232
2360.57/2366.03	c #Conflicts:    1171000 | #Constraints:      24232
2360.57/2366.03	c #Conflicts:    1172000 | #Constraints:      25232
2360.57/2366.03	c #Conflicts:    1173000 | #Constraints:      26232
2360.57/2366.03	c #Conflicts:    1174000 | #Constraints:      27232
2360.57/2366.03	c #Conflicts:    1175000 | #Constraints:      28232
2360.57/2366.03	c #Conflicts:    1176000 | #Constraints:      29232
2360.57/2366.03	c #Conflicts:    1177000 | #Constraints:      30232
2360.57/2366.03	c #Conflicts:    1178000 | #Constraints:      31232
2360.57/2366.03	c #Conflicts:    1179000 | #Constraints:      32232
2360.57/2366.03	c #Conflicts:    1180000 | #Constraints:      33232
2360.57/2366.03	c #Conflicts:    1181000 | #Constraints:      34232
2360.57/2366.03	c #Conflicts:    1182000 | #Constraints:      35232
2360.57/2366.03	c #Conflicts:    1183000 | #Constraints:      36232
2360.57/2366.03	c #Conflicts:    1184000 | #Constraints:      37232
2360.57/2366.03	c #Conflicts:    1185000 | #Constraints:      38232
2360.57/2366.03	c #Conflicts:    1186000 | #Constraints:      39232
2360.57/2366.03	c #Conflicts:    1187000 | #Constraints:      40232
2360.57/2366.03	c #Conflicts:    1188000 | #Constraints:      41232
2360.57/2366.03	c #Conflicts:    1189000 | #Constraints:      42232
2360.57/2366.03	c #Conflicts:    1190000 | #Constraints:      43232
2360.57/2366.03	c INPROCESSING
2360.57/2366.03	c GARBAGE COLLECT
2360.57/2366.03	c #Conflicts:    1191000 | #Constraints:      22631
2360.57/2366.03	c #Conflicts:    1192000 | #Constraints:      23631
2360.57/2366.03	c #Conflicts:    1193000 | #Constraints:      24631
2360.57/2366.03	c #Conflicts:    1194000 | #Constraints:      25631
2360.57/2366.03	c #Conflicts:    1195000 | #Constraints:      26631
2360.57/2366.03	c #Conflicts:    1196000 | #Constraints:      27631
2360.57/2366.03	c #Conflicts:    1197000 | #Constraints:      28631
2630.19/2636.31	c #Conflicts:    1198000 | #Constraints:      29631
2630.19/2636.31	c #Conflicts:    1199000 | #Constraints:      30631
2630.19/2636.31	c #Conflicts:    1200000 | #Constraints:      31631
2630.19/2636.31	c #Conflicts:    1201000 | #Constraints:      32631
2630.19/2636.31	c #Conflicts:    1202000 | #Constraints:      33631
2630.19/2636.31	c #Conflicts:    1203000 | #Constraints:      34631
2630.19/2636.31	c #Conflicts:    1204000 | #Constraints:      35631
2630.19/2636.31	c #Conflicts:    1205000 | #Constraints:      36631
2630.19/2636.31	c #Conflicts:    1206000 | #Constraints:      37631
2630.19/2636.31	c #Conflicts:    1207000 | #Constraints:      38631
2630.19/2636.31	c #Conflicts:    1208000 | #Constraints:      39631
2630.19/2636.31	c #Conflicts:    1209000 | #Constraints:      40631
2630.19/2636.31	c #Conflicts:    1210000 | #Constraints:      41631
2630.19/2636.31	c #Conflicts:    1211000 | #Constraints:      42631
2630.19/2636.31	c #Conflicts:    1212000 | #Constraints:      43631
2630.19/2636.31	c INPROCESSING
2630.19/2636.31	c GARBAGE COLLECT
2630.19/2636.31	c #Conflicts:    1213000 | #Constraints:      22836
2630.19/2636.31	c #Conflicts:    1214000 | #Constraints:      23836
2630.19/2636.31	c #Conflicts:    1215000 | #Constraints:      24836
2630.19/2636.31	c #Conflicts:    1216000 | #Constraints:      25836
2630.19/2636.31	c #Conflicts:    1217000 | #Constraints:      26836
2630.19/2636.31	c #Conflicts:    1218000 | #Constraints:      27836
2630.19/2636.31	c #Conflicts:    1219000 | #Constraints:      28836
2630.19/2636.31	c #Conflicts:    1220000 | #Constraints:      29836
2630.19/2636.31	c #Conflicts:    1221000 | #Constraints:      30836
2630.19/2636.31	c #Conflicts:    1222000 | #Constraints:      31836
2630.19/2636.31	c #Conflicts:    1223000 | #Constraints:      32836
2630.19/2636.31	c #Conflicts:    1224000 | #Constraints:      33836
2630.19/2636.31	c #Conflicts:    1225000 | #Constraints:      34836
2630.19/2636.31	c #Conflicts:    1226000 | #Constraints:      35836
2630.19/2636.31	c #Conflicts:    1227000 | #Constraints:      36836
2630.19/2636.31	c #Conflicts:    1228000 | #Constraints:      37836
2630.19/2636.31	c #Conflicts:    1229000 | #Constraints:      38836
2630.19/2636.31	c #Conflicts:    1230000 | #Constraints:      39836
2630.19/2636.31	c #Conflicts:    1231000 | #Constraints:      40836
2630.19/2636.31	c #Conflicts:    1232000 | #Constraints:      41836
2630.19/2636.31	c #Conflicts:    1233000 | #Constraints:      42836
2630.19/2636.31	c #Conflicts:    1234000 | #Constraints:      43836
2630.19/2636.31	c INPROCESSING
2630.19/2636.31	c GARBAGE COLLECT
2630.19/2636.31	c #Conflicts:    1235000 | #Constraints:      22831
2630.19/2636.31	c #Conflicts:    1236000 | #Constraints:      23831
2630.19/2636.31	c #Conflicts:    1237000 | #Constraints:      24831
2630.19/2636.31	c #Conflicts:    1238000 | #Constraints:      25831
2630.19/2636.31	c #Conflicts:    1239000 | #Constraints:      26831
2630.19/2636.31	c #Conflicts:    1240000 | #Constraints:      27831
2630.19/2636.31	c #Conflicts:    1241000 | #Constraints:      28831
2630.19/2636.31	c #Conflicts:    1242000 | #Constraints:      29831
2630.19/2636.31	c #Conflicts:    1243000 | #Constraints:      30831
2630.19/2636.31	c #Conflicts:    1244000 | #Constraints:      31831
2630.19/2636.31	c #Conflicts:    1245000 | #Constraints:      32831
2630.19/2636.31	c #Conflicts:    1246000 | #Constraints:      33831
2630.19/2636.31	c #Conflicts:    1247000 | #Constraints:      34831
2630.19/2636.31	c #Conflicts:    1248000 | #Constraints:      35831
2630.19/2636.31	c #Conflicts:    1249000 | #Constraints:      36831
2630.19/2636.31	c #Conflicts:    1250000 | #Constraints:      37831
2630.19/2636.31	c #Conflicts:    1251000 | #Constraints:      38831
2630.19/2636.31	c #Conflicts:    1252000 | #Constraints:      39831
2630.19/2636.31	c #Conflicts:    1253000 | #Constraints:      40831
2630.19/2636.31	c #Conflicts:    1254000 | #Constraints:      41831
2630.19/2636.31	c #Conflicts:    1255000 | #Constraints:      42831
2630.19/2636.31	c #Conflicts:    1256000 | #Constraints:      43831
2630.19/2636.31	c INPROCESSING
2630.19/2636.31	c GARBAGE COLLECT
2630.19/2636.31	c #Conflicts:    1257000 | #Constraints:      22630
2630.19/2636.31	c #Conflicts:    1258000 | #Constraints:      23630
2630.19/2636.31	c #Conflicts:    1259000 | #Constraints:      24630
2630.19/2636.31	c #Conflicts:    1260000 | #Constraints:      25630
2630.19/2636.31	c #Conflicts:    1261000 | #Constraints:      26630
2630.19/2636.31	c #Conflicts:    1262000 | #Constraints:      27630
2630.19/2636.31	c #Conflicts:    1263000 | #Constraints:      28630
2630.19/2636.31	c #Conflicts:    1264000 | #Constraints:      29630
2630.19/2636.31	c #Conflicts:    1265000 | #Constraints:      30630
2630.19/2636.31	c #Conflicts:    1266000 | #Constraints:      31630
2630.19/2636.31	c #Conflicts:    1267000 | #Constraints:      32630
2630.19/2636.31	c #Conflicts:    1268000 | #Constraints:      33630
2630.19/2636.31	c #Conflicts:    1269000 | #Constraints:      34630
2630.19/2636.31	c #Conflicts:    1270000 | #Constraints:      35630
2630.19/2636.31	c #Conflicts:    1271000 | #Constraints:      36630
2630.19/2636.31	c #Conflicts:    1272000 | #Constraints:      37630
2630.19/2636.31	c #Conflicts:    1273000 | #Constraints:      38630
2630.19/2636.31	c #Conflicts:    1274000 | #Constraints:      39630
2901.75/2908.56	c #Conflicts:    1275000 | #Constraints:      40630
2901.75/2908.56	c #Conflicts:    1276000 | #Constraints:      41630
2901.75/2908.56	c #Conflicts:    1277000 | #Constraints:      42630
2901.75/2908.56	c #Conflicts:    1278000 | #Constraints:      43630
2901.75/2908.56	c #Conflicts:    1279000 | #Constraints:      44630
2901.75/2908.56	c INPROCESSING
2901.75/2908.56	c GARBAGE COLLECT
2901.75/2908.56	c #Conflicts:    1280000 | #Constraints:      23230
2901.75/2908.56	c #Conflicts:    1281000 | #Constraints:      24230
2901.75/2908.56	c #Conflicts:    1282000 | #Constraints:      25230
2901.75/2908.56	c #Conflicts:    1283000 | #Constraints:      26230
2901.75/2908.56	c #Conflicts:    1284000 | #Constraints:      27230
2901.75/2908.56	c #Conflicts:    1285000 | #Constraints:      28230
2901.75/2908.56	c #Conflicts:    1286000 | #Constraints:      29230
2901.75/2908.56	c #Conflicts:    1287000 | #Constraints:      30230
2901.75/2908.56	c #Conflicts:    1288000 | #Constraints:      31230
2901.75/2908.56	c #Conflicts:    1289000 | #Constraints:      32230
2901.75/2908.56	c #Conflicts:    1290000 | #Constraints:      33230
2901.75/2908.56	c #Conflicts:    1291000 | #Constraints:      34230
2901.75/2908.56	c #Conflicts:    1292000 | #Constraints:      35230
2901.75/2908.56	c #Conflicts:    1293000 | #Constraints:      36230
2901.75/2908.56	c #Conflicts:    1294000 | #Constraints:      37230
2901.75/2908.56	c #Conflicts:    1295000 | #Constraints:      38230
2901.75/2908.56	c #Conflicts:    1296000 | #Constraints:      39230
2901.75/2908.56	c #Conflicts:    1297000 | #Constraints:      40230
2901.75/2908.56	c #Conflicts:    1298000 | #Constraints:      41230
2901.75/2908.56	c #Conflicts:    1299000 | #Constraints:      42230
2901.75/2908.56	c #Conflicts:    1300000 | #Constraints:      43230
2901.75/2908.56	c #Conflicts:    1301000 | #Constraints:      44230
2901.75/2908.56	c #Conflicts:    1302000 | #Constraints:      45230
2901.75/2908.56	c INPROCESSING
2901.75/2908.56	c GARBAGE COLLECT
2901.75/2908.56	c #Conflicts:    1303000 | #Constraints:      23630
2901.75/2908.56	c #Conflicts:    1304000 | #Constraints:      24630
2901.75/2908.56	c #Conflicts:    1305000 | #Constraints:      25630
2901.75/2908.56	c #Conflicts:    1306000 | #Constraints:      26630
2901.75/2908.56	c #Conflicts:    1307000 | #Constraints:      27630
2901.75/2908.56	c #Conflicts:    1308000 | #Constraints:      28630
2901.75/2908.56	c #Conflicts:    1309000 | #Constraints:      29630
2901.75/2908.56	c #Conflicts:    1310000 | #Constraints:      30630
2901.75/2908.56	c #Conflicts:    1311000 | #Constraints:      31630
2901.75/2908.56	c #Conflicts:    1312000 | #Constraints:      32630
2901.75/2908.56	c #Conflicts:    1313000 | #Constraints:      33630
2901.75/2908.56	c #Conflicts:    1314000 | #Constraints:      34630
2901.75/2908.56	c #Conflicts:    1315000 | #Constraints:      35630
2901.75/2908.56	c #Conflicts:    1316000 | #Constraints:      36630
2901.75/2908.56	c #Conflicts:    1317000 | #Constraints:      37630
2901.75/2908.56	c #Conflicts:    1318000 | #Constraints:      38630
2901.75/2908.56	c #Conflicts:    1319000 | #Constraints:      39630
2901.75/2908.56	c #Conflicts:    1320000 | #Constraints:      40630
2901.75/2908.56	c #Conflicts:    1321000 | #Constraints:      41630
2901.75/2908.56	c #Conflicts:    1322000 | #Constraints:      42630
2901.75/2908.56	c #Conflicts:    1323000 | #Constraints:      43630
2901.75/2908.56	c #Conflicts:    1324000 | #Constraints:      44630
2901.75/2908.56	c #Conflicts:    1325000 | #Constraints:      45630
2901.75/2908.56	c INPROCESSING
2901.75/2908.56	c GARBAGE COLLECT
2901.75/2908.56	c #Conflicts:    1326000 | #Constraints:      23830
2901.75/2908.56	c #Conflicts:    1327000 | #Constraints:      24830
2901.75/2908.56	c #Conflicts:    1328000 | #Constraints:      25830
2901.75/2908.56	c #Conflicts:    1329000 | #Constraints:      26830
2901.75/2908.56	c #Conflicts:    1330000 | #Constraints:      27830
2901.75/2908.56	c #Conflicts:    1331000 | #Constraints:      28830
2901.75/2908.56	c #Conflicts:    1332000 | #Constraints:      29830
2901.75/2908.56	c #Conflicts:    1333000 | #Constraints:      30830
2901.75/2908.56	c #Conflicts:    1334000 | #Constraints:      31830
2901.75/2908.56	c #Conflicts:    1335000 | #Constraints:      32830
2901.75/2908.56	c #Conflicts:    1336000 | #Constraints:      33830
2901.75/2908.56	c #Conflicts:    1337000 | #Constraints:      34830
2901.75/2908.56	c #Conflicts:    1338000 | #Constraints:      35830
2901.75/2908.56	c #Conflicts:    1339000 | #Constraints:      36830
2901.75/2908.56	c #Conflicts:    1340000 | #Constraints:      37830
2901.75/2908.56	c #Conflicts:    1341000 | #Constraints:      38830
2901.75/2908.56	c #Conflicts:    1342000 | #Constraints:      39830
2901.75/2908.56	c #Conflicts:    1343000 | #Constraints:      40830
2901.75/2908.56	c #Conflicts:    1344000 | #Constraints:      41830
2901.75/2908.56	c #Conflicts:    1345000 | #Constraints:      42830
2901.75/2908.56	c #Conflicts:    1346000 | #Constraints:      43830
2901.75/2908.56	c #Conflicts:    1347000 | #Constraints:      44830
2901.75/2908.56	c #Conflicts:    1348000 | #Constraints:      45830
2901.75/2908.56	c INPROCESSING
2901.75/2908.56	c GARBAGE COLLECT
2901.75/2908.56	c #Conflicts:    1349000 | #Constraints:      23834
2901.75/2908.56	c #Conflicts:    1350000 | #Constraints:      24834
3175.89/3183.35	c #Conflicts:    1351000 | #Constraints:      25834
3175.89/3183.35	c #Conflicts:    1352000 | #Constraints:      26834
3175.89/3183.35	c #Conflicts:    1353000 | #Constraints:      27834
3175.89/3183.35	c #Conflicts:    1354000 | #Constraints:      28834
3175.89/3183.35	c #Conflicts:    1355000 | #Constraints:      29834
3175.89/3183.35	c #Conflicts:    1356000 | #Constraints:      30834
3175.89/3183.35	c #Conflicts:    1357000 | #Constraints:      31834
3175.89/3183.35	c #Conflicts:    1358000 | #Constraints:      32834
3175.89/3183.35	c #Conflicts:    1359000 | #Constraints:      33834
3175.89/3183.35	c #Conflicts:    1360000 | #Constraints:      34834
3175.89/3183.35	c #Conflicts:    1361000 | #Constraints:      35834
3175.89/3183.35	c #Conflicts:    1362000 | #Constraints:      36834
3175.89/3183.35	c #Conflicts:    1363000 | #Constraints:      37834
3175.89/3183.35	c #Conflicts:    1364000 | #Constraints:      38834
3175.89/3183.35	c #Conflicts:    1365000 | #Constraints:      39834
3175.89/3183.35	c #Conflicts:    1366000 | #Constraints:      40834
3175.89/3183.35	c #Conflicts:    1367000 | #Constraints:      41834
3175.89/3183.35	c #Conflicts:    1368000 | #Constraints:      42834
3175.89/3183.35	c #Conflicts:    1369000 | #Constraints:      43834
3175.89/3183.35	c #Conflicts:    1370000 | #Constraints:      44834
3175.89/3183.35	c #Conflicts:    1371000 | #Constraints:      45834
3175.89/3183.35	c INPROCESSING
3175.89/3183.35	c GARBAGE COLLECT
3175.89/3183.35	c #Conflicts:    1372000 | #Constraints:      23632
3175.89/3183.35	c #Conflicts:    1373000 | #Constraints:      24632
3175.89/3183.35	c #Conflicts:    1374000 | #Constraints:      25632
3175.89/3183.35	c #Conflicts:    1375000 | #Constraints:      26632
3175.89/3183.35	c #Conflicts:    1376000 | #Constraints:      27632
3175.89/3183.35	c #Conflicts:    1377000 | #Constraints:      28632
3175.89/3183.35	c #Conflicts:    1378000 | #Constraints:      29632
3175.89/3183.35	c #Conflicts:    1379000 | #Constraints:      30632
3175.89/3183.35	c #Conflicts:    1380000 | #Constraints:      31632
3175.89/3183.35	c #Conflicts:    1381000 | #Constraints:      32632
3175.89/3183.35	c #Conflicts:    1382000 | #Constraints:      33632
3175.89/3183.35	c #Conflicts:    1383000 | #Constraints:      34632
3175.89/3183.35	c #Conflicts:    1384000 | #Constraints:      35632
3175.89/3183.35	c #Conflicts:    1385000 | #Constraints:      36632
3175.89/3183.35	c #Conflicts:    1386000 | #Constraints:      37632
3175.89/3183.35	c #Conflicts:    1387000 | #Constraints:      38632
3175.89/3183.35	c #Conflicts:    1388000 | #Constraints:      39632
3175.89/3183.35	c #Conflicts:    1389000 | #Constraints:      40632
3175.89/3183.35	c #Conflicts:    1390000 | #Constraints:      41632
3175.89/3183.35	c #Conflicts:    1391000 | #Constraints:      42632
3175.89/3183.35	c #Conflicts:    1392000 | #Constraints:      43632
3175.89/3183.35	c #Conflicts:    1393000 | #Constraints:      44632
3175.89/3183.35	c #Conflicts:    1394000 | #Constraints:      45632
3175.89/3183.35	c #Conflicts:    1395000 | #Constraints:      46632
3175.89/3183.35	c INPROCESSING
3175.89/3183.35	c GARBAGE COLLECT
3175.89/3183.35	c #Conflicts:    1396000 | #Constraints:      24231
3175.89/3183.35	c #Conflicts:    1397000 | #Constraints:      25231
3175.89/3183.35	c #Conflicts:    1398000 | #Constraints:      26231
3175.89/3183.35	c #Conflicts:    1399000 | #Constraints:      27231
3175.89/3183.35	c #Conflicts:    1400000 | #Constraints:      28231
3175.89/3183.35	c #Conflicts:    1401000 | #Constraints:      29231
3175.89/3183.35	c #Conflicts:    1402000 | #Constraints:      30231
3175.89/3183.35	c #Conflicts:    1403000 | #Constraints:      31231
3175.89/3183.35	c #Conflicts:    1404000 | #Constraints:      32231
3175.89/3183.35	c #Conflicts:    1405000 | #Constraints:      33231
3175.89/3183.35	c #Conflicts:    1406000 | #Constraints:      34231
3175.89/3183.35	c #Conflicts:    1407000 | #Constraints:      35231
3175.89/3183.35	c #Conflicts:    1408000 | #Constraints:      36231
3175.89/3183.35	c #Conflicts:    1409000 | #Constraints:      37231
3175.89/3183.35	c #Conflicts:    1410000 | #Constraints:      38231
3175.89/3183.35	c #Conflicts:    1411000 | #Constraints:      39231
3175.89/3183.35	c #Conflicts:    1412000 | #Constraints:      40231
3175.89/3183.35	c #Conflicts:    1413000 | #Constraints:      41231
3175.89/3183.35	c #Conflicts:    1414000 | #Constraints:      42231
3175.89/3183.35	c #Conflicts:    1415000 | #Constraints:      43231
3175.89/3183.35	c #Conflicts:    1416000 | #Constraints:      44231
3175.89/3183.35	c #Conflicts:    1417000 | #Constraints:      45231
3175.89/3183.35	c #Conflicts:    1418000 | #Constraints:      46231
3175.89/3183.35	c #Conflicts:    1419000 | #Constraints:      47231
3175.89/3183.35	c INPROCESSING
3175.89/3183.35	c GARBAGE COLLECT
3175.89/3183.35	c #Conflicts:    1420000 | #Constraints:      24629
3175.89/3183.35	c #Conflicts:    1421000 | #Constraints:      25629
3175.89/3183.35	c #Conflicts:    1422000 | #Constraints:      26629
3175.89/3183.35	c #Conflicts:    1423000 | #Constraints:      27629
3175.89/3183.35	c #Conflicts:    1424000 | #Constraints:      28629
3175.89/3183.35	c #Conflicts:    1425000 | #Constraints:      29629
3175.89/3183.35	c #Conflicts:    1426000 | #Constraints:      30629
3175.89/3183.35	c #Conflicts:    1427000 | #Constraints:      31629
3468.76/3476.96	c #Conflicts:    1428000 | #Constraints:      32629
3468.76/3476.96	c #Conflicts:    1429000 | #Constraints:      33629
3468.76/3476.96	c #Conflicts:    1430000 | #Constraints:      34629
3468.76/3476.96	c #Conflicts:    1431000 | #Constraints:      35629
3468.76/3476.96	c #Conflicts:    1432000 | #Constraints:      36629
3468.76/3476.96	c #Conflicts:    1433000 | #Constraints:      37629
3468.76/3476.96	c #Conflicts:    1434000 | #Constraints:      38629
3468.76/3476.96	c #Conflicts:    1435000 | #Constraints:      39629
3468.76/3476.96	c #Conflicts:    1436000 | #Constraints:      40629
3468.76/3476.96	c #Conflicts:    1437000 | #Constraints:      41629
3468.76/3476.96	c #Conflicts:    1438000 | #Constraints:      42629
3468.76/3476.96	c #Conflicts:    1439000 | #Constraints:      43629
3468.76/3476.96	c #Conflicts:    1440000 | #Constraints:      44629
3468.76/3476.96	c #Conflicts:    1441000 | #Constraints:      45629
3468.76/3476.96	c #Conflicts:    1442000 | #Constraints:      46629
3468.76/3476.96	c #Conflicts:    1443000 | #Constraints:      47629
3468.76/3476.96	c INPROCESSING
3468.76/3476.96	c GARBAGE COLLECT
3468.76/3476.96	c #Conflicts:    1444000 | #Constraints:      24831
3468.76/3476.96	c #Conflicts:    1445000 | #Constraints:      25831
3468.76/3476.96	c #Conflicts:    1446000 | #Constraints:      26831
3468.76/3476.96	c #Conflicts:    1447000 | #Constraints:      27831
3468.76/3476.96	c #Conflicts:    1448000 | #Constraints:      28831
3468.76/3476.96	c #Conflicts:    1449000 | #Constraints:      29831
3468.76/3476.96	c #Conflicts:    1450000 | #Constraints:      30831
3468.76/3476.96	c #Conflicts:    1451000 | #Constraints:      31831
3468.76/3476.96	c #Conflicts:    1452000 | #Constraints:      32831
3468.76/3476.96	c #Conflicts:    1453000 | #Constraints:      33831
3468.76/3476.96	c #Conflicts:    1454000 | #Constraints:      34831
3468.76/3476.96	c #Conflicts:    1455000 | #Constraints:      35831
3468.76/3476.96	c #Conflicts:    1456000 | #Constraints:      36831
3468.76/3476.96	c #Conflicts:    1457000 | #Constraints:      37831
3468.76/3476.96	c #Conflicts:    1458000 | #Constraints:      38831
3468.76/3476.96	c #Conflicts:    1459000 | #Constraints:      39831
3468.76/3476.96	c #Conflicts:    1460000 | #Constraints:      40831
3468.76/3476.96	c #Conflicts:    1461000 | #Constraints:      41831
3468.76/3476.96	c #Conflicts:    1462000 | #Constraints:      42831
3468.76/3476.96	c #Conflicts:    1463000 | #Constraints:      43831
3468.76/3476.96	c #Conflicts:    1464000 | #Constraints:      44831
3468.76/3476.96	c #Conflicts:    1465000 | #Constraints:      45831
3468.76/3476.96	c #Conflicts:    1466000 | #Constraints:      46831
3468.76/3476.96	c #Conflicts:    1467000 | #Constraints:      47831
3468.76/3476.96	c INPROCESSING
3468.76/3476.96	c GARBAGE COLLECT
3468.76/3476.96	c #Conflicts:    1468000 | #Constraints:      24829
3468.76/3476.96	c #Conflicts:    1469000 | #Constraints:      25829
3468.76/3476.96	c #Conflicts:    1470000 | #Constraints:      26829
3468.76/3476.96	c #Conflicts:    1471000 | #Constraints:      27829
3468.76/3476.96	c #Conflicts:    1472000 | #Constraints:      28829
3468.76/3476.96	c #Conflicts:    1473000 | #Constraints:      29829
3468.76/3476.96	c #Conflicts:    1474000 | #Constraints:      30829
3468.76/3476.96	c #Conflicts:    1475000 | #Constraints:      31829
3468.76/3476.96	c #Conflicts:    1476000 | #Constraints:      32829
3468.76/3476.96	c #Conflicts:    1477000 | #Constraints:      33829
3468.76/3476.96	c #Conflicts:    1478000 | #Constraints:      34829
3468.76/3476.96	c #Conflicts:    1479000 | #Constraints:      35829
3468.76/3476.96	c #Conflicts:    1480000 | #Constraints:      36829
3468.76/3476.96	c #Conflicts:    1481000 | #Constraints:      37829
3468.76/3476.96	c #Conflicts:    1482000 | #Constraints:      38829
3468.76/3476.96	c #Conflicts:    1483000 | #Constraints:      39829
3468.76/3476.96	c #Conflicts:    1484000 | #Constraints:      40829
3468.76/3476.96	c #Conflicts:    1485000 | #Constraints:      41829
3468.76/3476.96	c #Conflicts:    1486000 | #Constraints:      42829
3468.76/3476.96	c #Conflicts:    1487000 | #Constraints:      43829
3468.76/3476.96	c #Conflicts:    1488000 | #Constraints:      44829
3468.76/3476.96	c #Conflicts:    1489000 | #Constraints:      45829
3468.76/3476.96	c #Conflicts:    1490000 | #Constraints:      46829
3468.76/3476.96	c #Conflicts:    1491000 | #Constraints:      47829
3468.76/3476.96	c INPROCESSING
3468.76/3476.96	c GARBAGE COLLECT
3468.76/3476.96	c #Conflicts:    1492000 | #Constraints:      24630
3468.76/3476.96	c #Conflicts:    1493000 | #Constraints:      25630
3468.76/3476.96	c #Conflicts:    1494000 | #Constraints:      26630
3468.76/3476.96	c #Conflicts:    1495000 | #Constraints:      27630
3468.76/3476.96	c #Conflicts:    1496000 | #Constraints:      28630
3468.76/3476.96	c #Conflicts:    1497000 | #Constraints:      29630
3468.76/3476.96	c #Conflicts:    1498000 | #Constraints:      30630
3468.76/3476.96	c #Conflicts:    1499000 | #Constraints:      31630
3468.76/3476.96	c #Conflicts:    1500000 | #Constraints:      32630
3468.76/3476.96	c #Conflicts:    1501000 | #Constraints:      33630
3468.76/3476.96	c #Conflicts:    1502000 | #Constraints:      34630
3468.76/3476.96	c #Conflicts:    1503000 | #Constraints:      35630
3468.76/3476.96	c #Conflicts:    1504000 | #Constraints:      36630
3600.00/3608.50	c #Conflicts:    1505000 | #Constraints:      37630
3600.00/3608.50	c #Conflicts:    1506000 | #Constraints:      38630
3600.00/3608.50	c #Conflicts:    1507000 | #Constraints:      39630
3600.00/3608.50	c #Conflicts:    1508000 | #Constraints:      40630
3600.00/3608.50	c #Conflicts:    1509000 | #Constraints:      41630
3600.00/3608.50	c #Conflicts:    1510000 | #Constraints:      42630
3600.00/3608.50	c #Conflicts:    1511000 | #Constraints:      43630
3600.00/3608.50	c #Conflicts:    1512000 | #Constraints:      44630
3600.00/3608.50	c #Conflicts:    1513000 | #Constraints:      45630
3600.00/3608.50	c #Conflicts:    1514000 | #Constraints:      46630
3600.00/3608.50	c #Conflicts:    1515000 | #Constraints:      47630
3600.00/3608.50	c #Conflicts:    1516000 | #Constraints:      48630
3600.00/3608.50	c INPROCESSING
3600.00/3608.50	c GARBAGE COLLECT
3600.00/3608.50	c #Conflicts:    1517000 | #Constraints:      25232
3600.00/3608.50	c #Conflicts:    1518000 | #Constraints:      26232
3600.00/3608.50	c #Conflicts:    1519000 | #Constraints:      27232
3600.00/3608.50	c #Conflicts:    1520000 | #Constraints:      28232
3600.00/3608.50	c #Conflicts:    1521000 | #Constraints:      29232
3600.00/3608.50	c #Conflicts:    1522000 | #Constraints:      30232
3600.00/3608.50	c #Conflicts:    1523000 | #Constraints:      31232
3600.00/3608.50	c #Conflicts:    1524000 | #Constraints:      32232
3600.00/3608.50	c #Conflicts:    1525000 | #Constraints:      33232
3600.00/3608.50	c #Conflicts:    1526000 | #Constraints:      34232
3600.00/3608.50	c #Conflicts:    1527000 | #Constraints:      35232
3600.00/3608.50	c #Conflicts:    1528000 | #Constraints:      36232
3600.00/3608.50	c #Conflicts:    1529000 | #Constraints:      37232
3600.00/3608.50	c #Conflicts:    1530000 | #Constraints:      38232
3600.00/3608.50	c #Conflicts:    1531000 | #Constraints:      39232
3600.00/3608.50	c #Conflicts:    1532000 | #Constraints:      40232
3600.00/3608.50	c #Conflicts:    1533000 | #Constraints:      41232
3600.00/3608.50	c #Conflicts:    1534000 | #Constraints:      42232
3600.00/3608.50	c #Conflicts:    1535000 | #Constraints:      43232
3600.00/3608.50	c #Conflicts:    1536000 | #Constraints:      44232
3600.00/3608.50	c #Conflicts:    1537000 | #Constraints:      45232
3600.00/3608.50	c Program interrupted by user.
3600.00/3608.50	c cpu time 3593.21 s
3600.00/3608.50	c deterministic time 705517496676 7.06e+11
3600.00/3608.50	c optimization time 84.1964 s
3600.00/3608.50	c total solve time 3509.02 s
3600.00/3608.50	c core-guided solve time 3509.02 s
3600.00/3608.50	c propagation time 3437.18 s
3600.00/3608.50	c conflict analysis time 144.551 s
3600.00/3608.50	c propagations 18074858
3600.00/3608.50	c resolve steps 7253194
3600.00/3608.50	c decisions 2842366
3600.00/3608.50	c conflicts 1537863
3600.00/3608.50	c restarts 3062
3600.00/3608.50	c inprocessing phases 114
3600.00/3608.50	c input clauses 0
3600.00/3608.50	c input cardinalities 0
3600.00/3608.50	c input general constraints 17
3600.00/3608.50	c input average constraint length 72.24
3600.00/3608.50	c input average constraint degree 1644.53
3600.00/3608.50	c learned clauses 763923
3600.00/3608.50	c learned cardinalities 0
3600.00/3608.50	c learned general constraints 773939
3600.00/3608.50	c learned average constraint length 65.25
3600.00/3608.50	c learned average constraint degree 427585.51
3600.00/3608.50	c watched constraints 772806
3600.00/3608.50	c counting constraints 1150
3600.00/3608.50	c gcd simplifications 688965
3600.00/3608.50	c detected cardinalities 0
3600.00/3608.50	c weakened non-implied lits 17842290
3600.00/3608.50	c weakened non-implying lits 1931908
3600.00/3608.50	c original variables 146
3600.00/3608.50	c clausal propagations 273047
3600.00/3608.50	c cardinality propagations 0
3600.00/3608.50	c watched propagations 13526570
3600.00/3608.50	c counting propagations 3140783
3600.00/3608.50	c watch lookups 34239274143
3600.00/3608.50	c watch backjump lookups 22091652453
3600.00/3608.50	c watch checks 442407712735
3600.00/3608.50	c propagation checks 206161225280
3600.00/3608.50	c constraint additions 574259887
3600.00/3608.50	c trail pops 22454953
3600.00/3608.50	c formula constraints 12
3600.00/3608.50	c learned constraints 1537862
3600.00/3608.50	c bound constraints 5
3600.00/3608.50	c core-guided constraints 0
3600.00/3608.50	c encountered formula constraints 1672842
3600.00/3608.50	c encountered learned constraints 7118215
3600.00/3608.50	c encountered bound constraints 0
3600.00/3608.50	c encountered core-guided constraints 0
3600.00/3608.50	c LP total time 0 s
3600.00/3608.50	c LP solve time 0 s
3600.00/3608.50	c LP constraints added 0
3600.00/3608.50	c LP constraints removed 0
3600.00/3608.50	c LP pivots internal 0
3600.00/3608.50	c LP pivots root 0
3600.00/3608.50	c LP calls 0
3600.00/3608.50	c LP optimalities 0
3600.00/3608.50	c LP no pivot count 0
3600.00/3608.50	c LP infeasibilities 0
3600.00/3608.50	c LP valid Farkas constraints 0
3600.00/3608.50	c LP learned Farkas constraints 0
3600.00/3608.50	c LP basis resets 0
3600.00/3608.50	c LP cycling count 0
3600.00/3608.50	c LP singular count 0
3600.00/3608.50	c LP no primal count 0
3600.00/3608.50	c LP no farkas count 0
3600.00/3608.50	c LP other issue count 0
3600.00/3608.50	c LP Gomory cuts 0
3600.00/3608.50	c LP learned cuts 0
3600.00/3608.50	c LP deleted cuts 0
3600.00/3608.50	c LP encountered Gomory constraints 0
3600.00/3608.50	c LP encountered Farkas constraints 0
3600.00/3608.50	c LP encountered learned Farkas constraints 0
3600.00/3608.50	c CG auxiliary variables introduced 0
3600.00/3608.50	c CG solutions found 5
3600.00/3608.50	c CG cores constructed 0
3600.00/3608.50	c CG core cardinality constraints returned 0
3600.00/3608.50	c CG unit cores 0
3600.00/3608.50	c CG single cores 0
3600.00/3608.50	c CG blocks removed during cardinality reduction 0
3600.00/3608.50	c CG first core best 0
3600.00/3608.50	c CG decision core best 0
3600.00/3608.50	c CG core reduction tie 0
3600.00/3608.50	c CG core degree average 0.00
3600.00/3608.50	c CG core slack average 0.00
3600.00/3608.50	c CG exhausted 0
3600.00/3608.50	c CG exhaust time 0 s
3600.00/3608.50	c CG trimmed 0
3600.00/3608.50	c CG trim time 0 s
3600.00/3608.50	c CG minimized 0
3600.00/3608.50	c CG minimize time 0 s
3600.00/3608.50	c CG am1 prop time 0.000171 s
3600.00/3608.50	c CG # am1s reformulated 0
3600.00/3608.50	c CG lower bound derived from am1s 0
3600.00/3608.50	c CG # clausal cores 0
3600.00/3608.50	c CG # cardinality cores 0
3600.00/3608.50	c CG # pb cores 0
3600.00/3608.50	c CG # pb reforms 0
3600.00/3608.50	c CG # cores discarded because of pb reform 0
3600.00/3608.50	d LOWERBOUND 0
3600.00/3608.50	d NCORES 0
3600.00/3608.50	d NPBCORES 0
3600.00/3608.50	d NPBREFORM 0
3600.00/3608.50	d NTRIMMED 0
3600.00/3608.50	d NEXHAUSTED 0
3600.00/3608.50	d NAM1S 0
3600.00/3608.50	d AM1LB 0
3600.00/3608.50	o 17
3600.00/3608.50	s SATISFIABLE
3600.00/3608.50	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 x105 x106 -x107 x108 x109 -x110 -x111 -x112 x113 x114 -x115 -x116 x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 x137 x138 x139 x140 -x141 -x142 x143 x144 -x145 -x146

Verifier Data 

OK	17

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: 63931 MiB (61755 MiB free)
  memory of node 1: 64510 MiB (63238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454347-1721471076/watcher-4454347-1721471076 -o /tmp/evaluation-result-4454347-1721471076/solver-4454347-1721471076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049281 --watchdog 3760 pb-oll-rs HOME/instance-4454347-1721471076.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100084 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127989960/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=39188 memory=8356 CPUtime=0.09 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 402 0 0 0 9 0 0 0 20 0 1 0 199272548 40128512 2089 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 9797 2089 1374 291 0 1331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 8356 KiB

[startup+0.204462 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127988852/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=39320 memory=8676 CPUtime=0.2 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 440 0 0 0 20 0 0 0 20 0 1 0 199272548 40263680 2169 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 9830 2169 1389 291 0 1364 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 8676 KiB

[startup+0.304286 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127988236/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=39452 memory=8676 CPUtime=0.3 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 470 0 0 0 29 1 0 0 20 0 1 0 199272548 40398848 2169 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 9863 2169 1389 291 0 1397 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 8676 KiB

[startup+0.70014 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127988060/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=39864 memory=9376 CPUtime=0.68 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 580 0 0 0 67 1 0 0 20 0 1 0 199272548 40820736 2344 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 9966 2344 1435 291 0 1500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39864 KiB
Current children cumulated memory: 9376 KiB

[startup+1.50014 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127987368/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=40096 memory=9520 CPUtime=1.49 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 645 0 0 0 146 3 0 0 20 0 1 0 199272548 41058304 2380 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 10024 2380 1435 291 0 1558 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 9520 KiB

[startup+3.10474 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127982724/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=40736 memory=12372 CPUtime=3.08 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 801 0 0 0 304 4 0 0 20 0 1 0 199272548 41713664 3093 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 10184 3093 1435 291 0 1718 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 12372 KiB

[startup+6.30014 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1051869
/proc/meminfo: memFree=127980668/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=41008 memory=12648 CPUtime=6.28 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 871 0 0 0 620 8 0 0 20 0 1 0 199272548 41992192 3162 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 10252 3162 1435 291 0 1786 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41008 KiB
Current children cumulated memory: 12648 KiB

[startup+12.7001 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1051869
/proc/meminfo: memFree=127978268/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=41456 memory=13020 CPUtime=12.66 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 972 0 0 0 1254 12 0 0 20 0 1 0 199272548 42450944 3255 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 10364 3255 1435 291 0 1898 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41456 KiB
Current children cumulated memory: 13020 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.09 5/259 1052256
/proc/meminfo: memFree=127969572/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=42452 memory=13864 CPUtime=25.43 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 1189 0 0 0 2523 20 0 0 20 0 1 0 199272548 43470848 3466 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 10613 3466 1435 291 0 2147 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42452 KiB
Current children cumulated memory: 13864 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1052305
/proc/meminfo: memFree=128762472/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=46036 memory=16168 CPUtime=50.99 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 1804 0 0 0 5064 35 0 0 20 0 1 0 199272548 47140864 4042 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 11509 4042 1435 291 0 3043 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 46036 KiB
Current children cumulated memory: 16168 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128752012/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=47124 memory=18224 CPUtime=102.06 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 2328 0 0 0 10145 61 0 0 20 0 1 0 199272548 48254976 4556 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 11781 4556 1435 291 0 3315 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 47124 KiB
Current children cumulated memory: 18224 KiB

[startup+162.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/256 1052461
/proc/meminfo: memFree=128722988/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=53208 memory=21672 CPUtime=161.92 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 2852 0 0 0 16107 85 0 0 20 0 1 0 199272548 54484992 5418 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13302 5418 1435 291 0 4836 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 21672 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/257 1052641
/proc/meminfo: memFree=128711296/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=53400 memory=23964 CPUtime=221.8 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 2963 0 0 0 22073 107 0 0 20 0 1 0 199272548 54681600 5991 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13350 5991 1435 291 0 4884 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 23964 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/257 1052651
/proc/meminfo: memFree=128703388/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=53744 memory=24384 CPUtime=281.67 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 3232 0 0 0 28040 127 0 0 20 0 1 0 199272548 55033856 6096 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13436 6096 1435 291 0 4970 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 53744 KiB
Current children cumulated memory: 24384 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 1052719
/proc/meminfo: memFree=128692900/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=54068 memory=24712 CPUtime=341.53 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 3407 0 0 0 34007 146 0 0 20 0 1 0 199272548 55365632 6178 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13517 6178 1435 291 0 5051 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 54068 KiB
Current children cumulated memory: 24712 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/258 1052731
/proc/meminfo: memFree=128684556/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=54584 memory=25492 CPUtime=401.39 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 3715 0 0 0 39974 165 0 0 20 0 1 0 199272548 55894016 6373 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13646 6373 1435 291 0 5180 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 54584 KiB
Current children cumulated memory: 25492 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 1052741
/proc/meminfo: memFree=128679132/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=54808 memory=25988 CPUtime=461.26 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 3849 0 0 0 45944 182 0 0 20 0 1 0 199272548 56123392 6497 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 13702 6497 1435 291 0 5236 0

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

Current children cumulated memory: 42468 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1053752
/proc/meminfo: memFree=128577580/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80708 memory=42468 CPUtime=2915.51 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9312 0 0 0 290963 588 0 0 20 0 1 0 199272548 82644992 10617 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20177 10617 1435 291 0 11711 0
Current children cumulated CPU time: 2915.51 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 42468 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/256 1053763
/proc/meminfo: memFree=128575036/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80708 memory=42468 CPUtime=2975.37 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9331 0 0 0 296939 598 0 0 20 0 1 0 199272548 82644992 10617 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20177 10617 1435 291 0 11711 0
Current children cumulated CPU time: 2975.37 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 42468 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 1053773
/proc/meminfo: memFree=128574220/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80708 memory=42468 CPUtime=3035.23 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9482 0 0 0 302916 607 0 0 20 0 1 0 199272548 82644992 10617 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20177 10617 1435 291 0 11711 0
Current children cumulated CPU time: 3035.23 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 42468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 1053783
/proc/meminfo: memFree=128570204/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80708 memory=44516 CPUtime=3095.09 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9634 0 0 0 308893 616 0 0 20 0 1 0 199272548 82644992 11129 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20177 11129 1435 291 0 11711 0
Current children cumulated CPU time: 3095.09 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 44516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/254 1053793
/proc/meminfo: memFree=128568728/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80964 memory=44648 CPUtime=3154.94 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9819 0 0 0 314871 623 0 0 20 0 1 0 199272548 82907136 11162 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20241 11162 1435 291 0 11775 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 44648 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/254 1053804
/proc/meminfo: memFree=128568264/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80964 memory=44648 CPUtime=3214.8 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9839 0 0 0 320851 629 0 0 20 0 1 0 199272548 82907136 11162 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20241 11162 1435 291 0 11775 0
Current children cumulated CPU time: 3214.8 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 44648 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/254 1053814
/proc/meminfo: memFree=128567396/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=80964 memory=44648 CPUtime=3274.66 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 9977 0 0 0 326827 639 0 0 20 0 1 0 199272548 82907136 11162 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20241 11162 1435 291 0 11775 0
Current children cumulated CPU time: 3274.66 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 44648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1053828
/proc/meminfo: memFree=128565820/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81476 memory=44924 CPUtime=3334.52 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10201 0 0 0 332806 646 0 0 20 0 1 0 199272548 83431424 11231 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20369 11231 1435 291 0 11903 0
Current children cumulated CPU time: 3334.52 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 44924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1053840
/proc/meminfo: memFree=128564364/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81476 memory=44924 CPUtime=3394.37 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10216 0 0 0 338782 655 0 0 20 0 1 0 199272548 83431424 11231 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20369 11231 1435 291 0 11903 0
Current children cumulated CPU time: 3394.37 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 44924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 1053851
/proc/meminfo: memFree=128563364/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81476 memory=44924 CPUtime=3454.2 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10371 0 0 0 344757 663 0 0 20 0 1 0 199272548 83431424 11231 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20369 11231 1435 291 0 11903 0
Current children cumulated CPU time: 3454.2 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 44924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1053862
/proc/meminfo: memFree=128561080/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81732 memory=44924 CPUtime=3514.04 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10389 0 0 0 350734 670 0 0 20 0 1 0 199272548 83693568 11231 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20433 11231 1435 291 0 11967 0
Current children cumulated CPU time: 3514.04 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 44924 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1053873
/proc/meminfo: memFree=128560148/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81732 memory=45056 CPUtime=3573.88 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10576 0 0 0 356710 678 0 0 20 0 1 0 199272548 83693568 11264 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20433 11264 1435 291 0 11967 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 45056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1053879
/proc/meminfo: memFree=128556196/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81988 memory=45056 CPUtime=3600 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10594 0 0 0 359320 680 0 0 20 0 1 0 199272548 83955712 11264 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20497 11264 1435 291 0 12031 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 81988 KiB
Current children cumulated memory: 45056 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.21 s, system=6.81008 s

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

[startup+3608.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 1053879
/proc/meminfo: memFree=128556196/131524600 swapFree=131071996/131071996
[pid=1051866] ppid=1051863 vsize=81988 memory=45056 CPUtime=3600 cores=1,3
/proc/1051866/stat : 1051866 (pb-oll-rs) R 1051863 1051866 1049269 0 -1 4194304 10594 0 0 0 359320 680 0 0 20 0 1 0 199272548 83955712 11264 134679101440 4194304 5384485 140735944232992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38354944 140735944238101 140735944238178 140735944238178 140735944245195 0
/proc/1051866/statm: 20497 11264 1435 291 0 12031 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 81988 KiB
Current children cumulated memory: 45056 KiB

Child status: 0

Real time (s): 3608.5
CPU time (s): 3600.02
CPU user time (s): 3593.21
CPU system time (s): 6.81008
CPU usage (%): 99.765
Max. virtual memory (cumulated for all children) (KiB): 81988
Max. memory (cumulated for all children) (KiB): 45056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.21
system time used= 6.81008
maximum resident set size= 45576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10611
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= 23
involuntary context switches= 1485


# summary of solver processes directly reported to runsolver:
#   pid: 1051866
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3593.21
#   total CPU system time (s): 6.81008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35649 second user time and 16.6928 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-20 12:24:49
IDJOB=4454347
IDBENCH=147612
IDSOLVER=3082
FILE ID=nodeC024/4454347-1721471076
RUNJOBID= nodeC024-1721467479-1049281
SLURM_JOB_ID= 7545720
Free space on /tmp= 890072 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454347-1721471076/watcher-4454347-1721471076 -o /tmp/evaluation-result-4454347-1721471076/solver-4454347-1721471076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049281 --watchdog 3760  pb-oll-rs HOME/instance-4454347-1721471076.opb

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

MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=1357534056

nodeC024.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	: 0xb00002a
cpu MHz		: 3661.731
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.636
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.145
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.084
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.707
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.352
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.032
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.392
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127993352 kB
MemAvailable:   128902788 kB
Buffers:          555552 kB
Cached:          1197232 kB
SwapCached:            0 kB
Active:          1068468 kB
Inactive:        1846344 kB
Active(anon):       1564 kB
Inactive(anon):  1206048 kB
Active(file):    1066904 kB
Inactive(file):   640296 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5708 kB
Writeback:             0 kB
AnonPages:       1160860 kB
Mapped:           112444 kB
Shmem:             45912 kB
KReclaimable:      83764 kB
Slab:             195604 kB
SReclaimable:      83764 kB
SUnreclaim:       111840 kB
KernelStack:        3996 kB
PageTables:        11748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1614616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1126400 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-20 13:24:58