Trace number 4507269

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 NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22ad? (TO) 3600.07 3658.04

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
MD5SUMdd58632d9551a3604736dadf6eadc418
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark50.6923
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4507269-1751174900.opb'
0.00/0.01	c 	read 0.39MB  (5.46ms)
0.00/0.01	c	 [cnf: #variables 6120 #clauses 6302 #duplicates 0 #arr 39277]
0.00/0.01	c output proof to 'PROOFDIR/proof-4507269-1751174900'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 1080] (6.99ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (1.24ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 30782 #edges 115274]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 3.84*10^2 #generators 7] (6.27ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.02ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=10)
0.00/0.03	c 	added predicates for 7 generators (0.03ms)
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 196 #add_vars 63]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4507269-1751174900.opb.pre'
0.00/0.03	c 	wrote 0.40MB (1.01ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   6.99ms 27.92% approx_orbits
0.00/0.03	c                   6.27ms 25.08% detect_generic
0.00/0.03	c                   5.45ms 21.80% parse
0.00/0.03	c                   3.81ms 15.21% other
0.00/0.03	c                   1.24ms  4.95% detect_special
0.00/0.03	c                   1.01ms  4.03% output
0.00/0.03	c                   0.21ms  0.84% finalize_order
0.00/0.03	c                   0.03ms  0.11% break_generic
0.00/0.03	c                   0.02ms  0.06% optimize_gens
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  25.02ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 6183 #constraints 6488
50.43/50.63	c #Conflicts:       1000 | #Constraints:       7487
50.43/50.63	c #Conflicts:       2000 | #Constraints:       8487
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:       3000 | #Constraints:       8099
50.43/50.63	c #Conflicts:       4000 | #Constraints:       9099
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:       5000 | #Constraints:       8549
50.43/50.63	c #Conflicts:       6000 | #Constraints:       9549
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:       7000 | #Constraints:       8613
50.43/50.63	c #Conflicts:       8000 | #Constraints:       9613
50.43/50.63	c #Conflicts:       9000 | #Constraints:      10613
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      10000 | #Constraints:       9354
50.43/50.63	c #Conflicts:      11000 | #Constraints:      10354
50.43/50.63	c #Conflicts:      12000 | #Constraints:      11354
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      13000 | #Constraints:       9840
50.43/50.63	c #Conflicts:      14000 | #Constraints:      10840
50.43/50.63	c #Conflicts:      15000 | #Constraints:      11840
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      16000 | #Constraints:      10090
50.43/50.63	c #Conflicts:      17000 | #Constraints:      11090
50.43/50.63	c #Conflicts:      18000 | #Constraints:      12090
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      19000 | #Constraints:      10150
50.43/50.63	c #Conflicts:      20000 | #Constraints:      11150
50.43/50.63	c #Conflicts:      21000 | #Constraints:      12150
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      22000 | #Constraints:       9979
50.43/50.63	c #Conflicts:      23000 | #Constraints:      10979
50.43/50.63	c #Conflicts:      24000 | #Constraints:      11979
50.43/50.63	c #Conflicts:      25000 | #Constraints:      12979
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      26000 | #Constraints:      10594
50.43/50.63	c #Conflicts:      27000 | #Constraints:      11594
50.43/50.63	c #Conflicts:      28000 | #Constraints:      12594
50.43/50.63	c #Conflicts:      29000 | #Constraints:      13594
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      30000 | #Constraints:      11020
50.43/50.63	c #Conflicts:      31000 | #Constraints:      12020
50.43/50.63	c #Conflicts:      32000 | #Constraints:      13020
50.43/50.63	c #Conflicts:      33000 | #Constraints:      14020
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      34000 | #Constraints:      11245
50.43/50.63	c #Conflicts:      35000 | #Constraints:      12245
50.43/50.63	c #Conflicts:      36000 | #Constraints:      13245
50.43/50.63	c #Conflicts:      37000 | #Constraints:      14245
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      38000 | #Constraints:      11268
50.43/50.63	c #Conflicts:      39000 | #Constraints:      12268
50.43/50.63	c #Conflicts:      40000 | #Constraints:      13268
50.43/50.63	c #Conflicts:      41000 | #Constraints:      14268
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      42000 | #Constraints:      11107
50.43/50.63	c #Conflicts:      43000 | #Constraints:      12107
50.43/50.63	c #Conflicts:      44000 | #Constraints:      13107
50.43/50.63	c #Conflicts:      45000 | #Constraints:      14107
50.43/50.63	c #Conflicts:      46000 | #Constraints:      15107
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      47000 | #Constraints:      11728
50.43/50.63	c #Conflicts:      48000 | #Constraints:      12728
50.43/50.63	c #Conflicts:      49000 | #Constraints:      13728
50.43/50.63	c #Conflicts:      50000 | #Constraints:      14728
50.43/50.63	c #Conflicts:      51000 | #Constraints:      15728
50.43/50.63	c INPROCESSING
50.43/50.63	c GARBAGE COLLECT
50.43/50.63	c #Conflicts:      52000 | #Constraints:      12108
50.43/50.63	c #Conflicts:      53000 | #Constraints:      13108
50.43/50.63	c #Conflicts:      54000 | #Constraints:      14108
50.43/50.63	c #Conflicts:      55000 | #Constraints:      15108
50.43/50.63	c #Conflicts:      56000 | #Constraints:      16108
50.43/50.63	c #Conflicts:      57000 | #Constraints:      17108
50.43/50.63	c #Conflicts:      58000 | #Constraints:      18108
50.43/50.63	c #Conflicts:      59000 | #Constraints:      19108
50.43/50.63	c #Conflicts:      60000 | #Constraints:      20108
50.43/50.63	c #Conflicts:      61000 | #Constraints:      21108
50.43/50.63	c #Conflicts:      62000 | #Constraints:      22108
50.43/50.63	c #Conflicts:      63000 | #Constraints:      23108
50.43/50.63	c #Conflicts:      64000 | #Constraints:      24108
50.43/50.63	c #Conflicts:      65000 | #Constraints:      25108
50.43/50.63	c #Conflicts:      66000 | #Constraints:      26108
50.43/50.63	c #Conflicts:      67000 | #Constraints:      27108
50.43/50.63	c #Conflicts:      68000 | #Constraints:      28108
50.43/50.63	c #Conflicts:      69000 | #Constraints:      29108
50.43/50.63	c #Conflicts:      70000 | #Constraints:      30108
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:      71000 | #Constraints:      19233
120.92/121.62	c #Conflicts:      72000 | #Constraints:      20233
120.92/121.62	c #Conflicts:      73000 | #Constraints:      21233
120.92/121.62	c #Conflicts:      74000 | #Constraints:      22233
120.92/121.62	c #Conflicts:      75000 | #Constraints:      23233
120.92/121.62	c #Conflicts:      76000 | #Constraints:      24233
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:      77000 | #Constraints:      16172
120.92/121.62	c #Conflicts:      78000 | #Constraints:      17172
120.92/121.62	c #Conflicts:      79000 | #Constraints:      18172
120.92/121.62	c #Conflicts:      80000 | #Constraints:      19172
120.92/121.62	c #Conflicts:      81000 | #Constraints:      20172
120.92/121.62	c #Conflicts:      82000 | #Constraints:      21172
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:      83000 | #Constraints:      14537
120.92/121.62	c #Conflicts:      84000 | #Constraints:      15537
120.92/121.62	c #Conflicts:      85000 | #Constraints:      16537
120.92/121.62	c #Conflicts:      86000 | #Constraints:      17537
120.92/121.62	c #Conflicts:      87000 | #Constraints:      18537
120.92/121.62	c #Conflicts:      88000 | #Constraints:      19537
120.92/121.62	c #Conflicts:      89000 | #Constraints:      20537
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:      90000 | #Constraints:      14473
120.92/121.62	c #Conflicts:      91000 | #Constraints:      15473
120.92/121.62	c #Conflicts:      92000 | #Constraints:      16473
120.92/121.62	c #Conflicts:      93000 | #Constraints:      17473
120.92/121.62	c #Conflicts:      94000 | #Constraints:      18473
120.92/121.62	c #Conflicts:      95000 | #Constraints:      19473
120.92/121.62	c #Conflicts:      96000 | #Constraints:      20473
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:      97000 | #Constraints:      14571
120.92/121.62	c #Conflicts:      98000 | #Constraints:      15571
120.92/121.62	c #Conflicts:      99000 | #Constraints:      16571
120.92/121.62	c #Conflicts:     100000 | #Constraints:      17571
120.92/121.62	c #Conflicts:     101000 | #Constraints:      18571
120.92/121.62	c #Conflicts:     102000 | #Constraints:      19571
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:     103000 | #Constraints:      13665
120.92/121.62	c #Conflicts:     104000 | #Constraints:      14665
120.92/121.62	c #Conflicts:     105000 | #Constraints:      15665
120.92/121.62	c #Conflicts:     106000 | #Constraints:      16665
120.92/121.62	c #Conflicts:     107000 | #Constraints:      17665
120.92/121.62	c #Conflicts:     108000 | #Constraints:      18665
120.92/121.62	c #Conflicts:     109000 | #Constraints:      19665
120.92/121.62	c #Conflicts:     110000 | #Constraints:      20665
120.92/121.62	c #Conflicts:     111000 | #Constraints:      21665
120.92/121.62	c #Conflicts:     112000 | #Constraints:      22665
120.92/121.62	c #Conflicts:     113000 | #Constraints:      23665
120.92/121.62	c #Conflicts:     114000 | #Constraints:      24665
120.92/121.62	c #Conflicts:     115000 | #Constraints:      25665
120.92/121.62	c #Conflicts:     116000 | #Constraints:      26665
120.92/121.62	c #Conflicts:     117000 | #Constraints:      27665
120.92/121.62	c #Conflicts:     118000 | #Constraints:      28665
120.92/121.62	c #Conflicts:     119000 | #Constraints:      29665
120.92/121.62	c #Conflicts:     120000 | #Constraints:      30665
120.92/121.62	c #Conflicts:     121000 | #Constraints:      31665
120.92/121.62	c #Conflicts:     122000 | #Constraints:      32665
120.92/121.62	c #Conflicts:     123000 | #Constraints:      33665
120.92/121.62	c #Conflicts:     124000 | #Constraints:      34665
120.92/121.62	c #Conflicts:     125000 | #Constraints:      35665
120.92/121.62	c #Conflicts:     126000 | #Constraints:      36665
120.92/121.62	c #Conflicts:     127000 | #Constraints:      37665
120.92/121.62	c #Conflicts:     128000 | #Constraints:      38665
120.92/121.62	c #Conflicts:     129000 | #Constraints:      39665
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:     130000 | #Constraints:      23811
120.92/121.62	c #Conflicts:     131000 | #Constraints:      24811
120.92/121.62	c #Conflicts:     132000 | #Constraints:      25811
120.92/121.62	c #Conflicts:     133000 | #Constraints:      26811
120.92/121.62	c #Conflicts:     134000 | #Constraints:      27811
120.92/121.62	c #Conflicts:     135000 | #Constraints:      28811
120.92/121.62	c #Conflicts:     136000 | #Constraints:      29811
120.92/121.62	c #Conflicts:     137000 | #Constraints:      30811
120.92/121.62	c #Conflicts:     138000 | #Constraints:      31811
120.92/121.62	c INPROCESSING
120.92/121.62	c GARBAGE COLLECT
120.92/121.62	c #Conflicts:     139000 | #Constraints:      20272
120.92/121.62	c #Conflicts:     140000 | #Constraints:      21272
120.92/121.62	c #Conflicts:     141000 | #Constraints:      22272
120.92/121.62	c #Conflicts:     142000 | #Constraints:      23272
120.92/121.62	c #Conflicts:     143000 | #Constraints:      24272
207.80/210.32	c #Conflicts:     144000 | #Constraints:      25272
207.80/210.32	c #Conflicts:     145000 | #Constraints:      26272
207.80/210.32	c #Conflicts:     146000 | #Constraints:      27272
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c #Conflicts:     147000 | #Constraints:      17868
207.80/210.32	c #Conflicts:     148000 | #Constraints:      18868
207.80/210.32	c #Conflicts:     149000 | #Constraints:      19868
207.80/210.32	c #Conflicts:     150000 | #Constraints:      20868
207.80/210.32	c #Conflicts:     151000 | #Constraints:      21868
207.80/210.32	c #Conflicts:     152000 | #Constraints:      22868
207.80/210.32	c #Conflicts:     153000 | #Constraints:      23868
207.80/210.32	c #Conflicts:     154000 | #Constraints:      24868
207.80/210.32	c #Conflicts:     155000 | #Constraints:      25868
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c #Conflicts:     156000 | #Constraints:      17364
207.80/210.32	c #Conflicts:     157000 | #Constraints:      18364
207.80/210.32	c #Conflicts:     158000 | #Constraints:      19364
207.80/210.32	c #Conflicts:     159000 | #Constraints:      20364
207.80/210.32	c #Conflicts:     160000 | #Constraints:      21364
207.80/210.32	c #Conflicts:     161000 | #Constraints:      22364
207.80/210.32	c #Conflicts:     162000 | #Constraints:      23364
207.80/210.32	c #Conflicts:     163000 | #Constraints:      24364
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c #Conflicts:     164000 | #Constraints:      16165
207.80/210.32	c #Conflicts:     165000 | #Constraints:      17165
207.80/210.32	c #Conflicts:     166000 | #Constraints:      18165
207.80/210.32	c #Conflicts:     167000 | #Constraints:      19165
207.80/210.32	c #Conflicts:     168000 | #Constraints:      20165
207.80/210.32	c #Conflicts:     169000 | #Constraints:      21165
207.80/210.32	c #Conflicts:     170000 | #Constraints:      22165
207.80/210.32	c #Conflicts:     171000 | #Constraints:      23165
207.80/210.32	c #Conflicts:     172000 | #Constraints:      24165
207.80/210.32	c #Conflicts:     173000 | #Constraints:      25165
207.80/210.32	c #Conflicts:     174000 | #Constraints:      26165
207.80/210.32	c #Conflicts:     175000 | #Constraints:      27165
207.80/210.32	c #Conflicts:     176000 | #Constraints:      28165
207.80/210.32	c #Conflicts:     177000 | #Constraints:      29165
207.80/210.32	c #Conflicts:     178000 | #Constraints:      30165
207.80/210.32	c #Conflicts:     179000 | #Constraints:      31165
207.80/210.32	c #Conflicts:     180000 | #Constraints:      32165
207.80/210.32	c #Conflicts:     181000 | #Constraints:      33165
207.80/210.32	c #Conflicts:     182000 | #Constraints:      34165
207.80/210.32	c #Conflicts:     183000 | #Constraints:      35165
207.80/210.32	c #Conflicts:     184000 | #Constraints:      36165
207.80/210.32	c #Conflicts:     185000 | #Constraints:      37165
207.80/210.32	c #Conflicts:     186000 | #Constraints:      38165
207.80/210.32	c #Conflicts:     187000 | #Constraints:      39165
207.80/210.32	c #Conflicts:     188000 | #Constraints:      40165
207.80/210.32	c #Conflicts:     189000 | #Constraints:      41165
207.80/210.32	c #Conflicts:     190000 | #Constraints:      42165
207.80/210.32	c #Conflicts:     191000 | #Constraints:      43165
207.80/210.32	c #Conflicts:     192000 | #Constraints:      44165
207.80/210.32	c #Conflicts:     193000 | #Constraints:      45165
207.80/210.32	c #Conflicts:     194000 | #Constraints:      46165
207.80/210.32	c #Conflicts:     195000 | #Constraints:      47165
207.80/210.32	c #Conflicts:     196000 | #Constraints:      48165
207.80/210.32	c #Conflicts:     197000 | #Constraints:      49165
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c #Conflicts:     198000 | #Constraints:      28955
207.80/210.32	c #Conflicts:     199000 | #Constraints:      29955
207.80/210.32	c #Conflicts:     200000 | #Constraints:      30955
207.80/210.32	c #Conflicts:     201000 | #Constraints:      31955
207.80/210.32	c #Conflicts:     202000 | #Constraints:      32955
207.80/210.32	c #Conflicts:     203000 | #Constraints:      33955
207.80/210.32	c #Conflicts:     204000 | #Constraints:      34955
207.80/210.32	c #Conflicts:     205000 | #Constraints:      35955
207.80/210.32	c #Conflicts:     206000 | #Constraints:      36955
207.80/210.32	c #Conflicts:     207000 | #Constraints:      37955
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c #Conflicts:     208000 | #Constraints:      23322
207.80/210.32	c #Conflicts:     209000 | #Constraints:      24322
207.80/210.32	c #Conflicts:     210000 | #Constraints:      25322
207.80/210.32	c #Conflicts:     211000 | #Constraints:      26322
207.80/210.32	c #Conflicts:     212000 | #Constraints:      27322
207.80/210.32	c #Conflicts:     213000 | #Constraints:      28322
207.80/210.32	c #Conflicts:     214000 | #Constraints:      29322
207.80/210.32	c #Conflicts:     215000 | #Constraints:      30322
207.80/210.32	c #Conflicts:     216000 | #Constraints:      31322
207.80/210.32	c #Conflicts:     217000 | #Constraints:      32322
207.80/210.32	c INPROCESSING
207.80/210.32	c GARBAGE COLLECT
207.80/210.32	c rational objective 92.8039
315.63/318.92	c #Conflicts:     218000 | #Constraints:      20340
315.63/318.92	c #Conflicts:     219000 | #Constraints:      21340
315.63/318.92	c #Conflicts:     220000 | #Constraints:      22340
315.63/318.92	c #Conflicts:     221000 | #Constraints:      23340
315.63/318.92	c #Conflicts:     222000 | #Constraints:      24340
315.63/318.92	c #Conflicts:     223000 | #Constraints:      25340
315.63/318.92	c #Conflicts:     224000 | #Constraints:      26340
315.63/318.92	c #Conflicts:     225000 | #Constraints:      27340
315.63/318.92	c #Conflicts:     226000 | #Constraints:      28340
315.63/318.92	c #Conflicts:     227000 | #Constraints:      29340
315.63/318.92	c #Conflicts:     228000 | #Constraints:      30340
315.63/318.92	c INPROCESSING
315.63/318.92	c GARBAGE COLLECT
315.63/318.92	c #Conflicts:     229000 | #Constraints:      19652
315.63/318.92	c #Conflicts:     230000 | #Constraints:      20652
315.63/318.92	c #Conflicts:     231000 | #Constraints:      21652
315.63/318.92	c #Conflicts:     232000 | #Constraints:      22652
315.63/318.92	c #Conflicts:     233000 | #Constraints:      23652
315.63/318.92	c #Conflicts:     234000 | #Constraints:      24652
315.63/318.92	c #Conflicts:     235000 | #Constraints:      25652
315.63/318.92	c #Conflicts:     236000 | #Constraints:      26652
315.63/318.92	c #Conflicts:     237000 | #Constraints:      27653
315.63/318.92	c #Conflicts:     238000 | #Constraints:      28653
315.63/318.92	c INPROCESSING
315.63/318.92	c GARBAGE COLLECT
315.63/318.92	c #Conflicts:     239000 | #Constraints:      18442
315.63/318.92	c #Conflicts:     240000 | #Constraints:      19442
315.63/318.92	c #Conflicts:     241000 | #Constraints:      20442
315.63/318.92	c #Conflicts:     242000 | #Constraints:      21442
315.63/318.92	c #Conflicts:     243000 | #Constraints:      22442
315.63/318.92	c #Conflicts:     244000 | #Constraints:      23442
315.63/318.92	c #Conflicts:     245000 | #Constraints:      24442
315.63/318.92	c #Conflicts:     246000 | #Constraints:      25442
315.63/318.92	c #Conflicts:     247000 | #Constraints:      26442
315.63/318.92	c #Conflicts:     248000 | #Constraints:      27442
315.63/318.92	c #Conflicts:     249000 | #Constraints:      28442
315.63/318.92	c #Conflicts:     250000 | #Constraints:      29442
315.63/318.92	c #Conflicts:     251000 | #Constraints:      30442
315.63/318.92	c #Conflicts:     252000 | #Constraints:      31442
315.63/318.92	c #Conflicts:     253000 | #Constraints:      32442
315.63/318.92	c #Conflicts:     254000 | #Constraints:      33442
315.63/318.92	c #Conflicts:     255000 | #Constraints:      34442
315.63/318.92	c #Conflicts:     256000 | #Constraints:      35442
315.63/318.92	c #Conflicts:     257000 | #Constraints:      36442
315.63/318.92	c #Conflicts:     258000 | #Constraints:      37442
315.63/318.92	c #Conflicts:     259000 | #Constraints:      38442
315.63/318.92	c #Conflicts:     260000 | #Constraints:      39442
315.63/318.92	c #Conflicts:     261000 | #Constraints:      40442
315.63/318.92	c #Conflicts:     262000 | #Constraints:      41442
315.63/318.92	c #Conflicts:     263000 | #Constraints:      42442
315.63/318.92	c #Conflicts:     264000 | #Constraints:      43442
315.63/318.92	c #Conflicts:     265000 | #Constraints:      44442
315.63/318.92	c #Conflicts:     266000 | #Constraints:      45442
315.63/318.92	c #Conflicts:     267000 | #Constraints:      46442
315.63/318.92	c #Conflicts:     268000 | #Constraints:      47442
315.63/318.92	c #Conflicts:     269000 | #Constraints:      48442
315.63/318.92	c #Conflicts:     270000 | #Constraints:      49442
315.63/318.92	c #Conflicts:     271000 | #Constraints:      50442
315.63/318.92	c #Conflicts:     272000 | #Constraints:      51442
315.63/318.92	c #Conflicts:     273000 | #Constraints:      52442
315.63/318.92	c #Conflicts:     274000 | #Constraints:      53442
315.63/318.92	c #Conflicts:     275000 | #Constraints:      54442
315.63/318.92	c #Conflicts:     276000 | #Constraints:      55442
315.63/318.92	c #Conflicts:     277000 | #Constraints:      56442
315.63/318.92	c #Conflicts:     278000 | #Constraints:      57442
315.63/318.92	c INPROCESSING
315.63/318.92	c GARBAGE COLLECT
315.63/318.92	c #Conflicts:     279000 | #Constraints:      33043
315.63/318.92	c #Conflicts:     280000 | #Constraints:      34043
315.63/318.92	c #Conflicts:     281000 | #Constraints:      35043
315.63/318.92	c #Conflicts:     282000 | #Constraints:      36043
315.63/318.92	c #Conflicts:     283000 | #Constraints:      37043
315.63/318.92	c #Conflicts:     284000 | #Constraints:      38043
315.63/318.92	c #Conflicts:     285000 | #Constraints:      39043
315.63/318.92	c #Conflicts:     286000 | #Constraints:      40043
315.63/318.92	c #Conflicts:     287000 | #Constraints:      41043
315.63/318.92	c #Conflicts:     288000 | #Constraints:      42043
315.63/318.92	c #Conflicts:     289000 | #Constraints:      43043
315.63/318.92	c #Conflicts:     290000 | #Constraints:      44043
315.63/318.92	c INPROCESSING
315.63/318.92	c GARBAGE COLLECT
315.63/318.92	c #Conflicts:     291000 | #Constraints:      26272
315.63/318.92	c #Conflicts:     292000 | #Constraints:      27272
315.63/318.92	c #Conflicts:     293000 | #Constraints:      28272
315.63/318.92	c #Conflicts:     294000 | #Constraints:      29272
411.99/421.33	c #Conflicts:     295000 | #Constraints:      30272
411.99/421.33	c #Conflicts:     296000 | #Constraints:      31272
411.99/421.33	c #Conflicts:     297000 | #Constraints:      32272
411.99/421.33	c #Conflicts:     298000 | #Constraints:      33272
411.99/421.33	c #Conflicts:     299000 | #Constraints:      34272
411.99/421.33	c #Conflicts:     300000 | #Constraints:      35272
411.99/421.33	c #Conflicts:     301000 | #Constraints:      36272
411.99/421.33	c #Conflicts:     302000 | #Constraints:      37272
411.99/421.33	c INPROCESSING
411.99/421.33	c GARBAGE COLLECT
411.99/421.33	c #Conflicts:     303000 | #Constraints:      22773
411.99/421.33	c #Conflicts:     304000 | #Constraints:      23773
411.99/421.33	c #Conflicts:     305000 | #Constraints:      24773
411.99/421.33	c #Conflicts:     306000 | #Constraints:      25773
411.99/421.33	c #Conflicts:     307000 | #Constraints:      26773
411.99/421.33	c #Conflicts:     308000 | #Constraints:      27773
411.99/421.33	c #Conflicts:     309000 | #Constraints:      28773
411.99/421.33	c #Conflicts:     310000 | #Constraints:      29773
411.99/421.33	c #Conflicts:     311000 | #Constraints:      30773
411.99/421.33	c #Conflicts:     312000 | #Constraints:      31773
411.99/421.33	c #Conflicts:     313000 | #Constraints:      32773
411.99/421.33	c #Conflicts:     314000 | #Constraints:      33773
411.99/421.33	c #Conflicts:     315000 | #Constraints:      34773
411.99/421.33	c INPROCESSING
411.99/421.33	c GARBAGE COLLECT
411.99/421.33	c #Conflicts:     316000 | #Constraints:      21855
411.99/421.33	c #Conflicts:     317000 | #Constraints:      22855
411.99/421.33	c #Conflicts:     318000 | #Constraints:      23855
411.99/421.33	c #Conflicts:     319000 | #Constraints:      24855
411.99/421.33	c #Conflicts:     320000 | #Constraints:      25855
411.99/421.33	c #Conflicts:     321000 | #Constraints:      26855
411.99/421.33	c #Conflicts:     322000 | #Constraints:      27855
411.99/421.33	c #Conflicts:     323000 | #Constraints:      28855
411.99/421.33	c #Conflicts:     324000 | #Constraints:      29855
411.99/421.33	c #Conflicts:     325000 | #Constraints:      30855
411.99/421.33	c #Conflicts:     326000 | #Constraints:      31855
411.99/421.33	c #Conflicts:     327000 | #Constraints:      32855
411.99/421.33	c INPROCESSING
411.99/421.33	c GARBAGE COLLECT
411.99/421.33	c #Conflicts:     328000 | #Constraints:      20625
411.99/421.33	c #Conflicts:     329000 | #Constraints:      21625
411.99/421.33	c #Conflicts:     330000 | #Constraints:      22625
411.99/421.33	c #Conflicts:     331000 | #Constraints:      23625
411.99/421.33	c #Conflicts:     332000 | #Constraints:      24625
411.99/421.33	c #Conflicts:     333000 | #Constraints:      25625
411.99/421.33	c #Conflicts:     334000 | #Constraints:      26625
411.99/421.33	c #Conflicts:     335000 | #Constraints:      27625
411.99/421.33	c #Conflicts:     336000 | #Constraints:      28625
411.99/421.33	c #Conflicts:     337000 | #Constraints:      29625
411.99/421.33	c #Conflicts:     338000 | #Constraints:      30625
411.99/421.33	c #Conflicts:     339000 | #Constraints:      31625
411.99/421.33	c #Conflicts:     340000 | #Constraints:      32625
411.99/421.33	c #Conflicts:     341000 | #Constraints:      33625
411.99/421.33	c #Conflicts:     342000 | #Constraints:      34625
411.99/421.33	c #Conflicts:     343000 | #Constraints:      35625
411.99/421.33	c #Conflicts:     344000 | #Constraints:      36625
411.99/421.33	c #Conflicts:     345000 | #Constraints:      37625
411.99/421.33	c #Conflicts:     346000 | #Constraints:      38625
411.99/421.33	c #Conflicts:     347000 | #Constraints:      39625
411.99/421.33	c #Conflicts:     348000 | #Constraints:      40625
411.99/421.33	c #Conflicts:     349000 | #Constraints:      41625
411.99/421.33	c #Conflicts:     350000 | #Constraints:      42625
411.99/421.33	c #Conflicts:     351000 | #Constraints:      43625
411.99/421.33	c #Conflicts:     352000 | #Constraints:      44625
411.99/421.33	c #Conflicts:     353000 | #Constraints:      45625
411.99/421.33	c #Conflicts:     354000 | #Constraints:      46625
411.99/421.33	c #Conflicts:     355000 | #Constraints:      47625
411.99/421.33	c #Conflicts:     356000 | #Constraints:      48625
411.99/421.33	c #Conflicts:     357000 | #Constraints:      49625
411.99/421.33	c #Conflicts:     358000 | #Constraints:      50625
411.99/421.33	c #Conflicts:     359000 | #Constraints:      51625
411.99/421.33	c #Conflicts:     360000 | #Constraints:      52625
411.99/421.33	c #Conflicts:     361000 | #Constraints:      53625
411.99/421.33	c #Conflicts:     362000 | #Constraints:      54625
411.99/421.33	c #Conflicts:     363000 | #Constraints:      55625
411.99/421.33	c #Conflicts:     364000 | #Constraints:      56625
411.99/421.33	c #Conflicts:     365000 | #Constraints:      57625
411.99/421.33	c #Conflicts:     366000 | #Constraints:      58625
411.99/421.33	c #Conflicts:     367000 | #Constraints:      59625
411.99/421.33	c #Conflicts:     368000 | #Constraints:      60625
411.99/421.33	c #Conflicts:     369000 | #Constraints:      61625
411.99/421.33	c #Conflicts:     370000 | #Constraints:      62625
411.99/421.33	c #Conflicts:     371000 | #Constraints:      63625
474.12/483.68	c #Conflicts:     372000 | #Constraints:      64625
474.12/483.68	c #Conflicts:     373000 | #Constraints:      65625
474.12/483.68	c INPROCESSING
474.12/483.68	c GARBAGE COLLECT
474.12/483.68	c #Conflicts:     374000 | #Constraints:      36990
474.12/483.68	c #Conflicts:     375000 | #Constraints:      37990
474.12/483.68	c #Conflicts:     376000 | #Constraints:      38990
474.12/483.68	c #Conflicts:     377000 | #Constraints:      39990
474.12/483.68	c #Conflicts:     378000 | #Constraints:      40990
474.12/483.68	c #Conflicts:     379000 | #Constraints:      41990
474.12/483.68	c #Conflicts:     380000 | #Constraints:      42990
474.12/483.68	c #Conflicts:     381000 | #Constraints:      43990
474.12/483.68	c #Conflicts:     382000 | #Constraints:      44990
474.12/483.68	c #Conflicts:     383000 | #Constraints:      45990
474.12/483.68	c #Conflicts:     384000 | #Constraints:      46990
474.12/483.68	c #Conflicts:     385000 | #Constraints:      47990
474.12/483.68	c #Conflicts:     386000 | #Constraints:      48990
474.12/483.68	c #Conflicts:     387000 | #Constraints:      49990
474.12/483.68	c INPROCESSING
474.12/483.68	c GARBAGE COLLECT
474.12/483.68	c #Conflicts:     388000 | #Constraints:      29093
474.12/483.68	c #Conflicts:     389000 | #Constraints:      30093
474.12/483.68	c #Conflicts:     390000 | #Constraints:      31093
474.12/483.68	c #Conflicts:     391000 | #Constraints:      32093
474.12/483.68	c #Conflicts:     392000 | #Constraints:      33093
474.12/483.68	c #Conflicts:     393000 | #Constraints:      34093
474.12/483.68	c #Conflicts:     394000 | #Constraints:      35093
474.12/483.68	c #Conflicts:     395000 | #Constraints:      36093
474.12/483.68	c #Conflicts:     396000 | #Constraints:      37093
474.12/483.68	c #Conflicts:     397000 | #Constraints:      38093
474.12/483.68	c #Conflicts:     398000 | #Constraints:      39093
474.12/483.68	c #Conflicts:     399000 | #Constraints:      40093
474.12/483.68	c #Conflicts:     400000 | #Constraints:      41093
474.12/483.68	c #Conflicts:     401000 | #Constraints:      42093
474.12/483.68	c INPROCESSING
474.12/483.68	c GARBAGE COLLECT
474.12/483.68	c rational objective 96.008
607.01/617.02	c #Conflicts:     402000 | #Constraints:      25115
607.01/617.02	c #Conflicts:     403000 | #Constraints:      26115
607.01/617.02	c #Conflicts:     404000 | #Constraints:      27115
607.01/617.02	c #Conflicts:     405000 | #Constraints:      28115
607.01/617.02	c #Conflicts:     406000 | #Constraints:      29115
607.01/617.02	c #Conflicts:     407000 | #Constraints:      30115
607.01/617.02	c #Conflicts:     408000 | #Constraints:      31115
607.01/617.02	c #Conflicts:     409000 | #Constraints:      32115
607.01/617.02	c #Conflicts:     410000 | #Constraints:      33115
607.01/617.02	c #Conflicts:     411000 | #Constraints:      34115
607.01/617.02	c #Conflicts:     412000 | #Constraints:      35115
607.01/617.02	c #Conflicts:     413000 | #Constraints:      36115
607.01/617.02	c #Conflicts:     414000 | #Constraints:      37115
607.01/617.02	c #Conflicts:     415000 | #Constraints:      38115
607.01/617.02	c #Conflicts:     416000 | #Constraints:      39115
607.01/617.02	c INPROCESSING
607.01/617.02	c GARBAGE COLLECT
607.01/617.02	c #Conflicts:     417000 | #Constraints:      24068
607.01/617.02	c #Conflicts:     418000 | #Constraints:      25068
607.01/617.02	c #Conflicts:     419000 | #Constraints:      26068
607.01/617.02	c #Conflicts:     420000 | #Constraints:      27068
607.01/617.02	c #Conflicts:     421000 | #Constraints:      28068
607.01/617.02	c #Conflicts:     422000 | #Constraints:      29068
607.01/617.02	c #Conflicts:     423000 | #Constraints:      30068
607.01/617.02	c #Conflicts:     424000 | #Constraints:      31068
607.01/617.02	c #Conflicts:     425000 | #Constraints:      32068
607.01/617.02	c #Conflicts:     426000 | #Constraints:      33068
607.01/617.02	c #Conflicts:     427000 | #Constraints:      34068
607.01/617.02	c #Conflicts:     428000 | #Constraints:      35068
607.01/617.02	c #Conflicts:     429000 | #Constraints:      36068
607.01/617.02	c #Conflicts:     430000 | #Constraints:      37068
607.01/617.02	c INPROCESSING
607.01/617.02	c GARBAGE COLLECT
607.01/617.02	c #Conflicts:     431000 | #Constraints:      22756
607.01/617.02	c #Conflicts:     432000 | #Constraints:      23756
607.01/617.02	c #Conflicts:     433000 | #Constraints:      24756
607.01/617.02	c #Conflicts:     434000 | #Constraints:      25756
607.01/617.02	c #Conflicts:     435000 | #Constraints:      26756
607.01/617.02	c #Conflicts:     436000 | #Constraints:      27756
607.01/617.02	c #Conflicts:     437000 | #Constraints:      28756
607.01/617.02	c #Conflicts:     438000 | #Constraints:      29756
607.01/617.02	c #Conflicts:     439000 | #Constraints:      30756
607.01/617.02	c #Conflicts:     440000 | #Constraints:      31756
607.01/617.02	c #Conflicts:     441000 | #Constraints:      32756
607.01/617.02	c #Conflicts:     442000 | #Constraints:      33756
607.01/617.02	c #Conflicts:     443000 | #Constraints:      34756
607.01/617.02	c #Conflicts:     444000 | #Constraints:      35756
607.01/617.02	c #Conflicts:     445000 | #Constraints:      36756
607.01/617.02	c #Conflicts:     446000 | #Constraints:      37756
607.01/617.02	c #Conflicts:     447000 | #Constraints:      38756
607.01/617.02	c #Conflicts:     448000 | #Constraints:      39756
607.01/617.02	c #Conflicts:     449000 | #Constraints:      40756
607.01/617.02	c #Conflicts:     450000 | #Constraints:      41756
607.01/617.02	c #Conflicts:     451000 | #Constraints:      42756
607.01/617.02	c #Conflicts:     452000 | #Constraints:      43756
607.01/617.02	c #Conflicts:     453000 | #Constraints:      44756
607.01/617.02	c #Conflicts:     454000 | #Constraints:      45756
607.01/617.02	c #Conflicts:     455000 | #Constraints:      46756
607.01/617.02	c #Conflicts:     456000 | #Constraints:      47756
607.01/617.02	c #Conflicts:     457000 | #Constraints:      48756
607.01/617.02	c #Conflicts:     458000 | #Constraints:      49756
607.01/617.02	c #Conflicts:     459000 | #Constraints:      50756
607.01/617.02	c #Conflicts:     460000 | #Constraints:      51756
607.01/617.02	c #Conflicts:     461000 | #Constraints:      52756
607.01/617.02	c #Conflicts:     462000 | #Constraints:      53756
607.01/617.02	c #Conflicts:     463000 | #Constraints:      54756
607.01/617.02	c #Conflicts:     464000 | #Constraints:      55756
607.01/617.02	c #Conflicts:     465000 | #Constraints:      56756
607.01/617.02	c #Conflicts:     466000 | #Constraints:      57756
607.01/617.02	c #Conflicts:     467000 | #Constraints:      58756
607.01/617.02	c #Conflicts:     468000 | #Constraints:      59756
607.01/617.02	c #Conflicts:     469000 | #Constraints:      60756
607.01/617.02	c #Conflicts:     470000 | #Constraints:      61756
607.01/617.02	c #Conflicts:     471000 | #Constraints:      62756
607.01/617.02	c #Conflicts:     472000 | #Constraints:      63756
607.01/617.02	c #Conflicts:     473000 | #Constraints:      64756
607.01/617.02	c #Conflicts:     474000 | #Constraints:      65756
607.01/617.02	c #Conflicts:     475000 | #Constraints:      66756
607.01/617.02	c #Conflicts:     476000 | #Constraints:      67756
607.01/617.02	c #Conflicts:     477000 | #Constraints:      68756
607.01/617.02	c #Conflicts:     478000 | #Constraints:      69756
607.01/617.02	c #Conflicts:     479000 | #Constraints:      70756
716.43/736.34	c #Conflicts:     480000 | #Constraints:      71756
716.43/736.34	c #Conflicts:     481000 | #Constraints:      72756
716.43/736.34	c #Conflicts:     482000 | #Constraints:      73756
716.43/736.34	c #Conflicts:     483000 | #Constraints:      74756
716.43/736.34	c INPROCESSING
716.43/736.34	c GARBAGE COLLECT
716.43/736.34	c #Conflicts:     484000 | #Constraints:      41935
716.43/736.34	c #Conflicts:     485000 | #Constraints:      42935
716.43/736.34	c #Conflicts:     486000 | #Constraints:      43935
716.43/736.34	c #Conflicts:     487000 | #Constraints:      44935
716.43/736.34	c #Conflicts:     488000 | #Constraints:      45935
716.43/736.34	c #Conflicts:     489000 | #Constraints:      46935
716.43/736.34	c #Conflicts:     490000 | #Constraints:      47935
716.43/736.34	c #Conflicts:     491000 | #Constraints:      48935
716.43/736.34	c #Conflicts:     492000 | #Constraints:      49935
716.43/736.34	c #Conflicts:     493000 | #Constraints:      50935
716.43/736.34	c #Conflicts:     494000 | #Constraints:      51935
716.43/736.34	c #Conflicts:     495000 | #Constraints:      52935
716.43/736.34	c #Conflicts:     496000 | #Constraints:      53935
716.43/736.34	c #Conflicts:     497000 | #Constraints:      54935
716.43/736.34	c #Conflicts:     498000 | #Constraints:      55935
716.43/736.34	c INPROCESSING
716.43/736.34	c GARBAGE COLLECT
716.43/736.34	c #Conflicts:     499000 | #Constraints:      32097
716.43/736.34	c #Conflicts:     500000 | #Constraints:      33097
716.43/736.34	c #Conflicts:     501000 | #Constraints:      34097
716.43/736.34	c #Conflicts:     502000 | #Constraints:      35098
716.43/736.34	c #Conflicts:     503000 | #Constraints:      36098
716.43/736.34	c #Conflicts:     504000 | #Constraints:      37098
716.43/736.34	c #Conflicts:     505000 | #Constraints:      38098
716.43/736.34	c #Conflicts:     506000 | #Constraints:      39098
716.43/736.34	c #Conflicts:     507000 | #Constraints:      40098
716.43/736.34	c #Conflicts:     508000 | #Constraints:      41098
716.43/736.34	c #Conflicts:     509000 | #Constraints:      42098
716.43/736.34	c #Conflicts:     510000 | #Constraints:      43098
716.43/736.34	c #Conflicts:     511000 | #Constraints:      44098
716.43/736.34	c #Conflicts:     512000 | #Constraints:      45098
716.43/736.34	c #Conflicts:     513000 | #Constraints:      46098
716.43/736.34	c #Conflicts:     514000 | #Constraints:      47098
716.43/736.34	c INPROCESSING
716.43/736.34	c GARBAGE COLLECT
716.43/736.34	c #Conflicts:     515000 | #Constraints:      27625
716.43/736.34	c #Conflicts:     516000 | #Constraints:      28625
716.43/736.34	c #Conflicts:     517000 | #Constraints:      29625
716.43/736.34	c #Conflicts:     518000 | #Constraints:      30625
716.43/736.34	c #Conflicts:     519000 | #Constraints:      31625
716.43/736.34	c #Conflicts:     520000 | #Constraints:      32625
716.43/736.34	c #Conflicts:     521000 | #Constraints:      33625
716.43/736.34	c #Conflicts:     522000 | #Constraints:      34625
716.43/736.34	c #Conflicts:     523000 | #Constraints:      35625
716.43/736.34	c #Conflicts:     524000 | #Constraints:      36625
716.43/736.34	c #Conflicts:     525000 | #Constraints:      37625
716.43/736.34	c #Conflicts:     526000 | #Constraints:      38625
716.43/736.34	c #Conflicts:     527000 | #Constraints:      39625
716.43/736.34	c #Conflicts:     528000 | #Constraints:      40625
716.43/736.34	c #Conflicts:     529000 | #Constraints:      41625
716.43/736.34	c #Conflicts:     530000 | #Constraints:      42625
716.43/736.34	c #Conflicts:     531000 | #Constraints:      43625
716.43/736.34	c INPROCESSING
716.43/736.34	c GARBAGE COLLECT
716.43/736.34	c #Conflicts:     532000 | #Constraints:      26351
716.43/736.34	c #Conflicts:     533000 | #Constraints:      27351
716.43/736.34	c #Conflicts:     534000 | #Constraints:      28351
716.43/736.34	c #Conflicts:     535000 | #Constraints:      29351
716.43/736.34	c #Conflicts:     536000 | #Constraints:      30351
716.43/736.34	c #Conflicts:     537000 | #Constraints:      31352
716.43/736.34	c #Conflicts:     538000 | #Constraints:      32352
716.43/736.34	c #Conflicts:     539000 | #Constraints:      33352
716.43/736.34	c #Conflicts:     540000 | #Constraints:      34352
716.43/736.34	c #Conflicts:     541000 | #Constraints:      35352
716.43/736.34	c #Conflicts:     542000 | #Constraints:      36352
716.43/736.34	c #Conflicts:     543000 | #Constraints:      37352
716.43/736.34	c #Conflicts:     544000 | #Constraints:      38352
716.43/736.34	c #Conflicts:     545000 | #Constraints:      39352
716.43/736.34	c #Conflicts:     546000 | #Constraints:      40352
716.43/736.34	c #Conflicts:     547000 | #Constraints:      41352
716.43/736.34	c INPROCESSING
716.43/736.34	c GARBAGE COLLECT
716.43/736.34	c #Conflicts:     548000 | #Constraints:      25040
716.43/736.34	c #Conflicts:     549000 | #Constraints:      26040
716.43/736.34	c #Conflicts:     550000 | #Constraints:      27040
716.43/736.34	c #Conflicts:     551000 | #Constraints:      28040
716.43/736.34	c #Conflicts:     552000 | #Constraints:      29040
716.43/736.34	c #Conflicts:     553000 | #Constraints:      30040
716.43/736.34	c #Conflicts:     554000 | #Constraints:      31040
716.43/736.34	c #Conflicts:     555000 | #Constraints:      32040
862.95/894.38	c #Conflicts:     556000 | #Constraints:      33040
862.95/894.38	c #Conflicts:     557000 | #Constraints:      34040
862.95/894.38	c #Conflicts:     558000 | #Constraints:      35040
862.95/894.38	c #Conflicts:     559000 | #Constraints:      36040
862.95/894.38	c #Conflicts:     560000 | #Constraints:      37040
862.95/894.38	c #Conflicts:     561000 | #Constraints:      38040
862.95/894.38	c #Conflicts:     562000 | #Constraints:      39040
862.95/894.38	c #Conflicts:     563000 | #Constraints:      40040
862.95/894.38	c #Conflicts:     564000 | #Constraints:      41040
862.95/894.38	c INPROCESSING
862.95/894.38	c GARBAGE COLLECT
862.95/894.38	c #Conflicts:     565000 | #Constraints:      25011
862.95/894.38	c #Conflicts:     566000 | #Constraints:      26011
862.95/894.38	c #Conflicts:     567000 | #Constraints:      27011
862.95/894.38	c #Conflicts:     568000 | #Constraints:      28011
862.95/894.38	c #Conflicts:     569000 | #Constraints:      29011
862.95/894.38	c #Conflicts:     570000 | #Constraints:      30011
862.95/894.38	c #Conflicts:     571000 | #Constraints:      31011
862.95/894.38	c #Conflicts:     572000 | #Constraints:      32011
862.95/894.38	c #Conflicts:     573000 | #Constraints:      33011
862.95/894.38	c #Conflicts:     574000 | #Constraints:      34011
862.95/894.38	c #Conflicts:     575000 | #Constraints:      35011
862.95/894.38	c #Conflicts:     576000 | #Constraints:      36011
862.95/894.38	c #Conflicts:     577000 | #Constraints:      37011
862.95/894.38	c #Conflicts:     578000 | #Constraints:      38011
862.95/894.38	c #Conflicts:     579000 | #Constraints:      39011
862.95/894.38	c #Conflicts:     580000 | #Constraints:      40011
862.95/894.38	c #Conflicts:     581000 | #Constraints:      41011
862.95/894.38	c #Conflicts:     582000 | #Constraints:      42011
862.95/894.38	c #Conflicts:     583000 | #Constraints:      43011
862.95/894.38	c #Conflicts:     584000 | #Constraints:      44011
862.95/894.38	c #Conflicts:     585000 | #Constraints:      45011
862.95/894.38	c #Conflicts:     586000 | #Constraints:      46011
862.95/894.38	c #Conflicts:     587000 | #Constraints:      47011
862.95/894.38	c #Conflicts:     588000 | #Constraints:      48011
862.95/894.38	c #Conflicts:     589000 | #Constraints:      49011
862.95/894.38	c #Conflicts:     590000 | #Constraints:      50011
862.95/894.38	c #Conflicts:     591000 | #Constraints:      51011
862.95/894.38	c #Conflicts:     592000 | #Constraints:      52011
862.95/894.38	c #Conflicts:     593000 | #Constraints:      53011
862.95/894.38	c #Conflicts:     594000 | #Constraints:      54011
862.95/894.38	c #Conflicts:     595000 | #Constraints:      55011
862.95/894.38	c #Conflicts:     596000 | #Constraints:      56011
862.95/894.38	c #Conflicts:     597000 | #Constraints:      57011
862.95/894.38	c #Conflicts:     598000 | #Constraints:      58011
862.95/894.38	c #Conflicts:     599000 | #Constraints:      59011
862.95/894.38	c #Conflicts:     600000 | #Constraints:      60011
862.95/894.38	c #Conflicts:     601000 | #Constraints:      61011
862.95/894.38	c #Conflicts:     602000 | #Constraints:      62011
862.95/894.38	c #Conflicts:     603000 | #Constraints:      63011
862.95/894.38	c #Conflicts:     604000 | #Constraints:      64011
862.95/894.38	c #Conflicts:     605000 | #Constraints:      65011
862.95/894.38	c #Conflicts:     606000 | #Constraints:      66011
862.95/894.38	c #Conflicts:     607000 | #Constraints:      67011
862.95/894.38	c #Conflicts:     608000 | #Constraints:      68011
862.95/894.38	c #Conflicts:     609000 | #Constraints:      69011
862.95/894.38	c #Conflicts:     610000 | #Constraints:      70011
862.95/894.38	c #Conflicts:     611000 | #Constraints:      71011
862.95/894.38	c #Conflicts:     612000 | #Constraints:      72011
862.95/894.38	c #Conflicts:     613000 | #Constraints:      73011
862.95/894.38	c #Conflicts:     614000 | #Constraints:      74011
862.95/894.38	c #Conflicts:     615000 | #Constraints:      75011
862.95/894.38	c #Conflicts:     616000 | #Constraints:      76011
862.95/894.38	c #Conflicts:     617000 | #Constraints:      77011
862.95/894.38	c #Conflicts:     618000 | #Constraints:      78011
862.95/894.38	c #Conflicts:     619000 | #Constraints:      79011
862.95/894.38	c #Conflicts:     620000 | #Constraints:      80011
862.95/894.38	c #Conflicts:     621000 | #Constraints:      81011
862.95/894.38	c #Conflicts:     622000 | #Constraints:      82011
862.95/894.38	c #Conflicts:     623000 | #Constraints:      83011
862.95/894.38	c #Conflicts:     624000 | #Constraints:      84011
862.95/894.38	c INPROCESSING
862.95/894.38	c GARBAGE COLLECT
862.95/894.38	c #Conflicts:     625000 | #Constraints:      46541
862.95/894.38	c #Conflicts:     626000 | #Constraints:      47541
862.95/894.38	c #Conflicts:     627000 | #Constraints:      48541
862.95/894.38	c #Conflicts:     628000 | #Constraints:      49541
862.95/894.38	c #Conflicts:     629000 | #Constraints:      50541
862.95/894.38	c #Conflicts:     630000 | #Constraints:      51541
862.95/894.38	c #Conflicts:     631000 | #Constraints:      52541
862.95/894.38	c #Conflicts:     632000 | #Constraints:      53541
893.89/925.78	c #Conflicts:     633000 | #Constraints:      54541
893.89/925.78	c #Conflicts:     634000 | #Constraints:      55541
893.89/925.78	c #Conflicts:     635000 | #Constraints:      56541
893.89/925.78	c #Conflicts:     636000 | #Constraints:      57541
893.89/925.78	c #Conflicts:     637000 | #Constraints:      58541
893.89/925.78	c #Conflicts:     638000 | #Constraints:      59541
893.89/925.78	c #Conflicts:     639000 | #Constraints:      60541
893.89/925.78	c #Conflicts:     640000 | #Constraints:      61541
893.89/925.78	c #Conflicts:     641000 | #Constraints:      62541
893.89/925.78	c INPROCESSING
893.89/925.78	c GARBAGE COLLECT
893.89/925.78	c rational objective 96.0317
987.42/1019.86	c #Conflicts:     642000 | #Constraints:      35329
987.42/1019.86	c #Conflicts:     643000 | #Constraints:      36329
987.42/1019.86	c #Conflicts:     644000 | #Constraints:      37329
987.42/1019.86	c #Conflicts:     645000 | #Constraints:      38329
987.42/1019.86	c #Conflicts:     646000 | #Constraints:      39329
987.42/1019.86	c #Conflicts:     647000 | #Constraints:      40329
987.42/1019.86	c #Conflicts:     648000 | #Constraints:      41329
987.42/1019.86	c #Conflicts:     649000 | #Constraints:      42329
987.42/1019.86	c #Conflicts:     650000 | #Constraints:      43329
987.42/1019.86	c #Conflicts:     651000 | #Constraints:      44329
987.42/1019.86	c #Conflicts:     652000 | #Constraints:      45329
987.42/1019.86	c #Conflicts:     653000 | #Constraints:      46329
987.42/1019.86	c #Conflicts:     654000 | #Constraints:      47329
987.42/1019.86	c #Conflicts:     655000 | #Constraints:      48329
987.42/1019.86	c #Conflicts:     656000 | #Constraints:      49329
987.42/1019.86	c #Conflicts:     657000 | #Constraints:      50329
987.42/1019.86	c #Conflicts:     658000 | #Constraints:      51329
987.42/1019.86	c #Conflicts:     659000 | #Constraints:      52329
987.42/1019.86	c #Conflicts:     660000 | #Constraints:      53329
987.42/1019.86	c INPROCESSING
987.42/1019.86	c GARBAGE COLLECT
987.42/1019.86	c #Conflicts:     661000 | #Constraints:      31132
987.42/1019.86	c #Conflicts:     662000 | #Constraints:      32132
987.42/1019.86	c #Conflicts:     663000 | #Constraints:      33132
987.42/1019.86	c #Conflicts:     664000 | #Constraints:      34132
987.42/1019.86	c #Conflicts:     665000 | #Constraints:      35132
987.42/1019.86	c #Conflicts:     666000 | #Constraints:      36132
987.42/1019.86	c #Conflicts:     667000 | #Constraints:      37132
987.42/1019.86	c #Conflicts:     668000 | #Constraints:      38132
987.42/1019.86	c #Conflicts:     669000 | #Constraints:      39132
987.42/1019.86	c #Conflicts:     670000 | #Constraints:      40132
987.42/1019.86	c #Conflicts:     671000 | #Constraints:      41132
987.42/1019.86	c #Conflicts:     672000 | #Constraints:      42132
987.42/1019.86	c #Conflicts:     673000 | #Constraints:      43132
987.42/1019.86	c #Conflicts:     674000 | #Constraints:      44132
987.42/1019.86	c #Conflicts:     675000 | #Constraints:      45132
987.42/1019.86	c #Conflicts:     676000 | #Constraints:      46132
987.42/1019.86	c #Conflicts:     677000 | #Constraints:      47132
987.42/1019.86	c #Conflicts:     678000 | #Constraints:      48132
987.42/1019.86	c INPROCESSING
987.42/1019.86	c GARBAGE COLLECT
987.42/1019.86	c #Conflicts:     679000 | #Constraints:      28478
987.42/1019.86	c #Conflicts:     680000 | #Constraints:      29478
987.42/1019.86	c #Conflicts:     681000 | #Constraints:      30478
987.42/1019.86	c #Conflicts:     682000 | #Constraints:      31478
987.42/1019.86	c #Conflicts:     683000 | #Constraints:      32478
987.42/1019.86	c #Conflicts:     684000 | #Constraints:      33478
987.42/1019.86	c #Conflicts:     685000 | #Constraints:      34478
987.42/1019.86	c #Conflicts:     686000 | #Constraints:      35478
987.42/1019.86	c #Conflicts:     687000 | #Constraints:      36478
987.42/1019.86	c #Conflicts:     688000 | #Constraints:      37478
987.42/1019.86	c #Conflicts:     689000 | #Constraints:      38478
987.42/1019.86	c #Conflicts:     690000 | #Constraints:      39478
987.42/1019.86	c #Conflicts:     691000 | #Constraints:      40478
987.42/1019.86	c #Conflicts:     692000 | #Constraints:      41478
987.42/1019.86	c #Conflicts:     693000 | #Constraints:      42478
987.42/1019.86	c #Conflicts:     694000 | #Constraints:      43478
987.42/1019.86	c #Conflicts:     695000 | #Constraints:      44478
987.42/1019.86	c #Conflicts:     696000 | #Constraints:      45478
987.42/1019.86	c INPROCESSING
987.42/1019.86	c GARBAGE COLLECT
987.42/1019.86	c #Conflicts:     697000 | #Constraints:      26879
987.42/1019.86	c #Conflicts:     698000 | #Constraints:      27879
987.42/1019.86	c #Conflicts:     699000 | #Constraints:      28879
987.42/1019.86	c #Conflicts:     700000 | #Constraints:      29879
987.42/1019.86	c #Conflicts:     701000 | #Constraints:      30879
987.42/1019.86	c #Conflicts:     702000 | #Constraints:      31879
987.42/1019.86	c #Conflicts:     703000 | #Constraints:      32879
987.42/1019.86	c #Conflicts:     704000 | #Constraints:      33879
987.42/1019.86	c #Conflicts:     705000 | #Constraints:      34879
987.42/1019.86	c #Conflicts:     706000 | #Constraints:      35879
987.42/1019.86	c #Conflicts:     707000 | #Constraints:      36879
987.42/1019.86	c #Conflicts:     708000 | #Constraints:      37879
987.42/1019.86	c #Conflicts:     709000 | #Constraints:      38879
987.42/1019.86	c #Conflicts:     710000 | #Constraints:      39879
987.42/1019.86	c #Conflicts:     711000 | #Constraints:      40879
987.42/1019.86	c #Conflicts:     712000 | #Constraints:      41879
987.42/1019.86	c #Conflicts:     713000 | #Constraints:      42879
987.42/1019.86	c #Conflicts:     714000 | #Constraints:      43879
987.42/1019.86	c #Conflicts:     715000 | #Constraints:      44879
987.42/1019.86	c INPROCESSING
987.42/1019.86	c GARBAGE COLLECT
987.42/1019.86	c #Conflicts:     716000 | #Constraints:      26790
987.42/1019.86	c #Conflicts:     717000 | #Constraints:      27790
987.42/1019.86	c #Conflicts:     718000 | #Constraints:      28790
1274.68/1313.79	c #Conflicts:     719000 | #Constraints:      29790
1274.68/1313.79	c #Conflicts:     720000 | #Constraints:      30790
1274.68/1313.79	c #Conflicts:     721000 | #Constraints:      31790
1274.68/1313.79	c #Conflicts:     722000 | #Constraints:      32790
1274.68/1313.79	c #Conflicts:     723000 | #Constraints:      33790
1274.68/1313.79	c #Conflicts:     724000 | #Constraints:      34790
1274.68/1313.79	c #Conflicts:     725000 | #Constraints:      35790
1274.68/1313.79	c #Conflicts:     726000 | #Constraints:      36790
1274.68/1313.79	c #Conflicts:     727000 | #Constraints:      37790
1274.68/1313.79	c #Conflicts:     728000 | #Constraints:      38790
1274.68/1313.79	c #Conflicts:     729000 | #Constraints:      39790
1274.68/1313.79	c #Conflicts:     730000 | #Constraints:      40790
1274.68/1313.79	c #Conflicts:     731000 | #Constraints:      41790
1274.68/1313.79	c #Conflicts:     732000 | #Constraints:      42790
1274.68/1313.79	c #Conflicts:     733000 | #Constraints:      43790
1274.68/1313.79	c #Conflicts:     734000 | #Constraints:      44790
1274.68/1313.79	c #Conflicts:     735000 | #Constraints:      45790
1274.68/1313.79	c #Conflicts:     736000 | #Constraints:      46790
1274.68/1313.79	c #Conflicts:     737000 | #Constraints:      47790
1274.68/1313.79	c #Conflicts:     738000 | #Constraints:      48790
1274.68/1313.79	c #Conflicts:     739000 | #Constraints:      49790
1274.68/1313.79	c #Conflicts:     740000 | #Constraints:      50790
1274.68/1313.79	c #Conflicts:     741000 | #Constraints:      51790
1274.68/1313.79	c #Conflicts:     742000 | #Constraints:      52790
1274.68/1313.79	c #Conflicts:     743000 | #Constraints:      53790
1274.68/1313.79	c #Conflicts:     744000 | #Constraints:      54790
1274.68/1313.79	c #Conflicts:     745000 | #Constraints:      55790
1274.68/1313.79	c #Conflicts:     746000 | #Constraints:      56791
1274.68/1313.79	c #Conflicts:     747000 | #Constraints:      57791
1274.68/1313.79	c #Conflicts:     748000 | #Constraints:      58791
1274.68/1313.79	c #Conflicts:     749000 | #Constraints:      59791
1274.68/1313.79	c #Conflicts:     750000 | #Constraints:      60791
1274.68/1313.79	c #Conflicts:     751000 | #Constraints:      61791
1274.68/1313.79	c #Conflicts:     752000 | #Constraints:      62791
1274.68/1313.79	c #Conflicts:     753000 | #Constraints:      63791
1274.68/1313.79	c #Conflicts:     754000 | #Constraints:      64791
1274.68/1313.79	c #Conflicts:     755000 | #Constraints:      65791
1274.68/1313.79	c #Conflicts:     756000 | #Constraints:      66791
1274.68/1313.79	c #Conflicts:     757000 | #Constraints:      67791
1274.68/1313.79	c #Conflicts:     758000 | #Constraints:      68791
1274.68/1313.79	c #Conflicts:     759000 | #Constraints:      69791
1274.68/1313.79	c #Conflicts:     760000 | #Constraints:      70791
1274.68/1313.79	c #Conflicts:     761000 | #Constraints:      71791
1274.68/1313.79	c #Conflicts:     762000 | #Constraints:      72791
1274.68/1313.79	c #Conflicts:     763000 | #Constraints:      73791
1274.68/1313.79	c #Conflicts:     764000 | #Constraints:      74791
1274.68/1313.79	c #Conflicts:     765000 | #Constraints:      75791
1274.68/1313.79	c #Conflicts:     766000 | #Constraints:      76791
1274.68/1313.79	c #Conflicts:     767000 | #Constraints:      77791
1274.68/1313.79	c #Conflicts:     768000 | #Constraints:      78791
1274.68/1313.79	c #Conflicts:     769000 | #Constraints:      79791
1274.68/1313.79	c #Conflicts:     770000 | #Constraints:      80792
1274.68/1313.79	c #Conflicts:     771000 | #Constraints:      81792
1274.68/1313.79	c #Conflicts:     772000 | #Constraints:      82792
1274.68/1313.79	c #Conflicts:     773000 | #Constraints:      83792
1274.68/1313.79	c #Conflicts:     774000 | #Constraints:      84792
1274.68/1313.79	c #Conflicts:     775000 | #Constraints:      85792
1274.68/1313.79	c #Conflicts:     776000 | #Constraints:      86792
1274.68/1313.79	c #Conflicts:     777000 | #Constraints:      87792
1274.68/1313.79	c #Conflicts:     778000 | #Constraints:      88792
1274.68/1313.79	c #Conflicts:     779000 | #Constraints:      89792
1274.68/1313.79	c #Conflicts:     780000 | #Constraints:      90792
1274.68/1313.79	c #Conflicts:     781000 | #Constraints:      91792
1274.68/1313.79	c #Conflicts:     782000 | #Constraints:      92792
1274.68/1313.79	c #Conflicts:     783000 | #Constraints:      93792
1274.68/1313.79	c INPROCESSING
1274.68/1313.79	c GARBAGE COLLECT
1274.68/1313.79	c #Conflicts:     784000 | #Constraints:      51436
1274.68/1313.79	c #Conflicts:     785000 | #Constraints:      52436
1274.68/1313.79	c #Conflicts:     786000 | #Constraints:      53436
1274.68/1313.79	c #Conflicts:     787000 | #Constraints:      54436
1274.68/1313.79	c #Conflicts:     788000 | #Constraints:      55436
1274.68/1313.79	c #Conflicts:     789000 | #Constraints:      56436
1274.68/1313.79	c #Conflicts:     790000 | #Constraints:      57436
1274.68/1313.79	c #Conflicts:     791000 | #Constraints:      58436
1274.68/1313.79	c #Conflicts:     792000 | #Constraints:      59436
1274.68/1313.79	c #Conflicts:     793000 | #Constraints:      60436
1274.68/1313.79	c #Conflicts:     794000 | #Constraints:      61436
1274.68/1313.79	c #Conflicts:     795000 | #Constraints:      62436
1274.68/1313.79	c #Conflicts:     796000 | #Constraints:      63436
1370.25/1410.10	c #Conflicts:     797000 | #Constraints:      64436
1370.25/1410.10	c #Conflicts:     798000 | #Constraints:      65436
1370.25/1410.10	c #Conflicts:     799000 | #Constraints:      66436
1370.25/1410.10	c #Conflicts:     800000 | #Constraints:      67436
1370.25/1410.10	c #Conflicts:     801000 | #Constraints:      68436
1370.25/1410.10	c #Conflicts:     802000 | #Constraints:      69436
1370.25/1410.10	c #Conflicts:     803000 | #Constraints:      70436
1370.25/1410.10	c INPROCESSING
1370.25/1410.10	c GARBAGE COLLECT
1370.25/1410.10	c #Conflicts:     804000 | #Constraints:      39722
1370.25/1410.10	c #Conflicts:     805000 | #Constraints:      40722
1370.25/1410.10	c #Conflicts:     806000 | #Constraints:      41722
1370.25/1410.10	c #Conflicts:     807000 | #Constraints:      42722
1370.25/1410.10	c #Conflicts:     808000 | #Constraints:      43722
1370.25/1410.10	c #Conflicts:     809000 | #Constraints:      44722
1370.25/1410.10	c #Conflicts:     810000 | #Constraints:      45723
1370.25/1410.10	c #Conflicts:     811000 | #Constraints:      46723
1370.25/1410.10	c #Conflicts:     812000 | #Constraints:      47723
1370.25/1410.10	c #Conflicts:     813000 | #Constraints:      48723
1370.25/1410.10	c #Conflicts:     814000 | #Constraints:      49723
1370.25/1410.10	c #Conflicts:     815000 | #Constraints:      50723
1370.25/1410.10	c #Conflicts:     816000 | #Constraints:      51723
1370.25/1410.10	c #Conflicts:     817000 | #Constraints:      52723
1370.25/1410.10	c #Conflicts:     818000 | #Constraints:      53723
1370.25/1410.10	c #Conflicts:     819000 | #Constraints:      54723
1370.25/1410.10	c #Conflicts:     820000 | #Constraints:      55723
1370.25/1410.10	c #Conflicts:     821000 | #Constraints:      56723
1370.25/1410.10	c #Conflicts:     822000 | #Constraints:      57723
1370.25/1410.10	c #Conflicts:     823000 | #Constraints:      58723
1370.25/1410.10	c INPROCESSING
1370.25/1410.10	c GARBAGE COLLECT
1370.25/1410.10	c #Conflicts:     824000 | #Constraints:      33761
1370.25/1410.10	c #Conflicts:     825000 | #Constraints:      34761
1370.25/1410.10	c #Conflicts:     826000 | #Constraints:      35761
1370.25/1410.10	c #Conflicts:     827000 | #Constraints:      36761
1370.25/1410.10	c #Conflicts:     828000 | #Constraints:      37761
1370.25/1410.10	c #Conflicts:     829000 | #Constraints:      38761
1370.25/1410.10	c #Conflicts:     830000 | #Constraints:      39761
1370.25/1410.10	c #Conflicts:     831000 | #Constraints:      40761
1370.25/1410.10	c #Conflicts:     832000 | #Constraints:      41761
1370.25/1410.10	c #Conflicts:     833000 | #Constraints:      42761
1370.25/1410.10	c #Conflicts:     834000 | #Constraints:      43761
1370.25/1410.10	c #Conflicts:     835000 | #Constraints:      44761
1370.25/1410.10	c #Conflicts:     836000 | #Constraints:      45761
1370.25/1410.10	c #Conflicts:     837000 | #Constraints:      46761
1370.25/1410.10	c #Conflicts:     838000 | #Constraints:      47761
1370.25/1410.10	c #Conflicts:     839000 | #Constraints:      48761
1370.25/1410.10	c #Conflicts:     840000 | #Constraints:      49761
1370.25/1410.10	c #Conflicts:     841000 | #Constraints:      50761
1370.25/1410.10	c #Conflicts:     842000 | #Constraints:      51761
1370.25/1410.10	c #Conflicts:     843000 | #Constraints:      52761
1370.25/1410.10	c INPROCESSING
1370.25/1410.10	c GARBAGE COLLECT
1370.25/1410.10	c rational objective 96.1254
1476.42/1518.31	c #Conflicts:     844000 | #Constraints:      30669
1476.42/1518.31	c #Conflicts:     845000 | #Constraints:      31669
1476.42/1518.31	c #Conflicts:     846000 | #Constraints:      32669
1476.42/1518.31	c #Conflicts:     847000 | #Constraints:      33669
1476.42/1518.31	c #Conflicts:     848000 | #Constraints:      34669
1476.42/1518.31	c #Conflicts:     849000 | #Constraints:      35669
1476.42/1518.31	c #Conflicts:     850000 | #Constraints:      36669
1476.42/1518.31	c #Conflicts:     851000 | #Constraints:      37669
1476.42/1518.31	c #Conflicts:     852000 | #Constraints:      38669
1476.42/1518.31	c #Conflicts:     853000 | #Constraints:      39669
1476.42/1518.31	c #Conflicts:     854000 | #Constraints:      40669
1476.42/1518.31	c #Conflicts:     855000 | #Constraints:      41669
1476.42/1518.31	c #Conflicts:     856000 | #Constraints:      42669
1476.42/1518.31	c #Conflicts:     857000 | #Constraints:      43669
1476.42/1518.31	c #Conflicts:     858000 | #Constraints:      44669
1476.42/1518.31	c #Conflicts:     859000 | #Constraints:      45669
1476.42/1518.31	c #Conflicts:     860000 | #Constraints:      46669
1476.42/1518.31	c #Conflicts:     861000 | #Constraints:      47669
1476.42/1518.31	c #Conflicts:     862000 | #Constraints:      48669
1476.42/1518.31	c #Conflicts:     863000 | #Constraints:      49669
1476.42/1518.31	c #Conflicts:     864000 | #Constraints:      50669
1476.42/1518.31	c INPROCESSING
1476.42/1518.31	c GARBAGE COLLECT
1476.42/1518.31	c #Conflicts:     865000 | #Constraints:      29740
1476.42/1518.31	c #Conflicts:     866000 | #Constraints:      30740
1476.42/1518.31	c #Conflicts:     867000 | #Constraints:      31740
1476.42/1518.31	c #Conflicts:     868000 | #Constraints:      32740
1476.42/1518.31	c #Conflicts:     869000 | #Constraints:      33740
1476.42/1518.31	c #Conflicts:     870000 | #Constraints:      34740
1476.42/1518.31	c #Conflicts:     871000 | #Constraints:      35740
1476.42/1518.31	c #Conflicts:     872000 | #Constraints:      36740
1476.42/1518.31	c #Conflicts:     873000 | #Constraints:      37740
1476.42/1518.31	c #Conflicts:     874000 | #Constraints:      38740
1476.42/1518.31	c #Conflicts:     875000 | #Constraints:      39740
1476.42/1518.31	c #Conflicts:     876000 | #Constraints:      40740
1476.42/1518.31	c #Conflicts:     877000 | #Constraints:      41740
1476.42/1518.31	c #Conflicts:     878000 | #Constraints:      42740
1476.42/1518.31	c #Conflicts:     879000 | #Constraints:      43740
1476.42/1518.31	c #Conflicts:     880000 | #Constraints:      44740
1476.42/1518.31	c #Conflicts:     881000 | #Constraints:      45740
1476.42/1518.31	c #Conflicts:     882000 | #Constraints:      46740
1476.42/1518.31	c #Conflicts:     883000 | #Constraints:      47740
1476.42/1518.31	c #Conflicts:     884000 | #Constraints:      48740
1476.42/1518.31	c #Conflicts:     885000 | #Constraints:      49740
1476.42/1518.31	c INPROCESSING
1476.42/1518.31	c GARBAGE COLLECT
1476.42/1518.31	c #Conflicts:     886000 | #Constraints:      29377
1476.42/1518.31	c #Conflicts:     887000 | #Constraints:      30377
1476.42/1518.31	c #Conflicts:     888000 | #Constraints:      31377
1476.42/1518.31	c #Conflicts:     889000 | #Constraints:      32377
1476.42/1518.31	c #Conflicts:     890000 | #Constraints:      33377
1476.42/1518.31	c #Conflicts:     891000 | #Constraints:      34377
1476.42/1518.31	c #Conflicts:     892000 | #Constraints:      35377
1476.42/1518.31	c #Conflicts:     893000 | #Constraints:      36377
1476.42/1518.31	c #Conflicts:     894000 | #Constraints:      37377
1476.42/1518.31	c #Conflicts:     895000 | #Constraints:      38377
1476.42/1518.31	c #Conflicts:     896000 | #Constraints:      39377
1476.42/1518.31	c #Conflicts:     897000 | #Constraints:      40377
1476.42/1518.31	c #Conflicts:     898000 | #Constraints:      41377
1476.42/1518.31	c #Conflicts:     899000 | #Constraints:      42377
1476.42/1518.31	c #Conflicts:     900000 | #Constraints:      43377
1476.42/1518.31	c #Conflicts:     901000 | #Constraints:      44377
1476.42/1518.31	c #Conflicts:     902000 | #Constraints:      45377
1476.42/1518.31	c #Conflicts:     903000 | #Constraints:      46377
1476.42/1518.31	c #Conflicts:     904000 | #Constraints:      47377
1476.42/1518.31	c #Conflicts:     905000 | #Constraints:      48377
1476.42/1518.31	c #Conflicts:     906000 | #Constraints:      49377
1476.42/1518.31	c #Conflicts:     907000 | #Constraints:      50377
1476.42/1518.31	c #Conflicts:     908000 | #Constraints:      51377
1476.42/1518.31	c #Conflicts:     909000 | #Constraints:      52377
1476.42/1518.31	c #Conflicts:     910000 | #Constraints:      53377
1476.42/1518.31	c #Conflicts:     911000 | #Constraints:      54377
1476.42/1518.31	c #Conflicts:     912000 | #Constraints:      55377
1476.42/1518.31	c #Conflicts:     913000 | #Constraints:      56377
1476.42/1518.31	c #Conflicts:     914000 | #Constraints:      57377
1476.42/1518.31	c #Conflicts:     915000 | #Constraints:      58377
1476.42/1518.31	c #Conflicts:     916000 | #Constraints:      59377
1476.42/1518.31	c #Conflicts:     917000 | #Constraints:      60377
1476.42/1518.31	c #Conflicts:     918000 | #Constraints:      61377
1476.42/1518.31	c #Conflicts:     919000 | #Constraints:      62377
1476.42/1518.31	c #Conflicts:     920000 | #Constraints:      63377
1476.42/1518.31	c #Conflicts:     921000 | #Constraints:      64377
1671.37/1714.38	c #Conflicts:     922000 | #Constraints:      65377
1671.37/1714.38	c #Conflicts:     923000 | #Constraints:      66377
1671.37/1714.38	c #Conflicts:     924000 | #Constraints:      67377
1671.37/1714.38	c #Conflicts:     925000 | #Constraints:      68377
1671.37/1714.38	c #Conflicts:     926000 | #Constraints:      69377
1671.37/1714.38	c #Conflicts:     927000 | #Constraints:      70377
1671.37/1714.38	c #Conflicts:     928000 | #Constraints:      71377
1671.37/1714.38	c #Conflicts:     929000 | #Constraints:      72377
1671.37/1714.38	c #Conflicts:     930000 | #Constraints:      73377
1671.37/1714.38	c #Conflicts:     931000 | #Constraints:      74377
1671.37/1714.38	c #Conflicts:     932000 | #Constraints:      75377
1671.37/1714.38	c #Conflicts:     933000 | #Constraints:      76377
1671.37/1714.38	c #Conflicts:     934000 | #Constraints:      77377
1671.37/1714.38	c #Conflicts:     935000 | #Constraints:      78377
1671.37/1714.38	c #Conflicts:     936000 | #Constraints:      79377
1671.37/1714.38	c #Conflicts:     937000 | #Constraints:      80377
1671.37/1714.38	c #Conflicts:     938000 | #Constraints:      81377
1671.37/1714.38	c #Conflicts:     939000 | #Constraints:      82377
1671.37/1714.38	c #Conflicts:     940000 | #Constraints:      83377
1671.37/1714.38	c #Conflicts:     941000 | #Constraints:      84377
1671.37/1714.38	c #Conflicts:     942000 | #Constraints:      85377
1671.37/1714.38	c #Conflicts:     943000 | #Constraints:      86377
1671.37/1714.38	c #Conflicts:     944000 | #Constraints:      87377
1671.37/1714.38	c #Conflicts:     945000 | #Constraints:      88377
1671.37/1714.38	c #Conflicts:     946000 | #Constraints:      89377
1671.37/1714.38	c #Conflicts:     947000 | #Constraints:      90377
1671.37/1714.38	c #Conflicts:     948000 | #Constraints:      91377
1671.37/1714.38	c #Conflicts:     949000 | #Constraints:      92377
1671.37/1714.38	c #Conflicts:     950000 | #Constraints:      93377
1671.37/1714.38	c #Conflicts:     951000 | #Constraints:      94377
1671.37/1714.38	c #Conflicts:     952000 | #Constraints:      95377
1671.37/1714.38	c #Conflicts:     953000 | #Constraints:      96377
1671.37/1714.38	c #Conflicts:     954000 | #Constraints:      97377
1671.37/1714.38	c #Conflicts:     955000 | #Constraints:      98377
1671.37/1714.38	c #Conflicts:     956000 | #Constraints:      99377
1671.37/1714.38	c #Conflicts:     957000 | #Constraints:     100377
1671.37/1714.38	c #Conflicts:     958000 | #Constraints:     101377
1671.37/1714.38	c #Conflicts:     959000 | #Constraints:     102377
1671.37/1714.38	c #Conflicts:     960000 | #Constraints:     103377
1671.37/1714.38	c INPROCESSING
1671.37/1714.38	c GARBAGE COLLECT
1671.37/1714.38	c #Conflicts:     961000 | #Constraints:      56194
1671.37/1714.38	c #Conflicts:     962000 | #Constraints:      57194
1671.37/1714.38	c #Conflicts:     963000 | #Constraints:      58194
1671.37/1714.38	c #Conflicts:     964000 | #Constraints:      59194
1671.37/1714.38	c #Conflicts:     965000 | #Constraints:      60194
1671.37/1714.38	c #Conflicts:     966000 | #Constraints:      61194
1671.37/1714.38	c #Conflicts:     967000 | #Constraints:      62194
1671.37/1714.38	c #Conflicts:     968000 | #Constraints:      63194
1671.37/1714.38	c #Conflicts:     969000 | #Constraints:      64194
1671.37/1714.38	c #Conflicts:     970000 | #Constraints:      65194
1671.37/1714.38	c #Conflicts:     971000 | #Constraints:      66194
1671.37/1714.38	c #Conflicts:     972000 | #Constraints:      67194
1671.37/1714.38	c #Conflicts:     973000 | #Constraints:      68194
1671.37/1714.38	c #Conflicts:     974000 | #Constraints:      69194
1671.37/1714.38	c #Conflicts:     975000 | #Constraints:      70194
1671.37/1714.38	c #Conflicts:     976000 | #Constraints:      71194
1671.37/1714.38	c #Conflicts:     977000 | #Constraints:      72194
1671.37/1714.38	c #Conflicts:     978000 | #Constraints:      73194
1671.37/1714.38	c #Conflicts:     979000 | #Constraints:      74194
1671.37/1714.38	c #Conflicts:     980000 | #Constraints:      75194
1671.37/1714.38	c #Conflicts:     981000 | #Constraints:      76194
1671.37/1714.38	c #Conflicts:     982000 | #Constraints:      77194
1671.37/1714.38	c INPROCESSING
1671.37/1714.38	c GARBAGE COLLECT
1671.37/1714.38	c #Conflicts:     983000 | #Constraints:      43103
1671.37/1714.38	c #Conflicts:     984000 | #Constraints:      44103
1671.37/1714.38	c #Conflicts:     985000 | #Constraints:      45103
1671.37/1714.38	c #Conflicts:     986000 | #Constraints:      46103
1671.37/1714.38	c #Conflicts:     987000 | #Constraints:      47103
1671.37/1714.38	c #Conflicts:     988000 | #Constraints:      48103
1671.37/1714.38	c #Conflicts:     989000 | #Constraints:      49103
1671.37/1714.38	c #Conflicts:     990000 | #Constraints:      50103
1671.37/1714.38	c #Conflicts:     991000 | #Constraints:      51103
1671.37/1714.38	c #Conflicts:     992000 | #Constraints:      52103
1671.37/1714.38	c #Conflicts:     993000 | #Constraints:      53103
1671.37/1714.38	c #Conflicts:     994000 | #Constraints:      54103
1671.37/1714.38	c #Conflicts:     995000 | #Constraints:      55103
1671.37/1714.38	c #Conflicts:     996000 | #Constraints:      56103
1671.37/1714.38	c #Conflicts:     997000 | #Constraints:      57103
1671.37/1714.38	c #Conflicts:     998000 | #Constraints:      58103
1767.84/1812.51	c #Conflicts:     999000 | #Constraints:      59103
1767.84/1812.51	c #Conflicts:    1000000 | #Constraints:      60103
1767.84/1812.51	c #Conflicts:    1001000 | #Constraints:      61103
1767.84/1812.51	c #Conflicts:    1002000 | #Constraints:      62103
1767.84/1812.51	c #Conflicts:    1003000 | #Constraints:      63103
1767.84/1812.51	c #Conflicts:    1004000 | #Constraints:      64103
1767.84/1812.51	c INPROCESSING
1767.84/1812.51	c GARBAGE COLLECT
1767.84/1812.51	c #Conflicts:    1005000 | #Constraints:      36431
1767.84/1812.51	c #Conflicts:    1006000 | #Constraints:      37431
1767.84/1812.51	c #Conflicts:    1007000 | #Constraints:      38431
1767.84/1812.51	c #Conflicts:    1008000 | #Constraints:      39431
1767.84/1812.51	c #Conflicts:    1009000 | #Constraints:      40431
1767.84/1812.51	c #Conflicts:    1010000 | #Constraints:      41431
1767.84/1812.51	c #Conflicts:    1011000 | #Constraints:      42431
1767.84/1812.51	c #Conflicts:    1012000 | #Constraints:      43431
1767.84/1812.51	c #Conflicts:    1013000 | #Constraints:      44431
1767.84/1812.51	c #Conflicts:    1014000 | #Constraints:      45431
1767.84/1812.51	c #Conflicts:    1015000 | #Constraints:      46431
1767.84/1812.51	c #Conflicts:    1016000 | #Constraints:      47431
1767.84/1812.51	c #Conflicts:    1017000 | #Constraints:      48431
1767.84/1812.51	c #Conflicts:    1018000 | #Constraints:      49431
1767.84/1812.51	c #Conflicts:    1019000 | #Constraints:      50431
1767.84/1812.51	c #Conflicts:    1020000 | #Constraints:      51431
1767.84/1812.51	c #Conflicts:    1021000 | #Constraints:      52431
1767.84/1812.51	c #Conflicts:    1022000 | #Constraints:      53431
1767.84/1812.51	c #Conflicts:    1023000 | #Constraints:      54431
1767.84/1812.51	c #Conflicts:    1024000 | #Constraints:      55431
1767.84/1812.51	c #Conflicts:    1025000 | #Constraints:      56431
1767.84/1812.51	c #Conflicts:    1026000 | #Constraints:      57431
1767.84/1812.51	c INPROCESSING
1767.84/1812.51	c GARBAGE COLLECT
1767.84/1812.51	c #Conflicts:    1027000 | #Constraints:      32758
1767.84/1812.51	c #Conflicts:    1028000 | #Constraints:      33758
1767.84/1812.51	c #Conflicts:    1029000 | #Constraints:      34758
1767.84/1812.51	c #Conflicts:    1030000 | #Constraints:      35758
1767.84/1812.51	c #Conflicts:    1031000 | #Constraints:      36758
1767.84/1812.51	c #Conflicts:    1032000 | #Constraints:      37758
1767.84/1812.51	c #Conflicts:    1033000 | #Constraints:      38758
1767.84/1812.51	c #Conflicts:    1034000 | #Constraints:      39758
1767.84/1812.51	c #Conflicts:    1035000 | #Constraints:      40758
1767.84/1812.51	c #Conflicts:    1036000 | #Constraints:      41758
1767.84/1812.51	c #Conflicts:    1037000 | #Constraints:      42758
1767.84/1812.51	c #Conflicts:    1038000 | #Constraints:      43758
1767.84/1812.51	c #Conflicts:    1039000 | #Constraints:      44758
1767.84/1812.51	c #Conflicts:    1040000 | #Constraints:      45758
1767.84/1812.51	c #Conflicts:    1041000 | #Constraints:      46758
1767.84/1812.51	c #Conflicts:    1042000 | #Constraints:      47758
1767.84/1812.51	c #Conflicts:    1043000 | #Constraints:      48758
1767.84/1812.51	c #Conflicts:    1044000 | #Constraints:      49758
1767.84/1812.51	c #Conflicts:    1045000 | #Constraints:      50758
1767.84/1812.51	c #Conflicts:    1046000 | #Constraints:      51758
1767.84/1812.51	c #Conflicts:    1047000 | #Constraints:      52758
1767.84/1812.51	c #Conflicts:    1048000 | #Constraints:      53758
1767.84/1812.51	c #Conflicts:    1049000 | #Constraints:      54758
1767.84/1812.51	c INPROCESSING
1767.84/1812.51	c GARBAGE COLLECT
1767.84/1812.51	c rational objective 96.1292
1932.70/1978.27	c #Conflicts:    1050000 | #Constraints:      31706
1932.70/1978.27	c #Conflicts:    1051000 | #Constraints:      32706
1932.70/1978.27	c #Conflicts:    1052000 | #Constraints:      33706
1932.70/1978.27	c #Conflicts:    1053000 | #Constraints:      34706
1932.70/1978.27	c #Conflicts:    1054000 | #Constraints:      35706
1932.70/1978.27	c #Conflicts:    1055000 | #Constraints:      36706
1932.70/1978.27	c #Conflicts:    1056000 | #Constraints:      37706
1932.70/1978.27	c #Conflicts:    1057000 | #Constraints:      38706
1932.70/1978.27	c #Conflicts:    1058000 | #Constraints:      39706
1932.70/1978.27	c #Conflicts:    1059000 | #Constraints:      40706
1932.70/1978.27	c #Conflicts:    1060000 | #Constraints:      41706
1932.70/1978.27	c #Conflicts:    1061000 | #Constraints:      42706
1932.70/1978.27	c #Conflicts:    1062000 | #Constraints:      43706
1932.70/1978.27	c #Conflicts:    1063000 | #Constraints:      44706
1932.70/1978.27	c #Conflicts:    1064000 | #Constraints:      45706
1932.70/1978.27	c #Conflicts:    1065000 | #Constraints:      46706
1932.70/1978.27	c #Conflicts:    1066000 | #Constraints:      47706
1932.70/1978.27	c #Conflicts:    1067000 | #Constraints:      48706
1932.70/1978.27	c #Conflicts:    1068000 | #Constraints:      49706
1932.70/1978.27	c #Conflicts:    1069000 | #Constraints:      50706
1932.70/1978.27	c #Conflicts:    1070000 | #Constraints:      51706
1932.70/1978.27	c #Conflicts:    1071000 | #Constraints:      52706
1932.70/1978.27	c #Conflicts:    1072000 | #Constraints:      53706
1932.70/1978.27	c INPROCESSING
1932.70/1978.27	c GARBAGE COLLECT
1932.70/1978.27	c #Conflicts:    1073000 | #Constraints:      31132
1932.70/1978.27	c #Conflicts:    1074000 | #Constraints:      32132
1932.70/1978.27	c #Conflicts:    1075000 | #Constraints:      33132
1932.70/1978.27	c #Conflicts:    1076000 | #Constraints:      34132
1932.70/1978.27	c #Conflicts:    1077000 | #Constraints:      35132
1932.70/1978.27	c #Conflicts:    1078000 | #Constraints:      36132
1932.70/1978.27	c #Conflicts:    1079000 | #Constraints:      37132
1932.70/1978.27	c #Conflicts:    1080000 | #Constraints:      38132
1932.70/1978.27	c #Conflicts:    1081000 | #Constraints:      39132
1932.70/1978.27	c #Conflicts:    1082000 | #Constraints:      40132
1932.70/1978.27	c #Conflicts:    1083000 | #Constraints:      41132
1932.70/1978.27	c #Conflicts:    1084000 | #Constraints:      42132
1932.70/1978.27	c #Conflicts:    1085000 | #Constraints:      43132
1932.70/1978.27	c #Conflicts:    1086000 | #Constraints:      44132
1932.70/1978.27	c #Conflicts:    1087000 | #Constraints:      45132
1932.70/1978.27	c #Conflicts:    1088000 | #Constraints:      46132
1932.70/1978.27	c #Conflicts:    1089000 | #Constraints:      47132
1932.70/1978.27	c #Conflicts:    1090000 | #Constraints:      48132
1932.70/1978.27	c #Conflicts:    1091000 | #Constraints:      49132
1932.70/1978.27	c #Conflicts:    1092000 | #Constraints:      50132
1932.70/1978.27	c #Conflicts:    1093000 | #Constraints:      51132
1932.70/1978.27	c #Conflicts:    1094000 | #Constraints:      52132
1932.70/1978.27	c #Conflicts:    1095000 | #Constraints:      53132
1932.70/1978.27	c #Conflicts:    1096000 | #Constraints:      54132
1932.70/1978.27	c #Conflicts:    1097000 | #Constraints:      55132
1932.70/1978.27	c #Conflicts:    1098000 | #Constraints:      56132
1932.70/1978.27	c #Conflicts:    1099000 | #Constraints:      57132
1932.70/1978.27	c #Conflicts:    1100000 | #Constraints:      58132
1932.70/1978.27	c #Conflicts:    1101000 | #Constraints:      59132
1932.70/1978.27	c #Conflicts:    1102000 | #Constraints:      60132
1932.70/1978.27	c #Conflicts:    1103000 | #Constraints:      61132
1932.70/1978.27	c #Conflicts:    1104000 | #Constraints:      62132
1932.70/1978.27	c #Conflicts:    1105000 | #Constraints:      63132
1932.70/1978.27	c #Conflicts:    1106000 | #Constraints:      64132
1932.70/1978.27	c #Conflicts:    1107000 | #Constraints:      65132
1932.70/1978.27	c #Conflicts:    1108000 | #Constraints:      66132
1932.70/1978.27	c #Conflicts:    1109000 | #Constraints:      67132
1932.70/1978.27	c #Conflicts:    1110000 | #Constraints:      68132
1932.70/1978.27	c #Conflicts:    1111000 | #Constraints:      69132
1932.70/1978.27	c #Conflicts:    1112000 | #Constraints:      70132
1932.70/1978.27	c #Conflicts:    1113000 | #Constraints:      71132
1932.70/1978.27	c #Conflicts:    1114000 | #Constraints:      72133
1932.70/1978.27	c #Conflicts:    1115000 | #Constraints:      73133
1932.70/1978.27	c #Conflicts:    1116000 | #Constraints:      74133
1932.70/1978.27	c #Conflicts:    1117000 | #Constraints:      75133
1932.70/1978.27	c #Conflicts:    1118000 | #Constraints:      76133
1932.70/1978.27	c #Conflicts:    1119000 | #Constraints:      77133
1932.70/1978.27	c #Conflicts:    1120000 | #Constraints:      78133
1932.70/1978.27	c #Conflicts:    1121000 | #Constraints:      79133
1932.70/1978.27	c #Conflicts:    1122000 | #Constraints:      80133
1932.70/1978.27	c #Conflicts:    1123000 | #Constraints:      81133
1932.70/1978.27	c #Conflicts:    1124000 | #Constraints:      82133
1932.70/1978.27	c #Conflicts:    1125000 | #Constraints:      83133
1932.70/1978.27	c #Conflicts:    1126000 | #Constraints:      84133
1932.70/1978.27	c #Conflicts:    1127000 | #Constraints:      85133
1932.70/1978.27	c #Conflicts:    1128000 | #Constraints:      86133
2134.04/2182.52	c #Conflicts:    1129000 | #Constraints:      87133
2134.04/2182.52	c #Conflicts:    1130000 | #Constraints:      88133
2134.04/2182.52	c #Conflicts:    1131000 | #Constraints:      89133
2134.04/2182.52	c #Conflicts:    1132000 | #Constraints:      90133
2134.04/2182.52	c #Conflicts:    1133000 | #Constraints:      91133
2134.04/2182.52	c #Conflicts:    1134000 | #Constraints:      92133
2134.04/2182.52	c #Conflicts:    1135000 | #Constraints:      93133
2134.04/2182.52	c #Conflicts:    1136000 | #Constraints:      94133
2134.04/2182.52	c #Conflicts:    1137000 | #Constraints:      95133
2134.04/2182.52	c #Conflicts:    1138000 | #Constraints:      96133
2134.04/2182.52	c #Conflicts:    1139000 | #Constraints:      97133
2134.04/2182.52	c #Conflicts:    1140000 | #Constraints:      98133
2134.04/2182.52	c #Conflicts:    1141000 | #Constraints:      99133
2134.04/2182.52	c #Conflicts:    1142000 | #Constraints:     100133
2134.04/2182.52	c #Conflicts:    1143000 | #Constraints:     101133
2134.04/2182.52	c #Conflicts:    1144000 | #Constraints:     102133
2134.04/2182.52	c #Conflicts:    1145000 | #Constraints:     103133
2134.04/2182.52	c #Conflicts:    1146000 | #Constraints:     104133
2134.04/2182.52	c #Conflicts:    1147000 | #Constraints:     105133
2134.04/2182.52	c #Conflicts:    1148000 | #Constraints:     106133
2134.04/2182.52	c #Conflicts:    1149000 | #Constraints:     107133
2134.04/2182.52	c #Conflicts:    1150000 | #Constraints:     108133
2134.04/2182.52	c #Conflicts:    1151000 | #Constraints:     109133
2134.04/2182.52	c #Conflicts:    1152000 | #Constraints:     110133
2134.04/2182.52	c #Conflicts:    1153000 | #Constraints:     111133
2134.04/2182.52	c #Conflicts:    1154000 | #Constraints:     112133
2134.04/2182.52	c #Conflicts:    1155000 | #Constraints:     113133
2134.04/2182.52	c INPROCESSING
2134.04/2182.52	c GARBAGE COLLECT
2134.04/2182.52	c #Conflicts:    1156000 | #Constraints:      61098
2134.04/2182.52	c #Conflicts:    1157000 | #Constraints:      62098
2134.04/2182.52	c #Conflicts:    1158000 | #Constraints:      63098
2134.04/2182.52	c #Conflicts:    1159000 | #Constraints:      64098
2134.04/2182.52	c #Conflicts:    1160000 | #Constraints:      65098
2134.04/2182.52	c #Conflicts:    1161000 | #Constraints:      66098
2134.04/2182.52	c #Conflicts:    1162000 | #Constraints:      67098
2134.04/2182.52	c #Conflicts:    1163000 | #Constraints:      68098
2134.04/2182.52	c #Conflicts:    1164000 | #Constraints:      69098
2134.04/2182.52	c #Conflicts:    1165000 | #Constraints:      70098
2134.04/2182.52	c #Conflicts:    1166000 | #Constraints:      71098
2134.04/2182.52	c #Conflicts:    1167000 | #Constraints:      72098
2134.04/2182.52	c #Conflicts:    1168000 | #Constraints:      73098
2134.04/2182.52	c #Conflicts:    1169000 | #Constraints:      74098
2134.04/2182.52	c #Conflicts:    1170000 | #Constraints:      75098
2134.04/2182.52	c #Conflicts:    1171000 | #Constraints:      76098
2134.04/2182.52	c #Conflicts:    1172000 | #Constraints:      77098
2134.04/2182.52	c #Conflicts:    1173000 | #Constraints:      78098
2134.04/2182.52	c #Conflicts:    1174000 | #Constraints:      79098
2134.04/2182.52	c #Conflicts:    1175000 | #Constraints:      80098
2134.04/2182.52	c #Conflicts:    1176000 | #Constraints:      81098
2134.04/2182.52	c #Conflicts:    1177000 | #Constraints:      82098
2134.04/2182.52	c #Conflicts:    1178000 | #Constraints:      83098
2134.04/2182.52	c #Conflicts:    1179000 | #Constraints:      84098
2134.04/2182.52	c INPROCESSING
2134.04/2182.52	c GARBAGE COLLECT
2134.04/2182.52	c #Conflicts:    1180000 | #Constraints:      46492
2134.04/2182.52	c #Conflicts:    1181000 | #Constraints:      47492
2134.04/2182.52	c #Conflicts:    1182000 | #Constraints:      48492
2134.04/2182.52	c #Conflicts:    1183000 | #Constraints:      49492
2134.04/2182.52	c #Conflicts:    1184000 | #Constraints:      50492
2134.04/2182.52	c #Conflicts:    1185000 | #Constraints:      51492
2134.04/2182.52	c #Conflicts:    1186000 | #Constraints:      52492
2134.04/2182.52	c #Conflicts:    1187000 | #Constraints:      53492
2134.04/2182.52	c #Conflicts:    1188000 | #Constraints:      54492
2134.04/2182.52	c #Conflicts:    1189000 | #Constraints:      55492
2134.04/2182.52	c #Conflicts:    1190000 | #Constraints:      56492
2134.04/2182.52	c #Conflicts:    1191000 | #Constraints:      57492
2134.04/2182.52	c #Conflicts:    1192000 | #Constraints:      58492
2134.04/2182.52	c #Conflicts:    1193000 | #Constraints:      59492
2134.04/2182.52	c #Conflicts:    1194000 | #Constraints:      60492
2134.04/2182.52	c #Conflicts:    1195000 | #Constraints:      61492
2134.04/2182.52	c #Conflicts:    1196000 | #Constraints:      62492
2134.04/2182.52	c #Conflicts:    1197000 | #Constraints:      63492
2134.04/2182.52	c #Conflicts:    1198000 | #Constraints:      64492
2134.04/2182.52	c #Conflicts:    1199000 | #Constraints:      65492
2134.04/2182.52	c #Conflicts:    1200000 | #Constraints:      66492
2134.04/2182.52	c #Conflicts:    1201000 | #Constraints:      67492
2134.04/2182.52	c #Conflicts:    1202000 | #Constraints:      68492
2134.04/2182.52	c #Conflicts:    1203000 | #Constraints:      69492
2134.04/2182.52	c INPROCESSING
2134.04/2182.52	c GARBAGE COLLECT
2134.04/2182.52	c #Conflicts:    1204000 | #Constraints:      39088
2260.81/2310.03	c #Conflicts:    1205000 | #Constraints:      40088
2260.81/2310.03	c #Conflicts:    1206000 | #Constraints:      41088
2260.81/2310.03	c #Conflicts:    1207000 | #Constraints:      42088
2260.81/2310.03	c #Conflicts:    1208000 | #Constraints:      43088
2260.81/2310.03	c #Conflicts:    1209000 | #Constraints:      44088
2260.81/2310.03	c #Conflicts:    1210000 | #Constraints:      45088
2260.81/2310.03	c #Conflicts:    1211000 | #Constraints:      46088
2260.81/2310.03	c #Conflicts:    1212000 | #Constraints:      47088
2260.81/2310.03	c #Conflicts:    1213000 | #Constraints:      48088
2260.81/2310.03	c #Conflicts:    1214000 | #Constraints:      49088
2260.81/2310.03	c #Conflicts:    1215000 | #Constraints:      50088
2260.81/2310.03	c #Conflicts:    1216000 | #Constraints:      51088
2260.81/2310.03	c #Conflicts:    1217000 | #Constraints:      52088
2260.81/2310.03	c #Conflicts:    1218000 | #Constraints:      53088
2260.81/2310.03	c #Conflicts:    1219000 | #Constraints:      54088
2260.81/2310.03	c #Conflicts:    1220000 | #Constraints:      55088
2260.81/2310.03	c #Conflicts:    1221000 | #Constraints:      56088
2260.81/2310.03	c #Conflicts:    1222000 | #Constraints:      57088
2260.81/2310.03	c #Conflicts:    1223000 | #Constraints:      58088
2260.81/2310.03	c #Conflicts:    1224000 | #Constraints:      59088
2260.81/2310.03	c #Conflicts:    1225000 | #Constraints:      60088
2260.81/2310.03	c #Conflicts:    1226000 | #Constraints:      61088
2260.81/2310.03	c #Conflicts:    1227000 | #Constraints:      62088
2260.81/2310.03	c #Conflicts:    1228000 | #Constraints:      63088
2260.81/2310.03	c INPROCESSING
2260.81/2310.03	c GARBAGE COLLECT
2260.81/2310.03	c #Conflicts:    1229000 | #Constraints:      36047
2260.81/2310.03	c #Conflicts:    1230000 | #Constraints:      37047
2260.81/2310.03	c #Conflicts:    1231000 | #Constraints:      38047
2260.81/2310.03	c #Conflicts:    1232000 | #Constraints:      39047
2260.81/2310.03	c #Conflicts:    1233000 | #Constraints:      40047
2260.81/2310.03	c #Conflicts:    1234000 | #Constraints:      41047
2260.81/2310.03	c #Conflicts:    1235000 | #Constraints:      42047
2260.81/2310.03	c #Conflicts:    1236000 | #Constraints:      43047
2260.81/2310.03	c #Conflicts:    1237000 | #Constraints:      44047
2260.81/2310.03	c #Conflicts:    1238000 | #Constraints:      45047
2260.81/2310.03	c #Conflicts:    1239000 | #Constraints:      46047
2260.81/2310.03	c #Conflicts:    1240000 | #Constraints:      47047
2260.81/2310.03	c #Conflicts:    1241000 | #Constraints:      48047
2260.81/2310.03	c #Conflicts:    1242000 | #Constraints:      49047
2260.81/2310.03	c #Conflicts:    1243000 | #Constraints:      50047
2260.81/2310.03	c #Conflicts:    1244000 | #Constraints:      51047
2260.81/2310.03	c #Conflicts:    1245000 | #Constraints:      52047
2260.81/2310.03	c #Conflicts:    1246000 | #Constraints:      53047
2260.81/2310.03	c #Conflicts:    1247000 | #Constraints:      54047
2260.81/2310.03	c #Conflicts:    1248000 | #Constraints:      55047
2260.81/2310.03	c #Conflicts:    1249000 | #Constraints:      56047
2260.81/2310.03	c #Conflicts:    1250000 | #Constraints:      57047
2260.81/2310.03	c #Conflicts:    1251000 | #Constraints:      58047
2260.81/2310.03	c #Conflicts:    1252000 | #Constraints:      59047
2260.81/2310.03	c #Conflicts:    1253000 | #Constraints:      60047
2260.81/2310.03	c INPROCESSING
2260.81/2310.03	c GARBAGE COLLECT
2260.81/2310.03	c #Conflicts:    1254000 | #Constraints:      34570
2260.81/2310.03	c #Conflicts:    1255000 | #Constraints:      35570
2260.81/2310.03	c #Conflicts:    1256000 | #Constraints:      36570
2260.81/2310.03	c #Conflicts:    1257000 | #Constraints:      37570
2260.81/2310.03	c #Conflicts:    1258000 | #Constraints:      38570
2260.81/2310.03	c #Conflicts:    1259000 | #Constraints:      39570
2260.81/2310.03	c #Conflicts:    1260000 | #Constraints:      40570
2260.81/2310.03	c #Conflicts:    1261000 | #Constraints:      41570
2260.81/2310.03	c #Conflicts:    1262000 | #Constraints:      42570
2260.81/2310.03	c #Conflicts:    1263000 | #Constraints:      43570
2260.81/2310.03	c #Conflicts:    1264000 | #Constraints:      44570
2260.81/2310.03	c #Conflicts:    1265000 | #Constraints:      45570
2260.81/2310.03	c #Conflicts:    1266000 | #Constraints:      46570
2260.81/2310.03	c #Conflicts:    1267000 | #Constraints:      47570
2260.81/2310.03	c #Conflicts:    1268000 | #Constraints:      48570
2260.81/2310.03	c #Conflicts:    1269000 | #Constraints:      49570
2260.81/2310.03	c #Conflicts:    1270000 | #Constraints:      50570
2260.81/2310.03	c #Conflicts:    1271000 | #Constraints:      51570
2260.81/2310.03	c #Conflicts:    1272000 | #Constraints:      52570
2260.81/2310.03	c #Conflicts:    1273000 | #Constraints:      53570
2260.81/2310.03	c #Conflicts:    1274000 | #Constraints:      54570
2260.81/2310.03	c #Conflicts:    1275000 | #Constraints:      55570
2260.81/2310.03	c #Conflicts:    1276000 | #Constraints:      56570
2260.81/2310.03	c #Conflicts:    1277000 | #Constraints:      57570
2260.81/2310.03	c #Conflicts:    1278000 | #Constraints:      58570
2260.81/2310.03	c INPROCESSING
2260.81/2310.03	c GARBAGE COLLECT
2260.81/2310.03	c #Conflicts:    1279000 | #Constraints:      33875
2260.81/2310.03	c #Conflicts:    1280000 | #Constraints:      34875
2260.81/2310.03	c #Conflicts:    1281000 | #Constraints:      35875
2473.38/2523.72	c #Conflicts:    1282000 | #Constraints:      36875
2473.38/2523.72	c #Conflicts:    1283000 | #Constraints:      37875
2473.38/2523.72	c #Conflicts:    1284000 | #Constraints:      38875
2473.38/2523.72	c #Conflicts:    1285000 | #Constraints:      39875
2473.38/2523.72	c #Conflicts:    1286000 | #Constraints:      40875
2473.38/2523.72	c #Conflicts:    1287000 | #Constraints:      41875
2473.38/2523.72	c #Conflicts:    1288000 | #Constraints:      42875
2473.38/2523.72	c #Conflicts:    1289000 | #Constraints:      43875
2473.38/2523.72	c #Conflicts:    1290000 | #Constraints:      44875
2473.38/2523.72	c #Conflicts:    1291000 | #Constraints:      45875
2473.38/2523.72	c #Conflicts:    1292000 | #Constraints:      46875
2473.38/2523.72	c #Conflicts:    1293000 | #Constraints:      47875
2473.38/2523.72	c #Conflicts:    1294000 | #Constraints:      48875
2473.38/2523.72	c #Conflicts:    1295000 | #Constraints:      49875
2473.38/2523.72	c #Conflicts:    1296000 | #Constraints:      50875
2473.38/2523.72	c #Conflicts:    1297000 | #Constraints:      51875
2473.38/2523.72	c #Conflicts:    1298000 | #Constraints:      52875
2473.38/2523.72	c #Conflicts:    1299000 | #Constraints:      53875
2473.38/2523.72	c #Conflicts:    1300000 | #Constraints:      54875
2473.38/2523.72	c #Conflicts:    1301000 | #Constraints:      55875
2473.38/2523.72	c #Conflicts:    1302000 | #Constraints:      56875
2473.38/2523.72	c #Conflicts:    1303000 | #Constraints:      57875
2473.38/2523.72	c #Conflicts:    1304000 | #Constraints:      58875
2473.38/2523.72	c #Conflicts:    1305000 | #Constraints:      59875
2473.38/2523.72	c #Conflicts:    1306000 | #Constraints:      60875
2473.38/2523.72	c #Conflicts:    1307000 | #Constraints:      61875
2473.38/2523.72	c #Conflicts:    1308000 | #Constraints:      62875
2473.38/2523.72	c #Conflicts:    1309000 | #Constraints:      63875
2473.38/2523.72	c #Conflicts:    1310000 | #Constraints:      64875
2473.38/2523.72	c #Conflicts:    1311000 | #Constraints:      65875
2473.38/2523.72	c #Conflicts:    1312000 | #Constraints:      66875
2473.38/2523.72	c #Conflicts:    1313000 | #Constraints:      67875
2473.38/2523.72	c #Conflicts:    1314000 | #Constraints:      68875
2473.38/2523.72	c #Conflicts:    1315000 | #Constraints:      69875
2473.38/2523.72	c #Conflicts:    1316000 | #Constraints:      70875
2473.38/2523.72	c #Conflicts:    1317000 | #Constraints:      71875
2473.38/2523.72	c #Conflicts:    1318000 | #Constraints:      72875
2473.38/2523.72	c #Conflicts:    1319000 | #Constraints:      73875
2473.38/2523.72	c #Conflicts:    1320000 | #Constraints:      74875
2473.38/2523.72	c #Conflicts:    1321000 | #Constraints:      75875
2473.38/2523.72	c #Conflicts:    1322000 | #Constraints:      76875
2473.38/2523.72	c #Conflicts:    1323000 | #Constraints:      77875
2473.38/2523.72	c #Conflicts:    1324000 | #Constraints:      78875
2473.38/2523.72	c #Conflicts:    1325000 | #Constraints:      79875
2473.38/2523.72	c #Conflicts:    1326000 | #Constraints:      80875
2473.38/2523.72	c #Conflicts:    1327000 | #Constraints:      81875
2473.38/2523.72	c #Conflicts:    1328000 | #Constraints:      82875
2473.38/2523.72	c #Conflicts:    1329000 | #Constraints:      83875
2473.38/2523.72	c #Conflicts:    1330000 | #Constraints:      84875
2473.38/2523.72	c #Conflicts:    1331000 | #Constraints:      85875
2473.38/2523.72	c #Conflicts:    1332000 | #Constraints:      86875
2473.38/2523.72	c #Conflicts:    1333000 | #Constraints:      87875
2473.38/2523.72	c #Conflicts:    1334000 | #Constraints:      88875
2473.38/2523.72	c #Conflicts:    1335000 | #Constraints:      89875
2473.38/2523.72	c #Conflicts:    1336000 | #Constraints:      90875
2473.38/2523.72	c #Conflicts:    1337000 | #Constraints:      91875
2473.38/2523.72	c #Conflicts:    1338000 | #Constraints:      92875
2473.38/2523.72	c #Conflicts:    1339000 | #Constraints:      93875
2473.38/2523.72	c #Conflicts:    1340000 | #Constraints:      94875
2473.38/2523.72	c #Conflicts:    1341000 | #Constraints:      95875
2473.38/2523.72	c #Conflicts:    1342000 | #Constraints:      96875
2473.38/2523.72	c #Conflicts:    1343000 | #Constraints:      97875
2473.38/2523.72	c #Conflicts:    1344000 | #Constraints:      98875
2473.38/2523.72	c #Conflicts:    1345000 | #Constraints:      99875
2473.38/2523.72	c #Conflicts:    1346000 | #Constraints:     100875
2473.38/2523.72	c #Conflicts:    1347000 | #Constraints:     101876
2473.38/2523.72	c #Conflicts:    1348000 | #Constraints:     102876
2473.38/2523.72	c #Conflicts:    1349000 | #Constraints:     103876
2473.38/2523.72	c #Conflicts:    1350000 | #Constraints:     104876
2473.38/2523.72	c #Conflicts:    1351000 | #Constraints:     105876
2473.38/2523.72	c #Conflicts:    1352000 | #Constraints:     106876
2473.38/2523.72	c #Conflicts:    1353000 | #Constraints:     107876
2473.38/2523.72	c #Conflicts:    1354000 | #Constraints:     108876
2473.38/2523.72	c #Conflicts:    1355000 | #Constraints:     109876
2473.38/2523.72	c #Conflicts:    1356000 | #Constraints:     110876
2473.38/2523.72	c #Conflicts:    1357000 | #Constraints:     111876
2473.38/2523.72	c #Conflicts:    1358000 | #Constraints:     112876
2473.38/2523.72	c #Conflicts:    1359000 | #Constraints:     113876
2473.38/2523.72	c #Conflicts:    1360000 | #Constraints:     114876
2679.20/2730.42	c #Conflicts:    1361000 | #Constraints:     115876
2679.20/2730.42	c #Conflicts:    1362000 | #Constraints:     116876
2679.20/2730.42	c #Conflicts:    1363000 | #Constraints:     117876
2679.20/2730.42	c #Conflicts:    1364000 | #Constraints:     118876
2679.20/2730.42	c #Conflicts:    1365000 | #Constraints:     119876
2679.20/2730.42	c #Conflicts:    1366000 | #Constraints:     120876
2679.20/2730.42	c #Conflicts:    1367000 | #Constraints:     121876
2679.20/2730.42	c #Conflicts:    1368000 | #Constraints:     122876
2679.20/2730.42	c INPROCESSING
2679.20/2730.42	c GARBAGE COLLECT
2679.20/2730.42	c #Conflicts:    1369000 | #Constraints:      66035
2679.20/2730.42	c #Conflicts:    1370000 | #Constraints:      67035
2679.20/2730.42	c #Conflicts:    1371000 | #Constraints:      68040
2679.20/2730.42	c #Conflicts:    1372000 | #Constraints:      69042
2679.20/2730.42	c #Conflicts:    1373000 | #Constraints:      70042
2679.20/2730.42	c #Conflicts:    1374000 | #Constraints:      71042
2679.20/2730.42	c #Conflicts:    1375000 | #Constraints:      72042
2679.20/2730.42	c #Conflicts:    1376000 | #Constraints:      73042
2679.20/2730.42	c #Conflicts:    1377000 | #Constraints:      74042
2679.20/2730.42	c #Conflicts:    1378000 | #Constraints:      75042
2679.20/2730.42	c #Conflicts:    1379000 | #Constraints:      76042
2679.20/2730.42	c #Conflicts:    1380000 | #Constraints:      77042
2679.20/2730.42	c #Conflicts:    1381000 | #Constraints:      78042
2679.20/2730.42	c #Conflicts:    1382000 | #Constraints:      79042
2679.20/2730.42	c #Conflicts:    1383000 | #Constraints:      80042
2679.20/2730.42	c #Conflicts:    1384000 | #Constraints:      81042
2679.20/2730.42	c #Conflicts:    1385000 | #Constraints:      82042
2679.20/2730.42	c #Conflicts:    1386000 | #Constraints:      83042
2679.20/2730.42	c #Conflicts:    1387000 | #Constraints:      84042
2679.20/2730.42	c #Conflicts:    1388000 | #Constraints:      85042
2679.20/2730.42	c #Conflicts:    1389000 | #Constraints:      86042
2679.20/2730.42	c #Conflicts:    1390000 | #Constraints:      87042
2679.20/2730.42	c #Conflicts:    1391000 | #Constraints:      88042
2679.20/2730.42	c #Conflicts:    1392000 | #Constraints:      89042
2679.20/2730.42	c #Conflicts:    1393000 | #Constraints:      90042
2679.20/2730.42	c #Conflicts:    1394000 | #Constraints:      91042
2679.20/2730.42	c INPROCESSING
2679.20/2730.42	c GARBAGE COLLECT
2679.20/2730.42	c #Conflicts:    1395000 | #Constraints:      49936
2679.20/2730.42	c #Conflicts:    1396000 | #Constraints:      50936
2679.20/2730.42	c #Conflicts:    1397000 | #Constraints:      51936
2679.20/2730.42	c #Conflicts:    1398000 | #Constraints:      52936
2679.20/2730.42	c #Conflicts:    1399000 | #Constraints:      53936
2679.20/2730.42	c #Conflicts:    1400000 | #Constraints:      54936
2679.20/2730.42	c #Conflicts:    1401000 | #Constraints:      55936
2679.20/2730.42	c #Conflicts:    1402000 | #Constraints:      56936
2679.20/2730.42	c #Conflicts:    1403000 | #Constraints:      57936
2679.20/2730.42	c #Conflicts:    1404000 | #Constraints:      58936
2679.20/2730.42	c #Conflicts:    1405000 | #Constraints:      59936
2679.20/2730.42	c #Conflicts:    1406000 | #Constraints:      60936
2679.20/2730.42	c #Conflicts:    1407000 | #Constraints:      61936
2679.20/2730.42	c #Conflicts:    1408000 | #Constraints:      62936
2679.20/2730.42	c #Conflicts:    1409000 | #Constraints:      63936
2679.20/2730.42	c #Conflicts:    1410000 | #Constraints:      64936
2679.20/2730.42	c #Conflicts:    1411000 | #Constraints:      65936
2679.20/2730.42	c #Conflicts:    1412000 | #Constraints:      66936
2679.20/2730.42	c #Conflicts:    1413000 | #Constraints:      67936
2679.20/2730.42	c #Conflicts:    1414000 | #Constraints:      68936
2679.20/2730.42	c #Conflicts:    1415000 | #Constraints:      69936
2679.20/2730.42	c #Conflicts:    1416000 | #Constraints:      70936
2679.20/2730.42	c #Conflicts:    1417000 | #Constraints:      71936
2679.20/2730.42	c #Conflicts:    1418000 | #Constraints:      72936
2679.20/2730.42	c #Conflicts:    1419000 | #Constraints:      73936
2679.20/2730.42	c #Conflicts:    1420000 | #Constraints:      74936
2679.20/2730.42	c INPROCESSING
2679.20/2730.42	c GARBAGE COLLECT
2679.20/2730.42	c #Conflicts:    1421000 | #Constraints:      41658
2679.20/2730.42	c #Conflicts:    1422000 | #Constraints:      42658
2679.20/2730.42	c #Conflicts:    1423000 | #Constraints:      43658
2679.20/2730.42	c #Conflicts:    1424000 | #Constraints:      44658
2679.20/2730.42	c #Conflicts:    1425000 | #Constraints:      45658
2679.20/2730.42	c #Conflicts:    1426000 | #Constraints:      46658
2679.20/2730.42	c #Conflicts:    1427000 | #Constraints:      47658
2679.20/2730.42	c #Conflicts:    1428000 | #Constraints:      48658
2679.20/2730.42	c #Conflicts:    1429000 | #Constraints:      49658
2679.20/2730.42	c #Conflicts:    1430000 | #Constraints:      50658
2679.20/2730.42	c #Conflicts:    1431000 | #Constraints:      51658
2679.20/2730.42	c #Conflicts:    1432000 | #Constraints:      52658
2679.20/2730.42	c #Conflicts:    1433000 | #Constraints:      53658
2679.20/2730.42	c #Conflicts:    1434000 | #Constraints:      54658
2679.20/2730.42	c #Conflicts:    1435000 | #Constraints:      55658
2679.20/2730.42	c #Conflicts:    1436000 | #Constraints:      56658
2679.20/2730.42	c #Conflicts:    1437000 | #Constraints:      57658
2795.45/2847.28	c #Conflicts:    1438000 | #Constraints:      58658
2795.45/2847.28	c #Conflicts:    1439000 | #Constraints:      59658
2795.45/2847.28	c #Conflicts:    1440000 | #Constraints:      60658
2795.45/2847.28	c #Conflicts:    1441000 | #Constraints:      61658
2795.45/2847.28	c #Conflicts:    1442000 | #Constraints:      62658
2795.45/2847.28	c #Conflicts:    1443000 | #Constraints:      63658
2795.45/2847.28	c #Conflicts:    1444000 | #Constraints:      64658
2795.45/2847.28	c #Conflicts:    1445000 | #Constraints:      65658
2795.45/2847.28	c #Conflicts:    1446000 | #Constraints:      66658
2795.45/2847.28	c #Conflicts:    1447000 | #Constraints:      67658
2795.45/2847.28	c INPROCESSING
2795.45/2847.28	c GARBAGE COLLECT
2795.45/2847.28	c #Conflicts:    1448000 | #Constraints:      38193
2795.45/2847.28	c #Conflicts:    1449000 | #Constraints:      39193
2795.45/2847.28	c #Conflicts:    1450000 | #Constraints:      40193
2795.45/2847.28	c #Conflicts:    1451000 | #Constraints:      41193
2795.45/2847.28	c #Conflicts:    1452000 | #Constraints:      42193
2795.45/2847.28	c #Conflicts:    1453000 | #Constraints:      43193
2795.45/2847.28	c #Conflicts:    1454000 | #Constraints:      44193
2795.45/2847.28	c #Conflicts:    1455000 | #Constraints:      45193
2795.45/2847.28	c #Conflicts:    1456000 | #Constraints:      46193
2795.45/2847.28	c #Conflicts:    1457000 | #Constraints:      47193
2795.45/2847.28	c #Conflicts:    1458000 | #Constraints:      48193
2795.45/2847.28	c #Conflicts:    1459000 | #Constraints:      49193
2795.45/2847.28	c #Conflicts:    1460000 | #Constraints:      50193
2795.45/2847.28	c #Conflicts:    1461000 | #Constraints:      51193
2795.45/2847.28	c #Conflicts:    1462000 | #Constraints:      52193
2795.45/2847.28	c #Conflicts:    1463000 | #Constraints:      53193
2795.45/2847.28	c #Conflicts:    1464000 | #Constraints:      54193
2795.45/2847.28	c #Conflicts:    1465000 | #Constraints:      55193
2795.45/2847.28	c #Conflicts:    1466000 | #Constraints:      56193
2795.45/2847.28	c #Conflicts:    1467000 | #Constraints:      57193
2795.45/2847.28	c #Conflicts:    1468000 | #Constraints:      58193
2795.45/2847.28	c #Conflicts:    1469000 | #Constraints:      59193
2795.45/2847.28	c #Conflicts:    1470000 | #Constraints:      60193
2795.45/2847.28	c #Conflicts:    1471000 | #Constraints:      61193
2795.45/2847.28	c #Conflicts:    1472000 | #Constraints:      62193
2795.45/2847.28	c #Conflicts:    1473000 | #Constraints:      63193
2795.45/2847.28	c #Conflicts:    1474000 | #Constraints:      64193
2795.45/2847.28	c INPROCESSING
2795.45/2847.28	c GARBAGE COLLECT
2795.45/2847.28	c #Conflicts:    1475000 | #Constraints:      36529
2795.45/2847.28	c #Conflicts:    1476000 | #Constraints:      37529
2795.45/2847.28	c #Conflicts:    1477000 | #Constraints:      38529
2795.45/2847.28	c #Conflicts:    1478000 | #Constraints:      39529
2795.45/2847.28	c #Conflicts:    1479000 | #Constraints:      40529
2795.45/2847.28	c #Conflicts:    1480000 | #Constraints:      41529
2795.45/2847.28	c #Conflicts:    1481000 | #Constraints:      42529
2795.45/2847.28	c #Conflicts:    1482000 | #Constraints:      43529
2795.45/2847.28	c #Conflicts:    1483000 | #Constraints:      44529
2795.45/2847.28	c #Conflicts:    1484000 | #Constraints:      45529
2795.45/2847.28	c #Conflicts:    1485000 | #Constraints:      46529
2795.45/2847.28	c #Conflicts:    1486000 | #Constraints:      47529
2795.45/2847.28	c #Conflicts:    1487000 | #Constraints:      48529
2795.45/2847.28	c #Conflicts:    1488000 | #Constraints:      49529
2795.45/2847.28	c #Conflicts:    1489000 | #Constraints:      50529
2795.45/2847.28	c #Conflicts:    1490000 | #Constraints:      51529
2795.45/2847.28	c #Conflicts:    1491000 | #Constraints:      52529
2795.45/2847.28	c #Conflicts:    1492000 | #Constraints:      53529
2795.45/2847.28	c #Conflicts:    1493000 | #Constraints:      54529
2795.45/2847.28	c #Conflicts:    1494000 | #Constraints:      55529
2795.45/2847.28	c #Conflicts:    1495000 | #Constraints:      56529
2795.45/2847.28	c #Conflicts:    1496000 | #Constraints:      57529
2795.45/2847.28	c #Conflicts:    1497000 | #Constraints:      58529
2795.45/2847.28	c #Conflicts:    1498000 | #Constraints:      59529
2795.45/2847.28	c #Conflicts:    1499000 | #Constraints:      60529
2795.45/2847.28	c #Conflicts:    1500000 | #Constraints:      61529
2795.45/2847.28	c #Conflicts:    1501000 | #Constraints:      62529
2795.45/2847.28	c INPROCESSING
2795.45/2847.28	c GARBAGE COLLECT
2795.45/2847.28	c #Conflicts:    1502000 | #Constraints:      35616
2795.45/2847.28	c #Conflicts:    1503000 | #Constraints:      36616
2795.45/2847.28	c #Conflicts:    1504000 | #Constraints:      37616
2795.45/2847.28	c #Conflicts:    1505000 | #Constraints:      38616
2795.45/2847.28	c #Conflicts:    1506000 | #Constraints:      39616
2795.45/2847.28	c #Conflicts:    1507000 | #Constraints:      40616
2795.45/2847.28	c #Conflicts:    1508000 | #Constraints:      41616
2795.45/2847.28	c #Conflicts:    1509000 | #Constraints:      42616
2795.45/2847.28	c #Conflicts:    1510000 | #Constraints:      43616
2795.45/2847.28	c #Conflicts:    1511000 | #Constraints:      44616
2795.45/2847.28	c #Conflicts:    1512000 | #Constraints:      45616
2795.45/2847.28	c #Conflicts:    1513000 | #Constraints:      46616
2795.45/2847.28	c #Conflicts:    1514000 | #Constraints:      47616
3052.42/3106.85	c #Conflicts:    1515000 | #Constraints:      48616
3052.42/3106.85	c #Conflicts:    1516000 | #Constraints:      49616
3052.42/3106.85	c #Conflicts:    1517000 | #Constraints:      50616
3052.42/3106.85	c #Conflicts:    1518000 | #Constraints:      51616
3052.42/3106.85	c #Conflicts:    1519000 | #Constraints:      52616
3052.42/3106.85	c #Conflicts:    1520000 | #Constraints:      53616
3052.42/3106.85	c #Conflicts:    1521000 | #Constraints:      54616
3052.42/3106.85	c #Conflicts:    1522000 | #Constraints:      55616
3052.42/3106.85	c #Conflicts:    1523000 | #Constraints:      56616
3052.42/3106.85	c #Conflicts:    1524000 | #Constraints:      57616
3052.42/3106.85	c #Conflicts:    1525000 | #Constraints:      58616
3052.42/3106.85	c #Conflicts:    1526000 | #Constraints:      59616
3052.42/3106.85	c #Conflicts:    1527000 | #Constraints:      60616
3052.42/3106.85	c #Conflicts:    1528000 | #Constraints:      61616
3052.42/3106.85	c #Conflicts:    1529000 | #Constraints:      62616
3052.42/3106.85	c #Conflicts:    1530000 | #Constraints:      63616
3052.42/3106.85	c #Conflicts:    1531000 | #Constraints:      64616
3052.42/3106.85	c #Conflicts:    1532000 | #Constraints:      65616
3052.42/3106.85	c #Conflicts:    1533000 | #Constraints:      66616
3052.42/3106.85	c #Conflicts:    1534000 | #Constraints:      67616
3052.42/3106.85	c #Conflicts:    1535000 | #Constraints:      68616
3052.42/3106.85	c #Conflicts:    1536000 | #Constraints:      69616
3052.42/3106.85	c #Conflicts:    1537000 | #Constraints:      70616
3052.42/3106.85	c #Conflicts:    1538000 | #Constraints:      71616
3052.42/3106.85	c #Conflicts:    1539000 | #Constraints:      72616
3052.42/3106.85	c #Conflicts:    1540000 | #Constraints:      73616
3052.42/3106.85	c #Conflicts:    1541000 | #Constraints:      74616
3052.42/3106.85	c #Conflicts:    1542000 | #Constraints:      75616
3052.42/3106.85	c #Conflicts:    1543000 | #Constraints:      76616
3052.42/3106.85	c #Conflicts:    1544000 | #Constraints:      77616
3052.42/3106.85	c #Conflicts:    1545000 | #Constraints:      78616
3052.42/3106.85	c #Conflicts:    1546000 | #Constraints:      79616
3052.42/3106.85	c #Conflicts:    1547000 | #Constraints:      80616
3052.42/3106.85	c #Conflicts:    1548000 | #Constraints:      81616
3052.42/3106.85	c #Conflicts:    1549000 | #Constraints:      82616
3052.42/3106.85	c #Conflicts:    1550000 | #Constraints:      83616
3052.42/3106.85	c #Conflicts:    1551000 | #Constraints:      84616
3052.42/3106.85	c #Conflicts:    1552000 | #Constraints:      85616
3052.42/3106.85	c #Conflicts:    1553000 | #Constraints:      86616
3052.42/3106.85	c #Conflicts:    1554000 | #Constraints:      87616
3052.42/3106.85	c #Conflicts:    1555000 | #Constraints:      88616
3052.42/3106.85	c #Conflicts:    1556000 | #Constraints:      89616
3052.42/3106.85	c #Conflicts:    1557000 | #Constraints:      90616
3052.42/3106.85	c #Conflicts:    1558000 | #Constraints:      91616
3052.42/3106.85	c #Conflicts:    1559000 | #Constraints:      92616
3052.42/3106.85	c #Conflicts:    1560000 | #Constraints:      93616
3052.42/3106.85	c #Conflicts:    1561000 | #Constraints:      94616
3052.42/3106.85	c #Conflicts:    1562000 | #Constraints:      95616
3052.42/3106.85	c #Conflicts:    1563000 | #Constraints:      96616
3052.42/3106.85	c #Conflicts:    1564000 | #Constraints:      97616
3052.42/3106.85	c #Conflicts:    1565000 | #Constraints:      98616
3052.42/3106.85	c #Conflicts:    1566000 | #Constraints:      99616
3052.42/3106.85	c #Conflicts:    1567000 | #Constraints:     100616
3052.42/3106.85	c #Conflicts:    1568000 | #Constraints:     101616
3052.42/3106.85	c #Conflicts:    1569000 | #Constraints:     102616
3052.42/3106.85	c #Conflicts:    1570000 | #Constraints:     103616
3052.42/3106.85	c #Conflicts:    1571000 | #Constraints:     104616
3052.42/3106.85	c #Conflicts:    1572000 | #Constraints:     105616
3052.42/3106.85	c #Conflicts:    1573000 | #Constraints:     106616
3052.42/3106.85	c #Conflicts:    1574000 | #Constraints:     107616
3052.42/3106.85	c #Conflicts:    1575000 | #Constraints:     108616
3052.42/3106.85	c #Conflicts:    1576000 | #Constraints:     109616
3052.42/3106.85	c #Conflicts:    1577000 | #Constraints:     110616
3052.42/3106.85	c #Conflicts:    1578000 | #Constraints:     111616
3052.42/3106.85	c #Conflicts:    1579000 | #Constraints:     112616
3052.42/3106.85	c #Conflicts:    1580000 | #Constraints:     113616
3052.42/3106.85	c #Conflicts:    1581000 | #Constraints:     114616
3052.42/3106.85	c #Conflicts:    1582000 | #Constraints:     115616
3052.42/3106.85	c #Conflicts:    1583000 | #Constraints:     116616
3052.42/3106.85	c #Conflicts:    1584000 | #Constraints:     117616
3052.42/3106.85	c #Conflicts:    1585000 | #Constraints:     118616
3052.42/3106.85	c #Conflicts:    1586000 | #Constraints:     119616
3052.42/3106.85	c #Conflicts:    1587000 | #Constraints:     120616
3052.42/3106.85	c #Conflicts:    1588000 | #Constraints:     121616
3052.42/3106.85	c #Conflicts:    1589000 | #Constraints:     122616
3052.42/3106.85	c #Conflicts:    1590000 | #Constraints:     123616
3052.42/3106.85	c #Conflicts:    1591000 | #Constraints:     124616
3052.42/3106.85	c #Conflicts:    1592000 | #Constraints:     125616
3052.42/3106.85	c #Conflicts:    1593000 | #Constraints:     126616
3287.94/3343.74	c #Conflicts:    1594000 | #Constraints:     127616
3287.94/3343.74	c #Conflicts:    1595000 | #Constraints:     128616
3287.94/3343.74	c #Conflicts:    1596000 | #Constraints:     129616
3287.94/3343.74	c #Conflicts:    1597000 | #Constraints:     130616
3287.94/3343.74	c #Conflicts:    1598000 | #Constraints:     131616
3287.94/3343.74	c #Conflicts:    1599000 | #Constraints:     132616
3287.94/3343.74	c INPROCESSING
3287.94/3343.74	c GARBAGE COLLECT
3287.94/3343.74	c #Conflicts:    1600000 | #Constraints:      70902
3287.94/3343.74	c #Conflicts:    1601000 | #Constraints:      71902
3287.94/3343.74	c #Conflicts:    1602000 | #Constraints:      72902
3287.94/3343.74	c #Conflicts:    1603000 | #Constraints:      73902
3287.94/3343.74	c #Conflicts:    1604000 | #Constraints:      74902
3287.94/3343.74	c #Conflicts:    1605000 | #Constraints:      75902
3287.94/3343.74	c #Conflicts:    1606000 | #Constraints:      76902
3287.94/3343.74	c #Conflicts:    1607000 | #Constraints:      77902
3287.94/3343.74	c #Conflicts:    1608000 | #Constraints:      78902
3287.94/3343.74	c #Conflicts:    1609000 | #Constraints:      79902
3287.94/3343.74	c #Conflicts:    1610000 | #Constraints:      80902
3287.94/3343.74	c #Conflicts:    1611000 | #Constraints:      81902
3287.94/3343.74	c #Conflicts:    1612000 | #Constraints:      82902
3287.94/3343.74	c #Conflicts:    1613000 | #Constraints:      83902
3287.94/3343.74	c #Conflicts:    1614000 | #Constraints:      84902
3287.94/3343.74	c #Conflicts:    1615000 | #Constraints:      85902
3287.94/3343.74	c #Conflicts:    1616000 | #Constraints:      86902
3287.94/3343.74	c #Conflicts:    1617000 | #Constraints:      87902
3287.94/3343.74	c #Conflicts:    1618000 | #Constraints:      88902
3287.94/3343.74	c #Conflicts:    1619000 | #Constraints:      89902
3287.94/3343.74	c #Conflicts:    1620000 | #Constraints:      90902
3287.94/3343.74	c #Conflicts:    1621000 | #Constraints:      91902
3287.94/3343.74	c #Conflicts:    1622000 | #Constraints:      92902
3287.94/3343.74	c #Conflicts:    1623000 | #Constraints:      93902
3287.94/3343.74	c #Conflicts:    1624000 | #Constraints:      94902
3287.94/3343.74	c #Conflicts:    1625000 | #Constraints:      95902
3287.94/3343.74	c #Conflicts:    1626000 | #Constraints:      96902
3287.94/3343.74	c #Conflicts:    1627000 | #Constraints:      97902
3287.94/3343.74	c INPROCESSING
3287.94/3343.74	c GARBAGE COLLECT
3287.94/3343.74	c #Conflicts:    1628000 | #Constraints:      53448
3287.94/3343.74	c #Conflicts:    1629000 | #Constraints:      54448
3287.94/3343.74	c #Conflicts:    1630000 | #Constraints:      55448
3287.94/3343.74	c #Conflicts:    1631000 | #Constraints:      56448
3287.94/3343.74	c #Conflicts:    1632000 | #Constraints:      57448
3287.94/3343.74	c #Conflicts:    1633000 | #Constraints:      58448
3287.94/3343.74	c #Conflicts:    1634000 | #Constraints:      59448
3287.94/3343.74	c #Conflicts:    1635000 | #Constraints:      60448
3287.94/3343.74	c #Conflicts:    1636000 | #Constraints:      61448
3287.94/3343.74	c #Conflicts:    1637000 | #Constraints:      62448
3287.94/3343.74	c #Conflicts:    1638000 | #Constraints:      63448
3287.94/3343.74	c #Conflicts:    1639000 | #Constraints:      64448
3287.94/3343.74	c #Conflicts:    1640000 | #Constraints:      65448
3287.94/3343.74	c #Conflicts:    1641000 | #Constraints:      66448
3287.94/3343.74	c #Conflicts:    1642000 | #Constraints:      67448
3287.94/3343.74	c #Conflicts:    1643000 | #Constraints:      68448
3287.94/3343.74	c #Conflicts:    1644000 | #Constraints:      69448
3287.94/3343.74	c #Conflicts:    1645000 | #Constraints:      70448
3287.94/3343.74	c #Conflicts:    1646000 | #Constraints:      71448
3287.94/3343.74	c #Conflicts:    1647000 | #Constraints:      72448
3287.94/3343.74	c #Conflicts:    1648000 | #Constraints:      73448
3287.94/3343.74	c #Conflicts:    1649000 | #Constraints:      74448
3287.94/3343.74	c #Conflicts:    1650000 | #Constraints:      75448
3287.94/3343.74	c #Conflicts:    1651000 | #Constraints:      76448
3287.94/3343.74	c #Conflicts:    1652000 | #Constraints:      77448
3287.94/3343.74	c #Conflicts:    1653000 | #Constraints:      78448
3287.94/3343.74	c #Conflicts:    1654000 | #Constraints:      79448
3287.94/3343.74	c #Conflicts:    1655000 | #Constraints:      80448
3287.94/3343.74	c #Conflicts:    1656000 | #Constraints:      81448
3287.94/3343.74	c INPROCESSING
3287.94/3343.74	c GARBAGE COLLECT
3287.94/3343.74	c #Conflicts:    1657000 | #Constraints:      45385
3287.94/3343.74	c #Conflicts:    1658000 | #Constraints:      46385
3287.94/3343.74	c #Conflicts:    1659000 | #Constraints:      47385
3287.94/3343.74	c #Conflicts:    1660000 | #Constraints:      48385
3287.94/3343.74	c #Conflicts:    1661000 | #Constraints:      49385
3287.94/3343.74	c #Conflicts:    1662000 | #Constraints:      50385
3287.94/3343.74	c #Conflicts:    1663000 | #Constraints:      51385
3287.94/3343.74	c #Conflicts:    1664000 | #Constraints:      52385
3287.94/3343.74	c #Conflicts:    1665000 | #Constraints:      53385
3287.94/3343.74	c #Conflicts:    1666000 | #Constraints:      54385
3287.94/3343.74	c #Conflicts:    1667000 | #Constraints:      55385
3287.94/3343.74	c #Conflicts:    1668000 | #Constraints:      56385
3287.94/3343.74	c #Conflicts:    1669000 | #Constraints:      57385
3413.82/3470.63	c #Conflicts:    1670000 | #Constraints:      58385
3413.82/3470.63	c #Conflicts:    1671000 | #Constraints:      59385
3413.82/3470.63	c #Conflicts:    1672000 | #Constraints:      60385
3413.82/3470.63	c #Conflicts:    1673000 | #Constraints:      61385
3413.82/3470.63	c #Conflicts:    1674000 | #Constraints:      62385
3413.82/3470.63	c #Conflicts:    1675000 | #Constraints:      63385
3413.82/3470.63	c #Conflicts:    1676000 | #Constraints:      64385
3413.82/3470.63	c #Conflicts:    1677000 | #Constraints:      65385
3413.82/3470.63	c #Conflicts:    1678000 | #Constraints:      66385
3413.82/3470.63	c #Conflicts:    1679000 | #Constraints:      67385
3413.82/3470.63	c #Conflicts:    1680000 | #Constraints:      68385
3413.82/3470.63	c #Conflicts:    1681000 | #Constraints:      69385
3413.82/3470.63	c #Conflicts:    1682000 | #Constraints:      70385
3413.82/3470.63	c #Conflicts:    1683000 | #Constraints:      71385
3413.82/3470.63	c #Conflicts:    1684000 | #Constraints:      72385
3413.82/3470.63	c INPROCESSING
3413.82/3470.63	c GARBAGE COLLECT
3413.82/3470.63	c #Conflicts:    1685000 | #Constraints:      40404
3413.82/3470.63	c #Conflicts:    1686000 | #Constraints:      41404
3413.82/3470.63	c #Conflicts:    1687000 | #Constraints:      42404
3413.82/3470.63	c #Conflicts:    1688000 | #Constraints:      43404
3413.82/3470.63	c #Conflicts:    1689000 | #Constraints:      44404
3413.82/3470.63	c #Conflicts:    1690000 | #Constraints:      45404
3413.82/3470.63	c #Conflicts:    1691000 | #Constraints:      46404
3413.82/3470.63	c #Conflicts:    1692000 | #Constraints:      47404
3413.82/3470.63	c #Conflicts:    1693000 | #Constraints:      48404
3413.82/3470.63	c #Conflicts:    1694000 | #Constraints:      49404
3413.82/3470.63	c #Conflicts:    1695000 | #Constraints:      50404
3413.82/3470.63	c #Conflicts:    1696000 | #Constraints:      51404
3413.82/3470.63	c #Conflicts:    1697000 | #Constraints:      52404
3413.82/3470.63	c #Conflicts:    1698000 | #Constraints:      53404
3413.82/3470.63	c #Conflicts:    1699000 | #Constraints:      54404
3413.82/3470.63	c #Conflicts:    1700000 | #Constraints:      55404
3413.82/3470.63	c #Conflicts:    1701000 | #Constraints:      56404
3413.82/3470.63	c #Conflicts:    1702000 | #Constraints:      57404
3413.82/3470.63	c #Conflicts:    1703000 | #Constraints:      58404
3413.82/3470.63	c #Conflicts:    1704000 | #Constraints:      59404
3413.82/3470.63	c #Conflicts:    1705000 | #Constraints:      60404
3413.82/3470.63	c #Conflicts:    1706000 | #Constraints:      61404
3413.82/3470.63	c #Conflicts:    1707000 | #Constraints:      62404
3413.82/3470.63	c #Conflicts:    1708000 | #Constraints:      63404
3413.82/3470.63	c #Conflicts:    1709000 | #Constraints:      64404
3413.82/3470.63	c #Conflicts:    1710000 | #Constraints:      65404
3413.82/3470.63	c #Conflicts:    1711000 | #Constraints:      66404
3413.82/3470.63	c #Conflicts:    1712000 | #Constraints:      67404
3413.82/3470.63	c #Conflicts:    1713000 | #Constraints:      68404
3413.82/3470.63	c INPROCESSING
3413.82/3470.63	c GARBAGE COLLECT
3413.82/3470.63	c #Conflicts:    1714000 | #Constraints:      38384
3413.82/3470.63	c #Conflicts:    1715000 | #Constraints:      39384
3413.82/3470.63	c #Conflicts:    1716000 | #Constraints:      40384
3413.82/3470.63	c #Conflicts:    1717000 | #Constraints:      41384
3413.82/3470.63	c #Conflicts:    1718000 | #Constraints:      42384
3413.82/3470.63	c #Conflicts:    1719000 | #Constraints:      43384
3413.82/3470.63	c #Conflicts:    1720000 | #Constraints:      44384
3413.82/3470.63	c #Conflicts:    1721000 | #Constraints:      45384
3413.82/3470.63	c #Conflicts:    1722000 | #Constraints:      46384
3413.82/3470.63	c #Conflicts:    1723000 | #Constraints:      47384
3413.82/3470.63	c #Conflicts:    1724000 | #Constraints:      48384
3413.82/3470.63	c #Conflicts:    1725000 | #Constraints:      49384
3413.82/3470.63	c #Conflicts:    1726000 | #Constraints:      50384
3413.82/3470.63	c #Conflicts:    1727000 | #Constraints:      51384
3413.82/3470.63	c #Conflicts:    1728000 | #Constraints:      52384
3413.82/3470.63	c #Conflicts:    1729000 | #Constraints:      53384
3413.82/3470.63	c #Conflicts:    1730000 | #Constraints:      54384
3413.82/3470.63	c #Conflicts:    1731000 | #Constraints:      55384
3413.82/3470.63	c #Conflicts:    1732000 | #Constraints:      56384
3413.82/3470.63	c #Conflicts:    1733000 | #Constraints:      57384
3413.82/3470.63	c #Conflicts:    1734000 | #Constraints:      58384
3413.82/3470.63	c #Conflicts:    1735000 | #Constraints:      59384
3413.82/3470.63	c #Conflicts:    1736000 | #Constraints:      60384
3413.82/3470.63	c #Conflicts:    1737000 | #Constraints:      61384
3413.82/3470.63	c #Conflicts:    1738000 | #Constraints:      62384
3413.82/3470.63	c #Conflicts:    1739000 | #Constraints:      63384
3413.82/3470.63	c #Conflicts:    1740000 | #Constraints:      64384
3413.82/3470.63	c #Conflicts:    1741000 | #Constraints:      65384
3413.82/3470.63	c #Conflicts:    1742000 | #Constraints:      66384
3413.82/3470.63	c #Conflicts:    1743000 | #Constraints:      67384
3413.82/3470.63	c INPROCESSING
3413.82/3470.63	c GARBAGE COLLECT
3413.82/3470.63	c #Conflicts:    1744000 | #Constraints:      38296
3413.82/3470.63	c #Conflicts:    1745000 | #Constraints:      39296
3413.82/3470.63	c #Conflicts:    1746000 | #Constraints:      40296
3600.04/3658.00	c #Conflicts:    1747000 | #Constraints:      41296
3600.04/3658.00	c #Conflicts:    1748000 | #Constraints:      42296
3600.04/3658.00	c #Conflicts:    1749000 | #Constraints:      43296
3600.04/3658.00	c #Conflicts:    1750000 | #Constraints:      44296
3600.04/3658.00	c #Conflicts:    1751000 | #Constraints:      45296
3600.04/3658.00	c #Conflicts:    1752000 | #Constraints:      46296
3600.04/3658.00	c #Conflicts:    1753000 | #Constraints:      47296
3600.04/3658.00	c #Conflicts:    1754000 | #Constraints:      48296
3600.04/3658.00	c #Conflicts:    1755000 | #Constraints:      49296
3600.04/3658.00	c #Conflicts:    1756000 | #Constraints:      50296
3600.04/3658.00	c #Conflicts:    1757000 | #Constraints:      51296
3600.04/3658.00	c #Conflicts:    1758000 | #Constraints:      52296
3600.04/3658.00	c #Conflicts:    1759000 | #Constraints:      53296
3600.04/3658.00	c #Conflicts:    1760000 | #Constraints:      54296
3600.04/3658.00	c #Conflicts:    1761000 | #Constraints:      55296
3600.04/3658.00	c #Conflicts:    1762000 | #Constraints:      56296
3600.04/3658.00	c #Conflicts:    1763000 | #Constraints:      57296
3600.04/3658.00	c #Conflicts:    1764000 | #Constraints:      58296
3600.04/3658.00	c #Conflicts:    1765000 | #Constraints:      59296
3600.04/3658.00	c #Conflicts:    1766000 | #Constraints:      60296
3600.04/3658.00	c #Conflicts:    1767000 | #Constraints:      61296
3600.04/3658.00	c #Conflicts:    1768000 | #Constraints:      62296
3600.04/3658.00	c #Conflicts:    1769000 | #Constraints:      63296
3600.04/3658.00	c #Conflicts:    1770000 | #Constraints:      64296
3600.04/3658.00	c #Conflicts:    1771000 | #Constraints:      65296
3600.04/3658.00	c #Conflicts:    1772000 | #Constraints:      66296
3600.04/3658.00	c #Conflicts:    1773000 | #Constraints:      67296
3600.04/3658.00	c #Conflicts:    1774000 | #Constraints:      68296
3600.04/3658.00	c #Conflicts:    1775000 | #Constraints:      69296
3600.04/3658.00	c #Conflicts:    1776000 | #Constraints:      70296
3600.04/3658.00	c #Conflicts:    1777000 | #Constraints:      71296
3600.04/3658.00	c #Conflicts:    1778000 | #Constraints:      72296
3600.04/3658.00	c #Conflicts:    1779000 | #Constraints:      73296
3600.04/3658.00	c #Conflicts:    1780000 | #Constraints:      74296
3600.04/3658.00	c #Conflicts:    1781000 | #Constraints:      75296
3600.04/3658.00	c #Conflicts:    1782000 | #Constraints:      76296
3600.04/3658.00	c #Conflicts:    1783000 | #Constraints:      77296
3600.04/3658.00	c #Conflicts:    1784000 | #Constraints:      78296
3600.04/3658.00	c #Conflicts:    1785000 | #Constraints:      79296
3600.04/3658.00	c #Conflicts:    1786000 | #Constraints:      80296
3600.04/3658.00	c #Conflicts:    1787000 | #Constraints:      81296
3600.04/3658.00	c #Conflicts:    1788000 | #Constraints:      82296
3600.04/3658.00	c #Conflicts:    1789000 | #Constraints:      83296
3600.04/3658.00	c #Conflicts:    1790000 | #Constraints:      84296
3600.04/3658.00	c #Conflicts:    1791000 | #Constraints:      85296
3600.04/3658.00	c #Conflicts:    1792000 | #Constraints:      86296
3600.04/3658.00	c #Conflicts:    1793000 | #Constraints:      87296
3600.04/3658.00	c #Conflicts:    1794000 | #Constraints:      88296
3600.04/3658.00	c #Conflicts:    1795000 | #Constraints:      89296
3600.04/3658.00	c #Conflicts:    1796000 | #Constraints:      90296
3600.04/3658.00	c #Conflicts:    1797000 | #Constraints:      91296
3600.04/3658.00	c #Conflicts:    1798000 | #Constraints:      92296
3600.04/3658.00	c #Conflicts:    1799000 | #Constraints:      93296
3600.04/3658.00	c #Conflicts:    1800000 | #Constraints:      94296
3600.04/3658.00	c #Conflicts:    1801000 | #Constraints:      95296
3600.04/3658.00	c #Conflicts:    1802000 | #Constraints:      96296
3600.04/3658.00	c #Conflicts:    1803000 | #Constraints:      97296
3600.04/3658.00	c #Conflicts:    1804000 | #Constraints:      98296
3600.04/3658.00	c #Conflicts:    1805000 | #Constraints:      99296
3600.04/3658.00	c #Conflicts:    1806000 | #Constraints:     100296
3600.04/3658.00	c #Conflicts:    1807000 | #Constraints:     101296
3600.04/3658.00	c #Conflicts:    1808000 | #Constraints:     102296
3600.04/3658.00	c #Conflicts:    1809000 | #Constraints:     103296
3600.04/3658.00	c #Conflicts:    1810000 | #Constraints:     104296
3600.04/3658.00	c #Conflicts:    1811000 | #Constraints:     105296
3600.04/3658.00	c #Conflicts:    1812000 | #Constraints:     106296
3600.04/3658.00	c #Conflicts:    1813000 | #Constraints:     107296
3600.04/3658.00	c #Conflicts:    1814000 | #Constraints:     108296
3600.04/3658.00	c #Conflicts:    1815000 | #Constraints:     109296
3600.04/3658.00	c cpu time 3576.95 s
3600.04/3658.00	c deterministic time 262573753385 2.63e+11
3600.04/3658.00	c optimization time 188.652 s
3600.04/3658.00	c total solve time 3388.26 s
3600.04/3658.00	c core-guided solve time 0 s
3600.04/3658.00	c propagation time 1969.22 s
3600.04/3658.00	c conflict analysis time 1365.73 s
3600.04/3658.00	c propagations 899790458
3600.04/3658.00	c resolve steps 82405027
3600.04/3658.00	c decisions 12582868
3600.04/3658.00	c conflicts 1815505
3600.04/3658.00	c restarts 3545
3600.04/3658.00	c inprocessing phases 83
3600.04/3658.00	c garbage collections 83 ,( 100.00 )
3600.04/3658.00	c input clauses 6398 ,( 98.61 )
3600.04/3658.00	c input cardinalities 90 ,( 1.39 )
3600.04/3658.00	c input general constraints 0 ,( 0.00 )
3600.04/3658.00	c input average constraint length 6.14
3600.04/3658.00	c input average constraint degree 1.92
3600.04/3658.00	c learned clauses 1401811 ,( 77.21 )
3600.04/3658.00	c learned cardinalities 28224 ,( 1.55 )
3600.04/3658.00	c learned general constraints 385489 ,( 21.23 )
3600.04/3658.00	c learned average constraint length 705.08
3600.04/3658.00	c learned average constraint degree 11189784.06
3600.04/3658.00	c watched  CF 32, 64, 128, Arb: 126792 , 0 , 0 , 0
3600.04/3658.00	c counting CF 32, 64, 128, Arb: 258697 , 0 , 0 , 0
3600.04/3658.00	c watched   constraints 126792 ,( 32.89 ) 
3600.04/3658.00	c counting  constraints 258697 ,( 67.11 ) 
3600.04/3658.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1443282698 , 617186088 , 4056308349 ,( 148297112 , 3908011237 )
3600.04/3658.00	c gcd simplifications 960
3600.04/3658.00	c detected cardinalities 1800
3600.04/3658.00	c weakened non-implied lits 348646231
3600.04/3658.00	c weakened non-implying lits 241519
3600.04/3658.00	c original variables 6183
3600.04/3658.00	c clausal propagations 341029279
3600.04/3658.00	c cardinality propagations 332165758
3600.04/3658.00	c watched propagations 4251002
3600.04/3658.00	c counting propagations 216524806
3600.04/3658.00	c watch lookups 143157118468
3600.04/3658.00	c watch backjump lookups 0
3600.04/3658.00	c watch checks 42018133673
3600.04/3658.00	c propagation checks 71116815280
3600.04/3658.00	c constraint additions 4454712729
3600.04/3658.00	c trail pops 914183473
3600.04/3658.00	c formula constraints 6488
3600.04/3658.00	c learned constraints 1815499
3600.04/3658.00	c bound constraints 0
3600.04/3658.00	c core-guided constraints 0
3600.04/3658.00	c encountered formula constraints 48920658
3600.04/3658.00	c encountered learned constraints 35299456
3600.04/3658.00	c encountered bound constraints 0
3600.04/3658.00	c encountered core-guided constraints 0
3600.04/3658.00	c LP total time 211.358 s
3600.04/3658.00	c LP solve time 200.01 s
3600.04/3658.00	c LP constraints added 6878
3600.04/3658.00	c LP constraints removed 214
3600.04/3658.00	c LP pivots internal 189513
3600.04/3658.00	c LP pivots root 226922
3600.04/3658.00	c LP calls 33
3600.04/3658.00	c LP optimalities 10
3600.04/3658.00	c LP no pivot count 0
3600.04/3658.00	c LP infeasibilities 15
3600.04/3658.00	c LP valid Farkas constraints 15
3600.04/3658.00	c LP learned Farkas constraints 6
3600.04/3658.00	c LP basis resets 1
3600.04/3658.00	c LP cycling count 1
3600.04/3658.00	c LP singular count 0
3600.04/3658.00	c LP no primal count 0
3600.04/3658.00	c LP no farkas count 0
3600.04/3658.00	c LP other issue count 0
3600.04/3658.00	c LP Gomory cuts 4
3600.04/3658.00	c LP learned cuts 386
3600.04/3658.00	c LP deleted cuts 214
3600.04/3658.00	c LP encountered Gomory constraints 1
3600.04/3658.00	c LP encountered Farkas constraints 402
3600.04/3658.00	c LP encountered learned Farkas constraints 9
3600.04/3658.00	c CG auxiliary variables introduced 0
3600.04/3658.00	c CG solutions found 0
3600.04/3658.00	c CG cores constructed 0
3600.04/3658.00	c CG core cardinality constraints returned 0
3600.04/3658.00	c CG unit cores 0
3600.04/3658.00	c CG single cores 0
3600.04/3658.00	c CG blocks removed during cardinality reduction 0
3600.04/3658.00	c CG first core best 0
3600.04/3658.00	c CG decision core best 0
3600.04/3658.00	c CG core reduction tie 0
3600.04/3658.00	c CG core degree average 0.00
3600.04/3658.00	c CG core slack average 0.00
3600.04/3658.00	c CG core upper bound improvements 0
3600.04/3658.00	c STR number of successful calls 0
3600.04/3658.00	c STR number of unsuccessful calls 0
3600.04/3658.00	c STR number of inconclusive calls 0
3600.04/3658.00	c STR number of successful attempts 0
3600.04/3658.00	c STR number of unsuccessful attempts 0
3600.04/3658.00	c STR number of inconclusive attempts 0
3600.04/3658.00	c STR average degree increase per successful call inf
3600.04/3658.00	c STR average degree increase per successful attempt inf
3600.04/3658.00	c STR total number of conflicts for successful attempts 0
3600.04/3658.00	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3658.00	c STR total number of conflicts for inconclusive attempts 0
3600.04/3658.00	c STR average number of conflicts per successful attempt inf
3600.04/3658.00	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3658.00	c STR average number of conflicts per inconclusive attempt inf
3600.04/3658.00	c AVG.sumWPerc 59.57 
3600.04/3658.00	c bigint constraints 0 
3600.04/3658.00	s UNKNOWN
3600.04/3658.00	c Program interrupted by user.

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: 63708 MiB (61013 MiB free)
  memory of node 1: 64465 MiB (60287 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507269-1751174900/watcher-4507269-1751174900 -o /tmp/evaluation-result-4507269-1751174900/solver-4507269-1751174900 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507269-1751174900.opb PROOFDIR/proof-4507269-1751174900 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20919, runsolver pid=20916

[startup+0.10006 s]*
/proc/loadavg: 4.21 4.13 4.10 5/272 20922
/proc/meminfo: memFree=124194696/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=71520 memory=26648 CPUtime=0.05 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 4717 0 0 0 4 1 0 0 20 0 1 0 33167442 73236480 6662 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 17880 6662 2272 1147 0 5307 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 75712 KiB
Current children cumulated memory: 29592 KiB

[startup+0.20593 s]*
/proc/loadavg: 4.21 4.13 4.10 5/272 20922
/proc/meminfo: memFree=124194696/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=73724 memory=28440 CPUtime=0.16 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 5151 0 0 0 15 1 0 0 20 0 1 0 33167442 75493376 7110 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 18431 7110 2304 1147 0 5858 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77916 KiB
Current children cumulated memory: 31384 KiB

[startup+0.305744 s]*
/proc/loadavg: 4.21 4.13 4.10 5/272 20922
/proc/meminfo: memFree=124191372/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=73724 memory=28440 CPUtime=0.26 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 5151 0 0 0 25 1 0 0 20 0 1 0 33167442 75493376 7110 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 18431 7110 2304 1147 0 5858 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77916 KiB
Current children cumulated memory: 31384 KiB

[startup+0.700186 s]
/proc/loadavg: 4.21 4.13 4.10 5/272 20922
/proc/meminfo: memFree=124191252/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=74940 memory=29720 CPUtime=0.64 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 5452 0 0 0 63 1 0 0 20 0 1 0 33167442 76738560 7430 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 18735 7430 2304 1147 0 6162 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79132 KiB
Current children cumulated memory: 32664 KiB

[startup+1.50017 s]
/proc/loadavg: 4.21 4.13 4.10 5/272 20922
/proc/meminfo: memFree=124181424/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=77136 memory=32280 CPUtime=1.44 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 6067 0 0 0 140 4 0 0 20 0 1 0 33167442 78987264 8070 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 19284 8070 2336 1147 0 6711 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 81328 KiB
Current children cumulated memory: 35224 KiB

[startup+3.10573 s]
/proc/loadavg: 4.27 4.15 4.10 5/272 20922
/proc/meminfo: memFree=124143624/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=80304 memory=37388 CPUtime=3.04 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 6842 0 0 0 293 11 0 0 20 0 1 0 33167442 82231296 9347 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 20076 9347 2336 1147 0 7503 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84496 KiB
Current children cumulated memory: 40332 KiB

[startup+6.3002 s]
/proc/loadavg: 4.27 4.15 4.10 5/272 20922
/proc/meminfo: memFree=124096624/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=85960 memory=42552 CPUtime=6.23 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 7631 0 0 0 603 20 0 0 20 0 1 0 33167442 88023040 10638 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 21490 10638 2336 1147 0 8917 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 90152 KiB
Current children cumulated memory: 45496 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.16 4.10 5/272 20922
/proc/meminfo: memFree=124078400/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=90852 memory=47032 CPUtime=12.61 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 8749 0 0 0 1227 34 0 0 20 0 1 0 33167442 93032448 11758 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 22713 11758 2336 1147 0 10140 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95044 KiB
Current children cumulated memory: 49976 KiB

[startup+25.5002 s]
/proc/loadavg: 4.40 4.19 4.11 5/272 20922
/proc/meminfo: memFree=123936152/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=99412 memory=54708 CPUtime=25.38 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 10162 0 0 0 2476 62 0 0 20 0 1 0 33167442 101797888 13677 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 24853 13677 2336 1147 0 12280 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 103604 KiB
Current children cumulated memory: 57652 KiB

[startup+51.1057 s]
/proc/loadavg: 4.54 4.24 4.13 5/273 20925
/proc/meminfo: memFree=123675380/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=157756 memory=103580 CPUtime=50.92 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 16755 0 0 0 4987 105 0 0 20 0 1 0 33167442 161542144 25895 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 39439 25895 2336 1147 0 26866 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 161948 KiB
Current children cumulated memory: 106524 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.23 4.13 5/274 20929
/proc/meminfo: memFree=123156452/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=176000 memory=130496 CPUtime=101.65 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 20949 0 0 0 9987 178 0 0 20 0 1 0 33167442 180224000 32624 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 44000 32624 2336 1147 0 31427 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 180192 KiB
Current children cumulated memory: 133440 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.22 4.13 5/274 20935
/proc/meminfo: memFree=122480968/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=218860 memory=150156 CPUtime=160.07 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 24321 0 0 0 15757 250 0 0 20 0 1 0 33167442 224112640 37539 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 54715 37539 2336 1147 0 42142 0
Current children cumulated CPU time: 160.09 s
Current children cumulated vsize: 223052 KiB
Current children cumulated memory: 153100 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/275 20940
/proc/meminfo: memFree=121862440/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=301872 memory=213248 CPUtime=219.76 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 32459 0 0 0 21673 303 0 0 20 0 1 0 33167442 309116928 53312 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0

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

/proc/20922/statm: 241862 191902 2368 1147 0 229289 0
Current children cumulated CPU time: 3047.94 s
Current children cumulated vsize: 971640 KiB
Current children cumulated memory: 770552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 21432
/proc/meminfo: memFree=121835244/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982304 memory=777208 CPUtime=3107.63 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 87846 0 0 0 308722 2041 0 0 20 0 1 0 33167442 1005879296 194302 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245576 194302 2368 1147 0 233003 0
Current children cumulated CPU time: 3107.65 s
Current children cumulated vsize: 986496 KiB
Current children cumulated memory: 780152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 21437
/proc/meminfo: memFree=121354976/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982304 memory=777208 CPUtime=3167.08 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 87846 0 0 0 314649 2059 0 0 20 0 1 0 33167442 1005879296 194302 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245576 194302 2368 1147 0 233003 0
Current children cumulated CPU time: 3167.1 s
Current children cumulated vsize: 986496 KiB
Current children cumulated memory: 780152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 21441
/proc/meminfo: memFree=120931920/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982304 memory=777208 CPUtime=3226.74 cores=0,2
/proc/20922/stat : 20922 (roundingsat) D 20919 20919 20370 0 -1 4194304 87914 0 0 0 320584 2090 0 0 20 0 1 0 33167442 1005879296 194302 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245576 194302 2368 1147 0 233003 0
Current children cumulated CPU time: 3226.76 s
Current children cumulated vsize: 986496 KiB
Current children cumulated memory: 780152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 21444
/proc/meminfo: memFree=120506676/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=980940 memory=775912 CPUtime=3286.58 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 88759 0 0 0 326519 2139 0 0 20 0 1 0 33167442 1004482560 193978 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245235 193978 2368 1147 0 232662 0
Current children cumulated CPU time: 3286.6 s
Current children cumulated vsize: 985132 KiB
Current children cumulated memory: 778856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 21446
/proc/meminfo: memFree=119901856/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=776808 CPUtime=3346.17 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89003 0 0 0 332440 2177 0 0 20 0 1 0 33167442 1005572096 194202 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194202 2368 1147 0 232928 0
Current children cumulated CPU time: 3346.19 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 779752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 21448
/proc/meminfo: memFree=119425336/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=777064 CPUtime=3405.62 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89059 0 0 0 338349 2213 0 0 20 0 1 0 33167442 1005572096 194266 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194266 2368 1147 0 232928 0
Current children cumulated CPU time: 3405.64 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 780008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 21451
/proc/meminfo: memFree=118911812/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=777064 CPUtime=3465.27 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89059 0 0 0 344269 2258 0 0 20 0 1 0 33167442 1005572096 194266 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194266 2368 1147 0 232928 0
Current children cumulated CPU time: 3465.29 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 780008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.53 4.19 4.12 5/273 21454
/proc/meminfo: memFree=118487956/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=777064 CPUtime=3524.86 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89086 0 0 0 350203 2283 0 0 20 0 1 0 33167442 1005572096 194266 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194266 2368 1147 0 232928 0
Current children cumulated CPU time: 3524.88 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 780008 KiB

[startup+3642.3 s]
/proc/loadavg: 4.53 4.27 4.16 5/273 21456
/proc/meminfo: memFree=118151212/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=777064 CPUtime=3584.42 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89122 0 0 0 356141 2301 0 0 20 0 1 0 33167442 1005572096 194266 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194266 2368 1147 0 232928 0
Current children cumulated CPU time: 3584.44 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 780008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3658 s]*
/proc/loadavg: 4.38 4.25 4.15 5/272 21456
/proc/meminfo: memFree=118036932/131249996 swapFree=33010684/33010684
[pid=20919] ppid=20916 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/20919/stat : 20919 (run-dec-break-l) S 20916 20919 20370 0 -1 4194304 238 4350 0 0 0 0 1 1 20 0 1 0 33167438 4292608 736 18446744073709551615 94839283683328 94839284577861 140722570357488 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94839284816912 94839284864656 94839290499072 140722570365205 140722570365406 140722570365406 140722570371008 0
/proc/20919/statm: 1048 736 672 219 0 110 0
[pid=20922] ppid=20919 vsize=982004 memory=777064 CPUtime=3600.02 cores=0,2
/proc/20922/stat : 20922 (roundingsat) R 20919 20919 20370 0 -1 4194304 89131 0 0 0 357695 2307 0 0 20 0 1 0 33167442 1005572096 194266 18446744073709551615 4227072 8923433 140729414058288 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140729414060276 140729414060584 140729414060584 140729414066154 0
/proc/20922/statm: 245501 194266 2368 1147 0 232928 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 986196 KiB
Current children cumulated memory: 780008 KiB

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

[startup+3658.01 s]
# the end of solver process 20919 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.016588 s, system=0.01262 s

[startup+3658.04 s]
# the end of solver process 20922 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3576.98 s, system=23.0918 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 2

Real time (s): 3658.04
CPU time (s): 3600.07
CPU user time (s): 3576.98
CPU system time (s): 23.0918
CPU usage (%): 98.4153
Max. virtual memory (cumulated for all children) (KiB): 988764
Max. memory (cumulated for all children) (KiB): 782456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.98
system time used= 23.0918
maximum resident set size= 779512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10437312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 638
involuntary context switches= 5759


# summary of solver processes directly reported to runsolver:
#   pid: 20919,20922
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3576.98
#   total CPU system time (s): 23.0918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75388 second user time and 17.0227 second system time

The end

Launcher Data

Begin job on nodeC015 at 2025-06-29 07:28:20
IDJOB=4507269
IDBENCH=158339
IDSOLVER=3358
FILE ID=nodeC015/4507269-1751174900
RUNJOBID= nodeC015-1751170426-20380
SLURM_JOB_ID= 9587528
Free space on /tmp= 432988 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507269-1751174900/watcher-4507269-1751174900 -o /tmp/evaluation-result-4507269-1751174900/solver-4507269-1751174900 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507269-1751174900.opb PROOFDIR/proof-4507269-1751174900

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

MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=909302959

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.509
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.070
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.098
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.044
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.078
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.070
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.623
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.021
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124212048 kB
MemAvailable:   128480796 kB
Buffers:            3280 kB
Cached:          5074016 kB
SwapCached:            0 kB
Active:          1579676 kB
Inactive:        4854968 kB
Active(anon):    1375492 kB
Inactive(anon):        0 kB
Active(file):     204184 kB
Inactive(file):  4854968 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66652 kB
Writeback:             0 kB
AnonPages:       1360552 kB
Mapped:           116448 kB
Shmem:             18076 kB
KReclaimable:      97668 kB
Slab:             184952 kB
SReclaimable:      97668 kB
SUnreclaim:        87284 kB
KernelStack:        4400 kB
PageTables:         5816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1815828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC015 at 2025-06-29 08:29:18