Trace number 4507232

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 63f22ad? (TO) 3600.08 3608.62

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
MD5SUM4b187363ec0683eba575f162bd763393
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 benchmark211.425
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21063
Total number of constraints21419
Number of constraints which are clauses21242
Number of constraints which are cardinality constraints (but not clauses)177
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint177
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 178
Number of bits of the biggest sum of numbers8
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4507232-1751179929.opb'
0.00/0.04	c 	read 1.46MB  (19.49ms)
0.00/0.04	c	 [cnf: #variables 21063 #clauses 21419 #duplicates 0 #arr 137815]
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.06	c	 [group: #orbits ~= 3186] (27.37ms)
0.00/0.06	c 
0.00/0.06	c detect special group actions
0.00/0.06	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 (4.01ms)
0.00/0.07	c 
0.00/0.07	c detect symmetries on remainder
0.00/0.07	c 	[graph: #vertices 105671 #edges 402008]
0.00/0.07	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09	c 	 [group: #symmetries 4.80*10^1 #generators 5] (23.01ms)
0.00/0.09	c 
0.00/0.09	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09	c 	(0.06ms)
0.00/0.09	c 
0.00/0.09	c finalize break order and special generators
0.00/0.09	c 
0.00/0.09	c add generic predicates (break_depth=10)
0.00/0.09	c 	added predicates for 5 generators (0.19ms)
0.00/0.09	c 
0.00/0.09	c generation finished
0.00/0.09	c 	[sbp: #constraints 140 #add_vars 45]
0.00/0.09	c 
0.00/0.09	c write result to 'HOME/instance-4507232-1751179929.opb.pre'
0.07/0.10	c 	wrote 1.48MB (9.11ms)
0.07/0.10	c ------------------------------------------------------------------
0.07/0.10	c                  27.37ms 32.03% approx_orbits
0.07/0.10	c                  23.01ms 26.93% detect_generic
0.07/0.10	c                  19.49ms 22.82% parse
0.07/0.10	c                   9.11ms 10.66% output
0.07/0.10	c                   4.01ms  4.69% detect_special
0.07/0.10	c                   1.38ms  1.61% other
0.07/0.10	c                   0.82ms  0.96% finalize_order
0.07/0.10	c                   0.19ms  0.22% break_generic
0.07/0.10	c                   0.06ms  0.08% optimize_gens
0.07/0.10	c         ───────────────────────────────────────────────
0.07/0.10	c                  85.43ms   100% total
0.07/0.10	c ------------------------------------------------------------------
0.07/0.13	c RoundingSat 2
0.07/0.13	c branch pb25
0.07/0.13	c commit 63f22ad
0.15/0.26	c #variables 21108 #constraints 21557
111.15/111.59	c #Conflicts:       1000 | #Constraints:      22556
111.15/111.59	c #Conflicts:       2000 | #Constraints:      23556
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:       3000 | #Constraints:      22801
111.15/111.59	c #Conflicts:       4000 | #Constraints:      23801
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:       5000 | #Constraints:      23320
111.15/111.59	c #Conflicts:       6000 | #Constraints:      24320
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:       7000 | #Constraints:      23419
111.15/111.59	c #Conflicts:       8000 | #Constraints:      24419
111.15/111.59	c #Conflicts:       9000 | #Constraints:      25419
111.15/111.59	c #Conflicts:      10000 | #Constraints:      26419
111.15/111.59	c #Conflicts:      11000 | #Constraints:      27419
111.15/111.59	c #Conflicts:      12000 | #Constraints:      28419
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      13000 | #Constraints:      25437
111.15/111.59	c #Conflicts:      14000 | #Constraints:      26437
111.15/111.59	c #Conflicts:      15000 | #Constraints:      27437
111.15/111.59	c #Conflicts:      16000 | #Constraints:      28437
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      17000 | #Constraints:      25673
111.15/111.59	c #Conflicts:      18000 | #Constraints:      26673
111.15/111.59	c #Conflicts:      19000 | #Constraints:      27673
111.15/111.59	c #Conflicts:      20000 | #Constraints:      28673
111.15/111.59	c #Conflicts:      21000 | #Constraints:      29673
111.15/111.59	c #Conflicts:      22000 | #Constraints:      30673
111.15/111.59	c #Conflicts:      23000 | #Constraints:      31673
111.15/111.59	c #Conflicts:      24000 | #Constraints:      32673
111.15/111.59	c #Conflicts:      25000 | #Constraints:      33673
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      26000 | #Constraints:      28258
111.15/111.59	c #Conflicts:      27000 | #Constraints:      29258
111.15/111.59	c #Conflicts:      28000 | #Constraints:      30258
111.15/111.59	c #Conflicts:      29000 | #Constraints:      31258
111.15/111.59	c #Conflicts:      30000 | #Constraints:      32258
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      31000 | #Constraints:      27938
111.15/111.59	c #Conflicts:      32000 | #Constraints:      28938
111.15/111.59	c #Conflicts:      33000 | #Constraints:      29938
111.15/111.59	c #Conflicts:      34000 | #Constraints:      30938
111.15/111.59	c #Conflicts:      35000 | #Constraints:      31938
111.15/111.59	c #Conflicts:      36000 | #Constraints:      32938
111.15/111.59	c #Conflicts:      37000 | #Constraints:      33938
111.15/111.59	c #Conflicts:      38000 | #Constraints:      34938
111.15/111.59	c #Conflicts:      39000 | #Constraints:      35938
111.15/111.59	c #Conflicts:      40000 | #Constraints:      36938
111.15/111.59	c #Conflicts:      41000 | #Constraints:      37938
111.15/111.59	c #Conflicts:      42000 | #Constraints:      38938
111.15/111.59	c #Conflicts:      43000 | #Constraints:      39938
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      44000 | #Constraints:      31803
111.15/111.59	c #Conflicts:      45000 | #Constraints:      32803
111.15/111.59	c #Conflicts:      46000 | #Constraints:      33803
111.15/111.59	c #Conflicts:      47000 | #Constraints:      34803
111.15/111.59	c #Conflicts:      48000 | #Constraints:      35803
111.15/111.59	c #Conflicts:      49000 | #Constraints:      36803
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      50000 | #Constraints:      30949
111.15/111.59	c #Conflicts:      51000 | #Constraints:      31949
111.15/111.59	c #Conflicts:      52000 | #Constraints:      32949
111.15/111.59	c #Conflicts:      53000 | #Constraints:      33949
111.15/111.59	c #Conflicts:      54000 | #Constraints:      34949
111.15/111.59	c #Conflicts:      55000 | #Constraints:      35949
111.15/111.59	c #Conflicts:      56000 | #Constraints:      36949
111.15/111.59	c #Conflicts:      57000 | #Constraints:      37949
111.15/111.59	c #Conflicts:      58000 | #Constraints:      38949
111.15/111.59	c #Conflicts:      59000 | #Constraints:      39949
111.15/111.59	c #Conflicts:      60000 | #Constraints:      40949
111.15/111.59	c #Conflicts:      61000 | #Constraints:      41949
111.15/111.59	c #Conflicts:      62000 | #Constraints:      42949
111.15/111.59	c #Conflicts:      63000 | #Constraints:      43949
111.15/111.59	c #Conflicts:      64000 | #Constraints:      44949
111.15/111.59	c #Conflicts:      65000 | #Constraints:      45949
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
111.15/111.59	c #Conflicts:      66000 | #Constraints:      35008
111.15/111.59	c #Conflicts:      67000 | #Constraints:      36008
111.15/111.59	c #Conflicts:      68000 | #Constraints:      37008
111.15/111.59	c #Conflicts:      69000 | #Constraints:      38008
111.15/111.59	c #Conflicts:      70000 | #Constraints:      39008
111.15/111.59	c #Conflicts:      71000 | #Constraints:      40008
111.15/111.59	c #Conflicts:      72000 | #Constraints:      41008
111.15/111.59	c INPROCESSING
111.15/111.59	c GARBAGE COLLECT
232.65/233.35	c #Conflicts:      73000 | #Constraints:      34301
232.65/233.35	c #Conflicts:      74000 | #Constraints:      35301
232.65/233.35	c #Conflicts:      75000 | #Constraints:      36301
232.65/233.35	c #Conflicts:      76000 | #Constraints:      37301
232.65/233.35	c #Conflicts:      77000 | #Constraints:      38301
232.65/233.35	c #Conflicts:      78000 | #Constraints:      39301
232.65/233.35	c #Conflicts:      79000 | #Constraints:      40301
232.65/233.35	c #Conflicts:      80000 | #Constraints:      41301
232.65/233.35	c #Conflicts:      81000 | #Constraints:      42301
232.65/233.35	c #Conflicts:      82000 | #Constraints:      43301
232.65/233.35	c #Conflicts:      83000 | #Constraints:      44301
232.65/233.35	c #Conflicts:      84000 | #Constraints:      45301
232.65/233.35	c #Conflicts:      85000 | #Constraints:      46301
232.65/233.35	c #Conflicts:      86000 | #Constraints:      47301
232.65/233.35	c #Conflicts:      87000 | #Constraints:      48301
232.65/233.35	c #Conflicts:      88000 | #Constraints:      49301
232.65/233.35	c #Conflicts:      89000 | #Constraints:      50301
232.65/233.35	c #Conflicts:      90000 | #Constraints:      51301
232.65/233.35	c #Conflicts:      91000 | #Constraints:      52301
232.65/233.35	c INPROCESSING
232.65/233.35	c GARBAGE COLLECT
232.65/233.35	c #Conflicts:      92000 | #Constraints:      38199
232.65/233.35	c #Conflicts:      93000 | #Constraints:      39199
232.65/233.35	c #Conflicts:      94000 | #Constraints:      40199
232.65/233.35	c #Conflicts:      95000 | #Constraints:      41199
232.65/233.35	c #Conflicts:      96000 | #Constraints:      42199
232.65/233.35	c #Conflicts:      97000 | #Constraints:      43199
232.65/233.35	c #Conflicts:      98000 | #Constraints:      44199
232.65/233.35	c #Conflicts:      99000 | #Constraints:      45199
232.65/233.35	c #Conflicts:     100000 | #Constraints:      46199
232.65/233.35	c INPROCESSING
232.65/233.35	c GARBAGE COLLECT
232.65/233.35	c #Conflicts:     101000 | #Constraints:      37477
232.65/233.35	c #Conflicts:     102000 | #Constraints:      38477
232.65/233.35	c #Conflicts:     103000 | #Constraints:      39477
232.65/233.35	c #Conflicts:     104000 | #Constraints:      40477
232.65/233.35	c #Conflicts:     105000 | #Constraints:      41477
232.65/233.35	c #Conflicts:     106000 | #Constraints:      42477
232.65/233.35	c #Conflicts:     107000 | #Constraints:      43477
232.65/233.35	c #Conflicts:     108000 | #Constraints:      44477
232.65/233.35	c #Conflicts:     109000 | #Constraints:      45477
232.65/233.35	c #Conflicts:     110000 | #Constraints:      46477
232.65/233.35	c #Conflicts:     111000 | #Constraints:      47477
232.65/233.35	c #Conflicts:     112000 | #Constraints:      48477
232.65/233.35	c #Conflicts:     113000 | #Constraints:      49477
232.65/233.35	c #Conflicts:     114000 | #Constraints:      50477
232.65/233.35	c #Conflicts:     115000 | #Constraints:      51477
232.65/233.35	c #Conflicts:     116000 | #Constraints:      52477
232.65/233.35	c #Conflicts:     117000 | #Constraints:      53477
232.65/233.35	c #Conflicts:     118000 | #Constraints:      54477
232.65/233.35	c #Conflicts:     119000 | #Constraints:      55477
232.65/233.35	c #Conflicts:     120000 | #Constraints:      56477
232.65/233.35	c #Conflicts:     121000 | #Constraints:      57477
232.65/233.35	c INPROCESSING
232.65/233.35	c GARBAGE COLLECT
232.65/233.35	c #Conflicts:     122000 | #Constraints:      40584
232.65/233.35	c #Conflicts:     123000 | #Constraints:      41584
232.65/233.35	c #Conflicts:     124000 | #Constraints:      42584
232.65/233.35	c #Conflicts:     125000 | #Constraints:      43584
232.65/233.35	c #Conflicts:     126000 | #Constraints:      44584
232.65/233.35	c #Conflicts:     127000 | #Constraints:      45584
232.65/233.35	c #Conflicts:     128000 | #Constraints:      46584
232.65/233.35	c #Conflicts:     129000 | #Constraints:      47584
232.65/233.35	c #Conflicts:     130000 | #Constraints:      48584
232.65/233.35	c #Conflicts:     131000 | #Constraints:      49584
232.65/233.35	c #Conflicts:     132000 | #Constraints:      50584
232.65/233.35	c INPROCESSING
232.65/233.35	c GARBAGE COLLECT
232.65/233.35	c #Conflicts:     133000 | #Constraints:      40947
232.65/233.35	c #Conflicts:     134000 | #Constraints:      41947
232.65/233.35	c #Conflicts:     135000 | #Constraints:      42947
232.65/233.35	c #Conflicts:     136000 | #Constraints:      43947
232.65/233.35	c #Conflicts:     137000 | #Constraints:      44947
232.65/233.35	c #Conflicts:     138000 | #Constraints:      45947
232.65/233.35	c #Conflicts:     139000 | #Constraints:      46947
232.65/233.35	c #Conflicts:     140000 | #Constraints:      47947
232.65/233.35	c #Conflicts:     141000 | #Constraints:      48947
232.65/233.35	c #Conflicts:     142000 | #Constraints:      49947
232.65/233.35	c #Conflicts:     143000 | #Constraints:      50947
232.65/233.35	c #Conflicts:     144000 | #Constraints:      51947
232.65/233.35	c #Conflicts:     145000 | #Constraints:      52947
232.65/233.35	c #Conflicts:     146000 | #Constraints:      53947
232.65/233.35	c #Conflicts:     147000 | #Constraints:      54947
232.65/233.35	c #Conflicts:     148000 | #Constraints:      55947
232.65/233.35	c #Conflicts:     149000 | #Constraints:      56947
344.98/345.92	c #Conflicts:     150000 | #Constraints:      57947
344.98/345.92	c #Conflicts:     151000 | #Constraints:      58947
344.98/345.92	c #Conflicts:     152000 | #Constraints:      59947
344.98/345.92	c #Conflicts:     153000 | #Constraints:      60947
344.98/345.92	c #Conflicts:     154000 | #Constraints:      61947
344.98/345.92	c #Conflicts:     155000 | #Constraints:      62947
344.98/345.92	c #Conflicts:     156000 | #Constraints:      63947
344.98/345.92	c INPROCESSING
344.98/345.92	c GARBAGE COLLECT
344.98/345.92	c #Conflicts:     157000 | #Constraints:      44005
344.98/345.92	c #Conflicts:     158000 | #Constraints:      45005
344.98/345.92	c #Conflicts:     159000 | #Constraints:      46005
344.98/345.92	c #Conflicts:     160000 | #Constraints:      47005
344.98/345.92	c #Conflicts:     161000 | #Constraints:      48005
344.98/345.92	c #Conflicts:     162000 | #Constraints:      49005
344.98/345.92	c #Conflicts:     163000 | #Constraints:      50005
344.98/345.92	c #Conflicts:     164000 | #Constraints:      51005
344.98/345.92	c #Conflicts:     165000 | #Constraints:      52005
344.98/345.92	c #Conflicts:     166000 | #Constraints:      53005
344.98/345.92	c #Conflicts:     167000 | #Constraints:      54005
344.98/345.92	c #Conflicts:     168000 | #Constraints:      55005
344.98/345.92	c INPROCESSING
344.98/345.92	c GARBAGE COLLECT
344.98/345.92	c #Conflicts:     169000 | #Constraints:      43736
344.98/345.92	c #Conflicts:     170000 | #Constraints:      44736
344.98/345.92	c #Conflicts:     171000 | #Constraints:      45736
344.98/345.92	c #Conflicts:     172000 | #Constraints:      46736
344.98/345.92	c #Conflicts:     173000 | #Constraints:      47736
344.98/345.92	c #Conflicts:     174000 | #Constraints:      48736
344.98/345.92	c #Conflicts:     175000 | #Constraints:      49736
344.98/345.92	c #Conflicts:     176000 | #Constraints:      50736
344.98/345.92	c #Conflicts:     177000 | #Constraints:      51736
344.98/345.92	c #Conflicts:     178000 | #Constraints:      52736
344.98/345.92	c #Conflicts:     179000 | #Constraints:      53736
344.98/345.92	c #Conflicts:     180000 | #Constraints:      54736
344.98/345.92	c #Conflicts:     181000 | #Constraints:      55736
344.98/345.92	c #Conflicts:     182000 | #Constraints:      56736
344.98/345.92	c #Conflicts:     183000 | #Constraints:      57736
344.98/345.92	c #Conflicts:     184000 | #Constraints:      58736
344.98/345.92	c #Conflicts:     185000 | #Constraints:      59736
344.98/345.92	c #Conflicts:     186000 | #Constraints:      60736
344.98/345.92	c #Conflicts:     187000 | #Constraints:      61736
344.98/345.92	c #Conflicts:     188000 | #Constraints:      62736
344.98/345.92	c #Conflicts:     189000 | #Constraints:      63736
344.98/345.92	c #Conflicts:     190000 | #Constraints:      64736
344.98/345.92	c #Conflicts:     191000 | #Constraints:      65736
344.98/345.92	c #Conflicts:     192000 | #Constraints:      66736
344.98/345.92	c #Conflicts:     193000 | #Constraints:      67736
344.98/345.92	c #Conflicts:     194000 | #Constraints:      68736
344.98/345.92	c #Conflicts:     195000 | #Constraints:      69736
344.98/345.92	c #Conflicts:     196000 | #Constraints:      70736
344.98/345.92	c INPROCESSING
344.98/345.92	c GARBAGE COLLECT
344.98/345.92	c #Conflicts:     197000 | #Constraints:      47753
344.98/345.92	c #Conflicts:     198000 | #Constraints:      48753
344.98/345.92	c #Conflicts:     199000 | #Constraints:      49753
344.98/345.92	c #Conflicts:     200000 | #Constraints:      50753
344.98/345.92	c #Conflicts:     201000 | #Constraints:      51753
344.98/345.92	c #Conflicts:     202000 | #Constraints:      52753
344.98/345.92	c #Conflicts:     203000 | #Constraints:      53753
344.98/345.92	c #Conflicts:     204000 | #Constraints:      54753
344.98/345.92	c #Conflicts:     205000 | #Constraints:      55753
344.98/345.92	c #Conflicts:     206000 | #Constraints:      56753
344.98/345.92	c #Conflicts:     207000 | #Constraints:      57753
344.98/345.92	c #Conflicts:     208000 | #Constraints:      58753
344.98/345.92	c #Conflicts:     209000 | #Constraints:      59753
344.98/345.92	c INPROCESSING
344.98/345.92	c GARBAGE COLLECT
344.98/345.92	c #Conflicts:     210000 | #Constraints:      46899
344.98/345.92	c #Conflicts:     211000 | #Constraints:      47899
344.98/345.92	c #Conflicts:     212000 | #Constraints:      48899
344.98/345.92	c #Conflicts:     213000 | #Constraints:      49899
344.98/345.92	c #Conflicts:     214000 | #Constraints:      50899
344.98/345.92	c #Conflicts:     215000 | #Constraints:      51899
344.98/345.92	c #Conflicts:     216000 | #Constraints:      52899
344.98/345.92	c #Conflicts:     217000 | #Constraints:      53899
344.98/345.92	c #Conflicts:     218000 | #Constraints:      54899
344.98/345.92	c #Conflicts:     219000 | #Constraints:      55899
344.98/345.92	c #Conflicts:     220000 | #Constraints:      56899
344.98/345.92	c #Conflicts:     221000 | #Constraints:      57899
344.98/345.92	c #Conflicts:     222000 | #Constraints:      58899
344.98/345.92	c #Conflicts:     223000 | #Constraints:      59899
344.98/345.92	c #Conflicts:     224000 | #Constraints:      60899
344.98/345.92	c #Conflicts:     225000 | #Constraints:      61899
587.61/589.14	c #Conflicts:     226000 | #Constraints:      62899
587.61/589.14	c #Conflicts:     227000 | #Constraints:      63899
587.61/589.14	c #Conflicts:     228000 | #Constraints:      64899
587.61/589.14	c #Conflicts:     229000 | #Constraints:      65899
587.61/589.14	c #Conflicts:     230000 | #Constraints:      66899
587.61/589.14	c #Conflicts:     231000 | #Constraints:      67899
587.61/589.14	c #Conflicts:     232000 | #Constraints:      68899
587.61/589.14	c #Conflicts:     233000 | #Constraints:      69899
587.61/589.14	c #Conflicts:     234000 | #Constraints:      70899
587.61/589.14	c #Conflicts:     235000 | #Constraints:      71899
587.61/589.14	c #Conflicts:     236000 | #Constraints:      72899
587.61/589.14	c #Conflicts:     237000 | #Constraints:      73899
587.61/589.14	c #Conflicts:     238000 | #Constraints:      74899
587.61/589.14	c #Conflicts:     239000 | #Constraints:      75899
587.61/589.14	c #Conflicts:     240000 | #Constraints:      76899
587.61/589.14	c INPROCESSING
587.61/589.14	c GARBAGE COLLECT
587.61/589.14	c #Conflicts:     241000 | #Constraints:      50972
587.61/589.14	c #Conflicts:     242000 | #Constraints:      51972
587.61/589.14	c #Conflicts:     243000 | #Constraints:      52972
587.61/589.14	c #Conflicts:     244000 | #Constraints:      53972
587.61/589.14	c #Conflicts:     245000 | #Constraints:      54972
587.61/589.14	c #Conflicts:     246000 | #Constraints:      55972
587.61/589.14	c #Conflicts:     247000 | #Constraints:      56972
587.61/589.14	c #Conflicts:     248000 | #Constraints:      57972
587.61/589.14	c #Conflicts:     249000 | #Constraints:      58972
587.61/589.14	c #Conflicts:     250000 | #Constraints:      59972
587.61/589.14	c #Conflicts:     251000 | #Constraints:      60972
587.61/589.14	c #Conflicts:     252000 | #Constraints:      61972
587.61/589.14	c #Conflicts:     253000 | #Constraints:      62972
587.61/589.14	c #Conflicts:     254000 | #Constraints:      63972
587.61/589.14	c INPROCESSING
587.61/589.14	c GARBAGE COLLECT
587.61/589.14	c #Conflicts:     255000 | #Constraints:      49269
587.61/589.14	c #Conflicts:     256000 | #Constraints:      50269
587.61/589.14	c #Conflicts:     257000 | #Constraints:      51269
587.61/589.14	c #Conflicts:     258000 | #Constraints:      52269
587.61/589.14	c #Conflicts:     259000 | #Constraints:      53269
587.61/589.14	c #Conflicts:     260000 | #Constraints:      54269
587.61/589.14	c #Conflicts:     261000 | #Constraints:      55269
587.61/589.14	c #Conflicts:     262000 | #Constraints:      56269
587.61/589.14	c #Conflicts:     263000 | #Constraints:      57269
587.61/589.14	c #Conflicts:     264000 | #Constraints:      58269
587.61/589.14	c #Conflicts:     265000 | #Constraints:      59269
587.61/589.14	c #Conflicts:     266000 | #Constraints:      60269
587.61/589.14	c #Conflicts:     267000 | #Constraints:      61269
587.61/589.14	c #Conflicts:     268000 | #Constraints:      62269
587.61/589.14	c #Conflicts:     269000 | #Constraints:      63269
587.61/589.14	c #Conflicts:     270000 | #Constraints:      64269
587.61/589.14	c #Conflicts:     271000 | #Constraints:      65269
587.61/589.14	c #Conflicts:     272000 | #Constraints:      66269
587.61/589.14	c #Conflicts:     273000 | #Constraints:      67269
587.61/589.14	c #Conflicts:     274000 | #Constraints:      68269
587.61/589.14	c #Conflicts:     275000 | #Constraints:      69269
587.61/589.14	c #Conflicts:     276000 | #Constraints:      70269
587.61/589.14	c #Conflicts:     277000 | #Constraints:      71269
587.61/589.14	c #Conflicts:     278000 | #Constraints:      72269
587.61/589.14	c #Conflicts:     279000 | #Constraints:      73269
587.61/589.14	c #Conflicts:     280000 | #Constraints:      74269
587.61/589.14	c #Conflicts:     281000 | #Constraints:      75269
587.61/589.14	c #Conflicts:     282000 | #Constraints:      76269
587.61/589.14	c #Conflicts:     283000 | #Constraints:      77269
587.61/589.14	c #Conflicts:     284000 | #Constraints:      78269
587.61/589.14	c #Conflicts:     285000 | #Constraints:      79269
587.61/589.14	c #Conflicts:     286000 | #Constraints:      80269
587.61/589.14	c #Conflicts:     287000 | #Constraints:      81269
587.61/589.14	c #Conflicts:     288000 | #Constraints:      82269
587.61/589.14	c INPROCESSING
587.61/589.14	c GARBAGE COLLECT
587.61/589.14	c #Conflicts:     289000 | #Constraints:      53880
587.61/589.14	c #Conflicts:     290000 | #Constraints:      54880
587.61/589.14	c #Conflicts:     291000 | #Constraints:      55880
587.61/589.14	c #Conflicts:     292000 | #Constraints:      56880
587.61/589.14	c #Conflicts:     293000 | #Constraints:      57880
587.61/589.14	c #Conflicts:     294000 | #Constraints:      58880
587.61/589.14	c #Conflicts:     295000 | #Constraints:      59880
587.61/589.14	c #Conflicts:     296000 | #Constraints:      60880
587.61/589.14	c #Conflicts:     297000 | #Constraints:      61880
587.61/589.14	c #Conflicts:     298000 | #Constraints:      62880
587.61/589.14	c #Conflicts:     299000 | #Constraints:      63880
587.61/589.14	c #Conflicts:     300000 | #Constraints:      64880
587.61/589.14	c #Conflicts:     301000 | #Constraints:      65880
587.61/589.14	c #Conflicts:     302000 | #Constraints:      66880
725.68/727.51	c #Conflicts:     303000 | #Constraints:      67880
725.68/727.51	c INPROCESSING
725.68/727.51	c GARBAGE COLLECT
725.68/727.51	c #Conflicts:     304000 | #Constraints:      51755
725.68/727.51	c #Conflicts:     305000 | #Constraints:      52755
725.68/727.51	c #Conflicts:     306000 | #Constraints:      53755
725.68/727.51	c #Conflicts:     307000 | #Constraints:      54755
725.68/727.51	c #Conflicts:     308000 | #Constraints:      55755
725.68/727.51	c #Conflicts:     309000 | #Constraints:      56755
725.68/727.51	c #Conflicts:     310000 | #Constraints:      57755
725.68/727.51	c #Conflicts:     311000 | #Constraints:      58755
725.68/727.51	c #Conflicts:     312000 | #Constraints:      59755
725.68/727.51	c #Conflicts:     313000 | #Constraints:      60755
725.68/727.51	c #Conflicts:     314000 | #Constraints:      61755
725.68/727.51	c #Conflicts:     315000 | #Constraints:      62755
725.68/727.51	c #Conflicts:     316000 | #Constraints:      63755
725.68/727.51	c #Conflicts:     317000 | #Constraints:      64755
725.68/727.51	c #Conflicts:     318000 | #Constraints:      65755
725.68/727.51	c #Conflicts:     319000 | #Constraints:      66755
725.68/727.51	c #Conflicts:     320000 | #Constraints:      67755
725.68/727.51	c #Conflicts:     321000 | #Constraints:      68755
725.68/727.51	c #Conflicts:     322000 | #Constraints:      69755
725.68/727.51	c #Conflicts:     323000 | #Constraints:      70755
725.68/727.51	c #Conflicts:     324000 | #Constraints:      71755
725.68/727.51	c #Conflicts:     325000 | #Constraints:      72755
725.68/727.51	c #Conflicts:     326000 | #Constraints:      73755
725.68/727.51	c #Conflicts:     327000 | #Constraints:      74755
725.68/727.51	c #Conflicts:     328000 | #Constraints:      75755
725.68/727.51	c #Conflicts:     329000 | #Constraints:      76755
725.68/727.51	c #Conflicts:     330000 | #Constraints:      77755
725.68/727.51	c #Conflicts:     331000 | #Constraints:      78755
725.68/727.51	c #Conflicts:     332000 | #Constraints:      79755
725.68/727.51	c #Conflicts:     333000 | #Constraints:      80755
725.68/727.51	c #Conflicts:     334000 | #Constraints:      81755
725.68/727.51	c #Conflicts:     335000 | #Constraints:      82755
725.68/727.51	c #Conflicts:     336000 | #Constraints:      83755
725.68/727.51	c #Conflicts:     337000 | #Constraints:      84755
725.68/727.51	c #Conflicts:     338000 | #Constraints:      85755
725.68/727.51	c #Conflicts:     339000 | #Constraints:      86755
725.68/727.51	c #Conflicts:     340000 | #Constraints:      87755
725.68/727.51	c INPROCESSING
725.68/727.51	c GARBAGE COLLECT
725.68/727.51	c #Conflicts:     341000 | #Constraints:      56202
725.68/727.51	c #Conflicts:     342000 | #Constraints:      57202
725.68/727.51	c #Conflicts:     343000 | #Constraints:      58202
725.68/727.51	c #Conflicts:     344000 | #Constraints:      59202
725.68/727.51	c #Conflicts:     345000 | #Constraints:      60202
725.68/727.51	c #Conflicts:     346000 | #Constraints:      61202
725.68/727.51	c #Conflicts:     347000 | #Constraints:      62202
725.68/727.51	c #Conflicts:     348000 | #Constraints:      63202
725.68/727.51	c #Conflicts:     349000 | #Constraints:      64202
725.68/727.51	c #Conflicts:     350000 | #Constraints:      65202
725.68/727.51	c #Conflicts:     351000 | #Constraints:      66202
725.68/727.51	c #Conflicts:     352000 | #Constraints:      67202
725.68/727.51	c #Conflicts:     353000 | #Constraints:      68202
725.68/727.51	c #Conflicts:     354000 | #Constraints:      69202
725.68/727.51	c #Conflicts:     355000 | #Constraints:      70202
725.68/727.51	c #Conflicts:     356000 | #Constraints:      71202
725.68/727.51	c #Conflicts:     357000 | #Constraints:      72202
725.68/727.51	c INPROCESSING
725.68/727.51	c GARBAGE COLLECT
725.68/727.51	c #Conflicts:     358000 | #Constraints:      55010
725.68/727.51	c #Conflicts:     359000 | #Constraints:      56010
725.68/727.51	c #Conflicts:     360000 | #Constraints:      57010
725.68/727.51	c #Conflicts:     361000 | #Constraints:      58010
725.68/727.51	c #Conflicts:     362000 | #Constraints:      59010
725.68/727.51	c #Conflicts:     363000 | #Constraints:      60010
725.68/727.51	c #Conflicts:     364000 | #Constraints:      61010
725.68/727.51	c #Conflicts:     365000 | #Constraints:      62010
725.68/727.51	c #Conflicts:     366000 | #Constraints:      63010
725.68/727.51	c #Conflicts:     367000 | #Constraints:      64010
725.68/727.51	c #Conflicts:     368000 | #Constraints:      65010
725.68/727.51	c #Conflicts:     369000 | #Constraints:      66010
725.68/727.51	c #Conflicts:     370000 | #Constraints:      67010
725.68/727.51	c #Conflicts:     371000 | #Constraints:      68010
725.68/727.51	c #Conflicts:     372000 | #Constraints:      69010
725.68/727.51	c #Conflicts:     373000 | #Constraints:      70010
725.68/727.51	c #Conflicts:     374000 | #Constraints:      71010
725.68/727.51	c #Conflicts:     375000 | #Constraints:      72010
725.68/727.51	c #Conflicts:     376000 | #Constraints:      73010
725.68/727.51	c #Conflicts:     377000 | #Constraints:      74010
725.68/727.51	c #Conflicts:     378000 | #Constraints:      75010
873.93/876.18	c #Conflicts:     379000 | #Constraints:      76010
873.93/876.18	c #Conflicts:     380000 | #Constraints:      77010
873.93/876.18	c #Conflicts:     381000 | #Constraints:      78010
873.93/876.18	c #Conflicts:     382000 | #Constraints:      79010
873.93/876.18	c #Conflicts:     383000 | #Constraints:      80010
873.93/876.18	c #Conflicts:     384000 | #Constraints:      81010
873.93/876.18	c #Conflicts:     385000 | #Constraints:      82010
873.93/876.18	c #Conflicts:     386000 | #Constraints:      83010
873.93/876.18	c #Conflicts:     387000 | #Constraints:      84010
873.93/876.18	c #Conflicts:     388000 | #Constraints:      85010
873.93/876.18	c #Conflicts:     389000 | #Constraints:      86010
873.93/876.18	c #Conflicts:     390000 | #Constraints:      87010
873.93/876.18	c #Conflicts:     391000 | #Constraints:      88010
873.93/876.18	c #Conflicts:     392000 | #Constraints:      89010
873.93/876.18	c #Conflicts:     393000 | #Constraints:      90010
873.93/876.18	c #Conflicts:     394000 | #Constraints:      91010
873.93/876.18	c #Conflicts:     395000 | #Constraints:      92010
873.93/876.18	c #Conflicts:     396000 | #Constraints:      93010
873.93/876.18	c #Conflicts:     397000 | #Constraints:      94010
873.93/876.18	c INPROCESSING
873.93/876.18	c GARBAGE COLLECT
873.93/876.18	c #Conflicts:     398000 | #Constraints:      59444
873.93/876.18	c #Conflicts:     399000 | #Constraints:      60444
873.93/876.18	c #Conflicts:     400000 | #Constraints:      61444
873.93/876.18	c #Conflicts:     401000 | #Constraints:      62444
873.93/876.18	c #Conflicts:     402000 | #Constraints:      63444
873.93/876.18	c #Conflicts:     403000 | #Constraints:      64444
873.93/876.18	c #Conflicts:     404000 | #Constraints:      65444
873.93/876.18	c #Conflicts:     405000 | #Constraints:      66444
873.93/876.18	c #Conflicts:     406000 | #Constraints:      67444
873.93/876.18	c #Conflicts:     407000 | #Constraints:      68444
873.93/876.18	c #Conflicts:     408000 | #Constraints:      69444
873.93/876.18	c #Conflicts:     409000 | #Constraints:      70444
873.93/876.18	c #Conflicts:     410000 | #Constraints:      71444
873.93/876.18	c #Conflicts:     411000 | #Constraints:      72444
873.93/876.18	c #Conflicts:     412000 | #Constraints:      73444
873.93/876.18	c #Conflicts:     413000 | #Constraints:      74444
873.93/876.18	c #Conflicts:     414000 | #Constraints:      75444
873.93/876.18	c #Conflicts:     415000 | #Constraints:      76444
873.93/876.18	c INPROCESSING
873.93/876.18	c GARBAGE COLLECT
873.93/876.18	c #Conflicts:     416000 | #Constraints:      57803
873.93/876.18	c #Conflicts:     417000 | #Constraints:      58803
873.93/876.18	c #Conflicts:     418000 | #Constraints:      59803
873.93/876.18	c #Conflicts:     419000 | #Constraints:      60803
873.93/876.18	c #Conflicts:     420000 | #Constraints:      61803
873.93/876.18	c #Conflicts:     421000 | #Constraints:      62803
873.93/876.18	c #Conflicts:     422000 | #Constraints:      63803
873.93/876.18	c #Conflicts:     423000 | #Constraints:      64803
873.93/876.18	c #Conflicts:     424000 | #Constraints:      65803
873.93/876.18	c #Conflicts:     425000 | #Constraints:      66803
873.93/876.18	c #Conflicts:     426000 | #Constraints:      67803
873.93/876.18	c #Conflicts:     427000 | #Constraints:      68803
873.93/876.18	c #Conflicts:     428000 | #Constraints:      69803
873.93/876.18	c #Conflicts:     429000 | #Constraints:      70803
873.93/876.18	c #Conflicts:     430000 | #Constraints:      71803
873.93/876.18	c #Conflicts:     431000 | #Constraints:      72803
873.93/876.18	c #Conflicts:     432000 | #Constraints:      73803
873.93/876.18	c #Conflicts:     433000 | #Constraints:      74803
873.93/876.18	c #Conflicts:     434000 | #Constraints:      75803
873.93/876.18	c #Conflicts:     435000 | #Constraints:      76803
873.93/876.18	c #Conflicts:     436000 | #Constraints:      77803
873.93/876.18	c #Conflicts:     437000 | #Constraints:      78803
873.93/876.18	c #Conflicts:     438000 | #Constraints:      79803
873.93/876.18	c #Conflicts:     439000 | #Constraints:      80803
873.93/876.18	c #Conflicts:     440000 | #Constraints:      81803
873.93/876.18	c #Conflicts:     441000 | #Constraints:      82803
873.93/876.18	c #Conflicts:     442000 | #Constraints:      83803
873.93/876.18	c #Conflicts:     443000 | #Constraints:      84803
873.93/876.18	c #Conflicts:     444000 | #Constraints:      85803
873.93/876.18	c #Conflicts:     445000 | #Constraints:      86803
873.93/876.18	c #Conflicts:     446000 | #Constraints:      87803
873.93/876.18	c #Conflicts:     447000 | #Constraints:      88803
873.93/876.18	c #Conflicts:     448000 | #Constraints:      89803
873.93/876.18	c #Conflicts:     449000 | #Constraints:      90803
873.93/876.18	c #Conflicts:     450000 | #Constraints:      91803
873.93/876.18	c #Conflicts:     451000 | #Constraints:      92803
873.93/876.18	c #Conflicts:     452000 | #Constraints:      93803
873.93/876.18	c #Conflicts:     453000 | #Constraints:      94803
873.93/876.18	c #Conflicts:     454000 | #Constraints:      95803
873.93/876.18	c #Conflicts:     455000 | #Constraints:      96803
873.93/876.18	c #Conflicts:     456000 | #Constraints:      97803
1040.63/1043.28	c #Conflicts:     457000 | #Constraints:      98803
1040.63/1043.28	c #Conflicts:     458000 | #Constraints:      99803
1040.63/1043.28	c #Conflicts:     459000 | #Constraints:     100803
1040.63/1043.28	c INPROCESSING
1040.63/1043.28	c GARBAGE COLLECT
1040.63/1043.28	c #Conflicts:     460000 | #Constraints:      63071
1040.63/1043.28	c #Conflicts:     461000 | #Constraints:      64071
1040.63/1043.28	c #Conflicts:     462000 | #Constraints:      65071
1040.63/1043.28	c #Conflicts:     463000 | #Constraints:      66071
1040.63/1043.28	c #Conflicts:     464000 | #Constraints:      67071
1040.63/1043.28	c #Conflicts:     465000 | #Constraints:      68071
1040.63/1043.28	c #Conflicts:     466000 | #Constraints:      69071
1040.63/1043.28	c #Conflicts:     467000 | #Constraints:      70071
1040.63/1043.28	c #Conflicts:     468000 | #Constraints:      71071
1040.63/1043.28	c #Conflicts:     469000 | #Constraints:      72071
1040.63/1043.28	c #Conflicts:     470000 | #Constraints:      73071
1040.63/1043.28	c #Conflicts:     471000 | #Constraints:      74071
1040.63/1043.28	c #Conflicts:     472000 | #Constraints:      75071
1040.63/1043.28	c #Conflicts:     473000 | #Constraints:      76071
1040.63/1043.28	c #Conflicts:     474000 | #Constraints:      77071
1040.63/1043.28	c #Conflicts:     475000 | #Constraints:      78071
1040.63/1043.28	c #Conflicts:     476000 | #Constraints:      79071
1040.63/1043.28	c #Conflicts:     477000 | #Constraints:      80071
1040.63/1043.28	c #Conflicts:     478000 | #Constraints:      81071
1040.63/1043.28	c INPROCESSING
1040.63/1043.28	c GARBAGE COLLECT
1040.63/1043.28	c #Conflicts:     479000 | #Constraints:      60114
1040.63/1043.28	c #Conflicts:     480000 | #Constraints:      61114
1040.63/1043.28	c #Conflicts:     481000 | #Constraints:      62114
1040.63/1043.28	c #Conflicts:     482000 | #Constraints:      63114
1040.63/1043.28	c #Conflicts:     483000 | #Constraints:      64114
1040.63/1043.28	c #Conflicts:     484000 | #Constraints:      65114
1040.63/1043.28	c #Conflicts:     485000 | #Constraints:      66114
1040.63/1043.28	c #Conflicts:     486000 | #Constraints:      67114
1040.63/1043.28	c #Conflicts:     487000 | #Constraints:      68114
1040.63/1043.28	c #Conflicts:     488000 | #Constraints:      69114
1040.63/1043.28	c #Conflicts:     489000 | #Constraints:      70114
1040.63/1043.28	c #Conflicts:     490000 | #Constraints:      71114
1040.63/1043.28	c #Conflicts:     491000 | #Constraints:      72114
1040.63/1043.28	c #Conflicts:     492000 | #Constraints:      73114
1040.63/1043.28	c #Conflicts:     493000 | #Constraints:      74114
1040.63/1043.28	c #Conflicts:     494000 | #Constraints:      75114
1040.63/1043.28	c #Conflicts:     495000 | #Constraints:      76114
1040.63/1043.28	c #Conflicts:     496000 | #Constraints:      77114
1040.63/1043.28	c #Conflicts:     497000 | #Constraints:      78114
1040.63/1043.28	c #Conflicts:     498000 | #Constraints:      79114
1040.63/1043.28	c #Conflicts:     499000 | #Constraints:      80114
1040.63/1043.28	c #Conflicts:     500000 | #Constraints:      81114
1040.63/1043.28	c #Conflicts:     501000 | #Constraints:      82114
1040.63/1043.28	c #Conflicts:     502000 | #Constraints:      83114
1040.63/1043.28	c #Conflicts:     503000 | #Constraints:      84114
1040.63/1043.28	c #Conflicts:     504000 | #Constraints:      85114
1040.63/1043.28	c #Conflicts:     505000 | #Constraints:      86114
1040.63/1043.28	c #Conflicts:     506000 | #Constraints:      87114
1040.63/1043.28	c #Conflicts:     507000 | #Constraints:      88114
1040.63/1043.28	c #Conflicts:     508000 | #Constraints:      89114
1040.63/1043.28	c #Conflicts:     509000 | #Constraints:      90114
1040.63/1043.28	c #Conflicts:     510000 | #Constraints:      91114
1040.63/1043.28	c #Conflicts:     511000 | #Constraints:      92114
1040.63/1043.28	c #Conflicts:     512000 | #Constraints:      93114
1040.63/1043.28	c #Conflicts:     513000 | #Constraints:      94114
1040.63/1043.28	c #Conflicts:     514000 | #Constraints:      95114
1040.63/1043.28	c #Conflicts:     515000 | #Constraints:      96114
1040.63/1043.28	c #Conflicts:     516000 | #Constraints:      97114
1040.63/1043.28	c #Conflicts:     517000 | #Constraints:      98114
1040.63/1043.28	c #Conflicts:     518000 | #Constraints:      99114
1040.63/1043.28	c #Conflicts:     519000 | #Constraints:     100114
1040.63/1043.28	c #Conflicts:     520000 | #Constraints:     101114
1040.63/1043.28	c #Conflicts:     521000 | #Constraints:     102114
1040.63/1043.28	c #Conflicts:     522000 | #Constraints:     103114
1040.63/1043.28	c #Conflicts:     523000 | #Constraints:     104114
1040.63/1043.28	c #Conflicts:     524000 | #Constraints:     105114
1040.63/1043.28	c #Conflicts:     525000 | #Constraints:     106114
1040.63/1043.28	c INPROCESSING
1040.63/1043.28	c GARBAGE COLLECT
1040.63/1043.28	c #Conflicts:     526000 | #Constraints:      65829
1040.63/1043.28	c #Conflicts:     527000 | #Constraints:      66829
1040.63/1043.28	c #Conflicts:     528000 | #Constraints:      67829
1040.63/1043.28	c #Conflicts:     529000 | #Constraints:      68829
1040.63/1043.28	c #Conflicts:     530000 | #Constraints:      69829
1040.63/1043.28	c #Conflicts:     531000 | #Constraints:      70829
1040.63/1043.28	c #Conflicts:     532000 | #Constraints:      71829
1040.63/1043.28	c #Conflicts:     533000 | #Constraints:      72829
1315.77/1319.06	c #Conflicts:     534000 | #Constraints:      73829
1315.77/1319.06	c #Conflicts:     535000 | #Constraints:      74829
1315.77/1319.06	c #Conflicts:     536000 | #Constraints:      75830
1315.77/1319.06	c #Conflicts:     537000 | #Constraints:      76830
1315.77/1319.06	c #Conflicts:     538000 | #Constraints:      77830
1315.77/1319.06	c #Conflicts:     539000 | #Constraints:      78830
1315.77/1319.06	c #Conflicts:     540000 | #Constraints:      79830
1315.77/1319.06	c #Conflicts:     541000 | #Constraints:      80830
1315.77/1319.06	c #Conflicts:     542000 | #Constraints:      81830
1315.77/1319.06	c #Conflicts:     543000 | #Constraints:      82830
1315.77/1319.06	c #Conflicts:     544000 | #Constraints:      83830
1315.77/1319.06	c #Conflicts:     545000 | #Constraints:      84830
1315.77/1319.06	c INPROCESSING
1315.77/1319.06	c GARBAGE COLLECT
1315.77/1319.06	c #Conflicts:     546000 | #Constraints:      62894
1315.77/1319.06	c #Conflicts:     547000 | #Constraints:      63894
1315.77/1319.06	c #Conflicts:     548000 | #Constraints:      64894
1315.77/1319.06	c #Conflicts:     549000 | #Constraints:      65894
1315.77/1319.06	c #Conflicts:     550000 | #Constraints:      66894
1315.77/1319.06	c #Conflicts:     551000 | #Constraints:      67894
1315.77/1319.06	c #Conflicts:     552000 | #Constraints:      68894
1315.77/1319.06	c #Conflicts:     553000 | #Constraints:      69894
1315.77/1319.06	c #Conflicts:     554000 | #Constraints:      70894
1315.77/1319.06	c #Conflicts:     555000 | #Constraints:      71894
1315.77/1319.06	c #Conflicts:     556000 | #Constraints:      72894
1315.77/1319.06	c #Conflicts:     557000 | #Constraints:      73894
1315.77/1319.06	c #Conflicts:     558000 | #Constraints:      74894
1315.77/1319.06	c #Conflicts:     559000 | #Constraints:      75894
1315.77/1319.06	c #Conflicts:     560000 | #Constraints:      76894
1315.77/1319.06	c #Conflicts:     561000 | #Constraints:      77894
1315.77/1319.06	c #Conflicts:     562000 | #Constraints:      78894
1315.77/1319.06	c #Conflicts:     563000 | #Constraints:      79894
1315.77/1319.06	c #Conflicts:     564000 | #Constraints:      80894
1315.77/1319.06	c #Conflicts:     565000 | #Constraints:      81894
1315.77/1319.06	c #Conflicts:     566000 | #Constraints:      82894
1315.77/1319.06	c #Conflicts:     567000 | #Constraints:      83894
1315.77/1319.06	c #Conflicts:     568000 | #Constraints:      84894
1315.77/1319.06	c #Conflicts:     569000 | #Constraints:      85894
1315.77/1319.06	c #Conflicts:     570000 | #Constraints:      86894
1315.77/1319.06	c #Conflicts:     571000 | #Constraints:      87894
1315.77/1319.06	c #Conflicts:     572000 | #Constraints:      88894
1315.77/1319.06	c #Conflicts:     573000 | #Constraints:      89894
1315.77/1319.06	c #Conflicts:     574000 | #Constraints:      90894
1315.77/1319.06	c #Conflicts:     575000 | #Constraints:      91894
1315.77/1319.06	c #Conflicts:     576000 | #Constraints:      92894
1315.77/1319.06	c #Conflicts:     577000 | #Constraints:      93894
1315.77/1319.06	c #Conflicts:     578000 | #Constraints:      94894
1315.77/1319.06	c #Conflicts:     579000 | #Constraints:      95894
1315.77/1319.06	c #Conflicts:     580000 | #Constraints:      96894
1315.77/1319.06	c #Conflicts:     581000 | #Constraints:      97894
1315.77/1319.06	c #Conflicts:     582000 | #Constraints:      98894
1315.77/1319.06	c #Conflicts:     583000 | #Constraints:      99894
1315.77/1319.06	c #Conflicts:     584000 | #Constraints:     100894
1315.77/1319.06	c #Conflicts:     585000 | #Constraints:     101894
1315.77/1319.06	c #Conflicts:     586000 | #Constraints:     102894
1315.77/1319.06	c #Conflicts:     587000 | #Constraints:     103894
1315.77/1319.06	c #Conflicts:     588000 | #Constraints:     104894
1315.77/1319.06	c #Conflicts:     589000 | #Constraints:     105894
1315.77/1319.06	c #Conflicts:     590000 | #Constraints:     106894
1315.77/1319.06	c #Conflicts:     591000 | #Constraints:     107894
1315.77/1319.06	c #Conflicts:     592000 | #Constraints:     108894
1315.77/1319.06	c #Conflicts:     593000 | #Constraints:     109894
1315.77/1319.06	c #Conflicts:     594000 | #Constraints:     110894
1315.77/1319.06	c #Conflicts:     595000 | #Constraints:     111894
1315.77/1319.06	c INPROCESSING
1315.77/1319.06	c GARBAGE COLLECT
1315.77/1319.06	c #Conflicts:     596000 | #Constraints:      69130
1315.77/1319.06	c #Conflicts:     597000 | #Constraints:      70130
1315.77/1319.06	c #Conflicts:     598000 | #Constraints:      71130
1315.77/1319.06	c #Conflicts:     599000 | #Constraints:      72130
1315.77/1319.06	c #Conflicts:     600000 | #Constraints:      73130
1315.77/1319.06	c #Conflicts:     601000 | #Constraints:      74130
1315.77/1319.06	c #Conflicts:     602000 | #Constraints:      75130
1315.77/1319.06	c #Conflicts:     603000 | #Constraints:      76130
1315.77/1319.06	c #Conflicts:     604000 | #Constraints:      77130
1315.77/1319.06	c #Conflicts:     605000 | #Constraints:      78130
1315.77/1319.06	c #Conflicts:     606000 | #Constraints:      79130
1315.77/1319.06	c #Conflicts:     607000 | #Constraints:      80130
1315.77/1319.06	c #Conflicts:     608000 | #Constraints:      81130
1315.77/1319.06	c #Conflicts:     609000 | #Constraints:      82130
1315.77/1319.06	c #Conflicts:     610000 | #Constraints:      83130
1530.44/1534.25	c #Conflicts:     611000 | #Constraints:      84130
1530.44/1534.25	c #Conflicts:     612000 | #Constraints:      85130
1530.44/1534.25	c #Conflicts:     613000 | #Constraints:      86130
1530.44/1534.25	c #Conflicts:     614000 | #Constraints:      87130
1530.44/1534.25	c #Conflicts:     615000 | #Constraints:      88130
1530.44/1534.25	c #Conflicts:     616000 | #Constraints:      89130
1530.44/1534.25	c #Conflicts:     617000 | #Constraints:      90130
1530.44/1534.25	c INPROCESSING
1530.44/1534.25	c GARBAGE COLLECT
1530.44/1534.25	c #Conflicts:     618000 | #Constraints:      66046
1530.44/1534.25	c #Conflicts:     619000 | #Constraints:      67046
1530.44/1534.25	c #Conflicts:     620000 | #Constraints:      68046
1530.44/1534.25	c #Conflicts:     621000 | #Constraints:      69046
1530.44/1534.25	c #Conflicts:     622000 | #Constraints:      70046
1530.44/1534.25	c #Conflicts:     623000 | #Constraints:      71046
1530.44/1534.25	c #Conflicts:     624000 | #Constraints:      72046
1530.44/1534.25	c #Conflicts:     625000 | #Constraints:      73046
1530.44/1534.25	c #Conflicts:     626000 | #Constraints:      74046
1530.44/1534.25	c #Conflicts:     627000 | #Constraints:      75046
1530.44/1534.25	c #Conflicts:     628000 | #Constraints:      76046
1530.44/1534.25	c #Conflicts:     629000 | #Constraints:      77046
1530.44/1534.25	c #Conflicts:     630000 | #Constraints:      78046
1530.44/1534.25	c #Conflicts:     631000 | #Constraints:      79046
1530.44/1534.25	c #Conflicts:     632000 | #Constraints:      80046
1530.44/1534.25	c #Conflicts:     633000 | #Constraints:      81046
1530.44/1534.25	c #Conflicts:     634000 | #Constraints:      82046
1530.44/1534.25	c #Conflicts:     635000 | #Constraints:      83046
1530.44/1534.25	c #Conflicts:     636000 | #Constraints:      84046
1530.44/1534.25	c #Conflicts:     637000 | #Constraints:      85046
1530.44/1534.25	c #Conflicts:     638000 | #Constraints:      86046
1530.44/1534.25	c #Conflicts:     639000 | #Constraints:      87046
1530.44/1534.25	c #Conflicts:     640000 | #Constraints:      88046
1530.44/1534.25	c #Conflicts:     641000 | #Constraints:      89046
1530.44/1534.25	c #Conflicts:     642000 | #Constraints:      90046
1530.44/1534.25	c #Conflicts:     643000 | #Constraints:      91046
1530.44/1534.25	c #Conflicts:     644000 | #Constraints:      92046
1530.44/1534.25	c #Conflicts:     645000 | #Constraints:      93046
1530.44/1534.25	c #Conflicts:     646000 | #Constraints:      94046
1530.44/1534.25	c #Conflicts:     647000 | #Constraints:      95046
1530.44/1534.25	c #Conflicts:     648000 | #Constraints:      96046
1530.44/1534.25	c #Conflicts:     649000 | #Constraints:      97046
1530.44/1534.25	c #Conflicts:     650000 | #Constraints:      98046
1530.44/1534.25	c #Conflicts:     651000 | #Constraints:      99046
1530.44/1534.25	c #Conflicts:     652000 | #Constraints:     100046
1530.44/1534.25	c #Conflicts:     653000 | #Constraints:     101046
1530.44/1534.25	c #Conflicts:     654000 | #Constraints:     102046
1530.44/1534.25	c #Conflicts:     655000 | #Constraints:     103046
1530.44/1534.25	c #Conflicts:     656000 | #Constraints:     104046
1530.44/1534.25	c #Conflicts:     657000 | #Constraints:     105046
1530.44/1534.25	c #Conflicts:     658000 | #Constraints:     106046
1530.44/1534.25	c #Conflicts:     659000 | #Constraints:     107046
1530.44/1534.25	c #Conflicts:     660000 | #Constraints:     108046
1530.44/1534.25	c #Conflicts:     661000 | #Constraints:     109046
1530.44/1534.25	c #Conflicts:     662000 | #Constraints:     110046
1530.44/1534.25	c #Conflicts:     663000 | #Constraints:     111046
1530.44/1534.25	c #Conflicts:     664000 | #Constraints:     112047
1530.44/1534.25	c #Conflicts:     665000 | #Constraints:     113047
1530.44/1534.25	c #Conflicts:     666000 | #Constraints:     114047
1530.44/1534.25	c #Conflicts:     667000 | #Constraints:     115047
1530.44/1534.25	c #Conflicts:     668000 | #Constraints:     116047
1530.44/1534.25	c #Conflicts:     669000 | #Constraints:     117047
1530.44/1534.25	c INPROCESSING
1530.44/1534.25	c GARBAGE COLLECT
1530.44/1534.25	c #Conflicts:     670000 | #Constraints:      71005
1530.44/1534.25	c #Conflicts:     671000 | #Constraints:      72005
1530.44/1534.25	c #Conflicts:     672000 | #Constraints:      73005
1530.44/1534.25	c #Conflicts:     673000 | #Constraints:      74005
1530.44/1534.25	c #Conflicts:     674000 | #Constraints:      75005
1530.44/1534.25	c #Conflicts:     675000 | #Constraints:      76005
1530.44/1534.25	c #Conflicts:     676000 | #Constraints:      77005
1530.44/1534.25	c #Conflicts:     677000 | #Constraints:      78005
1530.44/1534.25	c #Conflicts:     678000 | #Constraints:      79005
1530.44/1534.25	c #Conflicts:     679000 | #Constraints:      80005
1530.44/1534.25	c #Conflicts:     680000 | #Constraints:      81005
1530.44/1534.25	c #Conflicts:     681000 | #Constraints:      82005
1530.44/1534.25	c #Conflicts:     682000 | #Constraints:      83005
1530.44/1534.25	c #Conflicts:     683000 | #Constraints:      84005
1530.44/1534.25	c #Conflicts:     684000 | #Constraints:      85005
1530.44/1534.25	c #Conflicts:     685000 | #Constraints:      86005
1530.44/1534.25	c #Conflicts:     686000 | #Constraints:      87005
1530.44/1534.25	c #Conflicts:     687000 | #Constraints:      88005
1530.44/1534.25	c #Conflicts:     688000 | #Constraints:      89005
1680.00/1684.17	c #Conflicts:     689000 | #Constraints:      90005
1680.00/1684.17	c #Conflicts:     690000 | #Constraints:      91005
1680.00/1684.17	c #Conflicts:     691000 | #Constraints:      92005
1680.00/1684.17	c #Conflicts:     692000 | #Constraints:      93005
1680.00/1684.17	c #Conflicts:     693000 | #Constraints:      94005
1680.00/1684.17	c INPROCESSING
1680.00/1684.17	c GARBAGE COLLECT
1680.00/1684.17	c #Conflicts:     694000 | #Constraints:      69333
1680.00/1684.17	c #Conflicts:     695000 | #Constraints:      70333
1680.00/1684.17	c #Conflicts:     696000 | #Constraints:      71333
1680.00/1684.17	c #Conflicts:     697000 | #Constraints:      72333
1680.00/1684.17	c #Conflicts:     698000 | #Constraints:      73333
1680.00/1684.17	c #Conflicts:     699000 | #Constraints:      74333
1680.00/1684.17	c #Conflicts:     700000 | #Constraints:      75333
1680.00/1684.17	c #Conflicts:     701000 | #Constraints:      76333
1680.00/1684.17	c #Conflicts:     702000 | #Constraints:      77333
1680.00/1684.17	c #Conflicts:     703000 | #Constraints:      78333
1680.00/1684.17	c #Conflicts:     704000 | #Constraints:      79333
1680.00/1684.17	c #Conflicts:     705000 | #Constraints:      80333
1680.00/1684.17	c #Conflicts:     706000 | #Constraints:      81333
1680.00/1684.17	c #Conflicts:     707000 | #Constraints:      82333
1680.00/1684.17	c #Conflicts:     708000 | #Constraints:      83333
1680.00/1684.17	c #Conflicts:     709000 | #Constraints:      84333
1680.00/1684.17	c #Conflicts:     710000 | #Constraints:      85333
1680.00/1684.17	c #Conflicts:     711000 | #Constraints:      86333
1680.00/1684.17	c #Conflicts:     712000 | #Constraints:      87333
1680.00/1684.17	c #Conflicts:     713000 | #Constraints:      88333
1680.00/1684.17	c #Conflicts:     714000 | #Constraints:      89333
1680.00/1684.17	c #Conflicts:     715000 | #Constraints:      90333
1680.00/1684.17	c #Conflicts:     716000 | #Constraints:      91333
1680.00/1684.17	c #Conflicts:     717000 | #Constraints:      92333
1680.00/1684.17	c #Conflicts:     718000 | #Constraints:      93333
1680.00/1684.17	c #Conflicts:     719000 | #Constraints:      94333
1680.00/1684.17	c #Conflicts:     720000 | #Constraints:      95333
1680.00/1684.17	c #Conflicts:     721000 | #Constraints:      96333
1680.00/1684.17	c #Conflicts:     722000 | #Constraints:      97333
1680.00/1684.17	c #Conflicts:     723000 | #Constraints:      98333
1680.00/1684.17	c #Conflicts:     724000 | #Constraints:      99333
1680.00/1684.17	c #Conflicts:     725000 | #Constraints:     100333
1680.00/1684.17	c #Conflicts:     726000 | #Constraints:     101333
1680.00/1684.17	c #Conflicts:     727000 | #Constraints:     102333
1680.00/1684.17	c #Conflicts:     728000 | #Constraints:     103333
1680.00/1684.17	c #Conflicts:     729000 | #Constraints:     104333
1680.00/1684.17	c #Conflicts:     730000 | #Constraints:     105333
1680.00/1684.17	c #Conflicts:     731000 | #Constraints:     106333
1680.00/1684.17	c #Conflicts:     732000 | #Constraints:     107333
1680.00/1684.17	c #Conflicts:     733000 | #Constraints:     108333
1680.00/1684.17	c #Conflicts:     734000 | #Constraints:     109333
1680.00/1684.17	c #Conflicts:     735000 | #Constraints:     110333
1680.00/1684.17	c #Conflicts:     736000 | #Constraints:     111333
1680.00/1684.17	c #Conflicts:     737000 | #Constraints:     112333
1680.00/1684.17	c #Conflicts:     738000 | #Constraints:     113333
1680.00/1684.17	c #Conflicts:     739000 | #Constraints:     114333
1680.00/1684.17	c #Conflicts:     740000 | #Constraints:     115333
1680.00/1684.17	c #Conflicts:     741000 | #Constraints:     116333
1680.00/1684.17	c #Conflicts:     742000 | #Constraints:     117333
1680.00/1684.17	c #Conflicts:     743000 | #Constraints:     118333
1680.00/1684.17	c #Conflicts:     744000 | #Constraints:     119333
1680.00/1684.17	c #Conflicts:     745000 | #Constraints:     120333
1680.00/1684.17	c #Conflicts:     746000 | #Constraints:     121333
1680.00/1684.17	c #Conflicts:     747000 | #Constraints:     122333
1680.00/1684.17	c #Conflicts:     748000 | #Constraints:     123333
1680.00/1684.17	c INPROCESSING
1680.00/1684.17	c GARBAGE COLLECT
1680.00/1684.17	c #Conflicts:     749000 | #Constraints:      74204
1680.00/1684.17	c #Conflicts:     750000 | #Constraints:      75204
1680.00/1684.17	c #Conflicts:     751000 | #Constraints:      76204
1680.00/1684.17	c #Conflicts:     752000 | #Constraints:      77204
1680.00/1684.17	c #Conflicts:     753000 | #Constraints:      78204
1680.00/1684.17	c #Conflicts:     754000 | #Constraints:      79204
1680.00/1684.17	c #Conflicts:     755000 | #Constraints:      80204
1680.00/1684.17	c #Conflicts:     756000 | #Constraints:      81204
1680.00/1684.17	c #Conflicts:     757000 | #Constraints:      82204
1680.00/1684.17	c #Conflicts:     758000 | #Constraints:      83204
1680.00/1684.17	c #Conflicts:     759000 | #Constraints:      84204
1680.00/1684.17	c #Conflicts:     760000 | #Constraints:      85204
1680.00/1684.17	c #Conflicts:     761000 | #Constraints:      86204
1680.00/1684.17	c #Conflicts:     762000 | #Constraints:      87204
1680.00/1684.17	c #Conflicts:     763000 | #Constraints:      88204
1680.00/1684.17	c #Conflicts:     764000 | #Constraints:      89204
1680.00/1684.17	c #Conflicts:     765000 | #Constraints:      90204
1854.79/1859.35	c #Conflicts:     766000 | #Constraints:      91204
1854.79/1859.35	c #Conflicts:     767000 | #Constraints:      92204
1854.79/1859.35	c #Conflicts:     768000 | #Constraints:      93204
1854.79/1859.35	c #Conflicts:     769000 | #Constraints:      94204
1854.79/1859.35	c #Conflicts:     770000 | #Constraints:      95204
1854.79/1859.35	c #Conflicts:     771000 | #Constraints:      96204
1854.79/1859.35	c #Conflicts:     772000 | #Constraints:      97204
1854.79/1859.35	c #Conflicts:     773000 | #Constraints:      98204
1854.79/1859.35	c INPROCESSING
1854.79/1859.35	c GARBAGE COLLECT
1854.79/1859.35	c #Conflicts:     774000 | #Constraints:      71808
1854.79/1859.35	c #Conflicts:     775000 | #Constraints:      72808
1854.79/1859.35	c #Conflicts:     776000 | #Constraints:      73808
1854.79/1859.35	c #Conflicts:     777000 | #Constraints:      74808
1854.79/1859.35	c #Conflicts:     778000 | #Constraints:      75808
1854.79/1859.35	c #Conflicts:     779000 | #Constraints:      76808
1854.79/1859.35	c #Conflicts:     780000 | #Constraints:      77808
1854.79/1859.35	c #Conflicts:     781000 | #Constraints:      78808
1854.79/1859.35	c #Conflicts:     782000 | #Constraints:      79808
1854.79/1859.35	c #Conflicts:     783000 | #Constraints:      80808
1854.79/1859.35	c #Conflicts:     784000 | #Constraints:      81808
1854.79/1859.35	c #Conflicts:     785000 | #Constraints:      82808
1854.79/1859.35	c #Conflicts:     786000 | #Constraints:      83808
1854.79/1859.35	c #Conflicts:     787000 | #Constraints:      84808
1854.79/1859.35	c #Conflicts:     788000 | #Constraints:      85808
1854.79/1859.35	c #Conflicts:     789000 | #Constraints:      86808
1854.79/1859.35	c #Conflicts:     790000 | #Constraints:      87808
1854.79/1859.35	c #Conflicts:     791000 | #Constraints:      88808
1854.79/1859.35	c #Conflicts:     792000 | #Constraints:      89808
1854.79/1859.35	c #Conflicts:     793000 | #Constraints:      90808
1854.79/1859.35	c #Conflicts:     794000 | #Constraints:      91808
1854.79/1859.35	c #Conflicts:     795000 | #Constraints:      92808
1854.79/1859.35	c #Conflicts:     796000 | #Constraints:      93808
1854.79/1859.35	c #Conflicts:     797000 | #Constraints:      94808
1854.79/1859.35	c #Conflicts:     798000 | #Constraints:      95808
1854.79/1859.35	c #Conflicts:     799000 | #Constraints:      96808
1854.79/1859.35	c #Conflicts:     800000 | #Constraints:      97808
1854.79/1859.35	c #Conflicts:     801000 | #Constraints:      98808
1854.79/1859.35	c #Conflicts:     802000 | #Constraints:      99808
1854.79/1859.35	c #Conflicts:     803000 | #Constraints:     100808
1854.79/1859.35	c #Conflicts:     804000 | #Constraints:     101808
1854.79/1859.35	c #Conflicts:     805000 | #Constraints:     102808
1854.79/1859.35	c #Conflicts:     806000 | #Constraints:     103808
1854.79/1859.35	c #Conflicts:     807000 | #Constraints:     104808
1854.79/1859.35	c #Conflicts:     808000 | #Constraints:     105808
1854.79/1859.35	c #Conflicts:     809000 | #Constraints:     106808
1854.79/1859.35	c #Conflicts:     810000 | #Constraints:     107808
1854.79/1859.35	c #Conflicts:     811000 | #Constraints:     108808
1854.79/1859.35	c #Conflicts:     812000 | #Constraints:     109808
1854.79/1859.35	c #Conflicts:     813000 | #Constraints:     110808
1854.79/1859.35	c #Conflicts:     814000 | #Constraints:     111808
1854.79/1859.35	c #Conflicts:     815000 | #Constraints:     112808
1854.79/1859.35	c #Conflicts:     816000 | #Constraints:     113808
1854.79/1859.35	c #Conflicts:     817000 | #Constraints:     114808
1854.79/1859.35	c #Conflicts:     818000 | #Constraints:     115808
1854.79/1859.35	c #Conflicts:     819000 | #Constraints:     116808
1854.79/1859.35	c #Conflicts:     820000 | #Constraints:     117808
1854.79/1859.35	c #Conflicts:     821000 | #Constraints:     118808
1854.79/1859.35	c #Conflicts:     822000 | #Constraints:     119808
1854.79/1859.35	c #Conflicts:     823000 | #Constraints:     120808
1854.79/1859.35	c #Conflicts:     824000 | #Constraints:     121808
1854.79/1859.35	c #Conflicts:     825000 | #Constraints:     122808
1854.79/1859.35	c #Conflicts:     826000 | #Constraints:     123808
1854.79/1859.35	c #Conflicts:     827000 | #Constraints:     124808
1854.79/1859.35	c #Conflicts:     828000 | #Constraints:     125808
1854.79/1859.35	c #Conflicts:     829000 | #Constraints:     126808
1854.79/1859.35	c #Conflicts:     830000 | #Constraints:     127808
1854.79/1859.35	c #Conflicts:     831000 | #Constraints:     128808
1854.79/1859.35	c #Conflicts:     832000 | #Constraints:     129808
1854.79/1859.35	c INPROCESSING
1854.79/1859.35	c GARBAGE COLLECT
1854.79/1859.35	c #Conflicts:     833000 | #Constraints:      77967
1854.79/1859.35	c #Conflicts:     834000 | #Constraints:      78967
1854.79/1859.35	c #Conflicts:     835000 | #Constraints:      79967
1854.79/1859.35	c #Conflicts:     836000 | #Constraints:      80967
1854.79/1859.35	c #Conflicts:     837000 | #Constraints:      81967
1854.79/1859.35	c #Conflicts:     838000 | #Constraints:      82967
1854.79/1859.35	c #Conflicts:     839000 | #Constraints:      83967
1854.79/1859.35	c #Conflicts:     840000 | #Constraints:      84967
1854.79/1859.35	c #Conflicts:     841000 | #Constraints:      85967
1854.79/1859.35	c #Conflicts:     842000 | #Constraints:      86967
1854.79/1859.35	c #Conflicts:     843000 | #Constraints:      87967
2040.95/2045.92	c #Conflicts:     844000 | #Constraints:      88967
2040.95/2045.92	c #Conflicts:     845000 | #Constraints:      89967
2040.95/2045.92	c #Conflicts:     846000 | #Constraints:      90967
2040.95/2045.92	c #Conflicts:     847000 | #Constraints:      91967
2040.95/2045.92	c #Conflicts:     848000 | #Constraints:      92967
2040.95/2045.92	c #Conflicts:     849000 | #Constraints:      93967
2040.95/2045.92	c #Conflicts:     850000 | #Constraints:      94967
2040.95/2045.92	c #Conflicts:     851000 | #Constraints:      95967
2040.95/2045.92	c #Conflicts:     852000 | #Constraints:      96967
2040.95/2045.92	c #Conflicts:     853000 | #Constraints:      97967
2040.95/2045.92	c #Conflicts:     854000 | #Constraints:      98967
2040.95/2045.92	c #Conflicts:     855000 | #Constraints:      99967
2040.95/2045.92	c #Conflicts:     856000 | #Constraints:     100967
2040.95/2045.92	c #Conflicts:     857000 | #Constraints:     101967
2040.95/2045.92	c #Conflicts:     858000 | #Constraints:     102967
2040.95/2045.92	c INPROCESSING
2040.95/2045.92	c GARBAGE COLLECT
2040.95/2045.92	c #Conflicts:     859000 | #Constraints:      74930
2040.95/2045.92	c #Conflicts:     860000 | #Constraints:      75930
2040.95/2045.92	c #Conflicts:     861000 | #Constraints:      76930
2040.95/2045.92	c #Conflicts:     862000 | #Constraints:      77930
2040.95/2045.92	c #Conflicts:     863000 | #Constraints:      78930
2040.95/2045.92	c #Conflicts:     864000 | #Constraints:      79930
2040.95/2045.92	c #Conflicts:     865000 | #Constraints:      80930
2040.95/2045.92	c #Conflicts:     866000 | #Constraints:      81930
2040.95/2045.92	c #Conflicts:     867000 | #Constraints:      82930
2040.95/2045.92	c #Conflicts:     868000 | #Constraints:      83930
2040.95/2045.92	c #Conflicts:     869000 | #Constraints:      84930
2040.95/2045.92	c #Conflicts:     870000 | #Constraints:      85930
2040.95/2045.92	c #Conflicts:     871000 | #Constraints:      86930
2040.95/2045.92	c #Conflicts:     872000 | #Constraints:      87930
2040.95/2045.92	c #Conflicts:     873000 | #Constraints:      88930
2040.95/2045.92	c #Conflicts:     874000 | #Constraints:      89930
2040.95/2045.92	c #Conflicts:     875000 | #Constraints:      90930
2040.95/2045.92	c #Conflicts:     876000 | #Constraints:      91930
2040.95/2045.92	c #Conflicts:     877000 | #Constraints:      92930
2040.95/2045.92	c #Conflicts:     878000 | #Constraints:      93930
2040.95/2045.92	c #Conflicts:     879000 | #Constraints:      94930
2040.95/2045.92	c #Conflicts:     880000 | #Constraints:      95930
2040.95/2045.92	c #Conflicts:     881000 | #Constraints:      96930
2040.95/2045.92	c #Conflicts:     882000 | #Constraints:      97930
2040.95/2045.92	c #Conflicts:     883000 | #Constraints:      98930
2040.95/2045.92	c #Conflicts:     884000 | #Constraints:      99930
2040.95/2045.92	c #Conflicts:     885000 | #Constraints:     100930
2040.95/2045.92	c #Conflicts:     886000 | #Constraints:     101930
2040.95/2045.92	c #Conflicts:     887000 | #Constraints:     102930
2040.95/2045.92	c #Conflicts:     888000 | #Constraints:     103930
2040.95/2045.92	c #Conflicts:     889000 | #Constraints:     104930
2040.95/2045.92	c #Conflicts:     890000 | #Constraints:     105930
2040.95/2045.92	c #Conflicts:     891000 | #Constraints:     106930
2040.95/2045.92	c #Conflicts:     892000 | #Constraints:     107930
2040.95/2045.92	c #Conflicts:     893000 | #Constraints:     108930
2040.95/2045.92	c #Conflicts:     894000 | #Constraints:     109930
2040.95/2045.92	c #Conflicts:     895000 | #Constraints:     110930
2040.95/2045.92	c #Conflicts:     896000 | #Constraints:     111930
2040.95/2045.92	c #Conflicts:     897000 | #Constraints:     112930
2040.95/2045.92	c #Conflicts:     898000 | #Constraints:     113930
2040.95/2045.92	c #Conflicts:     899000 | #Constraints:     114930
2040.95/2045.92	c #Conflicts:     900000 | #Constraints:     115930
2040.95/2045.92	c #Conflicts:     901000 | #Constraints:     116930
2040.95/2045.92	c #Conflicts:     902000 | #Constraints:     117930
2040.95/2045.92	c #Conflicts:     903000 | #Constraints:     118930
2040.95/2045.92	c #Conflicts:     904000 | #Constraints:     119930
2040.95/2045.92	c #Conflicts:     905000 | #Constraints:     120930
2040.95/2045.92	c #Conflicts:     906000 | #Constraints:     121930
2040.95/2045.92	c #Conflicts:     907000 | #Constraints:     122930
2040.95/2045.92	c #Conflicts:     908000 | #Constraints:     123930
2040.95/2045.92	c #Conflicts:     909000 | #Constraints:     124930
2040.95/2045.92	c #Conflicts:     910000 | #Constraints:     125930
2040.95/2045.92	c #Conflicts:     911000 | #Constraints:     126930
2040.95/2045.92	c #Conflicts:     912000 | #Constraints:     127930
2040.95/2045.92	c #Conflicts:     913000 | #Constraints:     128930
2040.95/2045.92	c #Conflicts:     914000 | #Constraints:     129930
2040.95/2045.92	c #Conflicts:     915000 | #Constraints:     130930
2040.95/2045.92	c #Conflicts:     916000 | #Constraints:     131930
2040.95/2045.92	c #Conflicts:     917000 | #Constraints:     132930
2040.95/2045.92	c #Conflicts:     918000 | #Constraints:     133930
2040.95/2045.92	c #Conflicts:     919000 | #Constraints:     134930
2040.95/2045.92	c #Conflicts:     920000 | #Constraints:     135930
2040.95/2045.92	c INPROCESSING
2040.95/2045.92	c GARBAGE COLLECT
2233.01/2238.44	c #Conflicts:     921000 | #Constraints:      81070
2233.01/2238.44	c #Conflicts:     922000 | #Constraints:      82070
2233.01/2238.44	c #Conflicts:     923000 | #Constraints:      83070
2233.01/2238.44	c #Conflicts:     924000 | #Constraints:      84070
2233.01/2238.44	c #Conflicts:     925000 | #Constraints:      85070
2233.01/2238.44	c #Conflicts:     926000 | #Constraints:      86070
2233.01/2238.44	c #Conflicts:     927000 | #Constraints:      87070
2233.01/2238.44	c #Conflicts:     928000 | #Constraints:      88070
2233.01/2238.44	c #Conflicts:     929000 | #Constraints:      89070
2233.01/2238.44	c #Conflicts:     930000 | #Constraints:      90070
2233.01/2238.44	c #Conflicts:     931000 | #Constraints:      91070
2233.01/2238.44	c #Conflicts:     932000 | #Constraints:      92070
2233.01/2238.44	c #Conflicts:     933000 | #Constraints:      93070
2233.01/2238.44	c #Conflicts:     934000 | #Constraints:      94070
2233.01/2238.44	c #Conflicts:     935000 | #Constraints:      95070
2233.01/2238.44	c #Conflicts:     936000 | #Constraints:      96070
2233.01/2238.44	c #Conflicts:     937000 | #Constraints:      97070
2233.01/2238.44	c #Conflicts:     938000 | #Constraints:      98070
2233.01/2238.44	c #Conflicts:     939000 | #Constraints:      99070
2233.01/2238.44	c #Conflicts:     940000 | #Constraints:     100070
2233.01/2238.44	c #Conflicts:     941000 | #Constraints:     101070
2233.01/2238.44	c #Conflicts:     942000 | #Constraints:     102070
2233.01/2238.44	c #Conflicts:     943000 | #Constraints:     103070
2233.01/2238.44	c #Conflicts:     944000 | #Constraints:     104070
2233.01/2238.44	c #Conflicts:     945000 | #Constraints:     105070
2233.01/2238.44	c #Conflicts:     946000 | #Constraints:     106070
2233.01/2238.44	c #Conflicts:     947000 | #Constraints:     107070
2233.01/2238.44	c INPROCESSING
2233.01/2238.44	c GARBAGE COLLECT
2233.01/2238.44	c #Conflicts:     948000 | #Constraints:      77685
2233.01/2238.44	c #Conflicts:     949000 | #Constraints:      78685
2233.01/2238.44	c #Conflicts:     950000 | #Constraints:      79685
2233.01/2238.44	c #Conflicts:     951000 | #Constraints:      80685
2233.01/2238.44	c #Conflicts:     952000 | #Constraints:      81685
2233.01/2238.44	c #Conflicts:     953000 | #Constraints:      82685
2233.01/2238.44	c #Conflicts:     954000 | #Constraints:      83685
2233.01/2238.44	c #Conflicts:     955000 | #Constraints:      84685
2233.01/2238.44	c #Conflicts:     956000 | #Constraints:      85685
2233.01/2238.44	c #Conflicts:     957000 | #Constraints:      86685
2233.01/2238.44	c #Conflicts:     958000 | #Constraints:      87685
2233.01/2238.44	c #Conflicts:     959000 | #Constraints:      88685
2233.01/2238.44	c #Conflicts:     960000 | #Constraints:      89685
2233.01/2238.44	c #Conflicts:     961000 | #Constraints:      90685
2233.01/2238.44	c #Conflicts:     962000 | #Constraints:      91685
2233.01/2238.44	c #Conflicts:     963000 | #Constraints:      92685
2233.01/2238.44	c #Conflicts:     964000 | #Constraints:      93685
2233.01/2238.44	c #Conflicts:     965000 | #Constraints:      94685
2233.01/2238.44	c #Conflicts:     966000 | #Constraints:      95685
2233.01/2238.44	c #Conflicts:     967000 | #Constraints:      96685
2233.01/2238.44	c #Conflicts:     968000 | #Constraints:      97685
2233.01/2238.44	c #Conflicts:     969000 | #Constraints:      98685
2233.01/2238.44	c #Conflicts:     970000 | #Constraints:      99685
2233.01/2238.44	c #Conflicts:     971000 | #Constraints:     100685
2233.01/2238.44	c #Conflicts:     972000 | #Constraints:     101685
2233.01/2238.44	c #Conflicts:     973000 | #Constraints:     102685
2233.01/2238.44	c #Conflicts:     974000 | #Constraints:     103685
2233.01/2238.44	c #Conflicts:     975000 | #Constraints:     104685
2233.01/2238.44	c #Conflicts:     976000 | #Constraints:     105685
2233.01/2238.44	c #Conflicts:     977000 | #Constraints:     106685
2233.01/2238.44	c #Conflicts:     978000 | #Constraints:     107685
2233.01/2238.44	c #Conflicts:     979000 | #Constraints:     108685
2233.01/2238.44	c #Conflicts:     980000 | #Constraints:     109685
2233.01/2238.44	c #Conflicts:     981000 | #Constraints:     110685
2233.01/2238.44	c #Conflicts:     982000 | #Constraints:     111685
2233.01/2238.44	c #Conflicts:     983000 | #Constraints:     112685
2233.01/2238.44	c #Conflicts:     984000 | #Constraints:     113685
2233.01/2238.44	c #Conflicts:     985000 | #Constraints:     114685
2233.01/2238.44	c #Conflicts:     986000 | #Constraints:     115685
2233.01/2238.44	c #Conflicts:     987000 | #Constraints:     116685
2233.01/2238.44	c #Conflicts:     988000 | #Constraints:     117685
2233.01/2238.44	c #Conflicts:     989000 | #Constraints:     118685
2233.01/2238.44	c #Conflicts:     990000 | #Constraints:     119685
2233.01/2238.44	c #Conflicts:     991000 | #Constraints:     120685
2233.01/2238.44	c #Conflicts:     992000 | #Constraints:     121685
2233.01/2238.44	c #Conflicts:     993000 | #Constraints:     122685
2233.01/2238.44	c #Conflicts:     994000 | #Constraints:     123685
2233.01/2238.44	c #Conflicts:     995000 | #Constraints:     124685
2233.01/2238.44	c #Conflicts:     996000 | #Constraints:     125685
2233.01/2238.44	c #Conflicts:     997000 | #Constraints:     126685
2233.01/2238.44	c #Conflicts:     998000 | #Constraints:     127685
2436.34/2442.28	c #Conflicts:     999000 | #Constraints:     128685
2436.34/2442.28	c #Conflicts:    1000000 | #Constraints:     129685
2436.34/2442.28	c #Conflicts:    1001000 | #Constraints:     130685
2436.34/2442.28	c #Conflicts:    1002000 | #Constraints:     131685
2436.34/2442.28	c #Conflicts:    1003000 | #Constraints:     132685
2436.34/2442.28	c #Conflicts:    1004000 | #Constraints:     133685
2436.34/2442.28	c #Conflicts:    1005000 | #Constraints:     134685
2436.34/2442.28	c #Conflicts:    1006000 | #Constraints:     135685
2436.34/2442.28	c #Conflicts:    1007000 | #Constraints:     136685
2436.34/2442.28	c #Conflicts:    1008000 | #Constraints:     137685
2436.34/2442.28	c #Conflicts:    1009000 | #Constraints:     138685
2436.34/2442.28	c #Conflicts:    1010000 | #Constraints:     139685
2436.34/2442.28	c #Conflicts:    1011000 | #Constraints:     140685
2436.34/2442.28	c #Conflicts:    1012000 | #Constraints:     141685
2436.34/2442.28	c INPROCESSING
2436.34/2442.28	c GARBAGE COLLECT
2436.34/2442.28	c #Conflicts:    1013000 | #Constraints:      83632
2436.34/2442.28	c #Conflicts:    1014000 | #Constraints:      84632
2436.34/2442.28	c #Conflicts:    1015000 | #Constraints:      85632
2436.34/2442.28	c #Conflicts:    1016000 | #Constraints:      86632
2436.34/2442.28	c #Conflicts:    1017000 | #Constraints:      87632
2436.34/2442.28	c #Conflicts:    1018000 | #Constraints:      88632
2436.34/2442.28	c #Conflicts:    1019000 | #Constraints:      89632
2436.34/2442.28	c #Conflicts:    1020000 | #Constraints:      90632
2436.34/2442.28	c #Conflicts:    1021000 | #Constraints:      91632
2436.34/2442.28	c #Conflicts:    1022000 | #Constraints:      92632
2436.34/2442.28	c #Conflicts:    1023000 | #Constraints:      93632
2436.34/2442.28	c #Conflicts:    1024000 | #Constraints:      94632
2436.34/2442.28	c #Conflicts:    1025000 | #Constraints:      95632
2436.34/2442.28	c #Conflicts:    1026000 | #Constraints:      96632
2436.34/2442.28	c #Conflicts:    1027000 | #Constraints:      97632
2436.34/2442.28	c #Conflicts:    1028000 | #Constraints:      98632
2436.34/2442.28	c #Conflicts:    1029000 | #Constraints:      99632
2436.34/2442.28	c #Conflicts:    1030000 | #Constraints:     100632
2436.34/2442.28	c #Conflicts:    1031000 | #Constraints:     101632
2436.34/2442.28	c #Conflicts:    1032000 | #Constraints:     102632
2436.34/2442.28	c #Conflicts:    1033000 | #Constraints:     103632
2436.34/2442.28	c #Conflicts:    1034000 | #Constraints:     104632
2436.34/2442.28	c #Conflicts:    1035000 | #Constraints:     105632
2436.34/2442.28	c #Conflicts:    1036000 | #Constraints:     106632
2436.34/2442.28	c #Conflicts:    1037000 | #Constraints:     107632
2436.34/2442.28	c #Conflicts:    1038000 | #Constraints:     108632
2436.34/2442.28	c #Conflicts:    1039000 | #Constraints:     109632
2436.34/2442.28	c #Conflicts:    1040000 | #Constraints:     110632
2436.34/2442.28	c INPROCESSING
2436.34/2442.28	c GARBAGE COLLECT
2436.34/2442.28	c #Conflicts:    1041000 | #Constraints:      79374
2436.34/2442.28	c #Conflicts:    1042000 | #Constraints:      80374
2436.34/2442.28	c #Conflicts:    1043000 | #Constraints:      81374
2436.34/2442.28	c #Conflicts:    1044000 | #Constraints:      82374
2436.34/2442.28	c #Conflicts:    1045000 | #Constraints:      83374
2436.34/2442.28	c #Conflicts:    1046000 | #Constraints:      84374
2436.34/2442.28	c #Conflicts:    1047000 | #Constraints:      85374
2436.34/2442.28	c #Conflicts:    1048000 | #Constraints:      86374
2436.34/2442.28	c #Conflicts:    1049000 | #Constraints:      87374
2436.34/2442.28	c #Conflicts:    1050000 | #Constraints:      88374
2436.34/2442.28	c #Conflicts:    1051000 | #Constraints:      89374
2436.34/2442.28	c #Conflicts:    1052000 | #Constraints:      90374
2436.34/2442.28	c #Conflicts:    1053000 | #Constraints:      91374
2436.34/2442.28	c #Conflicts:    1054000 | #Constraints:      92374
2436.34/2442.28	c #Conflicts:    1055000 | #Constraints:      93374
2436.34/2442.28	c #Conflicts:    1056000 | #Constraints:      94374
2436.34/2442.28	c #Conflicts:    1057000 | #Constraints:      95374
2436.34/2442.28	c #Conflicts:    1058000 | #Constraints:      96374
2436.34/2442.28	c #Conflicts:    1059000 | #Constraints:      97374
2436.34/2442.28	c #Conflicts:    1060000 | #Constraints:      98374
2436.34/2442.28	c #Conflicts:    1061000 | #Constraints:      99374
2436.34/2442.28	c #Conflicts:    1062000 | #Constraints:     100374
2436.34/2442.28	c #Conflicts:    1063000 | #Constraints:     101374
2436.34/2442.28	c #Conflicts:    1064000 | #Constraints:     102374
2436.34/2442.28	c #Conflicts:    1065000 | #Constraints:     103374
2436.34/2442.28	c #Conflicts:    1066000 | #Constraints:     104374
2436.34/2442.28	c #Conflicts:    1067000 | #Constraints:     105374
2436.34/2442.28	c #Conflicts:    1068000 | #Constraints:     106374
2436.34/2442.28	c #Conflicts:    1069000 | #Constraints:     107374
2436.34/2442.28	c #Conflicts:    1070000 | #Constraints:     108374
2436.34/2442.28	c #Conflicts:    1071000 | #Constraints:     109374
2436.34/2442.28	c #Conflicts:    1072000 | #Constraints:     110374
2436.34/2442.28	c #Conflicts:    1073000 | #Constraints:     111374
2436.34/2442.28	c #Conflicts:    1074000 | #Constraints:     112374
2436.34/2442.28	c #Conflicts:    1075000 | #Constraints:     113374
2436.34/2442.28	c #Conflicts:    1076000 | #Constraints:     114374
2634.98/2641.37	c #Conflicts:    1077000 | #Constraints:     115374
2634.98/2641.37	c #Conflicts:    1078000 | #Constraints:     116374
2634.98/2641.37	c #Conflicts:    1079000 | #Constraints:     117374
2634.98/2641.37	c #Conflicts:    1080000 | #Constraints:     118374
2634.98/2641.37	c #Conflicts:    1081000 | #Constraints:     119374
2634.98/2641.37	c #Conflicts:    1082000 | #Constraints:     120374
2634.98/2641.37	c #Conflicts:    1083000 | #Constraints:     121374
2634.98/2641.37	c #Conflicts:    1084000 | #Constraints:     122374
2634.98/2641.37	c #Conflicts:    1085000 | #Constraints:     123374
2634.98/2641.37	c #Conflicts:    1086000 | #Constraints:     124374
2634.98/2641.37	c #Conflicts:    1087000 | #Constraints:     125374
2634.98/2641.37	c #Conflicts:    1088000 | #Constraints:     126374
2634.98/2641.37	c #Conflicts:    1089000 | #Constraints:     127374
2634.98/2641.37	c #Conflicts:    1090000 | #Constraints:     128374
2634.98/2641.37	c #Conflicts:    1091000 | #Constraints:     129374
2634.98/2641.37	c #Conflicts:    1092000 | #Constraints:     130374
2634.98/2641.37	c #Conflicts:    1093000 | #Constraints:     131374
2634.98/2641.37	c #Conflicts:    1094000 | #Constraints:     132374
2634.98/2641.37	c #Conflicts:    1095000 | #Constraints:     133374
2634.98/2641.37	c #Conflicts:    1096000 | #Constraints:     134374
2634.98/2641.37	c #Conflicts:    1097000 | #Constraints:     135374
2634.98/2641.37	c #Conflicts:    1098000 | #Constraints:     136374
2634.98/2641.37	c #Conflicts:    1099000 | #Constraints:     137374
2634.98/2641.37	c #Conflicts:    1100000 | #Constraints:     138374
2634.98/2641.37	c #Conflicts:    1101000 | #Constraints:     139374
2634.98/2641.37	c #Conflicts:    1102000 | #Constraints:     140374
2634.98/2641.37	c #Conflicts:    1103000 | #Constraints:     141374
2634.98/2641.37	c #Conflicts:    1104000 | #Constraints:     142374
2634.98/2641.37	c #Conflicts:    1105000 | #Constraints:     143374
2634.98/2641.37	c #Conflicts:    1106000 | #Constraints:     144374
2634.98/2641.37	c #Conflicts:    1107000 | #Constraints:     145374
2634.98/2641.37	c #Conflicts:    1108000 | #Constraints:     146374
2634.98/2641.37	c INPROCESSING
2634.98/2641.37	c GARBAGE COLLECT
2634.98/2641.37	c #Conflicts:    1109000 | #Constraints:      86089
2634.98/2641.37	c #Conflicts:    1110000 | #Constraints:      87089
2634.98/2641.37	c #Conflicts:    1111000 | #Constraints:      88089
2634.98/2641.37	c #Conflicts:    1112000 | #Constraints:      89089
2634.98/2641.37	c #Conflicts:    1113000 | #Constraints:      90089
2634.98/2641.37	c #Conflicts:    1114000 | #Constraints:      91089
2634.98/2641.37	c #Conflicts:    1115000 | #Constraints:      92089
2634.98/2641.37	c #Conflicts:    1116000 | #Constraints:      93089
2634.98/2641.37	c #Conflicts:    1117000 | #Constraints:      94089
2634.98/2641.37	c #Conflicts:    1118000 | #Constraints:      95089
2634.98/2641.37	c #Conflicts:    1119000 | #Constraints:      96089
2634.98/2641.37	c #Conflicts:    1120000 | #Constraints:      97089
2634.98/2641.37	c #Conflicts:    1121000 | #Constraints:      98089
2634.98/2641.37	c #Conflicts:    1122000 | #Constraints:      99089
2634.98/2641.37	c #Conflicts:    1123000 | #Constraints:     100089
2634.98/2641.37	c #Conflicts:    1124000 | #Constraints:     101089
2634.98/2641.37	c #Conflicts:    1125000 | #Constraints:     102089
2634.98/2641.37	c #Conflicts:    1126000 | #Constraints:     103089
2634.98/2641.37	c #Conflicts:    1127000 | #Constraints:     104089
2634.98/2641.37	c #Conflicts:    1128000 | #Constraints:     105089
2634.98/2641.37	c #Conflicts:    1129000 | #Constraints:     106089
2634.98/2641.37	c #Conflicts:    1130000 | #Constraints:     107089
2634.98/2641.37	c #Conflicts:    1131000 | #Constraints:     108089
2634.98/2641.37	c #Conflicts:    1132000 | #Constraints:     109089
2634.98/2641.37	c #Conflicts:    1133000 | #Constraints:     110089
2634.98/2641.37	c #Conflicts:    1134000 | #Constraints:     111089
2634.98/2641.37	c #Conflicts:    1135000 | #Constraints:     112089
2634.98/2641.37	c #Conflicts:    1136000 | #Constraints:     113089
2634.98/2641.37	c #Conflicts:    1137000 | #Constraints:     114089
2634.98/2641.37	c #Conflicts:    1138000 | #Constraints:     115089
2634.98/2641.37	c INPROCESSING
2634.98/2641.37	c GARBAGE COLLECT
2634.98/2641.37	c #Conflicts:    1139000 | #Constraints:      81727
2634.98/2641.37	c #Conflicts:    1140000 | #Constraints:      82727
2634.98/2641.37	c #Conflicts:    1141000 | #Constraints:      83727
2634.98/2641.37	c #Conflicts:    1142000 | #Constraints:      84727
2634.98/2641.37	c #Conflicts:    1143000 | #Constraints:      85727
2634.98/2641.37	c #Conflicts:    1144000 | #Constraints:      86727
2634.98/2641.37	c #Conflicts:    1145000 | #Constraints:      87727
2634.98/2641.37	c #Conflicts:    1146000 | #Constraints:      88727
2634.98/2641.37	c #Conflicts:    1147000 | #Constraints:      89727
2634.98/2641.37	c #Conflicts:    1148000 | #Constraints:      90727
2634.98/2641.37	c #Conflicts:    1149000 | #Constraints:      91727
2634.98/2641.37	c #Conflicts:    1150000 | #Constraints:      92727
2634.98/2641.37	c #Conflicts:    1151000 | #Constraints:      93727
2634.98/2641.37	c #Conflicts:    1152000 | #Constraints:      94727
2634.98/2641.37	c #Conflicts:    1153000 | #Constraints:      95727
2885.11/2892.08	c #Conflicts:    1154000 | #Constraints:      96728
2885.11/2892.08	c #Conflicts:    1155000 | #Constraints:      97728
2885.11/2892.08	c #Conflicts:    1156000 | #Constraints:      98728
2885.11/2892.08	c #Conflicts:    1157000 | #Constraints:      99728
2885.11/2892.08	c #Conflicts:    1158000 | #Constraints:     100728
2885.11/2892.08	c #Conflicts:    1159000 | #Constraints:     101728
2885.11/2892.08	c #Conflicts:    1160000 | #Constraints:     102728
2885.11/2892.08	c #Conflicts:    1161000 | #Constraints:     103728
2885.11/2892.08	c #Conflicts:    1162000 | #Constraints:     104728
2885.11/2892.08	c #Conflicts:    1163000 | #Constraints:     105728
2885.11/2892.08	c #Conflicts:    1164000 | #Constraints:     106728
2885.11/2892.08	c #Conflicts:    1165000 | #Constraints:     107728
2885.11/2892.08	c #Conflicts:    1166000 | #Constraints:     108728
2885.11/2892.08	c #Conflicts:    1167000 | #Constraints:     109728
2885.11/2892.08	c #Conflicts:    1168000 | #Constraints:     110728
2885.11/2892.08	c #Conflicts:    1169000 | #Constraints:     111728
2885.11/2892.08	c #Conflicts:    1170000 | #Constraints:     112728
2885.11/2892.08	c #Conflicts:    1171000 | #Constraints:     113728
2885.11/2892.08	c #Conflicts:    1172000 | #Constraints:     114728
2885.11/2892.08	c #Conflicts:    1173000 | #Constraints:     115728
2885.11/2892.08	c #Conflicts:    1174000 | #Constraints:     116728
2885.11/2892.08	c #Conflicts:    1175000 | #Constraints:     117728
2885.11/2892.08	c #Conflicts:    1176000 | #Constraints:     118728
2885.11/2892.08	c #Conflicts:    1177000 | #Constraints:     119728
2885.11/2892.08	c #Conflicts:    1178000 | #Constraints:     120728
2885.11/2892.08	c #Conflicts:    1179000 | #Constraints:     121728
2885.11/2892.08	c #Conflicts:    1180000 | #Constraints:     122728
2885.11/2892.08	c #Conflicts:    1181000 | #Constraints:     123728
2885.11/2892.08	c #Conflicts:    1182000 | #Constraints:     124728
2885.11/2892.08	c #Conflicts:    1183000 | #Constraints:     125728
2885.11/2892.08	c #Conflicts:    1184000 | #Constraints:     126728
2885.11/2892.08	c #Conflicts:    1185000 | #Constraints:     127728
2885.11/2892.08	c #Conflicts:    1186000 | #Constraints:     128728
2885.11/2892.08	c #Conflicts:    1187000 | #Constraints:     129728
2885.11/2892.08	c #Conflicts:    1188000 | #Constraints:     130728
2885.11/2892.08	c #Conflicts:    1189000 | #Constraints:     131728
2885.11/2892.08	c #Conflicts:    1190000 | #Constraints:     132728
2885.11/2892.08	c #Conflicts:    1191000 | #Constraints:     133728
2885.11/2892.08	c #Conflicts:    1192000 | #Constraints:     134728
2885.11/2892.08	c #Conflicts:    1193000 | #Constraints:     135728
2885.11/2892.08	c #Conflicts:    1194000 | #Constraints:     136728
2885.11/2892.08	c #Conflicts:    1195000 | #Constraints:     137728
2885.11/2892.08	c #Conflicts:    1196000 | #Constraints:     138728
2885.11/2892.08	c #Conflicts:    1197000 | #Constraints:     139728
2885.11/2892.08	c #Conflicts:    1198000 | #Constraints:     140728
2885.11/2892.08	c #Conflicts:    1199000 | #Constraints:     141728
2885.11/2892.08	c #Conflicts:    1200000 | #Constraints:     142728
2885.11/2892.08	c #Conflicts:    1201000 | #Constraints:     143728
2885.11/2892.08	c #Conflicts:    1202000 | #Constraints:     144728
2885.11/2892.08	c #Conflicts:    1203000 | #Constraints:     145728
2885.11/2892.08	c #Conflicts:    1204000 | #Constraints:     146728
2885.11/2892.08	c #Conflicts:    1205000 | #Constraints:     147728
2885.11/2892.08	c #Conflicts:    1206000 | #Constraints:     148728
2885.11/2892.08	c #Conflicts:    1207000 | #Constraints:     149728
2885.11/2892.08	c #Conflicts:    1208000 | #Constraints:     150728
2885.11/2892.08	c #Conflicts:    1209000 | #Constraints:     151728
2885.11/2892.08	c INPROCESSING
2885.11/2892.08	c GARBAGE COLLECT
2885.11/2892.08	c rational objective 177.011
3061.70/3069.01	c #Conflicts:    1210000 | #Constraints:      88696
3061.70/3069.01	c #Conflicts:    1211000 | #Constraints:      89696
3061.70/3069.01	c #Conflicts:    1212000 | #Constraints:      90696
3061.70/3069.01	c #Conflicts:    1213000 | #Constraints:      91696
3061.70/3069.01	c #Conflicts:    1214000 | #Constraints:      92696
3061.70/3069.01	c #Conflicts:    1215000 | #Constraints:      93696
3061.70/3069.01	c #Conflicts:    1216000 | #Constraints:      94696
3061.70/3069.01	c #Conflicts:    1217000 | #Constraints:      95696
3061.70/3069.01	c #Conflicts:    1218000 | #Constraints:      96696
3061.70/3069.01	c #Conflicts:    1219000 | #Constraints:      97696
3061.70/3069.01	c #Conflicts:    1220000 | #Constraints:      98696
3061.70/3069.01	c #Conflicts:    1221000 | #Constraints:      99696
3061.70/3069.01	c #Conflicts:    1222000 | #Constraints:     100696
3061.70/3069.01	c #Conflicts:    1223000 | #Constraints:     101696
3061.70/3069.01	c #Conflicts:    1224000 | #Constraints:     102696
3061.70/3069.01	c #Conflicts:    1225000 | #Constraints:     103696
3061.70/3069.01	c #Conflicts:    1226000 | #Constraints:     104696
3061.70/3069.01	c #Conflicts:    1227000 | #Constraints:     105696
3061.70/3069.01	c #Conflicts:    1228000 | #Constraints:     106696
3061.70/3069.01	c #Conflicts:    1229000 | #Constraints:     107696
3061.70/3069.01	c #Conflicts:    1230000 | #Constraints:     108696
3061.70/3069.01	c #Conflicts:    1231000 | #Constraints:     109696
3061.70/3069.01	c #Conflicts:    1232000 | #Constraints:     110696
3061.70/3069.01	c #Conflicts:    1233000 | #Constraints:     111696
3061.70/3069.01	c #Conflicts:    1234000 | #Constraints:     112696
3061.70/3069.01	c #Conflicts:    1235000 | #Constraints:     113696
3061.70/3069.01	c #Conflicts:    1236000 | #Constraints:     114696
3061.70/3069.01	c #Conflicts:    1237000 | #Constraints:     115696
3061.70/3069.01	c #Conflicts:    1238000 | #Constraints:     116696
3061.70/3069.01	c #Conflicts:    1239000 | #Constraints:     117696
3061.70/3069.01	c #Conflicts:    1240000 | #Constraints:     118696
3061.70/3069.01	c INPROCESSING
3061.70/3069.01	c GARBAGE COLLECT
3061.70/3069.01	c #Conflicts:    1241000 | #Constraints:      84394
3061.70/3069.01	c #Conflicts:    1242000 | #Constraints:      85394
3061.70/3069.01	c #Conflicts:    1243000 | #Constraints:      86394
3061.70/3069.01	c #Conflicts:    1244000 | #Constraints:      87394
3061.70/3069.01	c #Conflicts:    1245000 | #Constraints:      88394
3061.70/3069.01	c #Conflicts:    1246000 | #Constraints:      89394
3061.70/3069.01	c #Conflicts:    1247000 | #Constraints:      90394
3061.70/3069.01	c #Conflicts:    1248000 | #Constraints:      91394
3061.70/3069.01	c #Conflicts:    1249000 | #Constraints:      92394
3061.70/3069.01	c #Conflicts:    1250000 | #Constraints:      93394
3061.70/3069.01	c #Conflicts:    1251000 | #Constraints:      94394
3061.70/3069.01	c #Conflicts:    1252000 | #Constraints:      95394
3061.70/3069.01	c #Conflicts:    1253000 | #Constraints:      96394
3061.70/3069.01	c #Conflicts:    1254000 | #Constraints:      97394
3061.70/3069.01	c #Conflicts:    1255000 | #Constraints:      98394
3061.70/3069.01	c #Conflicts:    1256000 | #Constraints:      99394
3061.70/3069.01	c #Conflicts:    1257000 | #Constraints:     100394
3061.70/3069.01	c #Conflicts:    1258000 | #Constraints:     101394
3061.70/3069.01	c #Conflicts:    1259000 | #Constraints:     102394
3061.70/3069.01	c #Conflicts:    1260000 | #Constraints:     103394
3061.70/3069.01	c #Conflicts:    1261000 | #Constraints:     104394
3061.70/3069.01	c #Conflicts:    1262000 | #Constraints:     105394
3061.70/3069.01	c #Conflicts:    1263000 | #Constraints:     106394
3061.70/3069.01	c #Conflicts:    1264000 | #Constraints:     107394
3061.70/3069.01	c #Conflicts:    1265000 | #Constraints:     108394
3061.70/3069.01	c #Conflicts:    1266000 | #Constraints:     109394
3061.70/3069.01	c #Conflicts:    1267000 | #Constraints:     110394
3061.70/3069.01	c #Conflicts:    1268000 | #Constraints:     111394
3061.70/3069.01	c #Conflicts:    1269000 | #Constraints:     112394
3061.70/3069.01	c #Conflicts:    1270000 | #Constraints:     113394
3061.70/3069.01	c #Conflicts:    1271000 | #Constraints:     114394
3061.70/3069.01	c #Conflicts:    1272000 | #Constraints:     115394
3061.70/3069.01	c #Conflicts:    1273000 | #Constraints:     116394
3061.70/3069.01	c #Conflicts:    1274000 | #Constraints:     117394
3061.70/3069.01	c #Conflicts:    1275000 | #Constraints:     118394
3061.70/3069.01	c #Conflicts:    1276000 | #Constraints:     119394
3061.70/3069.01	c #Conflicts:    1277000 | #Constraints:     120394
3061.70/3069.01	c #Conflicts:    1278000 | #Constraints:     121394
3061.70/3069.01	c #Conflicts:    1279000 | #Constraints:     122394
3061.70/3069.01	c #Conflicts:    1280000 | #Constraints:     123394
3061.70/3069.01	c #Conflicts:    1281000 | #Constraints:     124394
3061.70/3069.01	c #Conflicts:    1282000 | #Constraints:     125394
3061.70/3069.01	c #Conflicts:    1283000 | #Constraints:     126394
3061.70/3069.01	c #Conflicts:    1284000 | #Constraints:     127394
3061.70/3069.01	c #Conflicts:    1285000 | #Constraints:     128394
3061.70/3069.01	c #Conflicts:    1286000 | #Constraints:     129394
3061.70/3069.01	c #Conflicts:    1287000 | #Constraints:     130394
3061.70/3069.01	c #Conflicts:    1288000 | #Constraints:     131394
3298.34/3306.26	c #Conflicts:    1289000 | #Constraints:     132394
3298.34/3306.26	c #Conflicts:    1290000 | #Constraints:     133394
3298.34/3306.26	c #Conflicts:    1291000 | #Constraints:     134394
3298.34/3306.26	c #Conflicts:    1292000 | #Constraints:     135394
3298.34/3306.26	c #Conflicts:    1293000 | #Constraints:     136394
3298.34/3306.26	c #Conflicts:    1294000 | #Constraints:     137394
3298.34/3306.26	c #Conflicts:    1295000 | #Constraints:     138394
3298.34/3306.26	c #Conflicts:    1296000 | #Constraints:     139394
3298.34/3306.26	c #Conflicts:    1297000 | #Constraints:     140394
3298.34/3306.26	c #Conflicts:    1298000 | #Constraints:     141394
3298.34/3306.26	c #Conflicts:    1299000 | #Constraints:     142394
3298.34/3306.26	c #Conflicts:    1300000 | #Constraints:     143394
3298.34/3306.26	c #Conflicts:    1301000 | #Constraints:     144394
3298.34/3306.26	c #Conflicts:    1302000 | #Constraints:     145394
3298.34/3306.26	c #Conflicts:    1303000 | #Constraints:     146394
3298.34/3306.26	c #Conflicts:    1304000 | #Constraints:     147394
3298.34/3306.26	c #Conflicts:    1305000 | #Constraints:     148394
3298.34/3306.26	c #Conflicts:    1306000 | #Constraints:     149394
3298.34/3306.26	c #Conflicts:    1307000 | #Constraints:     150394
3298.34/3306.26	c #Conflicts:    1308000 | #Constraints:     151394
3298.34/3306.26	c #Conflicts:    1309000 | #Constraints:     152394
3298.34/3306.26	c #Conflicts:    1310000 | #Constraints:     153394
3298.34/3306.26	c #Conflicts:    1311000 | #Constraints:     154394
3298.34/3306.26	c #Conflicts:    1312000 | #Constraints:     155394
3298.34/3306.26	c #Conflicts:    1313000 | #Constraints:     156394
3298.34/3306.26	c #Conflicts:    1314000 | #Constraints:     157394
3298.34/3306.26	c #Conflicts:    1315000 | #Constraints:     158394
3298.34/3306.26	c INPROCESSING
3298.34/3306.26	c GARBAGE COLLECT
3298.34/3306.26	c #Conflicts:    1316000 | #Constraints:      92230
3298.34/3306.26	c #Conflicts:    1317000 | #Constraints:      93230
3298.34/3306.26	c #Conflicts:    1318000 | #Constraints:      94230
3298.34/3306.26	c #Conflicts:    1319000 | #Constraints:      95230
3298.34/3306.26	c #Conflicts:    1320000 | #Constraints:      96230
3298.34/3306.26	c #Conflicts:    1321000 | #Constraints:      97230
3298.34/3306.26	c #Conflicts:    1322000 | #Constraints:      98230
3298.34/3306.26	c #Conflicts:    1323000 | #Constraints:      99230
3298.34/3306.26	c #Conflicts:    1324000 | #Constraints:     100231
3298.34/3306.26	c #Conflicts:    1325000 | #Constraints:     101231
3298.34/3306.26	c #Conflicts:    1326000 | #Constraints:     102231
3298.34/3306.26	c #Conflicts:    1327000 | #Constraints:     103231
3298.34/3306.26	c #Conflicts:    1328000 | #Constraints:     104231
3298.34/3306.26	c #Conflicts:    1329000 | #Constraints:     105231
3298.34/3306.26	c #Conflicts:    1330000 | #Constraints:     106231
3298.34/3306.26	c #Conflicts:    1331000 | #Constraints:     107231
3298.34/3306.26	c #Conflicts:    1332000 | #Constraints:     108231
3298.34/3306.26	c #Conflicts:    1333000 | #Constraints:     109231
3298.34/3306.26	c #Conflicts:    1334000 | #Constraints:     110231
3298.34/3306.26	c #Conflicts:    1335000 | #Constraints:     111231
3298.34/3306.26	c #Conflicts:    1336000 | #Constraints:     112231
3298.34/3306.26	c #Conflicts:    1337000 | #Constraints:     113231
3298.34/3306.26	c #Conflicts:    1338000 | #Constraints:     114231
3298.34/3306.26	c #Conflicts:    1339000 | #Constraints:     115231
3298.34/3306.26	c #Conflicts:    1340000 | #Constraints:     116231
3298.34/3306.26	c #Conflicts:    1341000 | #Constraints:     117231
3298.34/3306.26	c #Conflicts:    1342000 | #Constraints:     118231
3298.34/3306.26	c #Conflicts:    1343000 | #Constraints:     119231
3298.34/3306.26	c #Conflicts:    1344000 | #Constraints:     120231
3298.34/3306.26	c #Conflicts:    1345000 | #Constraints:     121231
3298.34/3306.26	c #Conflicts:    1346000 | #Constraints:     122231
3298.34/3306.26	c #Conflicts:    1347000 | #Constraints:     123231
3298.34/3306.26	c INPROCESSING
3298.34/3306.26	c GARBAGE COLLECT
3298.34/3306.26	c #Conflicts:    1348000 | #Constraints:      87398
3298.34/3306.26	c #Conflicts:    1349000 | #Constraints:      88398
3298.34/3306.26	c #Conflicts:    1350000 | #Constraints:      89398
3298.34/3306.26	c #Conflicts:    1351000 | #Constraints:      90398
3298.34/3306.26	c #Conflicts:    1352000 | #Constraints:      91398
3298.34/3306.26	c #Conflicts:    1353000 | #Constraints:      92398
3298.34/3306.26	c #Conflicts:    1354000 | #Constraints:      93398
3298.34/3306.26	c #Conflicts:    1355000 | #Constraints:      94398
3298.34/3306.26	c #Conflicts:    1356000 | #Constraints:      95398
3298.34/3306.26	c #Conflicts:    1357000 | #Constraints:      96398
3298.34/3306.26	c #Conflicts:    1358000 | #Constraints:      97398
3298.34/3306.26	c #Conflicts:    1359000 | #Constraints:      98398
3298.34/3306.26	c #Conflicts:    1360000 | #Constraints:      99398
3298.34/3306.26	c #Conflicts:    1361000 | #Constraints:     100398
3298.34/3306.26	c #Conflicts:    1362000 | #Constraints:     101398
3298.34/3306.26	c #Conflicts:    1363000 | #Constraints:     102398
3298.34/3306.26	c #Conflicts:    1364000 | #Constraints:     103398
3298.34/3306.26	c #Conflicts:    1365000 | #Constraints:     104398
3532.79/3541.22	c #Conflicts:    1366000 | #Constraints:     105398
3532.79/3541.22	c #Conflicts:    1367000 | #Constraints:     106398
3532.79/3541.22	c #Conflicts:    1368000 | #Constraints:     107398
3532.79/3541.22	c #Conflicts:    1369000 | #Constraints:     108398
3532.79/3541.22	c #Conflicts:    1370000 | #Constraints:     109398
3532.79/3541.22	c #Conflicts:    1371000 | #Constraints:     110398
3532.79/3541.22	c #Conflicts:    1372000 | #Constraints:     111398
3532.79/3541.22	c #Conflicts:    1373000 | #Constraints:     112398
3532.79/3541.22	c #Conflicts:    1374000 | #Constraints:     113398
3532.79/3541.22	c #Conflicts:    1375000 | #Constraints:     114398
3532.79/3541.22	c #Conflicts:    1376000 | #Constraints:     115398
3532.79/3541.22	c #Conflicts:    1377000 | #Constraints:     116398
3532.79/3541.22	c #Conflicts:    1378000 | #Constraints:     117398
3532.79/3541.22	c #Conflicts:    1379000 | #Constraints:     118398
3532.79/3541.22	c #Conflicts:    1380000 | #Constraints:     119398
3532.79/3541.22	c #Conflicts:    1381000 | #Constraints:     120398
3532.79/3541.22	c #Conflicts:    1382000 | #Constraints:     121398
3532.79/3541.22	c #Conflicts:    1383000 | #Constraints:     122398
3532.79/3541.22	c #Conflicts:    1384000 | #Constraints:     123398
3532.79/3541.22	c #Conflicts:    1385000 | #Constraints:     124398
3532.79/3541.22	c #Conflicts:    1386000 | #Constraints:     125398
3532.79/3541.22	c #Conflicts:    1387000 | #Constraints:     126398
3532.79/3541.22	c #Conflicts:    1388000 | #Constraints:     127398
3532.79/3541.22	c #Conflicts:    1389000 | #Constraints:     128398
3532.79/3541.22	c #Conflicts:    1390000 | #Constraints:     129398
3532.79/3541.22	c #Conflicts:    1391000 | #Constraints:     130398
3532.79/3541.22	c #Conflicts:    1392000 | #Constraints:     131398
3532.79/3541.22	c #Conflicts:    1393000 | #Constraints:     132398
3532.79/3541.22	c #Conflicts:    1394000 | #Constraints:     133398
3532.79/3541.22	c #Conflicts:    1395000 | #Constraints:     134398
3532.79/3541.22	c #Conflicts:    1396000 | #Constraints:     135398
3532.79/3541.22	c #Conflicts:    1397000 | #Constraints:     136398
3532.79/3541.22	c #Conflicts:    1398000 | #Constraints:     137398
3532.79/3541.22	c #Conflicts:    1399000 | #Constraints:     138398
3532.79/3541.22	c #Conflicts:    1400000 | #Constraints:     139398
3532.79/3541.22	c #Conflicts:    1401000 | #Constraints:     140398
3532.79/3541.22	c #Conflicts:    1402000 | #Constraints:     141398
3532.79/3541.22	c #Conflicts:    1403000 | #Constraints:     142398
3532.79/3541.22	c #Conflicts:    1404000 | #Constraints:     143398
3532.79/3541.22	c #Conflicts:    1405000 | #Constraints:     144398
3532.79/3541.22	c #Conflicts:    1406000 | #Constraints:     145398
3532.79/3541.22	c #Conflicts:    1407000 | #Constraints:     146398
3532.79/3541.22	c #Conflicts:    1408000 | #Constraints:     147398
3532.79/3541.22	c #Conflicts:    1409000 | #Constraints:     148398
3532.79/3541.22	c #Conflicts:    1410000 | #Constraints:     149398
3532.79/3541.22	c #Conflicts:    1411000 | #Constraints:     150398
3532.79/3541.22	c #Conflicts:    1412000 | #Constraints:     151398
3532.79/3541.22	c #Conflicts:    1413000 | #Constraints:     152398
3532.79/3541.22	c #Conflicts:    1414000 | #Constraints:     153398
3532.79/3541.22	c #Conflicts:    1415000 | #Constraints:     154398
3532.79/3541.22	c #Conflicts:    1416000 | #Constraints:     155398
3532.79/3541.22	c #Conflicts:    1417000 | #Constraints:     156398
3532.79/3541.22	c #Conflicts:    1418000 | #Constraints:     157398
3532.79/3541.22	c #Conflicts:    1419000 | #Constraints:     158398
3532.79/3541.22	c #Conflicts:    1420000 | #Constraints:     159398
3532.79/3541.22	c #Conflicts:    1421000 | #Constraints:     160398
3532.79/3541.22	c #Conflicts:    1422000 | #Constraints:     161398
3532.79/3541.22	c #Conflicts:    1423000 | #Constraints:     162398
3532.79/3541.22	c #Conflicts:    1424000 | #Constraints:     163398
3532.79/3541.22	c #Conflicts:    1425000 | #Constraints:     164398
3532.79/3541.22	c INPROCESSING
3532.79/3541.22	c GARBAGE COLLECT
3532.79/3541.22	c #Conflicts:    1426000 | #Constraints:      95466
3532.79/3541.22	c #Conflicts:    1427000 | #Constraints:      96466
3532.79/3541.22	c #Conflicts:    1428000 | #Constraints:      97466
3532.79/3541.22	c #Conflicts:    1429000 | #Constraints:      98466
3532.79/3541.22	c #Conflicts:    1430000 | #Constraints:      99466
3532.79/3541.22	c #Conflicts:    1431000 | #Constraints:     100466
3532.79/3541.22	c #Conflicts:    1432000 | #Constraints:     101466
3532.79/3541.22	c #Conflicts:    1433000 | #Constraints:     102466
3532.79/3541.22	c #Conflicts:    1434000 | #Constraints:     103466
3532.79/3541.22	c #Conflicts:    1435000 | #Constraints:     104466
3532.79/3541.22	c #Conflicts:    1436000 | #Constraints:     105466
3532.79/3541.22	c #Conflicts:    1437000 | #Constraints:     106466
3532.79/3541.22	c #Conflicts:    1438000 | #Constraints:     107466
3532.79/3541.22	c #Conflicts:    1439000 | #Constraints:     108466
3532.79/3541.22	c #Conflicts:    1440000 | #Constraints:     109466
3532.79/3541.22	c #Conflicts:    1441000 | #Constraints:     110466
3532.79/3541.22	c #Conflicts:    1442000 | #Constraints:     111466
3532.79/3541.22	c #Conflicts:    1443000 | #Constraints:     112466
3600.04/3608.60	c #Conflicts:    1444000 | #Constraints:     113466
3600.04/3608.60	c #Conflicts:    1445000 | #Constraints:     114466
3600.04/3608.60	c #Conflicts:    1446000 | #Constraints:     115466
3600.04/3608.60	c #Conflicts:    1447000 | #Constraints:     116466
3600.04/3608.60	c #Conflicts:    1448000 | #Constraints:     117466
3600.04/3608.60	c #Conflicts:    1449000 | #Constraints:     118466
3600.04/3608.60	c #Conflicts:    1450000 | #Constraints:     119466
3600.04/3608.60	c #Conflicts:    1451000 | #Constraints:     120466
3600.04/3608.60	c #Conflicts:    1452000 | #Constraints:     121466
3600.04/3608.60	c #Conflicts:    1453000 | #Constraints:     122466
3600.04/3608.60	c #Conflicts:    1454000 | #Constraints:     123466
3600.04/3608.60	c #Conflicts:    1455000 | #Constraints:     124466
3600.04/3608.60	c #Conflicts:    1456000 | #Constraints:     125466
3600.04/3608.60	c #Conflicts:    1457000 | #Constraints:     126466
3600.04/3608.60	c #Conflicts:    1458000 | #Constraints:     127466
3600.04/3608.60	c INPROCESSING
3600.04/3608.60	c GARBAGE COLLECT
3600.04/3608.60	c #Conflicts:    1459000 | #Constraints:      89988
3600.04/3608.60	c #Conflicts:    1460000 | #Constraints:      90988
3600.04/3608.60	c #Conflicts:    1461000 | #Constraints:      91988
3600.04/3608.60	c #Conflicts:    1462000 | #Constraints:      92988
3600.04/3608.60	c #Conflicts:    1463000 | #Constraints:      93988
3600.04/3608.60	c #Conflicts:    1464000 | #Constraints:      94988
3600.04/3608.60	c #Conflicts:    1465000 | #Constraints:      95988
3600.04/3608.60	c #Conflicts:    1466000 | #Constraints:      96988
3600.04/3608.60	c #Conflicts:    1467000 | #Constraints:      97988
3600.04/3608.60	c #Conflicts:    1468000 | #Constraints:      98988
3600.04/3608.60	c #Conflicts:    1469000 | #Constraints:      99988
3600.04/3608.60	c #Conflicts:    1470000 | #Constraints:     100988
3600.04/3608.60	c #Conflicts:    1471000 | #Constraints:     101988
3600.04/3608.60	c #Conflicts:    1472000 | #Constraints:     102988
3600.04/3608.60	c #Conflicts:    1473000 | #Constraints:     103988
3600.04/3608.60	c #Conflicts:    1474000 | #Constraints:     104988
3600.04/3608.60	c cpu time 3567.58 s
3600.04/3608.60	c deterministic time 256593812147 2.57e+11
3600.04/3608.60	c optimization time 28.0304 s
3600.04/3608.60	c total solve time 3539.45 s
3600.04/3608.60	c core-guided solve time 0 s
3600.04/3608.60	c propagation time 1910.54 s
3600.04/3608.60	c conflict analysis time 1180.16 s
3600.04/3608.60	c propagations 1488886716
3600.04/3608.60	c resolve steps 87942883
3600.04/3608.60	c decisions 36799600
3600.04/3608.60	c conflicts 1474394
3600.04/3608.60	c restarts 2866
3600.04/3608.60	c inprocessing phases 51
3600.04/3608.60	c garbage collections 51 ,( 100.00 )
3600.04/3608.60	c input clauses 21380 ,( 99.18 )
3600.04/3608.60	c input cardinalities 177 ,( 0.82 )
3600.04/3608.60	c input general constraints 0 ,( 0.00 )
3600.04/3608.60	c input average constraint length 6.41
3600.04/3608.60	c input average constraint degree 1.96
3600.04/3608.60	c learned clauses 1082189 ,( 73.40 )
3600.04/3608.60	c learned cardinalities 48440 ,( 3.29 )
3600.04/3608.60	c learned general constraints 343771 ,( 23.32 )
3600.04/3608.60	c learned average constraint length 686.01
3600.04/3608.60	c learned average constraint degree 12225001.24
3600.04/3608.60	c watched  CF 32, 64, 128, Arb: 87362 , 0 , 0 , 0
3600.04/3608.60	c counting CF 32, 64, 128, Arb: 256409 , 0 , 0 , 0
3600.04/3608.60	c watched   constraints 87362 ,( 25.41 ) 
3600.04/3608.60	c counting  constraints 256409 ,( 74.59 ) 
3600.04/3608.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1372600520 , 809829656 , 1909715622 ,( 87678936 , 1822036686 )
3600.04/3608.60	c gcd simplifications 645
3600.04/3608.60	c detected cardinalities 7266
3600.04/3608.60	c weakened non-implied lits 400969671
3600.04/3608.60	c weakened non-implying lits 193057
3600.04/3608.60	c original variables 21108
3600.04/3608.60	c clausal propagations 690128289
3600.04/3608.60	c cardinality propagations 547199215
3600.04/3608.60	c watched propagations 4564293
3600.04/3608.60	c counting propagations 233277592
3600.04/3608.60	c watch lookups 80179478704
3600.04/3608.60	c watch backjump lookups 0
3600.04/3608.60	c watch checks 33621198054
3600.04/3608.60	c propagation checks 134867744943
3600.04/3608.60	c constraint additions 4872243293
3600.04/3608.60	c trail pops 1527154874
3600.04/3608.60	c formula constraints 21557
3600.04/3608.60	c learned constraints 1474390
3600.04/3608.60	c bound constraints 0
3600.04/3608.60	c core-guided constraints 0
3600.04/3608.60	c encountered formula constraints 55077373
3600.04/3608.60	c encountered learned constraints 34339875
3600.04/3608.60	c encountered bound constraints 0
3600.04/3608.60	c encountered core-guided constraints 0
3600.04/3608.60	c LP total time 487.648 s
3600.04/3608.60	c LP solve time 483.4 s
3600.04/3608.60	c LP constraints added 21746
3600.04/3608.60	c LP constraints removed 0
3600.04/3608.60	c LP pivots internal 159052
3600.04/3608.60	c LP pivots root 146910
3600.04/3608.60	c LP calls 16
3600.04/3608.60	c LP optimalities 5
3600.04/3608.60	c LP no pivot count 0
3600.04/3608.60	c LP infeasibilities 4
3600.04/3608.60	c LP valid Farkas constraints 4
3600.04/3608.60	c LP learned Farkas constraints 4
3600.04/3608.60	c LP basis resets 0
3600.04/3608.60	c LP cycling count 0
3600.04/3608.60	c LP singular count 0
3600.04/3608.60	c LP no primal count 0
3600.04/3608.60	c LP no farkas count 0
3600.04/3608.60	c LP other issue count 0
3600.04/3608.60	c LP Gomory cuts 2
3600.04/3608.60	c LP learned cuts 187
3600.04/3608.60	c LP deleted cuts 0
3600.04/3608.60	c LP encountered Gomory constraints 4
3600.04/3608.60	c LP encountered Farkas constraints 19
3600.04/3608.60	c LP encountered learned Farkas constraints 2
3600.04/3608.60	c CG auxiliary variables introduced 0
3600.04/3608.60	c CG solutions found 0
3600.04/3608.60	c CG cores constructed 0
3600.04/3608.60	c CG core cardinality constraints returned 0
3600.04/3608.60	c CG unit cores 0
3600.04/3608.60	c CG single cores 0
3600.04/3608.60	c CG blocks removed during cardinality reduction 0
3600.04/3608.60	c CG first core best 0
3600.04/3608.60	c CG decision core best 0
3600.04/3608.60	c CG core reduction tie 0
3600.04/3608.60	c CG core degree average 0.00
3600.04/3608.60	c CG core slack average 0.00
3600.04/3608.60	c CG core upper bound improvements 0
3600.04/3608.60	c STR number of successful calls 0
3600.04/3608.60	c STR number of unsuccessful calls 0
3600.04/3608.60	c STR number of inconclusive calls 0
3600.04/3608.60	c STR number of successful attempts 0
3600.04/3608.60	c STR number of unsuccessful attempts 0
3600.04/3608.60	c STR number of inconclusive attempts 0
3600.04/3608.60	c STR average degree increase per successful call inf
3600.04/3608.60	c STR average degree increase per successful attempt inf
3600.04/3608.60	c STR total number of conflicts for successful attempts 0
3600.04/3608.60	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3608.60	c STR total number of conflicts for inconclusive attempts 0
3600.04/3608.60	c STR average number of conflicts per successful attempt inf
3600.04/3608.60	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3608.60	c STR average number of conflicts per inconclusive attempt inf
3600.04/3608.60	c AVG.sumWPerc 65.89 
3600.04/3608.60	c bigint constraints 0 
3600.04/3608.60	s UNKNOWN
3600.04/3608.60	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: 63665 MiB (63046 MiB free)
  memory of node 1: 64507 MiB (64017 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507232-1751179929/watcher-4507232-1751179929 -o /tmp/evaluation-result-4507232-1751179929/solver-4507232-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760 run-dec-break.sh HOME/instance-4507232-1751179929.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=19658, runsolver pid=19649

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.09 4/265 19673
/proc/meminfo: memFree=129990312/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19661] ppid=19658 vsize=42692 memory=30472 CPUtime=0.07 cores=1,3
/proc/19661/stat : 19661 (pbsuma) R 19658 19658 18866 0 -1 4194304 13171 0 0 0 5 2 0 0 20 0 1 0 33670694 43716608 7618 18446744073709551615 4210688 4653049 140729384471664 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 13275136 140729384479075 140729384479282 140729384479282 140729384484847 0
/proc/19661/statm: 10673 7618 992 108 0 8081 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46884 KiB
Current children cumulated memory: 33544 KiB

[startup+0.205648 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129995880/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=68568 memory=23660 CPUtime=0.07 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 3652 0 0 0 5 2 0 0 20 0 1 0 33670704 70213632 5915 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 17142 5915 2048 1147 0 4569 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 72760 KiB
Current children cumulated memory: 26732 KiB

[startup+0.305555 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129942132/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=113200 memory=62564 CPUtime=0.16 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 11754 0 0 0 13 3 0 0 20 0 1 0 33670704 115916800 15641 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 28300 15641 2304 1147 0 15727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 117392 KiB
Current children cumulated memory: 65636 KiB

[startup+0.70016 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=117228 memory=65252 CPUtime=0.55 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 12424 0 0 0 51 4 0 0 20 0 1 0 33670704 120041472 16313 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 29307 16313 2304 1147 0 16734 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 121420 KiB
Current children cumulated memory: 68324 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129941144/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=117228 memory=65252 CPUtime=1.35 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 12424 0 0 0 131 4 0 0 20 0 1 0 33670704 120041472 16313 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 29307 16313 2304 1147 0 16734 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 121420 KiB
Current children cumulated memory: 68324 KiB

[startup+3.10537 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19683
/proc/meminfo: memFree=129932264/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=120644 memory=68324 CPUtime=2.95 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 13218 0 0 0 291 4 0 0 20 0 1 0 33670704 123539456 17081 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 30161 17081 2304 1147 0 17588 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 124836 KiB
Current children cumulated memory: 71396 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129918764/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=124316 memory=75656 CPUtime=6.14 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 14455 0 0 0 603 11 0 0 20 0 1 0 33670704 127299584 18914 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 31079 18914 2368 1147 0 18506 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 128508 KiB
Current children cumulated memory: 78728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129885976/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=133548 memory=82696 CPUtime=12.51 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 16229 0 0 0 1223 28 0 0 20 0 1 0 33670704 136753152 20674 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 33387 20674 2368 1147 0 20814 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 137740 KiB
Current children cumulated memory: 85768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 19684
/proc/meminfo: memFree=129818224/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=159588 memory=104212 CPUtime=25.29 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 21095 0 0 0 2471 58 0 0 20 0 1 0 33670704 163418112 26053 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 39897 26053 2368 1147 0 27324 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 163780 KiB
Current children cumulated memory: 107284 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19684
/proc/meminfo: memFree=129684748/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=187836 memory=128344 CPUtime=50.83 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 25687 0 0 0 4958 125 0 0 20 0 1 0 33670704 192344064 32086 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 46959 32086 2368 1147 0 34386 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 192028 KiB
Current children cumulated memory: 131416 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19686
/proc/meminfo: memFree=129463372/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=249052 memory=189276 CPUtime=101.9 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 36810 0 0 0 9971 219 0 0 20 0 1 0 33670704 255029248 47319 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 62263 47319 2368 1147 0 49690 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 253244 KiB
Current children cumulated memory: 192348 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 19688
/proc/meminfo: memFree=129335060/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=290176 memory=215492 CPUtime=161.75 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 39811 0 0 0 15862 313 0 0 20 0 1 0 33670704 297140224 53873 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 72544 53873 2368 1147 0 59971 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 294368 KiB
Current children cumulated memory: 218564 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 19690
/proc/meminfo: memFree=129226452/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=306052 memory=234564 CPUtime=221.6 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 44008 0 0 0 21733 427 0 0 20 0 1 0 33670704 313397248 58641 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 76513 58641 2368 1147 0 63940 0
Current children cumulated CPU time: 221.68 s

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

/proc/19676/statm: 284930 234176 2400 1147 0 272357 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 1143912 KiB
Current children cumulated memory: 939776 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/266 19838
/proc/meminfo: memFree=126340148/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1139720 memory=936832 CPUtime=3094.84 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 130296 0 0 0 306616 2868 0 0 20 0 1 0 33670704 1167073280 234208 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 284930 234208 2400 1147 0 272357 0
Current children cumulated CPU time: 3094.92 s
Current children cumulated vsize: 1143912 KiB
Current children cumulated memory: 939904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/266 19840
/proc/meminfo: memFree=126349692/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1148092 memory=942848 CPUtime=3154.69 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 131820 0 0 0 312565 2904 0 0 20 0 1 0 33670704 1175646208 235712 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 287023 235712 2400 1147 0 274450 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 1152284 KiB
Current children cumulated memory: 945920 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/266 19842
/proc/meminfo: memFree=126297304/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1159348 memory=954044 CPUtime=3214.55 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 134115 0 0 0 318523 2932 0 0 20 0 1 0 33670704 1187172352 238511 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 289837 238511 2400 1147 0 277264 0
Current children cumulated CPU time: 3214.63 s
Current children cumulated vsize: 1163540 KiB
Current children cumulated memory: 957116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/266 19844
/proc/meminfo: memFree=126279176/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1159348 memory=954044 CPUtime=3274.42 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 134116 0 0 0 324473 2969 0 0 20 0 1 0 33670704 1187172352 238511 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 289837 238511 2400 1147 0 277264 0
Current children cumulated CPU time: 3274.5 s
Current children cumulated vsize: 1163540 KiB
Current children cumulated memory: 957116 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/267 19849
/proc/meminfo: memFree=126285384/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1159348 memory=954044 CPUtime=3334.28 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 134117 0 0 0 330397 3031 0 0 20 0 1 0 33670704 1187172352 238511 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 289837 238511 2400 1147 0 277264 0
Current children cumulated CPU time: 3334.36 s
Current children cumulated vsize: 1163540 KiB
Current children cumulated memory: 957116 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.19 4.15 5/267 19855
/proc/meminfo: memFree=126299044/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1159348 memory=954172 CPUtime=3394.14 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 134294 0 0 0 336338 3076 0 0 20 0 1 0 33670704 1187172352 238543 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 289837 238543 2400 1147 0 277264 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 1163540 KiB
Current children cumulated memory: 957244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19857
/proc/meminfo: memFree=126299060/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1166152 memory=959164 CPUtime=3454 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 135566 0 0 0 342285 3115 0 0 20 0 1 0 33670704 1194139648 239791 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 291538 239791 2400 1147 0 278965 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 1170344 KiB
Current children cumulated memory: 962236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/267 19859
/proc/meminfo: memFree=126273532/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1176172 memory=967484 CPUtime=3513.86 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 137618 0 0 0 348232 3154 0 0 20 0 1 0 33670704 1204400128 241871 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 294043 241871 2400 1147 0 281470 0
Current children cumulated CPU time: 3513.94 s
Current children cumulated vsize: 1180364 KiB
Current children cumulated memory: 970556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/267 19861
/proc/meminfo: memFree=126265460/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1176172 memory=967484 CPUtime=3573.72 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 137630 0 0 0 354173 3199 0 0 20 0 1 0 33670704 1204400128 241871 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 294043 241871 2400 1147 0 281470 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 1180364 KiB
Current children cumulated memory: 970556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.08 4.14 4.13 5/267 19862
/proc/meminfo: memFree=126259008/131249996 swapFree=33010684/33010684
[pid=19658] ppid=19649 vsize=4192 memory=3072 CPUtime=0.08 cores=1,3
/proc/19658/stat : 19658 (run-dec-break.s) S 19649 19658 18866 0 -1 4194304 238 13174 0 0 0 0 6 2 20 0 1 0 33670693 4292608 768 18446744073709551615 93960237502464 93960238396997 140723922684256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960238636048 93960238683792 93960242581504 140723922692449 140723922692578 140723922692578 140723922698180 0
/proc/19658/statm: 1048 768 704 219 0 110 0
[pid=19676] ppid=19658 vsize=1176172 memory=967484 CPUtime=3599.96 cores=1,3
/proc/19676/stat : 19676 (roundingsat) R 19658 19658 18866 0 -1 4194304 137630 0 0 0 356757 3239 0 0 20 0 1 0 33670704 1204400128 241871 18446744073709551615 4227072 8923433 140732204724512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35794944 140732204726596 140732204726824 140732204726824 140732204732394 0
/proc/19676/statm: 294043 241871 2400 1147 0 281470 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1180364 KiB
Current children cumulated memory: 970556 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.062529 s, system=0.026071 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3567.65 s, system=32.4348 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): 3608.62
CPU time (s): 3600.08
CPU user time (s): 3567.65
CPU system time (s): 32.4348
CPU usage (%): 99.7633
Max. virtual memory (cumulated for all children) (KiB): 1180364
Max. memory (cumulated for all children) (KiB): 970556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.65
system time used= 32.4348
maximum resident set size= 967740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 413
involuntary context switches= 2954


# summary of solver processes directly reported to runsolver:
#   pid: 19658,19676
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3567.65
#   total CPU system time (s): 32.4348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23797 second user time and 16.296 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 08:52:09
IDJOB=4507232
IDBENCH=158331
IDSOLVER=3357
FILE ID=nodeC022/4507232-1751179929
RUNJOBID= nodeC022-1751172706-18878
SLURM_JOB_ID= 9587539
Free space on /tmp= 433048 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507232-1751179929/watcher-4507232-1751179929 -o /tmp/evaluation-result-4507232-1751179929/solver-4507232-1751179929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18878 --watchdog 3760  run-dec-break.sh HOME/instance-4507232-1751179929.opb

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

MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=986727168

nodeC022 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		: 3599.315
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	: 6999.44
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		: 3599.060
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	: 6999.44
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		: 3599.714
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	: 6999.44
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		: 3599.734
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	: 6999.44
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		: 3599.719
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	: 6999.44
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		: 3599.693
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	: 6999.44
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		: 3598.722
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	: 6999.44
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		: 3598.101
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130118928 kB
MemAvailable:   129776592 kB
Buffers:            3280 kB
Cached:           468596 kB
SwapCached:            0 kB
Active:           315060 kB
Inactive:         220236 kB
Active(anon):      81480 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):   220236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25920 kB
Writeback:             0 kB
AnonPages:         66980 kB
Mapped:           102236 kB
Shmem:             18060 kB
KReclaimable:      85776 kB
Slab:             169404 kB
SReclaimable:      85776 kB
SUnreclaim:        83628 kB
KernelStack:        4112 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 09:52:18