Trace number 4507089

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22ad? (TO) 3600.07 3688.07

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
MD5SUMde861f201885d7430b03c8868c66597b
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 variables17850
Total number of constraints18152
Number of constraints which are clauses18002
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint150
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 151
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4507089-1751174039.opb'
0.00/0.03	c 	read 1.22MB  (19.00ms)
0.00/0.03	c	 [cnf: #variables 17850 #clauses 18152 #duplicates 0 #arr 116728]
0.00/0.03	c output proof to 'PROOFDIR/proof-4507089-1751174039'
0.00/0.03	c 
0.00/0.03	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 2700] (26.70ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.06	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06	c 	 (4.93ms)
0.00/0.06	c 
0.00/0.06	c detect symmetries on remainder
0.00/0.06	c 	[graph: #vertices 89552 #edges 340556]
0.00/0.06	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08	c 	 [group: #symmetries 4.80*10^1 #generators 5] (20.45ms)
0.00/0.08	c 
0.00/0.08	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08	c 	(0.07ms)
0.00/0.08	c 
0.00/0.08	c finalize break order and special generators
0.00/0.08	c 
0.00/0.08	c add generic predicates (break_depth=10)
0.00/0.08	c 	added predicates for 5 generators (0.05ms)
0.00/0.09	c 
0.00/0.09	c generation finished
0.00/0.09	c 	[sbp: #constraints 140 #add_vars 45]
0.00/0.09	c 
0.00/0.09	c write result to 'HOME/instance-4507089-1751174039.opb.pre'
0.00/0.10	c 	wrote 1.25MB (2.98ms)
0.00/0.10	c ------------------------------------------------------------------
0.00/0.10	c                  26.70ms 30.05% approx_orbits
0.00/0.10	c                  20.45ms 23.02% detect_generic
0.00/0.10	c                  19.00ms 21.38% parse
0.00/0.10	c                  13.99ms 15.74% other
0.00/0.10	c                   4.93ms  5.55% detect_special
0.00/0.10	c                   2.98ms  3.36% output
0.00/0.10	c                   0.67ms  0.76% finalize_order
0.00/0.10	c                   0.07ms  0.08% optimize_gens
0.00/0.10	c                   0.05ms  0.06% break_generic
0.00/0.10	c         ───────────────────────────────────────────────
0.00/0.10	c                  88.86ms   100% total
0.00/0.10	c ------------------------------------------------------------------
0.08/0.11	c RoundingSat 2
0.08/0.11	c branch pb25
0.08/0.11	c commit 63f22ad
0.17/0.27	c #variables 17895 #constraints 18290
111.42/111.94	c #Conflicts:       1000 | #Constraints:      19289
111.42/111.94	c #Conflicts:       2000 | #Constraints:      20289
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:       3000 | #Constraints:      19538
111.42/111.94	c #Conflicts:       4000 | #Constraints:      20538
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:       5000 | #Constraints:      20015
111.42/111.94	c #Conflicts:       6000 | #Constraints:      21015
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:       7000 | #Constraints:      20105
111.42/111.94	c #Conflicts:       8000 | #Constraints:      21105
111.42/111.94	c #Conflicts:       9000 | #Constraints:      22105
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      10000 | #Constraints:      20840
111.42/111.94	c #Conflicts:      11000 | #Constraints:      21840
111.42/111.94	c #Conflicts:      12000 | #Constraints:      22840
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      13000 | #Constraints:      21376
111.42/111.94	c #Conflicts:      14000 | #Constraints:      22376
111.42/111.94	c #Conflicts:      15000 | #Constraints:      23376
111.42/111.94	c #Conflicts:      16000 | #Constraints:      24376
111.42/111.94	c #Conflicts:      17000 | #Constraints:      25376
111.42/111.94	c #Conflicts:      18000 | #Constraints:      26376
111.42/111.94	c #Conflicts:      19000 | #Constraints:      27376
111.42/111.94	c #Conflicts:      20000 | #Constraints:      28376
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      21000 | #Constraints:      24022
111.42/111.94	c #Conflicts:      22000 | #Constraints:      25022
111.42/111.94	c #Conflicts:      23000 | #Constraints:      26022
111.42/111.94	c #Conflicts:      24000 | #Constraints:      27022
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      25000 | #Constraints:      23363
111.42/111.94	c #Conflicts:      26000 | #Constraints:      24363
111.42/111.94	c #Conflicts:      27000 | #Constraints:      25363
111.42/111.94	c #Conflicts:      28000 | #Constraints:      26363
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      29000 | #Constraints:      22991
111.42/111.94	c #Conflicts:      30000 | #Constraints:      23991
111.42/111.94	c #Conflicts:      31000 | #Constraints:      24991
111.42/111.94	c #Conflicts:      32000 | #Constraints:      25991
111.42/111.94	c #Conflicts:      33000 | #Constraints:      26991
111.42/111.94	c #Conflicts:      34000 | #Constraints:      27991
111.42/111.94	c #Conflicts:      35000 | #Constraints:      28991
111.42/111.94	c #Conflicts:      36000 | #Constraints:      29991
111.42/111.94	c #Conflicts:      37000 | #Constraints:      30991
111.42/111.94	c #Conflicts:      38000 | #Constraints:      31991
111.42/111.94	c #Conflicts:      39000 | #Constraints:      32991
111.42/111.94	c #Conflicts:      40000 | #Constraints:      33991
111.42/111.94	c #Conflicts:      41000 | #Constraints:      34991
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      42000 | #Constraints:      27408
111.42/111.94	c #Conflicts:      43000 | #Constraints:      28408
111.42/111.94	c #Conflicts:      44000 | #Constraints:      29408
111.42/111.94	c #Conflicts:      45000 | #Constraints:      30408
111.42/111.94	c #Conflicts:      46000 | #Constraints:      31408
111.42/111.94	c #Conflicts:      47000 | #Constraints:      32408
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      48000 | #Constraints:      26392
111.42/111.94	c #Conflicts:      49000 | #Constraints:      27392
111.42/111.94	c #Conflicts:      50000 | #Constraints:      28392
111.42/111.94	c #Conflicts:      51000 | #Constraints:      29392
111.42/111.94	c #Conflicts:      52000 | #Constraints:      30392
111.42/111.94	c #Conflicts:      53000 | #Constraints:      31392
111.42/111.94	c #Conflicts:      54000 | #Constraints:      32392
111.42/111.94	c #Conflicts:      55000 | #Constraints:      33392
111.42/111.94	c #Conflicts:      56000 | #Constraints:      34392
111.42/111.94	c #Conflicts:      57000 | #Constraints:      35392
111.42/111.94	c #Conflicts:      58000 | #Constraints:      36392
111.42/111.94	c #Conflicts:      59000 | #Constraints:      37392
111.42/111.94	c #Conflicts:      60000 | #Constraints:      38392
111.42/111.94	c #Conflicts:      61000 | #Constraints:      39392
111.42/111.94	c #Conflicts:      62000 | #Constraints:      40392
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      63000 | #Constraints:      30125
111.42/111.94	c #Conflicts:      64000 | #Constraints:      31125
111.42/111.94	c #Conflicts:      65000 | #Constraints:      32125
111.42/111.94	c #Conflicts:      66000 | #Constraints:      33125
111.42/111.94	c #Conflicts:      67000 | #Constraints:      34125
111.42/111.94	c #Conflicts:      68000 | #Constraints:      35125
111.42/111.94	c #Conflicts:      69000 | #Constraints:      36125
111.42/111.94	c INPROCESSING
111.42/111.94	c GARBAGE COLLECT
111.42/111.94	c #Conflicts:      70000 | #Constraints:      28034
111.42/111.94	c #Conflicts:      71000 | #Constraints:      29034
111.42/111.94	c #Conflicts:      72000 | #Constraints:      30034
225.72/230.49	c #Conflicts:      73000 | #Constraints:      31034
225.72/230.49	c #Conflicts:      74000 | #Constraints:      32034
225.72/230.49	c #Conflicts:      75000 | #Constraints:      33034
225.72/230.49	c #Conflicts:      76000 | #Constraints:      34034
225.72/230.49	c #Conflicts:      77000 | #Constraints:      35034
225.72/230.49	c #Conflicts:      78000 | #Constraints:      36034
225.72/230.49	c #Conflicts:      79000 | #Constraints:      37034
225.72/230.49	c #Conflicts:      80000 | #Constraints:      38034
225.72/230.49	c #Conflicts:      81000 | #Constraints:      39034
225.72/230.49	c #Conflicts:      82000 | #Constraints:      40034
225.72/230.49	c #Conflicts:      83000 | #Constraints:      41034
225.72/230.49	c #Conflicts:      84000 | #Constraints:      42034
225.72/230.49	c #Conflicts:      85000 | #Constraints:      43034
225.72/230.49	c #Conflicts:      86000 | #Constraints:      44034
225.72/230.49	c #Conflicts:      87000 | #Constraints:      45034
225.72/230.49	c #Conflicts:      88000 | #Constraints:      46034
225.72/230.49	c INPROCESSING
225.72/230.49	c GARBAGE COLLECT
225.72/230.49	c #Conflicts:      89000 | #Constraints:      33202
225.72/230.49	c #Conflicts:      90000 | #Constraints:      34202
225.72/230.49	c #Conflicts:      91000 | #Constraints:      35202
225.72/230.49	c #Conflicts:      92000 | #Constraints:      36202
225.72/230.49	c #Conflicts:      93000 | #Constraints:      37202
225.72/230.49	c #Conflicts:      94000 | #Constraints:      38202
225.72/230.49	c #Conflicts:      95000 | #Constraints:      39202
225.72/230.49	c #Conflicts:      96000 | #Constraints:      40202
225.72/230.49	c INPROCESSING
225.72/230.49	c GARBAGE COLLECT
225.72/230.49	c #Conflicts:      97000 | #Constraints:      30215
225.72/230.49	c #Conflicts:      98000 | #Constraints:      31215
225.72/230.49	c #Conflicts:      99000 | #Constraints:      32215
225.72/230.49	c #Conflicts:     100000 | #Constraints:      33215
225.72/230.49	c #Conflicts:     101000 | #Constraints:      34216
225.72/230.49	c #Conflicts:     102000 | #Constraints:      35216
225.72/230.49	c #Conflicts:     103000 | #Constraints:      36216
225.72/230.49	c #Conflicts:     104000 | #Constraints:      37216
225.72/230.49	c #Conflicts:     105000 | #Constraints:      38216
225.72/230.49	c #Conflicts:     106000 | #Constraints:      39216
225.72/230.49	c #Conflicts:     107000 | #Constraints:      40216
225.72/230.49	c #Conflicts:     108000 | #Constraints:      41216
225.72/230.49	c #Conflicts:     109000 | #Constraints:      42216
225.72/230.49	c #Conflicts:     110000 | #Constraints:      43216
225.72/230.49	c #Conflicts:     111000 | #Constraints:      44216
225.72/230.49	c #Conflicts:     112000 | #Constraints:      45216
225.72/230.49	c #Conflicts:     113000 | #Constraints:      46216
225.72/230.49	c #Conflicts:     114000 | #Constraints:      47216
225.72/230.49	c #Conflicts:     115000 | #Constraints:      48216
225.72/230.49	c #Conflicts:     116000 | #Constraints:      49216
225.72/230.49	c #Conflicts:     117000 | #Constraints:      50216
225.72/230.49	c #Conflicts:     118000 | #Constraints:      51216
225.72/230.49	c INPROCESSING
225.72/230.49	c GARBAGE COLLECT
225.72/230.49	c #Conflicts:     119000 | #Constraints:      35816
225.72/230.49	c #Conflicts:     120000 | #Constraints:      36816
225.72/230.49	c #Conflicts:     121000 | #Constraints:      37816
225.72/230.49	c #Conflicts:     122000 | #Constraints:      38816
225.72/230.49	c #Conflicts:     123000 | #Constraints:      39816
225.72/230.49	c #Conflicts:     124000 | #Constraints:      40816
225.72/230.49	c #Conflicts:     125000 | #Constraints:      41816
225.72/230.49	c #Conflicts:     126000 | #Constraints:      42816
225.72/230.49	c #Conflicts:     127000 | #Constraints:      43816
225.72/230.49	c #Conflicts:     128000 | #Constraints:      44816
225.72/230.49	c INPROCESSING
225.72/230.49	c GARBAGE COLLECT
225.72/230.49	c #Conflicts:     129000 | #Constraints:      33150
225.72/230.49	c #Conflicts:     130000 | #Constraints:      34150
225.72/230.49	c #Conflicts:     131000 | #Constraints:      35150
225.72/230.49	c #Conflicts:     132000 | #Constraints:      36150
225.72/230.49	c #Conflicts:     133000 | #Constraints:      37150
225.72/230.49	c #Conflicts:     134000 | #Constraints:      38150
225.72/230.49	c #Conflicts:     135000 | #Constraints:      39150
225.72/230.49	c #Conflicts:     136000 | #Constraints:      40150
225.72/230.49	c #Conflicts:     137000 | #Constraints:      41150
225.72/230.49	c #Conflicts:     138000 | #Constraints:      42150
225.72/230.49	c #Conflicts:     139000 | #Constraints:      43150
225.72/230.49	c #Conflicts:     140000 | #Constraints:      44150
225.72/230.49	c #Conflicts:     141000 | #Constraints:      45150
225.72/230.49	c #Conflicts:     142000 | #Constraints:      46150
225.72/230.49	c #Conflicts:     143000 | #Constraints:      47150
225.72/230.49	c #Conflicts:     144000 | #Constraints:      48150
225.72/230.49	c #Conflicts:     145000 | #Constraints:      49150
225.72/230.49	c #Conflicts:     146000 | #Constraints:      50150
225.72/230.49	c #Conflicts:     147000 | #Constraints:      51150
225.72/230.49	c #Conflicts:     148000 | #Constraints:      52150
351.78/357.76	c #Conflicts:     149000 | #Constraints:      53150
351.78/357.76	c #Conflicts:     150000 | #Constraints:      54150
351.78/357.76	c #Conflicts:     151000 | #Constraints:      55150
351.78/357.76	c #Conflicts:     152000 | #Constraints:      56150
351.78/357.76	c #Conflicts:     153000 | #Constraints:      57150
351.78/357.76	c INPROCESSING
351.78/357.76	c GARBAGE COLLECT
351.78/357.76	c #Conflicts:     154000 | #Constraints:      39101
351.78/357.76	c #Conflicts:     155000 | #Constraints:      40101
351.78/357.76	c #Conflicts:     156000 | #Constraints:      41101
351.78/357.76	c #Conflicts:     157000 | #Constraints:      42101
351.78/357.76	c #Conflicts:     158000 | #Constraints:      43101
351.78/357.76	c #Conflicts:     159000 | #Constraints:      44101
351.78/357.76	c #Conflicts:     160000 | #Constraints:      45101
351.78/357.76	c #Conflicts:     161000 | #Constraints:      46101
351.78/357.76	c #Conflicts:     162000 | #Constraints:      47101
351.78/357.76	c #Conflicts:     163000 | #Constraints:      48101
351.78/357.76	c INPROCESSING
351.78/357.76	c GARBAGE COLLECT
351.78/357.76	c #Conflicts:     164000 | #Constraints:      35000
351.78/357.76	c #Conflicts:     165000 | #Constraints:      36000
351.78/357.76	c #Conflicts:     166000 | #Constraints:      37000
351.78/357.76	c #Conflicts:     167000 | #Constraints:      38000
351.78/357.76	c #Conflicts:     168000 | #Constraints:      39000
351.78/357.76	c #Conflicts:     169000 | #Constraints:      40000
351.78/357.76	c #Conflicts:     170000 | #Constraints:      41000
351.78/357.76	c #Conflicts:     171000 | #Constraints:      42000
351.78/357.76	c #Conflicts:     172000 | #Constraints:      43000
351.78/357.76	c #Conflicts:     173000 | #Constraints:      44000
351.78/357.76	c #Conflicts:     174000 | #Constraints:      45000
351.78/357.76	c #Conflicts:     175000 | #Constraints:      46000
351.78/357.76	c #Conflicts:     176000 | #Constraints:      47000
351.78/357.76	c #Conflicts:     177000 | #Constraints:      48000
351.78/357.76	c #Conflicts:     178000 | #Constraints:      49000
351.78/357.76	c #Conflicts:     179000 | #Constraints:      50000
351.78/357.76	c #Conflicts:     180000 | #Constraints:      51000
351.78/357.76	c #Conflicts:     181000 | #Constraints:      52000
351.78/357.76	c #Conflicts:     182000 | #Constraints:      53000
351.78/357.76	c #Conflicts:     183000 | #Constraints:      54000
351.78/357.76	c #Conflicts:     184000 | #Constraints:      55000
351.78/357.76	c #Conflicts:     185000 | #Constraints:      56000
351.78/357.76	c #Conflicts:     186000 | #Constraints:      57000
351.78/357.76	c #Conflicts:     187000 | #Constraints:      58000
351.78/357.76	c #Conflicts:     188000 | #Constraints:      59000
351.78/357.76	c #Conflicts:     189000 | #Constraints:      60000
351.78/357.76	c #Conflicts:     190000 | #Constraints:      61000
351.78/357.76	c #Conflicts:     191000 | #Constraints:      62000
351.78/357.76	c INPROCESSING
351.78/357.76	c GARBAGE COLLECT
351.78/357.76	c #Conflicts:     192000 | #Constraints:      41135
351.78/357.76	c #Conflicts:     193000 | #Constraints:      42135
351.78/357.76	c #Conflicts:     194000 | #Constraints:      43135
351.78/357.76	c #Conflicts:     195000 | #Constraints:      44135
351.78/357.76	c #Conflicts:     196000 | #Constraints:      45135
351.78/357.76	c #Conflicts:     197000 | #Constraints:      46135
351.78/357.76	c #Conflicts:     198000 | #Constraints:      47135
351.78/357.76	c #Conflicts:     199000 | #Constraints:      48135
351.78/357.76	c #Conflicts:     200000 | #Constraints:      49135
351.78/357.76	c #Conflicts:     201000 | #Constraints:      50135
351.78/357.76	c #Conflicts:     202000 | #Constraints:      51135
351.78/357.76	c #Conflicts:     203000 | #Constraints:      52135
351.78/357.76	c #Conflicts:     204000 | #Constraints:      53135
351.78/357.76	c INPROCESSING
351.78/357.76	c GARBAGE COLLECT
351.78/357.76	c #Conflicts:     205000 | #Constraints:      38010
351.78/357.76	c #Conflicts:     206000 | #Constraints:      39010
351.78/357.76	c #Conflicts:     207000 | #Constraints:      40010
351.78/357.76	c #Conflicts:     208000 | #Constraints:      41010
351.78/357.76	c #Conflicts:     209000 | #Constraints:      42010
351.78/357.76	c #Conflicts:     210000 | #Constraints:      43010
351.78/357.76	c #Conflicts:     211000 | #Constraints:      44010
351.78/357.76	c #Conflicts:     212000 | #Constraints:      45010
351.78/357.76	c #Conflicts:     213000 | #Constraints:      46010
351.78/357.76	c #Conflicts:     214000 | #Constraints:      47010
351.78/357.76	c #Conflicts:     215000 | #Constraints:      48010
351.78/357.76	c #Conflicts:     216000 | #Constraints:      49010
351.78/357.76	c #Conflicts:     217000 | #Constraints:      50010
351.78/357.76	c #Conflicts:     218000 | #Constraints:      51010
351.78/357.76	c #Conflicts:     219000 | #Constraints:      52010
351.78/357.76	c #Conflicts:     220000 | #Constraints:      53010
351.78/357.76	c #Conflicts:     221000 | #Constraints:      54010
351.78/357.76	c #Conflicts:     222000 | #Constraints:      55010
351.78/357.76	c #Conflicts:     223000 | #Constraints:      56010
351.78/357.76	c #Conflicts:     224000 | #Constraints:      57010
547.02/553.67	c #Conflicts:     225000 | #Constraints:      58010
547.02/553.67	c #Conflicts:     226000 | #Constraints:      59010
547.02/553.67	c #Conflicts:     227000 | #Constraints:      60010
547.02/553.67	c #Conflicts:     228000 | #Constraints:      61010
547.02/553.67	c #Conflicts:     229000 | #Constraints:      62010
547.02/553.67	c #Conflicts:     230000 | #Constraints:      63010
547.02/553.67	c #Conflicts:     231000 | #Constraints:      64010
547.02/553.67	c #Conflicts:     232000 | #Constraints:      65010
547.02/553.67	c #Conflicts:     233000 | #Constraints:      66010
547.02/553.67	c #Conflicts:     234000 | #Constraints:      67010
547.02/553.67	c #Conflicts:     235000 | #Constraints:      68010
547.02/553.67	c INPROCESSING
547.02/553.67	c GARBAGE COLLECT
547.02/553.67	c #Conflicts:     236000 | #Constraints:      44485
547.02/553.67	c #Conflicts:     237000 | #Constraints:      45485
547.02/553.67	c #Conflicts:     238000 | #Constraints:      46485
547.02/553.67	c #Conflicts:     239000 | #Constraints:      47485
547.02/553.67	c #Conflicts:     240000 | #Constraints:      48485
547.02/553.67	c #Conflicts:     241000 | #Constraints:      49485
547.02/553.67	c #Conflicts:     242000 | #Constraints:      50485
547.02/553.67	c #Conflicts:     243000 | #Constraints:      51485
547.02/553.67	c #Conflicts:     244000 | #Constraints:      52485
547.02/553.67	c #Conflicts:     245000 | #Constraints:      53485
547.02/553.67	c #Conflicts:     246000 | #Constraints:      54485
547.02/553.67	c #Conflicts:     247000 | #Constraints:      55485
547.02/553.67	c #Conflicts:     248000 | #Constraints:      56485
547.02/553.67	c INPROCESSING
547.02/553.67	c GARBAGE COLLECT
547.02/553.67	c #Conflicts:     249000 | #Constraints:      39634
547.02/553.67	c #Conflicts:     250000 | #Constraints:      40634
547.02/553.67	c #Conflicts:     251000 | #Constraints:      41634
547.02/553.67	c #Conflicts:     252000 | #Constraints:      42634
547.02/553.67	c #Conflicts:     253000 | #Constraints:      43634
547.02/553.67	c #Conflicts:     254000 | #Constraints:      44634
547.02/553.67	c #Conflicts:     255000 | #Constraints:      45634
547.02/553.67	c #Conflicts:     256000 | #Constraints:      46634
547.02/553.67	c #Conflicts:     257000 | #Constraints:      47634
547.02/553.67	c #Conflicts:     258000 | #Constraints:      48634
547.02/553.67	c #Conflicts:     259000 | #Constraints:      49634
547.02/553.67	c #Conflicts:     260000 | #Constraints:      50634
547.02/553.67	c #Conflicts:     261000 | #Constraints:      51634
547.02/553.67	c #Conflicts:     262000 | #Constraints:      52635
547.02/553.67	c #Conflicts:     263000 | #Constraints:      53635
547.02/553.67	c #Conflicts:     264000 | #Constraints:      54635
547.02/553.67	c #Conflicts:     265000 | #Constraints:      55635
547.02/553.67	c #Conflicts:     266000 | #Constraints:      56635
547.02/553.67	c #Conflicts:     267000 | #Constraints:      57635
547.02/553.67	c #Conflicts:     268000 | #Constraints:      58635
547.02/553.67	c #Conflicts:     269000 | #Constraints:      59635
547.02/553.67	c #Conflicts:     270000 | #Constraints:      60635
547.02/553.67	c #Conflicts:     271000 | #Constraints:      61635
547.02/553.67	c #Conflicts:     272000 | #Constraints:      62635
547.02/553.67	c #Conflicts:     273000 | #Constraints:      63635
547.02/553.67	c #Conflicts:     274000 | #Constraints:      64635
547.02/553.67	c #Conflicts:     275000 | #Constraints:      65635
547.02/553.67	c #Conflicts:     276000 | #Constraints:      66635
547.02/553.67	c #Conflicts:     277000 | #Constraints:      67635
547.02/553.67	c #Conflicts:     278000 | #Constraints:      68635
547.02/553.67	c #Conflicts:     279000 | #Constraints:      69635
547.02/553.67	c #Conflicts:     280000 | #Constraints:      70635
547.02/553.67	c #Conflicts:     281000 | #Constraints:      71635
547.02/553.67	c #Conflicts:     282000 | #Constraints:      72635
547.02/553.67	c INPROCESSING
547.02/553.67	c GARBAGE COLLECT
547.02/553.67	c #Conflicts:     283000 | #Constraints:      46770
547.02/553.67	c #Conflicts:     284000 | #Constraints:      47770
547.02/553.67	c #Conflicts:     285000 | #Constraints:      48770
547.02/553.67	c #Conflicts:     286000 | #Constraints:      49770
547.02/553.67	c #Conflicts:     287000 | #Constraints:      50770
547.02/553.67	c #Conflicts:     288000 | #Constraints:      51770
547.02/553.67	c #Conflicts:     289000 | #Constraints:      52770
547.02/553.67	c #Conflicts:     290000 | #Constraints:      53770
547.02/553.67	c #Conflicts:     291000 | #Constraints:      54770
547.02/553.67	c #Conflicts:     292000 | #Constraints:      55770
547.02/553.67	c #Conflicts:     293000 | #Constraints:      56770
547.02/553.67	c #Conflicts:     294000 | #Constraints:      57770
547.02/553.67	c #Conflicts:     295000 | #Constraints:      58770
547.02/553.67	c #Conflicts:     296000 | #Constraints:      59770
547.02/553.67	c #Conflicts:     297000 | #Constraints:      60770
547.02/553.67	c INPROCESSING
547.02/553.67	c GARBAGE COLLECT
547.02/553.67	c #Conflicts:     298000 | #Constraints:      41888
547.02/553.67	c #Conflicts:     299000 | #Constraints:      42888
547.02/553.67	c #Conflicts:     300000 | #Constraints:      43888
681.35/698.24	c #Conflicts:     301000 | #Constraints:      44888
681.35/698.24	c #Conflicts:     302000 | #Constraints:      45888
681.35/698.24	c #Conflicts:     303000 | #Constraints:      46888
681.35/698.24	c #Conflicts:     304000 | #Constraints:      47888
681.35/698.24	c #Conflicts:     305000 | #Constraints:      48888
681.35/698.24	c #Conflicts:     306000 | #Constraints:      49888
681.35/698.24	c #Conflicts:     307000 | #Constraints:      50888
681.35/698.24	c #Conflicts:     308000 | #Constraints:      51888
681.35/698.24	c #Conflicts:     309000 | #Constraints:      52888
681.35/698.24	c #Conflicts:     310000 | #Constraints:      53888
681.35/698.24	c #Conflicts:     311000 | #Constraints:      54888
681.35/698.24	c #Conflicts:     312000 | #Constraints:      55888
681.35/698.24	c #Conflicts:     313000 | #Constraints:      56888
681.35/698.24	c #Conflicts:     314000 | #Constraints:      57888
681.35/698.24	c #Conflicts:     315000 | #Constraints:      58888
681.35/698.24	c #Conflicts:     316000 | #Constraints:      59888
681.35/698.24	c #Conflicts:     317000 | #Constraints:      60888
681.35/698.24	c #Conflicts:     318000 | #Constraints:      61888
681.35/698.24	c #Conflicts:     319000 | #Constraints:      62888
681.35/698.24	c #Conflicts:     320000 | #Constraints:      63888
681.35/698.24	c #Conflicts:     321000 | #Constraints:      64888
681.35/698.24	c #Conflicts:     322000 | #Constraints:      65888
681.35/698.24	c #Conflicts:     323000 | #Constraints:      66888
681.35/698.24	c #Conflicts:     324000 | #Constraints:      67888
681.35/698.24	c #Conflicts:     325000 | #Constraints:      68888
681.35/698.24	c #Conflicts:     326000 | #Constraints:      69888
681.35/698.24	c #Conflicts:     327000 | #Constraints:      70888
681.35/698.24	c #Conflicts:     328000 | #Constraints:      71888
681.35/698.24	c #Conflicts:     329000 | #Constraints:      72888
681.35/698.24	c #Conflicts:     330000 | #Constraints:      73888
681.35/698.24	c #Conflicts:     331000 | #Constraints:      74888
681.35/698.24	c #Conflicts:     332000 | #Constraints:      75888
681.35/698.24	c #Conflicts:     333000 | #Constraints:      76888
681.35/698.24	c #Conflicts:     334000 | #Constraints:      77888
681.35/698.24	c #Conflicts:     335000 | #Constraints:      78888
681.35/698.24	c INPROCESSING
681.35/698.24	c GARBAGE COLLECT
681.35/698.24	c #Conflicts:     336000 | #Constraints:      50309
681.35/698.24	c #Conflicts:     337000 | #Constraints:      51309
681.35/698.24	c #Conflicts:     338000 | #Constraints:      52309
681.35/698.24	c #Conflicts:     339000 | #Constraints:      53309
681.35/698.24	c #Conflicts:     340000 | #Constraints:      54309
681.35/698.24	c #Conflicts:     341000 | #Constraints:      55309
681.35/698.24	c #Conflicts:     342000 | #Constraints:      56309
681.35/698.24	c #Conflicts:     343000 | #Constraints:      57309
681.35/698.24	c #Conflicts:     344000 | #Constraints:      58309
681.35/698.24	c #Conflicts:     345000 | #Constraints:      59309
681.35/698.24	c #Conflicts:     346000 | #Constraints:      60309
681.35/698.24	c #Conflicts:     347000 | #Constraints:      61309
681.35/698.24	c #Conflicts:     348000 | #Constraints:      62309
681.35/698.24	c #Conflicts:     349000 | #Constraints:      63309
681.35/698.24	c #Conflicts:     350000 | #Constraints:      64309
681.35/698.24	c #Conflicts:     351000 | #Constraints:      65309
681.35/698.24	c INPROCESSING
681.35/698.24	c GARBAGE COLLECT
681.35/698.24	c #Conflicts:     352000 | #Constraints:      44849
681.35/698.24	c #Conflicts:     353000 | #Constraints:      45849
681.35/698.24	c #Conflicts:     354000 | #Constraints:      46849
681.35/698.24	c #Conflicts:     355000 | #Constraints:      47849
681.35/698.24	c #Conflicts:     356000 | #Constraints:      48849
681.35/698.24	c #Conflicts:     357000 | #Constraints:      49849
681.35/698.24	c #Conflicts:     358000 | #Constraints:      50849
681.35/698.24	c #Conflicts:     359000 | #Constraints:      51849
681.35/698.24	c #Conflicts:     360000 | #Constraints:      52849
681.35/698.24	c #Conflicts:     361000 | #Constraints:      53849
681.35/698.24	c #Conflicts:     362000 | #Constraints:      54849
681.35/698.24	c #Conflicts:     363000 | #Constraints:      55849
681.35/698.24	c #Conflicts:     364000 | #Constraints:      56849
681.35/698.24	c #Conflicts:     365000 | #Constraints:      57849
681.35/698.24	c #Conflicts:     366000 | #Constraints:      58849
681.35/698.24	c #Conflicts:     367000 | #Constraints:      59849
681.35/698.24	c #Conflicts:     368000 | #Constraints:      60849
681.35/698.24	c #Conflicts:     369000 | #Constraints:      61849
681.35/698.24	c #Conflicts:     370000 | #Constraints:      62849
681.35/698.24	c #Conflicts:     371000 | #Constraints:      63849
681.35/698.24	c #Conflicts:     372000 | #Constraints:      64849
681.35/698.24	c #Conflicts:     373000 | #Constraints:      65849
681.35/698.24	c #Conflicts:     374000 | #Constraints:      66849
681.35/698.24	c #Conflicts:     375000 | #Constraints:      67849
681.35/698.24	c #Conflicts:     376000 | #Constraints:      68849
681.35/698.24	c #Conflicts:     377000 | #Constraints:      69849
681.35/698.24	c #Conflicts:     378000 | #Constraints:      70849
887.41/915.54	c #Conflicts:     379000 | #Constraints:      71849
887.41/915.54	c #Conflicts:     380000 | #Constraints:      72849
887.41/915.54	c #Conflicts:     381000 | #Constraints:      73849
887.41/915.54	c #Conflicts:     382000 | #Constraints:      74849
887.41/915.54	c #Conflicts:     383000 | #Constraints:      75849
887.41/915.54	c #Conflicts:     384000 | #Constraints:      76849
887.41/915.54	c #Conflicts:     385000 | #Constraints:      77849
887.41/915.54	c #Conflicts:     386000 | #Constraints:      78849
887.41/915.54	c #Conflicts:     387000 | #Constraints:      79849
887.41/915.54	c #Conflicts:     388000 | #Constraints:      80849
887.41/915.54	c #Conflicts:     389000 | #Constraints:      81849
887.41/915.54	c #Conflicts:     390000 | #Constraints:      82849
887.41/915.54	c #Conflicts:     391000 | #Constraints:      83849
887.41/915.54	c INPROCESSING
887.41/915.54	c GARBAGE COLLECT
887.41/915.54	c #Conflicts:     392000 | #Constraints:      52606
887.41/915.54	c #Conflicts:     393000 | #Constraints:      53606
887.41/915.54	c #Conflicts:     394000 | #Constraints:      54606
887.41/915.54	c #Conflicts:     395000 | #Constraints:      55606
887.41/915.54	c #Conflicts:     396000 | #Constraints:      56606
887.41/915.54	c #Conflicts:     397000 | #Constraints:      57606
887.41/915.54	c #Conflicts:     398000 | #Constraints:      58606
887.41/915.54	c #Conflicts:     399000 | #Constraints:      59606
887.41/915.54	c #Conflicts:     400000 | #Constraints:      60606
887.41/915.54	c #Conflicts:     401000 | #Constraints:      61606
887.41/915.54	c #Conflicts:     402000 | #Constraints:      62606
887.41/915.54	c #Conflicts:     403000 | #Constraints:      63606
887.41/915.54	c #Conflicts:     404000 | #Constraints:      64606
887.41/915.54	c #Conflicts:     405000 | #Constraints:      65606
887.41/915.54	c #Conflicts:     406000 | #Constraints:      66606
887.41/915.54	c #Conflicts:     407000 | #Constraints:      67606
887.41/915.54	c #Conflicts:     408000 | #Constraints:      68606
887.41/915.54	c INPROCESSING
887.41/915.54	c GARBAGE COLLECT
887.41/915.54	c #Conflicts:     409000 | #Constraints:      46554
887.41/915.54	c #Conflicts:     410000 | #Constraints:      47554
887.41/915.54	c #Conflicts:     411000 | #Constraints:      48554
887.41/915.54	c #Conflicts:     412000 | #Constraints:      49554
887.41/915.54	c #Conflicts:     413000 | #Constraints:      50554
887.41/915.54	c #Conflicts:     414000 | #Constraints:      51554
887.41/915.54	c #Conflicts:     415000 | #Constraints:      52554
887.41/915.54	c #Conflicts:     416000 | #Constraints:      53554
887.41/915.54	c #Conflicts:     417000 | #Constraints:      54554
887.41/915.54	c #Conflicts:     418000 | #Constraints:      55554
887.41/915.54	c #Conflicts:     419000 | #Constraints:      56554
887.41/915.54	c #Conflicts:     420000 | #Constraints:      57554
887.41/915.54	c #Conflicts:     421000 | #Constraints:      58554
887.41/915.54	c #Conflicts:     422000 | #Constraints:      59554
887.41/915.54	c #Conflicts:     423000 | #Constraints:      60554
887.41/915.54	c #Conflicts:     424000 | #Constraints:      61554
887.41/915.54	c #Conflicts:     425000 | #Constraints:      62554
887.41/915.54	c #Conflicts:     426000 | #Constraints:      63554
887.41/915.54	c #Conflicts:     427000 | #Constraints:      64554
887.41/915.54	c #Conflicts:     428000 | #Constraints:      65554
887.41/915.54	c #Conflicts:     429000 | #Constraints:      66554
887.41/915.54	c #Conflicts:     430000 | #Constraints:      67554
887.41/915.54	c #Conflicts:     431000 | #Constraints:      68554
887.41/915.54	c #Conflicts:     432000 | #Constraints:      69554
887.41/915.54	c #Conflicts:     433000 | #Constraints:      70554
887.41/915.54	c #Conflicts:     434000 | #Constraints:      71554
887.41/915.54	c #Conflicts:     435000 | #Constraints:      72554
887.41/915.54	c #Conflicts:     436000 | #Constraints:      73554
887.41/915.54	c #Conflicts:     437000 | #Constraints:      74554
887.41/915.54	c #Conflicts:     438000 | #Constraints:      75554
887.41/915.54	c #Conflicts:     439000 | #Constraints:      76554
887.41/915.54	c #Conflicts:     440000 | #Constraints:      77554
887.41/915.54	c #Conflicts:     441000 | #Constraints:      78554
887.41/915.54	c #Conflicts:     442000 | #Constraints:      79554
887.41/915.54	c #Conflicts:     443000 | #Constraints:      80554
887.41/915.54	c #Conflicts:     444000 | #Constraints:      81554
887.41/915.54	c #Conflicts:     445000 | #Constraints:      82554
887.41/915.54	c #Conflicts:     446000 | #Constraints:      83554
887.41/915.54	c #Conflicts:     447000 | #Constraints:      84554
887.41/915.54	c #Conflicts:     448000 | #Constraints:      85554
887.41/915.54	c #Conflicts:     449000 | #Constraints:      86554
887.41/915.54	c #Conflicts:     450000 | #Constraints:      87554
887.41/915.54	c #Conflicts:     451000 | #Constraints:      88555
887.41/915.54	c #Conflicts:     452000 | #Constraints:      89555
887.41/915.54	c INPROCESSING
887.41/915.54	c GARBAGE COLLECT
887.41/915.54	c #Conflicts:     453000 | #Constraints:      55556
887.41/915.54	c #Conflicts:     454000 | #Constraints:      56556
887.41/915.54	c #Conflicts:     455000 | #Constraints:      57556
1117.03/1150.55	c #Conflicts:     456000 | #Constraints:      58556
1117.03/1150.55	c #Conflicts:     457000 | #Constraints:      59556
1117.03/1150.55	c #Conflicts:     458000 | #Constraints:      60556
1117.03/1150.55	c #Conflicts:     459000 | #Constraints:      61556
1117.03/1150.55	c #Conflicts:     460000 | #Constraints:      62556
1117.03/1150.55	c #Conflicts:     461000 | #Constraints:      63556
1117.03/1150.55	c #Conflicts:     462000 | #Constraints:      64556
1117.03/1150.55	c #Conflicts:     463000 | #Constraints:      65556
1117.03/1150.55	c #Conflicts:     464000 | #Constraints:      66556
1117.03/1150.55	c #Conflicts:     465000 | #Constraints:      67556
1117.03/1150.55	c #Conflicts:     466000 | #Constraints:      68556
1117.03/1150.55	c #Conflicts:     467000 | #Constraints:      69556
1117.03/1150.55	c #Conflicts:     468000 | #Constraints:      70556
1117.03/1150.55	c #Conflicts:     469000 | #Constraints:      71556
1117.03/1150.55	c #Conflicts:     470000 | #Constraints:      72556
1117.03/1150.55	c #Conflicts:     471000 | #Constraints:      73556
1117.03/1150.55	c INPROCESSING
1117.03/1150.55	c GARBAGE COLLECT
1117.03/1150.55	c #Conflicts:     472000 | #Constraints:      49158
1117.03/1150.55	c #Conflicts:     473000 | #Constraints:      50158
1117.03/1150.55	c #Conflicts:     474000 | #Constraints:      51158
1117.03/1150.55	c #Conflicts:     475000 | #Constraints:      52158
1117.03/1150.55	c #Conflicts:     476000 | #Constraints:      53158
1117.03/1150.55	c #Conflicts:     477000 | #Constraints:      54158
1117.03/1150.55	c #Conflicts:     478000 | #Constraints:      55158
1117.03/1150.55	c #Conflicts:     479000 | #Constraints:      56158
1117.03/1150.55	c #Conflicts:     480000 | #Constraints:      57158
1117.03/1150.55	c #Conflicts:     481000 | #Constraints:      58158
1117.03/1150.55	c #Conflicts:     482000 | #Constraints:      59158
1117.03/1150.55	c #Conflicts:     483000 | #Constraints:      60158
1117.03/1150.55	c #Conflicts:     484000 | #Constraints:      61158
1117.03/1150.55	c #Conflicts:     485000 | #Constraints:      62158
1117.03/1150.55	c #Conflicts:     486000 | #Constraints:      63158
1117.03/1150.55	c #Conflicts:     487000 | #Constraints:      64158
1117.03/1150.55	c #Conflicts:     488000 | #Constraints:      65158
1117.03/1150.55	c #Conflicts:     489000 | #Constraints:      66158
1117.03/1150.55	c #Conflicts:     490000 | #Constraints:      67158
1117.03/1150.55	c #Conflicts:     491000 | #Constraints:      68158
1117.03/1150.55	c #Conflicts:     492000 | #Constraints:      69158
1117.03/1150.55	c #Conflicts:     493000 | #Constraints:      70158
1117.03/1150.55	c #Conflicts:     494000 | #Constraints:      71158
1117.03/1150.55	c #Conflicts:     495000 | #Constraints:      72158
1117.03/1150.55	c #Conflicts:     496000 | #Constraints:      73158
1117.03/1150.55	c #Conflicts:     497000 | #Constraints:      74158
1117.03/1150.55	c #Conflicts:     498000 | #Constraints:      75158
1117.03/1150.55	c #Conflicts:     499000 | #Constraints:      76158
1117.03/1150.55	c #Conflicts:     500000 | #Constraints:      77158
1117.03/1150.55	c #Conflicts:     501000 | #Constraints:      78158
1117.03/1150.55	c #Conflicts:     502000 | #Constraints:      79158
1117.03/1150.55	c #Conflicts:     503000 | #Constraints:      80158
1117.03/1150.55	c #Conflicts:     504000 | #Constraints:      81158
1117.03/1150.55	c #Conflicts:     505000 | #Constraints:      82158
1117.03/1150.55	c #Conflicts:     506000 | #Constraints:      83158
1117.03/1150.55	c #Conflicts:     507000 | #Constraints:      84158
1117.03/1150.55	c #Conflicts:     508000 | #Constraints:      85158
1117.03/1150.55	c #Conflicts:     509000 | #Constraints:      86158
1117.03/1150.55	c #Conflicts:     510000 | #Constraints:      87158
1117.03/1150.55	c #Conflicts:     511000 | #Constraints:      88158
1117.03/1150.55	c #Conflicts:     512000 | #Constraints:      89158
1117.03/1150.55	c #Conflicts:     513000 | #Constraints:      90158
1117.03/1150.55	c #Conflicts:     514000 | #Constraints:      91158
1117.03/1150.55	c #Conflicts:     515000 | #Constraints:      92158
1117.03/1150.55	c #Conflicts:     516000 | #Constraints:      93158
1117.03/1150.55	c #Conflicts:     517000 | #Constraints:      94158
1117.03/1150.55	c INPROCESSING
1117.03/1150.55	c GARBAGE COLLECT
1117.03/1150.55	c #Conflicts:     518000 | #Constraints:      57657
1117.03/1150.55	c #Conflicts:     519000 | #Constraints:      58657
1117.03/1150.55	c #Conflicts:     520000 | #Constraints:      59657
1117.03/1150.55	c #Conflicts:     521000 | #Constraints:      60657
1117.03/1150.55	c #Conflicts:     522000 | #Constraints:      61657
1117.03/1150.55	c #Conflicts:     523000 | #Constraints:      62657
1117.03/1150.55	c #Conflicts:     524000 | #Constraints:      63657
1117.03/1150.55	c #Conflicts:     525000 | #Constraints:      64657
1117.03/1150.55	c #Conflicts:     526000 | #Constraints:      65657
1117.03/1150.55	c #Conflicts:     527000 | #Constraints:      66657
1117.03/1150.55	c #Conflicts:     528000 | #Constraints:      67657
1117.03/1150.55	c #Conflicts:     529000 | #Constraints:      68657
1117.03/1150.55	c #Conflicts:     530000 | #Constraints:      69657
1117.03/1150.55	c #Conflicts:     531000 | #Constraints:      70657
1117.03/1150.55	c #Conflicts:     532000 | #Constraints:      71657
1366.17/1403.62	c #Conflicts:     533000 | #Constraints:      72657
1366.17/1403.62	c #Conflicts:     534000 | #Constraints:      73657
1366.17/1403.62	c #Conflicts:     535000 | #Constraints:      74657
1366.17/1403.62	c #Conflicts:     536000 | #Constraints:      75657
1366.17/1403.62	c #Conflicts:     537000 | #Constraints:      76657
1366.17/1403.62	c INPROCESSING
1366.17/1403.62	c GARBAGE COLLECT
1366.17/1403.62	c #Conflicts:     538000 | #Constraints:      50737
1366.17/1403.62	c #Conflicts:     539000 | #Constraints:      51737
1366.17/1403.62	c #Conflicts:     540000 | #Constraints:      52737
1366.17/1403.62	c #Conflicts:     541000 | #Constraints:      53737
1366.17/1403.62	c #Conflicts:     542000 | #Constraints:      54737
1366.17/1403.62	c #Conflicts:     543000 | #Constraints:      55737
1366.17/1403.62	c #Conflicts:     544000 | #Constraints:      56737
1366.17/1403.62	c #Conflicts:     545000 | #Constraints:      57737
1366.17/1403.62	c #Conflicts:     546000 | #Constraints:      58737
1366.17/1403.62	c #Conflicts:     547000 | #Constraints:      59737
1366.17/1403.62	c #Conflicts:     548000 | #Constraints:      60737
1366.17/1403.62	c #Conflicts:     549000 | #Constraints:      61737
1366.17/1403.62	c #Conflicts:     550000 | #Constraints:      62737
1366.17/1403.62	c #Conflicts:     551000 | #Constraints:      63737
1366.17/1403.62	c #Conflicts:     552000 | #Constraints:      64737
1366.17/1403.62	c #Conflicts:     553000 | #Constraints:      65737
1366.17/1403.62	c #Conflicts:     554000 | #Constraints:      66737
1366.17/1403.62	c #Conflicts:     555000 | #Constraints:      67737
1366.17/1403.62	c #Conflicts:     556000 | #Constraints:      68737
1366.17/1403.62	c #Conflicts:     557000 | #Constraints:      69737
1366.17/1403.62	c #Conflicts:     558000 | #Constraints:      70737
1366.17/1403.62	c #Conflicts:     559000 | #Constraints:      71737
1366.17/1403.62	c #Conflicts:     560000 | #Constraints:      72737
1366.17/1403.62	c #Conflicts:     561000 | #Constraints:      73737
1366.17/1403.62	c #Conflicts:     562000 | #Constraints:      74737
1366.17/1403.62	c #Conflicts:     563000 | #Constraints:      75737
1366.17/1403.62	c #Conflicts:     564000 | #Constraints:      76737
1366.17/1403.62	c #Conflicts:     565000 | #Constraints:      77737
1366.17/1403.62	c #Conflicts:     566000 | #Constraints:      78737
1366.17/1403.62	c #Conflicts:     567000 | #Constraints:      79737
1366.17/1403.62	c #Conflicts:     568000 | #Constraints:      80737
1366.17/1403.62	c #Conflicts:     569000 | #Constraints:      81737
1366.17/1403.62	c #Conflicts:     570000 | #Constraints:      82737
1366.17/1403.62	c #Conflicts:     571000 | #Constraints:      83737
1366.17/1403.62	c #Conflicts:     572000 | #Constraints:      84737
1366.17/1403.62	c #Conflicts:     573000 | #Constraints:      85737
1366.17/1403.62	c #Conflicts:     574000 | #Constraints:      86737
1366.17/1403.62	c #Conflicts:     575000 | #Constraints:      87737
1366.17/1403.62	c #Conflicts:     576000 | #Constraints:      88737
1366.17/1403.62	c #Conflicts:     577000 | #Constraints:      89737
1366.17/1403.62	c #Conflicts:     578000 | #Constraints:      90737
1366.17/1403.62	c #Conflicts:     579000 | #Constraints:      91737
1366.17/1403.62	c #Conflicts:     580000 | #Constraints:      92737
1366.17/1403.62	c #Conflicts:     581000 | #Constraints:      93737
1366.17/1403.62	c #Conflicts:     582000 | #Constraints:      94737
1366.17/1403.62	c #Conflicts:     583000 | #Constraints:      95737
1366.17/1403.62	c #Conflicts:     584000 | #Constraints:      96737
1366.17/1403.62	c #Conflicts:     585000 | #Constraints:      97737
1366.17/1403.62	c #Conflicts:     586000 | #Constraints:      98737
1366.17/1403.62	c #Conflicts:     587000 | #Constraints:      99737
1366.17/1403.62	c INPROCESSING
1366.17/1403.62	c GARBAGE COLLECT
1366.17/1403.62	c #Conflicts:     588000 | #Constraints:      60733
1366.17/1403.62	c #Conflicts:     589000 | #Constraints:      61733
1366.17/1403.62	c #Conflicts:     590000 | #Constraints:      62733
1366.17/1403.62	c #Conflicts:     591000 | #Constraints:      63733
1366.17/1403.62	c #Conflicts:     592000 | #Constraints:      64733
1366.17/1403.62	c #Conflicts:     593000 | #Constraints:      65733
1366.17/1403.62	c #Conflicts:     594000 | #Constraints:      66733
1366.17/1403.62	c #Conflicts:     595000 | #Constraints:      67733
1366.17/1403.62	c #Conflicts:     596000 | #Constraints:      68733
1366.17/1403.62	c #Conflicts:     597000 | #Constraints:      69733
1366.17/1403.62	c #Conflicts:     598000 | #Constraints:      70733
1366.17/1403.62	c #Conflicts:     599000 | #Constraints:      71733
1366.17/1403.62	c #Conflicts:     600000 | #Constraints:      72733
1366.17/1403.62	c #Conflicts:     601000 | #Constraints:      73733
1366.17/1403.62	c #Conflicts:     602000 | #Constraints:      74733
1366.17/1403.62	c #Conflicts:     603000 | #Constraints:      75733
1366.17/1403.62	c #Conflicts:     604000 | #Constraints:      76733
1366.17/1403.62	c #Conflicts:     605000 | #Constraints:      77733
1366.17/1403.62	c #Conflicts:     606000 | #Constraints:      78733
1366.17/1403.62	c #Conflicts:     607000 | #Constraints:      79733
1366.17/1403.62	c #Conflicts:     608000 | #Constraints:      80733
1366.17/1403.62	c INPROCESSING
1366.17/1403.62	c GARBAGE COLLECT
1366.17/1403.62	c #Conflicts:     609000 | #Constraints:      53231
1534.10/1572.45	c #Conflicts:     610000 | #Constraints:      54231
1534.10/1572.45	c #Conflicts:     611000 | #Constraints:      55231
1534.10/1572.45	c #Conflicts:     612000 | #Constraints:      56231
1534.10/1572.45	c #Conflicts:     613000 | #Constraints:      57231
1534.10/1572.45	c #Conflicts:     614000 | #Constraints:      58231
1534.10/1572.45	c #Conflicts:     615000 | #Constraints:      59231
1534.10/1572.45	c #Conflicts:     616000 | #Constraints:      60231
1534.10/1572.45	c #Conflicts:     617000 | #Constraints:      61231
1534.10/1572.45	c #Conflicts:     618000 | #Constraints:      62231
1534.10/1572.45	c #Conflicts:     619000 | #Constraints:      63231
1534.10/1572.45	c #Conflicts:     620000 | #Constraints:      64231
1534.10/1572.45	c #Conflicts:     621000 | #Constraints:      65231
1534.10/1572.45	c #Conflicts:     622000 | #Constraints:      66231
1534.10/1572.45	c #Conflicts:     623000 | #Constraints:      67231
1534.10/1572.45	c #Conflicts:     624000 | #Constraints:      68231
1534.10/1572.45	c #Conflicts:     625000 | #Constraints:      69231
1534.10/1572.45	c #Conflicts:     626000 | #Constraints:      70231
1534.10/1572.45	c #Conflicts:     627000 | #Constraints:      71231
1534.10/1572.45	c #Conflicts:     628000 | #Constraints:      72231
1534.10/1572.45	c #Conflicts:     629000 | #Constraints:      73231
1534.10/1572.45	c #Conflicts:     630000 | #Constraints:      74231
1534.10/1572.45	c #Conflicts:     631000 | #Constraints:      75231
1534.10/1572.45	c #Conflicts:     632000 | #Constraints:      76231
1534.10/1572.45	c #Conflicts:     633000 | #Constraints:      77231
1534.10/1572.45	c #Conflicts:     634000 | #Constraints:      78231
1534.10/1572.45	c #Conflicts:     635000 | #Constraints:      79231
1534.10/1572.45	c #Conflicts:     636000 | #Constraints:      80231
1534.10/1572.45	c #Conflicts:     637000 | #Constraints:      81231
1534.10/1572.45	c #Conflicts:     638000 | #Constraints:      82231
1534.10/1572.45	c #Conflicts:     639000 | #Constraints:      83231
1534.10/1572.45	c #Conflicts:     640000 | #Constraints:      84231
1534.10/1572.45	c #Conflicts:     641000 | #Constraints:      85231
1534.10/1572.45	c #Conflicts:     642000 | #Constraints:      86231
1534.10/1572.45	c #Conflicts:     643000 | #Constraints:      87231
1534.10/1572.45	c #Conflicts:     644000 | #Constraints:      88231
1534.10/1572.45	c #Conflicts:     645000 | #Constraints:      89231
1534.10/1572.45	c #Conflicts:     646000 | #Constraints:      90231
1534.10/1572.45	c #Conflicts:     647000 | #Constraints:      91231
1534.10/1572.45	c #Conflicts:     648000 | #Constraints:      92231
1534.10/1572.45	c #Conflicts:     649000 | #Constraints:      93231
1534.10/1572.45	c #Conflicts:     650000 | #Constraints:      94231
1534.10/1572.45	c #Conflicts:     651000 | #Constraints:      95231
1534.10/1572.45	c #Conflicts:     652000 | #Constraints:      96231
1534.10/1572.45	c #Conflicts:     653000 | #Constraints:      97231
1534.10/1572.45	c #Conflicts:     654000 | #Constraints:      98231
1534.10/1572.45	c #Conflicts:     655000 | #Constraints:      99231
1534.10/1572.45	c #Conflicts:     656000 | #Constraints:     100231
1534.10/1572.45	c #Conflicts:     657000 | #Constraints:     101231
1534.10/1572.45	c #Conflicts:     658000 | #Constraints:     102231
1534.10/1572.45	c #Conflicts:     659000 | #Constraints:     103231
1534.10/1572.45	c #Conflicts:     660000 | #Constraints:     104231
1534.10/1572.45	c #Conflicts:     661000 | #Constraints:     105231
1534.10/1572.45	c INPROCESSING
1534.10/1572.45	c GARBAGE COLLECT
1534.10/1572.45	c #Conflicts:     662000 | #Constraints:      63391
1534.10/1572.45	c #Conflicts:     663000 | #Constraints:      64391
1534.10/1572.45	c #Conflicts:     664000 | #Constraints:      65391
1534.10/1572.45	c #Conflicts:     665000 | #Constraints:      66391
1534.10/1572.45	c #Conflicts:     666000 | #Constraints:      67391
1534.10/1572.45	c #Conflicts:     667000 | #Constraints:      68391
1534.10/1572.45	c #Conflicts:     668000 | #Constraints:      69391
1534.10/1572.45	c #Conflicts:     669000 | #Constraints:      70391
1534.10/1572.45	c #Conflicts:     670000 | #Constraints:      71391
1534.10/1572.45	c #Conflicts:     671000 | #Constraints:      72391
1534.10/1572.45	c #Conflicts:     672000 | #Constraints:      73391
1534.10/1572.45	c #Conflicts:     673000 | #Constraints:      74391
1534.10/1572.45	c #Conflicts:     674000 | #Constraints:      75391
1534.10/1572.45	c #Conflicts:     675000 | #Constraints:      76391
1534.10/1572.45	c #Conflicts:     676000 | #Constraints:      77391
1534.10/1572.45	c #Conflicts:     677000 | #Constraints:      78391
1534.10/1572.45	c #Conflicts:     678000 | #Constraints:      79391
1534.10/1572.45	c #Conflicts:     679000 | #Constraints:      80391
1534.10/1572.45	c #Conflicts:     680000 | #Constraints:      81391
1534.10/1572.45	c #Conflicts:     681000 | #Constraints:      82391
1534.10/1572.45	c #Conflicts:     682000 | #Constraints:      83391
1534.10/1572.45	c #Conflicts:     683000 | #Constraints:      84391
1534.10/1572.45	c #Conflicts:     684000 | #Constraints:      85391
1534.10/1572.45	c INPROCESSING
1534.10/1572.45	c GARBAGE COLLECT
1534.10/1572.45	c #Conflicts:     685000 | #Constraints:      56277
1534.10/1572.45	c #Conflicts:     686000 | #Constraints:      57277
1534.10/1572.45	c #Conflicts:     687000 | #Constraints:      58277
1744.53/1799.91	c #Conflicts:     688000 | #Constraints:      59277
1744.53/1799.91	c #Conflicts:     689000 | #Constraints:      60278
1744.53/1799.91	c #Conflicts:     690000 | #Constraints:      61278
1744.53/1799.91	c #Conflicts:     691000 | #Constraints:      62278
1744.53/1799.91	c #Conflicts:     692000 | #Constraints:      63278
1744.53/1799.91	c #Conflicts:     693000 | #Constraints:      64278
1744.53/1799.91	c #Conflicts:     694000 | #Constraints:      65278
1744.53/1799.91	c #Conflicts:     695000 | #Constraints:      66278
1744.53/1799.91	c #Conflicts:     696000 | #Constraints:      67278
1744.53/1799.91	c #Conflicts:     697000 | #Constraints:      68278
1744.53/1799.91	c #Conflicts:     698000 | #Constraints:      69278
1744.53/1799.91	c #Conflicts:     699000 | #Constraints:      70278
1744.53/1799.91	c #Conflicts:     700000 | #Constraints:      71278
1744.53/1799.91	c #Conflicts:     701000 | #Constraints:      72278
1744.53/1799.91	c #Conflicts:     702000 | #Constraints:      73278
1744.53/1799.91	c #Conflicts:     703000 | #Constraints:      74278
1744.53/1799.91	c #Conflicts:     704000 | #Constraints:      75278
1744.53/1799.91	c #Conflicts:     705000 | #Constraints:      76278
1744.53/1799.91	c #Conflicts:     706000 | #Constraints:      77278
1744.53/1799.91	c #Conflicts:     707000 | #Constraints:      78278
1744.53/1799.91	c #Conflicts:     708000 | #Constraints:      79278
1744.53/1799.91	c #Conflicts:     709000 | #Constraints:      80278
1744.53/1799.91	c #Conflicts:     710000 | #Constraints:      81278
1744.53/1799.91	c #Conflicts:     711000 | #Constraints:      82278
1744.53/1799.91	c #Conflicts:     712000 | #Constraints:      83278
1744.53/1799.91	c #Conflicts:     713000 | #Constraints:      84278
1744.53/1799.91	c #Conflicts:     714000 | #Constraints:      85278
1744.53/1799.91	c #Conflicts:     715000 | #Constraints:      86278
1744.53/1799.91	c #Conflicts:     716000 | #Constraints:      87278
1744.53/1799.91	c #Conflicts:     717000 | #Constraints:      88278
1744.53/1799.91	c #Conflicts:     718000 | #Constraints:      89278
1744.53/1799.91	c #Conflicts:     719000 | #Constraints:      90278
1744.53/1799.91	c #Conflicts:     720000 | #Constraints:      91278
1744.53/1799.91	c #Conflicts:     721000 | #Constraints:      92278
1744.53/1799.91	c #Conflicts:     722000 | #Constraints:      93278
1744.53/1799.91	c #Conflicts:     723000 | #Constraints:      94278
1744.53/1799.91	c #Conflicts:     724000 | #Constraints:      95278
1744.53/1799.91	c #Conflicts:     725000 | #Constraints:      96278
1744.53/1799.91	c #Conflicts:     726000 | #Constraints:      97278
1744.53/1799.91	c #Conflicts:     727000 | #Constraints:      98278
1744.53/1799.91	c #Conflicts:     728000 | #Constraints:      99278
1744.53/1799.91	c #Conflicts:     729000 | #Constraints:     100278
1744.53/1799.91	c #Conflicts:     730000 | #Constraints:     101278
1744.53/1799.91	c #Conflicts:     731000 | #Constraints:     102278
1744.53/1799.91	c #Conflicts:     732000 | #Constraints:     103278
1744.53/1799.91	c #Conflicts:     733000 | #Constraints:     104278
1744.53/1799.91	c #Conflicts:     734000 | #Constraints:     105278
1744.53/1799.91	c #Conflicts:     735000 | #Constraints:     106278
1744.53/1799.91	c #Conflicts:     736000 | #Constraints:     107278
1744.53/1799.91	c #Conflicts:     737000 | #Constraints:     108278
1744.53/1799.91	c #Conflicts:     738000 | #Constraints:     109278
1744.53/1799.91	c #Conflicts:     739000 | #Constraints:     110278
1744.53/1799.91	c #Conflicts:     740000 | #Constraints:     111278
1744.53/1799.91	c INPROCESSING
1744.53/1799.91	c GARBAGE COLLECT
1744.53/1799.91	c #Conflicts:     741000 | #Constraints:      66728
1744.53/1799.91	c #Conflicts:     742000 | #Constraints:      67728
1744.53/1799.91	c #Conflicts:     743000 | #Constraints:      68728
1744.53/1799.91	c #Conflicts:     744000 | #Constraints:      69728
1744.53/1799.91	c #Conflicts:     745000 | #Constraints:      70728
1744.53/1799.91	c #Conflicts:     746000 | #Constraints:      71728
1744.53/1799.91	c #Conflicts:     747000 | #Constraints:      72728
1744.53/1799.91	c #Conflicts:     748000 | #Constraints:      73728
1744.53/1799.91	c #Conflicts:     749000 | #Constraints:      74728
1744.53/1799.91	c #Conflicts:     750000 | #Constraints:      75728
1744.53/1799.91	c #Conflicts:     751000 | #Constraints:      76728
1744.53/1799.91	c #Conflicts:     752000 | #Constraints:      77728
1744.53/1799.91	c #Conflicts:     753000 | #Constraints:      78728
1744.53/1799.91	c #Conflicts:     754000 | #Constraints:      79728
1744.53/1799.91	c #Conflicts:     755000 | #Constraints:      80728
1744.53/1799.91	c #Conflicts:     756000 | #Constraints:      81728
1744.53/1799.91	c #Conflicts:     757000 | #Constraints:      82728
1744.53/1799.91	c #Conflicts:     758000 | #Constraints:      83728
1744.53/1799.91	c #Conflicts:     759000 | #Constraints:      84728
1744.53/1799.91	c #Conflicts:     760000 | #Constraints:      85728
1744.53/1799.91	c #Conflicts:     761000 | #Constraints:      86728
1744.53/1799.91	c #Conflicts:     762000 | #Constraints:      87728
1744.53/1799.91	c #Conflicts:     763000 | #Constraints:      88728
1744.53/1799.91	c INPROCESSING
1744.53/1799.91	c GARBAGE COLLECT
1744.53/1799.91	c #Conflicts:     764000 | #Constraints:      57567
1934.72/1992.18	c #Conflicts:     765000 | #Constraints:      58567
1934.72/1992.18	c #Conflicts:     766000 | #Constraints:      59567
1934.72/1992.18	c #Conflicts:     767000 | #Constraints:      60567
1934.72/1992.18	c #Conflicts:     768000 | #Constraints:      61567
1934.72/1992.18	c #Conflicts:     769000 | #Constraints:      62567
1934.72/1992.18	c #Conflicts:     770000 | #Constraints:      63567
1934.72/1992.18	c #Conflicts:     771000 | #Constraints:      64567
1934.72/1992.18	c #Conflicts:     772000 | #Constraints:      65567
1934.72/1992.18	c #Conflicts:     773000 | #Constraints:      66567
1934.72/1992.18	c #Conflicts:     774000 | #Constraints:      67567
1934.72/1992.18	c #Conflicts:     775000 | #Constraints:      68567
1934.72/1992.18	c #Conflicts:     776000 | #Constraints:      69567
1934.72/1992.18	c #Conflicts:     777000 | #Constraints:      70567
1934.72/1992.18	c #Conflicts:     778000 | #Constraints:      71567
1934.72/1992.18	c #Conflicts:     779000 | #Constraints:      72567
1934.72/1992.18	c #Conflicts:     780000 | #Constraints:      73567
1934.72/1992.18	c #Conflicts:     781000 | #Constraints:      74567
1934.72/1992.18	c #Conflicts:     782000 | #Constraints:      75567
1934.72/1992.18	c #Conflicts:     783000 | #Constraints:      76567
1934.72/1992.18	c #Conflicts:     784000 | #Constraints:      77567
1934.72/1992.18	c #Conflicts:     785000 | #Constraints:      78567
1934.72/1992.18	c #Conflicts:     786000 | #Constraints:      79567
1934.72/1992.18	c #Conflicts:     787000 | #Constraints:      80567
1934.72/1992.18	c #Conflicts:     788000 | #Constraints:      81567
1934.72/1992.18	c #Conflicts:     789000 | #Constraints:      82567
1934.72/1992.18	c #Conflicts:     790000 | #Constraints:      83567
1934.72/1992.18	c #Conflicts:     791000 | #Constraints:      84567
1934.72/1992.18	c #Conflicts:     792000 | #Constraints:      85567
1934.72/1992.18	c #Conflicts:     793000 | #Constraints:      86567
1934.72/1992.18	c #Conflicts:     794000 | #Constraints:      87567
1934.72/1992.18	c #Conflicts:     795000 | #Constraints:      88567
1934.72/1992.18	c #Conflicts:     796000 | #Constraints:      89567
1934.72/1992.18	c #Conflicts:     797000 | #Constraints:      90567
1934.72/1992.18	c #Conflicts:     798000 | #Constraints:      91567
1934.72/1992.18	c #Conflicts:     799000 | #Constraints:      92567
1934.72/1992.18	c #Conflicts:     800000 | #Constraints:      93567
1934.72/1992.18	c #Conflicts:     801000 | #Constraints:      94567
1934.72/1992.18	c #Conflicts:     802000 | #Constraints:      95567
1934.72/1992.18	c #Conflicts:     803000 | #Constraints:      96567
1934.72/1992.18	c #Conflicts:     804000 | #Constraints:      97567
1934.72/1992.18	c #Conflicts:     805000 | #Constraints:      98567
1934.72/1992.18	c #Conflicts:     806000 | #Constraints:      99567
1934.72/1992.18	c #Conflicts:     807000 | #Constraints:     100567
1934.72/1992.18	c #Conflicts:     808000 | #Constraints:     101567
1934.72/1992.18	c #Conflicts:     809000 | #Constraints:     102567
1934.72/1992.18	c #Conflicts:     810000 | #Constraints:     103567
1934.72/1992.18	c #Conflicts:     811000 | #Constraints:     104567
1934.72/1992.18	c #Conflicts:     812000 | #Constraints:     105567
1934.72/1992.18	c #Conflicts:     813000 | #Constraints:     106567
1934.72/1992.18	c #Conflicts:     814000 | #Constraints:     107567
1934.72/1992.18	c #Conflicts:     815000 | #Constraints:     108567
1934.72/1992.18	c #Conflicts:     816000 | #Constraints:     109567
1934.72/1992.18	c #Conflicts:     817000 | #Constraints:     110567
1934.72/1992.18	c #Conflicts:     818000 | #Constraints:     111567
1934.72/1992.18	c #Conflicts:     819000 | #Constraints:     112567
1934.72/1992.18	c #Conflicts:     820000 | #Constraints:     113567
1934.72/1992.18	c #Conflicts:     821000 | #Constraints:     114567
1934.72/1992.18	c #Conflicts:     822000 | #Constraints:     115567
1934.72/1992.18	c INPROCESSING
1934.72/1992.18	c GARBAGE COLLECT
1934.72/1992.18	c #Conflicts:     823000 | #Constraints:      68578
1934.72/1992.18	c #Conflicts:     824000 | #Constraints:      69578
1934.72/1992.18	c #Conflicts:     825000 | #Constraints:      70578
1934.72/1992.18	c #Conflicts:     826000 | #Constraints:      71578
1934.72/1992.18	c #Conflicts:     827000 | #Constraints:      72578
1934.72/1992.18	c #Conflicts:     828000 | #Constraints:      73578
1934.72/1992.18	c #Conflicts:     829000 | #Constraints:      74578
1934.72/1992.18	c #Conflicts:     830000 | #Constraints:      75578
1934.72/1992.18	c #Conflicts:     831000 | #Constraints:      76578
1934.72/1992.18	c #Conflicts:     832000 | #Constraints:      77578
1934.72/1992.18	c #Conflicts:     833000 | #Constraints:      78578
1934.72/1992.18	c #Conflicts:     834000 | #Constraints:      79579
1934.72/1992.18	c #Conflicts:     835000 | #Constraints:      80579
1934.72/1992.18	c #Conflicts:     836000 | #Constraints:      81579
1934.72/1992.18	c #Conflicts:     837000 | #Constraints:      82579
1934.72/1992.18	c #Conflicts:     838000 | #Constraints:      83579
1934.72/1992.18	c #Conflicts:     839000 | #Constraints:      84579
1934.72/1992.18	c #Conflicts:     840000 | #Constraints:      85579
1934.72/1992.18	c #Conflicts:     841000 | #Constraints:      86579
1934.72/1992.18	c #Conflicts:     842000 | #Constraints:      87579
2140.76/2201.18	c #Conflicts:     843000 | #Constraints:      88579
2140.76/2201.18	c #Conflicts:     844000 | #Constraints:      89579
2140.76/2201.18	c #Conflicts:     845000 | #Constraints:      90579
2140.76/2201.18	c #Conflicts:     846000 | #Constraints:      91579
2140.76/2201.18	c #Conflicts:     847000 | #Constraints:      92579
2140.76/2201.18	c #Conflicts:     848000 | #Constraints:      93579
2140.76/2201.18	c INPROCESSING
2140.76/2201.18	c GARBAGE COLLECT
2140.76/2201.18	c #Conflicts:     849000 | #Constraints:      60834
2140.76/2201.18	c #Conflicts:     850000 | #Constraints:      61834
2140.76/2201.18	c #Conflicts:     851000 | #Constraints:      62834
2140.76/2201.18	c #Conflicts:     852000 | #Constraints:      63834
2140.76/2201.18	c #Conflicts:     853000 | #Constraints:      64834
2140.76/2201.18	c #Conflicts:     854000 | #Constraints:      65834
2140.76/2201.18	c #Conflicts:     855000 | #Constraints:      66834
2140.76/2201.18	c #Conflicts:     856000 | #Constraints:      67834
2140.76/2201.18	c #Conflicts:     857000 | #Constraints:      68834
2140.76/2201.18	c #Conflicts:     858000 | #Constraints:      69834
2140.76/2201.18	c #Conflicts:     859000 | #Constraints:      70834
2140.76/2201.18	c #Conflicts:     860000 | #Constraints:      71834
2140.76/2201.18	c #Conflicts:     861000 | #Constraints:      72834
2140.76/2201.18	c #Conflicts:     862000 | #Constraints:      73834
2140.76/2201.18	c #Conflicts:     863000 | #Constraints:      74834
2140.76/2201.18	c #Conflicts:     864000 | #Constraints:      75834
2140.76/2201.18	c #Conflicts:     865000 | #Constraints:      76834
2140.76/2201.18	c #Conflicts:     866000 | #Constraints:      77834
2140.76/2201.18	c #Conflicts:     867000 | #Constraints:      78834
2140.76/2201.18	c #Conflicts:     868000 | #Constraints:      79834
2140.76/2201.18	c #Conflicts:     869000 | #Constraints:      80834
2140.76/2201.18	c #Conflicts:     870000 | #Constraints:      81834
2140.76/2201.18	c #Conflicts:     871000 | #Constraints:      82834
2140.76/2201.18	c #Conflicts:     872000 | #Constraints:      83834
2140.76/2201.18	c #Conflicts:     873000 | #Constraints:      84834
2140.76/2201.18	c #Conflicts:     874000 | #Constraints:      85834
2140.76/2201.18	c #Conflicts:     875000 | #Constraints:      86834
2140.76/2201.18	c #Conflicts:     876000 | #Constraints:      87834
2140.76/2201.18	c #Conflicts:     877000 | #Constraints:      88834
2140.76/2201.18	c #Conflicts:     878000 | #Constraints:      89834
2140.76/2201.18	c #Conflicts:     879000 | #Constraints:      90834
2140.76/2201.18	c #Conflicts:     880000 | #Constraints:      91834
2140.76/2201.18	c #Conflicts:     881000 | #Constraints:      92834
2140.76/2201.18	c #Conflicts:     882000 | #Constraints:      93834
2140.76/2201.18	c #Conflicts:     883000 | #Constraints:      94834
2140.76/2201.18	c #Conflicts:     884000 | #Constraints:      95834
2140.76/2201.18	c #Conflicts:     885000 | #Constraints:      96834
2140.76/2201.18	c #Conflicts:     886000 | #Constraints:      97834
2140.76/2201.18	c #Conflicts:     887000 | #Constraints:      98834
2140.76/2201.18	c #Conflicts:     888000 | #Constraints:      99834
2140.76/2201.18	c #Conflicts:     889000 | #Constraints:     100834
2140.76/2201.18	c #Conflicts:     890000 | #Constraints:     101834
2140.76/2201.18	c #Conflicts:     891000 | #Constraints:     102834
2140.76/2201.18	c #Conflicts:     892000 | #Constraints:     103834
2140.76/2201.18	c #Conflicts:     893000 | #Constraints:     104834
2140.76/2201.18	c #Conflicts:     894000 | #Constraints:     105834
2140.76/2201.18	c #Conflicts:     895000 | #Constraints:     106834
2140.76/2201.18	c #Conflicts:     896000 | #Constraints:     107834
2140.76/2201.18	c #Conflicts:     897000 | #Constraints:     108834
2140.76/2201.18	c #Conflicts:     898000 | #Constraints:     109834
2140.76/2201.18	c #Conflicts:     899000 | #Constraints:     110834
2140.76/2201.18	c #Conflicts:     900000 | #Constraints:     111834
2140.76/2201.18	c #Conflicts:     901000 | #Constraints:     112834
2140.76/2201.18	c #Conflicts:     902000 | #Constraints:     113834
2140.76/2201.18	c #Conflicts:     903000 | #Constraints:     114834
2140.76/2201.18	c #Conflicts:     904000 | #Constraints:     115834
2140.76/2201.18	c #Conflicts:     905000 | #Constraints:     116834
2140.76/2201.18	c #Conflicts:     906000 | #Constraints:     117834
2140.76/2201.18	c #Conflicts:     907000 | #Constraints:     118834
2140.76/2201.18	c #Conflicts:     908000 | #Constraints:     119834
2140.76/2201.18	c #Conflicts:     909000 | #Constraints:     120834
2140.76/2201.18	c #Conflicts:     910000 | #Constraints:     121834
2140.76/2201.18	c INPROCESSING
2140.76/2201.18	c GARBAGE COLLECT
2140.76/2201.18	c #Conflicts:     911000 | #Constraints:      72047
2140.76/2201.18	c #Conflicts:     912000 | #Constraints:      73047
2140.76/2201.18	c #Conflicts:     913000 | #Constraints:      74047
2140.76/2201.18	c #Conflicts:     914000 | #Constraints:      75047
2140.76/2201.18	c #Conflicts:     915000 | #Constraints:      76047
2140.76/2201.18	c #Conflicts:     916000 | #Constraints:      77047
2140.76/2201.18	c #Conflicts:     917000 | #Constraints:      78047
2140.76/2201.18	c #Conflicts:     918000 | #Constraints:      79047
2140.76/2201.18	c #Conflicts:     919000 | #Constraints:      80047
2140.76/2201.18	c #Conflicts:     920000 | #Constraints:      81047
2355.10/2425.19	c #Conflicts:     921000 | #Constraints:      82047
2355.10/2425.19	c #Conflicts:     922000 | #Constraints:      83047
2355.10/2425.19	c #Conflicts:     923000 | #Constraints:      84047
2355.10/2425.19	c #Conflicts:     924000 | #Constraints:      85047
2355.10/2425.19	c #Conflicts:     925000 | #Constraints:      86047
2355.10/2425.19	c #Conflicts:     926000 | #Constraints:      87047
2355.10/2425.19	c #Conflicts:     927000 | #Constraints:      88047
2355.10/2425.19	c #Conflicts:     928000 | #Constraints:      89047
2355.10/2425.19	c #Conflicts:     929000 | #Constraints:      90047
2355.10/2425.19	c #Conflicts:     930000 | #Constraints:      91047
2355.10/2425.19	c #Conflicts:     931000 | #Constraints:      92047
2355.10/2425.19	c #Conflicts:     932000 | #Constraints:      93047
2355.10/2425.19	c #Conflicts:     933000 | #Constraints:      94047
2355.10/2425.19	c #Conflicts:     934000 | #Constraints:      95047
2355.10/2425.19	c #Conflicts:     935000 | #Constraints:      96047
2355.10/2425.19	c #Conflicts:     936000 | #Constraints:      97047
2355.10/2425.19	c INPROCESSING
2355.10/2425.19	c GARBAGE COLLECT
2355.10/2425.19	c #Conflicts:     937000 | #Constraints:      62721
2355.10/2425.19	c #Conflicts:     938000 | #Constraints:      63721
2355.10/2425.19	c #Conflicts:     939000 | #Constraints:      64721
2355.10/2425.19	c #Conflicts:     940000 | #Constraints:      65721
2355.10/2425.19	c #Conflicts:     941000 | #Constraints:      66721
2355.10/2425.19	c #Conflicts:     942000 | #Constraints:      67721
2355.10/2425.19	c #Conflicts:     943000 | #Constraints:      68721
2355.10/2425.19	c #Conflicts:     944000 | #Constraints:      69721
2355.10/2425.19	c #Conflicts:     945000 | #Constraints:      70721
2355.10/2425.19	c #Conflicts:     946000 | #Constraints:      71721
2355.10/2425.19	c #Conflicts:     947000 | #Constraints:      72721
2355.10/2425.19	c #Conflicts:     948000 | #Constraints:      73721
2355.10/2425.19	c #Conflicts:     949000 | #Constraints:      74721
2355.10/2425.19	c #Conflicts:     950000 | #Constraints:      75721
2355.10/2425.19	c #Conflicts:     951000 | #Constraints:      76721
2355.10/2425.19	c #Conflicts:     952000 | #Constraints:      77721
2355.10/2425.19	c #Conflicts:     953000 | #Constraints:      78721
2355.10/2425.19	c #Conflicts:     954000 | #Constraints:      79721
2355.10/2425.19	c #Conflicts:     955000 | #Constraints:      80721
2355.10/2425.19	c #Conflicts:     956000 | #Constraints:      81721
2355.10/2425.19	c #Conflicts:     957000 | #Constraints:      82721
2355.10/2425.19	c #Conflicts:     958000 | #Constraints:      83721
2355.10/2425.19	c #Conflicts:     959000 | #Constraints:      84721
2355.10/2425.19	c #Conflicts:     960000 | #Constraints:      85721
2355.10/2425.19	c #Conflicts:     961000 | #Constraints:      86721
2355.10/2425.19	c #Conflicts:     962000 | #Constraints:      87721
2355.10/2425.19	c #Conflicts:     963000 | #Constraints:      88721
2355.10/2425.19	c #Conflicts:     964000 | #Constraints:      89721
2355.10/2425.19	c #Conflicts:     965000 | #Constraints:      90721
2355.10/2425.19	c #Conflicts:     966000 | #Constraints:      91721
2355.10/2425.19	c #Conflicts:     967000 | #Constraints:      92721
2355.10/2425.19	c #Conflicts:     968000 | #Constraints:      93721
2355.10/2425.19	c #Conflicts:     969000 | #Constraints:      94721
2355.10/2425.19	c #Conflicts:     970000 | #Constraints:      95721
2355.10/2425.19	c #Conflicts:     971000 | #Constraints:      96721
2355.10/2425.19	c #Conflicts:     972000 | #Constraints:      97721
2355.10/2425.19	c #Conflicts:     973000 | #Constraints:      98721
2355.10/2425.19	c #Conflicts:     974000 | #Constraints:      99721
2355.10/2425.19	c #Conflicts:     975000 | #Constraints:     100721
2355.10/2425.19	c #Conflicts:     976000 | #Constraints:     101721
2355.10/2425.19	c #Conflicts:     977000 | #Constraints:     102721
2355.10/2425.19	c #Conflicts:     978000 | #Constraints:     103721
2355.10/2425.19	c #Conflicts:     979000 | #Constraints:     104721
2355.10/2425.19	c #Conflicts:     980000 | #Constraints:     105721
2355.10/2425.19	c #Conflicts:     981000 | #Constraints:     106721
2355.10/2425.19	c #Conflicts:     982000 | #Constraints:     107721
2355.10/2425.19	c #Conflicts:     983000 | #Constraints:     108721
2355.10/2425.19	c #Conflicts:     984000 | #Constraints:     109721
2355.10/2425.19	c #Conflicts:     985000 | #Constraints:     110721
2355.10/2425.19	c #Conflicts:     986000 | #Constraints:     111721
2355.10/2425.19	c #Conflicts:     987000 | #Constraints:     112721
2355.10/2425.19	c #Conflicts:     988000 | #Constraints:     113721
2355.10/2425.19	c #Conflicts:     989000 | #Constraints:     114721
2355.10/2425.19	c #Conflicts:     990000 | #Constraints:     115721
2355.10/2425.19	c #Conflicts:     991000 | #Constraints:     116721
2355.10/2425.19	c #Conflicts:     992000 | #Constraints:     117721
2355.10/2425.19	c #Conflicts:     993000 | #Constraints:     118721
2355.10/2425.19	c #Conflicts:     994000 | #Constraints:     119721
2355.10/2425.19	c #Conflicts:     995000 | #Constraints:     120721
2355.10/2425.19	c #Conflicts:     996000 | #Constraints:     121721
2355.10/2425.19	c #Conflicts:     997000 | #Constraints:     122721
2355.10/2425.19	c #Conflicts:     998000 | #Constraints:     123721
2596.97/2670.88	c #Conflicts:     999000 | #Constraints:     124721
2596.97/2670.88	c #Conflicts:    1000000 | #Constraints:     125721
2596.97/2670.88	c #Conflicts:    1001000 | #Constraints:     126721
2596.97/2670.88	c INPROCESSING
2596.97/2670.88	c GARBAGE COLLECT
2596.97/2670.88	c #Conflicts:    1002000 | #Constraints:      74198
2596.97/2670.88	c #Conflicts:    1003000 | #Constraints:      75198
2596.97/2670.88	c #Conflicts:    1004000 | #Constraints:      76198
2596.97/2670.88	c #Conflicts:    1005000 | #Constraints:      77198
2596.97/2670.88	c #Conflicts:    1006000 | #Constraints:      78198
2596.97/2670.88	c #Conflicts:    1007000 | #Constraints:      79198
2596.97/2670.88	c #Conflicts:    1008000 | #Constraints:      80198
2596.97/2670.88	c #Conflicts:    1009000 | #Constraints:      81198
2596.97/2670.88	c #Conflicts:    1010000 | #Constraints:      82198
2596.97/2670.88	c #Conflicts:    1011000 | #Constraints:      83198
2596.97/2670.88	c #Conflicts:    1012000 | #Constraints:      84198
2596.97/2670.88	c #Conflicts:    1013000 | #Constraints:      85198
2596.97/2670.88	c #Conflicts:    1014000 | #Constraints:      86198
2596.97/2670.88	c #Conflicts:    1015000 | #Constraints:      87198
2596.97/2670.88	c #Conflicts:    1016000 | #Constraints:      88198
2596.97/2670.88	c #Conflicts:    1017000 | #Constraints:      89198
2596.97/2670.88	c #Conflicts:    1018000 | #Constraints:      90198
2596.97/2670.88	c #Conflicts:    1019000 | #Constraints:      91198
2596.97/2670.88	c #Conflicts:    1020000 | #Constraints:      92198
2596.97/2670.88	c #Conflicts:    1021000 | #Constraints:      93198
2596.97/2670.88	c #Conflicts:    1022000 | #Constraints:      94198
2596.97/2670.88	c #Conflicts:    1023000 | #Constraints:      95198
2596.97/2670.88	c #Conflicts:    1024000 | #Constraints:      96198
2596.97/2670.88	c #Conflicts:    1025000 | #Constraints:      97198
2596.97/2670.88	c #Conflicts:    1026000 | #Constraints:      98198
2596.97/2670.88	c #Conflicts:    1027000 | #Constraints:      99198
2596.97/2670.88	c #Conflicts:    1028000 | #Constraints:     100198
2596.97/2670.88	c #Conflicts:    1029000 | #Constraints:     101198
2596.97/2670.88	c INPROCESSING
2596.97/2670.88	c GARBAGE COLLECT
2596.97/2670.88	c #Conflicts:    1030000 | #Constraints:      64643
2596.97/2670.88	c #Conflicts:    1031000 | #Constraints:      65643
2596.97/2670.88	c #Conflicts:    1032000 | #Constraints:      66643
2596.97/2670.88	c #Conflicts:    1033000 | #Constraints:      67643
2596.97/2670.88	c #Conflicts:    1034000 | #Constraints:      68643
2596.97/2670.88	c #Conflicts:    1035000 | #Constraints:      69643
2596.97/2670.88	c #Conflicts:    1036000 | #Constraints:      70643
2596.97/2670.88	c #Conflicts:    1037000 | #Constraints:      71643
2596.97/2670.88	c #Conflicts:    1038000 | #Constraints:      72643
2596.97/2670.88	c #Conflicts:    1039000 | #Constraints:      73643
2596.97/2670.88	c #Conflicts:    1040000 | #Constraints:      74643
2596.97/2670.88	c #Conflicts:    1041000 | #Constraints:      75643
2596.97/2670.88	c #Conflicts:    1042000 | #Constraints:      76643
2596.97/2670.88	c #Conflicts:    1043000 | #Constraints:      77643
2596.97/2670.88	c #Conflicts:    1044000 | #Constraints:      78643
2596.97/2670.88	c #Conflicts:    1045000 | #Constraints:      79643
2596.97/2670.88	c #Conflicts:    1046000 | #Constraints:      80643
2596.97/2670.88	c #Conflicts:    1047000 | #Constraints:      81644
2596.97/2670.88	c #Conflicts:    1048000 | #Constraints:      82644
2596.97/2670.88	c #Conflicts:    1049000 | #Constraints:      83644
2596.97/2670.88	c #Conflicts:    1050000 | #Constraints:      84644
2596.97/2670.88	c #Conflicts:    1051000 | #Constraints:      85644
2596.97/2670.88	c #Conflicts:    1052000 | #Constraints:      86644
2596.97/2670.88	c #Conflicts:    1053000 | #Constraints:      87644
2596.97/2670.88	c #Conflicts:    1054000 | #Constraints:      88644
2596.97/2670.88	c #Conflicts:    1055000 | #Constraints:      89644
2596.97/2670.88	c #Conflicts:    1056000 | #Constraints:      90644
2596.97/2670.88	c #Conflicts:    1057000 | #Constraints:      91644
2596.97/2670.88	c #Conflicts:    1058000 | #Constraints:      92644
2596.97/2670.88	c #Conflicts:    1059000 | #Constraints:      93644
2596.97/2670.88	c #Conflicts:    1060000 | #Constraints:      94644
2596.97/2670.88	c #Conflicts:    1061000 | #Constraints:      95644
2596.97/2670.88	c #Conflicts:    1062000 | #Constraints:      96644
2596.97/2670.88	c #Conflicts:    1063000 | #Constraints:      97644
2596.97/2670.88	c #Conflicts:    1064000 | #Constraints:      98644
2596.97/2670.88	c #Conflicts:    1065000 | #Constraints:      99644
2596.97/2670.88	c #Conflicts:    1066000 | #Constraints:     100644
2596.97/2670.88	c #Conflicts:    1067000 | #Constraints:     101644
2596.97/2670.88	c #Conflicts:    1068000 | #Constraints:     102644
2596.97/2670.88	c #Conflicts:    1069000 | #Constraints:     103644
2596.97/2670.88	c #Conflicts:    1070000 | #Constraints:     104644
2596.97/2670.88	c #Conflicts:    1071000 | #Constraints:     105644
2596.97/2670.88	c #Conflicts:    1072000 | #Constraints:     106644
2596.97/2670.88	c #Conflicts:    1073000 | #Constraints:     107644
2596.97/2670.88	c #Conflicts:    1074000 | #Constraints:     108644
2596.97/2670.88	c #Conflicts:    1075000 | #Constraints:     109644
2871.17/2950.66	c #Conflicts:    1076000 | #Constraints:     110644
2871.17/2950.66	c #Conflicts:    1077000 | #Constraints:     111644
2871.17/2950.66	c #Conflicts:    1078000 | #Constraints:     112644
2871.17/2950.66	c #Conflicts:    1079000 | #Constraints:     113644
2871.17/2950.66	c #Conflicts:    1080000 | #Constraints:     114644
2871.17/2950.66	c #Conflicts:    1081000 | #Constraints:     115644
2871.17/2950.66	c #Conflicts:    1082000 | #Constraints:     116644
2871.17/2950.66	c #Conflicts:    1083000 | #Constraints:     117644
2871.17/2950.66	c #Conflicts:    1084000 | #Constraints:     118644
2871.17/2950.66	c #Conflicts:    1085000 | #Constraints:     119644
2871.17/2950.66	c #Conflicts:    1086000 | #Constraints:     120644
2871.17/2950.66	c #Conflicts:    1087000 | #Constraints:     121644
2871.17/2950.66	c #Conflicts:    1088000 | #Constraints:     122644
2871.17/2950.66	c #Conflicts:    1089000 | #Constraints:     123644
2871.17/2950.66	c #Conflicts:    1090000 | #Constraints:     124644
2871.17/2950.66	c #Conflicts:    1091000 | #Constraints:     125644
2871.17/2950.66	c #Conflicts:    1092000 | #Constraints:     126644
2871.17/2950.66	c #Conflicts:    1093000 | #Constraints:     127644
2871.17/2950.66	c #Conflicts:    1094000 | #Constraints:     128644
2871.17/2950.66	c #Conflicts:    1095000 | #Constraints:     129644
2871.17/2950.66	c #Conflicts:    1096000 | #Constraints:     130644
2871.17/2950.66	c #Conflicts:    1097000 | #Constraints:     131644
2871.17/2950.66	c #Conflicts:    1098000 | #Constraints:     132644
2871.17/2950.66	c INPROCESSING
2871.17/2950.66	c GARBAGE COLLECT
2871.17/2950.66	c #Conflicts:    1099000 | #Constraints:      77587
2871.17/2950.66	c #Conflicts:    1100000 | #Constraints:      78587
2871.17/2950.66	c #Conflicts:    1101000 | #Constraints:      79587
2871.17/2950.66	c #Conflicts:    1102000 | #Constraints:      80587
2871.17/2950.66	c #Conflicts:    1103000 | #Constraints:      81587
2871.17/2950.66	c #Conflicts:    1104000 | #Constraints:      82587
2871.17/2950.66	c #Conflicts:    1105000 | #Constraints:      83587
2871.17/2950.66	c #Conflicts:    1106000 | #Constraints:      84587
2871.17/2950.66	c #Conflicts:    1107000 | #Constraints:      85587
2871.17/2950.66	c #Conflicts:    1108000 | #Constraints:      86587
2871.17/2950.66	c #Conflicts:    1109000 | #Constraints:      87587
2871.17/2950.66	c #Conflicts:    1110000 | #Constraints:      88587
2871.17/2950.66	c #Conflicts:    1111000 | #Constraints:      89587
2871.17/2950.66	c #Conflicts:    1112000 | #Constraints:      90587
2871.17/2950.66	c #Conflicts:    1113000 | #Constraints:      91587
2871.17/2950.66	c #Conflicts:    1114000 | #Constraints:      92587
2871.17/2950.66	c #Conflicts:    1115000 | #Constraints:      93587
2871.17/2950.66	c #Conflicts:    1116000 | #Constraints:      94587
2871.17/2950.66	c #Conflicts:    1117000 | #Constraints:      95587
2871.17/2950.66	c #Conflicts:    1118000 | #Constraints:      96587
2871.17/2950.66	c #Conflicts:    1119000 | #Constraints:      97587
2871.17/2950.66	c #Conflicts:    1120000 | #Constraints:      98587
2871.17/2950.66	c #Conflicts:    1121000 | #Constraints:      99587
2871.17/2950.66	c #Conflicts:    1122000 | #Constraints:     100587
2871.17/2950.66	c #Conflicts:    1123000 | #Constraints:     101587
2871.17/2950.66	c #Conflicts:    1124000 | #Constraints:     102587
2871.17/2950.66	c #Conflicts:    1125000 | #Constraints:     103587
2871.17/2950.66	c #Conflicts:    1126000 | #Constraints:     104587
2871.17/2950.66	c #Conflicts:    1127000 | #Constraints:     105587
2871.17/2950.66	c INPROCESSING
2871.17/2950.66	c GARBAGE COLLECT
2871.17/2950.66	c #Conflicts:    1128000 | #Constraints:      66853
2871.17/2950.66	c #Conflicts:    1129000 | #Constraints:      67853
2871.17/2950.66	c #Conflicts:    1130000 | #Constraints:      68853
2871.17/2950.66	c #Conflicts:    1131000 | #Constraints:      69853
2871.17/2950.66	c #Conflicts:    1132000 | #Constraints:      70853
2871.17/2950.66	c #Conflicts:    1133000 | #Constraints:      71853
2871.17/2950.66	c #Conflicts:    1134000 | #Constraints:      72853
2871.17/2950.66	c #Conflicts:    1135000 | #Constraints:      73853
2871.17/2950.66	c #Conflicts:    1136000 | #Constraints:      74853
2871.17/2950.66	c #Conflicts:    1137000 | #Constraints:      75853
2871.17/2950.66	c #Conflicts:    1138000 | #Constraints:      76853
2871.17/2950.66	c #Conflicts:    1139000 | #Constraints:      77853
2871.17/2950.66	c #Conflicts:    1140000 | #Constraints:      78853
2871.17/2950.66	c #Conflicts:    1141000 | #Constraints:      79853
2871.17/2950.66	c #Conflicts:    1142000 | #Constraints:      80853
2871.17/2950.66	c #Conflicts:    1143000 | #Constraints:      81853
2871.17/2950.66	c #Conflicts:    1144000 | #Constraints:      82853
2871.17/2950.66	c #Conflicts:    1145000 | #Constraints:      83853
2871.17/2950.66	c #Conflicts:    1146000 | #Constraints:      84853
2871.17/2950.66	c #Conflicts:    1147000 | #Constraints:      85853
2871.17/2950.66	c #Conflicts:    1148000 | #Constraints:      86853
2871.17/2950.66	c #Conflicts:    1149000 | #Constraints:      87853
2871.17/2950.66	c #Conflicts:    1150000 | #Constraints:      88853
2871.17/2950.66	c #Conflicts:    1151000 | #Constraints:      89853
2871.17/2950.66	c #Conflicts:    1152000 | #Constraints:      90853
2871.17/2950.66	c #Conflicts:    1153000 | #Constraints:      91853
3216.52/3297.89	c #Conflicts:    1154000 | #Constraints:      92853
3216.52/3297.89	c #Conflicts:    1155000 | #Constraints:      93853
3216.52/3297.89	c #Conflicts:    1156000 | #Constraints:      94853
3216.52/3297.89	c #Conflicts:    1157000 | #Constraints:      95853
3216.52/3297.89	c #Conflicts:    1158000 | #Constraints:      96853
3216.52/3297.89	c #Conflicts:    1159000 | #Constraints:      97853
3216.52/3297.89	c #Conflicts:    1160000 | #Constraints:      98853
3216.52/3297.89	c #Conflicts:    1161000 | #Constraints:      99853
3216.52/3297.89	c #Conflicts:    1162000 | #Constraints:     100853
3216.52/3297.89	c #Conflicts:    1163000 | #Constraints:     101853
3216.52/3297.89	c #Conflicts:    1164000 | #Constraints:     102853
3216.52/3297.89	c #Conflicts:    1165000 | #Constraints:     103853
3216.52/3297.89	c #Conflicts:    1166000 | #Constraints:     104853
3216.52/3297.89	c #Conflicts:    1167000 | #Constraints:     105853
3216.52/3297.89	c #Conflicts:    1168000 | #Constraints:     106853
3216.52/3297.89	c #Conflicts:    1169000 | #Constraints:     107853
3216.52/3297.89	c #Conflicts:    1170000 | #Constraints:     108853
3216.52/3297.89	c #Conflicts:    1171000 | #Constraints:     109853
3216.52/3297.89	c #Conflicts:    1172000 | #Constraints:     110853
3216.52/3297.89	c #Conflicts:    1173000 | #Constraints:     111853
3216.52/3297.89	c #Conflicts:    1174000 | #Constraints:     112853
3216.52/3297.89	c #Conflicts:    1175000 | #Constraints:     113853
3216.52/3297.89	c #Conflicts:    1176000 | #Constraints:     114853
3216.52/3297.89	c #Conflicts:    1177000 | #Constraints:     115853
3216.52/3297.89	c #Conflicts:    1178000 | #Constraints:     116853
3216.52/3297.89	c #Conflicts:    1179000 | #Constraints:     117853
3216.52/3297.89	c #Conflicts:    1180000 | #Constraints:     118853
3216.52/3297.89	c #Conflicts:    1181000 | #Constraints:     119853
3216.52/3297.89	c #Conflicts:    1182000 | #Constraints:     120853
3216.52/3297.89	c #Conflicts:    1183000 | #Constraints:     121853
3216.52/3297.89	c #Conflicts:    1184000 | #Constraints:     122853
3216.52/3297.89	c #Conflicts:    1185000 | #Constraints:     123853
3216.52/3297.89	c #Conflicts:    1186000 | #Constraints:     124853
3216.52/3297.89	c #Conflicts:    1187000 | #Constraints:     125853
3216.52/3297.89	c #Conflicts:    1188000 | #Constraints:     126853
3216.52/3297.89	c #Conflicts:    1189000 | #Constraints:     127853
3216.52/3297.89	c #Conflicts:    1190000 | #Constraints:     128853
3216.52/3297.89	c #Conflicts:    1191000 | #Constraints:     129853
3216.52/3297.89	c #Conflicts:    1192000 | #Constraints:     130853
3216.52/3297.89	c #Conflicts:    1193000 | #Constraints:     131853
3216.52/3297.89	c #Conflicts:    1194000 | #Constraints:     132853
3216.52/3297.89	c #Conflicts:    1195000 | #Constraints:     133853
3216.52/3297.89	c #Conflicts:    1196000 | #Constraints:     134853
3216.52/3297.89	c #Conflicts:    1197000 | #Constraints:     135853
3216.52/3297.89	c #Conflicts:    1198000 | #Constraints:     136853
3216.52/3297.89	c INPROCESSING
3216.52/3297.89	c GARBAGE COLLECT
3216.52/3297.89	c rational objective 150.1
3438.15/3521.77	c #Conflicts:    1199000 | #Constraints:      79549
3438.15/3521.77	c #Conflicts:    1200000 | #Constraints:      80549
3438.15/3521.77	c #Conflicts:    1201000 | #Constraints:      81549
3438.15/3521.77	c #Conflicts:    1202000 | #Constraints:      82549
3438.15/3521.77	c #Conflicts:    1203000 | #Constraints:      83549
3438.15/3521.77	c #Conflicts:    1204000 | #Constraints:      84549
3438.15/3521.77	c #Conflicts:    1205000 | #Constraints:      85549
3438.15/3521.77	c #Conflicts:    1206000 | #Constraints:      86549
3438.15/3521.77	c #Conflicts:    1207000 | #Constraints:      87549
3438.15/3521.77	c #Conflicts:    1208000 | #Constraints:      88550
3438.15/3521.77	c #Conflicts:    1209000 | #Constraints:      89550
3438.15/3521.77	c #Conflicts:    1210000 | #Constraints:      90550
3438.15/3521.77	c #Conflicts:    1211000 | #Constraints:      91550
3438.15/3521.77	c #Conflicts:    1212000 | #Constraints:      92550
3438.15/3521.77	c #Conflicts:    1213000 | #Constraints:      93550
3438.15/3521.77	c #Conflicts:    1214000 | #Constraints:      94550
3438.15/3521.77	c #Conflicts:    1215000 | #Constraints:      95550
3438.15/3521.77	c #Conflicts:    1216000 | #Constraints:      96550
3438.15/3521.77	c #Conflicts:    1217000 | #Constraints:      97550
3438.15/3521.77	c #Conflicts:    1218000 | #Constraints:      98550
3438.15/3521.77	c #Conflicts:    1219000 | #Constraints:      99550
3438.15/3521.77	c #Conflicts:    1220000 | #Constraints:     100550
3438.15/3521.77	c #Conflicts:    1221000 | #Constraints:     101550
3438.15/3521.77	c #Conflicts:    1222000 | #Constraints:     102550
3438.15/3521.77	c #Conflicts:    1223000 | #Constraints:     103550
3438.15/3521.77	c #Conflicts:    1224000 | #Constraints:     104550
3438.15/3521.77	c #Conflicts:    1225000 | #Constraints:     105550
3438.15/3521.77	c #Conflicts:    1226000 | #Constraints:     106550
3438.15/3521.77	c #Conflicts:    1227000 | #Constraints:     107550
3438.15/3521.77	c #Conflicts:    1228000 | #Constraints:     108550
3438.15/3521.77	c INPROCESSING
3438.15/3521.77	c GARBAGE COLLECT
3438.15/3521.77	c #Conflicts:    1229000 | #Constraints:      68593
3438.15/3521.77	c #Conflicts:    1230000 | #Constraints:      69593
3438.15/3521.77	c #Conflicts:    1231000 | #Constraints:      70593
3438.15/3521.77	c #Conflicts:    1232000 | #Constraints:      71593
3438.15/3521.77	c #Conflicts:    1233000 | #Constraints:      72593
3438.15/3521.77	c #Conflicts:    1234000 | #Constraints:      73593
3438.15/3521.77	c #Conflicts:    1235000 | #Constraints:      74593
3438.15/3521.77	c #Conflicts:    1236000 | #Constraints:      75593
3438.15/3521.77	c #Conflicts:    1237000 | #Constraints:      76593
3438.15/3521.77	c #Conflicts:    1238000 | #Constraints:      77593
3438.15/3521.77	c #Conflicts:    1239000 | #Constraints:      78593
3438.15/3521.77	c #Conflicts:    1240000 | #Constraints:      79593
3438.15/3521.77	c #Conflicts:    1241000 | #Constraints:      80593
3438.15/3521.77	c #Conflicts:    1242000 | #Constraints:      81593
3438.15/3521.77	c #Conflicts:    1243000 | #Constraints:      82593
3438.15/3521.77	c #Conflicts:    1244000 | #Constraints:      83593
3438.15/3521.77	c #Conflicts:    1245000 | #Constraints:      84593
3438.15/3521.77	c #Conflicts:    1246000 | #Constraints:      85593
3438.15/3521.77	c #Conflicts:    1247000 | #Constraints:      86593
3438.15/3521.77	c #Conflicts:    1248000 | #Constraints:      87593
3438.15/3521.77	c #Conflicts:    1249000 | #Constraints:      88593
3438.15/3521.77	c #Conflicts:    1250000 | #Constraints:      89593
3438.15/3521.77	c #Conflicts:    1251000 | #Constraints:      90593
3438.15/3521.77	c #Conflicts:    1252000 | #Constraints:      91593
3438.15/3521.77	c #Conflicts:    1253000 | #Constraints:      92593
3438.15/3521.77	c #Conflicts:    1254000 | #Constraints:      93593
3438.15/3521.77	c #Conflicts:    1255000 | #Constraints:      94593
3438.15/3521.77	c #Conflicts:    1256000 | #Constraints:      95593
3438.15/3521.77	c #Conflicts:    1257000 | #Constraints:      96593
3438.15/3521.77	c #Conflicts:    1258000 | #Constraints:      97593
3438.15/3521.77	c #Conflicts:    1259000 | #Constraints:      98593
3438.15/3521.77	c #Conflicts:    1260000 | #Constraints:      99593
3438.15/3521.77	c #Conflicts:    1261000 | #Constraints:     100593
3438.15/3521.77	c #Conflicts:    1262000 | #Constraints:     101593
3438.15/3521.77	c #Conflicts:    1263000 | #Constraints:     102593
3438.15/3521.77	c #Conflicts:    1264000 | #Constraints:     103593
3438.15/3521.77	c #Conflicts:    1265000 | #Constraints:     104593
3438.15/3521.77	c #Conflicts:    1266000 | #Constraints:     105593
3438.15/3521.77	c #Conflicts:    1267000 | #Constraints:     106593
3438.15/3521.77	c #Conflicts:    1268000 | #Constraints:     107593
3438.15/3521.77	c #Conflicts:    1269000 | #Constraints:     108593
3438.15/3521.77	c #Conflicts:    1270000 | #Constraints:     109593
3438.15/3521.77	c #Conflicts:    1271000 | #Constraints:     110593
3438.15/3521.77	c #Conflicts:    1272000 | #Constraints:     111593
3438.15/3521.77	c #Conflicts:    1273000 | #Constraints:     112593
3438.15/3521.77	c #Conflicts:    1274000 | #Constraints:     113593
3438.15/3521.77	c #Conflicts:    1275000 | #Constraints:     114593
3438.15/3521.77	c #Conflicts:    1276000 | #Constraints:     115593
3438.15/3521.77	c #Conflicts:    1277000 | #Constraints:     116593
3600.02/3688.00	c #Conflicts:    1278000 | #Constraints:     117593
3600.02/3688.00	c #Conflicts:    1279000 | #Constraints:     118593
3600.02/3688.00	c #Conflicts:    1280000 | #Constraints:     119593
3600.02/3688.00	c #Conflicts:    1281000 | #Constraints:     120593
3600.02/3688.00	c #Conflicts:    1282000 | #Constraints:     121593
3600.02/3688.00	c #Conflicts:    1283000 | #Constraints:     122593
3600.02/3688.00	c #Conflicts:    1284000 | #Constraints:     123593
3600.02/3688.00	c #Conflicts:    1285000 | #Constraints:     124593
3600.02/3688.00	c #Conflicts:    1286000 | #Constraints:     125593
3600.02/3688.00	c #Conflicts:    1287000 | #Constraints:     126593
3600.02/3688.00	c #Conflicts:    1288000 | #Constraints:     127593
3600.02/3688.00	c #Conflicts:    1289000 | #Constraints:     128593
3600.02/3688.00	c #Conflicts:    1290000 | #Constraints:     129593
3600.02/3688.00	c #Conflicts:    1291000 | #Constraints:     130593
3600.02/3688.00	c #Conflicts:    1292000 | #Constraints:     131593
3600.02/3688.00	c #Conflicts:    1293000 | #Constraints:     132593
3600.02/3688.00	c #Conflicts:    1294000 | #Constraints:     133593
3600.02/3688.00	c #Conflicts:    1295000 | #Constraints:     134593
3600.02/3688.00	c #Conflicts:    1296000 | #Constraints:     135593
3600.02/3688.00	c #Conflicts:    1297000 | #Constraints:     136593
3600.02/3688.00	c #Conflicts:    1298000 | #Constraints:     137593
3600.02/3688.00	c #Conflicts:    1299000 | #Constraints:     138593
3600.02/3688.00	c #Conflicts:    1300000 | #Constraints:     139593
3600.02/3688.00	c #Conflicts:    1301000 | #Constraints:     140593
3600.02/3688.00	c #Conflicts:    1302000 | #Constraints:     141593
3600.02/3688.00	c #Conflicts:    1303000 | #Constraints:     142593
3600.02/3688.00	c INPROCESSING
3600.02/3688.00	c GARBAGE COLLECT
3600.02/3688.00	c #Conflicts:    1304000 | #Constraints:      82426
3600.02/3688.00	c #Conflicts:    1305000 | #Constraints:      83426
3600.02/3688.00	c #Conflicts:    1306000 | #Constraints:      84426
3600.02/3688.00	c #Conflicts:    1307000 | #Constraints:      85426
3600.02/3688.00	c #Conflicts:    1308000 | #Constraints:      86426
3600.02/3688.00	c #Conflicts:    1309000 | #Constraints:      87426
3600.02/3688.00	c #Conflicts:    1310000 | #Constraints:      88426
3600.02/3688.00	c #Conflicts:    1311000 | #Constraints:      89426
3600.02/3688.00	c #Conflicts:    1312000 | #Constraints:      90426
3600.02/3688.00	c #Conflicts:    1313000 | #Constraints:      91426
3600.02/3688.00	c #Conflicts:    1314000 | #Constraints:      92426
3600.02/3688.00	c #Conflicts:    1315000 | #Constraints:      93426
3600.02/3688.00	c #Conflicts:    1316000 | #Constraints:      94426
3600.02/3688.00	c #Conflicts:    1317000 | #Constraints:      95426
3600.02/3688.00	c #Conflicts:    1318000 | #Constraints:      96426
3600.02/3688.00	c #Conflicts:    1319000 | #Constraints:      97426
3600.02/3688.00	c #Conflicts:    1320000 | #Constraints:      98426
3600.02/3688.00	c #Conflicts:    1321000 | #Constraints:      99426
3600.02/3688.00	c #Conflicts:    1322000 | #Constraints:     100426
3600.02/3688.00	c #Conflicts:    1323000 | #Constraints:     101426
3600.02/3688.00	c #Conflicts:    1324000 | #Constraints:     102426
3600.02/3688.00	c #Conflicts:    1325000 | #Constraints:     103426
3600.02/3688.00	c #Conflicts:    1326000 | #Constraints:     104426
3600.02/3688.00	c #Conflicts:    1327000 | #Constraints:     105426
3600.02/3688.00	c #Conflicts:    1328000 | #Constraints:     106426
3600.02/3688.00	c #Conflicts:    1329000 | #Constraints:     107426
3600.02/3688.00	c #Conflicts:    1330000 | #Constraints:     108426
3600.02/3688.00	c cpu time 3569.91 s
3600.02/3688.00	c deterministic time 218999133031 2.19e+11
3600.02/3688.00	c optimization time 63.237 s
3600.02/3688.00	c total solve time 3506.53 s
3600.02/3688.00	c core-guided solve time 0 s
3600.02/3688.00	c propagation time 1683.82 s
3600.02/3688.00	c conflict analysis time 1394.27 s
3600.02/3688.00	c propagations 1316699310
3600.02/3688.00	c resolve steps 90226170
3600.02/3688.00	c decisions 24127223
3600.02/3688.00	c conflicts 1330031
3600.02/3688.00	c restarts 2556
3600.02/3688.00	c inprocessing phases 49
3600.02/3688.00	c garbage collections 49 ,( 100.00 )
3600.02/3688.00	c input clauses 18140 ,( 99.18 )
3600.02/3688.00	c input cardinalities 150 ,( 0.82 )
3600.02/3688.00	c input general constraints 0 ,( 0.00 )
3600.02/3688.00	c input average constraint length 6.40
3600.02/3688.00	c input average constraint degree 1.96
3600.02/3688.00	c learned clauses 987645 ,( 74.26 )
3600.02/3688.00	c learned cardinalities 40109 ,( 3.02 )
3600.02/3688.00	c learned general constraints 302284 ,( 22.73 )
3600.02/3688.00	c learned average constraint length 752.12
3600.02/3688.00	c learned average constraint degree 25778438.57
3600.02/3688.00	c watched  CF 32, 64, 128, Arb: 79007 , 0 , 0 , 0
3600.02/3688.00	c counting CF 32, 64, 128, Arb: 223277 , 0 , 0 , 0
3600.02/3688.00	c watched   constraints 79007 ,( 26.14 ) 
3600.02/3688.00	c counting  constraints 223277 ,( 73.86 ) 
3600.02/3688.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1273055956 , 592658920 , 1903469332 ,( 75408985 , 1828060347 )
3600.02/3688.00	c gcd simplifications 662
3600.02/3688.00	c detected cardinalities 5356
3600.02/3688.00	c weakened non-implied lits 380377846
3600.02/3688.00	c weakened non-implying lits 233471
3600.02/3688.00	c original variables 17895
3600.02/3688.00	c clausal propagations 604197170
3600.02/3688.00	c cardinality propagations 481247464
3600.02/3688.00	c watched propagations 4143261
3600.02/3688.00	c counting propagations 215595568
3600.02/3688.00	c watch lookups 79766377198
3600.02/3688.00	c watch backjump lookups 0
3600.02/3688.00	c watch checks 32593431268
3600.02/3688.00	c propagation checks 99185424159
3600.02/3688.00	c constraint additions 4770592677
3600.02/3688.00	c trail pops 1342142270
3600.02/3688.00	c formula constraints 18290
3600.02/3688.00	c learned constraints 1330023
3600.02/3688.00	c bound constraints 0
3600.02/3688.00	c core-guided constraints 0
3600.02/3688.00	c encountered formula constraints 59132203
3600.02/3688.00	c encountered learned constraints 32422976
3600.02/3688.00	c encountered bound constraints 0
3600.02/3688.00	c encountered core-guided constraints 0
3600.02/3688.00	c LP total time 469.358 s
3600.02/3688.00	c LP solve time 462.37 s
3600.02/3688.00	c LP constraints added 18509
3600.02/3688.00	c LP constraints removed 0
3600.02/3688.00	c LP pivots internal 137550
3600.02/3688.00	c LP pivots root 201375
3600.02/3688.00	c LP calls 16
3600.02/3688.00	c LP optimalities 2
3600.02/3688.00	c LP no pivot count 0
3600.02/3688.00	c LP infeasibilities 7
3600.02/3688.00	c LP valid Farkas constraints 7
3600.02/3688.00	c LP learned Farkas constraints 7
3600.02/3688.00	c LP basis resets 0
3600.02/3688.00	c LP cycling count 0
3600.02/3688.00	c LP singular count 0
3600.02/3688.00	c LP no primal count 0
3600.02/3688.00	c LP no farkas count 0
3600.02/3688.00	c LP other issue count 0
3600.02/3688.00	c LP Gomory cuts 1
3600.02/3688.00	c LP learned cuts 218
3600.02/3688.00	c LP deleted cuts 0
3600.02/3688.00	c LP encountered Gomory constraints 0
3600.02/3688.00	c LP encountered Farkas constraints 961
3600.02/3688.00	c LP encountered learned Farkas constraints 54
3600.02/3688.00	c CG auxiliary variables introduced 0
3600.02/3688.00	c CG solutions found 0
3600.02/3688.00	c CG cores constructed 0
3600.02/3688.00	c CG core cardinality constraints returned 0
3600.02/3688.00	c CG unit cores 0
3600.02/3688.00	c CG single cores 0
3600.02/3688.00	c CG blocks removed during cardinality reduction 0
3600.02/3688.00	c CG first core best 0
3600.02/3688.00	c CG decision core best 0
3600.02/3688.00	c CG core reduction tie 0
3600.02/3688.00	c CG core degree average 0.00
3600.02/3688.00	c CG core slack average 0.00
3600.02/3688.00	c CG core upper bound improvements 0
3600.02/3688.00	c STR number of successful calls 0
3600.02/3688.00	c STR number of unsuccessful calls 0
3600.02/3688.00	c STR number of inconclusive calls 0
3600.02/3688.00	c STR number of successful attempts 0
3600.02/3688.00	c STR number of unsuccessful attempts 0
3600.02/3688.00	c STR number of inconclusive attempts 0
3600.02/3688.00	c STR average degree increase per successful call inf
3600.02/3688.00	c STR average degree increase per successful attempt inf
3600.02/3688.00	c STR total number of conflicts for successful attempts 0
3600.02/3688.00	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3688.00	c STR total number of conflicts for inconclusive attempts 0
3600.02/3688.00	c STR average number of conflicts per successful attempt inf
3600.02/3688.00	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3688.00	c STR average number of conflicts per inconclusive attempt inf
3600.02/3688.00	c AVG.sumWPerc 65.72 
3600.02/3688.00	c bigint constraints 0 
3600.02/3688.00	s UNKNOWN
3600.02/3688.00	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59731 MiB free)
  memory of node 1: 64507 MiB (50795 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=22905, runsolver pid=22902

[startup+0.100061 s]*
/proc/loadavg: 4.39 4.17 4.11 5/269 22907
/proc/meminfo: memFree=113144644/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2688 CPUtime=0 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33084192 4292608 672 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 672 640 219 0 110 0
[pid=22907] ppid=22905 vsize=38580 memory=27548 CPUtime=0.08 cores=4,6
/proc/22907/stat : 22907 (pbsuma) D 22905 22905 22578 0 -1 4194304 11109 0 0 0 7 1 0 0 20 0 1 0 33084193 39505920 6887 18446744073709551615 4210688 4653049 140728124901520 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 4700520 4703148 5201920 140728124909795 140728124910130 140728124910130 140728124915695 0
/proc/22907/statm: 9645 6887 1024 108 0 7053 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42772 KiB
Current children cumulated memory: 30236 KiB

[startup+0.206274 s]*
/proc/loadavg: 4.39 4.17 4.11 5/269 22908
/proc/meminfo: memFree=113124188/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=67492 memory=22496 CPUtime=0.09 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 3417 0 0 0 8 1 0 0 20 0 1 0 33084203 69111808 5624 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 16873 5624 2048 1147 0 4300 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71684 KiB
Current children cumulated memory: 25312 KiB

[startup+0.305652 s]*
/proc/loadavg: 4.39 4.17 4.11 5/269 22908
/proc/meminfo: memFree=113199964/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=107668 memory=54228 CPUtime=0.18 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 11095 0 0 0 16 2 0 0 20 0 1 0 33084203 110252032 13557 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 26917 13557 2304 1147 0 14344 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 111860 KiB
Current children cumulated memory: 57044 KiB

[startup+0.700194 s]
/proc/loadavg: 4.39 4.17 4.11 5/269 22908
/proc/meminfo: memFree=113597276/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=111468 memory=57428 CPUtime=0.57 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 11853 0 0 0 54 3 0 0 20 0 1 0 33084203 114143232 14357 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 27867 14357 2336 1147 0 15294 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 115660 KiB
Current children cumulated memory: 60244 KiB

[startup+1.50013 s]
/proc/loadavg: 4.39 4.17 4.11 5/265 22926
/proc/meminfo: memFree=115677080/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=111468 memory=57428 CPUtime=1.37 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 11853 0 0 0 134 3 0 0 20 0 1 0 33084203 114143232 14357 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 27867 14357 2336 1147 0 15294 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115660 KiB
Current children cumulated memory: 60244 KiB

[startup+3.10532 s]
/proc/loadavg: 4.39 4.17 4.11 5/270 22955
/proc/meminfo: memFree=116472068/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=114956 memory=61140 CPUtime=2.97 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 12800 0 0 0 293 4 0 0 20 0 1 0 33084203 117714944 15285 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 28739 15285 2336 1147 0 16166 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 119148 KiB
Current children cumulated memory: 63956 KiB

[startup+6.30015 s]
/proc/loadavg: 4.36 4.16 4.11 5/270 22955
/proc/meminfo: memFree=116455576/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=119664 memory=68784 CPUtime=6.16 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 14145 0 0 0 604 12 0 0 20 0 1 0 33084203 122535936 17196 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 29916 17196 2368 1147 0 17343 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 123856 KiB
Current children cumulated memory: 71600 KiB

[startup+12.7001 s]
/proc/loadavg: 4.41 4.18 4.12 6/270 22955
/proc/meminfo: memFree=116407396/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=128620 memory=77656 CPUtime=12.54 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 15905 0 0 0 1229 25 0 0 20 0 1 0 33084203 131706880 19414 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 32155 19414 2368 1147 0 19582 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 132812 KiB
Current children cumulated memory: 80472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.17 4.12 5/270 22955
/proc/meminfo: memFree=116303812/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=141824 memory=90348 CPUtime=25.31 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 18572 0 0 0 2479 52 0 0 20 0 1 0 33084203 145227776 22587 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 35456 22587 2368 1147 0 22883 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 146016 KiB
Current children cumulated memory: 93164 KiB

[startup+51.1054 s]
/proc/loadavg: 4.28 4.17 4.12 5/270 23050
/proc/meminfo: memFree=129539064/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=176744 memory=120120 CPUtime=50.84 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 23440 0 0 0 4980 104 0 0 20 0 1 0 33084203 180985856 30030 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 44186 30030 2368 1147 0 31613 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 180936 KiB
Current children cumulated memory: 122936 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/270 23053
/proc/meminfo: memFree=128929516/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=227728 memory=164092 CPUtime=101.77 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 31745 0 0 0 9998 179 0 0 20 0 1 0 33084203 233193472 41023 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 56932 41023 2368 1147 0 44359 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 231920 KiB
Current children cumulated memory: 166908 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/271 23058
/proc/meminfo: memFree=128375216/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=244828 memory=194264 CPUtime=158.11 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 36080 0 0 0 15545 266 0 0 20 0 1 0 33084203 250703872 48566 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 61207 48566 2368 1147 0 48634 0
Current children cumulated CPU time: 158.19 s
Current children cumulated vsize: 249020 KiB
Current children cumulated memory: 197080 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 23059
/proc/meminfo: memFree=127836668/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=298884 memory=229452 CPUtime=217.8 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 42300 0 0 0 21412 368 0 0 20 0 1 0 33084203 306057216 57363 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 74721 57363 2400 1147 0 62148 0

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

/proc/22908/statm: 263361 234561 2400 1147 0 250788 0
Current children cumulated CPU time: 3021.64 s
Current children cumulated vsize: 1057636 KiB
Current children cumulated memory: 941060 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 23220
/proc/meminfo: memFree=106777972/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1066712 memory=947332 CPUtime=3081.32 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 110160 0 0 0 305460 2672 0 0 20 0 1 0 33084203 1092313088 236833 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 266678 236833 2400 1147 0 254105 0
Current children cumulated CPU time: 3081.4 s
Current children cumulated vsize: 1070904 KiB
Current children cumulated memory: 950148 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23222
/proc/meminfo: memFree=106472928/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1069684 memory=949636 CPUtime=3141.16 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 110709 0 0 0 311429 2687 0 0 20 0 1 0 33084203 1095356416 237409 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 267421 237409 2400 1147 0 254848 0
Current children cumulated CPU time: 3141.24 s
Current children cumulated vsize: 1073876 KiB
Current children cumulated memory: 952452 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 23225
/proc/meminfo: memFree=106174340/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1072596 memory=952708 CPUtime=3200.98 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 111503 0 0 0 317398 2700 0 0 20 0 1 0 33084203 1098338304 238177 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 268149 238177 2400 1147 0 255576 0
Current children cumulated CPU time: 3201.06 s
Current children cumulated vsize: 1076788 KiB
Current children cumulated memory: 955524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 23227
/proc/meminfo: memFree=105709412/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1123784 memory=1004680 CPUtime=3260.81 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 123976 0 0 0 323338 2743 0 0 20 0 1 0 33084203 1150754816 251170 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 280946 251170 2400 1147 0 268373 0
Current children cumulated CPU time: 3260.89 s
Current children cumulated vsize: 1127976 KiB
Current children cumulated memory: 1007496 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 23230
/proc/meminfo: memFree=105352248/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1123784 memory=1004680 CPUtime=3319.86 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 123981 0 0 0 329204 2782 0 0 20 0 1 0 33084203 1150754816 251170 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 280946 251170 2400 1147 0 268373 0
Current children cumulated CPU time: 3319.94 s
Current children cumulated vsize: 1127976 KiB
Current children cumulated memory: 1007496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 23232
/proc/meminfo: memFree=104987212/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1123784 memory=1005064 CPUtime=3379.6 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 124072 0 0 0 335115 2845 0 0 20 0 1 0 33084203 1150754816 251266 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 280946 251266 2400 1147 0 268373 0
Current children cumulated CPU time: 3379.68 s
Current children cumulated vsize: 1127976 KiB
Current children cumulated memory: 1007880 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/272 23237
/proc/meminfo: memFree=104667072/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1123784 memory=1005064 CPUtime=3438.67 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 124345 0 0 0 340979 2888 0 0 20 0 1 0 33084203 1150754816 251266 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 280946 251266 2400 1147 0 268373 0
Current children cumulated CPU time: 3438.75 s
Current children cumulated vsize: 1127976 KiB
Current children cumulated memory: 1007880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/271 23242
/proc/meminfo: memFree=104273048/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1123784 memory=1005064 CPUtime=3495.68 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 124369 0 0 0 346642 2926 0 0 20 0 1 0 33084203 1150754816 251266 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 280946 251266 2400 1147 0 268373 0
Current children cumulated CPU time: 3495.76 s
Current children cumulated vsize: 1127976 KiB
Current children cumulated memory: 1007880 KiB

[startup+3642.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/271 23244
/proc/meminfo: memFree=103855372/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1130428 memory=1010184 CPUtime=3554.46 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 125652 0 0 0 352473 2973 0 0 20 0 1 0 33084203 1157558272 252546 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 282607 252546 2400 1147 0 270034 0
Current children cumulated CPU time: 3554.54 s
Current children cumulated vsize: 1134620 KiB
Current children cumulated memory: 1013000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3688 s]*
/proc/loadavg: 4.12 4.14 4.10 4/265 23271
/proc/meminfo: memFree=104482748/131250000 swapFree=33010684/33010684
[pid=22905] ppid=22902 vsize=4192 memory=2816 CPUtime=0.08 cores=4,6
/proc/22905/stat : 22905 (run-dec-break-l) S 22902 22905 22578 0 -1 4194304 238 11112 0 0 0 0 7 1 20 0 1 0 33084192 4292608 704 18446744073709551615 94231136174080 94231137068613 140733180824384 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94231137307664 94231137355408 94231154368512 140733180832021 140733180832222 140733180832222 140733180837824 0
/proc/22905/statm: 1048 704 672 219 0 110 0
[pid=22908] ppid=22905 vsize=1130428 memory=1010184 CPUtime=3599.94 cores=4,6
/proc/22908/stat : 22908 (roundingsat) R 22905 22905 22578 0 -1 4194304 125652 0 0 0 356990 3004 0 0 20 0 1 0 33084203 1157558272 252546 18446744073709551615 4227072 8923433 140730954325824 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16261120 140730954328308 140730954328616 140730954328616 140730954334186 0
/proc/22908/statm: 282607 252546 2400 1147 0 270034 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1134620 KiB
Current children cumulated memory: 1013000 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.078563 s, system=0.018311 s

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

# cumulated CPU time of all completed processes:  user=3570 s, system=30.0766 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): 3688.07
CPU time (s): 3600.07
CPU user time (s): 3570
CPU system time (s): 30.0766
CPU usage (%): 97.614
Max. virtual memory (cumulated for all children) (KiB): 1134620
Max. memory (cumulated for all children) (KiB): 1013000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570
system time used= 30.0766
maximum resident set size= 1010440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11694512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 882
involuntary context switches= 5746


# summary of solver processes directly reported to runsolver:
#   pid: 22905,22908
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3570
#   total CPU system time (s): 30.0766

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9477 second user time and 15.2249 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 07:13:59
IDJOB=4507089
IDBENCH=158322
IDSOLVER=3358
FILE ID=nodeC013/4507089-1751174039
RUNJOBID= nodeC013-1751170426-22589
SLURM_JOB_ID= 9587527
Free space on /tmp= 432512 MiB

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

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=2091039403

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        113179924 kB
MemAvailable:   125375648 kB
Buffers:            3280 kB
Cached:         12987296 kB
SwapCached:            0 kB
Active:          4710584 kB
Inactive:       12778432 kB
Active(anon):    4511764 kB
Inactive(anon):        0 kB
Active(file):     198820 kB
Inactive(file): 12778432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            113460 kB
Writeback:             0 kB
AnonPages:       4498732 kB
Mapped:           110736 kB
Shmem:             13284 kB
KReclaimable:     115024 kB
Slab:             203736 kB
SReclaimable:     115024 kB
SUnreclaim:        88712 kB
KernelStack:        4336 kB
PageTables:        12008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5233764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3629056 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC013 at 2025-06-29 08:15:28