Trace number 4506728

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 3610.02

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
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 135
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-4506728-1751166688.opb'
0.00/0.06	c 	read 1.08MB  (43.05ms)
0.00/0.06	c	 [cnf: #variables 15946 #clauses 16216 #duplicates 0 #arr 104232]
0.00/0.06	c 
0.00/0.06	c make graph and approximate orbits
0.09/0.11	c	 [group: #orbits ~= 2412] (52.02ms)
0.09/0.11	c 
0.09/0.11	c detect special group actions
0.09/0.11	c 	probe for Johnson action (limit=64)
0.09/0.11	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.12	c 	probe for row symmetry (limit=64, splits=16.78M)
0.09/0.12	c 	 (8.33ms)
0.09/0.12	c 
0.09/0.12	c detect symmetries on remainder
0.09/0.12	c 	[graph: #vertices 80000 #edges 304140]
0.09/0.12	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.16	c 	 [group: #symmetries 4.80*10^1 #generators 5] (44.90ms)
0.09/0.16	c 
0.09/0.16	c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.16	c 	(0.08ms)
0.09/0.16	c 
0.09/0.16	c finalize break order and special generators
0.09/0.17	c 
0.09/0.17	c add generic predicates (break_depth=10)
0.09/0.17	c 	added predicates for 5 generators (0.46ms)
0.09/0.17	c 
0.09/0.17	c generation finished
0.09/0.17	c 	[sbp: #constraints 140 #add_vars 45]
0.09/0.17	c 
0.09/0.17	c write result to 'HOME/instance-4506728-1751166688.opb.pre'
0.09/0.18	c 	wrote 1.10MB (7.20ms)
0.09/0.18	c ------------------------------------------------------------------
0.09/0.18	c                  52.02ms 32.44% approx_orbits
0.09/0.18	c                  44.90ms 28.00% detect_generic
0.09/0.18	c                  43.05ms 26.85% parse
0.09/0.18	c                   8.33ms  5.19% detect_special
0.09/0.18	c                   7.20ms  4.49% output
0.09/0.18	c                   2.70ms  1.68% other
0.09/0.18	c                   1.61ms  1.01% finalize_order
0.09/0.18	c                   0.46ms  0.29% break_generic
0.09/0.18	c                   0.08ms  0.05% optimize_gens
0.09/0.18	c         ───────────────────────────────────────────────
0.09/0.18	c                 160.35ms   100% total
0.09/0.18	c ------------------------------------------------------------------
0.09/0.20	c RoundingSat 2
0.09/0.20	c branch pb25
0.09/0.20	c commit 63f22ad
0.34/0.49	c #variables 15991 #constraints 16354
105.05/105.42	c #Conflicts:       1000 | #Constraints:      17353
105.05/105.42	c #Conflicts:       2000 | #Constraints:      18353
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:       3000 | #Constraints:      17581
105.05/105.42	c #Conflicts:       4000 | #Constraints:      18581
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:       5000 | #Constraints:      18041
105.05/105.42	c #Conflicts:       6000 | #Constraints:      19041
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:       7000 | #Constraints:      18107
105.05/105.42	c #Conflicts:       8000 | #Constraints:      19107
105.05/105.42	c #Conflicts:       9000 | #Constraints:      20107
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      10000 | #Constraints:      18643
105.05/105.42	c #Conflicts:      11000 | #Constraints:      19643
105.05/105.42	c #Conflicts:      12000 | #Constraints:      20643
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      13000 | #Constraints:      19166
105.05/105.42	c #Conflicts:      14000 | #Constraints:      20166
105.05/105.42	c #Conflicts:      15000 | #Constraints:      21166
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      16000 | #Constraints:      19458
105.05/105.42	c #Conflicts:      17000 | #Constraints:      20458
105.05/105.42	c #Conflicts:      18000 | #Constraints:      21458
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      19000 | #Constraints:      19511
105.05/105.42	c #Conflicts:      20000 | #Constraints:      20511
105.05/105.42	c #Conflicts:      21000 | #Constraints:      21511
105.05/105.42	c #Conflicts:      22000 | #Constraints:      22511
105.05/105.42	c #Conflicts:      23000 | #Constraints:      23511
105.05/105.42	c #Conflicts:      24000 | #Constraints:      24511
105.05/105.42	c #Conflicts:      25000 | #Constraints:      25511
105.05/105.42	c #Conflicts:      26000 | #Constraints:      26511
105.05/105.42	c #Conflicts:      27000 | #Constraints:      27511
105.05/105.42	c #Conflicts:      28000 | #Constraints:      28511
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      29000 | #Constraints:      22835
105.05/105.42	c #Conflicts:      30000 | #Constraints:      23835
105.05/105.42	c #Conflicts:      31000 | #Constraints:      24835
105.05/105.42	c #Conflicts:      32000 | #Constraints:      25835
105.05/105.42	c #Conflicts:      33000 | #Constraints:      26835
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      34000 | #Constraints:      22277
105.05/105.42	c #Conflicts:      35000 | #Constraints:      23277
105.05/105.42	c #Conflicts:      36000 | #Constraints:      24277
105.05/105.42	c #Conflicts:      37000 | #Constraints:      25277
105.05/105.42	c #Conflicts:      38000 | #Constraints:      26277
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      39000 | #Constraints:      22184
105.05/105.42	c #Conflicts:      40000 | #Constraints:      23184
105.05/105.42	c #Conflicts:      41000 | #Constraints:      24184
105.05/105.42	c #Conflicts:      42000 | #Constraints:      25184
105.05/105.42	c #Conflicts:      43000 | #Constraints:      26184
105.05/105.42	c #Conflicts:      44000 | #Constraints:      27184
105.05/105.42	c #Conflicts:      45000 | #Constraints:      28184
105.05/105.42	c #Conflicts:      46000 | #Constraints:      29184
105.05/105.42	c #Conflicts:      47000 | #Constraints:      30184
105.05/105.42	c #Conflicts:      48000 | #Constraints:      31184
105.05/105.42	c #Conflicts:      49000 | #Constraints:      32184
105.05/105.42	c #Conflicts:      50000 | #Constraints:      33184
105.05/105.42	c #Conflicts:      51000 | #Constraints:      34184
105.05/105.42	c #Conflicts:      52000 | #Constraints:      35184
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      53000 | #Constraints:      26238
105.05/105.42	c #Conflicts:      54000 | #Constraints:      27238
105.05/105.42	c #Conflicts:      55000 | #Constraints:      28238
105.05/105.42	c #Conflicts:      56000 | #Constraints:      29238
105.05/105.42	c #Conflicts:      57000 | #Constraints:      30238
105.05/105.42	c #Conflicts:      58000 | #Constraints:      31238
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      59000 | #Constraints:      24322
105.05/105.42	c #Conflicts:      60000 | #Constraints:      25322
105.05/105.42	c #Conflicts:      61000 | #Constraints:      26322
105.05/105.42	c #Conflicts:      62000 | #Constraints:      27322
105.05/105.42	c #Conflicts:      63000 | #Constraints:      28322
105.05/105.42	c #Conflicts:      64000 | #Constraints:      29322
105.05/105.42	c #Conflicts:      65000 | #Constraints:      30322
105.05/105.42	c INPROCESSING
105.05/105.42	c GARBAGE COLLECT
105.05/105.42	c #Conflicts:      66000 | #Constraints:      24278
105.05/105.42	c #Conflicts:      67000 | #Constraints:      25278
105.05/105.42	c #Conflicts:      68000 | #Constraints:      26278
105.05/105.42	c #Conflicts:      69000 | #Constraints:      27278
105.05/105.42	c #Conflicts:      70000 | #Constraints:      28278
105.05/105.42	c #Conflicts:      71000 | #Constraints:      29278
224.15/224.85	c #Conflicts:      72000 | #Constraints:      30278
224.15/224.85	c #Conflicts:      73000 | #Constraints:      31278
224.15/224.85	c #Conflicts:      74000 | #Constraints:      32278
224.15/224.85	c #Conflicts:      75000 | #Constraints:      33278
224.15/224.85	c #Conflicts:      76000 | #Constraints:      34278
224.15/224.85	c #Conflicts:      77000 | #Constraints:      35278
224.15/224.85	c #Conflicts:      78000 | #Constraints:      36278
224.15/224.85	c #Conflicts:      79000 | #Constraints:      37278
224.15/224.85	c #Conflicts:      80000 | #Constraints:      38278
224.15/224.85	c #Conflicts:      81000 | #Constraints:      39278
224.15/224.85	c #Conflicts:      82000 | #Constraints:      40278
224.15/224.85	c #Conflicts:      83000 | #Constraints:      41278
224.15/224.85	c #Conflicts:      84000 | #Constraints:      42278
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:      85000 | #Constraints:      30304
224.15/224.85	c #Conflicts:      86000 | #Constraints:      31304
224.15/224.85	c #Conflicts:      87000 | #Constraints:      32304
224.15/224.85	c #Conflicts:      88000 | #Constraints:      33304
224.15/224.85	c #Conflicts:      89000 | #Constraints:      34304
224.15/224.85	c #Conflicts:      90000 | #Constraints:      35304
224.15/224.85	c #Conflicts:      91000 | #Constraints:      36304
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:      92000 | #Constraints:      27175
224.15/224.85	c #Conflicts:      93000 | #Constraints:      28175
224.15/224.85	c #Conflicts:      94000 | #Constraints:      29175
224.15/224.85	c #Conflicts:      95000 | #Constraints:      30175
224.15/224.85	c #Conflicts:      96000 | #Constraints:      31175
224.15/224.85	c #Conflicts:      97000 | #Constraints:      32175
224.15/224.85	c #Conflicts:      98000 | #Constraints:      33175
224.15/224.85	c #Conflicts:      99000 | #Constraints:      34175
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:     100000 | #Constraints:      26218
224.15/224.85	c #Conflicts:     101000 | #Constraints:      27219
224.15/224.85	c #Conflicts:     102000 | #Constraints:      28219
224.15/224.85	c #Conflicts:     103000 | #Constraints:      29219
224.15/224.85	c #Conflicts:     104000 | #Constraints:      30219
224.15/224.85	c #Conflicts:     105000 | #Constraints:      31219
224.15/224.85	c #Conflicts:     106000 | #Constraints:      32219
224.15/224.85	c #Conflicts:     107000 | #Constraints:      33219
224.15/224.85	c #Conflicts:     108000 | #Constraints:      34219
224.15/224.85	c #Conflicts:     109000 | #Constraints:      35219
224.15/224.85	c #Conflicts:     110000 | #Constraints:      36219
224.15/224.85	c #Conflicts:     111000 | #Constraints:      37219
224.15/224.85	c #Conflicts:     112000 | #Constraints:      38219
224.15/224.85	c #Conflicts:     113000 | #Constraints:      39219
224.15/224.85	c #Conflicts:     114000 | #Constraints:      40219
224.15/224.85	c #Conflicts:     115000 | #Constraints:      41219
224.15/224.85	c #Conflicts:     116000 | #Constraints:      42219
224.15/224.85	c #Conflicts:     117000 | #Constraints:      43219
224.15/224.85	c #Conflicts:     118000 | #Constraints:      44219
224.15/224.85	c #Conflicts:     119000 | #Constraints:      45219
224.15/224.85	c #Conflicts:     120000 | #Constraints:      46219
224.15/224.85	c #Conflicts:     121000 | #Constraints:      47219
224.15/224.85	c #Conflicts:     122000 | #Constraints:      48219
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:     123000 | #Constraints:      33271
224.15/224.85	c #Conflicts:     124000 | #Constraints:      34271
224.15/224.85	c #Conflicts:     125000 | #Constraints:      35271
224.15/224.85	c #Conflicts:     126000 | #Constraints:      36271
224.15/224.85	c #Conflicts:     127000 | #Constraints:      37271
224.15/224.85	c #Conflicts:     128000 | #Constraints:      38271
224.15/224.85	c #Conflicts:     129000 | #Constraints:      39271
224.15/224.85	c #Conflicts:     130000 | #Constraints:      40271
224.15/224.85	c #Conflicts:     131000 | #Constraints:      41271
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:     132000 | #Constraints:      29665
224.15/224.85	c #Conflicts:     133000 | #Constraints:      30665
224.15/224.85	c #Conflicts:     134000 | #Constraints:      31665
224.15/224.85	c #Conflicts:     135000 | #Constraints:      32665
224.15/224.85	c #Conflicts:     136000 | #Constraints:      33665
224.15/224.85	c #Conflicts:     137000 | #Constraints:      34665
224.15/224.85	c #Conflicts:     138000 | #Constraints:      35665
224.15/224.85	c #Conflicts:     139000 | #Constraints:      36665
224.15/224.85	c #Conflicts:     140000 | #Constraints:      37665
224.15/224.85	c INPROCESSING
224.15/224.85	c GARBAGE COLLECT
224.15/224.85	c #Conflicts:     141000 | #Constraints:      28309
224.15/224.85	c #Conflicts:     142000 | #Constraints:      29309
224.15/224.85	c #Conflicts:     143000 | #Constraints:      30309
224.15/224.85	c #Conflicts:     144000 | #Constraints:      31309
224.15/224.85	c #Conflicts:     145000 | #Constraints:      32309
224.15/224.85	c #Conflicts:     146000 | #Constraints:      33309
394.81/395.95	c #Conflicts:     147000 | #Constraints:      34309
394.81/395.95	c #Conflicts:     148000 | #Constraints:      35309
394.81/395.95	c #Conflicts:     149000 | #Constraints:      36309
394.81/395.95	c #Conflicts:     150000 | #Constraints:      37309
394.81/395.95	c #Conflicts:     151000 | #Constraints:      38309
394.81/395.95	c #Conflicts:     152000 | #Constraints:      39309
394.81/395.95	c #Conflicts:     153000 | #Constraints:      40309
394.81/395.95	c #Conflicts:     154000 | #Constraints:      41309
394.81/395.95	c #Conflicts:     155000 | #Constraints:      42309
394.81/395.95	c #Conflicts:     156000 | #Constraints:      43309
394.81/395.95	c #Conflicts:     157000 | #Constraints:      44309
394.81/395.95	c #Conflicts:     158000 | #Constraints:      45309
394.81/395.95	c #Conflicts:     159000 | #Constraints:      46309
394.81/395.95	c #Conflicts:     160000 | #Constraints:      47309
394.81/395.95	c #Conflicts:     161000 | #Constraints:      48309
394.81/395.95	c #Conflicts:     162000 | #Constraints:      49309
394.81/395.95	c #Conflicts:     163000 | #Constraints:      50309
394.81/395.95	c #Conflicts:     164000 | #Constraints:      51309
394.81/395.95	c #Conflicts:     165000 | #Constraints:      52309
394.81/395.95	c #Conflicts:     166000 | #Constraints:      53309
394.81/395.96	c #Conflicts:     167000 | #Constraints:      54309
394.81/395.96	c #Conflicts:     168000 | #Constraints:      55309
394.81/395.96	c INPROCESSING
394.81/395.96	c GARBAGE COLLECT
394.81/395.96	c #Conflicts:     169000 | #Constraints:      37007
394.81/395.96	c #Conflicts:     170000 | #Constraints:      38007
394.81/395.96	c #Conflicts:     171000 | #Constraints:      39007
394.81/395.96	c #Conflicts:     172000 | #Constraints:      40007
394.81/395.96	c #Conflicts:     173000 | #Constraints:      41007
394.81/395.96	c #Conflicts:     174000 | #Constraints:      42007
394.81/395.96	c #Conflicts:     175000 | #Constraints:      43007
394.81/395.96	c #Conflicts:     176000 | #Constraints:      44007
394.81/395.96	c #Conflicts:     177000 | #Constraints:      45007
394.81/395.96	c #Conflicts:     178000 | #Constraints:      46007
394.81/395.96	c INPROCESSING
394.81/395.96	c GARBAGE COLLECT
394.81/395.96	c #Conflicts:     179000 | #Constraints:      31987
394.81/395.96	c #Conflicts:     180000 | #Constraints:      32987
394.81/395.96	c #Conflicts:     181000 | #Constraints:      33987
394.81/395.96	c #Conflicts:     182000 | #Constraints:      34987
394.81/395.96	c #Conflicts:     183000 | #Constraints:      35987
394.81/395.96	c #Conflicts:     184000 | #Constraints:      36987
394.81/395.96	c #Conflicts:     185000 | #Constraints:      37987
394.81/395.96	c #Conflicts:     186000 | #Constraints:      38987
394.81/395.96	c #Conflicts:     187000 | #Constraints:      39987
394.81/395.96	c #Conflicts:     188000 | #Constraints:      40987
394.81/395.96	c #Conflicts:     189000 | #Constraints:      41987
394.81/395.96	c INPROCESSING
394.81/395.96	c GARBAGE COLLECT
394.81/395.96	c #Conflicts:     190000 | #Constraints:      31654
394.81/395.96	c #Conflicts:     191000 | #Constraints:      32654
394.81/395.96	c #Conflicts:     192000 | #Constraints:      33654
394.81/395.96	c #Conflicts:     193000 | #Constraints:      34654
394.81/395.96	c #Conflicts:     194000 | #Constraints:      35654
394.81/395.96	c #Conflicts:     195000 | #Constraints:      36654
394.81/395.96	c #Conflicts:     196000 | #Constraints:      37654
394.81/395.96	c #Conflicts:     197000 | #Constraints:      38654
394.81/395.96	c #Conflicts:     198000 | #Constraints:      39654
394.81/395.96	c #Conflicts:     199000 | #Constraints:      40654
394.81/395.96	c #Conflicts:     200000 | #Constraints:      41654
394.81/395.96	c #Conflicts:     201000 | #Constraints:      42654
394.81/395.96	c #Conflicts:     202000 | #Constraints:      43654
394.81/395.96	c #Conflicts:     203000 | #Constraints:      44654
394.81/395.96	c #Conflicts:     204000 | #Constraints:      45654
394.81/395.96	c #Conflicts:     205000 | #Constraints:      46654
394.81/395.96	c #Conflicts:     206000 | #Constraints:      47654
394.81/395.96	c #Conflicts:     207000 | #Constraints:      48654
394.81/395.96	c #Conflicts:     208000 | #Constraints:      49654
394.81/395.96	c #Conflicts:     209000 | #Constraints:      50654
394.81/395.96	c #Conflicts:     210000 | #Constraints:      51654
394.81/395.96	c #Conflicts:     211000 | #Constraints:      52654
394.81/395.96	c #Conflicts:     212000 | #Constraints:      53654
394.81/395.96	c #Conflicts:     213000 | #Constraints:      54654
394.81/395.96	c #Conflicts:     214000 | #Constraints:      55654
394.81/395.96	c #Conflicts:     215000 | #Constraints:      56654
394.81/395.96	c #Conflicts:     216000 | #Constraints:      57654
394.81/395.96	c #Conflicts:     217000 | #Constraints:      58654
394.81/395.96	c #Conflicts:     218000 | #Constraints:      59654
394.81/395.96	c #Conflicts:     219000 | #Constraints:      60654
394.81/395.96	c #Conflicts:     220000 | #Constraints:      61654
394.81/395.96	c INPROCESSING
394.81/395.96	c GARBAGE COLLECT
394.81/395.96	c #Conflicts:     221000 | #Constraints:      39827
394.81/395.96	c #Conflicts:     222000 | #Constraints:      40827
522.38/523.82	c #Conflicts:     223000 | #Constraints:      41827
522.38/523.82	c #Conflicts:     224000 | #Constraints:      42827
522.38/523.82	c #Conflicts:     225000 | #Constraints:      43827
522.38/523.82	c #Conflicts:     226000 | #Constraints:      44827
522.38/523.82	c #Conflicts:     227000 | #Constraints:      45827
522.38/523.82	c #Conflicts:     228000 | #Constraints:      46827
522.38/523.82	c #Conflicts:     229000 | #Constraints:      47827
522.38/523.82	c #Conflicts:     230000 | #Constraints:      48827
522.38/523.82	c #Conflicts:     231000 | #Constraints:      49827
522.38/523.82	c #Conflicts:     232000 | #Constraints:      50827
522.38/523.82	c INPROCESSING
522.38/523.82	c GARBAGE COLLECT
522.38/523.82	c #Conflicts:     233000 | #Constraints:      34412
522.38/523.82	c #Conflicts:     234000 | #Constraints:      35412
522.38/523.82	c #Conflicts:     235000 | #Constraints:      36412
522.38/523.82	c #Conflicts:     236000 | #Constraints:      37412
522.38/523.82	c #Conflicts:     237000 | #Constraints:      38412
522.38/523.82	c #Conflicts:     238000 | #Constraints:      39412
522.38/523.82	c #Conflicts:     239000 | #Constraints:      40412
522.38/523.82	c #Conflicts:     240000 | #Constraints:      41412
522.38/523.82	c #Conflicts:     241000 | #Constraints:      42412
522.38/523.82	c #Conflicts:     242000 | #Constraints:      43412
522.38/523.82	c #Conflicts:     243000 | #Constraints:      44412
522.38/523.82	c #Conflicts:     244000 | #Constraints:      45412
522.38/523.82	c #Conflicts:     245000 | #Constraints:      46412
522.38/523.82	c INPROCESSING
522.38/523.82	c GARBAGE COLLECT
522.38/523.82	c #Conflicts:     246000 | #Constraints:      33776
522.38/523.82	c #Conflicts:     247000 | #Constraints:      34776
522.38/523.82	c #Conflicts:     248000 | #Constraints:      35776
522.38/523.82	c #Conflicts:     249000 | #Constraints:      36776
522.38/523.82	c #Conflicts:     250000 | #Constraints:      37776
522.38/523.82	c #Conflicts:     251000 | #Constraints:      38776
522.38/523.82	c #Conflicts:     252000 | #Constraints:      39776
522.38/523.82	c #Conflicts:     253000 | #Constraints:      40776
522.38/523.82	c #Conflicts:     254000 | #Constraints:      41776
522.38/523.82	c #Conflicts:     255000 | #Constraints:      42776
522.38/523.82	c #Conflicts:     256000 | #Constraints:      43776
522.38/523.82	c #Conflicts:     257000 | #Constraints:      44776
522.38/523.82	c #Conflicts:     258000 | #Constraints:      45776
522.38/523.82	c #Conflicts:     259000 | #Constraints:      46776
522.38/523.82	c #Conflicts:     260000 | #Constraints:      47776
522.38/523.82	c #Conflicts:     261000 | #Constraints:      48776
522.38/523.82	c #Conflicts:     262000 | #Constraints:      49776
522.38/523.82	c #Conflicts:     263000 | #Constraints:      50776
522.38/523.82	c #Conflicts:     264000 | #Constraints:      51776
522.38/523.82	c #Conflicts:     265000 | #Constraints:      52776
522.38/523.82	c #Conflicts:     266000 | #Constraints:      53776
522.38/523.82	c #Conflicts:     267000 | #Constraints:      54776
522.38/523.82	c #Conflicts:     268000 | #Constraints:      55776
522.38/523.82	c #Conflicts:     269000 | #Constraints:      56776
522.38/523.82	c #Conflicts:     270000 | #Constraints:      57776
522.38/523.82	c #Conflicts:     271000 | #Constraints:      58776
522.38/523.82	c #Conflicts:     272000 | #Constraints:      59776
522.38/523.82	c #Conflicts:     273000 | #Constraints:      60776
522.38/523.82	c #Conflicts:     274000 | #Constraints:      61776
522.38/523.82	c #Conflicts:     275000 | #Constraints:      62776
522.38/523.82	c #Conflicts:     276000 | #Constraints:      63776
522.38/523.82	c #Conflicts:     277000 | #Constraints:      64776
522.38/523.82	c #Conflicts:     278000 | #Constraints:      65776
522.38/523.82	c #Conflicts:     279000 | #Constraints:      66776
522.38/523.82	c #Conflicts:     280000 | #Constraints:      67776
522.38/523.82	c INPROCESSING
522.38/523.82	c GARBAGE COLLECT
522.38/523.82	c #Conflicts:     281000 | #Constraints:      43114
522.38/523.82	c #Conflicts:     282000 | #Constraints:      44114
522.38/523.82	c #Conflicts:     283000 | #Constraints:      45114
522.38/523.82	c #Conflicts:     284000 | #Constraints:      46114
522.38/523.82	c #Conflicts:     285000 | #Constraints:      47114
522.38/523.82	c #Conflicts:     286000 | #Constraints:      48114
522.38/523.82	c #Conflicts:     287000 | #Constraints:      49114
522.38/523.82	c #Conflicts:     288000 | #Constraints:      50114
522.38/523.82	c #Conflicts:     289000 | #Constraints:      51114
522.38/523.82	c #Conflicts:     290000 | #Constraints:      52114
522.38/523.82	c #Conflicts:     291000 | #Constraints:      53114
522.38/523.82	c #Conflicts:     292000 | #Constraints:      54114
522.38/523.82	c #Conflicts:     293000 | #Constraints:      55114
522.38/523.82	c #Conflicts:     294000 | #Constraints:      56114
522.38/523.82	c INPROCESSING
522.38/523.82	c GARBAGE COLLECT
522.38/523.82	c #Conflicts:     295000 | #Constraints:      37368
522.38/523.82	c #Conflicts:     296000 | #Constraints:      38368
522.38/523.82	c #Conflicts:     297000 | #Constraints:      39368
522.38/523.82	c #Conflicts:     298000 | #Constraints:      40368
681.58/683.55	c #Conflicts:     299000 | #Constraints:      41368
681.58/683.55	c #Conflicts:     300000 | #Constraints:      42368
681.58/683.55	c #Conflicts:     301000 | #Constraints:      43368
681.58/683.55	c #Conflicts:     302000 | #Constraints:      44368
681.58/683.55	c #Conflicts:     303000 | #Constraints:      45368
681.58/683.55	c #Conflicts:     304000 | #Constraints:      46368
681.58/683.55	c #Conflicts:     305000 | #Constraints:      47368
681.58/683.55	c #Conflicts:     306000 | #Constraints:      48368
681.58/683.55	c #Conflicts:     307000 | #Constraints:      49368
681.58/683.55	c #Conflicts:     308000 | #Constraints:      50368
681.58/683.55	c INPROCESSING
681.58/683.55	c GARBAGE COLLECT
681.58/683.55	c #Conflicts:     309000 | #Constraints:      36649
681.58/683.55	c #Conflicts:     310000 | #Constraints:      37649
681.58/683.55	c #Conflicts:     311000 | #Constraints:      38649
681.58/683.55	c #Conflicts:     312000 | #Constraints:      39649
681.58/683.55	c #Conflicts:     313000 | #Constraints:      40649
681.58/683.55	c #Conflicts:     314000 | #Constraints:      41649
681.58/683.55	c #Conflicts:     315000 | #Constraints:      42649
681.58/683.55	c #Conflicts:     316000 | #Constraints:      43649
681.58/683.55	c #Conflicts:     317000 | #Constraints:      44649
681.58/683.55	c #Conflicts:     318000 | #Constraints:      45649
681.58/683.55	c #Conflicts:     319000 | #Constraints:      46649
681.58/683.55	c #Conflicts:     320000 | #Constraints:      47649
681.58/683.55	c #Conflicts:     321000 | #Constraints:      48649
681.58/683.55	c #Conflicts:     322000 | #Constraints:      49649
681.58/683.55	c #Conflicts:     323000 | #Constraints:      50649
681.58/683.55	c #Conflicts:     324000 | #Constraints:      51649
681.58/683.55	c #Conflicts:     325000 | #Constraints:      52649
681.58/683.55	c #Conflicts:     326000 | #Constraints:      53649
681.58/683.55	c #Conflicts:     327000 | #Constraints:      54649
681.58/683.55	c #Conflicts:     328000 | #Constraints:      55649
681.58/683.55	c #Conflicts:     329000 | #Constraints:      56649
681.58/683.55	c #Conflicts:     330000 | #Constraints:      57649
681.58/683.55	c #Conflicts:     331000 | #Constraints:      58649
681.58/683.55	c #Conflicts:     332000 | #Constraints:      59649
681.58/683.55	c #Conflicts:     333000 | #Constraints:      60649
681.58/683.55	c #Conflicts:     334000 | #Constraints:      61649
681.58/683.55	c #Conflicts:     335000 | #Constraints:      62649
681.58/683.55	c #Conflicts:     336000 | #Constraints:      63649
681.58/683.55	c #Conflicts:     337000 | #Constraints:      64649
681.58/683.55	c #Conflicts:     338000 | #Constraints:      65649
681.58/683.55	c #Conflicts:     339000 | #Constraints:      66649
681.58/683.55	c #Conflicts:     340000 | #Constraints:      67649
681.58/683.55	c #Conflicts:     341000 | #Constraints:      68649
681.58/683.55	c #Conflicts:     342000 | #Constraints:      69649
681.58/683.55	c #Conflicts:     343000 | #Constraints:      70649
681.58/683.55	c #Conflicts:     344000 | #Constraints:      71649
681.58/683.55	c #Conflicts:     345000 | #Constraints:      72649
681.58/683.55	c #Conflicts:     346000 | #Constraints:      73649
681.58/683.55	c #Conflicts:     347000 | #Constraints:      74649
681.58/683.55	c #Conflicts:     348000 | #Constraints:      75649
681.58/683.55	c INPROCESSING
681.58/683.55	c GARBAGE COLLECT
681.58/683.55	c #Conflicts:     349000 | #Constraints:      47433
681.58/683.55	c #Conflicts:     350000 | #Constraints:      48433
681.58/683.55	c #Conflicts:     351000 | #Constraints:      49433
681.58/683.55	c #Conflicts:     352000 | #Constraints:      50433
681.58/683.55	c #Conflicts:     353000 | #Constraints:      51433
681.58/683.55	c #Conflicts:     354000 | #Constraints:      52433
681.58/683.55	c #Conflicts:     355000 | #Constraints:      53433
681.58/683.55	c #Conflicts:     356000 | #Constraints:      54433
681.58/683.55	c #Conflicts:     357000 | #Constraints:      55433
681.58/683.55	c #Conflicts:     358000 | #Constraints:      56433
681.58/683.55	c #Conflicts:     359000 | #Constraints:      57433
681.58/683.55	c #Conflicts:     360000 | #Constraints:      58433
681.58/683.55	c #Conflicts:     361000 | #Constraints:      59433
681.58/683.55	c #Conflicts:     362000 | #Constraints:      60433
681.58/683.55	c #Conflicts:     363000 | #Constraints:      61433
681.58/683.55	c INPROCESSING
681.58/683.55	c GARBAGE COLLECT
681.58/683.55	c #Conflicts:     364000 | #Constraints:      40217
681.58/683.55	c #Conflicts:     365000 | #Constraints:      41217
681.58/683.55	c #Conflicts:     366000 | #Constraints:      42217
681.58/683.55	c #Conflicts:     367000 | #Constraints:      43217
681.58/683.55	c #Conflicts:     368000 | #Constraints:      44217
681.58/683.55	c #Conflicts:     369000 | #Constraints:      45217
681.58/683.55	c #Conflicts:     370000 | #Constraints:      46217
681.58/683.55	c #Conflicts:     371000 | #Constraints:      47217
681.58/683.55	c #Conflicts:     372000 | #Constraints:      48217
681.58/683.55	c #Conflicts:     373000 | #Constraints:      49217
681.58/683.55	c #Conflicts:     374000 | #Constraints:      50217
681.58/683.55	c #Conflicts:     375000 | #Constraints:      51217
823.93/826.22	c #Conflicts:     376000 | #Constraints:      52217
823.93/826.22	c #Conflicts:     377000 | #Constraints:      53217
823.93/826.22	c #Conflicts:     378000 | #Constraints:      54217
823.93/826.22	c INPROCESSING
823.93/826.22	c GARBAGE COLLECT
823.93/826.22	c #Conflicts:     379000 | #Constraints:      39048
823.93/826.22	c #Conflicts:     380000 | #Constraints:      40048
823.93/826.22	c #Conflicts:     381000 | #Constraints:      41048
823.93/826.22	c #Conflicts:     382000 | #Constraints:      42048
823.93/826.22	c #Conflicts:     383000 | #Constraints:      43048
823.93/826.22	c #Conflicts:     384000 | #Constraints:      44048
823.93/826.22	c #Conflicts:     385000 | #Constraints:      45048
823.93/826.22	c #Conflicts:     386000 | #Constraints:      46048
823.93/826.22	c #Conflicts:     387000 | #Constraints:      47048
823.93/826.22	c #Conflicts:     388000 | #Constraints:      48048
823.93/826.22	c #Conflicts:     389000 | #Constraints:      49048
823.93/826.22	c #Conflicts:     390000 | #Constraints:      50048
823.93/826.22	c #Conflicts:     391000 | #Constraints:      51048
823.93/826.22	c #Conflicts:     392000 | #Constraints:      52048
823.93/826.22	c #Conflicts:     393000 | #Constraints:      53048
823.93/826.22	c #Conflicts:     394000 | #Constraints:      54048
823.93/826.22	c #Conflicts:     395000 | #Constraints:      55048
823.93/826.22	c #Conflicts:     396000 | #Constraints:      56048
823.93/826.22	c #Conflicts:     397000 | #Constraints:      57048
823.93/826.22	c #Conflicts:     398000 | #Constraints:      58048
823.93/826.22	c #Conflicts:     399000 | #Constraints:      59048
823.93/826.22	c #Conflicts:     400000 | #Constraints:      60048
823.93/826.22	c #Conflicts:     401000 | #Constraints:      61048
823.93/826.22	c #Conflicts:     402000 | #Constraints:      62048
823.93/826.22	c #Conflicts:     403000 | #Constraints:      63048
823.93/826.22	c #Conflicts:     404000 | #Constraints:      64048
823.93/826.22	c #Conflicts:     405000 | #Constraints:      65048
823.93/826.22	c #Conflicts:     406000 | #Constraints:      66048
823.93/826.22	c #Conflicts:     407000 | #Constraints:      67048
823.93/826.22	c #Conflicts:     408000 | #Constraints:      68048
823.93/826.22	c #Conflicts:     409000 | #Constraints:      69048
823.93/826.22	c #Conflicts:     410000 | #Constraints:      70048
823.93/826.22	c #Conflicts:     411000 | #Constraints:      71048
823.93/826.22	c #Conflicts:     412000 | #Constraints:      72048
823.93/826.22	c #Conflicts:     413000 | #Constraints:      73048
823.93/826.22	c #Conflicts:     414000 | #Constraints:      74048
823.93/826.22	c #Conflicts:     415000 | #Constraints:      75048
823.93/826.22	c #Conflicts:     416000 | #Constraints:      76048
823.93/826.22	c #Conflicts:     417000 | #Constraints:      77048
823.93/826.22	c #Conflicts:     418000 | #Constraints:      78048
823.93/826.22	c #Conflicts:     419000 | #Constraints:      79048
823.93/826.22	c #Conflicts:     420000 | #Constraints:      80048
823.93/826.22	c #Conflicts:     421000 | #Constraints:      81048
823.93/826.22	c #Conflicts:     422000 | #Constraints:      82048
823.93/826.22	c INPROCESSING
823.93/826.22	c GARBAGE COLLECT
823.93/826.22	c #Conflicts:     423000 | #Constraints:      50519
823.93/826.22	c #Conflicts:     424000 | #Constraints:      51519
823.93/826.22	c #Conflicts:     425000 | #Constraints:      52519
823.93/826.22	c #Conflicts:     426000 | #Constraints:      53519
823.93/826.22	c #Conflicts:     427000 | #Constraints:      54519
823.93/826.22	c #Conflicts:     428000 | #Constraints:      55519
823.93/826.22	c #Conflicts:     429000 | #Constraints:      56519
823.93/826.22	c #Conflicts:     430000 | #Constraints:      57519
823.93/826.22	c #Conflicts:     431000 | #Constraints:      58519
823.93/826.22	c #Conflicts:     432000 | #Constraints:      59519
823.93/826.22	c #Conflicts:     433000 | #Constraints:      60519
823.93/826.22	c #Conflicts:     434000 | #Constraints:      61519
823.93/826.22	c #Conflicts:     435000 | #Constraints:      62519
823.93/826.22	c #Conflicts:     436000 | #Constraints:      63519
823.93/826.22	c #Conflicts:     437000 | #Constraints:      64519
823.93/826.22	c #Conflicts:     438000 | #Constraints:      65519
823.93/826.22	c INPROCESSING
823.93/826.22	c GARBAGE COLLECT
823.93/826.22	c #Conflicts:     439000 | #Constraints:      41877
823.93/826.22	c #Conflicts:     440000 | #Constraints:      42877
823.93/826.22	c #Conflicts:     441000 | #Constraints:      43877
823.93/826.22	c #Conflicts:     442000 | #Constraints:      44877
823.93/826.22	c #Conflicts:     443000 | #Constraints:      45877
823.93/826.22	c #Conflicts:     444000 | #Constraints:      46877
823.93/826.22	c #Conflicts:     445000 | #Constraints:      47877
823.93/826.22	c #Conflicts:     446000 | #Constraints:      48877
823.93/826.22	c #Conflicts:     447000 | #Constraints:      49877
823.93/826.22	c #Conflicts:     448000 | #Constraints:      50877
823.93/826.22	c #Conflicts:     449000 | #Constraints:      51877
823.93/826.22	c #Conflicts:     450000 | #Constraints:      52877
823.93/826.22	c #Conflicts:     451000 | #Constraints:      53877
823.93/826.22	c #Conflicts:     452000 | #Constraints:      54877
1014.28/1017.15	c #Conflicts:     453000 | #Constraints:      55877
1014.28/1017.15	c #Conflicts:     454000 | #Constraints:      56877
1014.28/1017.15	c #Conflicts:     455000 | #Constraints:      57877
1014.28/1017.15	c INPROCESSING
1014.28/1017.15	c GARBAGE COLLECT
1014.28/1017.15	c #Conflicts:     456000 | #Constraints:      41289
1014.28/1017.15	c #Conflicts:     457000 | #Constraints:      42289
1014.28/1017.15	c #Conflicts:     458000 | #Constraints:      43289
1014.28/1017.15	c #Conflicts:     459000 | #Constraints:      44289
1014.28/1017.15	c #Conflicts:     460000 | #Constraints:      45289
1014.28/1017.15	c #Conflicts:     461000 | #Constraints:      46289
1014.28/1017.15	c #Conflicts:     462000 | #Constraints:      47289
1014.28/1017.15	c #Conflicts:     463000 | #Constraints:      48289
1014.28/1017.15	c #Conflicts:     464000 | #Constraints:      49289
1014.28/1017.15	c #Conflicts:     465000 | #Constraints:      50289
1014.28/1017.15	c #Conflicts:     466000 | #Constraints:      51289
1014.28/1017.15	c #Conflicts:     467000 | #Constraints:      52289
1014.28/1017.15	c #Conflicts:     468000 | #Constraints:      53289
1014.28/1017.15	c #Conflicts:     469000 | #Constraints:      54289
1014.28/1017.15	c #Conflicts:     470000 | #Constraints:      55289
1014.28/1017.15	c #Conflicts:     471000 | #Constraints:      56289
1014.28/1017.15	c #Conflicts:     472000 | #Constraints:      57289
1014.28/1017.15	c #Conflicts:     473000 | #Constraints:      58289
1014.28/1017.15	c #Conflicts:     474000 | #Constraints:      59289
1014.28/1017.15	c #Conflicts:     475000 | #Constraints:      60289
1014.28/1017.15	c #Conflicts:     476000 | #Constraints:      61289
1014.28/1017.15	c #Conflicts:     477000 | #Constraints:      62289
1014.28/1017.15	c #Conflicts:     478000 | #Constraints:      63289
1014.28/1017.15	c #Conflicts:     479000 | #Constraints:      64289
1014.28/1017.15	c #Conflicts:     480000 | #Constraints:      65289
1014.28/1017.15	c #Conflicts:     481000 | #Constraints:      66290
1014.28/1017.15	c #Conflicts:     482000 | #Constraints:      67290
1014.28/1017.15	c #Conflicts:     483000 | #Constraints:      68290
1014.28/1017.15	c #Conflicts:     484000 | #Constraints:      69290
1014.28/1017.15	c #Conflicts:     485000 | #Constraints:      70290
1014.28/1017.15	c #Conflicts:     486000 | #Constraints:      71290
1014.28/1017.15	c #Conflicts:     487000 | #Constraints:      72290
1014.28/1017.15	c #Conflicts:     488000 | #Constraints:      73290
1014.28/1017.15	c #Conflicts:     489000 | #Constraints:      74290
1014.28/1017.15	c #Conflicts:     490000 | #Constraints:      75290
1014.28/1017.15	c #Conflicts:     491000 | #Constraints:      76290
1014.28/1017.15	c #Conflicts:     492000 | #Constraints:      77290
1014.28/1017.15	c #Conflicts:     493000 | #Constraints:      78290
1014.28/1017.15	c #Conflicts:     494000 | #Constraints:      79290
1014.28/1017.15	c #Conflicts:     495000 | #Constraints:      80290
1014.28/1017.15	c #Conflicts:     496000 | #Constraints:      81290
1014.28/1017.15	c #Conflicts:     497000 | #Constraints:      82290
1014.28/1017.15	c #Conflicts:     498000 | #Constraints:      83290
1014.28/1017.15	c #Conflicts:     499000 | #Constraints:      84290
1014.28/1017.15	c #Conflicts:     500000 | #Constraints:      85290
1014.28/1017.15	c #Conflicts:     501000 | #Constraints:      86290
1014.28/1017.15	c #Conflicts:     502000 | #Constraints:      87290
1014.28/1017.15	c #Conflicts:     503000 | #Constraints:      88290
1014.28/1017.15	c #Conflicts:     504000 | #Constraints:      89290
1014.28/1017.15	c INPROCESSING
1014.28/1017.15	c GARBAGE COLLECT
1014.28/1017.15	c #Conflicts:     505000 | #Constraints:      54144
1014.28/1017.15	c #Conflicts:     506000 | #Constraints:      55144
1014.28/1017.15	c #Conflicts:     507000 | #Constraints:      56144
1014.28/1017.15	c #Conflicts:     508000 | #Constraints:      57144
1014.28/1017.15	c #Conflicts:     509000 | #Constraints:      58144
1014.28/1017.15	c #Conflicts:     510000 | #Constraints:      59144
1014.28/1017.15	c #Conflicts:     511000 | #Constraints:      60144
1014.28/1017.15	c #Conflicts:     512000 | #Constraints:      61144
1014.28/1017.15	c #Conflicts:     513000 | #Constraints:      62144
1014.28/1017.15	c #Conflicts:     514000 | #Constraints:      63144
1014.28/1017.15	c #Conflicts:     515000 | #Constraints:      64144
1014.28/1017.15	c #Conflicts:     516000 | #Constraints:      65144
1014.28/1017.15	c #Conflicts:     517000 | #Constraints:      66144
1014.28/1017.15	c #Conflicts:     518000 | #Constraints:      67144
1014.28/1017.15	c #Conflicts:     519000 | #Constraints:      68144
1014.28/1017.15	c #Conflicts:     520000 | #Constraints:      69144
1014.28/1017.15	c #Conflicts:     521000 | #Constraints:      70144
1014.28/1017.15	c #Conflicts:     522000 | #Constraints:      71144
1014.28/1017.15	c INPROCESSING
1014.28/1017.15	c GARBAGE COLLECT
1014.28/1017.15	c #Conflicts:     523000 | #Constraints:      45153
1014.28/1017.15	c #Conflicts:     524000 | #Constraints:      46153
1014.28/1017.15	c #Conflicts:     525000 | #Constraints:      47153
1014.28/1017.15	c #Conflicts:     526000 | #Constraints:      48153
1014.28/1017.15	c #Conflicts:     527000 | #Constraints:      49153
1014.28/1017.15	c #Conflicts:     528000 | #Constraints:      50153
1014.28/1017.15	c #Conflicts:     529000 | #Constraints:      51153
1271.67/1275.32	c #Conflicts:     530000 | #Constraints:      52153
1271.67/1275.32	c #Conflicts:     531000 | #Constraints:      53153
1271.67/1275.32	c #Conflicts:     532000 | #Constraints:      54153
1271.67/1275.32	c #Conflicts:     533000 | #Constraints:      55153
1271.67/1275.32	c #Conflicts:     534000 | #Constraints:      56153
1271.67/1275.32	c #Conflicts:     535000 | #Constraints:      57153
1271.67/1275.32	c #Conflicts:     536000 | #Constraints:      58153
1271.67/1275.32	c #Conflicts:     537000 | #Constraints:      59153
1271.67/1275.32	c #Conflicts:     538000 | #Constraints:      60153
1271.67/1275.32	c #Conflicts:     539000 | #Constraints:      61153
1271.67/1275.32	c #Conflicts:     540000 | #Constraints:      62153
1271.67/1275.32	c INPROCESSING
1271.67/1275.32	c GARBAGE COLLECT
1271.67/1275.32	c #Conflicts:     541000 | #Constraints:      43656
1271.67/1275.32	c #Conflicts:     542000 | #Constraints:      44656
1271.67/1275.32	c #Conflicts:     543000 | #Constraints:      45656
1271.67/1275.32	c #Conflicts:     544000 | #Constraints:      46656
1271.67/1275.32	c #Conflicts:     545000 | #Constraints:      47656
1271.67/1275.32	c #Conflicts:     546000 | #Constraints:      48656
1271.67/1275.32	c #Conflicts:     547000 | #Constraints:      49656
1271.67/1275.32	c #Conflicts:     548000 | #Constraints:      50656
1271.67/1275.32	c #Conflicts:     549000 | #Constraints:      51656
1271.67/1275.32	c #Conflicts:     550000 | #Constraints:      52656
1271.67/1275.32	c #Conflicts:     551000 | #Constraints:      53656
1271.67/1275.32	c #Conflicts:     552000 | #Constraints:      54656
1271.67/1275.32	c #Conflicts:     553000 | #Constraints:      55656
1271.67/1275.32	c #Conflicts:     554000 | #Constraints:      56656
1271.67/1275.32	c #Conflicts:     555000 | #Constraints:      57656
1271.67/1275.32	c #Conflicts:     556000 | #Constraints:      58656
1271.67/1275.32	c #Conflicts:     557000 | #Constraints:      59656
1271.67/1275.32	c #Conflicts:     558000 | #Constraints:      60656
1271.67/1275.32	c #Conflicts:     559000 | #Constraints:      61656
1271.67/1275.32	c #Conflicts:     560000 | #Constraints:      62656
1271.67/1275.32	c #Conflicts:     561000 | #Constraints:      63656
1271.67/1275.32	c #Conflicts:     562000 | #Constraints:      64656
1271.67/1275.32	c #Conflicts:     563000 | #Constraints:      65656
1271.67/1275.32	c #Conflicts:     564000 | #Constraints:      66656
1271.67/1275.32	c #Conflicts:     565000 | #Constraints:      67656
1271.67/1275.32	c #Conflicts:     566000 | #Constraints:      68656
1271.67/1275.32	c #Conflicts:     567000 | #Constraints:      69656
1271.67/1275.32	c #Conflicts:     568000 | #Constraints:      70656
1271.67/1275.32	c #Conflicts:     569000 | #Constraints:      71656
1271.67/1275.32	c #Conflicts:     570000 | #Constraints:      72656
1271.67/1275.32	c #Conflicts:     571000 | #Constraints:      73656
1271.67/1275.32	c #Conflicts:     572000 | #Constraints:      74656
1271.67/1275.32	c #Conflicts:     573000 | #Constraints:      75656
1271.67/1275.32	c #Conflicts:     574000 | #Constraints:      76656
1271.67/1275.32	c #Conflicts:     575000 | #Constraints:      77656
1271.67/1275.32	c #Conflicts:     576000 | #Constraints:      78656
1271.67/1275.32	c #Conflicts:     577000 | #Constraints:      79656
1271.67/1275.32	c #Conflicts:     578000 | #Constraints:      80656
1271.67/1275.32	c #Conflicts:     579000 | #Constraints:      81656
1271.67/1275.32	c #Conflicts:     580000 | #Constraints:      82656
1271.67/1275.32	c #Conflicts:     581000 | #Constraints:      83656
1271.67/1275.32	c #Conflicts:     582000 | #Constraints:      84656
1271.67/1275.32	c #Conflicts:     583000 | #Constraints:      85656
1271.67/1275.32	c #Conflicts:     584000 | #Constraints:      86656
1271.67/1275.32	c #Conflicts:     585000 | #Constraints:      87656
1271.67/1275.32	c #Conflicts:     586000 | #Constraints:      88656
1271.67/1275.32	c #Conflicts:     587000 | #Constraints:      89656
1271.67/1275.32	c #Conflicts:     588000 | #Constraints:      90656
1271.67/1275.32	c #Conflicts:     589000 | #Constraints:      91656
1271.67/1275.32	c #Conflicts:     590000 | #Constraints:      92656
1271.67/1275.32	c #Conflicts:     591000 | #Constraints:      93656
1271.67/1275.32	c #Conflicts:     592000 | #Constraints:      94656
1271.67/1275.32	c INPROCESSING
1271.67/1275.32	c GARBAGE COLLECT
1271.67/1275.32	c #Conflicts:     593000 | #Constraints:      56632
1271.67/1275.32	c #Conflicts:     594000 | #Constraints:      57632
1271.67/1275.32	c #Conflicts:     595000 | #Constraints:      58632
1271.67/1275.32	c #Conflicts:     596000 | #Constraints:      59632
1271.67/1275.32	c #Conflicts:     597000 | #Constraints:      60632
1271.67/1275.32	c #Conflicts:     598000 | #Constraints:      61632
1271.67/1275.32	c #Conflicts:     599000 | #Constraints:      62632
1271.67/1275.32	c #Conflicts:     600000 | #Constraints:      63632
1271.67/1275.32	c #Conflicts:     601000 | #Constraints:      64632
1271.67/1275.32	c #Conflicts:     602000 | #Constraints:      65632
1271.67/1275.32	c #Conflicts:     603000 | #Constraints:      66632
1271.67/1275.32	c #Conflicts:     604000 | #Constraints:      67632
1271.67/1275.32	c #Conflicts:     605000 | #Constraints:      68632
1271.67/1275.32	c #Conflicts:     606000 | #Constraints:      69632
1271.67/1275.32	c #Conflicts:     607000 | #Constraints:      70632
1466.49/1470.74	c #Conflicts:     608000 | #Constraints:      71632
1466.49/1470.74	c #Conflicts:     609000 | #Constraints:      72632
1466.49/1470.74	c #Conflicts:     610000 | #Constraints:      73632
1466.49/1470.74	c #Conflicts:     611000 | #Constraints:      74632
1466.49/1470.74	c #Conflicts:     612000 | #Constraints:      75632
1466.49/1470.74	c INPROCESSING
1466.49/1470.74	c GARBAGE COLLECT
1466.49/1470.74	c #Conflicts:     613000 | #Constraints:      47271
1466.49/1470.74	c #Conflicts:     614000 | #Constraints:      48271
1466.49/1470.74	c #Conflicts:     615000 | #Constraints:      49271
1466.49/1470.74	c #Conflicts:     616000 | #Constraints:      50271
1466.49/1470.74	c #Conflicts:     617000 | #Constraints:      51271
1466.49/1470.74	c #Conflicts:     618000 | #Constraints:      52271
1466.49/1470.74	c #Conflicts:     619000 | #Constraints:      53271
1466.49/1470.74	c #Conflicts:     620000 | #Constraints:      54271
1466.49/1470.74	c #Conflicts:     621000 | #Constraints:      55271
1466.49/1470.74	c #Conflicts:     622000 | #Constraints:      56271
1466.49/1470.74	c #Conflicts:     623000 | #Constraints:      57271
1466.49/1470.74	c #Conflicts:     624000 | #Constraints:      58271
1466.49/1470.74	c #Conflicts:     625000 | #Constraints:      59271
1466.49/1470.74	c #Conflicts:     626000 | #Constraints:      60271
1466.49/1470.74	c #Conflicts:     627000 | #Constraints:      61271
1466.49/1470.74	c #Conflicts:     628000 | #Constraints:      62271
1466.49/1470.74	c #Conflicts:     629000 | #Constraints:      63271
1466.49/1470.74	c #Conflicts:     630000 | #Constraints:      64271
1466.49/1470.74	c #Conflicts:     631000 | #Constraints:      65271
1466.49/1470.74	c #Conflicts:     632000 | #Constraints:      66271
1466.49/1470.74	c INPROCESSING
1466.49/1470.74	c GARBAGE COLLECT
1466.49/1470.74	c #Conflicts:     633000 | #Constraints:      46956
1466.49/1470.74	c #Conflicts:     634000 | #Constraints:      47956
1466.49/1470.74	c #Conflicts:     635000 | #Constraints:      48956
1466.49/1470.74	c #Conflicts:     636000 | #Constraints:      49956
1466.49/1470.74	c #Conflicts:     637000 | #Constraints:      50956
1466.49/1470.74	c #Conflicts:     638000 | #Constraints:      51956
1466.49/1470.74	c #Conflicts:     639000 | #Constraints:      52956
1466.49/1470.74	c #Conflicts:     640000 | #Constraints:      53956
1466.49/1470.74	c #Conflicts:     641000 | #Constraints:      54956
1466.49/1470.74	c #Conflicts:     642000 | #Constraints:      55956
1466.49/1470.74	c #Conflicts:     643000 | #Constraints:      56956
1466.49/1470.74	c #Conflicts:     644000 | #Constraints:      57956
1466.49/1470.74	c #Conflicts:     645000 | #Constraints:      58956
1466.49/1470.74	c #Conflicts:     646000 | #Constraints:      59956
1466.49/1470.74	c #Conflicts:     647000 | #Constraints:      60956
1466.49/1470.74	c #Conflicts:     648000 | #Constraints:      61956
1466.49/1470.74	c #Conflicts:     649000 | #Constraints:      62956
1466.49/1470.74	c #Conflicts:     650000 | #Constraints:      63956
1466.49/1470.74	c #Conflicts:     651000 | #Constraints:      64956
1466.49/1470.74	c #Conflicts:     652000 | #Constraints:      65956
1466.49/1470.74	c #Conflicts:     653000 | #Constraints:      66956
1466.49/1470.74	c #Conflicts:     654000 | #Constraints:      67956
1466.49/1470.74	c #Conflicts:     655000 | #Constraints:      68956
1466.49/1470.74	c #Conflicts:     656000 | #Constraints:      69956
1466.49/1470.74	c #Conflicts:     657000 | #Constraints:      70956
1466.49/1470.74	c #Conflicts:     658000 | #Constraints:      71956
1466.49/1470.74	c #Conflicts:     659000 | #Constraints:      72956
1466.49/1470.74	c #Conflicts:     660000 | #Constraints:      73956
1466.49/1470.74	c #Conflicts:     661000 | #Constraints:      74956
1466.49/1470.74	c #Conflicts:     662000 | #Constraints:      75956
1466.49/1470.74	c #Conflicts:     663000 | #Constraints:      76956
1466.49/1470.74	c #Conflicts:     664000 | #Constraints:      77956
1466.49/1470.74	c #Conflicts:     665000 | #Constraints:      78956
1466.49/1470.74	c #Conflicts:     666000 | #Constraints:      79956
1466.49/1470.74	c #Conflicts:     667000 | #Constraints:      80956
1466.49/1470.74	c #Conflicts:     668000 | #Constraints:      81956
1466.49/1470.74	c #Conflicts:     669000 | #Constraints:      82956
1466.49/1470.74	c #Conflicts:     670000 | #Constraints:      83956
1466.49/1470.74	c #Conflicts:     671000 | #Constraints:      84956
1466.49/1470.74	c #Conflicts:     672000 | #Constraints:      85956
1466.49/1470.74	c #Conflicts:     673000 | #Constraints:      86956
1466.49/1470.74	c #Conflicts:     674000 | #Constraints:      87956
1466.49/1470.74	c #Conflicts:     675000 | #Constraints:      88956
1466.49/1470.74	c #Conflicts:     676000 | #Constraints:      89956
1466.49/1470.74	c #Conflicts:     677000 | #Constraints:      90956
1466.49/1470.74	c #Conflicts:     678000 | #Constraints:      91956
1466.49/1470.74	c #Conflicts:     679000 | #Constraints:      92956
1466.49/1470.74	c #Conflicts:     680000 | #Constraints:      93956
1466.49/1470.74	c #Conflicts:     681000 | #Constraints:      94956
1466.49/1470.74	c #Conflicts:     682000 | #Constraints:      95956
1466.49/1470.74	c #Conflicts:     683000 | #Constraints:      96956
1466.49/1470.74	c #Conflicts:     684000 | #Constraints:      97956
1644.94/1649.71	c #Conflicts:     685000 | #Constraints:      98956
1644.94/1649.71	c #Conflicts:     686000 | #Constraints:      99956
1644.94/1649.71	c #Conflicts:     687000 | #Constraints:     100956
1644.94/1649.71	c #Conflicts:     688000 | #Constraints:     101956
1644.94/1649.71	c INPROCESSING
1644.94/1649.71	c GARBAGE COLLECT
1644.94/1649.71	c #Conflicts:     689000 | #Constraints:      60414
1644.94/1649.71	c #Conflicts:     690000 | #Constraints:      61414
1644.94/1649.71	c #Conflicts:     691000 | #Constraints:      62414
1644.94/1649.71	c #Conflicts:     692000 | #Constraints:      63414
1644.94/1649.71	c #Conflicts:     693000 | #Constraints:      64414
1644.94/1649.71	c #Conflicts:     694000 | #Constraints:      65414
1644.94/1649.71	c #Conflicts:     695000 | #Constraints:      66414
1644.94/1649.71	c #Conflicts:     696000 | #Constraints:      67414
1644.94/1649.71	c #Conflicts:     697000 | #Constraints:      68414
1644.94/1649.71	c #Conflicts:     698000 | #Constraints:      69414
1644.94/1649.71	c #Conflicts:     699000 | #Constraints:      70414
1644.94/1649.71	c #Conflicts:     700000 | #Constraints:      71414
1644.94/1649.71	c #Conflicts:     701000 | #Constraints:      72414
1644.94/1649.71	c #Conflicts:     702000 | #Constraints:      73414
1644.94/1649.71	c #Conflicts:     703000 | #Constraints:      74414
1644.94/1649.71	c #Conflicts:     704000 | #Constraints:      75414
1644.94/1649.71	c #Conflicts:     705000 | #Constraints:      76414
1644.94/1649.71	c #Conflicts:     706000 | #Constraints:      77414
1644.94/1649.71	c #Conflicts:     707000 | #Constraints:      78414
1644.94/1649.71	c #Conflicts:     708000 | #Constraints:      79414
1644.94/1649.71	c #Conflicts:     709000 | #Constraints:      80414
1644.94/1649.71	c INPROCESSING
1644.94/1649.71	c GARBAGE COLLECT
1644.94/1649.71	c #Conflicts:     710000 | #Constraints:      49629
1644.94/1649.71	c #Conflicts:     711000 | #Constraints:      50629
1644.94/1649.71	c #Conflicts:     712000 | #Constraints:      51629
1644.94/1649.71	c #Conflicts:     713000 | #Constraints:      52629
1644.94/1649.71	c #Conflicts:     714000 | #Constraints:      53629
1644.94/1649.71	c #Conflicts:     715000 | #Constraints:      54629
1644.94/1649.71	c #Conflicts:     716000 | #Constraints:      55629
1644.94/1649.71	c #Conflicts:     717000 | #Constraints:      56629
1644.94/1649.71	c #Conflicts:     718000 | #Constraints:      57629
1644.94/1649.71	c #Conflicts:     719000 | #Constraints:      58629
1644.94/1649.71	c #Conflicts:     720000 | #Constraints:      59629
1644.94/1649.71	c #Conflicts:     721000 | #Constraints:      60629
1644.94/1649.71	c #Conflicts:     722000 | #Constraints:      61629
1644.94/1649.71	c #Conflicts:     723000 | #Constraints:      62629
1644.94/1649.71	c #Conflicts:     724000 | #Constraints:      63629
1644.94/1649.71	c #Conflicts:     725000 | #Constraints:      64629
1644.94/1649.71	c #Conflicts:     726000 | #Constraints:      65629
1644.94/1649.71	c #Conflicts:     727000 | #Constraints:      66629
1644.94/1649.71	c #Conflicts:     728000 | #Constraints:      67629
1644.94/1649.71	c #Conflicts:     729000 | #Constraints:      68629
1644.94/1649.71	c #Conflicts:     730000 | #Constraints:      69629
1644.94/1649.71	c #Conflicts:     731000 | #Constraints:      70629
1644.94/1649.71	c INPROCESSING
1644.94/1649.71	c GARBAGE COLLECT
1644.94/1649.71	c #Conflicts:     732000 | #Constraints:      49542
1644.94/1649.71	c #Conflicts:     733000 | #Constraints:      50542
1644.94/1649.71	c #Conflicts:     734000 | #Constraints:      51542
1644.94/1649.71	c #Conflicts:     735000 | #Constraints:      52542
1644.94/1649.71	c #Conflicts:     736000 | #Constraints:      53542
1644.94/1649.71	c #Conflicts:     737000 | #Constraints:      54542
1644.94/1649.71	c #Conflicts:     738000 | #Constraints:      55542
1644.94/1649.71	c #Conflicts:     739000 | #Constraints:      56542
1644.94/1649.71	c #Conflicts:     740000 | #Constraints:      57542
1644.94/1649.71	c #Conflicts:     741000 | #Constraints:      58542
1644.94/1649.71	c #Conflicts:     742000 | #Constraints:      59542
1644.94/1649.71	c #Conflicts:     743000 | #Constraints:      60542
1644.94/1649.71	c #Conflicts:     744000 | #Constraints:      61542
1644.94/1649.71	c #Conflicts:     745000 | #Constraints:      62542
1644.94/1649.71	c #Conflicts:     746000 | #Constraints:      63542
1644.94/1649.71	c #Conflicts:     747000 | #Constraints:      64542
1644.94/1649.71	c #Conflicts:     748000 | #Constraints:      65542
1644.94/1649.71	c #Conflicts:     749000 | #Constraints:      66542
1644.94/1649.71	c #Conflicts:     750000 | #Constraints:      67542
1644.94/1649.71	c #Conflicts:     751000 | #Constraints:      68542
1644.94/1649.71	c #Conflicts:     752000 | #Constraints:      69542
1644.94/1649.71	c #Conflicts:     753000 | #Constraints:      70542
1644.94/1649.71	c #Conflicts:     754000 | #Constraints:      71542
1644.94/1649.71	c #Conflicts:     755000 | #Constraints:      72542
1644.94/1649.71	c #Conflicts:     756000 | #Constraints:      73542
1644.94/1649.71	c #Conflicts:     757000 | #Constraints:      74542
1644.94/1649.71	c #Conflicts:     758000 | #Constraints:      75542
1644.94/1649.71	c #Conflicts:     759000 | #Constraints:      76542
1644.94/1649.71	c #Conflicts:     760000 | #Constraints:      77542
1644.94/1649.71	c #Conflicts:     761000 | #Constraints:      78542
1841.05/1846.48	c #Conflicts:     762000 | #Constraints:      79542
1841.05/1846.48	c #Conflicts:     763000 | #Constraints:      80542
1841.05/1846.48	c #Conflicts:     764000 | #Constraints:      81542
1841.05/1846.48	c #Conflicts:     765000 | #Constraints:      82542
1841.05/1846.48	c #Conflicts:     766000 | #Constraints:      83542
1841.05/1846.48	c #Conflicts:     767000 | #Constraints:      84542
1841.05/1846.48	c #Conflicts:     768000 | #Constraints:      85542
1841.05/1846.48	c #Conflicts:     769000 | #Constraints:      86542
1841.05/1846.48	c #Conflicts:     770000 | #Constraints:      87542
1841.05/1846.48	c #Conflicts:     771000 | #Constraints:      88542
1841.05/1846.48	c #Conflicts:     772000 | #Constraints:      89542
1841.05/1846.48	c #Conflicts:     773000 | #Constraints:      90542
1841.05/1846.48	c #Conflicts:     774000 | #Constraints:      91542
1841.05/1846.48	c #Conflicts:     775000 | #Constraints:      92542
1841.05/1846.48	c #Conflicts:     776000 | #Constraints:      93542
1841.05/1846.48	c #Conflicts:     777000 | #Constraints:      94542
1841.05/1846.48	c #Conflicts:     778000 | #Constraints:      95542
1841.05/1846.48	c #Conflicts:     779000 | #Constraints:      96542
1841.05/1846.48	c #Conflicts:     780000 | #Constraints:      97542
1841.05/1846.48	c #Conflicts:     781000 | #Constraints:      98542
1841.05/1846.48	c #Conflicts:     782000 | #Constraints:      99542
1841.05/1846.48	c #Conflicts:     783000 | #Constraints:     100542
1841.05/1846.48	c #Conflicts:     784000 | #Constraints:     101542
1841.05/1846.48	c #Conflicts:     785000 | #Constraints:     102542
1841.05/1846.48	c #Conflicts:     786000 | #Constraints:     103542
1841.05/1846.48	c #Conflicts:     787000 | #Constraints:     104542
1841.05/1846.48	c #Conflicts:     788000 | #Constraints:     105542
1841.05/1846.48	c #Conflicts:     789000 | #Constraints:     106542
1841.05/1846.48	c #Conflicts:     790000 | #Constraints:     107542
1841.05/1846.48	c #Conflicts:     791000 | #Constraints:     108542
1841.05/1846.48	c #Conflicts:     792000 | #Constraints:     109542
1841.05/1846.48	c INPROCESSING
1841.05/1846.48	c GARBAGE COLLECT
1841.05/1846.48	c #Conflicts:     793000 | #Constraints:      64494
1841.05/1846.48	c #Conflicts:     794000 | #Constraints:      65494
1841.05/1846.48	c #Conflicts:     795000 | #Constraints:      66494
1841.05/1846.48	c #Conflicts:     796000 | #Constraints:      67494
1841.05/1846.48	c #Conflicts:     797000 | #Constraints:      68494
1841.05/1846.48	c #Conflicts:     798000 | #Constraints:      69494
1841.05/1846.48	c #Conflicts:     799000 | #Constraints:      70494
1841.05/1846.48	c #Conflicts:     800000 | #Constraints:      71494
1841.05/1846.48	c #Conflicts:     801000 | #Constraints:      72494
1841.05/1846.48	c #Conflicts:     802000 | #Constraints:      73494
1841.05/1846.48	c #Conflicts:     803000 | #Constraints:      74494
1841.05/1846.48	c #Conflicts:     804000 | #Constraints:      75494
1841.05/1846.48	c #Conflicts:     805000 | #Constraints:      76494
1841.05/1846.48	c #Conflicts:     806000 | #Constraints:      77494
1841.05/1846.48	c #Conflicts:     807000 | #Constraints:      78494
1841.05/1846.48	c #Conflicts:     808000 | #Constraints:      79494
1841.05/1846.48	c #Conflicts:     809000 | #Constraints:      80494
1841.05/1846.48	c #Conflicts:     810000 | #Constraints:      81494
1841.05/1846.48	c #Conflicts:     811000 | #Constraints:      82494
1841.05/1846.48	c #Conflicts:     812000 | #Constraints:      83494
1841.05/1846.48	c #Conflicts:     813000 | #Constraints:      84494
1841.05/1846.48	c #Conflicts:     814000 | #Constraints:      85494
1841.05/1846.48	c INPROCESSING
1841.05/1846.48	c GARBAGE COLLECT
1841.05/1846.48	c #Conflicts:     815000 | #Constraints:      52199
1841.05/1846.48	c #Conflicts:     816000 | #Constraints:      53199
1841.05/1846.48	c #Conflicts:     817000 | #Constraints:      54199
1841.05/1846.48	c #Conflicts:     818000 | #Constraints:      55199
1841.05/1846.48	c #Conflicts:     819000 | #Constraints:      56199
1841.05/1846.48	c #Conflicts:     820000 | #Constraints:      57199
1841.05/1846.48	c #Conflicts:     821000 | #Constraints:      58199
1841.05/1846.48	c #Conflicts:     822000 | #Constraints:      59199
1841.05/1846.48	c #Conflicts:     823000 | #Constraints:      60199
1841.05/1846.48	c #Conflicts:     824000 | #Constraints:      61199
1841.05/1846.48	c #Conflicts:     825000 | #Constraints:      62199
1841.05/1846.48	c #Conflicts:     826000 | #Constraints:      63199
1841.05/1846.48	c #Conflicts:     827000 | #Constraints:      64199
1841.05/1846.48	c #Conflicts:     828000 | #Constraints:      65199
1841.05/1846.48	c #Conflicts:     829000 | #Constraints:      66199
1841.05/1846.48	c #Conflicts:     830000 | #Constraints:      67199
1841.05/1846.48	c #Conflicts:     831000 | #Constraints:      68199
1841.05/1846.48	c #Conflicts:     832000 | #Constraints:      69199
1841.05/1846.48	c #Conflicts:     833000 | #Constraints:      70199
1841.05/1846.48	c #Conflicts:     834000 | #Constraints:      71199
1841.05/1846.48	c #Conflicts:     835000 | #Constraints:      72199
1841.05/1846.48	c #Conflicts:     836000 | #Constraints:      73199
1841.05/1846.48	c #Conflicts:     837000 | #Constraints:      74199
1841.05/1846.48	c #Conflicts:     838000 | #Constraints:      75199
2093.67/2099.88	c #Conflicts:     839000 | #Constraints:      76199
2093.67/2099.88	c #Conflicts:     840000 | #Constraints:      77199
2093.67/2099.88	c #Conflicts:     841000 | #Constraints:      78199
2093.67/2099.88	c #Conflicts:     842000 | #Constraints:      79199
2093.67/2099.88	c #Conflicts:     843000 | #Constraints:      80199
2093.67/2099.88	c #Conflicts:     844000 | #Constraints:      81199
2093.67/2099.88	c #Conflicts:     845000 | #Constraints:      82199
2093.67/2099.88	c #Conflicts:     846000 | #Constraints:      83199
2093.67/2099.88	c #Conflicts:     847000 | #Constraints:      84199
2093.67/2099.88	c #Conflicts:     848000 | #Constraints:      85199
2093.67/2099.88	c #Conflicts:     849000 | #Constraints:      86199
2093.67/2099.88	c #Conflicts:     850000 | #Constraints:      87199
2093.67/2099.88	c #Conflicts:     851000 | #Constraints:      88199
2093.67/2099.88	c #Conflicts:     852000 | #Constraints:      89199
2093.67/2099.88	c #Conflicts:     853000 | #Constraints:      90199
2093.67/2099.88	c #Conflicts:     854000 | #Constraints:      91199
2093.67/2099.88	c #Conflicts:     855000 | #Constraints:      92199
2093.67/2099.88	c #Conflicts:     856000 | #Constraints:      93199
2093.67/2099.88	c #Conflicts:     857000 | #Constraints:      94199
2093.67/2099.88	c #Conflicts:     858000 | #Constraints:      95199
2093.67/2099.88	c #Conflicts:     859000 | #Constraints:      96199
2093.67/2099.88	c #Conflicts:     860000 | #Constraints:      97199
2093.67/2099.88	c #Conflicts:     861000 | #Constraints:      98199
2093.67/2099.88	c #Conflicts:     862000 | #Constraints:      99199
2093.67/2099.88	c #Conflicts:     863000 | #Constraints:     100199
2093.67/2099.88	c #Conflicts:     864000 | #Constraints:     101199
2093.67/2099.88	c #Conflicts:     865000 | #Constraints:     102199
2093.67/2099.88	c #Conflicts:     866000 | #Constraints:     103199
2093.67/2099.88	c #Conflicts:     867000 | #Constraints:     104199
2093.67/2099.88	c #Conflicts:     868000 | #Constraints:     105199
2093.67/2099.88	c #Conflicts:     869000 | #Constraints:     106199
2093.67/2099.88	c #Conflicts:     870000 | #Constraints:     107199
2093.67/2099.88	c #Conflicts:     871000 | #Constraints:     108199
2093.67/2099.88	c #Conflicts:     872000 | #Constraints:     109199
2093.67/2099.88	c #Conflicts:     873000 | #Constraints:     110199
2093.67/2099.88	c #Conflicts:     874000 | #Constraints:     111199
2093.67/2099.88	c #Conflicts:     875000 | #Constraints:     112200
2093.67/2099.88	c #Conflicts:     876000 | #Constraints:     113200
2093.67/2099.88	c #Conflicts:     877000 | #Constraints:     114200
2093.67/2099.88	c #Conflicts:     878000 | #Constraints:     115200
2093.67/2099.88	c INPROCESSING
2093.67/2099.88	c GARBAGE COLLECT
2093.67/2099.88	c #Conflicts:     879000 | #Constraints:      67157
2093.67/2099.88	c #Conflicts:     880000 | #Constraints:      68157
2093.67/2099.88	c #Conflicts:     881000 | #Constraints:      69157
2093.67/2099.88	c #Conflicts:     882000 | #Constraints:      70157
2093.67/2099.88	c #Conflicts:     883000 | #Constraints:      71157
2093.67/2099.88	c #Conflicts:     884000 | #Constraints:      72157
2093.67/2099.88	c #Conflicts:     885000 | #Constraints:      73157
2093.67/2099.88	c #Conflicts:     886000 | #Constraints:      74157
2093.67/2099.88	c #Conflicts:     887000 | #Constraints:      75157
2093.67/2099.88	c #Conflicts:     888000 | #Constraints:      76157
2093.67/2099.88	c #Conflicts:     889000 | #Constraints:      77157
2093.67/2099.88	c #Conflicts:     890000 | #Constraints:      78157
2093.67/2099.88	c #Conflicts:     891000 | #Constraints:      79157
2093.67/2099.88	c #Conflicts:     892000 | #Constraints:      80157
2093.67/2099.88	c #Conflicts:     893000 | #Constraints:      81157
2093.67/2099.88	c #Conflicts:     894000 | #Constraints:      82157
2093.67/2099.88	c #Conflicts:     895000 | #Constraints:      83157
2093.67/2099.88	c #Conflicts:     896000 | #Constraints:      84157
2093.67/2099.88	c #Conflicts:     897000 | #Constraints:      85157
2093.67/2099.88	c #Conflicts:     898000 | #Constraints:      86157
2093.67/2099.88	c #Conflicts:     899000 | #Constraints:      87157
2093.67/2099.88	c #Conflicts:     900000 | #Constraints:      88157
2093.67/2099.88	c #Conflicts:     901000 | #Constraints:      89157
2093.67/2099.88	c #Conflicts:     902000 | #Constraints:      90157
2093.67/2099.88	c INPROCESSING
2093.67/2099.88	c GARBAGE COLLECT
2093.67/2099.88	c #Conflicts:     903000 | #Constraints:      54652
2093.67/2099.88	c #Conflicts:     904000 | #Constraints:      55652
2093.67/2099.88	c #Conflicts:     905000 | #Constraints:      56652
2093.67/2099.88	c #Conflicts:     906000 | #Constraints:      57652
2093.67/2099.88	c #Conflicts:     907000 | #Constraints:      58652
2093.67/2099.88	c #Conflicts:     908000 | #Constraints:      59652
2093.67/2099.88	c #Conflicts:     909000 | #Constraints:      60652
2093.67/2099.88	c #Conflicts:     910000 | #Constraints:      61652
2093.67/2099.88	c #Conflicts:     911000 | #Constraints:      62652
2093.67/2099.88	c #Conflicts:     912000 | #Constraints:      63652
2093.67/2099.88	c #Conflicts:     913000 | #Constraints:      64652
2093.67/2099.88	c #Conflicts:     914000 | #Constraints:      65652
2093.67/2099.88	c #Conflicts:     915000 | #Constraints:      66652
2093.67/2099.88	c #Conflicts:     916000 | #Constraints:      67652
2349.30/2356.28	c #Conflicts:     917000 | #Constraints:      68652
2349.30/2356.28	c #Conflicts:     918000 | #Constraints:      69652
2349.30/2356.28	c #Conflicts:     919000 | #Constraints:      70652
2349.30/2356.28	c #Conflicts:     920000 | #Constraints:      71652
2349.30/2356.28	c #Conflicts:     921000 | #Constraints:      72652
2349.30/2356.28	c #Conflicts:     922000 | #Constraints:      73652
2349.30/2356.28	c #Conflicts:     923000 | #Constraints:      74652
2349.30/2356.28	c #Conflicts:     924000 | #Constraints:      75652
2349.30/2356.28	c #Conflicts:     925000 | #Constraints:      76652
2349.30/2356.28	c #Conflicts:     926000 | #Constraints:      77652
2349.30/2356.28	c #Conflicts:     927000 | #Constraints:      78652
2349.30/2356.28	c #Conflicts:     928000 | #Constraints:      79652
2349.30/2356.28	c #Conflicts:     929000 | #Constraints:      80652
2349.30/2356.28	c #Conflicts:     930000 | #Constraints:      81652
2349.30/2356.28	c #Conflicts:     931000 | #Constraints:      82652
2349.30/2356.28	c #Conflicts:     932000 | #Constraints:      83652
2349.30/2356.28	c #Conflicts:     933000 | #Constraints:      84652
2349.30/2356.28	c #Conflicts:     934000 | #Constraints:      85652
2349.30/2356.28	c #Conflicts:     935000 | #Constraints:      86652
2349.30/2356.28	c #Conflicts:     936000 | #Constraints:      87652
2349.30/2356.28	c #Conflicts:     937000 | #Constraints:      88652
2349.30/2356.28	c #Conflicts:     938000 | #Constraints:      89652
2349.30/2356.28	c #Conflicts:     939000 | #Constraints:      90652
2349.30/2356.28	c #Conflicts:     940000 | #Constraints:      91652
2349.30/2356.28	c #Conflicts:     941000 | #Constraints:      92652
2349.30/2356.28	c #Conflicts:     942000 | #Constraints:      93652
2349.30/2356.28	c #Conflicts:     943000 | #Constraints:      94652
2349.30/2356.28	c #Conflicts:     944000 | #Constraints:      95652
2349.30/2356.28	c #Conflicts:     945000 | #Constraints:      96652
2349.30/2356.28	c #Conflicts:     946000 | #Constraints:      97652
2349.30/2356.28	c #Conflicts:     947000 | #Constraints:      98652
2349.30/2356.28	c #Conflicts:     948000 | #Constraints:      99652
2349.30/2356.28	c #Conflicts:     949000 | #Constraints:     100652
2349.30/2356.28	c #Conflicts:     950000 | #Constraints:     101652
2349.30/2356.28	c #Conflicts:     951000 | #Constraints:     102652
2349.30/2356.28	c #Conflicts:     952000 | #Constraints:     103652
2349.30/2356.28	c #Conflicts:     953000 | #Constraints:     104652
2349.30/2356.28	c #Conflicts:     954000 | #Constraints:     105652
2349.30/2356.28	c #Conflicts:     955000 | #Constraints:     106652
2349.30/2356.28	c #Conflicts:     956000 | #Constraints:     107652
2349.30/2356.28	c #Conflicts:     957000 | #Constraints:     108652
2349.30/2356.28	c #Conflicts:     958000 | #Constraints:     109652
2349.30/2356.28	c #Conflicts:     959000 | #Constraints:     110652
2349.30/2356.28	c #Conflicts:     960000 | #Constraints:     111652
2349.30/2356.28	c #Conflicts:     961000 | #Constraints:     112652
2349.30/2356.28	c #Conflicts:     962000 | #Constraints:     113652
2349.30/2356.28	c #Conflicts:     963000 | #Constraints:     114652
2349.30/2356.28	c #Conflicts:     964000 | #Constraints:     115652
2349.30/2356.28	c #Conflicts:     965000 | #Constraints:     116652
2349.30/2356.28	c #Conflicts:     966000 | #Constraints:     117652
2349.30/2356.28	c #Conflicts:     967000 | #Constraints:     118652
2349.30/2356.28	c #Conflicts:     968000 | #Constraints:     119652
2349.30/2356.28	c #Conflicts:     969000 | #Constraints:     120652
2349.30/2356.28	c INPROCESSING
2349.30/2356.28	c GARBAGE COLLECT
2349.30/2356.28	c #Conflicts:     970000 | #Constraints:      69850
2349.30/2356.28	c #Conflicts:     971000 | #Constraints:      70850
2349.30/2356.28	c #Conflicts:     972000 | #Constraints:      71850
2349.30/2356.28	c #Conflicts:     973000 | #Constraints:      72850
2349.30/2356.28	c #Conflicts:     974000 | #Constraints:      73850
2349.30/2356.28	c #Conflicts:     975000 | #Constraints:      74850
2349.30/2356.28	c #Conflicts:     976000 | #Constraints:      75850
2349.30/2356.28	c #Conflicts:     977000 | #Constraints:      76850
2349.30/2356.28	c #Conflicts:     978000 | #Constraints:      77850
2349.30/2356.28	c #Conflicts:     979000 | #Constraints:      78850
2349.30/2356.28	c #Conflicts:     980000 | #Constraints:      79850
2349.30/2356.28	c #Conflicts:     981000 | #Constraints:      80850
2349.30/2356.28	c #Conflicts:     982000 | #Constraints:      81850
2349.30/2356.28	c #Conflicts:     983000 | #Constraints:      82850
2349.30/2356.28	c #Conflicts:     984000 | #Constraints:      83850
2349.30/2356.28	c #Conflicts:     985000 | #Constraints:      84850
2349.30/2356.28	c #Conflicts:     986000 | #Constraints:      85850
2349.30/2356.28	c #Conflicts:     987000 | #Constraints:      86850
2349.30/2356.28	c #Conflicts:     988000 | #Constraints:      87850
2349.30/2356.28	c #Conflicts:     989000 | #Constraints:      88850
2349.30/2356.28	c #Conflicts:     990000 | #Constraints:      89850
2349.30/2356.28	c #Conflicts:     991000 | #Constraints:      90850
2349.30/2356.28	c #Conflicts:     992000 | #Constraints:      91850
2349.30/2356.28	c #Conflicts:     993000 | #Constraints:      92850
2349.30/2356.28	c #Conflicts:     994000 | #Constraints:      93850
2677.61/2685.39	c INPROCESSING
2677.61/2685.39	c GARBAGE COLLECT
2677.61/2685.39	c #Conflicts:     995000 | #Constraints:      56570
2677.61/2685.39	c #Conflicts:     996000 | #Constraints:      57570
2677.61/2685.39	c #Conflicts:     997000 | #Constraints:      58570
2677.61/2685.39	c #Conflicts:     998000 | #Constraints:      59570
2677.61/2685.39	c #Conflicts:     999000 | #Constraints:      60570
2677.61/2685.39	c #Conflicts:    1000000 | #Constraints:      61570
2677.61/2685.39	c #Conflicts:    1001000 | #Constraints:      62570
2677.61/2685.39	c #Conflicts:    1002000 | #Constraints:      63570
2677.61/2685.39	c #Conflicts:    1003000 | #Constraints:      64570
2677.61/2685.39	c #Conflicts:    1004000 | #Constraints:      65570
2677.61/2685.39	c #Conflicts:    1005000 | #Constraints:      66570
2677.61/2685.39	c #Conflicts:    1006000 | #Constraints:      67570
2677.61/2685.39	c #Conflicts:    1007000 | #Constraints:      68570
2677.61/2685.39	c #Conflicts:    1008000 | #Constraints:      69570
2677.61/2685.39	c #Conflicts:    1009000 | #Constraints:      70570
2677.61/2685.39	c #Conflicts:    1010000 | #Constraints:      71570
2677.61/2685.39	c #Conflicts:    1011000 | #Constraints:      72570
2677.61/2685.39	c #Conflicts:    1012000 | #Constraints:      73570
2677.61/2685.39	c #Conflicts:    1013000 | #Constraints:      74570
2677.61/2685.39	c #Conflicts:    1014000 | #Constraints:      75570
2677.61/2685.39	c #Conflicts:    1015000 | #Constraints:      76570
2677.61/2685.39	c #Conflicts:    1016000 | #Constraints:      77570
2677.61/2685.39	c #Conflicts:    1017000 | #Constraints:      78570
2677.61/2685.39	c #Conflicts:    1018000 | #Constraints:      79570
2677.61/2685.39	c #Conflicts:    1019000 | #Constraints:      80570
2677.61/2685.39	c #Conflicts:    1020000 | #Constraints:      81570
2677.61/2685.39	c #Conflicts:    1021000 | #Constraints:      82570
2677.61/2685.39	c #Conflicts:    1022000 | #Constraints:      83570
2677.61/2685.39	c #Conflicts:    1023000 | #Constraints:      84570
2677.61/2685.39	c #Conflicts:    1024000 | #Constraints:      85570
2677.61/2685.39	c #Conflicts:    1025000 | #Constraints:      86570
2677.61/2685.39	c #Conflicts:    1026000 | #Constraints:      87570
2677.61/2685.39	c #Conflicts:    1027000 | #Constraints:      88570
2677.61/2685.39	c #Conflicts:    1028000 | #Constraints:      89570
2677.61/2685.39	c #Conflicts:    1029000 | #Constraints:      90570
2677.61/2685.39	c #Conflicts:    1030000 | #Constraints:      91570
2677.61/2685.39	c #Conflicts:    1031000 | #Constraints:      92570
2677.61/2685.39	c #Conflicts:    1032000 | #Constraints:      93570
2677.61/2685.39	c #Conflicts:    1033000 | #Constraints:      94570
2677.61/2685.39	c #Conflicts:    1034000 | #Constraints:      95570
2677.61/2685.39	c #Conflicts:    1035000 | #Constraints:      96570
2677.61/2685.39	c #Conflicts:    1036000 | #Constraints:      97570
2677.61/2685.39	c #Conflicts:    1037000 | #Constraints:      98570
2677.61/2685.39	c #Conflicts:    1038000 | #Constraints:      99570
2677.61/2685.39	c #Conflicts:    1039000 | #Constraints:     100570
2677.61/2685.39	c #Conflicts:    1040000 | #Constraints:     101570
2677.61/2685.39	c #Conflicts:    1041000 | #Constraints:     102570
2677.61/2685.39	c #Conflicts:    1042000 | #Constraints:     103570
2677.61/2685.39	c #Conflicts:    1043000 | #Constraints:     104570
2677.61/2685.39	c #Conflicts:    1044000 | #Constraints:     105570
2677.61/2685.39	c #Conflicts:    1045000 | #Constraints:     106570
2677.61/2685.39	c #Conflicts:    1046000 | #Constraints:     107570
2677.61/2685.39	c #Conflicts:    1047000 | #Constraints:     108570
2677.61/2685.39	c #Conflicts:    1048000 | #Constraints:     109570
2677.61/2685.39	c #Conflicts:    1049000 | #Constraints:     110570
2677.61/2685.39	c #Conflicts:    1050000 | #Constraints:     111570
2677.61/2685.39	c #Conflicts:    1051000 | #Constraints:     112570
2677.61/2685.39	c #Conflicts:    1052000 | #Constraints:     113570
2677.61/2685.39	c #Conflicts:    1053000 | #Constraints:     114570
2677.61/2685.39	c #Conflicts:    1054000 | #Constraints:     115570
2677.61/2685.39	c #Conflicts:    1055000 | #Constraints:     116570
2677.61/2685.39	c #Conflicts:    1056000 | #Constraints:     117570
2677.61/2685.39	c #Conflicts:    1057000 | #Constraints:     118570
2677.61/2685.39	c #Conflicts:    1058000 | #Constraints:     119570
2677.61/2685.39	c #Conflicts:    1059000 | #Constraints:     120570
2677.61/2685.39	c #Conflicts:    1060000 | #Constraints:     121570
2677.61/2685.39	c #Conflicts:    1061000 | #Constraints:     122570
2677.61/2685.39	c #Conflicts:    1062000 | #Constraints:     123570
2677.61/2685.39	c #Conflicts:    1063000 | #Constraints:     124570
2677.61/2685.39	c #Conflicts:    1064000 | #Constraints:     125570
2677.61/2685.39	c #Conflicts:    1065000 | #Constraints:     126571
2677.61/2685.39	c INPROCESSING
2677.61/2685.39	c GARBAGE COLLECT
2677.61/2685.39	c #Conflicts:    1066000 | #Constraints:      73343
2677.61/2685.39	c #Conflicts:    1067000 | #Constraints:      74343
2677.61/2685.39	c #Conflicts:    1068000 | #Constraints:      75343
2677.61/2685.39	c #Conflicts:    1069000 | #Constraints:      76343
2677.61/2685.39	c #Conflicts:    1070000 | #Constraints:      77343
2677.61/2685.39	c #Conflicts:    1071000 | #Constraints:      78343
2677.61/2685.39	c #Conflicts:    1072000 | #Constraints:      79343
2876.03/2884.20	c #Conflicts:    1073000 | #Constraints:      80343
2876.03/2884.20	c #Conflicts:    1074000 | #Constraints:      81343
2876.03/2884.20	c #Conflicts:    1075000 | #Constraints:      82343
2876.03/2884.20	c #Conflicts:    1076000 | #Constraints:      83343
2876.03/2884.20	c #Conflicts:    1077000 | #Constraints:      84343
2876.03/2884.20	c #Conflicts:    1078000 | #Constraints:      85343
2876.03/2884.20	c #Conflicts:    1079000 | #Constraints:      86343
2876.03/2884.20	c #Conflicts:    1080000 | #Constraints:      87343
2876.03/2884.20	c #Conflicts:    1081000 | #Constraints:      88343
2876.03/2884.20	c #Conflicts:    1082000 | #Constraints:      89343
2876.03/2884.20	c #Conflicts:    1083000 | #Constraints:      90343
2876.03/2884.20	c #Conflicts:    1084000 | #Constraints:      91343
2876.03/2884.20	c #Conflicts:    1085000 | #Constraints:      92343
2876.03/2884.20	c #Conflicts:    1086000 | #Constraints:      93343
2876.03/2884.20	c #Conflicts:    1087000 | #Constraints:      94343
2876.03/2884.20	c #Conflicts:    1088000 | #Constraints:      95343
2876.03/2884.20	c #Conflicts:    1089000 | #Constraints:      96343
2876.03/2884.20	c #Conflicts:    1090000 | #Constraints:      97343
2876.03/2884.20	c #Conflicts:    1091000 | #Constraints:      98343
2876.03/2884.20	c INPROCESSING
2876.03/2884.20	c GARBAGE COLLECT
2876.03/2884.20	c #Conflicts:    1092000 | #Constraints:      58852
2876.03/2884.20	c #Conflicts:    1093000 | #Constraints:      59852
2876.03/2884.20	c #Conflicts:    1094000 | #Constraints:      60852
2876.03/2884.20	c #Conflicts:    1095000 | #Constraints:      61852
2876.03/2884.20	c #Conflicts:    1096000 | #Constraints:      62852
2876.03/2884.20	c #Conflicts:    1097000 | #Constraints:      63852
2876.03/2884.20	c #Conflicts:    1098000 | #Constraints:      64852
2876.03/2884.20	c #Conflicts:    1099000 | #Constraints:      65852
2876.03/2884.20	c #Conflicts:    1100000 | #Constraints:      66852
2876.03/2884.20	c #Conflicts:    1101000 | #Constraints:      67852
2876.03/2884.20	c #Conflicts:    1102000 | #Constraints:      68852
2876.03/2884.20	c #Conflicts:    1103000 | #Constraints:      69852
2876.03/2884.20	c #Conflicts:    1104000 | #Constraints:      70852
2876.03/2884.20	c #Conflicts:    1105000 | #Constraints:      71852
2876.03/2884.20	c #Conflicts:    1106000 | #Constraints:      72852
2876.03/2884.20	c #Conflicts:    1107000 | #Constraints:      73852
2876.03/2884.20	c #Conflicts:    1108000 | #Constraints:      74852
2876.03/2884.20	c #Conflicts:    1109000 | #Constraints:      75852
2876.03/2884.20	c #Conflicts:    1110000 | #Constraints:      76852
2876.03/2884.20	c #Conflicts:    1111000 | #Constraints:      77852
2876.03/2884.20	c #Conflicts:    1112000 | #Constraints:      78852
2876.03/2884.20	c #Conflicts:    1113000 | #Constraints:      79852
2876.03/2884.20	c #Conflicts:    1114000 | #Constraints:      80852
2876.03/2884.20	c #Conflicts:    1115000 | #Constraints:      81852
2876.03/2884.20	c #Conflicts:    1116000 | #Constraints:      82852
2876.03/2884.20	c #Conflicts:    1117000 | #Constraints:      83852
2876.03/2884.20	c #Conflicts:    1118000 | #Constraints:      84852
2876.03/2884.20	c INPROCESSING
2876.03/2884.20	c GARBAGE COLLECT
2876.03/2884.20	c #Conflicts:    1119000 | #Constraints:      57028
2876.03/2884.20	c #Conflicts:    1120000 | #Constraints:      58028
2876.03/2884.20	c #Conflicts:    1121000 | #Constraints:      59028
2876.03/2884.20	c #Conflicts:    1122000 | #Constraints:      60028
2876.03/2884.20	c #Conflicts:    1123000 | #Constraints:      61028
2876.03/2884.20	c #Conflicts:    1124000 | #Constraints:      62028
2876.03/2884.20	c #Conflicts:    1125000 | #Constraints:      63028
2876.03/2884.20	c #Conflicts:    1126000 | #Constraints:      64028
2876.03/2884.20	c #Conflicts:    1127000 | #Constraints:      65028
2876.03/2884.20	c #Conflicts:    1128000 | #Constraints:      66028
2876.03/2884.20	c #Conflicts:    1129000 | #Constraints:      67028
2876.03/2884.20	c #Conflicts:    1130000 | #Constraints:      68028
2876.03/2884.20	c #Conflicts:    1131000 | #Constraints:      69028
2876.03/2884.20	c #Conflicts:    1132000 | #Constraints:      70028
2876.03/2884.20	c #Conflicts:    1133000 | #Constraints:      71028
2876.03/2884.20	c #Conflicts:    1134000 | #Constraints:      72028
2876.03/2884.20	c #Conflicts:    1135000 | #Constraints:      73028
2876.03/2884.20	c #Conflicts:    1136000 | #Constraints:      74028
2876.03/2884.20	c #Conflicts:    1137000 | #Constraints:      75028
2876.03/2884.20	c #Conflicts:    1138000 | #Constraints:      76028
2876.03/2884.20	c #Conflicts:    1139000 | #Constraints:      77028
2876.03/2884.20	c #Conflicts:    1140000 | #Constraints:      78028
2876.03/2884.20	c #Conflicts:    1141000 | #Constraints:      79028
2876.03/2884.20	c #Conflicts:    1142000 | #Constraints:      80028
2876.03/2884.20	c #Conflicts:    1143000 | #Constraints:      81028
2876.03/2884.20	c #Conflicts:    1144000 | #Constraints:      82028
2876.03/2884.20	c #Conflicts:    1145000 | #Constraints:      83028
2876.03/2884.20	c #Conflicts:    1146000 | #Constraints:      84028
2876.03/2884.20	c #Conflicts:    1147000 | #Constraints:      85028
2876.03/2884.20	c #Conflicts:    1148000 | #Constraints:      86028
2876.03/2884.20	c #Conflicts:    1149000 | #Constraints:      87028
3316.94/3326.25	c #Conflicts:    1150000 | #Constraints:      88028
3316.94/3326.25	c #Conflicts:    1151000 | #Constraints:      89028
3316.94/3326.25	c #Conflicts:    1152000 | #Constraints:      90028
3316.94/3326.25	c #Conflicts:    1153000 | #Constraints:      91028
3316.94/3326.25	c #Conflicts:    1154000 | #Constraints:      92028
3316.94/3326.25	c #Conflicts:    1155000 | #Constraints:      93028
3316.94/3326.25	c #Conflicts:    1156000 | #Constraints:      94028
3316.94/3326.25	c #Conflicts:    1157000 | #Constraints:      95028
3316.94/3326.25	c #Conflicts:    1158000 | #Constraints:      96028
3316.94/3326.25	c #Conflicts:    1159000 | #Constraints:      97028
3316.94/3326.25	c #Conflicts:    1160000 | #Constraints:      98028
3316.94/3326.25	c #Conflicts:    1161000 | #Constraints:      99028
3316.94/3326.25	c #Conflicts:    1162000 | #Constraints:     100028
3316.94/3326.25	c #Conflicts:    1163000 | #Constraints:     101028
3316.94/3326.25	c #Conflicts:    1164000 | #Constraints:     102028
3316.94/3326.25	c #Conflicts:    1165000 | #Constraints:     103028
3316.94/3326.25	c #Conflicts:    1166000 | #Constraints:     104028
3316.94/3326.25	c #Conflicts:    1167000 | #Constraints:     105028
3316.94/3326.25	c #Conflicts:    1168000 | #Constraints:     106028
3316.94/3326.25	c #Conflicts:    1169000 | #Constraints:     107028
3316.94/3326.25	c #Conflicts:    1170000 | #Constraints:     108028
3316.94/3326.25	c #Conflicts:    1171000 | #Constraints:     109028
3316.94/3326.25	c #Conflicts:    1172000 | #Constraints:     110028
3316.94/3326.25	c #Conflicts:    1173000 | #Constraints:     111028
3316.94/3326.25	c #Conflicts:    1174000 | #Constraints:     112028
3316.94/3326.25	c #Conflicts:    1175000 | #Constraints:     113028
3316.94/3326.25	c #Conflicts:    1176000 | #Constraints:     114028
3316.94/3326.25	c #Conflicts:    1177000 | #Constraints:     115028
3316.94/3326.25	c #Conflicts:    1178000 | #Constraints:     116028
3316.94/3326.25	c #Conflicts:    1179000 | #Constraints:     117028
3316.94/3326.25	c #Conflicts:    1180000 | #Constraints:     118028
3316.94/3326.25	c #Conflicts:    1181000 | #Constraints:     119028
3316.94/3326.25	c #Conflicts:    1182000 | #Constraints:     120028
3316.94/3326.25	c #Conflicts:    1183000 | #Constraints:     121028
3316.94/3326.25	c #Conflicts:    1184000 | #Constraints:     122028
3316.94/3326.25	c #Conflicts:    1185000 | #Constraints:     123028
3316.94/3326.25	c #Conflicts:    1186000 | #Constraints:     124028
3316.94/3326.25	c #Conflicts:    1187000 | #Constraints:     125028
3316.94/3326.25	c #Conflicts:    1188000 | #Constraints:     126028
3316.94/3326.25	c #Conflicts:    1189000 | #Constraints:     127028
3316.94/3326.25	c #Conflicts:    1190000 | #Constraints:     128028
3316.94/3326.25	c #Conflicts:    1191000 | #Constraints:     129028
3316.94/3326.25	c #Conflicts:    1192000 | #Constraints:     130028
3316.94/3326.25	c INPROCESSING
3316.94/3326.25	c GARBAGE COLLECT
3316.94/3326.25	c #Conflicts:    1193000 | #Constraints:      74492
3316.94/3326.25	c #Conflicts:    1194000 | #Constraints:      75492
3316.94/3326.25	c #Conflicts:    1195000 | #Constraints:      76492
3316.94/3326.25	c #Conflicts:    1196000 | #Constraints:      77492
3316.94/3326.25	c #Conflicts:    1197000 | #Constraints:      78492
3316.94/3326.25	c #Conflicts:    1198000 | #Constraints:      79492
3316.94/3326.25	c #Conflicts:    1199000 | #Constraints:      80492
3316.94/3326.25	c #Conflicts:    1200000 | #Constraints:      81492
3316.94/3326.25	c #Conflicts:    1201000 | #Constraints:      82492
3316.94/3326.25	c #Conflicts:    1202000 | #Constraints:      83492
3316.94/3326.25	c #Conflicts:    1203000 | #Constraints:      84492
3316.94/3326.25	c #Conflicts:    1204000 | #Constraints:      85492
3316.94/3326.25	c #Conflicts:    1205000 | #Constraints:      86492
3316.94/3326.25	c #Conflicts:    1206000 | #Constraints:      87492
3316.94/3326.25	c #Conflicts:    1207000 | #Constraints:      88492
3316.94/3326.25	c #Conflicts:    1208000 | #Constraints:      89492
3316.94/3326.25	c #Conflicts:    1209000 | #Constraints:      90492
3316.94/3326.25	c #Conflicts:    1210000 | #Constraints:      91492
3316.94/3326.25	c #Conflicts:    1211000 | #Constraints:      92492
3316.94/3326.25	c #Conflicts:    1212000 | #Constraints:      93492
3316.94/3326.25	c #Conflicts:    1213000 | #Constraints:      94492
3316.94/3326.25	c #Conflicts:    1214000 | #Constraints:      95492
3316.94/3326.25	c #Conflicts:    1215000 | #Constraints:      96492
3316.94/3326.25	c #Conflicts:    1216000 | #Constraints:      97492
3316.94/3326.25	c #Conflicts:    1217000 | #Constraints:      98492
3316.94/3326.25	c #Conflicts:    1218000 | #Constraints:      99492
3316.94/3326.25	c #Conflicts:    1219000 | #Constraints:     100492
3316.94/3326.25	c #Conflicts:    1220000 | #Constraints:     101492
3316.94/3326.25	c INPROCESSING
3316.94/3326.25	c GARBAGE COLLECT
3316.94/3326.25	c #Conflicts:    1221000 | #Constraints:      60489
3316.94/3326.25	c #Conflicts:    1222000 | #Constraints:      61489
3316.94/3326.25	c #Conflicts:    1223000 | #Constraints:      62489
3316.94/3326.25	c #Conflicts:    1224000 | #Constraints:      63489
3316.94/3326.25	c #Conflicts:    1225000 | #Constraints:      64489
3316.94/3326.25	c #Conflicts:    1226000 | #Constraints:      65489
3316.94/3326.25	c #Conflicts:    1227000 | #Constraints:      66489
3551.16/3561.06	c #Conflicts:    1228000 | #Constraints:      67489
3551.16/3561.06	c #Conflicts:    1229000 | #Constraints:      68489
3551.16/3561.06	c #Conflicts:    1230000 | #Constraints:      69489
3551.16/3561.06	c #Conflicts:    1231000 | #Constraints:      70489
3551.16/3561.06	c #Conflicts:    1232000 | #Constraints:      71489
3551.16/3561.06	c #Conflicts:    1233000 | #Constraints:      72489
3551.16/3561.06	c #Conflicts:    1234000 | #Constraints:      73489
3551.16/3561.06	c #Conflicts:    1235000 | #Constraints:      74489
3551.16/3561.06	c #Conflicts:    1236000 | #Constraints:      75489
3551.16/3561.06	c #Conflicts:    1237000 | #Constraints:      76489
3551.16/3561.06	c #Conflicts:    1238000 | #Constraints:      77489
3551.16/3561.06	c #Conflicts:    1239000 | #Constraints:      78489
3551.16/3561.06	c #Conflicts:    1240000 | #Constraints:      79489
3551.16/3561.06	c #Conflicts:    1241000 | #Constraints:      80489
3551.16/3561.06	c #Conflicts:    1242000 | #Constraints:      81489
3551.16/3561.06	c #Conflicts:    1243000 | #Constraints:      82489
3551.16/3561.06	c #Conflicts:    1244000 | #Constraints:      83489
3551.16/3561.06	c #Conflicts:    1245000 | #Constraints:      84489
3551.16/3561.06	c #Conflicts:    1246000 | #Constraints:      85489
3551.16/3561.06	c #Conflicts:    1247000 | #Constraints:      86489
3551.16/3561.06	c #Conflicts:    1248000 | #Constraints:      87489
3551.16/3561.06	c INPROCESSING
3551.16/3561.06	c GARBAGE COLLECT
3551.16/3561.06	c #Conflicts:    1249000 | #Constraints:      59153
3551.16/3561.06	c #Conflicts:    1250000 | #Constraints:      60153
3551.16/3561.06	c #Conflicts:    1251000 | #Constraints:      61153
3551.16/3561.06	c #Conflicts:    1252000 | #Constraints:      62153
3551.16/3561.06	c #Conflicts:    1253000 | #Constraints:      63153
3551.16/3561.06	c #Conflicts:    1254000 | #Constraints:      64153
3551.16/3561.06	c #Conflicts:    1255000 | #Constraints:      65153
3551.16/3561.06	c #Conflicts:    1256000 | #Constraints:      66153
3551.16/3561.06	c #Conflicts:    1257000 | #Constraints:      67153
3551.16/3561.06	c #Conflicts:    1258000 | #Constraints:      68153
3551.16/3561.06	c #Conflicts:    1259000 | #Constraints:      69153
3551.16/3561.06	c #Conflicts:    1260000 | #Constraints:      70153
3551.16/3561.06	c #Conflicts:    1261000 | #Constraints:      71153
3551.16/3561.06	c #Conflicts:    1262000 | #Constraints:      72153
3551.16/3561.06	c #Conflicts:    1263000 | #Constraints:      73153
3551.16/3561.06	c #Conflicts:    1264000 | #Constraints:      74153
3551.16/3561.06	c #Conflicts:    1265000 | #Constraints:      75153
3551.16/3561.06	c #Conflicts:    1266000 | #Constraints:      76153
3551.16/3561.06	c #Conflicts:    1267000 | #Constraints:      77153
3551.16/3561.06	c #Conflicts:    1268000 | #Constraints:      78153
3551.16/3561.06	c #Conflicts:    1269000 | #Constraints:      79153
3551.16/3561.06	c #Conflicts:    1270000 | #Constraints:      80153
3551.16/3561.06	c #Conflicts:    1271000 | #Constraints:      81153
3551.16/3561.06	c #Conflicts:    1272000 | #Constraints:      82153
3551.16/3561.06	c #Conflicts:    1273000 | #Constraints:      83153
3551.16/3561.06	c #Conflicts:    1274000 | #Constraints:      84153
3551.16/3561.06	c #Conflicts:    1275000 | #Constraints:      85153
3551.16/3561.06	c #Conflicts:    1276000 | #Constraints:      86153
3551.16/3561.06	c #Conflicts:    1277000 | #Constraints:      87153
3551.16/3561.06	c #Conflicts:    1278000 | #Constraints:      88153
3551.16/3561.06	c #Conflicts:    1279000 | #Constraints:      89153
3551.16/3561.06	c #Conflicts:    1280000 | #Constraints:      90154
3551.16/3561.06	c #Conflicts:    1281000 | #Constraints:      91154
3551.16/3561.06	c #Conflicts:    1282000 | #Constraints:      92154
3551.16/3561.06	c #Conflicts:    1283000 | #Constraints:      93154
3551.16/3561.06	c #Conflicts:    1284000 | #Constraints:      94154
3551.16/3561.06	c #Conflicts:    1285000 | #Constraints:      95154
3551.16/3561.06	c #Conflicts:    1286000 | #Constraints:      96154
3551.16/3561.06	c #Conflicts:    1287000 | #Constraints:      97154
3551.16/3561.06	c #Conflicts:    1288000 | #Constraints:      98154
3551.16/3561.06	c #Conflicts:    1289000 | #Constraints:      99154
3551.16/3561.06	c #Conflicts:    1290000 | #Constraints:     100154
3551.16/3561.06	c #Conflicts:    1291000 | #Constraints:     101154
3551.16/3561.06	c #Conflicts:    1292000 | #Constraints:     102154
3551.16/3561.06	c #Conflicts:    1293000 | #Constraints:     103154
3551.16/3561.06	c #Conflicts:    1294000 | #Constraints:     104154
3551.16/3561.06	c #Conflicts:    1295000 | #Constraints:     105154
3551.16/3561.06	c #Conflicts:    1296000 | #Constraints:     106154
3551.16/3561.06	c #Conflicts:    1297000 | #Constraints:     107154
3551.16/3561.06	c #Conflicts:    1298000 | #Constraints:     108154
3551.16/3561.06	c #Conflicts:    1299000 | #Constraints:     109154
3551.16/3561.06	c #Conflicts:    1300000 | #Constraints:     110154
3551.16/3561.06	c #Conflicts:    1301000 | #Constraints:     111154
3551.16/3561.06	c #Conflicts:    1302000 | #Constraints:     112154
3551.16/3561.06	c #Conflicts:    1303000 | #Constraints:     113154
3551.16/3561.06	c #Conflicts:    1304000 | #Constraints:     114154
3551.16/3561.06	c #Conflicts:    1305000 | #Constraints:     115154
3600.04/3610.01	c #Conflicts:    1306000 | #Constraints:     116154
3600.04/3610.01	c #Conflicts:    1307000 | #Constraints:     117154
3600.04/3610.01	c #Conflicts:    1308000 | #Constraints:     118154
3600.04/3610.01	c #Conflicts:    1309000 | #Constraints:     119154
3600.04/3610.01	c #Conflicts:    1310000 | #Constraints:     120154
3600.04/3610.01	c #Conflicts:    1311000 | #Constraints:     121154
3600.04/3610.01	c #Conflicts:    1312000 | #Constraints:     122154
3600.04/3610.01	c #Conflicts:    1313000 | #Constraints:     123154
3600.04/3610.01	c #Conflicts:    1314000 | #Constraints:     124154
3600.04/3610.01	c #Conflicts:    1315000 | #Constraints:     125154
3600.04/3610.01	c cpu time 3580.06 s
3600.04/3610.01	c deterministic time 207290526384 2.07e+11
3600.04/3610.01	c optimization time 239.258 s
3600.04/3610.01	c total solve time 3340.61 s
3600.04/3610.01	c core-guided solve time 0 s
3600.04/3610.01	c propagation time 1592.99 s
3600.04/3610.01	c conflict analysis time 1465.5 s
3600.04/3610.01	c propagations 1342255774
3600.04/3610.01	c resolve steps 100464675
3600.04/3610.01	c decisions 18774394
3600.04/3610.01	c conflicts 1315088
3600.04/3610.01	c restarts 2555
3600.04/3610.01	c inprocessing phases 55
3600.04/3610.01	c garbage collections 55 ,( 100.00 )
3600.04/3610.01	c input clauses 16220 ,( 99.18 )
3600.04/3610.01	c input cardinalities 134 ,( 0.82 )
3600.04/3610.01	c input general constraints 0 ,( 0.00 )
3600.04/3610.01	c input average constraint length 6.40
3600.04/3610.01	c input average constraint degree 1.96
3600.04/3610.01	c learned clauses 1007891 ,( 76.64 )
3600.04/3610.01	c learned cardinalities 35232 ,( 2.68 )
3600.04/3610.01	c learned general constraints 271970 ,( 20.68 )
3600.04/3610.01	c learned average constraint length 747.92
3600.04/3610.01	c learned average constraint degree 30492887.48
3600.04/3610.01	c watched  CF 32, 64, 128, Arb: 73033 , 0 , 0 , 0
3600.04/3610.01	c counting CF 32, 64, 128, Arb: 198937 , 0 , 0 , 0
3600.04/3610.01	c watched   constraints 73033 ,( 26.85 ) 
3600.04/3610.01	c counting  constraints 198937 ,( 73.15 ) 
3600.04/3610.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1362315626 , 518042908 , 2173231075 ,( 69304548 , 2103926527 )
3600.04/3610.01	c gcd simplifications 635
3600.04/3610.01	c detected cardinalities 4031
3600.04/3610.01	c weakened non-implied lits 396143639
3600.04/3610.01	c weakened non-implying lits 239826
3600.04/3610.01	c original variables 15991
3600.04/3610.01	c clausal propagations 614099904
3600.04/3610.01	c cardinality propagations 481659011
3600.04/3610.01	c watched propagations 4528375
3600.04/3610.01	c counting propagations 231789935
3600.04/3610.01	c watch lookups 82700412280
3600.04/3610.01	c watch backjump lookups 0
3600.04/3610.01	c watch checks 30669436251
3600.04/3610.01	c propagation checks 86326724791
3600.04/3610.01	c constraint additions 4870191140
3600.04/3610.01	c trail pops 1362332314
3600.04/3610.01	c formula constraints 16354
3600.04/3610.01	c learned constraints 1315081
3600.04/3610.01	c bound constraints 0
3600.04/3610.01	c core-guided constraints 0
3600.04/3610.01	c encountered formula constraints 68138531
3600.04/3610.01	c encountered learned constraints 33640744
3600.04/3610.01	c encountered bound constraints 0
3600.04/3610.01	c encountered core-guided constraints 0
3600.04/3610.01	c LP total time 527.327 s
3600.04/3610.01	c LP solve time 526.75 s
3600.04/3610.01	c LP constraints added 16354
3600.04/3610.01	c LP constraints removed 0
3600.04/3610.01	c LP pivots internal 154439
3600.04/3610.01	c LP pivots root 245000
3600.04/3610.01	c LP calls 15
3600.04/3610.01	c LP optimalities 1
3600.04/3610.01	c LP no pivot count 0
3600.04/3610.01	c LP infeasibilities 6
3600.04/3610.01	c LP valid Farkas constraints 6
3600.04/3610.01	c LP learned Farkas constraints 6
3600.04/3610.01	c LP basis resets 0
3600.04/3610.01	c LP cycling count 0
3600.04/3610.01	c LP singular count 0
3600.04/3610.01	c LP no primal count 0
3600.04/3610.01	c LP no farkas count 0
3600.04/3610.01	c LP other issue count 0
3600.04/3610.01	c LP Gomory cuts 0
3600.04/3610.01	c LP learned cuts 0
3600.04/3610.01	c LP deleted cuts 0
3600.04/3610.01	c LP encountered Gomory constraints 0
3600.04/3610.01	c LP encountered Farkas constraints 473
3600.04/3610.01	c LP encountered learned Farkas constraints 9
3600.04/3610.01	c CG auxiliary variables introduced 0
3600.04/3610.01	c CG solutions found 0
3600.04/3610.01	c CG cores constructed 0
3600.04/3610.01	c CG core cardinality constraints returned 0
3600.04/3610.01	c CG unit cores 0
3600.04/3610.01	c CG single cores 0
3600.04/3610.01	c CG blocks removed during cardinality reduction 0
3600.04/3610.01	c CG first core best 0
3600.04/3610.01	c CG decision core best 0
3600.04/3610.01	c CG core reduction tie 0
3600.04/3610.01	c CG core degree average 0.00
3600.04/3610.01	c CG core slack average 0.00
3600.04/3610.01	c CG core upper bound improvements 0
3600.04/3610.01	c STR number of successful calls 0
3600.04/3610.01	c STR number of unsuccessful calls 0
3600.04/3610.01	c STR number of inconclusive calls 0
3600.04/3610.01	c STR number of successful attempts 0
3600.04/3610.01	c STR number of unsuccessful attempts 0
3600.04/3610.01	c STR number of inconclusive attempts 0
3600.04/3610.01	c STR average degree increase per successful call inf
3600.04/3610.01	c STR average degree increase per successful attempt inf
3600.04/3610.01	c STR total number of conflicts for successful attempts 0
3600.04/3610.01	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.01	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.01	c STR average number of conflicts per successful attempt inf
3600.04/3610.01	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.01	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.01	c AVG.sumWPerc 65.28 
3600.04/3610.01	c bigint constraints 0 
3600.04/3610.01	s UNKNOWN
3600.04/3610.01	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: 63794 MiB (61029 MiB free)
  memory of node 1: 64507 MiB (64030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506728-1751166688/watcher-4506728-1751166688 -o /tmp/evaluation-result-4506728-1751166688/solver-4506728-1751166688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18296 --watchdog 3760 run-dec-break.sh HOME/instance-4506728-1751166688.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=19578, runsolver pid=19572

[startup+0.100068 s]*
/proc/loadavg: 4.13 4.30 4.20 4/254 19590
/proc/meminfo: memFree=128045016/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19580] ppid=19578 vsize=35816 memory=23256 CPUtime=0.09 cores=5,7
/proc/19580/stat : 19580 (pbsuma) R 19578 19578 18283 0 -1 4194304 5633 0 0 0 7 2 0 0 20 0 1 0 32348219 36675584 5782 18446744073709551615 4210688 4653049 140723027640496 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 11526144 140723027646819 140723027647026 140723027647026 140723027652591 0
/proc/19580/statm: 8954 5782 992 108 0 6362 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40008 KiB
Current children cumulated memory: 26200 KiB

[startup+0.213661 s]*
/proc/loadavg: 4.13 4.30 4.20 5/252 19591
/proc/meminfo: memFree=128038212/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=59168 memory=12160 CPUtime=0.01 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 1269 0 0 0 1 0 0 0 20 0 1 0 32348236 60588032 3040 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 14792 3040 1984 1147 0 2219 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 63360 KiB
Current children cumulated memory: 15104 KiB

[startup+0.312631 s]*
/proc/loadavg: 4.13 4.30 4.20 5/251 19597
/proc/meminfo: memFree=128037136/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=62288 memory=15488 CPUtime=0.1 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 2129 0 0 0 7 3 0 0 20 0 1 0 32348236 63782912 3872 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 15572 3872 1984 1147 0 2999 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 66480 KiB
Current children cumulated memory: 18432 KiB

[startup+0.700352 s]
/proc/loadavg: 4.13 4.30 4.20 5/250 19610
/proc/meminfo: memFree=128054444/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=96380 memory=47876 CPUtime=0.46 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 10353 0 0 0 38 8 0 0 20 0 1 0 32348236 98693120 11969 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 24095 11969 2272 1147 0 11522 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 100572 KiB
Current children cumulated memory: 50820 KiB

[startup+1.50043 s]
/proc/loadavg: 4.13 4.30 4.20 5/255 19624
/proc/meminfo: memFree=128036224/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=97036 memory=49284 CPUtime=1.26 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 10685 0 0 0 117 9 0 0 20 0 1 0 32348236 99364864 12321 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 24259 12321 2304 1147 0 11686 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 52228 KiB

[startup+3.11338 s]
/proc/loadavg: 4.20 4.32 4.21 5/255 19624
/proc/meminfo: memFree=128008048/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=98604 memory=50820 CPUtime=2.87 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 11076 0 0 0 277 10 0 0 20 0 1 0 32348236 100970496 12705 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 24651 12705 2304 1147 0 12078 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 102796 KiB
Current children cumulated memory: 53764 KiB

[startup+6.30038 s]
/proc/loadavg: 4.20 4.32 4.21 5/255 19624
/proc/meminfo: memFree=127990936/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=103276 memory=60228 CPUtime=6.05 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 12863 0 0 0 589 16 0 0 20 0 1 0 32348236 105754624 15057 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 25819 15057 2368 1147 0 13246 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 107468 KiB
Current children cumulated memory: 63172 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.31 4.20 5/255 19624
/proc/meminfo: memFree=127967184/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=113148 memory=70084 CPUtime=12.43 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 14843 0 0 0 1215 28 0 0 20 0 1 0 32348236 115863552 17521 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 28287 17521 2368 1147 0 15714 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 117340 KiB
Current children cumulated memory: 73028 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.29 4.20 5/255 19624
/proc/meminfo: memFree=127935948/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=124476 memory=77380 CPUtime=25.2 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 16659 0 0 0 2475 45 0 0 20 0 1 0 32348236 127463424 19345 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 31119 19345 2368 1147 0 18546 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 128668 KiB
Current children cumulated memory: 80324 KiB

[startup+51.1134 s]
/proc/loadavg: 4.09 4.27 4.19 5/255 19625
/proc/meminfo: memFree=127886364/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=160384 memory=109560 CPUtime=50.75 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 22151 0 0 0 4989 86 0 0 20 0 1 0 32348236 164233216 27390 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 40096 27390 2368 1147 0 27523 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 164576 KiB
Current children cumulated memory: 112504 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.24 4.18 5/254 19627
/proc/meminfo: memFree=127774188/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=233296 memory=157520 CPUtime=101.81 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 28518 0 0 0 10040 141 0 0 20 0 1 0 32348236 238895104 39380 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 58324 39380 2368 1147 0 45751 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 237488 KiB
Current children cumulated memory: 160464 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.21 4.18 5/254 19630
/proc/meminfo: memFree=127715772/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=255164 memory=178768 CPUtime=161.66 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 33851 0 0 0 15964 202 0 0 20 0 1 0 32348236 261287936 44692 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 63791 44692 2368 1147 0 51218 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 259356 KiB
Current children cumulated memory: 181712 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/254 19632
/proc/meminfo: memFree=127677236/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=268432 memory=200144 CPUtime=221.51 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 37163 0 0 0 21874 277 0 0 20 0 1 0 32348236 274874368 50036 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 67108 50036 2368 1147 0 54535 0

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

/proc/19591/statm: 253393 220869 2368 1147 0 240820 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 1017764 KiB
Current children cumulated memory: 886420 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/255 19876
/proc/meminfo: memFree=127017788/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1013572 memory=883476 CPUtime=3093.44 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 99873 0 0 0 307580 1764 0 0 20 0 1 0 32348236 1037897728 220869 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 253393 220869 2368 1147 0 240820 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 1017764 KiB
Current children cumulated memory: 886420 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/255 19879
/proc/meminfo: memFree=126989188/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1016860 memory=884756 CPUtime=3153.29 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 100189 0 0 0 313549 1780 0 0 20 0 1 0 32348236 1041264640 221189 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 254215 221189 2368 1147 0 241642 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 1021052 KiB
Current children cumulated memory: 887700 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/256 19882
/proc/meminfo: memFree=126940276/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1019684 memory=887700 CPUtime=3213.14 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 100977 0 0 0 319520 1794 0 0 20 0 1 0 32348236 1044156416 221925 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 254921 221925 2368 1147 0 242348 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 1023876 KiB
Current children cumulated memory: 890644 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/256 19884
/proc/meminfo: memFree=126877736/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1019684 memory=887828 CPUtime=3272.99 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 101147 0 0 0 325473 1826 0 0 20 0 1 0 32348236 1044156416 221957 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 254921 221957 2368 1147 0 242348 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 1023876 KiB
Current children cumulated memory: 890772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/257 19889
/proc/meminfo: memFree=126871736/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1019684 memory=887828 CPUtime=3332.85 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 101176 0 0 0 331433 1852 0 0 20 0 1 0 32348236 1044156416 221957 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 254921 221957 2368 1147 0 242348 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 1023876 KiB
Current children cumulated memory: 890772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.74 4.29 4.21 5/257 19891
/proc/meminfo: memFree=126780604/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1019684 memory=887828 CPUtime=3392.69 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 101176 0 0 0 337371 1898 0 0 20 0 1 0 32348236 1044156416 221957 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 254921 221957 2368 1147 0 242348 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 1023876 KiB
Current children cumulated memory: 890772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.30 4.22 5/256 19895
/proc/meminfo: memFree=126773864/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1020720 memory=888468 CPUtime=3452.55 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 101350 0 0 0 343332 1923 0 0 20 0 1 0 32348236 1045217280 222117 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 255180 222117 2368 1147 0 242607 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 1024912 KiB
Current children cumulated memory: 891412 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.26 4.21 5/255 19899
/proc/meminfo: memFree=126772800/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1021012 memory=889108 CPUtime=3512.41 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 101528 0 0 0 349290 1951 0 0 20 0 1 0 32348236 1045516288 222277 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 255253 222277 2368 1147 0 242680 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 1025204 KiB
Current children cumulated memory: 892052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/255 19902
/proc/meminfo: memFree=126775184/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1025108 memory=892308 CPUtime=3572.25 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 102338 0 0 0 355248 1977 0 0 20 0 1 0 32348236 1049710592 223077 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 256277 223077 2368 1147 0 243704 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 1029300 KiB
Current children cumulated memory: 895252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.14 4.22 4.19 5/255 19904
/proc/meminfo: memFree=126777048/131382120 swapFree=33010684/33010684
[pid=19578] ppid=19572 vsize=4192 memory=2944 CPUtime=0.15 cores=5,7
/proc/19578/stat : 19578 (run-dec-break.s) S 19572 19578 18283 0 -1 4194304 236 10394 0 0 0 0 12 3 20 0 1 0 32348218 4292608 736 18446744073709551615 94184220618752 94184221513285 140731400472064 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184221752336 94184221800080 94184240754688 140731400477025 140731400477154 140731400477154 140731400482756 0
/proc/19578/statm: 1048 736 672 219 0 110 0
[pid=19591] ppid=19578 vsize=1027176 memory=893844 CPUtime=3599.89 cores=5,7
/proc/19591/stat : 19591 (roundingsat) R 19578 19578 18283 0 -1 4194304 102722 0 0 0 358006 1983 0 0 20 0 1 0 32348236 1051828224 223461 18446744073709551615 4227072 8923433 140725269559984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32612352 140725269567812 140725269568040 140725269568040 140725269573610 0
/proc/19591/statm: 256794 223461 2368 1147 0 244221 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1031368 KiB
Current children cumulated memory: 896788 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3580.2 s, system=19.8867 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): 3610.02
CPU time (s): 3600.08
CPU user time (s): 3580.2
CPU system time (s): 19.8867
CPU usage (%): 99.7246
Max. virtual memory (cumulated for all children) (KiB): 1031368
Max. memory (cumulated for all children) (KiB): 896788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.2
system time used= 19.8867
maximum resident set size= 894228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 365
involuntary context switches= 3028


# summary of solver processes directly reported to runsolver:
#   pid: 19578,19591
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3580.2
#   total CPU system time (s): 19.8867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6453 second user time and 36.7835 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 05:11:28
IDJOB=4506728
IDBENCH=158262
IDSOLVER=3357
FILE ID=nodeC006/4506728-1751166688
RUNJOBID= nodeC006-1751159447-18296
SLURM_JOB_ID= 9587503
Free space on /tmp= 432908 MiB

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

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=436258652

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127538860 kB
MemAvailable:   127308160 kB
Buffers:            3280 kB
Cached:           580892 kB
SwapCached:            0 kB
Active:          2975048 kB
Inactive:         333120 kB
Active(anon):    2741964 kB
Inactive(anon):        0 kB
Active(file):     233084 kB
Inactive(file):   333120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8468 kB
Writeback:             4 kB
AnonPages:       2721812 kB
Mapped:           115952 kB
Shmem:             17960 kB
KReclaimable:      85060 kB
Slab:             163940 kB
SReclaimable:      85060 kB
SUnreclaim:        78880 kB
KernelStack:        4096 kB
PageTables:         8732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3348084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2412544 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC006 at 2025-06-29 06:11:39