Trace number 4454324

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19? (TO) 3600.04 3610.5

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM0e700fc92a231fc1e477aebd59f20b52
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 benchmark138
Best CPU time to get the best result obtained on this benchmark3584.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.22/0.25	c [STEP] solving
0.22/0.25	c #variables 3296 #constraints 6384
0.22/0.25	c SMALL=int, LARGE=long long
0.22/0.25	c bounds - >= 91 @ 0.22234
0.22/0.25	c stratification level: 0
42.27/42.41	c #Conflicts:       1000 | #Constraints:       7383
42.27/42.41	c #Conflicts:       2000 | #Constraints:       8383
42.27/42.41	c INPROCESSING
42.27/42.41	c #Conflicts:       3000 | #Constraints:       8395
42.27/42.41	c #Conflicts:       4000 | #Constraints:       9395
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:       5000 | #Constraints:       8807
42.27/42.41	c #Conflicts:       6000 | #Constraints:       9807
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:       7000 | #Constraints:       8814
42.27/42.41	c #Conflicts:       8000 | #Constraints:       9814
42.27/42.41	c #Conflicts:       9000 | #Constraints:      10814
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      10000 | #Constraints:       9523
42.27/42.41	c #Conflicts:      11000 | #Constraints:      10523
42.27/42.41	c #Conflicts:      12000 | #Constraints:      11523
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      13000 | #Constraints:       9982
42.27/42.41	c #Conflicts:      14000 | #Constraints:      10982
42.27/42.41	c #Conflicts:      15000 | #Constraints:      11982
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      16000 | #Constraints:      10208
42.27/42.41	c #Conflicts:      17000 | #Constraints:      11208
42.27/42.41	c #Conflicts:      18000 | #Constraints:      12208
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      19000 | #Constraints:      10227
42.27/42.41	c #Conflicts:      20000 | #Constraints:      11227
42.27/42.41	c #Conflicts:      21000 | #Constraints:      12227
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      22000 | #Constraints:      10029
42.27/42.41	c #Conflicts:      23000 | #Constraints:      11029
42.27/42.41	c #Conflicts:      24000 | #Constraints:      12029
42.27/42.41	c #Conflicts:      25000 | #Constraints:      13029
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      26000 | #Constraints:      10639
42.27/42.41	c #Conflicts:      27000 | #Constraints:      11639
42.27/42.41	c #Conflicts:      28000 | #Constraints:      12639
42.27/42.41	c #Conflicts:      29000 | #Constraints:      13639
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      30000 | #Constraints:      11051
42.27/42.41	c #Conflicts:      31000 | #Constraints:      12051
42.27/42.41	c #Conflicts:      32000 | #Constraints:      13051
42.27/42.41	c #Conflicts:      33000 | #Constraints:      14051
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      34000 | #Constraints:      11242
42.27/42.41	c #Conflicts:      35000 | #Constraints:      12242
42.27/42.41	c #Conflicts:      36000 | #Constraints:      13242
42.27/42.41	c #Conflicts:      37000 | #Constraints:      14242
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      38000 | #Constraints:      11243
42.27/42.41	c #Conflicts:      39000 | #Constraints:      12243
42.27/42.41	c #Conflicts:      40000 | #Constraints:      13243
42.27/42.41	c #Conflicts:      41000 | #Constraints:      14243
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      42000 | #Constraints:      11052
42.27/42.41	c #Conflicts:      43000 | #Constraints:      12052
42.27/42.41	c #Conflicts:      44000 | #Constraints:      13052
42.27/42.41	c #Conflicts:      45000 | #Constraints:      14052
42.27/42.41	c #Conflicts:      46000 | #Constraints:      15052
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      47000 | #Constraints:      11656
42.27/42.41	c #Conflicts:      48000 | #Constraints:      12656
42.27/42.41	c #Conflicts:      49000 | #Constraints:      13656
42.27/42.41	c #Conflicts:      50000 | #Constraints:      14656
42.27/42.41	c #Conflicts:      51000 | #Constraints:      15656
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      52000 | #Constraints:      12064
42.27/42.41	c #Conflicts:      53000 | #Constraints:      13064
42.27/42.41	c #Conflicts:      54000 | #Constraints:      14064
42.27/42.41	c #Conflicts:      55000 | #Constraints:      15064
42.27/42.41	c #Conflicts:      56000 | #Constraints:      16064
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      57000 | #Constraints:      12262
42.27/42.41	c #Conflicts:      58000 | #Constraints:      13262
42.27/42.41	c #Conflicts:      59000 | #Constraints:      14262
42.27/42.41	c #Conflicts:      60000 | #Constraints:      15262
42.27/42.41	c #Conflicts:      61000 | #Constraints:      16262
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      62000 | #Constraints:      12258
42.27/42.41	c #Conflicts:      63000 | #Constraints:      13258
42.27/42.41	c #Conflicts:      64000 | #Constraints:      14258
42.27/42.41	c #Conflicts:      65000 | #Constraints:      15258
42.27/42.41	c #Conflicts:      66000 | #Constraints:      16258
42.27/42.41	c INPROCESSING
42.27/42.41	c GARBAGE COLLECT
42.27/42.41	c #Conflicts:      67000 | #Constraints:      12056
42.27/42.41	c #Conflicts:      68000 | #Constraints:      13056
107.88/108.26	c #Conflicts:      69000 | #Constraints:      14056
107.88/108.26	c #Conflicts:      70000 | #Constraints:      15056
107.88/108.26	c #Conflicts:      71000 | #Constraints:      16056
107.88/108.26	c #Conflicts:      72000 | #Constraints:      17056
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:      73000 | #Constraints:      12658
107.88/108.26	c #Conflicts:      74000 | #Constraints:      13658
107.88/108.26	c #Conflicts:      75000 | #Constraints:      14658
107.88/108.26	c #Conflicts:      76000 | #Constraints:      15658
107.88/108.26	c #Conflicts:      77000 | #Constraints:      16658
107.88/108.26	c #Conflicts:      78000 | #Constraints:      17658
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:      79000 | #Constraints:      13067
107.88/108.26	c #Conflicts:      80000 | #Constraints:      14067
107.88/108.26	c #Conflicts:      81000 | #Constraints:      15067
107.88/108.26	c #Conflicts:      82000 | #Constraints:      16067
107.88/108.26	c #Conflicts:      83000 | #Constraints:      17067
107.88/108.26	c #Conflicts:      84000 | #Constraints:      18067
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:      85000 | #Constraints:      13260
107.88/108.26	c #Conflicts:      86000 | #Constraints:      14260
107.88/108.26	c #Conflicts:      87000 | #Constraints:      15260
107.88/108.26	c #Conflicts:      88000 | #Constraints:      16260
107.88/108.26	c #Conflicts:      89000 | #Constraints:      17260
107.88/108.26	c #Conflicts:      90000 | #Constraints:      18260
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:      91000 | #Constraints:      13261
107.88/108.26	c #Conflicts:      92000 | #Constraints:      14261
107.88/108.26	c #Conflicts:      93000 | #Constraints:      15261
107.88/108.26	c #Conflicts:      94000 | #Constraints:      16261
107.88/108.26	c #Conflicts:      95000 | #Constraints:      17261
107.88/108.26	c #Conflicts:      96000 | #Constraints:      18261
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:      97000 | #Constraints:      13077
107.88/108.26	c #Conflicts:      98000 | #Constraints:      14077
107.88/108.26	c #Conflicts:      99000 | #Constraints:      15077
107.88/108.26	c #Conflicts:     100000 | #Constraints:      16077
107.88/108.26	c #Conflicts:     101000 | #Constraints:      17077
107.88/108.26	c #Conflicts:     102000 | #Constraints:      18077
107.88/108.26	c #Conflicts:     103000 | #Constraints:      19077
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     104000 | #Constraints:      13695
107.88/108.26	c #Conflicts:     105000 | #Constraints:      14695
107.88/108.26	c #Conflicts:     106000 | #Constraints:      15695
107.88/108.26	c #Conflicts:     107000 | #Constraints:      16695
107.88/108.26	c #Conflicts:     108000 | #Constraints:      17695
107.88/108.26	c #Conflicts:     109000 | #Constraints:      18695
107.88/108.26	c #Conflicts:     110000 | #Constraints:      19695
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     111000 | #Constraints:      14089
107.88/108.26	c #Conflicts:     112000 | #Constraints:      15089
107.88/108.26	c #Conflicts:     113000 | #Constraints:      16089
107.88/108.26	c #Conflicts:     114000 | #Constraints:      17089
107.88/108.26	c #Conflicts:     115000 | #Constraints:      18089
107.88/108.26	c #Conflicts:     116000 | #Constraints:      19089
107.88/108.26	c #Conflicts:     117000 | #Constraints:      20089
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     118000 | #Constraints:      14295
107.88/108.26	c #Conflicts:     119000 | #Constraints:      15295
107.88/108.26	c #Conflicts:     120000 | #Constraints:      16295
107.88/108.26	c #Conflicts:     121000 | #Constraints:      17295
107.88/108.26	c #Conflicts:     122000 | #Constraints:      18295
107.88/108.26	c #Conflicts:     123000 | #Constraints:      19295
107.88/108.26	c #Conflicts:     124000 | #Constraints:      20295
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     125000 | #Constraints:      14292
107.88/108.26	c #Conflicts:     126000 | #Constraints:      15292
107.88/108.26	c #Conflicts:     127000 | #Constraints:      16292
107.88/108.26	c #Conflicts:     128000 | #Constraints:      17292
107.88/108.26	c #Conflicts:     129000 | #Constraints:      18292
107.88/108.26	c #Conflicts:     130000 | #Constraints:      19292
107.88/108.26	c #Conflicts:     131000 | #Constraints:      20292
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     132000 | #Constraints:      14081
107.88/108.26	c #Conflicts:     133000 | #Constraints:      15081
107.88/108.26	c #Conflicts:     134000 | #Constraints:      16081
107.88/108.26	c #Conflicts:     135000 | #Constraints:      17081
107.88/108.26	c #Conflicts:     136000 | #Constraints:      18081
107.88/108.26	c #Conflicts:     137000 | #Constraints:      19081
107.88/108.26	c #Conflicts:     138000 | #Constraints:      20081
107.88/108.26	c #Conflicts:     139000 | #Constraints:      21081
107.88/108.26	c INPROCESSING
107.88/108.26	c GARBAGE COLLECT
107.88/108.26	c #Conflicts:     140000 | #Constraints:      14668
191.93/192.58	c #Conflicts:     141000 | #Constraints:      15668
191.93/192.58	c #Conflicts:     142000 | #Constraints:      16668
191.93/192.58	c #Conflicts:     143000 | #Constraints:      17668
191.93/192.58	c #Conflicts:     144000 | #Constraints:      18668
191.93/192.58	c #Conflicts:     145000 | #Constraints:      19668
191.93/192.58	c #Conflicts:     146000 | #Constraints:      20668
191.93/192.58	c #Conflicts:     147000 | #Constraints:      21668
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     148000 | #Constraints:      15072
191.93/192.58	c #Conflicts:     149000 | #Constraints:      16072
191.93/192.58	c #Conflicts:     150000 | #Constraints:      17072
191.93/192.58	c #Conflicts:     151000 | #Constraints:      18072
191.93/192.58	c #Conflicts:     152000 | #Constraints:      19072
191.93/192.58	c #Conflicts:     153000 | #Constraints:      20072
191.93/192.58	c #Conflicts:     154000 | #Constraints:      21072
191.93/192.58	c #Conflicts:     155000 | #Constraints:      22072
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     156000 | #Constraints:      15280
191.93/192.58	c #Conflicts:     157000 | #Constraints:      16280
191.93/192.58	c #Conflicts:     158000 | #Constraints:      17280
191.93/192.58	c #Conflicts:     159000 | #Constraints:      18280
191.93/192.58	c #Conflicts:     160000 | #Constraints:      19280
191.93/192.58	c #Conflicts:     161000 | #Constraints:      20280
191.93/192.58	c #Conflicts:     162000 | #Constraints:      21280
191.93/192.58	c #Conflicts:     163000 | #Constraints:      22280
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     164000 | #Constraints:      15291
191.93/192.58	c #Conflicts:     165000 | #Constraints:      16291
191.93/192.58	c #Conflicts:     166000 | #Constraints:      17291
191.93/192.58	c #Conflicts:     167000 | #Constraints:      18291
191.93/192.58	c #Conflicts:     168000 | #Constraints:      19291
191.93/192.58	c #Conflicts:     169000 | #Constraints:      20291
191.93/192.58	c #Conflicts:     170000 | #Constraints:      21291
191.93/192.58	c #Conflicts:     171000 | #Constraints:      22291
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     172000 | #Constraints:      15083
191.93/192.58	c #Conflicts:     173000 | #Constraints:      16083
191.93/192.58	c #Conflicts:     174000 | #Constraints:      17083
191.93/192.58	c #Conflicts:     175000 | #Constraints:      18083
191.93/192.58	c #Conflicts:     176000 | #Constraints:      19083
191.93/192.58	c #Conflicts:     177000 | #Constraints:      20083
191.93/192.58	c #Conflicts:     178000 | #Constraints:      21083
191.93/192.58	c #Conflicts:     179000 | #Constraints:      22083
191.93/192.58	c #Conflicts:     180000 | #Constraints:      23083
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     181000 | #Constraints:      15677
191.93/192.58	c #Conflicts:     182000 | #Constraints:      16677
191.93/192.58	c #Conflicts:     183000 | #Constraints:      17677
191.93/192.58	c #Conflicts:     184000 | #Constraints:      18677
191.93/192.58	c #Conflicts:     185000 | #Constraints:      19677
191.93/192.58	c #Conflicts:     186000 | #Constraints:      20677
191.93/192.58	c #Conflicts:     187000 | #Constraints:      21677
191.93/192.58	c #Conflicts:     188000 | #Constraints:      22677
191.93/192.58	c #Conflicts:     189000 | #Constraints:      23677
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     190000 | #Constraints:      16072
191.93/192.58	c #Conflicts:     191000 | #Constraints:      17072
191.93/192.58	c #Conflicts:     192000 | #Constraints:      18072
191.93/192.58	c #Conflicts:     193000 | #Constraints:      19072
191.93/192.58	c #Conflicts:     194000 | #Constraints:      20072
191.93/192.58	c #Conflicts:     195000 | #Constraints:      21072
191.93/192.58	c #Conflicts:     196000 | #Constraints:      22072
191.93/192.58	c #Conflicts:     197000 | #Constraints:      23072
191.93/192.58	c #Conflicts:     198000 | #Constraints:      24072
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     199000 | #Constraints:      16289
191.93/192.58	c #Conflicts:     200000 | #Constraints:      17289
191.93/192.58	c #Conflicts:     201000 | #Constraints:      18289
191.93/192.58	c #Conflicts:     202000 | #Constraints:      19289
191.93/192.58	c #Conflicts:     203000 | #Constraints:      20289
191.93/192.58	c #Conflicts:     204000 | #Constraints:      21289
191.93/192.58	c #Conflicts:     205000 | #Constraints:      22289
191.93/192.58	c #Conflicts:     206000 | #Constraints:      23289
191.93/192.58	c #Conflicts:     207000 | #Constraints:      24289
191.93/192.58	c INPROCESSING
191.93/192.58	c GARBAGE COLLECT
191.93/192.58	c #Conflicts:     208000 | #Constraints:      16287
191.93/192.58	c #Conflicts:     209000 | #Constraints:      17287
191.93/192.58	c #Conflicts:     210000 | #Constraints:      18287
191.93/192.58	c #Conflicts:     211000 | #Constraints:      19287
191.93/192.58	c #Conflicts:     212000 | #Constraints:      20287
191.93/192.58	c #Conflicts:     213000 | #Constraints:      21287
191.93/192.58	c #Conflicts:     214000 | #Constraints:      22287
289.53/290.45	c #Conflicts:     215000 | #Constraints:      23287
289.53/290.45	c #Conflicts:     216000 | #Constraints:      24287
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     217000 | #Constraints:      16088
289.53/290.45	c #Conflicts:     218000 | #Constraints:      17088
289.53/290.45	c #Conflicts:     219000 | #Constraints:      18088
289.53/290.45	c #Conflicts:     220000 | #Constraints:      19088
289.53/290.45	c #Conflicts:     221000 | #Constraints:      20088
289.53/290.45	c #Conflicts:     222000 | #Constraints:      21088
289.53/290.45	c #Conflicts:     223000 | #Constraints:      22088
289.53/290.45	c #Conflicts:     224000 | #Constraints:      23088
289.53/290.45	c #Conflicts:     225000 | #Constraints:      24088
289.53/290.45	c #Conflicts:     226000 | #Constraints:      25088
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     227000 | #Constraints:      16680
289.53/290.45	c #Conflicts:     228000 | #Constraints:      17680
289.53/290.45	c #Conflicts:     229000 | #Constraints:      18680
289.53/290.45	c #Conflicts:     230000 | #Constraints:      19680
289.53/290.45	c #Conflicts:     231000 | #Constraints:      20680
289.53/290.45	c #Conflicts:     232000 | #Constraints:      21680
289.53/290.45	c #Conflicts:     233000 | #Constraints:      22680
289.53/290.45	c #Conflicts:     234000 | #Constraints:      23680
289.53/290.45	c #Conflicts:     235000 | #Constraints:      24680
289.53/290.45	c #Conflicts:     236000 | #Constraints:      25680
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     237000 | #Constraints:      17106
289.53/290.45	c #Conflicts:     238000 | #Constraints:      18106
289.53/290.45	c #Conflicts:     239000 | #Constraints:      19106
289.53/290.45	c #Conflicts:     240000 | #Constraints:      20106
289.53/290.45	c #Conflicts:     241000 | #Constraints:      21106
289.53/290.45	c #Conflicts:     242000 | #Constraints:      22106
289.53/290.45	c #Conflicts:     243000 | #Constraints:      23106
289.53/290.45	c #Conflicts:     244000 | #Constraints:      24106
289.53/290.45	c #Conflicts:     245000 | #Constraints:      25106
289.53/290.45	c #Conflicts:     246000 | #Constraints:      26106
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     247000 | #Constraints:      17305
289.53/290.45	c #Conflicts:     248000 | #Constraints:      18305
289.53/290.45	c #Conflicts:     249000 | #Constraints:      19305
289.53/290.45	c #Conflicts:     250000 | #Constraints:      20305
289.53/290.45	c #Conflicts:     251000 | #Constraints:      21305
289.53/290.45	c #Conflicts:     252000 | #Constraints:      22305
289.53/290.45	c #Conflicts:     253000 | #Constraints:      23305
289.53/290.45	c #Conflicts:     254000 | #Constraints:      24305
289.53/290.45	c #Conflicts:     255000 | #Constraints:      25305
289.53/290.45	c #Conflicts:     256000 | #Constraints:      26305
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     257000 | #Constraints:      17286
289.53/290.45	c #Conflicts:     258000 | #Constraints:      18286
289.53/290.45	c #Conflicts:     259000 | #Constraints:      19286
289.53/290.45	c #Conflicts:     260000 | #Constraints:      20286
289.53/290.45	c #Conflicts:     261000 | #Constraints:      21286
289.53/290.45	c #Conflicts:     262000 | #Constraints:      22286
289.53/290.45	c #Conflicts:     263000 | #Constraints:      23286
289.53/290.45	c #Conflicts:     264000 | #Constraints:      24286
289.53/290.45	c #Conflicts:     265000 | #Constraints:      25286
289.53/290.45	c #Conflicts:     266000 | #Constraints:      26286
289.53/290.45	c INPROCESSING
289.53/290.45	c GARBAGE COLLECT
289.53/290.45	c #Conflicts:     267000 | #Constraints:      17085
289.53/290.45	c #Conflicts:     268000 | #Constraints:      18085
289.53/290.45	c #Conflicts:     269000 | #Constraints:      19085
289.53/290.46	c #Conflicts:     270000 | #Constraints:      20085
289.53/290.46	c #Conflicts:     271000 | #Constraints:      21085
289.53/290.46	c #Conflicts:     272000 | #Constraints:      22085
289.53/290.46	c #Conflicts:     273000 | #Constraints:      23085
289.53/290.46	c #Conflicts:     274000 | #Constraints:      24085
289.53/290.46	c #Conflicts:     275000 | #Constraints:      25085
289.53/290.46	c #Conflicts:     276000 | #Constraints:      26085
289.53/290.46	c #Conflicts:     277000 | #Constraints:      27085
289.53/290.46	c INPROCESSING
289.53/290.46	c GARBAGE COLLECT
289.53/290.46	c #Conflicts:     278000 | #Constraints:      17705
289.53/290.46	c #Conflicts:     279000 | #Constraints:      18705
289.53/290.46	c #Conflicts:     280000 | #Constraints:      19705
289.53/290.46	c #Conflicts:     281000 | #Constraints:      20705
289.53/290.46	c #Conflicts:     282000 | #Constraints:      21705
289.53/290.46	c #Conflicts:     283000 | #Constraints:      22705
289.53/290.46	c #Conflicts:     284000 | #Constraints:      23705
289.53/290.46	c #Conflicts:     285000 | #Constraints:      24705
289.53/290.46	c #Conflicts:     286000 | #Constraints:      25705
289.53/290.46	c #Conflicts:     287000 | #Constraints:      26705
289.53/290.46	c #Conflicts:     288000 | #Constraints:      27705
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     289000 | #Constraints:      18098
394.60/395.83	c #Conflicts:     290000 | #Constraints:      19098
394.60/395.83	c #Conflicts:     291000 | #Constraints:      20098
394.60/395.83	c #Conflicts:     292000 | #Constraints:      21098
394.60/395.83	c #Conflicts:     293000 | #Constraints:      22098
394.60/395.83	c #Conflicts:     294000 | #Constraints:      23098
394.60/395.83	c #Conflicts:     295000 | #Constraints:      24098
394.60/395.83	c #Conflicts:     296000 | #Constraints:      25098
394.60/395.83	c #Conflicts:     297000 | #Constraints:      26098
394.60/395.83	c #Conflicts:     298000 | #Constraints:      27098
394.60/395.83	c #Conflicts:     299000 | #Constraints:      28098
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     300000 | #Constraints:      18301
394.60/395.83	c #Conflicts:     301000 | #Constraints:      19301
394.60/395.83	c #Conflicts:     302000 | #Constraints:      20301
394.60/395.83	c #Conflicts:     303000 | #Constraints:      21301
394.60/395.83	c #Conflicts:     304000 | #Constraints:      22301
394.60/395.83	c #Conflicts:     305000 | #Constraints:      23301
394.60/395.83	c #Conflicts:     306000 | #Constraints:      24301
394.60/395.83	c #Conflicts:     307000 | #Constraints:      25301
394.60/395.83	c #Conflicts:     308000 | #Constraints:      26301
394.60/395.83	c #Conflicts:     309000 | #Constraints:      27301
394.60/395.83	c #Conflicts:     310000 | #Constraints:      28301
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     311000 | #Constraints:      18306
394.60/395.83	c #Conflicts:     312000 | #Constraints:      19306
394.60/395.83	c #Conflicts:     313000 | #Constraints:      20306
394.60/395.83	c #Conflicts:     314000 | #Constraints:      21306
394.60/395.83	c #Conflicts:     315000 | #Constraints:      22306
394.60/395.83	c #Conflicts:     316000 | #Constraints:      23306
394.60/395.83	c #Conflicts:     317000 | #Constraints:      24306
394.60/395.83	c #Conflicts:     318000 | #Constraints:      25306
394.60/395.83	c #Conflicts:     319000 | #Constraints:      26306
394.60/395.83	c #Conflicts:     320000 | #Constraints:      27306
394.60/395.83	c #Conflicts:     321000 | #Constraints:      28306
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     322000 | #Constraints:      18119
394.60/395.83	c #Conflicts:     323000 | #Constraints:      19119
394.60/395.83	c #Conflicts:     324000 | #Constraints:      20119
394.60/395.83	c #Conflicts:     325000 | #Constraints:      21119
394.60/395.83	c #Conflicts:     326000 | #Constraints:      22119
394.60/395.83	c #Conflicts:     327000 | #Constraints:      23119
394.60/395.83	c #Conflicts:     328000 | #Constraints:      24119
394.60/395.83	c #Conflicts:     329000 | #Constraints:      25119
394.60/395.83	c #Conflicts:     330000 | #Constraints:      26119
394.60/395.83	c #Conflicts:     331000 | #Constraints:      27119
394.60/395.83	c #Conflicts:     332000 | #Constraints:      28119
394.60/395.83	c #Conflicts:     333000 | #Constraints:      29119
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     334000 | #Constraints:      18702
394.60/395.83	c #Conflicts:     335000 | #Constraints:      19702
394.60/395.83	c #Conflicts:     336000 | #Constraints:      20702
394.60/395.83	c #Conflicts:     337000 | #Constraints:      21702
394.60/395.83	c #Conflicts:     338000 | #Constraints:      22702
394.60/395.83	c #Conflicts:     339000 | #Constraints:      23702
394.60/395.83	c #Conflicts:     340000 | #Constraints:      24702
394.60/395.83	c #Conflicts:     341000 | #Constraints:      25702
394.60/395.83	c #Conflicts:     342000 | #Constraints:      26702
394.60/395.83	c #Conflicts:     343000 | #Constraints:      27702
394.60/395.83	c #Conflicts:     344000 | #Constraints:      28702
394.60/395.83	c #Conflicts:     345000 | #Constraints:      29702
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     346000 | #Constraints:      19088
394.60/395.83	c #Conflicts:     347000 | #Constraints:      20088
394.60/395.83	c #Conflicts:     348000 | #Constraints:      21088
394.60/395.83	c #Conflicts:     349000 | #Constraints:      22088
394.60/395.83	c #Conflicts:     350000 | #Constraints:      23088
394.60/395.83	c #Conflicts:     351000 | #Constraints:      24088
394.60/395.83	c #Conflicts:     352000 | #Constraints:      25088
394.60/395.83	c #Conflicts:     353000 | #Constraints:      26088
394.60/395.83	c #Conflicts:     354000 | #Constraints:      27088
394.60/395.83	c #Conflicts:     355000 | #Constraints:      28088
394.60/395.83	c #Conflicts:     356000 | #Constraints:      29088
394.60/395.83	c #Conflicts:     357000 | #Constraints:      30088
394.60/395.83	c INPROCESSING
394.60/395.83	c GARBAGE COLLECT
394.60/395.83	c #Conflicts:     358000 | #Constraints:      19291
394.60/395.83	c #Conflicts:     359000 | #Constraints:      20291
394.60/395.83	c #Conflicts:     360000 | #Constraints:      21291
394.60/395.83	c #Conflicts:     361000 | #Constraints:      22291
394.60/395.83	c #Conflicts:     362000 | #Constraints:      23291
517.23/518.83	c #Conflicts:     363000 | #Constraints:      24291
517.23/518.83	c #Conflicts:     364000 | #Constraints:      25291
517.23/518.83	c #Conflicts:     365000 | #Constraints:      26291
517.23/518.83	c #Conflicts:     366000 | #Constraints:      27291
517.23/518.83	c #Conflicts:     367000 | #Constraints:      28291
517.23/518.83	c #Conflicts:     368000 | #Constraints:      29291
517.23/518.83	c #Conflicts:     369000 | #Constraints:      30291
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     370000 | #Constraints:      19294
517.23/518.83	c #Conflicts:     371000 | #Constraints:      20294
517.23/518.83	c #Conflicts:     372000 | #Constraints:      21294
517.23/518.83	c #Conflicts:     373000 | #Constraints:      22294
517.23/518.83	c #Conflicts:     374000 | #Constraints:      23294
517.23/518.83	c #Conflicts:     375000 | #Constraints:      24294
517.23/518.83	c #Conflicts:     376000 | #Constraints:      25294
517.23/518.83	c #Conflicts:     377000 | #Constraints:      26294
517.23/518.83	c #Conflicts:     378000 | #Constraints:      27294
517.23/518.83	c #Conflicts:     379000 | #Constraints:      28294
517.23/518.83	c #Conflicts:     380000 | #Constraints:      29294
517.23/518.83	c #Conflicts:     381000 | #Constraints:      30294
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     382000 | #Constraints:      19097
517.23/518.83	c #Conflicts:     383000 | #Constraints:      20097
517.23/518.83	c #Conflicts:     384000 | #Constraints:      21097
517.23/518.83	c #Conflicts:     385000 | #Constraints:      22097
517.23/518.83	c #Conflicts:     386000 | #Constraints:      23097
517.23/518.83	c #Conflicts:     387000 | #Constraints:      24097
517.23/518.83	c #Conflicts:     388000 | #Constraints:      25097
517.23/518.83	c #Conflicts:     389000 | #Constraints:      26097
517.23/518.83	c #Conflicts:     390000 | #Constraints:      27097
517.23/518.83	c #Conflicts:     391000 | #Constraints:      28097
517.23/518.83	c #Conflicts:     392000 | #Constraints:      29097
517.23/518.83	c #Conflicts:     393000 | #Constraints:      30097
517.23/518.83	c #Conflicts:     394000 | #Constraints:      31097
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     395000 | #Constraints:      19690
517.23/518.83	c #Conflicts:     396000 | #Constraints:      20690
517.23/518.83	c #Conflicts:     397000 | #Constraints:      21690
517.23/518.83	c #Conflicts:     398000 | #Constraints:      22690
517.23/518.83	c #Conflicts:     399000 | #Constraints:      23690
517.23/518.83	c #Conflicts:     400000 | #Constraints:      24690
517.23/518.83	c #Conflicts:     401000 | #Constraints:      25690
517.23/518.83	c #Conflicts:     402000 | #Constraints:      26690
517.23/518.83	c #Conflicts:     403000 | #Constraints:      27690
517.23/518.83	c #Conflicts:     404000 | #Constraints:      28690
517.23/518.83	c #Conflicts:     405000 | #Constraints:      29690
517.23/518.83	c #Conflicts:     406000 | #Constraints:      30690
517.23/518.83	c #Conflicts:     407000 | #Constraints:      31690
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     408000 | #Constraints:      20095
517.23/518.83	c #Conflicts:     409000 | #Constraints:      21095
517.23/518.83	c #Conflicts:     410000 | #Constraints:      22095
517.23/518.83	c #Conflicts:     411000 | #Constraints:      23095
517.23/518.83	c #Conflicts:     412000 | #Constraints:      24095
517.23/518.83	c #Conflicts:     413000 | #Constraints:      25095
517.23/518.83	c #Conflicts:     414000 | #Constraints:      26095
517.23/518.83	c #Conflicts:     415000 | #Constraints:      27095
517.23/518.83	c #Conflicts:     416000 | #Constraints:      28095
517.23/518.83	c #Conflicts:     417000 | #Constraints:      29095
517.23/518.83	c #Conflicts:     418000 | #Constraints:      30095
517.23/518.83	c #Conflicts:     419000 | #Constraints:      31095
517.23/518.83	c #Conflicts:     420000 | #Constraints:      32095
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     421000 | #Constraints:      20289
517.23/518.83	c #Conflicts:     422000 | #Constraints:      21289
517.23/518.83	c #Conflicts:     423000 | #Constraints:      22289
517.23/518.83	c #Conflicts:     424000 | #Constraints:      23289
517.23/518.83	c #Conflicts:     425000 | #Constraints:      24289
517.23/518.83	c #Conflicts:     426000 | #Constraints:      25289
517.23/518.83	c #Conflicts:     427000 | #Constraints:      26289
517.23/518.83	c #Conflicts:     428000 | #Constraints:      27289
517.23/518.83	c #Conflicts:     429000 | #Constraints:      28289
517.23/518.83	c #Conflicts:     430000 | #Constraints:      29289
517.23/518.83	c #Conflicts:     431000 | #Constraints:      30289
517.23/518.83	c #Conflicts:     432000 | #Constraints:      31289
517.23/518.83	c #Conflicts:     433000 | #Constraints:      32289
517.23/518.83	c INPROCESSING
517.23/518.83	c GARBAGE COLLECT
517.23/518.83	c #Conflicts:     434000 | #Constraints:      20306
517.23/518.83	c #Conflicts:     435000 | #Constraints:      21306
517.23/518.83	c #Conflicts:     436000 | #Constraints:      22306
517.23/518.83	c #Conflicts:     437000 | #Constraints:      23306
651.91/653.99	c #Conflicts:     438000 | #Constraints:      24306
651.91/653.99	c #Conflicts:     439000 | #Constraints:      25306
651.91/653.99	c #Conflicts:     440000 | #Constraints:      26306
651.91/653.99	c #Conflicts:     441000 | #Constraints:      27306
651.91/653.99	c #Conflicts:     442000 | #Constraints:      28306
651.91/653.99	c #Conflicts:     443000 | #Constraints:      29306
651.91/653.99	c #Conflicts:     444000 | #Constraints:      30306
651.91/653.99	c #Conflicts:     445000 | #Constraints:      31306
651.91/653.99	c #Conflicts:     446000 | #Constraints:      32306
651.91/653.99	c INPROCESSING
651.91/653.99	c GARBAGE COLLECT
651.91/653.99	c #Conflicts:     447000 | #Constraints:      20090
651.91/653.99	c #Conflicts:     448000 | #Constraints:      21090
651.91/653.99	c #Conflicts:     449000 | #Constraints:      22090
651.91/653.99	c #Conflicts:     450000 | #Constraints:      23090
651.91/653.99	c #Conflicts:     451000 | #Constraints:      24090
651.91/653.99	c #Conflicts:     452000 | #Constraints:      25090
651.91/653.99	c #Conflicts:     453000 | #Constraints:      26090
651.91/653.99	c #Conflicts:     454000 | #Constraints:      27090
651.91/653.99	c #Conflicts:     455000 | #Constraints:      28090
651.91/653.99	c #Conflicts:     456000 | #Constraints:      29090
651.91/653.99	c #Conflicts:     457000 | #Constraints:      30090
651.91/653.99	c #Conflicts:     458000 | #Constraints:      31090
651.91/653.99	c #Conflicts:     459000 | #Constraints:      32090
651.91/653.99	c #Conflicts:     460000 | #Constraints:      33090
651.91/653.99	c INPROCESSING
651.91/653.99	c GARBAGE COLLECT
651.91/653.99	c #Conflicts:     461000 | #Constraints:      20705
651.91/653.99	c #Conflicts:     462000 | #Constraints:      21705
651.91/653.99	c #Conflicts:     463000 | #Constraints:      22705
651.91/653.99	c #Conflicts:     464000 | #Constraints:      23705
651.91/653.99	c #Conflicts:     465000 | #Constraints:      24705
651.91/653.99	c #Conflicts:     466000 | #Constraints:      25705
651.91/653.99	c #Conflicts:     467000 | #Constraints:      26705
651.91/653.99	c #Conflicts:     468000 | #Constraints:      27705
651.91/653.99	c #Conflicts:     469000 | #Constraints:      28705
651.91/653.99	c #Conflicts:     470000 | #Constraints:      29705
651.91/653.99	c #Conflicts:     471000 | #Constraints:      30705
651.91/653.99	c #Conflicts:     472000 | #Constraints:      31705
651.91/653.99	c #Conflicts:     473000 | #Constraints:      32705
651.91/653.99	c #Conflicts:     474000 | #Constraints:      33705
651.91/653.99	c INPROCESSING
651.91/653.99	c GARBAGE COLLECT
651.91/653.99	c #Conflicts:     475000 | #Constraints:      21127
651.91/654.00	c #Conflicts:     476000 | #Constraints:      22127
651.91/654.00	c #Conflicts:     477000 | #Constraints:      23127
651.91/654.00	c #Conflicts:     478000 | #Constraints:      24127
651.91/654.00	c #Conflicts:     479000 | #Constraints:      25127
651.91/654.00	c #Conflicts:     480000 | #Constraints:      26127
651.91/654.00	c #Conflicts:     481000 | #Constraints:      27127
651.91/654.00	c #Conflicts:     482000 | #Constraints:      28127
651.91/654.00	c #Conflicts:     483000 | #Constraints:      29127
651.91/654.00	c #Conflicts:     484000 | #Constraints:      30127
651.91/654.00	c #Conflicts:     485000 | #Constraints:      31127
651.91/654.00	c #Conflicts:     486000 | #Constraints:      32127
651.91/654.00	c #Conflicts:     487000 | #Constraints:      33127
651.91/654.00	c #Conflicts:     488000 | #Constraints:      34127
651.91/654.00	c INPROCESSING
651.91/654.00	c GARBAGE COLLECT
651.91/654.00	c #Conflicts:     489000 | #Constraints:      21317
651.91/654.00	c #Conflicts:     490000 | #Constraints:      22317
651.91/654.00	c #Conflicts:     491000 | #Constraints:      23317
651.91/654.00	c #Conflicts:     492000 | #Constraints:      24317
651.91/654.00	c #Conflicts:     493000 | #Constraints:      25317
651.91/654.00	c #Conflicts:     494000 | #Constraints:      26317
651.91/654.00	c #Conflicts:     495000 | #Constraints:      27317
651.91/654.00	c #Conflicts:     496000 | #Constraints:      28317
651.91/654.00	c #Conflicts:     497000 | #Constraints:      29317
651.91/654.00	c #Conflicts:     498000 | #Constraints:      30317
651.91/654.00	c #Conflicts:     499000 | #Constraints:      31317
651.91/654.00	c #Conflicts:     500000 | #Constraints:      32317
651.91/654.00	c #Conflicts:     501000 | #Constraints:      33317
651.91/654.00	c #Conflicts:     502000 | #Constraints:      34317
651.91/654.00	c INPROCESSING
651.91/654.00	c GARBAGE COLLECT
651.91/654.00	c #Conflicts:     503000 | #Constraints:      21304
651.91/654.00	c #Conflicts:     504000 | #Constraints:      22304
651.91/654.00	c #Conflicts:     505000 | #Constraints:      23304
651.91/654.00	c #Conflicts:     506000 | #Constraints:      24304
651.91/654.00	c #Conflicts:     507000 | #Constraints:      25304
651.91/654.00	c #Conflicts:     508000 | #Constraints:      26304
651.91/654.00	c #Conflicts:     509000 | #Constraints:      27304
651.91/654.00	c #Conflicts:     510000 | #Constraints:      28304
651.91/654.00	c #Conflicts:     511000 | #Constraints:      29304
651.91/654.00	c #Conflicts:     512000 | #Constraints:      30304
651.91/654.00	c #Conflicts:     513000 | #Constraints:      31304
797.46/799.94	c #Conflicts:     514000 | #Constraints:      32304
797.46/799.94	c #Conflicts:     515000 | #Constraints:      33304
797.46/799.94	c #Conflicts:     516000 | #Constraints:      34304
797.46/799.94	c INPROCESSING
797.46/799.94	c GARBAGE COLLECT
797.46/799.94	c #Conflicts:     517000 | #Constraints:      21121
797.46/799.94	c #Conflicts:     518000 | #Constraints:      22121
797.46/799.94	c #Conflicts:     519000 | #Constraints:      23121
797.46/799.94	c #Conflicts:     520000 | #Constraints:      24121
797.46/799.94	c #Conflicts:     521000 | #Constraints:      25121
797.46/799.94	c #Conflicts:     522000 | #Constraints:      26121
797.46/799.94	c #Conflicts:     523000 | #Constraints:      27121
797.46/799.94	c #Conflicts:     524000 | #Constraints:      28121
797.46/799.94	c #Conflicts:     525000 | #Constraints:      29121
797.46/799.94	c #Conflicts:     526000 | #Constraints:      30121
797.46/799.94	c #Conflicts:     527000 | #Constraints:      31121
797.46/799.94	c #Conflicts:     528000 | #Constraints:      32121
797.46/799.94	c #Conflicts:     529000 | #Constraints:      33121
797.46/799.94	c #Conflicts:     530000 | #Constraints:      34121
797.46/799.94	c #Conflicts:     531000 | #Constraints:      35121
797.46/799.94	c INPROCESSING
797.46/799.94	c GARBAGE COLLECT
797.46/799.94	c #Conflicts:     532000 | #Constraints:      21722
797.46/799.94	c #Conflicts:     533000 | #Constraints:      22722
797.46/799.94	c #Conflicts:     534000 | #Constraints:      23722
797.46/799.94	c #Conflicts:     535000 | #Constraints:      24722
797.46/799.94	c #Conflicts:     536000 | #Constraints:      25722
797.46/799.94	c #Conflicts:     537000 | #Constraints:      26722
797.46/799.94	c #Conflicts:     538000 | #Constraints:      27722
797.46/799.94	c #Conflicts:     539000 | #Constraints:      28722
797.46/799.94	c #Conflicts:     540000 | #Constraints:      29722
797.46/799.94	c #Conflicts:     541000 | #Constraints:      30722
797.46/799.94	c #Conflicts:     542000 | #Constraints:      31722
797.46/799.94	c #Conflicts:     543000 | #Constraints:      32722
797.46/799.94	c #Conflicts:     544000 | #Constraints:      33722
797.46/799.94	c #Conflicts:     545000 | #Constraints:      34722
797.46/799.94	c #Conflicts:     546000 | #Constraints:      35722
797.46/799.94	c INPROCESSING
797.46/799.94	c GARBAGE COLLECT
797.46/799.94	c #Conflicts:     547000 | #Constraints:      22132
797.46/799.94	c #Conflicts:     548000 | #Constraints:      23132
797.46/799.94	c #Conflicts:     549000 | #Constraints:      24132
797.46/799.94	c #Conflicts:     550000 | #Constraints:      25132
797.46/799.94	c #Conflicts:     551000 | #Constraints:      26132
797.46/799.94	c #Conflicts:     552000 | #Constraints:      27132
797.46/799.94	c #Conflicts:     553000 | #Constraints:      28132
797.46/799.94	c #Conflicts:     554000 | #Constraints:      29132
797.46/799.94	c #Conflicts:     555000 | #Constraints:      30132
797.46/799.94	c #Conflicts:     556000 | #Constraints:      31132
797.46/799.94	c #Conflicts:     557000 | #Constraints:      32132
797.46/799.94	c #Conflicts:     558000 | #Constraints:      33132
797.46/799.94	c #Conflicts:     559000 | #Constraints:      34132
797.46/799.94	c #Conflicts:     560000 | #Constraints:      35132
797.46/799.94	c #Conflicts:     561000 | #Constraints:      36132
797.46/799.94	c INPROCESSING
797.46/799.94	c GARBAGE COLLECT
797.46/799.94	c #Conflicts:     562000 | #Constraints:      22317
797.46/799.94	c #Conflicts:     563000 | #Constraints:      23317
797.46/799.94	c #Conflicts:     564000 | #Constraints:      24317
797.46/799.94	c #Conflicts:     565000 | #Constraints:      25317
797.46/799.94	c #Conflicts:     566000 | #Constraints:      26317
797.46/799.94	c #Conflicts:     567000 | #Constraints:      27317
797.46/799.94	c #Conflicts:     568000 | #Constraints:      28317
797.46/799.94	c #Conflicts:     569000 | #Constraints:      29317
797.46/799.94	c #Conflicts:     570000 | #Constraints:      30317
797.46/799.94	c #Conflicts:     571000 | #Constraints:      31317
797.46/799.94	c #Conflicts:     572000 | #Constraints:      32317
797.46/799.94	c #Conflicts:     573000 | #Constraints:      33317
797.46/799.94	c #Conflicts:     574000 | #Constraints:      34317
797.46/799.94	c #Conflicts:     575000 | #Constraints:      35317
797.46/799.94	c #Conflicts:     576000 | #Constraints:      36317
797.46/799.94	c INPROCESSING
797.46/799.94	c GARBAGE COLLECT
797.46/799.94	c #Conflicts:     577000 | #Constraints:      22308
797.46/799.94	c #Conflicts:     578000 | #Constraints:      23308
797.46/799.94	c #Conflicts:     579000 | #Constraints:      24308
797.46/799.94	c #Conflicts:     580000 | #Constraints:      25308
797.46/799.94	c #Conflicts:     581000 | #Constraints:      26308
797.46/799.94	c #Conflicts:     582000 | #Constraints:      27308
797.46/799.94	c #Conflicts:     583000 | #Constraints:      28308
797.46/799.94	c #Conflicts:     584000 | #Constraints:      29308
797.46/799.94	c #Conflicts:     585000 | #Constraints:      30308
797.46/799.94	c #Conflicts:     586000 | #Constraints:      31308
797.46/799.94	c #Conflicts:     587000 | #Constraints:      32308
797.46/799.94	c #Conflicts:     588000 | #Constraints:      33308
1062.84/1066.02	c #Conflicts:     589000 | #Constraints:      34308
1062.84/1066.02	c #Conflicts:     590000 | #Constraints:      35308
1062.84/1066.02	c #Conflicts:     591000 | #Constraints:      36308
1062.84/1066.02	c INPROCESSING
1062.84/1066.02	c GARBAGE COLLECT
1062.84/1066.02	c #Conflicts:     592000 | #Constraints:      22102
1062.84/1066.02	c #Conflicts:     593000 | #Constraints:      23102
1062.84/1066.02	c #Conflicts:     594000 | #Constraints:      24102
1062.84/1066.02	c #Conflicts:     595000 | #Constraints:      25102
1062.84/1066.02	c #Conflicts:     596000 | #Constraints:      26102
1062.84/1066.02	c #Conflicts:     597000 | #Constraints:      27102
1062.84/1066.02	c #Conflicts:     598000 | #Constraints:      28102
1062.84/1066.02	c #Conflicts:     599000 | #Constraints:      29102
1062.84/1066.02	c #Conflicts:     600000 | #Constraints:      30102
1062.84/1066.02	c #Conflicts:     601000 | #Constraints:      31102
1062.84/1066.02	c #Conflicts:     602000 | #Constraints:      32102
1062.84/1066.02	c #Conflicts:     603000 | #Constraints:      33102
1062.84/1066.02	c #Conflicts:     604000 | #Constraints:      34102
1062.84/1066.02	c #Conflicts:     605000 | #Constraints:      35102
1062.84/1066.02	c #Conflicts:     606000 | #Constraints:      36102
1062.84/1066.02	c #Conflicts:     607000 | #Constraints:      37102
1062.84/1066.02	c INPROCESSING
1062.84/1066.02	c GARBAGE COLLECT
1062.84/1066.02	c #Conflicts:     608000 | #Constraints:      22701
1062.84/1066.02	c #Conflicts:     609000 | #Constraints:      23701
1062.84/1066.02	c #Conflicts:     610000 | #Constraints:      24701
1062.84/1066.02	c #Conflicts:     611000 | #Constraints:      25701
1062.84/1066.02	c #Conflicts:     612000 | #Constraints:      26701
1062.84/1066.02	c #Conflicts:     613000 | #Constraints:      27701
1062.84/1066.02	c #Conflicts:     614000 | #Constraints:      28701
1062.84/1066.02	c #Conflicts:     615000 | #Constraints:      29701
1062.84/1066.02	c #Conflicts:     616000 | #Constraints:      30701
1062.84/1066.02	c #Conflicts:     617000 | #Constraints:      31701
1062.84/1066.02	c #Conflicts:     618000 | #Constraints:      32701
1062.84/1066.02	c #Conflicts:     619000 | #Constraints:      33701
1062.84/1066.02	c #Conflicts:     620000 | #Constraints:      34701
1062.84/1066.02	c #Conflicts:     621000 | #Constraints:      35701
1062.84/1066.02	c #Conflicts:     622000 | #Constraints:      36701
1062.84/1066.02	c #Conflicts:     623000 | #Constraints:      37701
1062.84/1066.02	c #Conflicts:     624000 | #Constraints:      38701
1062.84/1066.02	c #Conflicts:     625000 | #Constraints:      39701
1062.84/1066.02	c #Conflicts:     626000 | #Constraints:      40701
1062.84/1066.02	c #Conflicts:     627000 | #Constraints:      41701
1062.84/1066.02	c #Conflicts:     628000 | #Constraints:      42701
1062.84/1066.02	c #Conflicts:     629000 | #Constraints:      43701
1062.84/1066.02	c #Conflicts:     630000 | #Constraints:      44701
1062.84/1066.02	c #Conflicts:     631000 | #Constraints:      45701
1062.84/1066.02	c #Conflicts:     632000 | #Constraints:      46701
1062.84/1066.02	c #Conflicts:     633000 | #Constraints:      47701
1062.84/1066.02	c #Conflicts:     634000 | #Constraints:      48701
1062.84/1066.02	c #Conflicts:     635000 | #Constraints:      49701
1062.84/1066.02	c #Conflicts:     636000 | #Constraints:      50701
1062.84/1066.02	c #Conflicts:     637000 | #Constraints:      51701
1062.84/1066.02	c #Conflicts:     638000 | #Constraints:      52701
1062.84/1066.02	c #Conflicts:     639000 | #Constraints:      53701
1062.84/1066.02	c #Conflicts:     640000 | #Constraints:      54701
1062.84/1066.02	c #Conflicts:     641000 | #Constraints:      55701
1062.84/1066.02	c #Conflicts:     642000 | #Constraints:      56701
1062.84/1066.02	c #Conflicts:     643000 | #Constraints:      57701
1062.84/1066.02	c #Conflicts:     644000 | #Constraints:      58701
1062.84/1066.02	c #Conflicts:     645000 | #Constraints:      59701
1062.84/1066.02	c #Conflicts:     646000 | #Constraints:      60701
1062.84/1066.02	c #Conflicts:     647000 | #Constraints:      61701
1062.84/1066.02	c #Conflicts:     648000 | #Constraints:      62701
1062.84/1066.02	c #Conflicts:     649000 | #Constraints:      63701
1062.84/1066.02	c #Conflicts:     650000 | #Constraints:      64701
1062.84/1066.02	c #Conflicts:     651000 | #Constraints:      65701
1062.84/1066.02	c #Conflicts:     652000 | #Constraints:      66701
1062.84/1066.02	c #Conflicts:     653000 | #Constraints:      67701
1062.84/1066.02	c #Conflicts:     654000 | #Constraints:      68701
1062.84/1066.02	c #Conflicts:     655000 | #Constraints:      69701
1062.84/1066.02	c #Conflicts:     656000 | #Constraints:      70701
1062.84/1066.02	c #Conflicts:     657000 | #Constraints:      71701
1062.84/1066.02	c #Conflicts:     658000 | #Constraints:      72701
1062.84/1066.02	c #Conflicts:     659000 | #Constraints:      73701
1062.84/1066.02	c #Conflicts:     660000 | #Constraints:      74701
1062.84/1066.02	c #Conflicts:     661000 | #Constraints:      75701
1062.84/1066.02	c #Conflicts:     662000 | #Constraints:      76701
1062.84/1066.02	c #Conflicts:     663000 | #Constraints:      77701
1062.84/1066.02	c #Conflicts:     664000 | #Constraints:      78701
1062.84/1066.02	c #Conflicts:     665000 | #Constraints:      79701
1062.84/1066.02	c #Conflicts:     666000 | #Constraints:      80701
1445.72/1450.18	c #Conflicts:     667000 | #Constraints:      81701
1445.72/1450.18	c #Conflicts:     668000 | #Constraints:      82701
1445.72/1450.18	c #Conflicts:     669000 | #Constraints:      83701
1445.72/1450.18	c #Conflicts:     670000 | #Constraints:      84701
1445.72/1450.18	c #Conflicts:     671000 | #Constraints:      85701
1445.72/1450.18	c #Conflicts:     672000 | #Constraints:      86701
1445.72/1450.18	c #Conflicts:     673000 | #Constraints:      87701
1445.72/1450.18	c #Conflicts:     674000 | #Constraints:      88701
1445.72/1450.18	c #Conflicts:     675000 | #Constraints:      89701
1445.72/1450.18	c #Conflicts:     676000 | #Constraints:      90701
1445.72/1450.18	c #Conflicts:     677000 | #Constraints:      91701
1445.72/1450.18	c #Conflicts:     678000 | #Constraints:      92701
1445.72/1450.18	c #Conflicts:     679000 | #Constraints:      93701
1445.72/1450.18	c #Conflicts:     680000 | #Constraints:      94701
1445.72/1450.18	c #Conflicts:     681000 | #Constraints:      95701
1445.72/1450.18	c #Conflicts:     682000 | #Constraints:      96701
1445.72/1450.18	c #Conflicts:     683000 | #Constraints:      97701
1445.72/1450.18	c #Conflicts:     684000 | #Constraints:      98701
1445.72/1450.18	c #Conflicts:     685000 | #Constraints:      99701
1445.72/1450.18	c #Conflicts:     686000 | #Constraints:     100701
1445.72/1450.18	c INPROCESSING
1445.72/1450.18	c GARBAGE COLLECT
1445.72/1450.18	c #Conflicts:     687000 | #Constraints:      54664
1445.72/1450.18	c #Conflicts:     688000 | #Constraints:      55664
1445.72/1450.18	c #Conflicts:     689000 | #Constraints:      56664
1445.72/1450.18	c #Conflicts:     690000 | #Constraints:      57664
1445.72/1450.18	c #Conflicts:     691000 | #Constraints:      58664
1445.72/1450.18	c #Conflicts:     692000 | #Constraints:      59664
1445.72/1450.18	c #Conflicts:     693000 | #Constraints:      60664
1445.72/1450.18	c #Conflicts:     694000 | #Constraints:      61664
1445.72/1450.18	c #Conflicts:     695000 | #Constraints:      62664
1445.72/1450.18	c #Conflicts:     696000 | #Constraints:      63664
1445.72/1450.18	c #Conflicts:     697000 | #Constraints:      64664
1445.72/1450.18	c #Conflicts:     698000 | #Constraints:      65664
1445.72/1450.18	c #Conflicts:     699000 | #Constraints:      66664
1445.72/1450.18	c #Conflicts:     700000 | #Constraints:      67664
1445.72/1450.18	c #Conflicts:     701000 | #Constraints:      68664
1445.72/1450.18	c #Conflicts:     702000 | #Constraints:      69664
1445.72/1450.18	c INPROCESSING
1445.72/1450.18	c GARBAGE COLLECT
1445.72/1450.18	c #Conflicts:     703000 | #Constraints:      38676
1445.72/1450.18	c #Conflicts:     704000 | #Constraints:      39676
1445.72/1450.18	c #Conflicts:     705000 | #Constraints:      40676
1445.72/1450.18	c #Conflicts:     706000 | #Constraints:      41676
1445.72/1450.18	c #Conflicts:     707000 | #Constraints:      42676
1445.72/1450.18	c #Conflicts:     708000 | #Constraints:      43676
1445.72/1450.18	c #Conflicts:     709000 | #Constraints:      44676
1445.72/1450.18	c #Conflicts:     710000 | #Constraints:      45676
1445.72/1450.18	c #Conflicts:     711000 | #Constraints:      46676
1445.72/1450.18	c #Conflicts:     712000 | #Constraints:      47676
1445.72/1450.18	c #Conflicts:     713000 | #Constraints:      48676
1445.72/1450.18	c #Conflicts:     714000 | #Constraints:      49676
1445.72/1450.18	c #Conflicts:     715000 | #Constraints:      50676
1445.72/1450.18	c #Conflicts:     716000 | #Constraints:      51676
1445.72/1450.18	c #Conflicts:     717000 | #Constraints:      52676
1445.72/1450.18	c #Conflicts:     718000 | #Constraints:      53676
1445.72/1450.18	c #Conflicts:     719000 | #Constraints:      54676
1445.72/1450.18	c #Conflicts:     720000 | #Constraints:      55676
1445.72/1450.18	c INPROCESSING
1445.72/1450.18	c GARBAGE COLLECT
1445.72/1450.18	c #Conflicts:     721000 | #Constraints:      32109
1445.72/1450.18	c #Conflicts:     722000 | #Constraints:      33109
1445.72/1450.18	c #Conflicts:     723000 | #Constraints:      34109
1445.72/1450.18	c #Conflicts:     724000 | #Constraints:      35109
1445.72/1450.18	c #Conflicts:     725000 | #Constraints:      36109
1445.72/1450.18	c #Conflicts:     726000 | #Constraints:      37109
1445.72/1450.18	c #Conflicts:     727000 | #Constraints:      38109
1445.72/1450.18	c #Conflicts:     728000 | #Constraints:      39109
1445.72/1450.18	c #Conflicts:     729000 | #Constraints:      40109
1445.72/1450.18	c #Conflicts:     730000 | #Constraints:      41109
1445.72/1450.18	c #Conflicts:     731000 | #Constraints:      42109
1445.72/1450.18	c #Conflicts:     732000 | #Constraints:      43109
1445.72/1450.18	c #Conflicts:     733000 | #Constraints:      44109
1445.72/1450.18	c #Conflicts:     734000 | #Constraints:      45109
1445.72/1450.18	c #Conflicts:     735000 | #Constraints:      46109
1445.72/1450.18	c #Conflicts:     736000 | #Constraints:      47109
1445.72/1450.18	c #Conflicts:     737000 | #Constraints:      48109
1445.72/1450.18	c INPROCESSING
1445.72/1450.18	c GARBAGE COLLECT
1445.72/1450.18	c #Conflicts:     738000 | #Constraints:      28173
1445.72/1450.18	c #Conflicts:     739000 | #Constraints:      29173
1445.72/1450.18	c #Conflicts:     740000 | #Constraints:      30173
1445.72/1450.18	c #Conflicts:     741000 | #Constraints:      31173
1445.72/1450.18	c #Conflicts:     742000 | #Constraints:      32173
1728.20/1733.50	c #Conflicts:     743000 | #Constraints:      33173
1728.20/1733.50	c #Conflicts:     744000 | #Constraints:      34173
1728.20/1733.50	c #Conflicts:     745000 | #Constraints:      35173
1728.20/1733.50	c #Conflicts:     746000 | #Constraints:      36173
1728.20/1733.50	c #Conflicts:     747000 | #Constraints:      37173
1728.20/1733.50	c #Conflicts:     748000 | #Constraints:      38173
1728.20/1733.50	c #Conflicts:     749000 | #Constraints:      39173
1728.20/1733.50	c #Conflicts:     750000 | #Constraints:      40173
1728.20/1733.50	c #Conflicts:     751000 | #Constraints:      41173
1728.20/1733.50	c #Conflicts:     752000 | #Constraints:      42173
1728.20/1733.50	c #Conflicts:     753000 | #Constraints:      43173
1728.20/1733.50	c #Conflicts:     754000 | #Constraints:      44173
1728.20/1733.50	c INPROCESSING
1728.20/1733.50	c GARBAGE COLLECT
1728.20/1733.50	c #Conflicts:     755000 | #Constraints:      25944
1728.20/1733.50	c #Conflicts:     756000 | #Constraints:      26944
1728.20/1733.50	c #Conflicts:     757000 | #Constraints:      27944
1728.20/1733.50	c #Conflicts:     758000 | #Constraints:      28944
1728.20/1733.50	c #Conflicts:     759000 | #Constraints:      29944
1728.20/1733.50	c #Conflicts:     760000 | #Constraints:      30944
1728.20/1733.50	c #Conflicts:     761000 | #Constraints:      31944
1728.20/1733.50	c #Conflicts:     762000 | #Constraints:      32944
1728.20/1733.50	c #Conflicts:     763000 | #Constraints:      33944
1728.20/1733.50	c #Conflicts:     764000 | #Constraints:      34944
1728.20/1733.50	c #Conflicts:     765000 | #Constraints:      35944
1728.20/1733.50	c #Conflicts:     766000 | #Constraints:      36944
1728.20/1733.50	c #Conflicts:     767000 | #Constraints:      37944
1728.20/1733.50	c #Conflicts:     768000 | #Constraints:      38944
1728.20/1733.50	c #Conflicts:     769000 | #Constraints:      39944
1728.20/1733.50	c #Conflicts:     770000 | #Constraints:      40944
1728.20/1733.50	c #Conflicts:     771000 | #Constraints:      41944
1728.20/1733.50	c #Conflicts:     772000 | #Constraints:      42944
1728.20/1733.50	c INPROCESSING
1728.20/1733.50	c GARBAGE COLLECT
1728.20/1733.50	c #Conflicts:     773000 | #Constraints:      25479
1728.20/1733.50	c #Conflicts:     774000 | #Constraints:      26479
1728.20/1733.50	c #Conflicts:     775000 | #Constraints:      27479
1728.20/1733.50	c #Conflicts:     776000 | #Constraints:      28479
1728.20/1733.50	c #Conflicts:     777000 | #Constraints:      29479
1728.20/1733.50	c #Conflicts:     778000 | #Constraints:      30479
1728.20/1733.50	c #Conflicts:     779000 | #Constraints:      31479
1728.20/1733.50	c #Conflicts:     780000 | #Constraints:      32479
1728.20/1733.50	c #Conflicts:     781000 | #Constraints:      33479
1728.20/1733.50	c #Conflicts:     782000 | #Constraints:      34479
1728.20/1733.50	c #Conflicts:     783000 | #Constraints:      35479
1728.20/1733.50	c #Conflicts:     784000 | #Constraints:      36479
1728.20/1733.50	c #Conflicts:     785000 | #Constraints:      37479
1728.20/1733.50	c #Conflicts:     786000 | #Constraints:      38479
1728.20/1733.50	c #Conflicts:     787000 | #Constraints:      39479
1728.20/1733.50	c #Conflicts:     788000 | #Constraints:      40479
1728.20/1733.50	c #Conflicts:     789000 | #Constraints:      41479
1728.20/1733.50	c #Conflicts:     790000 | #Constraints:      42479
1728.20/1733.50	c #Conflicts:     791000 | #Constraints:      43479
1728.20/1733.50	c #Conflicts:     792000 | #Constraints:      44479
1728.20/1733.50	c #Conflicts:     793000 | #Constraints:      45479
1728.20/1733.50	c #Conflicts:     794000 | #Constraints:      46479
1728.20/1733.50	c #Conflicts:     795000 | #Constraints:      47479
1728.20/1733.50	c #Conflicts:     796000 | #Constraints:      48479
1728.20/1733.50	c #Conflicts:     797000 | #Constraints:      49479
1728.20/1733.50	c #Conflicts:     798000 | #Constraints:      50479
1728.20/1733.50	c #Conflicts:     799000 | #Constraints:      51479
1728.20/1733.50	c #Conflicts:     800000 | #Constraints:      52479
1728.20/1733.50	c #Conflicts:     801000 | #Constraints:      53479
1728.20/1733.50	c #Conflicts:     802000 | #Constraints:      54479
1728.20/1733.50	c #Conflicts:     803000 | #Constraints:      55479
1728.20/1733.50	c #Conflicts:     804000 | #Constraints:      56479
1728.20/1733.50	c #Conflicts:     805000 | #Constraints:      57479
1728.20/1733.50	c #Conflicts:     806000 | #Constraints:      58479
1728.20/1733.50	c #Conflicts:     807000 | #Constraints:      59479
1728.20/1733.50	c #Conflicts:     808000 | #Constraints:      60479
1728.20/1733.50	c #Conflicts:     809000 | #Constraints:      61479
1728.20/1733.50	c #Conflicts:     810000 | #Constraints:      62479
1728.20/1733.50	c #Conflicts:     811000 | #Constraints:      63479
1728.20/1733.50	c #Conflicts:     812000 | #Constraints:      64479
1728.20/1733.50	c #Conflicts:     813000 | #Constraints:      65479
1728.20/1733.50	c #Conflicts:     814000 | #Constraints:      66479
1728.20/1733.50	c #Conflicts:     815000 | #Constraints:      67479
1728.20/1733.50	c #Conflicts:     816000 | #Constraints:      68479
1728.20/1733.50	c #Conflicts:     817000 | #Constraints:      69479
1728.20/1733.50	c #Conflicts:     818000 | #Constraints:      70479
1728.20/1733.50	c #Conflicts:     819000 | #Constraints:      71479
1728.20/1733.50	c #Conflicts:     820000 | #Constraints:      72479
2250.76/2257.81	c #Conflicts:     821000 | #Constraints:      73479
2250.76/2257.81	c #Conflicts:     822000 | #Constraints:      74479
2250.76/2257.81	c #Conflicts:     823000 | #Constraints:      75479
2250.76/2257.81	c #Conflicts:     824000 | #Constraints:      76479
2250.76/2257.81	c #Conflicts:     825000 | #Constraints:      77479
2250.76/2257.81	c #Conflicts:     826000 | #Constraints:      78479
2250.76/2257.81	c #Conflicts:     827000 | #Constraints:      79479
2250.76/2257.81	c #Conflicts:     828000 | #Constraints:      80479
2250.76/2257.81	c #Conflicts:     829000 | #Constraints:      81479
2250.76/2257.81	c #Conflicts:     830000 | #Constraints:      82479
2250.76/2257.81	c #Conflicts:     831000 | #Constraints:      83479
2250.76/2257.81	c #Conflicts:     832000 | #Constraints:      84479
2250.76/2257.81	c #Conflicts:     833000 | #Constraints:      85479
2250.76/2257.81	c #Conflicts:     834000 | #Constraints:      86479
2250.76/2257.81	c #Conflicts:     835000 | #Constraints:      87479
2250.76/2257.81	c #Conflicts:     836000 | #Constraints:      88479
2250.76/2257.81	c #Conflicts:     837000 | #Constraints:      89479
2250.76/2257.81	c #Conflicts:     838000 | #Constraints:      90479
2250.76/2257.81	c #Conflicts:     839000 | #Constraints:      91479
2250.76/2257.81	c #Conflicts:     840000 | #Constraints:      92479
2250.76/2257.81	c #Conflicts:     841000 | #Constraints:      93479
2250.76/2257.81	c #Conflicts:     842000 | #Constraints:      94479
2250.76/2257.81	c #Conflicts:     843000 | #Constraints:      95479
2250.76/2257.81	c #Conflicts:     844000 | #Constraints:      96479
2250.76/2257.81	c #Conflicts:     845000 | #Constraints:      97479
2250.76/2257.81	c #Conflicts:     846000 | #Constraints:      98479
2250.76/2257.81	c #Conflicts:     847000 | #Constraints:      99479
2250.76/2257.81	c #Conflicts:     848000 | #Constraints:     100479
2250.76/2257.81	c #Conflicts:     849000 | #Constraints:     101479
2250.76/2257.81	c #Conflicts:     850000 | #Constraints:     102479
2250.76/2257.81	c #Conflicts:     851000 | #Constraints:     103479
2250.76/2257.81	c #Conflicts:     852000 | #Constraints:     104479
2250.76/2257.81	c #Conflicts:     853000 | #Constraints:     105479
2250.76/2257.81	c #Conflicts:     854000 | #Constraints:     106479
2250.76/2257.81	c #Conflicts:     855000 | #Constraints:     107479
2250.76/2257.81	c #Conflicts:     856000 | #Constraints:     108479
2250.76/2257.81	c #Conflicts:     857000 | #Constraints:     109479
2250.76/2257.81	c #Conflicts:     858000 | #Constraints:     110479
2250.76/2257.81	c INPROCESSING
2250.76/2257.81	c GARBAGE COLLECT
2250.76/2257.81	c #Conflicts:     859000 | #Constraints:      59139
2250.76/2257.81	c #Conflicts:     860000 | #Constraints:      60139
2250.76/2257.81	c #Conflicts:     861000 | #Constraints:      61139
2250.76/2257.81	c #Conflicts:     862000 | #Constraints:      62139
2250.76/2257.81	c #Conflicts:     863000 | #Constraints:      63139
2250.76/2257.81	c #Conflicts:     864000 | #Constraints:      64139
2250.76/2257.81	c #Conflicts:     865000 | #Constraints:      65139
2250.76/2257.81	c #Conflicts:     866000 | #Constraints:      66139
2250.76/2257.81	c #Conflicts:     867000 | #Constraints:      67139
2250.76/2257.81	c #Conflicts:     868000 | #Constraints:      68139
2250.76/2257.81	c #Conflicts:     869000 | #Constraints:      69139
2250.76/2257.81	c #Conflicts:     870000 | #Constraints:      70139
2250.76/2257.81	c #Conflicts:     871000 | #Constraints:      71139
2250.76/2257.81	c #Conflicts:     872000 | #Constraints:      72139
2250.76/2257.81	c #Conflicts:     873000 | #Constraints:      73139
2250.76/2257.81	c #Conflicts:     874000 | #Constraints:      74139
2250.76/2257.81	c #Conflicts:     875000 | #Constraints:      75139
2250.76/2257.81	c #Conflicts:     876000 | #Constraints:      76139
2250.76/2257.81	c #Conflicts:     877000 | #Constraints:      77139
2250.76/2257.81	c INPROCESSING
2250.76/2257.81	c GARBAGE COLLECT
2250.76/2257.81	c #Conflicts:     878000 | #Constraints:      42487
2250.76/2257.81	c #Conflicts:     879000 | #Constraints:      43487
2250.76/2257.81	c #Conflicts:     880000 | #Constraints:      44487
2250.76/2257.81	c #Conflicts:     881000 | #Constraints:      45487
2250.76/2257.81	c #Conflicts:     882000 | #Constraints:      46487
2250.76/2257.81	c #Conflicts:     883000 | #Constraints:      47487
2250.76/2257.81	c #Conflicts:     884000 | #Constraints:      48487
2250.76/2257.81	c #Conflicts:     885000 | #Constraints:      49487
2250.76/2257.81	c #Conflicts:     886000 | #Constraints:      50487
2250.76/2257.81	c #Conflicts:     887000 | #Constraints:      51487
2250.76/2257.81	c #Conflicts:     888000 | #Constraints:      52487
2250.76/2257.81	c #Conflicts:     889000 | #Constraints:      53487
2250.76/2257.81	c #Conflicts:     890000 | #Constraints:      54487
2250.76/2257.81	c #Conflicts:     891000 | #Constraints:      55487
2250.76/2257.81	c #Conflicts:     892000 | #Constraints:      56487
2250.76/2257.81	c #Conflicts:     893000 | #Constraints:      57487
2250.76/2257.81	c #Conflicts:     894000 | #Constraints:      58487
2250.76/2257.81	c #Conflicts:     895000 | #Constraints:      59487
2250.76/2257.81	c #Conflicts:     896000 | #Constraints:      60487
2250.76/2257.81	c #Conflicts:     897000 | #Constraints:      61487
2534.27/2542.13	c INPROCESSING
2534.27/2542.13	c GARBAGE COLLECT
2534.27/2542.13	c #Conflicts:     898000 | #Constraints:      35023
2534.27/2542.13	c #Conflicts:     899000 | #Constraints:      36023
2534.27/2542.13	c #Conflicts:     900000 | #Constraints:      37023
2534.27/2542.13	c #Conflicts:     901000 | #Constraints:      38023
2534.27/2542.13	c #Conflicts:     902000 | #Constraints:      39023
2534.27/2542.13	c #Conflicts:     903000 | #Constraints:      40023
2534.27/2542.13	c #Conflicts:     904000 | #Constraints:      41023
2534.27/2542.13	c #Conflicts:     905000 | #Constraints:      42023
2534.27/2542.13	c #Conflicts:     906000 | #Constraints:      43023
2534.27/2542.13	c #Conflicts:     907000 | #Constraints:      44023
2534.27/2542.13	c #Conflicts:     908000 | #Constraints:      45023
2534.27/2542.13	c #Conflicts:     909000 | #Constraints:      46023
2534.27/2542.13	c #Conflicts:     910000 | #Constraints:      47023
2534.27/2542.13	c #Conflicts:     911000 | #Constraints:      48023
2534.27/2542.13	c #Conflicts:     912000 | #Constraints:      49023
2534.27/2542.13	c #Conflicts:     913000 | #Constraints:      50023
2534.27/2542.13	c #Conflicts:     914000 | #Constraints:      51023
2534.27/2542.13	c #Conflicts:     915000 | #Constraints:      52023
2534.27/2542.13	c #Conflicts:     916000 | #Constraints:      53023
2534.27/2542.13	c INPROCESSING
2534.27/2542.13	c GARBAGE COLLECT
2534.27/2542.13	c #Conflicts:     917000 | #Constraints:      30593
2534.27/2542.13	c #Conflicts:     918000 | #Constraints:      31593
2534.27/2542.13	c #Conflicts:     919000 | #Constraints:      32593
2534.27/2542.13	c #Conflicts:     920000 | #Constraints:      33593
2534.27/2542.13	c #Conflicts:     921000 | #Constraints:      34593
2534.27/2542.13	c #Conflicts:     922000 | #Constraints:      35593
2534.27/2542.13	c #Conflicts:     923000 | #Constraints:      36593
2534.27/2542.13	c #Conflicts:     924000 | #Constraints:      37593
2534.27/2542.13	c #Conflicts:     925000 | #Constraints:      38593
2534.27/2542.13	c #Conflicts:     926000 | #Constraints:      39593
2534.27/2542.13	c #Conflicts:     927000 | #Constraints:      40593
2534.27/2542.13	c #Conflicts:     928000 | #Constraints:      41593
2534.27/2542.13	c #Conflicts:     929000 | #Constraints:      42593
2534.27/2542.13	c #Conflicts:     930000 | #Constraints:      43593
2534.27/2542.13	c #Conflicts:     931000 | #Constraints:      44593
2534.27/2542.13	c #Conflicts:     932000 | #Constraints:      45593
2534.27/2542.13	c #Conflicts:     933000 | #Constraints:      46593
2534.27/2542.13	c #Conflicts:     934000 | #Constraints:      47593
2534.27/2542.13	c #Conflicts:     935000 | #Constraints:      48593
2534.27/2542.13	c #Conflicts:     936000 | #Constraints:      49593
2534.27/2542.13	c INPROCESSING
2534.27/2542.13	c GARBAGE COLLECT
2534.27/2542.13	c #Conflicts:     937000 | #Constraints:      29074
2534.27/2542.13	c #Conflicts:     938000 | #Constraints:      30074
2534.27/2542.13	c #Conflicts:     939000 | #Constraints:      31074
2534.27/2542.13	c #Conflicts:     940000 | #Constraints:      32074
2534.27/2542.13	c #Conflicts:     941000 | #Constraints:      33074
2534.27/2542.13	c #Conflicts:     942000 | #Constraints:      34074
2534.27/2542.13	c #Conflicts:     943000 | #Constraints:      35074
2534.27/2542.13	c #Conflicts:     944000 | #Constraints:      36074
2534.27/2542.13	c #Conflicts:     945000 | #Constraints:      37074
2534.27/2542.13	c #Conflicts:     946000 | #Constraints:      38074
2534.27/2542.13	c #Conflicts:     947000 | #Constraints:      39074
2534.27/2542.13	c #Conflicts:     948000 | #Constraints:      40074
2534.27/2542.13	c #Conflicts:     949000 | #Constraints:      41074
2534.27/2542.13	c #Conflicts:     950000 | #Constraints:      42074
2534.27/2542.13	c #Conflicts:     951000 | #Constraints:      43074
2534.27/2542.13	c #Conflicts:     952000 | #Constraints:      44074
2534.27/2542.13	c #Conflicts:     953000 | #Constraints:      45074
2534.27/2542.13	c #Conflicts:     954000 | #Constraints:      46074
2534.27/2542.13	c #Conflicts:     955000 | #Constraints:      47074
2534.27/2542.13	c #Conflicts:     956000 | #Constraints:      48074
2534.27/2542.13	c #Conflicts:     957000 | #Constraints:      49074
2534.27/2542.13	c #Conflicts:     958000 | #Constraints:      50074
2534.27/2542.13	c #Conflicts:     959000 | #Constraints:      51074
2534.27/2542.13	c #Conflicts:     960000 | #Constraints:      52074
2534.27/2542.13	c #Conflicts:     961000 | #Constraints:      53074
2534.27/2542.13	c #Conflicts:     962000 | #Constraints:      54074
2534.27/2542.13	c #Conflicts:     963000 | #Constraints:      55074
2534.27/2542.13	c #Conflicts:     964000 | #Constraints:      56074
2534.27/2542.13	c #Conflicts:     965000 | #Constraints:      57074
2534.27/2542.13	c #Conflicts:     966000 | #Constraints:      58074
2534.27/2542.13	c #Conflicts:     967000 | #Constraints:      59074
2534.27/2542.13	c #Conflicts:     968000 | #Constraints:      60074
2534.27/2542.13	c #Conflicts:     969000 | #Constraints:      61074
2534.27/2542.13	c #Conflicts:     970000 | #Constraints:      62074
2534.27/2542.13	c #Conflicts:     971000 | #Constraints:      63074
2534.27/2542.13	c #Conflicts:     972000 | #Constraints:      64074
2534.27/2542.13	c #Conflicts:     973000 | #Constraints:      65074
2534.27/2542.13	c #Conflicts:     974000 | #Constraints:      66074
3103.65/3112.92	c #Conflicts:     975000 | #Constraints:      67074
3103.65/3112.92	c #Conflicts:     976000 | #Constraints:      68074
3103.65/3112.92	c #Conflicts:     977000 | #Constraints:      69074
3103.65/3112.92	c #Conflicts:     978000 | #Constraints:      70074
3103.65/3112.92	c #Conflicts:     979000 | #Constraints:      71074
3103.65/3112.92	c #Conflicts:     980000 | #Constraints:      72074
3103.65/3112.92	c #Conflicts:     981000 | #Constraints:      73074
3103.65/3112.92	c #Conflicts:     982000 | #Constraints:      74074
3103.65/3112.92	c #Conflicts:     983000 | #Constraints:      75074
3103.65/3112.92	c #Conflicts:     984000 | #Constraints:      76074
3103.65/3112.92	c #Conflicts:     985000 | #Constraints:      77074
3103.65/3112.92	c #Conflicts:     986000 | #Constraints:      78074
3103.65/3112.92	c #Conflicts:     987000 | #Constraints:      79074
3103.65/3112.92	c #Conflicts:     988000 | #Constraints:      80074
3103.65/3112.92	c #Conflicts:     989000 | #Constraints:      81074
3103.65/3112.92	c #Conflicts:     990000 | #Constraints:      82074
3103.65/3112.92	c #Conflicts:     991000 | #Constraints:      83074
3103.65/3112.92	c #Conflicts:     992000 | #Constraints:      84074
3103.65/3112.92	c #Conflicts:     993000 | #Constraints:      85074
3103.65/3112.92	c #Conflicts:     994000 | #Constraints:      86074
3103.65/3112.92	c #Conflicts:     995000 | #Constraints:      87074
3103.65/3112.92	c #Conflicts:     996000 | #Constraints:      88074
3103.65/3112.92	c #Conflicts:     997000 | #Constraints:      89074
3103.65/3112.92	c #Conflicts:     998000 | #Constraints:      90074
3103.65/3112.92	c #Conflicts:     999000 | #Constraints:      91074
3103.65/3112.92	c #Conflicts:    1000000 | #Constraints:      92074
3103.65/3112.92	c #Conflicts:    1001000 | #Constraints:      93074
3103.65/3112.92	c #Conflicts:    1002000 | #Constraints:      94074
3103.65/3112.92	c #Conflicts:    1003000 | #Constraints:      95074
3103.65/3112.92	c #Conflicts:    1004000 | #Constraints:      96074
3103.65/3112.92	c #Conflicts:    1005000 | #Constraints:      97074
3103.65/3112.92	c #Conflicts:    1006000 | #Constraints:      98074
3103.65/3112.92	c #Conflicts:    1007000 | #Constraints:      99074
3103.65/3112.92	c #Conflicts:    1008000 | #Constraints:     100074
3103.65/3112.92	c #Conflicts:    1009000 | #Constraints:     101074
3103.65/3112.92	c #Conflicts:    1010000 | #Constraints:     102074
3103.65/3112.92	c #Conflicts:    1011000 | #Constraints:     103074
3103.65/3112.92	c #Conflicts:    1012000 | #Constraints:     104074
3103.65/3112.92	c #Conflicts:    1013000 | #Constraints:     105074
3103.65/3112.92	c #Conflicts:    1014000 | #Constraints:     106074
3103.65/3112.92	c #Conflicts:    1015000 | #Constraints:     107074
3103.65/3112.92	c #Conflicts:    1016000 | #Constraints:     108074
3103.65/3112.92	c #Conflicts:    1017000 | #Constraints:     109074
3103.65/3112.92	c #Conflicts:    1018000 | #Constraints:     110074
3103.65/3112.92	c #Conflicts:    1019000 | #Constraints:     111074
3103.65/3112.92	c #Conflicts:    1020000 | #Constraints:     112074
3103.65/3112.92	c #Conflicts:    1021000 | #Constraints:     113074
3103.65/3112.92	c #Conflicts:    1022000 | #Constraints:     114074
3103.65/3112.92	c #Conflicts:    1023000 | #Constraints:     115074
3103.65/3112.92	c #Conflicts:    1024000 | #Constraints:     116074
3103.65/3112.92	c #Conflicts:    1025000 | #Constraints:     117074
3103.65/3112.92	c #Conflicts:    1026000 | #Constraints:     118074
3103.65/3112.92	c #Conflicts:    1027000 | #Constraints:     119074
3103.65/3112.92	c #Conflicts:    1028000 | #Constraints:     120074
3103.65/3112.92	c INPROCESSING
3103.65/3112.92	c GARBAGE COLLECT
3103.65/3112.92	c #Conflicts:    1029000 | #Constraints:      64020
3103.65/3112.92	c #Conflicts:    1030000 | #Constraints:      65020
3103.65/3112.92	c #Conflicts:    1031000 | #Constraints:      66020
3103.65/3112.92	c #Conflicts:    1032000 | #Constraints:      67020
3103.65/3112.92	c #Conflicts:    1033000 | #Constraints:      68020
3103.65/3112.92	c #Conflicts:    1034000 | #Constraints:      69020
3103.65/3112.92	c #Conflicts:    1035000 | #Constraints:      70020
3103.65/3112.92	c #Conflicts:    1036000 | #Constraints:      71020
3103.65/3112.92	c #Conflicts:    1037000 | #Constraints:      72020
3103.65/3112.92	c #Conflicts:    1038000 | #Constraints:      73020
3103.65/3112.92	c #Conflicts:    1039000 | #Constraints:      74020
3103.65/3112.92	c #Conflicts:    1040000 | #Constraints:      75020
3103.65/3112.92	c #Conflicts:    1041000 | #Constraints:      76020
3103.65/3112.92	c #Conflicts:    1042000 | #Constraints:      77020
3103.65/3112.92	c #Conflicts:    1043000 | #Constraints:      78020
3103.65/3112.92	c #Conflicts:    1044000 | #Constraints:      79020
3103.65/3112.92	c #Conflicts:    1045000 | #Constraints:      80020
3103.65/3112.92	c #Conflicts:    1046000 | #Constraints:      81020
3103.65/3112.92	c #Conflicts:    1047000 | #Constraints:      82020
3103.65/3112.92	c #Conflicts:    1048000 | #Constraints:      83020
3103.65/3112.92	c #Conflicts:    1049000 | #Constraints:      84020
3103.65/3112.92	c INPROCESSING
3103.65/3112.92	c GARBAGE COLLECT
3103.65/3112.92	c #Conflicts:    1050000 | #Constraints:      46001
3103.65/3112.92	c #Conflicts:    1051000 | #Constraints:      47001
3103.65/3112.92	c #Conflicts:    1052000 | #Constraints:      48001
3406.40/3416.46	c #Conflicts:    1053000 | #Constraints:      49001
3406.40/3416.46	c #Conflicts:    1054000 | #Constraints:      50001
3406.40/3416.46	c #Conflicts:    1055000 | #Constraints:      51001
3406.40/3416.46	c #Conflicts:    1056000 | #Constraints:      52001
3406.40/3416.46	c #Conflicts:    1057000 | #Constraints:      53001
3406.40/3416.46	c #Conflicts:    1058000 | #Constraints:      54001
3406.40/3416.46	c #Conflicts:    1059000 | #Constraints:      55001
3406.40/3416.46	c #Conflicts:    1060000 | #Constraints:      56001
3406.40/3416.46	c #Conflicts:    1061000 | #Constraints:      57001
3406.40/3416.46	c #Conflicts:    1062000 | #Constraints:      58001
3406.40/3416.46	c #Conflicts:    1063000 | #Constraints:      59001
3406.40/3416.46	c #Conflicts:    1064000 | #Constraints:      60001
3406.40/3416.46	c #Conflicts:    1065000 | #Constraints:      61001
3406.40/3416.46	c #Conflicts:    1066000 | #Constraints:      62001
3406.40/3416.46	c #Conflicts:    1067000 | #Constraints:      63001
3406.40/3416.46	c #Conflicts:    1068000 | #Constraints:      64001
3406.40/3416.46	c #Conflicts:    1069000 | #Constraints:      65001
3406.40/3416.46	c #Conflicts:    1070000 | #Constraints:      66001
3406.40/3416.46	c INPROCESSING
3406.40/3416.46	c GARBAGE COLLECT
3406.40/3416.46	c #Conflicts:    1071000 | #Constraints:      36919
3406.40/3416.46	c #Conflicts:    1072000 | #Constraints:      37919
3406.40/3416.46	c #Conflicts:    1073000 | #Constraints:      38919
3406.40/3416.46	c #Conflicts:    1074000 | #Constraints:      39919
3406.40/3416.46	c #Conflicts:    1075000 | #Constraints:      40919
3406.40/3416.46	c #Conflicts:    1076000 | #Constraints:      41919
3406.40/3416.46	c #Conflicts:    1077000 | #Constraints:      42919
3406.40/3416.46	c #Conflicts:    1078000 | #Constraints:      43919
3406.40/3416.46	c #Conflicts:    1079000 | #Constraints:      44919
3406.40/3416.46	c #Conflicts:    1080000 | #Constraints:      45919
3406.40/3416.46	c #Conflicts:    1081000 | #Constraints:      46919
3406.40/3416.46	c #Conflicts:    1082000 | #Constraints:      47919
3406.40/3416.46	c #Conflicts:    1083000 | #Constraints:      48919
3406.40/3416.46	c #Conflicts:    1084000 | #Constraints:      49919
3406.40/3416.46	c #Conflicts:    1085000 | #Constraints:      50919
3406.40/3416.46	c #Conflicts:    1086000 | #Constraints:      51919
3406.40/3416.46	c #Conflicts:    1087000 | #Constraints:      52919
3406.40/3416.46	c #Conflicts:    1088000 | #Constraints:      53919
3406.40/3416.46	c #Conflicts:    1089000 | #Constraints:      54919
3406.40/3416.46	c #Conflicts:    1090000 | #Constraints:      55919
3406.40/3416.46	c #Conflicts:    1091000 | #Constraints:      56919
3406.40/3416.46	c #Conflicts:    1092000 | #Constraints:      57919
3406.40/3416.46	c INPROCESSING
3406.40/3416.46	c GARBAGE COLLECT
3406.40/3416.46	c #Conflicts:    1093000 | #Constraints:      33236
3406.40/3416.46	c #Conflicts:    1094000 | #Constraints:      34236
3406.40/3416.46	c #Conflicts:    1095000 | #Constraints:      35236
3406.40/3416.46	c #Conflicts:    1096000 | #Constraints:      36236
3406.40/3416.46	c #Conflicts:    1097000 | #Constraints:      37236
3406.40/3416.46	c #Conflicts:    1098000 | #Constraints:      38236
3406.40/3416.46	c #Conflicts:    1099000 | #Constraints:      39236
3406.40/3416.46	c #Conflicts:    1100000 | #Constraints:      40236
3406.40/3416.46	c #Conflicts:    1101000 | #Constraints:      41236
3406.40/3416.46	c #Conflicts:    1102000 | #Constraints:      42236
3406.40/3416.46	c #Conflicts:    1103000 | #Constraints:      43236
3406.40/3416.46	c #Conflicts:    1104000 | #Constraints:      44236
3406.40/3416.46	c #Conflicts:    1105000 | #Constraints:      45236
3406.40/3416.46	c #Conflicts:    1106000 | #Constraints:      46236
3406.40/3416.46	c #Conflicts:    1107000 | #Constraints:      47236
3406.40/3416.46	c #Conflicts:    1108000 | #Constraints:      48236
3406.40/3416.46	c #Conflicts:    1109000 | #Constraints:      49236
3406.40/3416.46	c #Conflicts:    1110000 | #Constraints:      50236
3406.40/3416.46	c #Conflicts:    1111000 | #Constraints:      51236
3406.40/3416.46	c #Conflicts:    1112000 | #Constraints:      52236
3406.40/3416.46	c #Conflicts:    1113000 | #Constraints:      53236
3406.40/3416.46	c INPROCESSING
3406.40/3416.46	c GARBAGE COLLECT
3406.40/3416.46	c #Conflicts:    1114000 | #Constraints:      30625
3406.40/3416.46	c #Conflicts:    1115000 | #Constraints:      31625
3406.40/3416.46	c #Conflicts:    1116000 | #Constraints:      32625
3406.40/3416.46	c #Conflicts:    1117000 | #Constraints:      33625
3406.40/3416.46	c #Conflicts:    1118000 | #Constraints:      34625
3406.40/3416.46	c #Conflicts:    1119000 | #Constraints:      35625
3406.40/3416.46	c #Conflicts:    1120000 | #Constraints:      36625
3406.40/3416.46	c #Conflicts:    1121000 | #Constraints:      37625
3406.40/3416.46	c #Conflicts:    1122000 | #Constraints:      38625
3406.40/3416.46	c #Conflicts:    1123000 | #Constraints:      39625
3406.40/3416.46	c #Conflicts:    1124000 | #Constraints:      40625
3406.40/3416.46	c #Conflicts:    1125000 | #Constraints:      41625
3406.40/3416.46	c #Conflicts:    1126000 | #Constraints:      42625
3406.40/3416.46	c #Conflicts:    1127000 | #Constraints:      43625
3406.40/3416.46	c #Conflicts:    1128000 | #Constraints:      44625
3600.03/3610.50	c #Conflicts:    1129000 | #Constraints:      45625
3600.03/3610.50	c #Conflicts:    1130000 | #Constraints:      46625
3600.03/3610.50	c #Conflicts:    1131000 | #Constraints:      47625
3600.03/3610.50	c #Conflicts:    1132000 | #Constraints:      48625
3600.03/3610.50	c #Conflicts:    1133000 | #Constraints:      49625
3600.03/3610.50	c #Conflicts:    1134000 | #Constraints:      50625
3600.03/3610.50	c #Conflicts:    1135000 | #Constraints:      51625
3600.03/3610.50	c #Conflicts:    1136000 | #Constraints:      52625
3600.03/3610.50	c #Conflicts:    1137000 | #Constraints:      53625
3600.03/3610.50	c #Conflicts:    1138000 | #Constraints:      54625
3600.03/3610.50	c #Conflicts:    1139000 | #Constraints:      55625
3600.03/3610.50	c #Conflicts:    1140000 | #Constraints:      56625
3600.03/3610.50	c #Conflicts:    1141000 | #Constraints:      57625
3600.03/3610.50	c #Conflicts:    1142000 | #Constraints:      58625
3600.03/3610.50	c #Conflicts:    1143000 | #Constraints:      59625
3600.03/3610.50	c #Conflicts:    1144000 | #Constraints:      60625
3600.03/3610.50	c #Conflicts:    1145000 | #Constraints:      61625
3600.03/3610.50	c #Conflicts:    1146000 | #Constraints:      62625
3600.03/3610.50	c #Conflicts:    1147000 | #Constraints:      63625
3600.03/3610.50	c #Conflicts:    1148000 | #Constraints:      64625
3600.03/3610.50	c #Conflicts:    1149000 | #Constraints:      65625
3600.03/3610.50	c #Conflicts:    1150000 | #Constraints:      66625
3600.03/3610.50	c #Conflicts:    1151000 | #Constraints:      67625
3600.03/3610.50	c #Conflicts:    1152000 | #Constraints:      68625
3600.03/3610.50	c #Conflicts:    1153000 | #Constraints:      69625
3600.03/3610.50	c #Conflicts:    1154000 | #Constraints:      70625
3600.03/3610.50	c #Conflicts:    1155000 | #Constraints:      71625
3600.03/3610.50	c #Conflicts:    1156000 | #Constraints:      72625
3600.03/3610.50	c #Conflicts:    1157000 | #Constraints:      73625
3600.03/3610.50	c #Conflicts:    1158000 | #Constraints:      74625
3600.03/3610.50	c #Conflicts:    1159000 | #Constraints:      75625
3600.03/3610.50	c #Conflicts:    1160000 | #Constraints:      76625
3600.03/3610.50	c #Conflicts:    1161000 | #Constraints:      77625
3600.03/3610.50	c #Conflicts:    1162000 | #Constraints:      78625
3600.03/3610.50	c #Conflicts:    1163000 | #Constraints:      79625
3600.03/3610.50	c #Conflicts:    1164000 | #Constraints:      80625
3600.03/3610.50	c #Conflicts:    1165000 | #Constraints:      81625
3600.03/3610.50	c #Conflicts:    1166000 | #Constraints:      82625
3600.03/3610.50	c Program interrupted by user.
3600.03/3610.50	c cpu time 3587.34 s
3600.03/3610.50	c deterministic time 345952630162 3.46e+11
3600.03/3610.50	c optimization time 232.089 s
3600.03/3610.50	c total solve time 3355.03 s
3600.03/3610.50	c core-guided solve time 3355.03 s
3600.03/3610.50	c propagation time 3448.43 s
3600.03/3610.50	c conflict analysis time 118.451 s
3600.03/3610.50	c propagations 637984096
3600.03/3610.50	c resolve steps 4481349
3600.03/3610.50	c decisions 7084821
3600.03/3610.50	c conflicts 1166073
3600.03/3610.50	c restarts 2173
3600.03/3610.50	c inprocessing phases 85
3600.03/3610.50	c input clauses 1
3600.03/3610.50	c input cardinalities 0
3600.03/3610.50	c input general constraints 6383
3600.03/3610.50	c input average constraint length 29.25
3600.03/3610.50	c input average constraint degree 444.55
3600.03/3610.50	c learned clauses 356743
3600.03/3610.50	c learned cardinalities 1
3600.03/3610.50	c learned general constraints 809329
3600.03/3610.50	c learned average constraint length 40.97
3600.03/3610.50	c learned average constraint degree 599723.79
3600.03/3610.50	c watched constraints 813932
3600.03/3610.50	c counting constraints 1780
3600.03/3610.50	c gcd simplifications 11635
3600.03/3610.50	c detected cardinalities 1
3600.03/3610.50	c weakened non-implied lits 4598045
3600.03/3610.50	c weakened non-implying lits 1318
3600.03/3610.50	c original variables 3296
3600.03/3610.50	c clausal propagations 540567
3600.03/3610.50	c cardinality propagations 0
3600.03/3610.50	c watched propagations 619648897
3600.03/3610.50	c counting propagations 17146191
3600.03/3610.50	c watch lookups 67518489627
3600.03/3610.50	c watch backjump lookups 64561869748
3600.03/3610.50	c watch checks 122504124597
3600.03/3610.50	c propagation checks 89913638222
3600.03/3610.50	c constraint additions 163204712
3600.03/3610.50	c trail pops 646234338
3600.03/3610.50	c formula constraints 6384
3600.03/3610.50	c learned constraints 1166073
3600.03/3610.50	c bound constraints 0
3600.03/3610.50	c core-guided constraints 0
3600.03/3610.50	c encountered formula constraints 4320677
3600.03/3610.50	c encountered learned constraints 1326745
3600.03/3610.50	c encountered bound constraints 0
3600.03/3610.50	c encountered core-guided constraints 0
3600.03/3610.50	c LP total time 0 s
3600.03/3610.50	c LP solve time 0 s
3600.03/3610.50	c LP constraints added 0
3600.03/3610.50	c LP constraints removed 0
3600.03/3610.50	c LP pivots internal 0
3600.03/3610.50	c LP pivots root 0
3600.03/3610.50	c LP calls 0
3600.03/3610.50	c LP optimalities 0
3600.03/3610.50	c LP no pivot count 0
3600.03/3610.50	c LP infeasibilities 0
3600.03/3610.50	c LP valid Farkas constraints 0
3600.03/3610.50	c LP learned Farkas constraints 0
3600.03/3610.50	c LP basis resets 0
3600.03/3610.50	c LP cycling count 0
3600.03/3610.50	c LP singular count 0
3600.03/3610.50	c LP no primal count 0
3600.03/3610.50	c LP no farkas count 0
3600.03/3610.50	c LP other issue count 0
3600.03/3610.50	c LP Gomory cuts 0
3600.03/3610.50	c LP learned cuts 0
3600.03/3610.50	c LP deleted cuts 0
3600.03/3610.50	c LP encountered Gomory constraints 0
3600.03/3610.50	c LP encountered Farkas constraints 0
3600.03/3610.50	c LP encountered learned Farkas constraints 0
3600.03/3610.50	c CG auxiliary variables introduced 0
3600.03/3610.50	c CG solutions found 0
3600.03/3610.50	c CG cores constructed 0
3600.03/3610.50	c CG core cardinality constraints returned 0
3600.03/3610.50	c CG unit cores 0
3600.03/3610.50	c CG single cores 0
3600.03/3610.50	c CG blocks removed during cardinality reduction 0
3600.03/3610.50	c CG first core best 0
3600.03/3610.50	c CG decision core best 0
3600.03/3610.50	c CG core reduction tie 0
3600.03/3610.50	c CG core degree average 0.00
3600.03/3610.50	c CG core slack average 0.00
3600.03/3610.50	c CG exhausted 0
3600.03/3610.50	c CG exhaust time 0 s
3600.03/3610.50	c CG trimmed 0
3600.03/3610.50	c CG trim time 0 s
3600.03/3610.50	c CG minimized 0
3600.03/3610.50	c CG minimize time 0 s
3600.03/3610.50	c CG am1 prop time 0.000499 s
3600.03/3610.50	c CG # am1s reformulated 0
3600.03/3610.50	c CG lower bound derived from am1s 0
3600.03/3610.50	c CG # clausal cores 0
3600.03/3610.50	c CG # cardinality cores 0
3600.03/3610.50	c CG # pb cores 0
3600.03/3610.50	c CG # pb reforms 0
3600.03/3610.50	c CG # cores discarded because of pb reform 0
3600.03/3610.50	d LOWERBOUND 0
3600.03/3610.50	d NCORES 0
3600.03/3610.50	d NPBCORES 0
3600.03/3610.50	d NPBREFORM 0
3600.03/3610.50	d NTRIMMED 0
3600.03/3610.50	d NEXHAUSTED 0
3600.03/3610.50	d NAM1S 0
3600.03/3610.50	d AM1LB 0
3600.03/3610.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454324-1721471651/watcher-4454324-1721471651 -o /tmp/evaluation-result-4454324-1721471651/solver-4454324-1721471651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760 pb-oll-rs HOME/instance-4454324-1721471651.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100109 s]*
/proc/loadavg: 1.13 1.17 1.36 6/243 1051995
/proc/meminfo: memFree=128372324/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=39648 memory=6544 CPUtime=0.1 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 659 0 0 0 9 1 0 0 20 0 1 0 199322010 40599552 1636 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 9912 1636 1188 291 0 1446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39648 KiB
Current children cumulated memory: 6544 KiB

[startup+0.21299 s]*
/proc/loadavg: 1.13 1.17 1.36 4/240 1052003
/proc/meminfo: memFree=128365948/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=39916 memory=9112 CPUtime=0.22 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 745 0 0 0 20 2 0 0 20 0 1 0 199322010 40873984 2278 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 9979 2278 1188 291 0 1513 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 39916 KiB
Current children cumulated memory: 9112 KiB

[startup+0.31296 s]*
/proc/loadavg: 1.13 1.17 1.36 4/242 1052009
/proc/meminfo: memFree=128359032/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=41672 memory=11672 CPUtime=0.32 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1197 0 0 0 30 2 0 0 20 0 1 0 199322010 42672128 2918 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10418 2918 1378 291 0 1952 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 11672 KiB

[startup+0.700289 s]
/proc/loadavg: 1.13 1.17 1.36 4/239 1052026
/proc/meminfo: memFree=128358500/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=41672 memory=11672 CPUtime=0.69 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1199 0 0 0 66 3 0 0 20 0 1 0 199322010 42672128 2918 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10418 2918 1378 291 0 1952 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41672 KiB
Current children cumulated memory: 11672 KiB

[startup+1.50028 s]
/proc/loadavg: 1.13 1.17 1.36 5/240 1052071
/proc/meminfo: memFree=128352268/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=42536 memory=12200 CPUtime=1.49 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1363 0 0 0 144 5 0 0 20 0 1 0 199322010 43556864 3050 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10634 3050 1378 291 0 2168 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 12200 KiB

[startup+3.11282 s]
/proc/loadavg: 1.13 1.17 1.36 5/245 1052179
/proc/meminfo: memFree=128331992/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=43128 memory=13444 CPUtime=3.09 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1599 0 0 0 301 8 0 0 20 0 1 0 199322010 44163072 3361 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10782 3361 1440 291 0 2316 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 13444 KiB

[startup+6.30029 s]
/proc/loadavg: 1.36 1.22 1.38 5/245 1052363
/proc/meminfo: memFree=128313880/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=43428 memory=14144 CPUtime=6.27 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1777 0 0 0 614 13 0 0 20 0 1 0 199322010 44470272 3536 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10857 3536 1440 291 0 2391 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43428 KiB
Current children cumulated memory: 14144 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.27 1.39 5/245 1052365
/proc/meminfo: memFree=128235676/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=43912 memory=14924 CPUtime=12.66 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 1985 0 0 0 1243 23 0 0 20 0 1 0 199322010 44965888 3731 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 10978 3731 1440 291 0 2512 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43912 KiB
Current children cumulated memory: 14924 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 1.40 1.43 5/245 1052413
/proc/meminfo: memFree=128098520/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=47840 memory=16656 CPUtime=25.42 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 2540 0 0 0 2504 38 0 0 20 0 1 0 199322010 48988160 4164 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 11960 4164 1440 291 0 3494 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47840 KiB
Current children cumulated memory: 16656 KiB

[startup+51.1126 s]
/proc/loadavg: 2.76 1.61 1.50 5/245 1052418
/proc/meminfo: memFree=127905892/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=48752 memory=18596 CPUtime=50.96 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 3284 0 0 0 5030 66 0 0 20 0 1 0 199322010 49922048 4649 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 12188 4649 1440 291 0 3722 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 18596 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 2.00 1.64 5/243 1052426
/proc/meminfo: memFree=127697876/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=49756 memory=20696 CPUtime=102 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 4069 0 0 0 10087 113 0 0 20 0 1 0 199322010 50950144 5174 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 12439 5174 1440 291 0 3973 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 20696 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.41 1.81 5/243 1052436
/proc/meminfo: memFree=127627840/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=55656 memory=22768 CPUtime=161.82 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 4762 0 0 0 16018 164 0 0 20 0 1 0 199322010 56991744 5692 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 13914 5692 1440 291 0 5448 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 55656 KiB
Current children cumulated memory: 22768 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.72 1.95 5/243 1052447
/proc/meminfo: memFree=127594200/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=56724 memory=25824 CPUtime=221.64 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 5192 0 0 0 21953 211 0 0 20 0 1 0 199322010 58085376 6456 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 14181 6456 1440 291 0 5715 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 56724 KiB
Current children cumulated memory: 25824 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.95 2.08 5/243 1052457
/proc/meminfo: memFree=127557716/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=57076 memory=26208 CPUtime=281.45 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 5410 0 0 0 27888 257 0 0 20 0 1 0 199322010 58445824 6552 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 14269 6552 1440 291 0 5803 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 57076 KiB
Current children cumulated memory: 26208 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.18 2.22 5/241 1052467
/proc/meminfo: memFree=127551960/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=57536 memory=26692 CPUtime=341.27 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 5647 0 0 0 33826 301 0 0 20 0 1 0 199322010 58916864 6673 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 14384 6673 1440 291 0 5918 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 57536 KiB
Current children cumulated memory: 26692 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.34 2.34 5/243 1052528
/proc/meminfo: memFree=128059604/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=57928 memory=29112 CPUtime=401.08 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 5830 0 0 0 39766 342 0 0 20 0 1 0 199322010 59318272 7278 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 14482 7278 1440 291 0 6016 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 29112 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.45 5/243 1052583
/proc/meminfo: memFree=127987856/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=58764 memory=29884 CPUtime=460.91 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 6111 0 0 0 45708 383 0 0 20 0 1 0 199322010 60174336 7471 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 14691 7471 1440 291 0 6225 0

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

Current children cumulated memory: 80016 KiB

[startup+2922.3 s]
/proc/loadavg: 4.31 4.42 4.20 5/243 1053788
/proc/meminfo: memFree=123931124/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=122480 memory=82712 CPUtime=2913.52 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 14706 0 0 0 290225 1127 0 0 20 0 1 0 199322010 125419520 20678 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 30620 20678 1440 291 0 22154 0
Current children cumulated CPU time: 2913.52 s
Current children cumulated vsize: 122480 KiB
Current children cumulated memory: 82712 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.35 4.19 5/243 1053798
/proc/meminfo: memFree=123929336/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=123760 memory=83592 CPUtime=2973.38 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15265 0 0 0 296203 1135 0 0 20 0 1 0 199322010 126730240 20898 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 30940 20898 1440 291 0 22474 0
Current children cumulated CPU time: 2973.38 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 83592 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.32 4.18 5/243 1053810
/proc/meminfo: memFree=123912800/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=123760 memory=83592 CPUtime=3033.23 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15294 0 0 0 302177 1146 0 0 20 0 1 0 199322010 126730240 20898 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 30940 20898 1440 291 0 22474 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 83592 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.32 4.19 5/243 1054202
/proc/meminfo: memFree=123893844/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=125084 memory=84572 CPUtime=3093.08 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15608 0 0 0 308154 1154 0 0 20 0 1 0 199322010 128086016 21143 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31271 21143 1440 291 0 22805 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 125084 KiB
Current children cumulated memory: 84572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.29 4.18 5/242 1054212
/proc/meminfo: memFree=123874536/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=123760 memory=83592 CPUtime=3152.92 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15633 0 0 0 314127 1165 0 0 20 0 1 0 199322010 126730240 20898 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 30940 20898 1440 291 0 22474 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 83592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.26 4.18 5/242 1054223
/proc/meminfo: memFree=123848776/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=83904 CPUtime=3212.79 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15762 0 0 0 320101 1178 0 0 20 0 1 0 199322010 127332352 20976 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 20976 1440 291 0 22621 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 83904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.24 4.18 5/244 1054403
/proc/meminfo: memFree=123792652/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=83904 CPUtime=3272.63 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15787 0 0 0 326073 1190 0 0 20 0 1 0 199322010 127332352 20976 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 20976 1440 291 0 22621 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 83904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/244 1054413
/proc/meminfo: memFree=123620220/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3332.49 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15824 0 0 0 332043 1206 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.24 4.18 5/246 1054482
/proc/meminfo: memFree=123569696/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3392.34 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15848 0 0 0 338009 1225 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/245 1054492
/proc/meminfo: memFree=123277816/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3452.19 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15875 0 0 0 343978 1241 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.30 4.23 4.19 5/245 1054502
/proc/meminfo: memFree=123249696/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3512.04 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15903 0 0 0 349951 1253 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.64 4.36 4.23 5/243 1054512
/proc/meminfo: memFree=123218500/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3571.9 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15933 0 0 0 355925 1265 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.46 4.34 4.23 5/237 1054553
/proc/meminfo: memFree=123208844/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3600.03 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15933 0 0 0 358734 1269 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.35 s, system=12.6959 s

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

[startup+3610.5 s]
/proc/loadavg: 4.46 4.34 4.23 5/237 1054553
/proc/meminfo: memFree=123208844/131655788 swapFree=131071996/131071996
[pid=1051994] ppid=1051991 vsize=124348 memory=84052 CPUtime=3600.03 cores=4,6
/proc/1051994/stat : 1051994 (pb-oll-rs) R 1051991 1051994 1051920 0 -1 4194304 15933 0 0 0 358734 1269 0 0 20 0 1 0 199322010 127332352 21013 134679101440 4194304 5384485 140730306334416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 14848000 140730306339861 140730306339938 140730306339938 140730306346955 0
/proc/1051994/statm: 31087 21013 1440 291 0 22621 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 84052 KiB

Child status: 0

Real time (s): 3610.5
CPU time (s): 3600.04
CPU user time (s): 3587.35
CPU system time (s): 12.6959
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 125228
Max. memory (cumulated for all children) (KiB): 84824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.35
system time used= 12.6959
maximum resident set size= 84824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15948
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= 27
involuntary context switches= 1844


# summary of solver processes directly reported to runsolver:
#   pid: 1051994
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3587.35
#   total CPU system time (s): 12.6959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8506 second user time and 33.8825 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-20 12:34:23
IDJOB=4454324
IDBENCH=147690
IDSOLVER=3082
FILE ID=nodeC012/4454324-1721471651
RUNJOBID= nodeC012-1721471663-1051931
SLURM_JOB_ID= 7545738
Free space on /tmp= 723768 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454324-1721471651/watcher-4454324-1721471651 -o /tmp/evaluation-result-4454324-1721471651/solver-4454324-1721471651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051931 --watchdog 3760  pb-oll-rs HOME/instance-4454324-1721471651.opb

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

MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=1558781067

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128370824 kB
MemAvailable:   129909924 kB
Buffers:          559724 kB
Cached:          1822964 kB
SwapCached:            0 kB
Active:          1132592 kB
Inactive:        1594084 kB
Active(anon):       1376 kB
Inactive(anon):   388536 kB
Active(file):    1131216 kB
Inactive(file):  1205548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              9740 kB
Writeback:             0 kB
AnonPages:        344212 kB
Mapped:           108588 kB
Shmem:             45896 kB
KReclaimable:      84736 kB
Slab:             187352 kB
SReclaimable:      84736 kB
SUnreclaim:       102616 kB
KernelStack:        3904 kB
PageTables:         9820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     751068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62400 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      312136 kB
DirectMap2M:    33146880 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC012 at 2024-07-20 13:34:34