Trace number 4507374

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-ls 63f22ad? (TO) 3600.03 3611.31

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
MD5SUM5359c0df8e4997707ebdbb5ef15bc818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.62353
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
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 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.14	c #variables 6664 #constraints 6862
40.56/40.80	c #Conflicts:       1000 | #Constraints:       7861
40.56/40.80	c #Conflicts:       2000 | #Constraints:       8861
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:       3000 | #Constraints:       8552
40.56/40.80	c #Conflicts:       4000 | #Constraints:       9552
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:       5000 | #Constraints:       9025
40.56/40.80	c #Conflicts:       6000 | #Constraints:      10025
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:       7000 | #Constraints:       9062
40.56/40.80	c #Conflicts:       8000 | #Constraints:      10062
40.56/40.80	c #Conflicts:       9000 | #Constraints:      11062
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      10000 | #Constraints:       9805
40.56/40.80	c #Conflicts:      11000 | #Constraints:      10805
40.56/40.80	c #Conflicts:      12000 | #Constraints:      11805
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      13000 | #Constraints:      10297
40.56/40.80	c #Conflicts:      14000 | #Constraints:      11297
40.56/40.80	c #Conflicts:      15000 | #Constraints:      12297
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      16000 | #Constraints:      10578
40.56/40.80	c #Conflicts:      17000 | #Constraints:      11578
40.56/40.80	c #Conflicts:      18000 | #Constraints:      12578
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      19000 | #Constraints:      10626
40.56/40.80	c #Conflicts:      20000 | #Constraints:      11626
40.56/40.80	c #Conflicts:      21000 | #Constraints:      12626
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      22000 | #Constraints:      10442
40.56/40.80	c #Conflicts:      23000 | #Constraints:      11442
40.56/40.80	c #Conflicts:      24000 | #Constraints:      12442
40.56/40.80	c #Conflicts:      25000 | #Constraints:      13442
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      26000 | #Constraints:      11062
40.56/40.80	c #Conflicts:      27000 | #Constraints:      12062
40.56/40.80	c #Conflicts:      28000 | #Constraints:      13062
40.56/40.80	c #Conflicts:      29000 | #Constraints:      14062
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      30000 | #Constraints:      11479
40.56/40.80	c #Conflicts:      31000 | #Constraints:      12479
40.56/40.80	c #Conflicts:      32000 | #Constraints:      13479
40.56/40.80	c #Conflicts:      33000 | #Constraints:      14479
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      34000 | #Constraints:      11685
40.56/40.80	c #Conflicts:      35000 | #Constraints:      12685
40.56/40.80	c #Conflicts:      36000 | #Constraints:      13685
40.56/40.80	c #Conflicts:      37000 | #Constraints:      14685
40.56/40.80	c #Conflicts:      38000 | #Constraints:      15685
40.56/40.80	c #Conflicts:      39000 | #Constraints:      16685
40.56/40.80	c #Conflicts:      40000 | #Constraints:      17685
40.56/40.80	c #Conflicts:      41000 | #Constraints:      18685
40.56/40.80	c #Conflicts:      42000 | #Constraints:      19685
40.56/40.80	c #Conflicts:      43000 | #Constraints:      20685
40.56/40.80	c #Conflicts:      44000 | #Constraints:      21685
40.56/40.80	c #Conflicts:      45000 | #Constraints:      22685
40.56/40.80	c #Conflicts:      46000 | #Constraints:      23685
40.56/40.80	c #Conflicts:      47000 | #Constraints:      24685
40.56/40.80	c #Conflicts:      48000 | #Constraints:      25685
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c #Conflicts:      49000 | #Constraints:      17335
40.56/40.80	c #Conflicts:      50000 | #Constraints:      18335
40.56/40.80	c #Conflicts:      51000 | #Constraints:      19335
40.56/40.80	c #Conflicts:      52000 | #Constraints:      20335
40.56/40.80	c #Conflicts:      53000 | #Constraints:      21335
40.56/40.80	c INPROCESSING
40.56/40.80	c GARBAGE COLLECT
40.56/40.80	c rational objective 98
96.90/97.34	c #Conflicts:      54000 | #Constraints:      15068
96.90/97.34	c #Conflicts:      55000 | #Constraints:      16068
96.90/97.34	c #Conflicts:      56000 | #Constraints:      17068
96.90/97.34	c #Conflicts:      57000 | #Constraints:      18068
96.90/97.34	c #Conflicts:      58000 | #Constraints:      19068
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:      59000 | #Constraints:      13669
96.90/97.34	c #Conflicts:      60000 | #Constraints:      14669
96.90/97.34	c #Conflicts:      61000 | #Constraints:      15669
96.90/97.34	c #Conflicts:      62000 | #Constraints:      16669
96.90/97.34	c #Conflicts:      63000 | #Constraints:      17669
96.90/97.34	c #Conflicts:      64000 | #Constraints:      18669
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:      65000 | #Constraints:      13591
96.90/97.34	c #Conflicts:      66000 | #Constraints:      14591
96.90/97.34	c #Conflicts:      67000 | #Constraints:      15591
96.90/97.34	c #Conflicts:      68000 | #Constraints:      16591
96.90/97.34	c #Conflicts:      69000 | #Constraints:      17591
96.90/97.34	c #Conflicts:      70000 | #Constraints:      18591
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:      71000 | #Constraints:      13667
96.90/97.34	c #Conflicts:      72000 | #Constraints:      14667
96.90/97.34	c #Conflicts:      73000 | #Constraints:      15667
96.90/97.34	c #Conflicts:      74000 | #Constraints:      16667
96.90/97.34	c #Conflicts:      75000 | #Constraints:      17667
96.90/97.34	c #Conflicts:      76000 | #Constraints:      18667
96.90/97.34	c #Conflicts:      77000 | #Constraints:      19667
96.90/97.34	c #Conflicts:      78000 | #Constraints:      20667
96.90/97.34	c #Conflicts:      79000 | #Constraints:      21667
96.90/97.34	c #Conflicts:      80000 | #Constraints:      22667
96.90/97.34	c #Conflicts:      81000 | #Constraints:      23667
96.90/97.34	c #Conflicts:      82000 | #Constraints:      24667
96.90/97.34	c #Conflicts:      83000 | #Constraints:      25667
96.90/97.34	c #Conflicts:      84000 | #Constraints:      26667
96.90/97.34	c #Conflicts:      85000 | #Constraints:      27667
96.90/97.34	c #Conflicts:      86000 | #Constraints:      28667
96.90/97.34	c #Conflicts:      87000 | #Constraints:      29667
96.90/97.34	c #Conflicts:      88000 | #Constraints:      30667
96.90/97.34	c #Conflicts:      89000 | #Constraints:      31667
96.90/97.34	c #Conflicts:      90000 | #Constraints:      32667
96.90/97.34	c #Conflicts:      91000 | #Constraints:      33667
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:      92000 | #Constraints:      21037
96.90/97.34	c #Conflicts:      93000 | #Constraints:      22037
96.90/97.34	c #Conflicts:      94000 | #Constraints:      23037
96.90/97.34	c #Conflicts:      95000 | #Constraints:      24037
96.90/97.34	c #Conflicts:      96000 | #Constraints:      25037
96.90/97.34	c #Conflicts:      97000 | #Constraints:      26037
96.90/97.34	c #Conflicts:      98000 | #Constraints:      27037
96.90/97.34	c #Conflicts:      99000 | #Constraints:      28037
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:     100000 | #Constraints:      18603
96.90/97.34	c #Conflicts:     101000 | #Constraints:      19603
96.90/97.34	c #Conflicts:     102000 | #Constraints:      20603
96.90/97.34	c #Conflicts:     103000 | #Constraints:      21603
96.90/97.34	c #Conflicts:     104000 | #Constraints:      22603
96.90/97.34	c #Conflicts:     105000 | #Constraints:      23603
96.90/97.34	c #Conflicts:     106000 | #Constraints:      24603
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:     107000 | #Constraints:      16698
96.90/97.34	c #Conflicts:     108000 | #Constraints:      17698
96.90/97.34	c #Conflicts:     109000 | #Constraints:      18698
96.90/97.34	c #Conflicts:     110000 | #Constraints:      19698
96.90/97.34	c #Conflicts:     111000 | #Constraints:      20698
96.90/97.34	c #Conflicts:     112000 | #Constraints:      21698
96.90/97.34	c #Conflicts:     113000 | #Constraints:      22698
96.90/97.34	c #Conflicts:     114000 | #Constraints:      23698
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:     115000 | #Constraints:      16466
96.90/97.34	c #Conflicts:     116000 | #Constraints:      17466
96.90/97.34	c #Conflicts:     117000 | #Constraints:      18466
96.90/97.34	c #Conflicts:     118000 | #Constraints:      19466
96.90/97.34	c #Conflicts:     119000 | #Constraints:      20466
96.90/97.34	c #Conflicts:     120000 | #Constraints:      21466
96.90/97.34	c #Conflicts:     121000 | #Constraints:      22466
96.90/97.34	c INPROCESSING
96.90/97.34	c GARBAGE COLLECT
96.90/97.34	c #Conflicts:     122000 | #Constraints:      15468
96.90/97.34	c #Conflicts:     123000 | #Constraints:      16468
96.90/97.34	c #Conflicts:     124000 | #Constraints:      17468
96.90/97.34	c #Conflicts:     125000 | #Constraints:      18468
96.90/97.34	c #Conflicts:     126000 | #Constraints:      19468
96.90/97.34	c #Conflicts:     127000 | #Constraints:      20468
140.86/141.40	c #Conflicts:     128000 | #Constraints:      21468
140.86/141.40	c #Conflicts:     129000 | #Constraints:      22468
140.86/141.40	c #Conflicts:     130000 | #Constraints:      23468
140.86/141.40	c #Conflicts:     131000 | #Constraints:      24468
140.86/141.40	c #Conflicts:     132000 | #Constraints:      25468
140.86/141.40	c #Conflicts:     133000 | #Constraints:      26468
140.86/141.40	c #Conflicts:     134000 | #Constraints:      27468
140.86/141.40	c #Conflicts:     135000 | #Constraints:      28468
140.86/141.40	c #Conflicts:     136000 | #Constraints:      29468
140.86/141.40	c #Conflicts:     137000 | #Constraints:      30468
140.86/141.40	c #Conflicts:     138000 | #Constraints:      31468
140.86/141.40	c #Conflicts:     139000 | #Constraints:      32468
140.86/141.40	c #Conflicts:     140000 | #Constraints:      33468
140.86/141.40	c #Conflicts:     141000 | #Constraints:      34468
140.86/141.40	c #Conflicts:     142000 | #Constraints:      35468
140.86/141.40	c #Conflicts:     143000 | #Constraints:      36468
140.86/141.40	c #Conflicts:     144000 | #Constraints:      37468
140.86/141.40	c #Conflicts:     145000 | #Constraints:      38468
140.86/141.40	c #Conflicts:     146000 | #Constraints:      39468
140.86/141.40	c #Conflicts:     147000 | #Constraints:      40468
140.86/141.40	c #Conflicts:     148000 | #Constraints:      41468
140.86/141.40	c #Conflicts:     149000 | #Constraints:      42468
140.86/141.40	c INPROCESSING
140.86/141.40	c GARBAGE COLLECT
140.86/141.40	c #Conflicts:     150000 | #Constraints:      25556
140.86/141.40	c #Conflicts:     151000 | #Constraints:      26556
140.86/141.40	c #Conflicts:     152000 | #Constraints:      27556
140.86/141.40	c #Conflicts:     153000 | #Constraints:      28556
140.86/141.40	c #Conflicts:     154000 | #Constraints:      29556
140.86/141.40	c #Conflicts:     155000 | #Constraints:      30556
140.86/141.40	c #Conflicts:     156000 | #Constraints:      31556
140.86/141.40	c #Conflicts:     157000 | #Constraints:      32556
140.86/141.40	c #Conflicts:     158000 | #Constraints:      33556
140.86/141.40	c INPROCESSING
140.86/141.40	c GARBAGE COLLECT
140.86/141.40	c #Conflicts:     159000 | #Constraints:      21077
140.86/141.40	c #Conflicts:     160000 | #Constraints:      22077
140.86/141.40	c #Conflicts:     161000 | #Constraints:      23077
140.86/141.40	c #Conflicts:     162000 | #Constraints:      24077
140.86/141.40	c #Conflicts:     163000 | #Constraints:      25077
140.86/141.40	c #Conflicts:     164000 | #Constraints:      26077
140.86/141.40	c #Conflicts:     165000 | #Constraints:      27077
140.86/141.40	c #Conflicts:     166000 | #Constraints:      28077
140.86/141.40	c #Conflicts:     167000 | #Constraints:      29077
140.86/141.40	c #Conflicts:     168000 | #Constraints:      30077
140.86/141.40	c INPROCESSING
140.86/141.40	c GARBAGE COLLECT
140.86/141.40	c rational objective 98
153.43/154.07	c #Conflicts:     169000 | #Constraints:      19716
153.43/154.07	c #Conflicts:     170000 | #Constraints:      20716
153.43/154.07	c #Conflicts:     171000 | #Constraints:      21716
153.43/154.07	c #Conflicts:     172000 | #Constraints:      22716
153.43/154.07	c #Conflicts:     173000 | #Constraints:      23716
153.43/154.07	c #Conflicts:     174000 | #Constraints:      24716
153.43/154.07	c #Conflicts:     175000 | #Constraints:      25716
153.43/154.07	c #Conflicts:     176000 | #Constraints:      26716
153.43/154.07	c #Conflicts:     177000 | #Constraints:      27716
153.43/154.07	c INPROCESSING
153.43/154.07	c GARBAGE COLLECT
153.43/154.07	c rational objective 98
241.66/242.58	c #Conflicts:     178000 | #Constraints:      18234
241.66/242.58	c #Conflicts:     179000 | #Constraints:      19234
241.66/242.58	c #Conflicts:     180000 | #Constraints:      20234
241.66/242.58	c #Conflicts:     181000 | #Constraints:      21234
241.66/242.58	c #Conflicts:     182000 | #Constraints:      22234
241.66/242.58	c #Conflicts:     183000 | #Constraints:      23234
241.66/242.58	c #Conflicts:     184000 | #Constraints:      24234
241.66/242.58	c #Conflicts:     185000 | #Constraints:      25234
241.66/242.58	c #Conflicts:     186000 | #Constraints:      26234
241.66/242.58	c #Conflicts:     187000 | #Constraints:      27234
241.66/242.58	c INPROCESSING
241.66/242.58	c GARBAGE COLLECT
241.66/242.58	c #Conflicts:     188000 | #Constraints:      18120
241.66/242.58	c #Conflicts:     189000 | #Constraints:      19120
241.66/242.58	c #Conflicts:     190000 | #Constraints:      20120
241.66/242.58	c #Conflicts:     191000 | #Constraints:      21120
241.66/242.58	c #Conflicts:     192000 | #Constraints:      22120
241.66/242.58	c #Conflicts:     193000 | #Constraints:      23120
241.66/242.58	c #Conflicts:     194000 | #Constraints:      24120
241.66/242.58	c #Conflicts:     195000 | #Constraints:      25120
241.66/242.58	c #Conflicts:     196000 | #Constraints:      26120
241.66/242.58	c #Conflicts:     197000 | #Constraints:      27120
241.66/242.58	c #Conflicts:     198000 | #Constraints:      28120
241.66/242.58	c #Conflicts:     199000 | #Constraints:      29120
241.66/242.58	c #Conflicts:     200000 | #Constraints:      30120
241.66/242.58	c #Conflicts:     201000 | #Constraints:      31120
241.66/242.58	c #Conflicts:     202000 | #Constraints:      32120
241.66/242.58	c #Conflicts:     203000 | #Constraints:      33120
241.66/242.58	c #Conflicts:     204000 | #Constraints:      34120
241.66/242.58	c #Conflicts:     205000 | #Constraints:      35120
241.66/242.58	c #Conflicts:     206000 | #Constraints:      36120
241.66/242.58	c #Conflicts:     207000 | #Constraints:      37120
241.66/242.58	c #Conflicts:     208000 | #Constraints:      38120
241.66/242.58	c #Conflicts:     209000 | #Constraints:      39120
241.66/242.58	c #Conflicts:     210000 | #Constraints:      40120
241.66/242.58	c #Conflicts:     211000 | #Constraints:      41120
241.66/242.58	c #Conflicts:     212000 | #Constraints:      42120
241.66/242.58	c #Conflicts:     213000 | #Constraints:      43120
241.66/242.58	c #Conflicts:     214000 | #Constraints:      44120
241.66/242.58	c #Conflicts:     215000 | #Constraints:      45120
241.66/242.58	c #Conflicts:     216000 | #Constraints:      46120
241.66/242.58	c #Conflicts:     217000 | #Constraints:      47120
241.66/242.58	c #Conflicts:     218000 | #Constraints:      48120
241.66/242.58	c #Conflicts:     219000 | #Constraints:      49120
241.66/242.58	c #Conflicts:     220000 | #Constraints:      50120
241.66/242.58	c #Conflicts:     221000 | #Constraints:      51120
241.66/242.58	c INPROCESSING
241.66/242.58	c GARBAGE COLLECT
241.66/242.58	c #Conflicts:     222000 | #Constraints:      30086
241.66/242.58	c #Conflicts:     223000 | #Constraints:      31086
241.66/242.58	c #Conflicts:     224000 | #Constraints:      32086
241.66/242.58	c #Conflicts:     225000 | #Constraints:      33086
241.66/242.58	c #Conflicts:     226000 | #Constraints:      34086
241.66/242.58	c #Conflicts:     227000 | #Constraints:      35086
241.66/242.58	c #Conflicts:     228000 | #Constraints:      36086
241.66/242.58	c #Conflicts:     229000 | #Constraints:      37086
241.66/242.58	c #Conflicts:     230000 | #Constraints:      38086
241.66/242.58	c #Conflicts:     231000 | #Constraints:      39086
241.66/242.58	c #Conflicts:     232000 | #Constraints:      40086
241.66/242.58	c INPROCESSING
241.66/242.58	c GARBAGE COLLECT
241.66/242.58	c #Conflicts:     233000 | #Constraints:      24524
241.66/242.58	c #Conflicts:     234000 | #Constraints:      25524
241.66/242.58	c #Conflicts:     235000 | #Constraints:      26524
241.66/242.58	c #Conflicts:     236000 | #Constraints:      27524
241.66/242.58	c #Conflicts:     237000 | #Constraints:      28524
241.66/242.58	c #Conflicts:     238000 | #Constraints:      29524
241.66/242.58	c #Conflicts:     239000 | #Constraints:      30524
241.66/242.58	c #Conflicts:     240000 | #Constraints:      31524
241.66/242.58	c #Conflicts:     241000 | #Constraints:      32524
241.66/242.58	c #Conflicts:     242000 | #Constraints:      33524
241.66/242.58	c #Conflicts:     243000 | #Constraints:      34524
241.66/242.58	c INPROCESSING
241.66/242.58	c GARBAGE COLLECT
241.66/242.58	c #Conflicts:     244000 | #Constraints:      21652
241.66/242.58	c #Conflicts:     245000 | #Constraints:      22652
241.66/242.58	c #Conflicts:     246000 | #Constraints:      23652
241.66/242.58	c #Conflicts:     247000 | #Constraints:      24652
241.66/242.58	c #Conflicts:     248000 | #Constraints:      25652
241.66/242.58	c #Conflicts:     249000 | #Constraints:      26652
241.66/242.58	c #Conflicts:     250000 | #Constraints:      27652
241.66/242.58	c #Conflicts:     251000 | #Constraints:      28652
241.66/242.58	c #Conflicts:     252000 | #Constraints:      29652
241.66/242.58	c #Conflicts:     253000 | #Constraints:      30652
241.66/242.58	c #Conflicts:     254000 | #Constraints:      31652
307.76/308.80	c #Conflicts:     255000 | #Constraints:      32652
307.76/308.80	c INPROCESSING
307.76/308.80	c GARBAGE COLLECT
307.76/308.80	c #Conflicts:     256000 | #Constraints:      20954
307.76/308.80	c #Conflicts:     257000 | #Constraints:      21954
307.76/308.80	c #Conflicts:     258000 | #Constraints:      22954
307.76/308.80	c #Conflicts:     259000 | #Constraints:      23954
307.76/308.80	c #Conflicts:     260000 | #Constraints:      24954
307.76/308.80	c #Conflicts:     261000 | #Constraints:      25954
307.76/308.80	c #Conflicts:     262000 | #Constraints:      26954
307.76/308.80	c #Conflicts:     263000 | #Constraints:      27954
307.76/308.80	c #Conflicts:     264000 | #Constraints:      28954
307.76/308.80	c #Conflicts:     265000 | #Constraints:      29954
307.76/308.80	c #Conflicts:     266000 | #Constraints:      30954
307.76/308.80	c INPROCESSING
307.76/308.80	c GARBAGE COLLECT
307.76/308.80	c #Conflicts:     267000 | #Constraints:      19837
307.76/308.80	c #Conflicts:     268000 | #Constraints:      20837
307.76/308.80	c #Conflicts:     269000 | #Constraints:      21837
307.76/308.80	c #Conflicts:     270000 | #Constraints:      22837
307.76/308.80	c #Conflicts:     271000 | #Constraints:      23837
307.76/308.80	c #Conflicts:     272000 | #Constraints:      24837
307.76/308.81	c #Conflicts:     273000 | #Constraints:      25837
307.76/308.81	c #Conflicts:     274000 | #Constraints:      26837
307.76/308.81	c #Conflicts:     275000 | #Constraints:      27837
307.76/308.81	c #Conflicts:     276000 | #Constraints:      28837
307.76/308.81	c #Conflicts:     277000 | #Constraints:      29837
307.76/308.81	c #Conflicts:     278000 | #Constraints:      30837
307.76/308.81	c #Conflicts:     279000 | #Constraints:      31837
307.76/308.81	c #Conflicts:     280000 | #Constraints:      32837
307.76/308.81	c #Conflicts:     281000 | #Constraints:      33837
307.76/308.81	c #Conflicts:     282000 | #Constraints:      34837
307.76/308.81	c #Conflicts:     283000 | #Constraints:      35837
307.76/308.81	c #Conflicts:     284000 | #Constraints:      36837
307.76/308.81	c #Conflicts:     285000 | #Constraints:      37837
307.76/308.81	c #Conflicts:     286000 | #Constraints:      38837
307.76/308.81	c #Conflicts:     287000 | #Constraints:      39837
307.76/308.81	c #Conflicts:     288000 | #Constraints:      40837
307.76/308.81	c #Conflicts:     289000 | #Constraints:      41837
307.76/308.81	c #Conflicts:     290000 | #Constraints:      42837
307.76/308.81	c #Conflicts:     291000 | #Constraints:      43837
307.76/308.81	c #Conflicts:     292000 | #Constraints:      44837
307.76/308.81	c #Conflicts:     293000 | #Constraints:      45837
307.76/308.81	c #Conflicts:     294000 | #Constraints:      46837
307.76/308.81	c #Conflicts:     295000 | #Constraints:      47837
307.76/308.81	c #Conflicts:     296000 | #Constraints:      48837
307.76/308.81	c #Conflicts:     297000 | #Constraints:      49837
307.76/308.81	c #Conflicts:     298000 | #Constraints:      50837
307.76/308.81	c #Conflicts:     299000 | #Constraints:      51837
307.76/308.81	c #Conflicts:     300000 | #Constraints:      52837
307.76/308.81	c #Conflicts:     301000 | #Constraints:      53837
307.76/308.81	c #Conflicts:     302000 | #Constraints:      54837
307.76/308.81	c #Conflicts:     303000 | #Constraints:      55837
307.76/308.81	c #Conflicts:     304000 | #Constraints:      56837
307.76/308.81	c #Conflicts:     305000 | #Constraints:      57837
307.76/308.81	c #Conflicts:     306000 | #Constraints:      58837
307.76/308.81	c #Conflicts:     307000 | #Constraints:      59837
307.76/308.81	c INPROCESSING
307.76/308.81	c GARBAGE COLLECT
307.76/308.81	c rational objective 98
329.69/330.82	c #Conflicts:     308000 | #Constraints:      34542
329.69/330.82	c #Conflicts:     309000 | #Constraints:      35542
329.69/330.82	c #Conflicts:     310000 | #Constraints:      36542
329.69/330.82	c #Conflicts:     311000 | #Constraints:      37542
329.69/330.82	c #Conflicts:     312000 | #Constraints:      38542
329.69/330.82	c #Conflicts:     313000 | #Constraints:      39542
329.69/330.82	c #Conflicts:     314000 | #Constraints:      40542
329.69/330.82	c #Conflicts:     315000 | #Constraints:      41542
329.69/330.82	c #Conflicts:     316000 | #Constraints:      42542
329.69/330.82	c #Conflicts:     317000 | #Constraints:      43542
329.69/330.82	c #Conflicts:     318000 | #Constraints:      44542
329.69/330.82	c #Conflicts:     319000 | #Constraints:      45542
329.69/330.82	c #Conflicts:     320000 | #Constraints:      46542
329.69/330.82	c INPROCESSING
329.69/330.82	c GARBAGE COLLECT
329.69/330.82	c rational objective 98
421.52/422.98	c #Conflicts:     321000 | #Constraints:      28031
421.52/422.98	c #Conflicts:     322000 | #Constraints:      29031
421.52/422.98	c #Conflicts:     323000 | #Constraints:      30031
421.52/422.98	c #Conflicts:     324000 | #Constraints:      31031
421.52/422.98	c #Conflicts:     325000 | #Constraints:      32031
421.52/422.98	c #Conflicts:     326000 | #Constraints:      33031
421.52/422.98	c #Conflicts:     327000 | #Constraints:      34031
421.52/422.98	c #Conflicts:     328000 | #Constraints:      35031
421.52/422.98	c #Conflicts:     329000 | #Constraints:      36031
421.52/422.98	c #Conflicts:     330000 | #Constraints:      37031
421.52/422.98	c #Conflicts:     331000 | #Constraints:      38031
421.52/422.98	c #Conflicts:     332000 | #Constraints:      39031
421.52/422.98	c #Conflicts:     333000 | #Constraints:      40031
421.52/422.98	c INPROCESSING
421.52/422.98	c GARBAGE COLLECT
421.52/422.98	c #Conflicts:     334000 | #Constraints:      24678
421.52/422.98	c #Conflicts:     335000 | #Constraints:      25678
421.52/422.98	c #Conflicts:     336000 | #Constraints:      26678
421.52/422.98	c #Conflicts:     337000 | #Constraints:      27678
421.52/422.98	c #Conflicts:     338000 | #Constraints:      28678
421.52/422.98	c #Conflicts:     339000 | #Constraints:      29678
421.52/422.98	c #Conflicts:     340000 | #Constraints:      30678
421.52/422.99	c #Conflicts:     341000 | #Constraints:      31678
421.52/422.99	c #Conflicts:     342000 | #Constraints:      32678
421.52/422.99	c #Conflicts:     343000 | #Constraints:      33678
421.52/422.99	c #Conflicts:     344000 | #Constraints:      34678
421.52/422.99	c #Conflicts:     345000 | #Constraints:      35678
421.52/422.99	c #Conflicts:     346000 | #Constraints:      36678
421.52/422.99	c INPROCESSING
421.52/422.99	c GARBAGE COLLECT
421.52/422.99	c #Conflicts:     347000 | #Constraints:      22884
421.52/422.99	c #Conflicts:     348000 | #Constraints:      23884
421.52/422.99	c #Conflicts:     349000 | #Constraints:      24884
421.52/422.99	c #Conflicts:     350000 | #Constraints:      25884
421.52/422.99	c #Conflicts:     351000 | #Constraints:      26884
421.52/422.99	c #Conflicts:     352000 | #Constraints:      27884
421.52/422.99	c #Conflicts:     353000 | #Constraints:      28884
421.52/422.99	c #Conflicts:     354000 | #Constraints:      29884
421.52/422.99	c #Conflicts:     355000 | #Constraints:      30884
421.52/422.99	c #Conflicts:     356000 | #Constraints:      31884
421.52/422.99	c #Conflicts:     357000 | #Constraints:      32884
421.52/422.99	c #Conflicts:     358000 | #Constraints:      33884
421.52/422.99	c #Conflicts:     359000 | #Constraints:      34884
421.52/422.99	c #Conflicts:     360000 | #Constraints:      35884
421.52/422.99	c INPROCESSING
421.52/422.99	c GARBAGE COLLECT
421.52/422.99	c #Conflicts:     361000 | #Constraints:      22711
421.52/422.99	c #Conflicts:     362000 | #Constraints:      23711
421.52/422.99	c #Conflicts:     363000 | #Constraints:      24711
421.52/422.99	c #Conflicts:     364000 | #Constraints:      25711
421.52/422.99	c #Conflicts:     365000 | #Constraints:      26711
421.52/422.99	c #Conflicts:     366000 | #Constraints:      27711
421.52/422.99	c #Conflicts:     367000 | #Constraints:      28711
421.52/422.99	c #Conflicts:     368000 | #Constraints:      29711
421.52/422.99	c #Conflicts:     369000 | #Constraints:      30711
421.52/422.99	c #Conflicts:     370000 | #Constraints:      31711
421.52/422.99	c #Conflicts:     371000 | #Constraints:      32711
421.52/422.99	c #Conflicts:     372000 | #Constraints:      33711
421.52/422.99	c #Conflicts:     373000 | #Constraints:      34711
421.52/422.99	c #Conflicts:     374000 | #Constraints:      35711
421.52/422.99	c #Conflicts:     375000 | #Constraints:      36711
421.52/422.99	c #Conflicts:     376000 | #Constraints:      37711
421.52/422.99	c #Conflicts:     377000 | #Constraints:      38711
421.52/422.99	c #Conflicts:     378000 | #Constraints:      39711
421.52/422.99	c #Conflicts:     379000 | #Constraints:      40711
421.52/422.99	c #Conflicts:     380000 | #Constraints:      41711
421.52/422.99	c #Conflicts:     381000 | #Constraints:      42711
421.52/422.99	c #Conflicts:     382000 | #Constraints:      43711
421.52/422.99	c #Conflicts:     383000 | #Constraints:      44711
421.52/422.99	c #Conflicts:     384000 | #Constraints:      45711
421.52/422.99	c #Conflicts:     385000 | #Constraints:      46711
421.52/422.99	c #Conflicts:     386000 | #Constraints:      47711
421.52/422.99	c #Conflicts:     387000 | #Constraints:      48711
421.52/422.99	c #Conflicts:     388000 | #Constraints:      49711
421.52/422.99	c #Conflicts:     389000 | #Constraints:      50711
421.52/422.99	c #Conflicts:     390000 | #Constraints:      51711
421.52/422.99	c #Conflicts:     391000 | #Constraints:      52711
421.52/422.99	c #Conflicts:     392000 | #Constraints:      53711
421.52/422.99	c #Conflicts:     393000 | #Constraints:      54711
421.52/422.99	c #Conflicts:     394000 | #Constraints:      55711
421.52/422.99	c #Conflicts:     395000 | #Constraints:      56711
421.52/422.99	c #Conflicts:     396000 | #Constraints:      57711
421.52/422.99	c #Conflicts:     397000 | #Constraints:      58711
485.12/486.72	c #Conflicts:     398000 | #Constraints:      59711
485.12/486.72	c #Conflicts:     399000 | #Constraints:      60711
485.12/486.72	c #Conflicts:     400000 | #Constraints:      61711
485.12/486.72	c #Conflicts:     401000 | #Constraints:      62711
485.12/486.72	c #Conflicts:     402000 | #Constraints:      63711
485.12/486.72	c #Conflicts:     403000 | #Constraints:      64711
485.12/486.72	c #Conflicts:     404000 | #Constraints:      65711
485.12/486.72	c #Conflicts:     405000 | #Constraints:      66711
485.12/486.72	c #Conflicts:     406000 | #Constraints:      67711
485.12/486.72	c #Conflicts:     407000 | #Constraints:      68711
485.12/486.72	c INPROCESSING
485.12/486.72	c GARBAGE COLLECT
485.12/486.72	c #Conflicts:     408000 | #Constraints:      39096
485.12/486.72	c #Conflicts:     409000 | #Constraints:      40096
485.12/486.72	c #Conflicts:     410000 | #Constraints:      41096
485.12/486.72	c #Conflicts:     411000 | #Constraints:      42096
485.12/486.72	c #Conflicts:     412000 | #Constraints:      43096
485.12/486.72	c #Conflicts:     413000 | #Constraints:      44096
485.12/486.72	c #Conflicts:     414000 | #Constraints:      45096
485.12/486.72	c #Conflicts:     415000 | #Constraints:      46096
485.12/486.72	c #Conflicts:     416000 | #Constraints:      47096
485.12/486.72	c #Conflicts:     417000 | #Constraints:      48096
485.12/486.72	c #Conflicts:     418000 | #Constraints:      49096
485.12/486.72	c #Conflicts:     419000 | #Constraints:      50096
485.12/486.72	c #Conflicts:     420000 | #Constraints:      51096
485.12/486.72	c #Conflicts:     421000 | #Constraints:      52096
485.12/486.72	c INPROCESSING
485.12/486.72	c GARBAGE COLLECT
485.12/486.72	c #Conflicts:     422000 | #Constraints:      30414
485.12/486.72	c #Conflicts:     423000 | #Constraints:      31414
485.12/486.72	c #Conflicts:     424000 | #Constraints:      32414
485.12/486.72	c #Conflicts:     425000 | #Constraints:      33414
485.12/486.72	c #Conflicts:     426000 | #Constraints:      34414
485.12/486.72	c #Conflicts:     427000 | #Constraints:      35414
485.12/486.72	c #Conflicts:     428000 | #Constraints:      36414
485.12/486.72	c #Conflicts:     429000 | #Constraints:      37414
485.12/486.72	c #Conflicts:     430000 | #Constraints:      38414
485.12/486.72	c #Conflicts:     431000 | #Constraints:      39414
485.12/486.72	c #Conflicts:     432000 | #Constraints:      40414
485.12/486.72	c #Conflicts:     433000 | #Constraints:      41414
485.12/486.72	c #Conflicts:     434000 | #Constraints:      42414
485.12/486.72	c #Conflicts:     435000 | #Constraints:      43414
485.12/486.72	c #Conflicts:     436000 | #Constraints:      44414
485.12/486.72	c INPROCESSING
485.12/486.72	c GARBAGE COLLECT
485.12/486.72	c rational objective 98
509.46/511.17	c #Conflicts:     437000 | #Constraints:      26653
509.46/511.17	c #Conflicts:     438000 | #Constraints:      27653
509.46/511.17	c #Conflicts:     439000 | #Constraints:      28653
509.46/511.17	c #Conflicts:     440000 | #Constraints:      29653
509.46/511.17	c #Conflicts:     441000 | #Constraints:      30653
509.46/511.17	c #Conflicts:     442000 | #Constraints:      31653
509.46/511.17	c #Conflicts:     443000 | #Constraints:      32653
509.46/511.17	c #Conflicts:     444000 | #Constraints:      33653
509.46/511.17	c #Conflicts:     445000 | #Constraints:      34653
509.46/511.17	c #Conflicts:     446000 | #Constraints:      35653
509.46/511.17	c #Conflicts:     447000 | #Constraints:      36653
509.46/511.17	c #Conflicts:     448000 | #Constraints:      37653
509.46/511.17	c #Conflicts:     449000 | #Constraints:      38653
509.46/511.17	c #Conflicts:     450000 | #Constraints:      39653
509.46/511.17	c #Conflicts:     451000 | #Constraints:      40653
509.46/511.17	c #Conflicts:     452000 | #Constraints:      41653
509.46/511.17	c INPROCESSING
509.46/511.17	c GARBAGE COLLECT
509.46/511.17	c rational objective 98
634.86/637.00	c #Conflicts:     453000 | #Constraints:      25583
634.86/637.00	c #Conflicts:     454000 | #Constraints:      26583
634.86/637.00	c #Conflicts:     455000 | #Constraints:      27583
634.86/637.00	c #Conflicts:     456000 | #Constraints:      28583
634.86/637.00	c #Conflicts:     457000 | #Constraints:      29583
634.86/637.00	c #Conflicts:     458000 | #Constraints:      30583
634.86/637.00	c #Conflicts:     459000 | #Constraints:      31583
634.86/637.00	c #Conflicts:     460000 | #Constraints:      32583
634.86/637.00	c #Conflicts:     461000 | #Constraints:      33583
634.86/637.00	c #Conflicts:     462000 | #Constraints:      34583
634.86/637.00	c #Conflicts:     463000 | #Constraints:      35583
634.86/637.00	c #Conflicts:     464000 | #Constraints:      36583
634.86/637.00	c #Conflicts:     465000 | #Constraints:      37583
634.86/637.00	c #Conflicts:     466000 | #Constraints:      38583
634.86/637.00	c #Conflicts:     467000 | #Constraints:      39583
634.86/637.00	c INPROCESSING
634.86/637.00	c GARBAGE COLLECT
634.86/637.00	c #Conflicts:     468000 | #Constraints:      24376
634.86/637.00	c #Conflicts:     469000 | #Constraints:      25376
634.86/637.00	c #Conflicts:     470000 | #Constraints:      26376
634.86/637.00	c #Conflicts:     471000 | #Constraints:      27376
634.86/637.00	c #Conflicts:     472000 | #Constraints:      28376
634.86/637.00	c #Conflicts:     473000 | #Constraints:      29376
634.86/637.00	c #Conflicts:     474000 | #Constraints:      30376
634.86/637.00	c #Conflicts:     475000 | #Constraints:      31376
634.86/637.00	c #Conflicts:     476000 | #Constraints:      32376
634.86/637.00	c #Conflicts:     477000 | #Constraints:      33376
634.86/637.00	c #Conflicts:     478000 | #Constraints:      34376
634.86/637.00	c #Conflicts:     479000 | #Constraints:      35376
634.86/637.00	c #Conflicts:     480000 | #Constraints:      36376
634.86/637.00	c #Conflicts:     481000 | #Constraints:      37376
634.86/637.00	c #Conflicts:     482000 | #Constraints:      38376
634.86/637.00	c #Conflicts:     483000 | #Constraints:      39376
634.86/637.00	c #Conflicts:     484000 | #Constraints:      40376
634.86/637.00	c #Conflicts:     485000 | #Constraints:      41376
634.86/637.00	c #Conflicts:     486000 | #Constraints:      42376
634.86/637.00	c #Conflicts:     487000 | #Constraints:      43376
634.86/637.00	c #Conflicts:     488000 | #Constraints:      44376
634.86/637.00	c #Conflicts:     489000 | #Constraints:      45376
634.86/637.00	c #Conflicts:     490000 | #Constraints:      46376
634.86/637.00	c #Conflicts:     491000 | #Constraints:      47376
634.86/637.00	c #Conflicts:     492000 | #Constraints:      48376
634.86/637.00	c #Conflicts:     493000 | #Constraints:      49376
634.86/637.00	c #Conflicts:     494000 | #Constraints:      50376
634.86/637.00	c #Conflicts:     495000 | #Constraints:      51376
634.86/637.00	c #Conflicts:     496000 | #Constraints:      52376
634.86/637.00	c #Conflicts:     497000 | #Constraints:      53376
634.86/637.00	c #Conflicts:     498000 | #Constraints:      54376
634.86/637.00	c #Conflicts:     499000 | #Constraints:      55376
634.86/637.00	c #Conflicts:     500000 | #Constraints:      56376
634.86/637.00	c #Conflicts:     501000 | #Constraints:      57376
634.86/637.00	c #Conflicts:     502000 | #Constraints:      58376
634.86/637.00	c #Conflicts:     503000 | #Constraints:      59376
634.86/637.00	c #Conflicts:     504000 | #Constraints:      60376
634.86/637.00	c #Conflicts:     505000 | #Constraints:      61376
634.86/637.00	c #Conflicts:     506000 | #Constraints:      62376
634.86/637.00	c #Conflicts:     507000 | #Constraints:      63376
634.86/637.00	c #Conflicts:     508000 | #Constraints:      64376
634.86/637.00	c #Conflicts:     509000 | #Constraints:      65376
634.86/637.00	c #Conflicts:     510000 | #Constraints:      66376
634.86/637.00	c #Conflicts:     511000 | #Constraints:      67376
634.86/637.00	c #Conflicts:     512000 | #Constraints:      68376
634.86/637.00	c #Conflicts:     513000 | #Constraints:      69376
634.86/637.00	c #Conflicts:     514000 | #Constraints:      70376
634.86/637.00	c #Conflicts:     515000 | #Constraints:      71376
634.86/637.00	c #Conflicts:     516000 | #Constraints:      72376
634.86/637.00	c #Conflicts:     517000 | #Constraints:      73376
634.86/637.00	c #Conflicts:     518000 | #Constraints:      74376
634.86/637.00	c #Conflicts:     519000 | #Constraints:      75376
634.86/637.00	c #Conflicts:     520000 | #Constraints:      76376
634.86/637.00	c INPROCESSING
634.86/637.00	c GARBAGE COLLECT
634.86/637.00	c #Conflicts:     521000 | #Constraints:      42523
634.86/637.00	c #Conflicts:     522000 | #Constraints:      43523
634.86/637.00	c #Conflicts:     523000 | #Constraints:      44523
634.86/637.00	c #Conflicts:     524000 | #Constraints:      45523
634.86/637.00	c #Conflicts:     525000 | #Constraints:      46523
634.86/637.00	c #Conflicts:     526000 | #Constraints:      47523
634.86/637.00	c #Conflicts:     527000 | #Constraints:      48523
634.86/637.00	c #Conflicts:     528000 | #Constraints:      49523
634.86/637.00	c #Conflicts:     529000 | #Constraints:      50523
634.86/637.00	c #Conflicts:     530000 | #Constraints:      51523
686.10/688.34	c #Conflicts:     531000 | #Constraints:      52523
686.10/688.34	c #Conflicts:     532000 | #Constraints:      53523
686.10/688.34	c #Conflicts:     533000 | #Constraints:      54523
686.10/688.34	c #Conflicts:     534000 | #Constraints:      55523
686.10/688.34	c #Conflicts:     535000 | #Constraints:      56523
686.10/688.34	c #Conflicts:     536000 | #Constraints:      57523
686.10/688.34	c #Conflicts:     537000 | #Constraints:      58523
686.10/688.34	c INPROCESSING
686.10/688.34	c GARBAGE COLLECT
686.10/688.34	c #Conflicts:     538000 | #Constraints:      33835
686.10/688.34	c #Conflicts:     539000 | #Constraints:      34835
686.10/688.34	c #Conflicts:     540000 | #Constraints:      35835
686.10/688.34	c #Conflicts:     541000 | #Constraints:      36835
686.10/688.34	c #Conflicts:     542000 | #Constraints:      37835
686.10/688.34	c #Conflicts:     543000 | #Constraints:      38835
686.10/688.34	c #Conflicts:     544000 | #Constraints:      39835
686.10/688.34	c #Conflicts:     545000 | #Constraints:      40835
686.10/688.34	c #Conflicts:     546000 | #Constraints:      41835
686.10/688.34	c #Conflicts:     547000 | #Constraints:      42835
686.10/688.34	c #Conflicts:     548000 | #Constraints:      43835
686.10/688.34	c #Conflicts:     549000 | #Constraints:      44835
686.10/688.34	c #Conflicts:     550000 | #Constraints:      45835
686.10/688.34	c #Conflicts:     551000 | #Constraints:      46835
686.10/688.34	c #Conflicts:     552000 | #Constraints:      47835
686.10/688.34	c #Conflicts:     553000 | #Constraints:      48835
686.10/688.34	c #Conflicts:     554000 | #Constraints:      49835
686.10/688.34	c INPROCESSING
686.10/688.34	c GARBAGE COLLECT
686.10/688.34	c #Conflicts:     555000 | #Constraints:      29537
686.10/688.34	c #Conflicts:     556000 | #Constraints:      30537
686.10/688.34	c #Conflicts:     557000 | #Constraints:      31537
686.10/688.34	c #Conflicts:     558000 | #Constraints:      32537
686.10/688.34	c #Conflicts:     559000 | #Constraints:      33537
686.10/688.34	c #Conflicts:     560000 | #Constraints:      34537
686.10/688.34	c #Conflicts:     561000 | #Constraints:      35537
686.10/688.34	c #Conflicts:     562000 | #Constraints:      36537
686.10/688.34	c #Conflicts:     563000 | #Constraints:      37537
686.10/688.34	c #Conflicts:     564000 | #Constraints:      38537
686.10/688.34	c #Conflicts:     565000 | #Constraints:      39537
686.10/688.34	c #Conflicts:     566000 | #Constraints:      40537
686.10/688.34	c #Conflicts:     567000 | #Constraints:      41537
686.10/688.34	c #Conflicts:     568000 | #Constraints:      42537
686.10/688.34	c #Conflicts:     569000 | #Constraints:      43537
686.10/688.34	c #Conflicts:     570000 | #Constraints:      44537
686.10/688.34	c #Conflicts:     571000 | #Constraints:      45537
686.10/688.34	c INPROCESSING
686.10/688.34	c GARBAGE COLLECT
686.10/688.34	c rational objective 98
712.43/714.71	c #Conflicts:     572000 | #Constraints:      27316
712.43/714.71	c #Conflicts:     573000 | #Constraints:      28316
712.43/714.71	c #Conflicts:     574000 | #Constraints:      29316
712.43/714.71	c #Conflicts:     575000 | #Constraints:      30316
712.43/714.71	c #Conflicts:     576000 | #Constraints:      31316
712.43/714.71	c #Conflicts:     577000 | #Constraints:      32316
712.43/714.71	c #Conflicts:     578000 | #Constraints:      33316
712.43/714.71	c #Conflicts:     579000 | #Constraints:      34316
712.43/714.71	c #Conflicts:     580000 | #Constraints:      35316
712.43/714.71	c #Conflicts:     581000 | #Constraints:      36316
712.43/714.71	c #Conflicts:     582000 | #Constraints:      37316
712.43/714.71	c #Conflicts:     583000 | #Constraints:      38316
712.43/714.71	c #Conflicts:     584000 | #Constraints:      39316
712.43/714.71	c #Conflicts:     585000 | #Constraints:      40316
712.43/714.71	c #Conflicts:     586000 | #Constraints:      41316
712.43/714.71	c #Conflicts:     587000 | #Constraints:      42317
712.43/714.71	c #Conflicts:     588000 | #Constraints:      43317
712.43/714.71	c INPROCESSING
712.43/714.71	c GARBAGE COLLECT
712.43/714.71	c rational objective 98
859.28/862.10	c #Conflicts:     589000 | #Constraints:      26088
859.28/862.10	c #Conflicts:     590000 | #Constraints:      27088
859.28/862.10	c #Conflicts:     591000 | #Constraints:      28088
859.28/862.10	c #Conflicts:     592000 | #Constraints:      29088
859.28/862.10	c #Conflicts:     593000 | #Constraints:      30088
859.28/862.10	c #Conflicts:     594000 | #Constraints:      31088
859.28/862.10	c #Conflicts:     595000 | #Constraints:      32088
859.28/862.10	c #Conflicts:     596000 | #Constraints:      33088
859.28/862.10	c #Conflicts:     597000 | #Constraints:      34088
859.28/862.10	c #Conflicts:     598000 | #Constraints:      35088
859.28/862.10	c #Conflicts:     599000 | #Constraints:      36088
859.28/862.10	c #Conflicts:     600000 | #Constraints:      37088
859.28/862.10	c #Conflicts:     601000 | #Constraints:      38088
859.28/862.10	c #Conflicts:     602000 | #Constraints:      39088
859.28/862.10	c #Conflicts:     603000 | #Constraints:      40088
859.28/862.10	c #Conflicts:     604000 | #Constraints:      41088
859.28/862.10	c #Conflicts:     605000 | #Constraints:      42088
859.28/862.10	c #Conflicts:     606000 | #Constraints:      43088
859.28/862.10	c #Conflicts:     607000 | #Constraints:      44088
859.28/862.10	c #Conflicts:     608000 | #Constraints:      45088
859.28/862.10	c #Conflicts:     609000 | #Constraints:      46088
859.28/862.10	c #Conflicts:     610000 | #Constraints:      47088
859.28/862.10	c #Conflicts:     611000 | #Constraints:      48088
859.28/862.10	c #Conflicts:     612000 | #Constraints:      49088
859.28/862.10	c #Conflicts:     613000 | #Constraints:      50088
859.28/862.10	c #Conflicts:     614000 | #Constraints:      51088
859.28/862.10	c #Conflicts:     615000 | #Constraints:      52088
859.28/862.10	c #Conflicts:     616000 | #Constraints:      53088
859.28/862.10	c #Conflicts:     617000 | #Constraints:      54088
859.28/862.10	c #Conflicts:     618000 | #Constraints:      55088
859.28/862.10	c #Conflicts:     619000 | #Constraints:      56088
859.28/862.10	c #Conflicts:     620000 | #Constraints:      57088
859.28/862.10	c #Conflicts:     621000 | #Constraints:      58088
859.28/862.10	c #Conflicts:     622000 | #Constraints:      59088
859.28/862.10	c #Conflicts:     623000 | #Constraints:      60088
859.28/862.10	c #Conflicts:     624000 | #Constraints:      61088
859.28/862.10	c #Conflicts:     625000 | #Constraints:      62088
859.28/862.10	c #Conflicts:     626000 | #Constraints:      63088
859.28/862.10	c #Conflicts:     627000 | #Constraints:      64088
859.28/862.10	c #Conflicts:     628000 | #Constraints:      65088
859.28/862.10	c #Conflicts:     629000 | #Constraints:      66088
859.28/862.10	c #Conflicts:     630000 | #Constraints:      67088
859.28/862.10	c #Conflicts:     631000 | #Constraints:      68088
859.28/862.10	c #Conflicts:     632000 | #Constraints:      69088
859.28/862.10	c #Conflicts:     633000 | #Constraints:      70088
859.28/862.10	c #Conflicts:     634000 | #Constraints:      71088
859.28/862.10	c #Conflicts:     635000 | #Constraints:      72088
859.28/862.10	c #Conflicts:     636000 | #Constraints:      73088
859.28/862.10	c #Conflicts:     637000 | #Constraints:      74088
859.28/862.10	c #Conflicts:     638000 | #Constraints:      75088
859.28/862.10	c #Conflicts:     639000 | #Constraints:      76088
859.28/862.10	c #Conflicts:     640000 | #Constraints:      77088
859.28/862.10	c #Conflicts:     641000 | #Constraints:      78088
859.28/862.10	c #Conflicts:     642000 | #Constraints:      79088
859.28/862.10	c #Conflicts:     643000 | #Constraints:      80088
859.28/862.10	c #Conflicts:     644000 | #Constraints:      81088
859.28/862.10	c #Conflicts:     645000 | #Constraints:      82088
859.28/862.10	c #Conflicts:     646000 | #Constraints:      83088
859.28/862.10	c #Conflicts:     647000 | #Constraints:      84088
859.28/862.10	c #Conflicts:     648000 | #Constraints:      85088
859.28/862.10	c INPROCESSING
859.28/862.10	c GARBAGE COLLECT
859.28/862.10	c #Conflicts:     649000 | #Constraints:      47019
859.28/862.10	c #Conflicts:     650000 | #Constraints:      48019
859.28/862.10	c #Conflicts:     651000 | #Constraints:      49019
859.28/862.10	c #Conflicts:     652000 | #Constraints:      50019
859.28/862.10	c #Conflicts:     653000 | #Constraints:      51019
859.28/862.10	c #Conflicts:     654000 | #Constraints:      52019
859.28/862.10	c #Conflicts:     655000 | #Constraints:      53019
859.28/862.10	c #Conflicts:     656000 | #Constraints:      54019
859.28/862.10	c #Conflicts:     657000 | #Constraints:      55019
859.28/862.10	c #Conflicts:     658000 | #Constraints:      56019
859.28/862.10	c #Conflicts:     659000 | #Constraints:      57019
859.28/862.10	c #Conflicts:     660000 | #Constraints:      58019
859.28/862.10	c #Conflicts:     661000 | #Constraints:      59019
859.28/862.10	c #Conflicts:     662000 | #Constraints:      60019
859.28/862.10	c #Conflicts:     663000 | #Constraints:      61019
859.28/862.10	c #Conflicts:     664000 | #Constraints:      62019
859.28/862.10	c #Conflicts:     665000 | #Constraints:      63019
859.28/862.10	c #Conflicts:     666000 | #Constraints:      64019
859.28/862.10	c #Conflicts:     667000 | #Constraints:      65019
925.96/928.96	c INPROCESSING
925.96/928.96	c GARBAGE COLLECT
925.96/928.96	c #Conflicts:     668000 | #Constraints:      37141
925.96/928.96	c #Conflicts:     669000 | #Constraints:      38141
925.96/928.96	c #Conflicts:     670000 | #Constraints:      39141
925.96/928.96	c #Conflicts:     671000 | #Constraints:      40141
925.96/928.96	c #Conflicts:     672000 | #Constraints:      41141
925.96/928.96	c #Conflicts:     673000 | #Constraints:      42141
925.96/928.96	c #Conflicts:     674000 | #Constraints:      43141
925.96/928.96	c #Conflicts:     675000 | #Constraints:      44141
925.96/928.96	c #Conflicts:     676000 | #Constraints:      45141
925.96/928.96	c #Conflicts:     677000 | #Constraints:      46141
925.96/928.96	c #Conflicts:     678000 | #Constraints:      47141
925.96/928.96	c #Conflicts:     679000 | #Constraints:      48141
925.96/928.96	c #Conflicts:     680000 | #Constraints:      49141
925.96/928.96	c #Conflicts:     681000 | #Constraints:      50141
925.96/928.96	c #Conflicts:     682000 | #Constraints:      51141
925.96/928.96	c #Conflicts:     683000 | #Constraints:      52141
925.96/928.96	c #Conflicts:     684000 | #Constraints:      53141
925.96/928.96	c #Conflicts:     685000 | #Constraints:      54141
925.96/928.96	c #Conflicts:     686000 | #Constraints:      55141
925.96/928.96	c INPROCESSING
925.96/928.96	c GARBAGE COLLECT
925.96/928.96	c #Conflicts:     687000 | #Constraints:      32315
925.96/928.96	c #Conflicts:     688000 | #Constraints:      33315
925.96/928.96	c #Conflicts:     689000 | #Constraints:      34315
925.96/928.96	c #Conflicts:     690000 | #Constraints:      35315
925.96/928.96	c #Conflicts:     691000 | #Constraints:      36315
925.96/928.96	c #Conflicts:     692000 | #Constraints:      37315
925.96/928.96	c #Conflicts:     693000 | #Constraints:      38315
925.96/928.96	c #Conflicts:     694000 | #Constraints:      39315
925.96/928.96	c #Conflicts:     695000 | #Constraints:      40315
925.96/928.96	c #Conflicts:     696000 | #Constraints:      41315
925.96/928.96	c #Conflicts:     697000 | #Constraints:      42315
925.96/928.96	c #Conflicts:     698000 | #Constraints:      43315
925.96/928.96	c #Conflicts:     699000 | #Constraints:      44315
925.96/928.96	c #Conflicts:     700000 | #Constraints:      45315
925.96/928.96	c #Conflicts:     701000 | #Constraints:      46315
925.96/928.96	c #Conflicts:     702000 | #Constraints:      47315
925.96/928.96	c #Conflicts:     703000 | #Constraints:      48315
925.96/928.96	c #Conflicts:     704000 | #Constraints:      49315
925.96/928.96	c #Conflicts:     705000 | #Constraints:      50315
925.96/928.96	c INPROCESSING
925.96/928.96	c GARBAGE COLLECT
925.96/928.96	c #Conflicts:     706000 | #Constraints:      29989
925.96/928.96	c #Conflicts:     707000 | #Constraints:      30989
925.96/928.96	c #Conflicts:     708000 | #Constraints:      31989
925.96/928.96	c #Conflicts:     709000 | #Constraints:      32989
925.96/928.96	c #Conflicts:     710000 | #Constraints:      33989
925.96/928.96	c #Conflicts:     711000 | #Constraints:      34989
925.96/928.96	c #Conflicts:     712000 | #Constraints:      35989
925.96/928.96	c #Conflicts:     713000 | #Constraints:      36989
925.96/928.96	c #Conflicts:     714000 | #Constraints:      37989
925.96/928.96	c #Conflicts:     715000 | #Constraints:      38989
925.96/928.96	c #Conflicts:     716000 | #Constraints:      39989
925.96/928.96	c #Conflicts:     717000 | #Constraints:      40989
925.96/928.96	c #Conflicts:     718000 | #Constraints:      41989
925.96/928.96	c #Conflicts:     719000 | #Constraints:      42989
925.96/928.96	c #Conflicts:     720000 | #Constraints:      43989
925.96/928.96	c #Conflicts:     721000 | #Constraints:      44989
925.96/928.96	c #Conflicts:     722000 | #Constraints:      45989
925.96/928.96	c #Conflicts:     723000 | #Constraints:      46989
925.96/928.96	c #Conflicts:     724000 | #Constraints:      47989
925.96/928.96	c INPROCESSING
925.96/928.96	c GARBAGE COLLECT
925.96/928.96	c rational objective 98
1072.51/1075.99	c #Conflicts:     725000 | #Constraints:      28770
1072.51/1075.99	c #Conflicts:     726000 | #Constraints:      29770
1072.51/1075.99	c #Conflicts:     727000 | #Constraints:      30770
1072.51/1075.99	c #Conflicts:     728000 | #Constraints:      31770
1072.51/1075.99	c #Conflicts:     729000 | #Constraints:      32770
1072.51/1075.99	c #Conflicts:     730000 | #Constraints:      33770
1072.51/1075.99	c #Conflicts:     731000 | #Constraints:      34770
1072.51/1075.99	c #Conflicts:     732000 | #Constraints:      35770
1072.51/1075.99	c #Conflicts:     733000 | #Constraints:      36770
1072.51/1075.99	c #Conflicts:     734000 | #Constraints:      37770
1072.51/1075.99	c #Conflicts:     735000 | #Constraints:      38770
1072.51/1075.99	c #Conflicts:     736000 | #Constraints:      39770
1072.51/1075.99	c #Conflicts:     737000 | #Constraints:      40770
1072.51/1075.99	c #Conflicts:     738000 | #Constraints:      41770
1072.51/1075.99	c #Conflicts:     739000 | #Constraints:      42770
1072.51/1075.99	c #Conflicts:     740000 | #Constraints:      43770
1072.51/1075.99	c #Conflicts:     741000 | #Constraints:      44770
1072.51/1075.99	c #Conflicts:     742000 | #Constraints:      45770
1072.51/1075.99	c #Conflicts:     743000 | #Constraints:      46770
1072.51/1075.99	c #Conflicts:     744000 | #Constraints:      47770
1072.51/1075.99	c #Conflicts:     745000 | #Constraints:      48770
1072.51/1075.99	c #Conflicts:     746000 | #Constraints:      49770
1072.51/1075.99	c #Conflicts:     747000 | #Constraints:      50770
1072.51/1075.99	c #Conflicts:     748000 | #Constraints:      51770
1072.51/1075.99	c #Conflicts:     749000 | #Constraints:      52770
1072.51/1075.99	c #Conflicts:     750000 | #Constraints:      53770
1072.51/1075.99	c #Conflicts:     751000 | #Constraints:      54770
1072.51/1075.99	c #Conflicts:     752000 | #Constraints:      55770
1072.51/1075.99	c #Conflicts:     753000 | #Constraints:      56770
1072.51/1075.99	c #Conflicts:     754000 | #Constraints:      57770
1072.51/1075.99	c #Conflicts:     755000 | #Constraints:      58770
1072.51/1075.99	c #Conflicts:     756000 | #Constraints:      59770
1072.51/1075.99	c #Conflicts:     757000 | #Constraints:      60770
1072.51/1075.99	c #Conflicts:     758000 | #Constraints:      61770
1072.51/1075.99	c #Conflicts:     759000 | #Constraints:      62770
1072.51/1075.99	c #Conflicts:     760000 | #Constraints:      63770
1072.51/1075.99	c #Conflicts:     761000 | #Constraints:      64770
1072.51/1075.99	c #Conflicts:     762000 | #Constraints:      65770
1072.51/1075.99	c #Conflicts:     763000 | #Constraints:      66770
1072.51/1075.99	c #Conflicts:     764000 | #Constraints:      67770
1072.51/1075.99	c #Conflicts:     765000 | #Constraints:      68770
1072.51/1075.99	c #Conflicts:     766000 | #Constraints:      69770
1072.51/1075.99	c #Conflicts:     767000 | #Constraints:      70770
1072.51/1075.99	c #Conflicts:     768000 | #Constraints:      71770
1072.51/1075.99	c #Conflicts:     769000 | #Constraints:      72770
1072.51/1075.99	c #Conflicts:     770000 | #Constraints:      73770
1072.51/1075.99	c #Conflicts:     771000 | #Constraints:      74770
1072.51/1075.99	c #Conflicts:     772000 | #Constraints:      75770
1072.51/1075.99	c #Conflicts:     773000 | #Constraints:      76770
1072.51/1075.99	c #Conflicts:     774000 | #Constraints:      77770
1072.51/1075.99	c #Conflicts:     775000 | #Constraints:      78770
1072.51/1075.99	c #Conflicts:     776000 | #Constraints:      79770
1072.51/1075.99	c #Conflicts:     777000 | #Constraints:      80770
1072.51/1075.99	c #Conflicts:     778000 | #Constraints:      81770
1072.51/1075.99	c #Conflicts:     779000 | #Constraints:      82770
1072.51/1075.99	c #Conflicts:     780000 | #Constraints:      83770
1072.51/1075.99	c #Conflicts:     781000 | #Constraints:      84770
1072.51/1075.99	c #Conflicts:     782000 | #Constraints:      85770
1072.51/1075.99	c #Conflicts:     783000 | #Constraints:      86770
1072.51/1075.99	c #Conflicts:     784000 | #Constraints:      87770
1072.51/1075.99	c #Conflicts:     785000 | #Constraints:      88770
1072.51/1075.99	c #Conflicts:     786000 | #Constraints:      89770
1072.51/1075.99	c #Conflicts:     787000 | #Constraints:      90770
1072.51/1075.99	c #Conflicts:     788000 | #Constraints:      91770
1072.51/1075.99	c #Conflicts:     789000 | #Constraints:      92770
1072.51/1075.99	c #Conflicts:     790000 | #Constraints:      93770
1072.51/1075.99	c INPROCESSING
1072.51/1075.99	c GARBAGE COLLECT
1072.51/1075.99	c rational objective 98
1200.72/1204.52	c #Conflicts:     791000 | #Constraints:      51458
1200.72/1204.52	c #Conflicts:     792000 | #Constraints:      52458
1200.72/1204.52	c #Conflicts:     793000 | #Constraints:      53458
1200.72/1204.52	c #Conflicts:     794000 | #Constraints:      54458
1200.72/1204.52	c #Conflicts:     795000 | #Constraints:      55458
1200.72/1204.52	c #Conflicts:     796000 | #Constraints:      56458
1200.72/1204.52	c #Conflicts:     797000 | #Constraints:      57458
1200.72/1204.52	c #Conflicts:     798000 | #Constraints:      58458
1200.72/1204.52	c #Conflicts:     799000 | #Constraints:      59459
1200.72/1204.52	c #Conflicts:     800000 | #Constraints:      60459
1200.72/1204.52	c #Conflicts:     801000 | #Constraints:      61459
1200.72/1204.52	c #Conflicts:     802000 | #Constraints:      62459
1200.72/1204.52	c #Conflicts:     803000 | #Constraints:      63459
1200.72/1204.52	c #Conflicts:     804000 | #Constraints:      64459
1200.72/1204.52	c #Conflicts:     805000 | #Constraints:      65459
1200.72/1204.52	c #Conflicts:     806000 | #Constraints:      66459
1200.72/1204.52	c #Conflicts:     807000 | #Constraints:      67459
1200.72/1204.52	c #Conflicts:     808000 | #Constraints:      68459
1200.72/1204.52	c #Conflicts:     809000 | #Constraints:      69459
1200.72/1204.52	c #Conflicts:     810000 | #Constraints:      70459
1200.72/1204.52	c INPROCESSING
1200.72/1204.52	c GARBAGE COLLECT
1200.72/1204.52	c #Conflicts:     811000 | #Constraints:      39657
1200.72/1204.52	c #Conflicts:     812000 | #Constraints:      40657
1200.72/1204.52	c #Conflicts:     813000 | #Constraints:      41657
1200.72/1204.52	c #Conflicts:     814000 | #Constraints:      42657
1200.72/1204.52	c #Conflicts:     815000 | #Constraints:      43657
1200.72/1204.52	c #Conflicts:     816000 | #Constraints:      44657
1200.72/1204.52	c #Conflicts:     817000 | #Constraints:      45657
1200.72/1204.52	c #Conflicts:     818000 | #Constraints:      46657
1200.72/1204.52	c #Conflicts:     819000 | #Constraints:      47657
1200.72/1204.52	c #Conflicts:     820000 | #Constraints:      48657
1200.72/1204.52	c #Conflicts:     821000 | #Constraints:      49657
1200.72/1204.52	c #Conflicts:     822000 | #Constraints:      50657
1200.72/1204.52	c #Conflicts:     823000 | #Constraints:      51657
1200.72/1204.52	c #Conflicts:     824000 | #Constraints:      52657
1200.72/1204.52	c #Conflicts:     825000 | #Constraints:      53657
1200.72/1204.52	c #Conflicts:     826000 | #Constraints:      54657
1200.72/1204.52	c #Conflicts:     827000 | #Constraints:      55657
1200.72/1204.52	c #Conflicts:     828000 | #Constraints:      56657
1200.72/1204.52	c #Conflicts:     829000 | #Constraints:      57657
1200.72/1204.52	c #Conflicts:     830000 | #Constraints:      58657
1200.72/1204.52	c #Conflicts:     831000 | #Constraints:      59657
1200.72/1204.52	c INPROCESSING
1200.72/1204.52	c GARBAGE COLLECT
1200.72/1204.52	c #Conflicts:     832000 | #Constraints:      34439
1200.72/1204.52	c #Conflicts:     833000 | #Constraints:      35439
1200.72/1204.52	c #Conflicts:     834000 | #Constraints:      36439
1200.72/1204.52	c #Conflicts:     835000 | #Constraints:      37439
1200.72/1204.52	c #Conflicts:     836000 | #Constraints:      38439
1200.72/1204.52	c #Conflicts:     837000 | #Constraints:      39439
1200.72/1204.52	c #Conflicts:     838000 | #Constraints:      40439
1200.72/1204.52	c #Conflicts:     839000 | #Constraints:      41439
1200.72/1204.52	c #Conflicts:     840000 | #Constraints:      42439
1200.72/1204.52	c #Conflicts:     841000 | #Constraints:      43439
1200.72/1204.52	c #Conflicts:     842000 | #Constraints:      44439
1200.72/1204.52	c #Conflicts:     843000 | #Constraints:      45439
1200.72/1204.52	c #Conflicts:     844000 | #Constraints:      46439
1200.72/1204.52	c #Conflicts:     845000 | #Constraints:      47439
1200.72/1204.52	c #Conflicts:     846000 | #Constraints:      48439
1200.72/1204.52	c #Conflicts:     847000 | #Constraints:      49439
1200.72/1204.52	c #Conflicts:     848000 | #Constraints:      50439
1200.72/1204.52	c #Conflicts:     849000 | #Constraints:      51439
1200.72/1204.52	c #Conflicts:     850000 | #Constraints:      52439
1200.72/1204.52	c #Conflicts:     851000 | #Constraints:      53439
1200.72/1204.52	c #Conflicts:     852000 | #Constraints:      54439
1200.72/1204.52	c INPROCESSING
1200.72/1204.52	c GARBAGE COLLECT
1200.72/1204.52	c #Conflicts:     853000 | #Constraints:      31829
1200.72/1204.52	c #Conflicts:     854000 | #Constraints:      32829
1200.72/1204.52	c #Conflicts:     855000 | #Constraints:      33829
1200.72/1204.52	c #Conflicts:     856000 | #Constraints:      34829
1200.72/1204.52	c #Conflicts:     857000 | #Constraints:      35829
1200.72/1204.52	c #Conflicts:     858000 | #Constraints:      36829
1200.72/1204.52	c #Conflicts:     859000 | #Constraints:      37829
1200.72/1204.52	c #Conflicts:     860000 | #Constraints:      38829
1200.72/1204.52	c #Conflicts:     861000 | #Constraints:      39829
1200.72/1204.52	c #Conflicts:     862000 | #Constraints:      40829
1200.72/1204.52	c #Conflicts:     863000 | #Constraints:      41829
1200.72/1204.52	c #Conflicts:     864000 | #Constraints:      42829
1200.72/1204.52	c #Conflicts:     865000 | #Constraints:      43829
1200.72/1204.52	c #Conflicts:     866000 | #Constraints:      44829
1200.72/1204.52	c #Conflicts:     867000 | #Constraints:      45829
1373.79/1378.26	c #Conflicts:     868000 | #Constraints:      46829
1373.79/1378.26	c #Conflicts:     869000 | #Constraints:      47829
1373.79/1378.26	c #Conflicts:     870000 | #Constraints:      48829
1373.79/1378.26	c #Conflicts:     871000 | #Constraints:      49829
1373.79/1378.26	c #Conflicts:     872000 | #Constraints:      50829
1373.79/1378.26	c #Conflicts:     873000 | #Constraints:      51829
1373.79/1378.26	c INPROCESSING
1373.79/1378.26	c GARBAGE COLLECT
1373.79/1378.26	c #Conflicts:     874000 | #Constraints:      30515
1373.79/1378.26	c #Conflicts:     875000 | #Constraints:      31515
1373.79/1378.26	c #Conflicts:     876000 | #Constraints:      32515
1373.79/1378.26	c #Conflicts:     877000 | #Constraints:      33515
1373.79/1378.26	c #Conflicts:     878000 | #Constraints:      34515
1373.79/1378.26	c #Conflicts:     879000 | #Constraints:      35515
1373.79/1378.26	c #Conflicts:     880000 | #Constraints:      36515
1373.79/1378.26	c #Conflicts:     881000 | #Constraints:      37515
1373.79/1378.26	c #Conflicts:     882000 | #Constraints:      38515
1373.79/1378.26	c #Conflicts:     883000 | #Constraints:      39515
1373.79/1378.26	c #Conflicts:     884000 | #Constraints:      40515
1373.79/1378.26	c #Conflicts:     885000 | #Constraints:      41515
1373.79/1378.26	c #Conflicts:     886000 | #Constraints:      42515
1373.79/1378.26	c #Conflicts:     887000 | #Constraints:      43515
1373.79/1378.26	c #Conflicts:     888000 | #Constraints:      44515
1373.79/1378.26	c #Conflicts:     889000 | #Constraints:      45515
1373.79/1378.26	c #Conflicts:     890000 | #Constraints:      46515
1373.79/1378.26	c #Conflicts:     891000 | #Constraints:      47515
1373.79/1378.26	c #Conflicts:     892000 | #Constraints:      48515
1373.79/1378.26	c #Conflicts:     893000 | #Constraints:      49515
1373.79/1378.26	c #Conflicts:     894000 | #Constraints:      50515
1373.79/1378.26	c #Conflicts:     895000 | #Constraints:      51515
1373.79/1378.26	c #Conflicts:     896000 | #Constraints:      52515
1373.79/1378.26	c #Conflicts:     897000 | #Constraints:      53515
1373.79/1378.26	c #Conflicts:     898000 | #Constraints:      54515
1373.79/1378.26	c #Conflicts:     899000 | #Constraints:      55515
1373.79/1378.26	c #Conflicts:     900000 | #Constraints:      56515
1373.79/1378.26	c #Conflicts:     901000 | #Constraints:      57515
1373.79/1378.26	c #Conflicts:     902000 | #Constraints:      58515
1373.79/1378.26	c #Conflicts:     903000 | #Constraints:      59515
1373.79/1378.26	c #Conflicts:     904000 | #Constraints:      60515
1373.79/1378.26	c #Conflicts:     905000 | #Constraints:      61515
1373.79/1378.26	c #Conflicts:     906000 | #Constraints:      62515
1373.79/1378.26	c #Conflicts:     907000 | #Constraints:      63515
1373.79/1378.26	c #Conflicts:     908000 | #Constraints:      64515
1373.79/1378.26	c #Conflicts:     909000 | #Constraints:      65515
1373.79/1378.26	c #Conflicts:     910000 | #Constraints:      66515
1373.79/1378.26	c #Conflicts:     911000 | #Constraints:      67515
1373.79/1378.26	c #Conflicts:     912000 | #Constraints:      68515
1373.79/1378.26	c #Conflicts:     913000 | #Constraints:      69515
1373.79/1378.26	c #Conflicts:     914000 | #Constraints:      70515
1373.79/1378.26	c #Conflicts:     915000 | #Constraints:      71515
1373.79/1378.26	c #Conflicts:     916000 | #Constraints:      72515
1373.79/1378.26	c #Conflicts:     917000 | #Constraints:      73515
1373.79/1378.26	c #Conflicts:     918000 | #Constraints:      74515
1373.79/1378.26	c #Conflicts:     919000 | #Constraints:      75515
1373.79/1378.26	c #Conflicts:     920000 | #Constraints:      76515
1373.79/1378.26	c #Conflicts:     921000 | #Constraints:      77515
1373.79/1378.26	c #Conflicts:     922000 | #Constraints:      78515
1373.79/1378.26	c #Conflicts:     923000 | #Constraints:      79515
1373.79/1378.26	c #Conflicts:     924000 | #Constraints:      80515
1373.79/1378.26	c #Conflicts:     925000 | #Constraints:      81515
1373.79/1378.26	c #Conflicts:     926000 | #Constraints:      82515
1373.79/1378.26	c #Conflicts:     927000 | #Constraints:      83515
1373.79/1378.26	c #Conflicts:     928000 | #Constraints:      84515
1373.79/1378.26	c #Conflicts:     929000 | #Constraints:      85515
1373.79/1378.26	c #Conflicts:     930000 | #Constraints:      86515
1373.79/1378.26	c #Conflicts:     931000 | #Constraints:      87515
1373.79/1378.26	c #Conflicts:     932000 | #Constraints:      88515
1373.79/1378.26	c #Conflicts:     933000 | #Constraints:      89515
1373.79/1378.26	c #Conflicts:     934000 | #Constraints:      90515
1373.79/1378.26	c #Conflicts:     935000 | #Constraints:      91515
1373.79/1378.26	c #Conflicts:     936000 | #Constraints:      92515
1373.79/1378.26	c #Conflicts:     937000 | #Constraints:      93515
1373.79/1378.26	c #Conflicts:     938000 | #Constraints:      94515
1373.79/1378.26	c #Conflicts:     939000 | #Constraints:      95515
1373.79/1378.26	c #Conflicts:     940000 | #Constraints:      96515
1373.79/1378.26	c #Conflicts:     941000 | #Constraints:      97515
1373.79/1378.26	c #Conflicts:     942000 | #Constraints:      98515
1373.79/1378.26	c #Conflicts:     943000 | #Constraints:      99515
1373.79/1378.26	c #Conflicts:     944000 | #Constraints:     100515
1373.79/1378.26	c #Conflicts:     945000 | #Constraints:     101515
1513.10/1517.97	c #Conflicts:     946000 | #Constraints:     102515
1513.10/1517.97	c INPROCESSING
1513.10/1517.97	c GARBAGE COLLECT
1513.10/1517.97	c #Conflicts:     947000 | #Constraints:      56058
1513.10/1517.97	c #Conflicts:     948000 | #Constraints:      57058
1513.10/1517.97	c #Conflicts:     949000 | #Constraints:      58058
1513.10/1517.97	c #Conflicts:     950000 | #Constraints:      59058
1513.10/1517.97	c #Conflicts:     951000 | #Constraints:      60058
1513.10/1517.97	c #Conflicts:     952000 | #Constraints:      61058
1513.10/1517.97	c #Conflicts:     953000 | #Constraints:      62058
1513.10/1517.97	c #Conflicts:     954000 | #Constraints:      63058
1513.10/1517.97	c #Conflicts:     955000 | #Constraints:      64058
1513.10/1517.97	c #Conflicts:     956000 | #Constraints:      65058
1513.10/1517.97	c #Conflicts:     957000 | #Constraints:      66058
1513.10/1517.97	c #Conflicts:     958000 | #Constraints:      67058
1513.10/1517.97	c #Conflicts:     959000 | #Constraints:      68058
1513.10/1517.97	c #Conflicts:     960000 | #Constraints:      69058
1513.10/1517.97	c #Conflicts:     961000 | #Constraints:      70058
1513.10/1517.97	c #Conflicts:     962000 | #Constraints:      71058
1513.10/1517.97	c #Conflicts:     963000 | #Constraints:      72058
1513.10/1517.97	c #Conflicts:     964000 | #Constraints:      73058
1513.10/1517.97	c #Conflicts:     965000 | #Constraints:      74058
1513.10/1517.97	c #Conflicts:     966000 | #Constraints:      75058
1513.10/1517.97	c #Conflicts:     967000 | #Constraints:      76058
1513.10/1517.97	c #Conflicts:     968000 | #Constraints:      77058
1513.10/1517.97	c INPROCESSING
1513.10/1517.97	c GARBAGE COLLECT
1513.10/1517.97	c #Conflicts:     969000 | #Constraints:      43122
1513.10/1517.97	c #Conflicts:     970000 | #Constraints:      44122
1513.10/1517.97	c #Conflicts:     971000 | #Constraints:      45122
1513.10/1517.97	c #Conflicts:     972000 | #Constraints:      46122
1513.10/1517.97	c #Conflicts:     973000 | #Constraints:      47122
1513.10/1517.97	c #Conflicts:     974000 | #Constraints:      48122
1513.10/1517.97	c #Conflicts:     975000 | #Constraints:      49122
1513.10/1517.97	c #Conflicts:     976000 | #Constraints:      50122
1513.10/1517.97	c #Conflicts:     977000 | #Constraints:      51122
1513.10/1517.97	c #Conflicts:     978000 | #Constraints:      52122
1513.10/1517.97	c #Conflicts:     979000 | #Constraints:      53122
1513.10/1517.97	c #Conflicts:     980000 | #Constraints:      54122
1513.10/1517.97	c #Conflicts:     981000 | #Constraints:      55122
1513.10/1517.97	c #Conflicts:     982000 | #Constraints:      56122
1513.10/1517.97	c #Conflicts:     983000 | #Constraints:      57122
1513.10/1517.97	c #Conflicts:     984000 | #Constraints:      58122
1513.10/1517.97	c #Conflicts:     985000 | #Constraints:      59122
1513.10/1517.97	c #Conflicts:     986000 | #Constraints:      60122
1513.10/1517.97	c #Conflicts:     987000 | #Constraints:      61122
1513.10/1517.97	c #Conflicts:     988000 | #Constraints:      62122
1513.10/1517.97	c #Conflicts:     989000 | #Constraints:      63122
1513.10/1517.97	c #Conflicts:     990000 | #Constraints:      64122
1513.10/1517.97	c #Conflicts:     991000 | #Constraints:      65122
1513.10/1517.97	c INPROCESSING
1513.10/1517.97	c GARBAGE COLLECT
1513.10/1517.97	c #Conflicts:     992000 | #Constraints:      37283
1513.10/1517.97	c #Conflicts:     993000 | #Constraints:      38283
1513.10/1517.97	c #Conflicts:     994000 | #Constraints:      39283
1513.10/1517.97	c #Conflicts:     995000 | #Constraints:      40283
1513.10/1517.97	c #Conflicts:     996000 | #Constraints:      41283
1513.10/1517.97	c #Conflicts:     997000 | #Constraints:      42283
1513.10/1517.97	c #Conflicts:     998000 | #Constraints:      43283
1513.10/1517.97	c #Conflicts:     999000 | #Constraints:      44283
1513.10/1517.97	c #Conflicts:    1000000 | #Constraints:      45283
1513.10/1517.97	c #Conflicts:    1001000 | #Constraints:      46283
1513.10/1517.97	c #Conflicts:    1002000 | #Constraints:      47283
1513.10/1517.97	c #Conflicts:    1003000 | #Constraints:      48283
1513.10/1517.97	c #Conflicts:    1004000 | #Constraints:      49283
1513.10/1517.97	c #Conflicts:    1005000 | #Constraints:      50283
1513.10/1517.97	c #Conflicts:    1006000 | #Constraints:      51283
1513.10/1517.97	c #Conflicts:    1007000 | #Constraints:      52283
1513.10/1517.97	c #Conflicts:    1008000 | #Constraints:      53283
1513.10/1517.97	c #Conflicts:    1009000 | #Constraints:      54283
1513.10/1517.97	c #Conflicts:    1010000 | #Constraints:      55283
1513.10/1517.97	c #Conflicts:    1011000 | #Constraints:      56283
1513.10/1517.97	c #Conflicts:    1012000 | #Constraints:      57283
1513.10/1517.97	c #Conflicts:    1013000 | #Constraints:      58283
1513.10/1517.97	c #Conflicts:    1014000 | #Constraints:      59283
1513.10/1517.97	c INPROCESSING
1513.10/1517.97	c GARBAGE COLLECT
1513.10/1517.97	c rational objective 98
1551.21/1556.18	c #Conflicts:    1015000 | #Constraints:      34559
1551.21/1556.18	c #Conflicts:    1016000 | #Constraints:      35559
1551.21/1556.18	c #Conflicts:    1017000 | #Constraints:      36559
1551.21/1556.18	c #Conflicts:    1018000 | #Constraints:      37559
1551.21/1556.18	c #Conflicts:    1019000 | #Constraints:      38559
1551.21/1556.18	c #Conflicts:    1020000 | #Constraints:      39559
1551.21/1556.18	c #Conflicts:    1021000 | #Constraints:      40559
1551.21/1556.18	c #Conflicts:    1022000 | #Constraints:      41559
1551.21/1556.18	c #Conflicts:    1023000 | #Constraints:      42559
1551.21/1556.18	c #Conflicts:    1024000 | #Constraints:      43559
1551.21/1556.18	c #Conflicts:    1025000 | #Constraints:      44559
1551.21/1556.18	c #Conflicts:    1026000 | #Constraints:      45559
1551.21/1556.18	c #Conflicts:    1027000 | #Constraints:      46559
1551.21/1556.18	c #Conflicts:    1028000 | #Constraints:      47559
1551.21/1556.18	c #Conflicts:    1029000 | #Constraints:      48559
1551.21/1556.18	c #Conflicts:    1030000 | #Constraints:      49559
1551.21/1556.18	c #Conflicts:    1031000 | #Constraints:      50559
1551.21/1556.18	c #Conflicts:    1032000 | #Constraints:      51559
1551.21/1556.18	c #Conflicts:    1033000 | #Constraints:      52559
1551.21/1556.18	c #Conflicts:    1034000 | #Constraints:      53559
1551.21/1556.18	c #Conflicts:    1035000 | #Constraints:      54559
1551.21/1556.18	c #Conflicts:    1036000 | #Constraints:      55559
1551.21/1556.18	c #Conflicts:    1037000 | #Constraints:      56559
1551.21/1556.18	c INPROCESSING
1551.21/1556.18	c GARBAGE COLLECT
1551.21/1556.18	c rational objective 98
1707.18/1712.70	c #Conflicts:    1038000 | #Constraints:      33145
1707.18/1712.70	c #Conflicts:    1039000 | #Constraints:      34145
1707.18/1712.70	c #Conflicts:    1040000 | #Constraints:      35145
1707.18/1712.70	c #Conflicts:    1041000 | #Constraints:      36145
1707.18/1712.70	c #Conflicts:    1042000 | #Constraints:      37145
1707.18/1712.70	c #Conflicts:    1043000 | #Constraints:      38145
1707.18/1712.70	c #Conflicts:    1044000 | #Constraints:      39145
1707.18/1712.70	c #Conflicts:    1045000 | #Constraints:      40145
1707.18/1712.70	c #Conflicts:    1046000 | #Constraints:      41145
1707.18/1712.70	c #Conflicts:    1047000 | #Constraints:      42145
1707.18/1712.70	c #Conflicts:    1048000 | #Constraints:      43145
1707.18/1712.70	c #Conflicts:    1049000 | #Constraints:      44145
1707.18/1712.70	c #Conflicts:    1050000 | #Constraints:      45145
1707.18/1712.70	c #Conflicts:    1051000 | #Constraints:      46145
1707.18/1712.70	c #Conflicts:    1052000 | #Constraints:      47145
1707.18/1712.70	c #Conflicts:    1053000 | #Constraints:      48145
1707.18/1712.70	c #Conflicts:    1054000 | #Constraints:      49145
1707.18/1712.70	c #Conflicts:    1055000 | #Constraints:      50145
1707.18/1712.70	c #Conflicts:    1056000 | #Constraints:      51145
1707.18/1712.70	c #Conflicts:    1057000 | #Constraints:      52145
1707.18/1712.70	c #Conflicts:    1058000 | #Constraints:      53145
1707.18/1712.70	c #Conflicts:    1059000 | #Constraints:      54145
1707.18/1712.70	c #Conflicts:    1060000 | #Constraints:      55145
1707.18/1712.70	c INPROCESSING
1707.18/1712.70	c GARBAGE COLLECT
1707.18/1712.70	c #Conflicts:    1061000 | #Constraints:      32372
1707.18/1712.70	c #Conflicts:    1062000 | #Constraints:      33372
1707.18/1712.70	c #Conflicts:    1063000 | #Constraints:      34372
1707.18/1712.70	c #Conflicts:    1064000 | #Constraints:      35372
1707.18/1712.70	c #Conflicts:    1065000 | #Constraints:      36372
1707.18/1712.70	c #Conflicts:    1066000 | #Constraints:      37372
1707.18/1712.70	c #Conflicts:    1067000 | #Constraints:      38372
1707.18/1712.70	c #Conflicts:    1068000 | #Constraints:      39372
1707.18/1712.70	c #Conflicts:    1069000 | #Constraints:      40372
1707.18/1712.70	c #Conflicts:    1070000 | #Constraints:      41372
1707.18/1712.70	c #Conflicts:    1071000 | #Constraints:      42372
1707.18/1712.70	c #Conflicts:    1072000 | #Constraints:      43372
1707.18/1712.70	c #Conflicts:    1073000 | #Constraints:      44372
1707.18/1712.70	c #Conflicts:    1074000 | #Constraints:      45372
1707.18/1712.70	c #Conflicts:    1075000 | #Constraints:      46372
1707.18/1712.70	c #Conflicts:    1076000 | #Constraints:      47372
1707.18/1712.70	c #Conflicts:    1077000 | #Constraints:      48372
1707.18/1712.70	c #Conflicts:    1078000 | #Constraints:      49372
1707.18/1712.70	c #Conflicts:    1079000 | #Constraints:      50372
1707.18/1712.70	c #Conflicts:    1080000 | #Constraints:      51372
1707.18/1712.70	c #Conflicts:    1081000 | #Constraints:      52372
1707.18/1712.70	c #Conflicts:    1082000 | #Constraints:      53372
1707.18/1712.70	c #Conflicts:    1083000 | #Constraints:      54372
1707.18/1712.70	c #Conflicts:    1084000 | #Constraints:      55372
1707.18/1712.70	c #Conflicts:    1085000 | #Constraints:      56372
1707.18/1712.70	c #Conflicts:    1086000 | #Constraints:      57372
1707.18/1712.70	c #Conflicts:    1087000 | #Constraints:      58372
1707.18/1712.70	c #Conflicts:    1088000 | #Constraints:      59372
1707.18/1712.70	c #Conflicts:    1089000 | #Constraints:      60372
1707.18/1712.70	c #Conflicts:    1090000 | #Constraints:      61372
1707.18/1712.70	c #Conflicts:    1091000 | #Constraints:      62372
1707.18/1712.70	c #Conflicts:    1092000 | #Constraints:      63372
1707.18/1712.70	c #Conflicts:    1093000 | #Constraints:      64372
1707.18/1712.70	c #Conflicts:    1094000 | #Constraints:      65372
1707.18/1712.70	c #Conflicts:    1095000 | #Constraints:      66372
1707.18/1712.70	c #Conflicts:    1096000 | #Constraints:      67372
1707.18/1712.70	c #Conflicts:    1097000 | #Constraints:      68372
1707.18/1712.70	c #Conflicts:    1098000 | #Constraints:      69372
1707.18/1712.70	c #Conflicts:    1099000 | #Constraints:      70372
1707.18/1712.70	c #Conflicts:    1100000 | #Constraints:      71372
1707.18/1712.70	c #Conflicts:    1101000 | #Constraints:      72372
1707.18/1712.70	c #Conflicts:    1102000 | #Constraints:      73372
1707.18/1712.70	c #Conflicts:    1103000 | #Constraints:      74372
1707.18/1712.70	c #Conflicts:    1104000 | #Constraints:      75372
1707.18/1712.70	c #Conflicts:    1105000 | #Constraints:      76372
1707.18/1712.70	c #Conflicts:    1106000 | #Constraints:      77372
1707.18/1712.70	c #Conflicts:    1107000 | #Constraints:      78372
1707.18/1712.70	c #Conflicts:    1108000 | #Constraints:      79372
1707.18/1712.70	c #Conflicts:    1109000 | #Constraints:      80372
1707.18/1712.70	c #Conflicts:    1110000 | #Constraints:      81372
1707.18/1712.70	c #Conflicts:    1111000 | #Constraints:      82372
1707.18/1712.70	c #Conflicts:    1112000 | #Constraints:      83372
1707.18/1712.70	c #Conflicts:    1113000 | #Constraints:      84372
1707.18/1712.70	c #Conflicts:    1114000 | #Constraints:      85372
1707.18/1712.70	c #Conflicts:    1115000 | #Constraints:      86372
1707.18/1712.70	c #Conflicts:    1116000 | #Constraints:      87372
1843.81/1849.71	c #Conflicts:    1117000 | #Constraints:      88372
1843.81/1849.71	c #Conflicts:    1118000 | #Constraints:      89372
1843.81/1849.71	c #Conflicts:    1119000 | #Constraints:      90372
1843.81/1849.71	c #Conflicts:    1120000 | #Constraints:      91372
1843.81/1849.71	c #Conflicts:    1121000 | #Constraints:      92372
1843.81/1849.71	c #Conflicts:    1122000 | #Constraints:      93372
1843.81/1849.71	c #Conflicts:    1123000 | #Constraints:      94372
1843.81/1849.71	c #Conflicts:    1124000 | #Constraints:      95372
1843.81/1849.71	c #Conflicts:    1125000 | #Constraints:      96372
1843.81/1849.71	c #Conflicts:    1126000 | #Constraints:      97372
1843.81/1849.71	c #Conflicts:    1127000 | #Constraints:      98372
1843.81/1849.71	c #Conflicts:    1128000 | #Constraints:      99372
1843.81/1849.71	c #Conflicts:    1129000 | #Constraints:     100372
1843.81/1849.71	c #Conflicts:    1130000 | #Constraints:     101372
1843.81/1849.71	c #Conflicts:    1131000 | #Constraints:     102372
1843.81/1849.71	c #Conflicts:    1132000 | #Constraints:     103372
1843.81/1849.71	c #Conflicts:    1133000 | #Constraints:     104372
1843.81/1849.71	c #Conflicts:    1134000 | #Constraints:     105372
1843.81/1849.71	c #Conflicts:    1135000 | #Constraints:     106372
1843.81/1849.71	c #Conflicts:    1136000 | #Constraints:     107372
1843.81/1849.71	c #Conflicts:    1137000 | #Constraints:     108372
1843.81/1849.71	c #Conflicts:    1138000 | #Constraints:     109372
1843.81/1849.71	c #Conflicts:    1139000 | #Constraints:     110372
1843.81/1849.71	c #Conflicts:    1140000 | #Constraints:     111372
1843.81/1849.71	c INPROCESSING
1843.81/1849.71	c GARBAGE COLLECT
1843.81/1849.71	c #Conflicts:    1141000 | #Constraints:      60389
1843.81/1849.71	c #Conflicts:    1142000 | #Constraints:      61389
1843.81/1849.71	c #Conflicts:    1143000 | #Constraints:      62389
1843.81/1849.71	c #Conflicts:    1144000 | #Constraints:      63389
1843.81/1849.71	c #Conflicts:    1145000 | #Constraints:      64389
1843.81/1849.71	c #Conflicts:    1146000 | #Constraints:      65389
1843.81/1849.71	c #Conflicts:    1147000 | #Constraints:      66389
1843.81/1849.71	c #Conflicts:    1148000 | #Constraints:      67389
1843.81/1849.71	c #Conflicts:    1149000 | #Constraints:      68389
1843.81/1849.71	c #Conflicts:    1150000 | #Constraints:      69389
1843.81/1849.71	c #Conflicts:    1151000 | #Constraints:      70389
1843.81/1849.71	c #Conflicts:    1152000 | #Constraints:      71389
1843.81/1849.71	c #Conflicts:    1153000 | #Constraints:      72389
1843.81/1849.71	c #Conflicts:    1154000 | #Constraints:      73389
1843.81/1849.71	c #Conflicts:    1155000 | #Constraints:      74389
1843.81/1849.71	c #Conflicts:    1156000 | #Constraints:      75389
1843.81/1849.71	c #Conflicts:    1157000 | #Constraints:      76389
1843.81/1849.71	c #Conflicts:    1158000 | #Constraints:      77389
1843.81/1849.71	c #Conflicts:    1159000 | #Constraints:      78389
1843.81/1849.71	c #Conflicts:    1160000 | #Constraints:      79389
1843.81/1849.71	c #Conflicts:    1161000 | #Constraints:      80389
1843.81/1849.71	c #Conflicts:    1162000 | #Constraints:      81389
1843.81/1849.71	c #Conflicts:    1163000 | #Constraints:      82389
1843.81/1849.71	c #Conflicts:    1164000 | #Constraints:      83389
1843.81/1849.71	c INPROCESSING
1843.81/1849.71	c GARBAGE COLLECT
1843.81/1849.71	c rational objective 98
1884.09/1890.11	c #Conflicts:    1165000 | #Constraints:      46130
1884.09/1890.11	c #Conflicts:    1166000 | #Constraints:      47130
1884.09/1890.11	c #Conflicts:    1167000 | #Constraints:      48130
1884.09/1890.11	c #Conflicts:    1168000 | #Constraints:      49130
1884.09/1890.11	c #Conflicts:    1169000 | #Constraints:      50130
1884.09/1890.11	c #Conflicts:    1170000 | #Constraints:      51130
1884.09/1890.11	c #Conflicts:    1171000 | #Constraints:      52130
1884.09/1890.11	c #Conflicts:    1172000 | #Constraints:      53130
1884.09/1890.11	c #Conflicts:    1173000 | #Constraints:      54130
1884.09/1890.11	c #Conflicts:    1174000 | #Constraints:      55130
1884.09/1890.11	c #Conflicts:    1175000 | #Constraints:      56130
1884.09/1890.11	c #Conflicts:    1176000 | #Constraints:      57130
1884.09/1890.11	c #Conflicts:    1177000 | #Constraints:      58130
1884.09/1890.11	c #Conflicts:    1178000 | #Constraints:      59130
1884.09/1890.11	c #Conflicts:    1179000 | #Constraints:      60130
1884.09/1890.11	c #Conflicts:    1180000 | #Constraints:      61130
1884.09/1890.11	c #Conflicts:    1181000 | #Constraints:      62130
1884.09/1890.11	c #Conflicts:    1182000 | #Constraints:      63130
1884.09/1890.11	c #Conflicts:    1183000 | #Constraints:      64130
1884.09/1890.11	c #Conflicts:    1184000 | #Constraints:      65130
1884.09/1890.11	c #Conflicts:    1185000 | #Constraints:      66130
1884.09/1890.11	c #Conflicts:    1186000 | #Constraints:      67130
1884.09/1890.11	c #Conflicts:    1187000 | #Constraints:      68130
1884.09/1890.11	c #Conflicts:    1188000 | #Constraints:      69130
1884.09/1890.11	c #Conflicts:    1189000 | #Constraints:      70130
1884.09/1890.11	c INPROCESSING
1884.09/1890.11	c GARBAGE COLLECT
1884.09/1890.11	c rational objective 98
1930.72/1936.94	c #Conflicts:    1190000 | #Constraints:      39724
1930.72/1936.94	c #Conflicts:    1191000 | #Constraints:      40724
1930.72/1936.94	c #Conflicts:    1192000 | #Constraints:      41725
1930.72/1936.94	c #Conflicts:    1193000 | #Constraints:      42725
1930.72/1936.94	c #Conflicts:    1194000 | #Constraints:      43725
1930.72/1936.94	c #Conflicts:    1195000 | #Constraints:      44725
1930.72/1936.94	c #Conflicts:    1196000 | #Constraints:      45725
1930.72/1936.94	c #Conflicts:    1197000 | #Constraints:      46725
1930.72/1936.94	c #Conflicts:    1198000 | #Constraints:      47725
1930.72/1936.94	c #Conflicts:    1199000 | #Constraints:      48725
1930.72/1936.94	c #Conflicts:    1200000 | #Constraints:      49725
1930.72/1936.94	c #Conflicts:    1201000 | #Constraints:      50725
1930.72/1936.94	c #Conflicts:    1202000 | #Constraints:      51725
1930.72/1936.94	c #Conflicts:    1203000 | #Constraints:      52725
1930.72/1936.94	c #Conflicts:    1204000 | #Constraints:      53725
1930.72/1936.94	c #Conflicts:    1205000 | #Constraints:      54725
1930.72/1936.94	c #Conflicts:    1206000 | #Constraints:      55725
1930.72/1936.94	c #Conflicts:    1207000 | #Constraints:      56725
1930.72/1936.94	c #Conflicts:    1208000 | #Constraints:      57725
1930.72/1936.94	c #Conflicts:    1209000 | #Constraints:      58725
1930.72/1936.94	c #Conflicts:    1210000 | #Constraints:      59725
1930.72/1936.94	c #Conflicts:    1211000 | #Constraints:      60725
1930.72/1936.94	c #Conflicts:    1212000 | #Constraints:      61725
1930.72/1936.94	c #Conflicts:    1213000 | #Constraints:      62725
1930.72/1936.94	c #Conflicts:    1214000 | #Constraints:      63725
1930.72/1936.94	c INPROCESSING
1930.72/1936.94	c GARBAGE COLLECT
1930.72/1936.94	c rational objective 98
2029.28/2035.85	c #Conflicts:    1215000 | #Constraints:      36592
2029.28/2035.85	c #Conflicts:    1216000 | #Constraints:      37592
2029.28/2035.85	c #Conflicts:    1217000 | #Constraints:      38592
2029.28/2035.85	c #Conflicts:    1218000 | #Constraints:      39592
2029.28/2035.85	c #Conflicts:    1219000 | #Constraints:      40592
2029.28/2035.85	c #Conflicts:    1220000 | #Constraints:      41592
2029.28/2035.85	c #Conflicts:    1221000 | #Constraints:      42592
2029.28/2035.85	c #Conflicts:    1222000 | #Constraints:      43592
2029.28/2035.85	c #Conflicts:    1223000 | #Constraints:      44592
2029.28/2035.85	c #Conflicts:    1224000 | #Constraints:      45592
2029.28/2035.85	c #Conflicts:    1225000 | #Constraints:      46592
2029.28/2035.85	c #Conflicts:    1226000 | #Constraints:      47592
2029.28/2035.85	c #Conflicts:    1227000 | #Constraints:      48592
2029.28/2035.85	c #Conflicts:    1228000 | #Constraints:      49592
2029.28/2035.85	c #Conflicts:    1229000 | #Constraints:      50592
2029.28/2035.85	c #Conflicts:    1230000 | #Constraints:      51592
2029.28/2035.85	c #Conflicts:    1231000 | #Constraints:      52592
2029.28/2035.85	c #Conflicts:    1232000 | #Constraints:      53592
2029.28/2035.85	c #Conflicts:    1233000 | #Constraints:      54592
2029.28/2035.85	c #Conflicts:    1234000 | #Constraints:      55592
2029.28/2035.85	c #Conflicts:    1235000 | #Constraints:      56592
2029.28/2035.85	c #Conflicts:    1236000 | #Constraints:      57592
2029.28/2035.85	c #Conflicts:    1237000 | #Constraints:      58592
2029.28/2035.85	c #Conflicts:    1238000 | #Constraints:      59592
2029.28/2035.85	c #Conflicts:    1239000 | #Constraints:      60592
2029.28/2035.85	c INPROCESSING
2029.28/2035.85	c GARBAGE COLLECT
2029.28/2035.85	c #Conflicts:    1240000 | #Constraints:      34901
2029.28/2035.85	c #Conflicts:    1241000 | #Constraints:      35901
2029.28/2035.85	c #Conflicts:    1242000 | #Constraints:      36901
2029.28/2035.85	c #Conflicts:    1243000 | #Constraints:      37901
2029.28/2035.85	c #Conflicts:    1244000 | #Constraints:      38901
2029.28/2035.85	c #Conflicts:    1245000 | #Constraints:      39901
2029.28/2035.85	c #Conflicts:    1246000 | #Constraints:      40901
2029.28/2035.85	c #Conflicts:    1247000 | #Constraints:      41901
2029.28/2035.85	c #Conflicts:    1248000 | #Constraints:      42901
2029.28/2035.85	c #Conflicts:    1249000 | #Constraints:      43901
2029.28/2035.85	c #Conflicts:    1250000 | #Constraints:      44901
2029.28/2035.85	c #Conflicts:    1251000 | #Constraints:      45901
2029.28/2035.85	c #Conflicts:    1252000 | #Constraints:      46901
2029.28/2035.85	c #Conflicts:    1253000 | #Constraints:      47901
2029.28/2035.85	c #Conflicts:    1254000 | #Constraints:      48901
2029.28/2035.85	c #Conflicts:    1255000 | #Constraints:      49901
2029.28/2035.85	c #Conflicts:    1256000 | #Constraints:      50901
2029.28/2035.85	c #Conflicts:    1257000 | #Constraints:      51901
2029.28/2035.85	c #Conflicts:    1258000 | #Constraints:      52901
2029.28/2035.85	c #Conflicts:    1259000 | #Constraints:      53901
2029.28/2035.85	c #Conflicts:    1260000 | #Constraints:      54901
2029.28/2035.85	c #Conflicts:    1261000 | #Constraints:      55901
2029.28/2035.85	c #Conflicts:    1262000 | #Constraints:      56901
2029.28/2035.85	c #Conflicts:    1263000 | #Constraints:      57901
2029.28/2035.85	c #Conflicts:    1264000 | #Constraints:      58901
2029.28/2035.85	c INPROCESSING
2029.28/2035.85	c GARBAGE COLLECT
2029.28/2035.85	c #Conflicts:    1265000 | #Constraints:      33913
2029.28/2035.85	c #Conflicts:    1266000 | #Constraints:      34913
2029.28/2035.85	c #Conflicts:    1267000 | #Constraints:      35913
2029.28/2035.85	c #Conflicts:    1268000 | #Constraints:      36913
2029.28/2035.85	c #Conflicts:    1269000 | #Constraints:      37913
2029.28/2035.85	c #Conflicts:    1270000 | #Constraints:      38913
2029.28/2035.85	c #Conflicts:    1271000 | #Constraints:      39913
2029.28/2035.85	c #Conflicts:    1272000 | #Constraints:      40913
2029.28/2035.85	c #Conflicts:    1273000 | #Constraints:      41913
2029.28/2035.85	c #Conflicts:    1274000 | #Constraints:      42913
2029.28/2035.85	c #Conflicts:    1275000 | #Constraints:      43913
2029.28/2035.85	c #Conflicts:    1276000 | #Constraints:      44913
2029.28/2035.85	c #Conflicts:    1277000 | #Constraints:      45913
2029.28/2035.85	c #Conflicts:    1278000 | #Constraints:      46913
2029.28/2035.85	c #Conflicts:    1279000 | #Constraints:      47913
2029.28/2035.85	c #Conflicts:    1280000 | #Constraints:      48913
2029.28/2035.85	c #Conflicts:    1281000 | #Constraints:      49913
2029.28/2035.85	c #Conflicts:    1282000 | #Constraints:      50913
2029.28/2035.85	c #Conflicts:    1283000 | #Constraints:      51913
2029.28/2035.85	c #Conflicts:    1284000 | #Constraints:      52913
2029.28/2035.85	c #Conflicts:    1285000 | #Constraints:      53914
2029.28/2035.85	c #Conflicts:    1286000 | #Constraints:      54914
2029.28/2035.85	c #Conflicts:    1287000 | #Constraints:      55914
2029.28/2035.85	c #Conflicts:    1288000 | #Constraints:      56914
2029.28/2035.85	c #Conflicts:    1289000 | #Constraints:      57914
2029.28/2035.85	c #Conflicts:    1290000 | #Constraints:      58914
2029.28/2035.85	c #Conflicts:    1291000 | #Constraints:      59914
2029.28/2035.85	c #Conflicts:    1292000 | #Constraints:      60914
2226.02/2233.21	c #Conflicts:    1293000 | #Constraints:      61914
2226.02/2233.21	c #Conflicts:    1294000 | #Constraints:      62914
2226.02/2233.21	c #Conflicts:    1295000 | #Constraints:      63914
2226.02/2233.21	c #Conflicts:    1296000 | #Constraints:      64914
2226.02/2233.21	c #Conflicts:    1297000 | #Constraints:      65914
2226.02/2233.21	c #Conflicts:    1298000 | #Constraints:      66915
2226.02/2233.21	c #Conflicts:    1299000 | #Constraints:      67915
2226.02/2233.21	c #Conflicts:    1300000 | #Constraints:      68915
2226.02/2233.21	c #Conflicts:    1301000 | #Constraints:      69915
2226.02/2233.21	c #Conflicts:    1302000 | #Constraints:      70915
2226.02/2233.21	c #Conflicts:    1303000 | #Constraints:      71915
2226.02/2233.21	c #Conflicts:    1304000 | #Constraints:      72915
2226.02/2233.21	c #Conflicts:    1305000 | #Constraints:      73915
2226.02/2233.21	c #Conflicts:    1306000 | #Constraints:      74915
2226.02/2233.21	c #Conflicts:    1307000 | #Constraints:      75915
2226.02/2233.21	c #Conflicts:    1308000 | #Constraints:      76915
2226.02/2233.21	c #Conflicts:    1309000 | #Constraints:      77915
2226.02/2233.21	c #Conflicts:    1310000 | #Constraints:      78915
2226.02/2233.21	c #Conflicts:    1311000 | #Constraints:      79915
2226.02/2233.21	c #Conflicts:    1312000 | #Constraints:      80915
2226.02/2233.21	c #Conflicts:    1313000 | #Constraints:      81915
2226.02/2233.21	c #Conflicts:    1314000 | #Constraints:      82915
2226.02/2233.21	c #Conflicts:    1315000 | #Constraints:      83915
2226.02/2233.21	c #Conflicts:    1316000 | #Constraints:      84915
2226.02/2233.21	c #Conflicts:    1317000 | #Constraints:      85915
2226.02/2233.21	c #Conflicts:    1318000 | #Constraints:      86915
2226.02/2233.21	c #Conflicts:    1319000 | #Constraints:      87915
2226.02/2233.21	c #Conflicts:    1320000 | #Constraints:      88915
2226.02/2233.21	c #Conflicts:    1321000 | #Constraints:      89915
2226.02/2233.21	c #Conflicts:    1322000 | #Constraints:      90915
2226.02/2233.21	c #Conflicts:    1323000 | #Constraints:      91915
2226.02/2233.21	c #Conflicts:    1324000 | #Constraints:      92915
2226.02/2233.21	c #Conflicts:    1325000 | #Constraints:      93915
2226.02/2233.21	c #Conflicts:    1326000 | #Constraints:      94915
2226.02/2233.21	c #Conflicts:    1327000 | #Constraints:      95915
2226.02/2233.21	c #Conflicts:    1328000 | #Constraints:      96915
2226.02/2233.21	c #Conflicts:    1329000 | #Constraints:      97915
2226.02/2233.21	c #Conflicts:    1330000 | #Constraints:      98915
2226.02/2233.21	c #Conflicts:    1331000 | #Constraints:      99915
2226.02/2233.21	c #Conflicts:    1332000 | #Constraints:     100915
2226.02/2233.21	c #Conflicts:    1333000 | #Constraints:     101915
2226.02/2233.21	c #Conflicts:    1334000 | #Constraints:     102915
2226.02/2233.21	c #Conflicts:    1335000 | #Constraints:     103915
2226.02/2233.21	c #Conflicts:    1336000 | #Constraints:     104915
2226.02/2233.21	c #Conflicts:    1337000 | #Constraints:     105915
2226.02/2233.21	c #Conflicts:    1338000 | #Constraints:     106915
2226.02/2233.21	c #Conflicts:    1339000 | #Constraints:     107915
2226.02/2233.21	c #Conflicts:    1340000 | #Constraints:     108915
2226.02/2233.21	c #Conflicts:    1341000 | #Constraints:     109915
2226.02/2233.21	c #Conflicts:    1342000 | #Constraints:     110915
2226.02/2233.21	c #Conflicts:    1343000 | #Constraints:     111915
2226.02/2233.21	c #Conflicts:    1344000 | #Constraints:     112915
2226.02/2233.21	c #Conflicts:    1345000 | #Constraints:     113915
2226.02/2233.21	c #Conflicts:    1346000 | #Constraints:     114915
2226.02/2233.21	c #Conflicts:    1347000 | #Constraints:     115915
2226.02/2233.21	c #Conflicts:    1348000 | #Constraints:     116915
2226.02/2233.21	c #Conflicts:    1349000 | #Constraints:     117915
2226.02/2233.21	c #Conflicts:    1350000 | #Constraints:     118915
2226.02/2233.21	c #Conflicts:    1351000 | #Constraints:     119915
2226.02/2233.21	c #Conflicts:    1352000 | #Constraints:     120915
2226.02/2233.21	c INPROCESSING
2226.02/2233.21	c GARBAGE COLLECT
2226.02/2233.21	c rational objective 98
2287.62/2295.09	c #Conflicts:    1353000 | #Constraints:      65141
2287.62/2295.09	c #Conflicts:    1354000 | #Constraints:      66141
2287.62/2295.09	c #Conflicts:    1355000 | #Constraints:      67141
2287.62/2295.09	c #Conflicts:    1356000 | #Constraints:      68141
2287.62/2295.09	c #Conflicts:    1357000 | #Constraints:      69141
2287.62/2295.09	c #Conflicts:    1358000 | #Constraints:      70141
2287.62/2295.09	c #Conflicts:    1359000 | #Constraints:      71141
2287.62/2295.09	c #Conflicts:    1360000 | #Constraints:      72141
2287.62/2295.09	c #Conflicts:    1361000 | #Constraints:      73141
2287.62/2295.09	c #Conflicts:    1362000 | #Constraints:      74141
2287.62/2295.09	c #Conflicts:    1363000 | #Constraints:      75141
2287.62/2295.09	c #Conflicts:    1364000 | #Constraints:      76141
2287.62/2295.09	c #Conflicts:    1365000 | #Constraints:      77141
2287.62/2295.09	c #Conflicts:    1366000 | #Constraints:      78141
2287.62/2295.09	c #Conflicts:    1367000 | #Constraints:      79141
2287.62/2295.09	c #Conflicts:    1368000 | #Constraints:      80141
2287.62/2295.09	c #Conflicts:    1369000 | #Constraints:      81141
2287.62/2295.09	c #Conflicts:    1370000 | #Constraints:      82141
2287.62/2295.09	c #Conflicts:    1371000 | #Constraints:      83141
2287.62/2295.09	c #Conflicts:    1372000 | #Constraints:      84141
2287.62/2295.09	c #Conflicts:    1373000 | #Constraints:      85141
2287.62/2295.09	c #Conflicts:    1374000 | #Constraints:      86141
2287.62/2295.09	c #Conflicts:    1375000 | #Constraints:      87141
2287.62/2295.09	c #Conflicts:    1376000 | #Constraints:      88141
2287.62/2295.09	c #Conflicts:    1377000 | #Constraints:      89141
2287.62/2295.09	c #Conflicts:    1378000 | #Constraints:      90141
2287.62/2295.09	c #Conflicts:    1379000 | #Constraints:      91141
2287.62/2295.09	c INPROCESSING
2287.62/2295.09	c GARBAGE COLLECT
2287.62/2295.09	c rational objective 98
2375.51/2383.29	c #Conflicts:    1380000 | #Constraints:      50358
2375.51/2383.29	c #Conflicts:    1381000 | #Constraints:      51358
2375.51/2383.29	c #Conflicts:    1382000 | #Constraints:      52358
2375.51/2383.29	c #Conflicts:    1383000 | #Constraints:      53358
2375.51/2383.29	c #Conflicts:    1384000 | #Constraints:      54358
2375.51/2383.29	c #Conflicts:    1385000 | #Constraints:      55358
2375.51/2383.29	c #Conflicts:    1386000 | #Constraints:      56358
2375.51/2383.29	c #Conflicts:    1387000 | #Constraints:      57358
2375.51/2383.29	c #Conflicts:    1388000 | #Constraints:      58358
2375.51/2383.29	c #Conflicts:    1389000 | #Constraints:      59358
2375.51/2383.29	c #Conflicts:    1390000 | #Constraints:      60358
2375.51/2383.29	c #Conflicts:    1391000 | #Constraints:      61358
2375.51/2383.29	c #Conflicts:    1392000 | #Constraints:      62358
2375.51/2383.29	c #Conflicts:    1393000 | #Constraints:      63358
2375.51/2383.29	c #Conflicts:    1394000 | #Constraints:      64358
2375.51/2383.29	c #Conflicts:    1395000 | #Constraints:      65358
2375.51/2383.29	c #Conflicts:    1396000 | #Constraints:      66358
2375.51/2383.29	c #Conflicts:    1397000 | #Constraints:      67358
2375.51/2383.29	c #Conflicts:    1398000 | #Constraints:      68358
2375.51/2383.29	c #Conflicts:    1399000 | #Constraints:      69358
2375.51/2383.29	c #Conflicts:    1400000 | #Constraints:      70358
2375.51/2383.29	c #Conflicts:    1401000 | #Constraints:      71358
2375.51/2383.29	c #Conflicts:    1402000 | #Constraints:      72358
2375.51/2383.29	c #Conflicts:    1403000 | #Constraints:      73358
2375.51/2383.29	c #Conflicts:    1404000 | #Constraints:      74358
2375.51/2383.29	c #Conflicts:    1405000 | #Constraints:      75358
2375.51/2383.29	c INPROCESSING
2375.51/2383.29	c GARBAGE COLLECT
2375.51/2383.29	c #Conflicts:    1406000 | #Constraints:      42140
2375.51/2383.29	c #Conflicts:    1407000 | #Constraints:      43140
2375.51/2383.29	c #Conflicts:    1408000 | #Constraints:      44140
2375.51/2383.29	c #Conflicts:    1409000 | #Constraints:      45140
2375.51/2383.29	c #Conflicts:    1410000 | #Constraints:      46140
2375.51/2383.29	c #Conflicts:    1411000 | #Constraints:      47140
2375.51/2383.29	c #Conflicts:    1412000 | #Constraints:      48140
2375.51/2383.29	c #Conflicts:    1413000 | #Constraints:      49140
2375.51/2383.29	c #Conflicts:    1414000 | #Constraints:      50140
2375.51/2383.29	c #Conflicts:    1415000 | #Constraints:      51140
2375.51/2383.29	c #Conflicts:    1416000 | #Constraints:      52140
2375.51/2383.29	c #Conflicts:    1417000 | #Constraints:      53140
2375.51/2383.29	c #Conflicts:    1418000 | #Constraints:      54140
2375.51/2383.29	c #Conflicts:    1419000 | #Constraints:      55140
2375.51/2383.29	c #Conflicts:    1420000 | #Constraints:      56140
2375.51/2383.29	c #Conflicts:    1421000 | #Constraints:      57140
2375.51/2383.29	c #Conflicts:    1422000 | #Constraints:      58140
2375.51/2383.29	c #Conflicts:    1423000 | #Constraints:      59140
2375.51/2383.29	c #Conflicts:    1424000 | #Constraints:      60140
2375.51/2383.29	c #Conflicts:    1425000 | #Constraints:      61140
2375.51/2383.29	c #Conflicts:    1426000 | #Constraints:      62140
2375.51/2383.29	c #Conflicts:    1427000 | #Constraints:      63140
2375.51/2383.29	c #Conflicts:    1428000 | #Constraints:      64140
2375.51/2383.29	c #Conflicts:    1429000 | #Constraints:      65140
2375.51/2383.29	c #Conflicts:    1430000 | #Constraints:      66140
2375.51/2383.29	c #Conflicts:    1431000 | #Constraints:      67140
2375.51/2383.29	c #Conflicts:    1432000 | #Constraints:      68140
2375.51/2383.29	c INPROCESSING
2375.51/2383.29	c GARBAGE COLLECT
2375.51/2383.29	c rational objective 98
2423.35/2431.25	c #Conflicts:    1433000 | #Constraints:      38586
2423.35/2431.25	c #Conflicts:    1434000 | #Constraints:      39586
2423.35/2431.25	c #Conflicts:    1435000 | #Constraints:      40586
2423.35/2431.25	c #Conflicts:    1436000 | #Constraints:      41586
2423.35/2431.25	c #Conflicts:    1437000 | #Constraints:      42586
2423.35/2431.25	c #Conflicts:    1438000 | #Constraints:      43586
2423.35/2431.25	c #Conflicts:    1439000 | #Constraints:      44586
2423.35/2431.25	c #Conflicts:    1440000 | #Constraints:      45586
2423.35/2431.25	c #Conflicts:    1441000 | #Constraints:      46586
2423.35/2431.25	c #Conflicts:    1442000 | #Constraints:      47586
2423.35/2431.25	c #Conflicts:    1443000 | #Constraints:      48586
2423.35/2431.25	c #Conflicts:    1444000 | #Constraints:      49586
2423.35/2431.25	c #Conflicts:    1445000 | #Constraints:      50586
2423.35/2431.25	c #Conflicts:    1446000 | #Constraints:      51586
2423.35/2431.25	c #Conflicts:    1447000 | #Constraints:      52586
2423.35/2431.25	c #Conflicts:    1448000 | #Constraints:      53586
2423.35/2431.25	c #Conflicts:    1449000 | #Constraints:      54586
2423.35/2431.25	c #Conflicts:    1450000 | #Constraints:      55586
2423.35/2431.25	c #Conflicts:    1451000 | #Constraints:      56586
2423.35/2431.25	c #Conflicts:    1452000 | #Constraints:      57586
2423.35/2431.25	c #Conflicts:    1453000 | #Constraints:      58586
2423.35/2431.25	c #Conflicts:    1454000 | #Constraints:      59586
2423.35/2431.25	c #Conflicts:    1455000 | #Constraints:      60586
2423.35/2431.25	c #Conflicts:    1456000 | #Constraints:      61586
2423.35/2431.25	c #Conflicts:    1457000 | #Constraints:      62586
2423.35/2431.25	c #Conflicts:    1458000 | #Constraints:      63586
2423.35/2431.25	c #Conflicts:    1459000 | #Constraints:      64586
2423.35/2431.25	c #Conflicts:    1460000 | #Constraints:      65586
2423.35/2431.25	c INPROCESSING
2423.35/2431.25	c GARBAGE COLLECT
2423.35/2431.25	c rational objective 98
2555.72/2564.05	c #Conflicts:    1461000 | #Constraints:      37726
2555.72/2564.05	c #Conflicts:    1462000 | #Constraints:      38726
2555.72/2564.05	c #Conflicts:    1463000 | #Constraints:      39726
2555.72/2564.05	c #Conflicts:    1464000 | #Constraints:      40726
2555.72/2564.05	c #Conflicts:    1465000 | #Constraints:      41726
2555.72/2564.05	c #Conflicts:    1466000 | #Constraints:      42726
2555.72/2564.05	c #Conflicts:    1467000 | #Constraints:      43726
2555.72/2564.05	c #Conflicts:    1468000 | #Constraints:      44726
2555.72/2564.05	c #Conflicts:    1469000 | #Constraints:      45726
2555.72/2564.05	c #Conflicts:    1470000 | #Constraints:      46726
2555.72/2564.05	c #Conflicts:    1471000 | #Constraints:      47726
2555.72/2564.05	c #Conflicts:    1472000 | #Constraints:      48726
2555.72/2564.05	c #Conflicts:    1473000 | #Constraints:      49726
2555.72/2564.05	c #Conflicts:    1474000 | #Constraints:      50726
2555.72/2564.05	c #Conflicts:    1475000 | #Constraints:      51726
2555.72/2564.05	c #Conflicts:    1476000 | #Constraints:      52726
2555.72/2564.05	c #Conflicts:    1477000 | #Constraints:      53726
2555.72/2564.05	c #Conflicts:    1478000 | #Constraints:      54726
2555.72/2564.05	c #Conflicts:    1479000 | #Constraints:      55726
2555.72/2564.05	c #Conflicts:    1480000 | #Constraints:      56726
2555.72/2564.05	c #Conflicts:    1481000 | #Constraints:      57726
2555.72/2564.05	c #Conflicts:    1482000 | #Constraints:      58726
2555.72/2564.05	c #Conflicts:    1483000 | #Constraints:      59726
2555.72/2564.05	c #Conflicts:    1484000 | #Constraints:      60726
2555.72/2564.05	c #Conflicts:    1485000 | #Constraints:      61727
2555.72/2564.05	c #Conflicts:    1486000 | #Constraints:      62727
2555.72/2564.05	c #Conflicts:    1487000 | #Constraints:      63727
2555.72/2564.05	c INPROCESSING
2555.72/2564.05	c GARBAGE COLLECT
2555.72/2564.05	c #Conflicts:    1488000 | #Constraints:      36493
2555.72/2564.05	c #Conflicts:    1489000 | #Constraints:      37493
2555.72/2564.05	c #Conflicts:    1490000 | #Constraints:      38493
2555.72/2564.05	c #Conflicts:    1491000 | #Constraints:      39493
2555.72/2564.05	c #Conflicts:    1492000 | #Constraints:      40493
2555.72/2564.05	c #Conflicts:    1493000 | #Constraints:      41493
2555.72/2564.05	c #Conflicts:    1494000 | #Constraints:      42493
2555.72/2564.05	c #Conflicts:    1495000 | #Constraints:      43493
2555.72/2564.05	c #Conflicts:    1496000 | #Constraints:      44493
2555.72/2564.05	c #Conflicts:    1497000 | #Constraints:      45493
2555.72/2564.05	c #Conflicts:    1498000 | #Constraints:      46493
2555.72/2564.05	c #Conflicts:    1499000 | #Constraints:      47493
2555.72/2564.05	c #Conflicts:    1500000 | #Constraints:      48493
2555.72/2564.05	c #Conflicts:    1501000 | #Constraints:      49493
2555.72/2564.05	c #Conflicts:    1502000 | #Constraints:      50493
2555.72/2564.05	c #Conflicts:    1503000 | #Constraints:      51493
2555.72/2564.05	c #Conflicts:    1504000 | #Constraints:      52493
2555.72/2564.05	c #Conflicts:    1505000 | #Constraints:      53493
2555.72/2564.05	c #Conflicts:    1506000 | #Constraints:      54493
2555.72/2564.05	c #Conflicts:    1507000 | #Constraints:      55493
2555.72/2564.05	c #Conflicts:    1508000 | #Constraints:      56493
2555.72/2564.05	c #Conflicts:    1509000 | #Constraints:      57493
2555.72/2564.05	c #Conflicts:    1510000 | #Constraints:      58493
2555.72/2564.05	c #Conflicts:    1511000 | #Constraints:      59493
2555.72/2564.05	c #Conflicts:    1512000 | #Constraints:      60493
2555.72/2564.05	c #Conflicts:    1513000 | #Constraints:      61493
2555.72/2564.05	c #Conflicts:    1514000 | #Constraints:      62493
2555.72/2564.05	c #Conflicts:    1515000 | #Constraints:      63493
2555.72/2564.05	c #Conflicts:    1516000 | #Constraints:      64493
2555.72/2564.05	c #Conflicts:    1517000 | #Constraints:      65493
2555.72/2564.05	c #Conflicts:    1518000 | #Constraints:      66493
2555.72/2564.05	c #Conflicts:    1519000 | #Constraints:      67493
2555.72/2564.05	c #Conflicts:    1520000 | #Constraints:      68493
2555.72/2564.05	c #Conflicts:    1521000 | #Constraints:      69493
2555.72/2564.05	c #Conflicts:    1522000 | #Constraints:      70493
2555.72/2564.05	c #Conflicts:    1523000 | #Constraints:      71493
2555.72/2564.05	c #Conflicts:    1524000 | #Constraints:      72493
2555.72/2564.05	c #Conflicts:    1525000 | #Constraints:      73493
2555.72/2564.05	c #Conflicts:    1526000 | #Constraints:      74493
2555.72/2564.05	c #Conflicts:    1527000 | #Constraints:      75493
2555.72/2564.05	c #Conflicts:    1528000 | #Constraints:      76493
2555.72/2564.05	c #Conflicts:    1529000 | #Constraints:      77493
2555.72/2564.05	c #Conflicts:    1530000 | #Constraints:      78493
2555.72/2564.05	c #Conflicts:    1531000 | #Constraints:      79493
2555.72/2564.05	c #Conflicts:    1532000 | #Constraints:      80493
2555.72/2564.05	c #Conflicts:    1533000 | #Constraints:      81493
2555.72/2564.05	c #Conflicts:    1534000 | #Constraints:      82493
2555.72/2564.05	c #Conflicts:    1535000 | #Constraints:      83493
2555.72/2564.05	c #Conflicts:    1536000 | #Constraints:      84493
2555.72/2564.05	c #Conflicts:    1537000 | #Constraints:      85493
2555.72/2564.05	c #Conflicts:    1538000 | #Constraints:      86493
2555.72/2564.05	c #Conflicts:    1539000 | #Constraints:      87493
2732.10/2740.98	c #Conflicts:    1540000 | #Constraints:      88493
2732.10/2740.98	c #Conflicts:    1541000 | #Constraints:      89493
2732.10/2740.98	c #Conflicts:    1542000 | #Constraints:      90493
2732.10/2740.98	c #Conflicts:    1543000 | #Constraints:      91493
2732.10/2740.98	c #Conflicts:    1544000 | #Constraints:      92493
2732.10/2740.98	c #Conflicts:    1545000 | #Constraints:      93493
2732.10/2740.98	c #Conflicts:    1546000 | #Constraints:      94493
2732.10/2740.98	c #Conflicts:    1547000 | #Constraints:      95493
2732.10/2740.98	c #Conflicts:    1548000 | #Constraints:      96493
2732.10/2740.98	c #Conflicts:    1549000 | #Constraints:      97493
2732.10/2740.98	c #Conflicts:    1550000 | #Constraints:      98493
2732.10/2740.98	c #Conflicts:    1551000 | #Constraints:      99493
2732.10/2740.98	c #Conflicts:    1552000 | #Constraints:     100493
2732.10/2740.98	c #Conflicts:    1553000 | #Constraints:     101493
2732.10/2740.98	c #Conflicts:    1554000 | #Constraints:     102493
2732.10/2740.98	c #Conflicts:    1555000 | #Constraints:     103493
2732.10/2740.98	c #Conflicts:    1556000 | #Constraints:     104493
2732.10/2740.98	c #Conflicts:    1557000 | #Constraints:     105493
2732.10/2740.98	c #Conflicts:    1558000 | #Constraints:     106493
2732.10/2740.98	c #Conflicts:    1559000 | #Constraints:     107493
2732.10/2740.98	c #Conflicts:    1560000 | #Constraints:     108493
2732.10/2740.98	c #Conflicts:    1561000 | #Constraints:     109493
2732.10/2740.98	c #Conflicts:    1562000 | #Constraints:     110493
2732.10/2740.98	c #Conflicts:    1563000 | #Constraints:     111493
2732.10/2740.98	c #Conflicts:    1564000 | #Constraints:     112493
2732.10/2740.98	c #Conflicts:    1565000 | #Constraints:     113493
2732.10/2740.98	c #Conflicts:    1566000 | #Constraints:     114493
2732.10/2740.98	c #Conflicts:    1567000 | #Constraints:     115493
2732.10/2740.98	c #Conflicts:    1568000 | #Constraints:     116493
2732.10/2740.98	c #Conflicts:    1569000 | #Constraints:     117493
2732.10/2740.98	c #Conflicts:    1570000 | #Constraints:     118493
2732.10/2740.98	c #Conflicts:    1571000 | #Constraints:     119493
2732.10/2740.98	c #Conflicts:    1572000 | #Constraints:     120493
2732.10/2740.98	c #Conflicts:    1573000 | #Constraints:     121493
2732.10/2740.98	c #Conflicts:    1574000 | #Constraints:     122493
2732.10/2740.98	c #Conflicts:    1575000 | #Constraints:     123493
2732.10/2740.98	c #Conflicts:    1576000 | #Constraints:     124493
2732.10/2740.98	c #Conflicts:    1577000 | #Constraints:     125493
2732.10/2740.98	c #Conflicts:    1578000 | #Constraints:     126493
2732.10/2740.98	c #Conflicts:    1579000 | #Constraints:     127493
2732.10/2740.98	c #Conflicts:    1580000 | #Constraints:     128493
2732.10/2740.98	c #Conflicts:    1581000 | #Constraints:     129493
2732.10/2740.98	c #Conflicts:    1582000 | #Constraints:     130493
2732.10/2740.98	c INPROCESSING
2732.10/2740.98	c GARBAGE COLLECT
2732.10/2740.98	c rational objective 98
2809.28/2818.32	c #Conflicts:    1583000 | #Constraints:      69905
2809.28/2818.32	c #Conflicts:    1584000 | #Constraints:      70905
2809.28/2818.32	c #Conflicts:    1585000 | #Constraints:      71905
2809.28/2818.32	c #Conflicts:    1586000 | #Constraints:      72905
2809.28/2818.32	c #Conflicts:    1587000 | #Constraints:      73905
2809.28/2818.32	c #Conflicts:    1588000 | #Constraints:      74905
2809.28/2818.32	c #Conflicts:    1589000 | #Constraints:      75905
2809.28/2818.32	c #Conflicts:    1590000 | #Constraints:      76905
2809.28/2818.32	c #Conflicts:    1591000 | #Constraints:      77905
2809.28/2818.32	c #Conflicts:    1592000 | #Constraints:      78905
2809.28/2818.32	c #Conflicts:    1593000 | #Constraints:      79905
2809.28/2818.32	c #Conflicts:    1594000 | #Constraints:      80905
2809.28/2818.32	c #Conflicts:    1595000 | #Constraints:      81905
2809.28/2818.32	c #Conflicts:    1596000 | #Constraints:      82905
2809.28/2818.32	c #Conflicts:    1597000 | #Constraints:      83905
2809.28/2818.32	c #Conflicts:    1598000 | #Constraints:      84905
2809.28/2818.32	c #Conflicts:    1599000 | #Constraints:      85905
2809.28/2818.32	c #Conflicts:    1600000 | #Constraints:      86905
2809.28/2818.32	c #Conflicts:    1601000 | #Constraints:      87905
2809.28/2818.32	c #Conflicts:    1602000 | #Constraints:      88905
2809.28/2818.32	c #Conflicts:    1603000 | #Constraints:      89905
2809.28/2818.32	c #Conflicts:    1604000 | #Constraints:      90905
2809.28/2818.32	c #Conflicts:    1605000 | #Constraints:      91905
2809.28/2818.32	c #Conflicts:    1606000 | #Constraints:      92905
2809.28/2818.32	c #Conflicts:    1607000 | #Constraints:      93905
2809.28/2818.32	c #Conflicts:    1608000 | #Constraints:      94905
2809.28/2818.32	c #Conflicts:    1609000 | #Constraints:      95905
2809.28/2818.32	c #Conflicts:    1610000 | #Constraints:      96905
2809.28/2818.32	c #Conflicts:    1611000 | #Constraints:      97905
2809.28/2818.32	c INPROCESSING
2809.28/2818.32	c GARBAGE COLLECT
2809.28/2818.32	c rational objective 98
2959.56/2969.07	c #Conflicts:    1612000 | #Constraints:      53708
2959.56/2969.07	c #Conflicts:    1613000 | #Constraints:      54708
2959.56/2969.07	c #Conflicts:    1614000 | #Constraints:      55708
2959.56/2969.07	c #Conflicts:    1615000 | #Constraints:      56709
2959.56/2969.07	c #Conflicts:    1616000 | #Constraints:      57709
2959.56/2969.07	c #Conflicts:    1617000 | #Constraints:      58709
2959.56/2969.07	c #Conflicts:    1618000 | #Constraints:      59709
2959.56/2969.07	c #Conflicts:    1619000 | #Constraints:      60709
2959.56/2969.07	c #Conflicts:    1620000 | #Constraints:      61709
2959.56/2969.07	c #Conflicts:    1621000 | #Constraints:      62709
2959.56/2969.07	c #Conflicts:    1622000 | #Constraints:      63709
2959.56/2969.07	c #Conflicts:    1623000 | #Constraints:      64709
2959.56/2969.07	c #Conflicts:    1624000 | #Constraints:      65709
2959.56/2969.07	c #Conflicts:    1625000 | #Constraints:      66709
2959.56/2969.07	c #Conflicts:    1626000 | #Constraints:      67709
2959.56/2969.07	c #Conflicts:    1627000 | #Constraints:      68709
2959.56/2969.07	c #Conflicts:    1628000 | #Constraints:      69709
2959.56/2969.07	c #Conflicts:    1629000 | #Constraints:      70709
2959.56/2969.07	c #Conflicts:    1630000 | #Constraints:      71709
2959.56/2969.07	c #Conflicts:    1631000 | #Constraints:      72709
2959.56/2969.07	c #Conflicts:    1632000 | #Constraints:      73709
2959.56/2969.07	c #Conflicts:    1633000 | #Constraints:      74709
2959.56/2969.07	c #Conflicts:    1634000 | #Constraints:      75709
2959.56/2969.07	c #Conflicts:    1635000 | #Constraints:      76709
2959.56/2969.07	c #Conflicts:    1636000 | #Constraints:      77709
2959.56/2969.07	c #Conflicts:    1637000 | #Constraints:      78709
2959.56/2969.07	c #Conflicts:    1638000 | #Constraints:      79709
2959.56/2969.07	c #Conflicts:    1639000 | #Constraints:      80709
2959.56/2969.07	c #Conflicts:    1640000 | #Constraints:      81709
2959.56/2969.07	c INPROCESSING
2959.56/2969.07	c GARBAGE COLLECT
2959.56/2969.07	c #Conflicts:    1641000 | #Constraints:      45806
2959.56/2969.07	c #Conflicts:    1642000 | #Constraints:      46806
2959.56/2969.07	c #Conflicts:    1643000 | #Constraints:      47806
2959.56/2969.07	c #Conflicts:    1644000 | #Constraints:      48806
2959.56/2969.07	c #Conflicts:    1645000 | #Constraints:      49806
2959.56/2969.07	c #Conflicts:    1646000 | #Constraints:      50806
2959.56/2969.07	c #Conflicts:    1647000 | #Constraints:      51806
2959.56/2969.07	c #Conflicts:    1648000 | #Constraints:      52806
2959.56/2969.07	c #Conflicts:    1649000 | #Constraints:      53806
2959.56/2969.07	c #Conflicts:    1650000 | #Constraints:      54806
2959.56/2969.07	c #Conflicts:    1651000 | #Constraints:      55806
2959.56/2969.07	c #Conflicts:    1652000 | #Constraints:      56806
2959.56/2969.07	c #Conflicts:    1653000 | #Constraints:      57806
2959.56/2969.07	c #Conflicts:    1654000 | #Constraints:      58806
2959.56/2969.07	c #Conflicts:    1655000 | #Constraints:      59806
2959.56/2969.07	c #Conflicts:    1656000 | #Constraints:      60806
2959.56/2969.07	c #Conflicts:    1657000 | #Constraints:      61806
2959.56/2969.07	c #Conflicts:    1658000 | #Constraints:      62806
2959.56/2969.07	c #Conflicts:    1659000 | #Constraints:      63806
2959.56/2969.07	c #Conflicts:    1660000 | #Constraints:      64806
2959.56/2969.07	c #Conflicts:    1661000 | #Constraints:      65806
2959.56/2969.07	c #Conflicts:    1662000 | #Constraints:      66806
2959.56/2969.07	c #Conflicts:    1663000 | #Constraints:      67806
2959.56/2969.07	c #Conflicts:    1664000 | #Constraints:      68806
2959.56/2969.07	c #Conflicts:    1665000 | #Constraints:      69806
2959.56/2969.07	c #Conflicts:    1666000 | #Constraints:      70806
2959.56/2969.07	c #Conflicts:    1667000 | #Constraints:      71806
2959.56/2969.07	c #Conflicts:    1668000 | #Constraints:      72806
2959.56/2969.07	c #Conflicts:    1669000 | #Constraints:      73806
2959.56/2969.07	c INPROCESSING
2959.56/2969.07	c GARBAGE COLLECT
2959.56/2969.07	c #Conflicts:    1670000 | #Constraints:      41750
2959.56/2969.07	c #Conflicts:    1671000 | #Constraints:      42750
2959.56/2969.07	c #Conflicts:    1672000 | #Constraints:      43750
2959.56/2969.07	c #Conflicts:    1673000 | #Constraints:      44750
2959.56/2969.07	c #Conflicts:    1674000 | #Constraints:      45750
2959.56/2969.07	c #Conflicts:    1675000 | #Constraints:      46750
2959.56/2969.07	c #Conflicts:    1676000 | #Constraints:      47750
2959.56/2969.07	c #Conflicts:    1677000 | #Constraints:      48750
2959.56/2969.07	c #Conflicts:    1678000 | #Constraints:      49750
2959.56/2969.07	c #Conflicts:    1679000 | #Constraints:      50750
2959.56/2969.07	c #Conflicts:    1680000 | #Constraints:      51750
2959.56/2969.07	c #Conflicts:    1681000 | #Constraints:      52750
2959.56/2969.07	c #Conflicts:    1682000 | #Constraints:      53750
2959.56/2969.07	c #Conflicts:    1683000 | #Constraints:      54750
2959.56/2969.07	c #Conflicts:    1684000 | #Constraints:      55750
2959.56/2969.07	c #Conflicts:    1685000 | #Constraints:      56750
2959.56/2969.07	c #Conflicts:    1686000 | #Constraints:      57750
2959.56/2969.07	c #Conflicts:    1687000 | #Constraints:      58750
2959.56/2969.07	c #Conflicts:    1688000 | #Constraints:      59750
2959.56/2969.07	c #Conflicts:    1689000 | #Constraints:      60750
2997.57/3007.14	c #Conflicts:    1690000 | #Constraints:      61750
2997.57/3007.14	c #Conflicts:    1691000 | #Constraints:      62750
2997.57/3007.14	c #Conflicts:    1692000 | #Constraints:      63750
2997.57/3007.14	c #Conflicts:    1693000 | #Constraints:      64750
2997.57/3007.14	c #Conflicts:    1694000 | #Constraints:      65750
2997.57/3007.14	c #Conflicts:    1695000 | #Constraints:      66750
2997.57/3007.14	c #Conflicts:    1696000 | #Constraints:      67750
2997.57/3007.14	c #Conflicts:    1697000 | #Constraints:      68750
2997.57/3007.14	c #Conflicts:    1698000 | #Constraints:      69750
2997.57/3007.14	c INPROCESSING
2997.57/3007.14	c GARBAGE COLLECT
2997.57/3007.14	c rational objective 98
3132.37/3142.32	c #Conflicts:    1699000 | #Constraints:      39494
3132.37/3142.32	c #Conflicts:    1700000 | #Constraints:      40494
3132.37/3142.32	c #Conflicts:    1701000 | #Constraints:      41494
3132.37/3142.32	c #Conflicts:    1702000 | #Constraints:      42494
3132.37/3142.32	c #Conflicts:    1703000 | #Constraints:      43494
3132.37/3142.32	c #Conflicts:    1704000 | #Constraints:      44494
3132.37/3142.32	c #Conflicts:    1705000 | #Constraints:      45494
3132.37/3142.32	c #Conflicts:    1706000 | #Constraints:      46494
3132.37/3142.32	c #Conflicts:    1707000 | #Constraints:      47494
3132.37/3142.32	c #Conflicts:    1708000 | #Constraints:      48494
3132.37/3142.32	c #Conflicts:    1709000 | #Constraints:      49494
3132.37/3142.32	c #Conflicts:    1710000 | #Constraints:      50494
3132.37/3142.32	c #Conflicts:    1711000 | #Constraints:      51494
3132.37/3142.32	c #Conflicts:    1712000 | #Constraints:      52494
3132.37/3142.32	c #Conflicts:    1713000 | #Constraints:      53494
3132.37/3142.32	c #Conflicts:    1714000 | #Constraints:      54494
3132.37/3142.32	c #Conflicts:    1715000 | #Constraints:      55494
3132.37/3142.32	c #Conflicts:    1716000 | #Constraints:      56494
3132.37/3142.32	c #Conflicts:    1717000 | #Constraints:      57494
3132.37/3142.32	c #Conflicts:    1718000 | #Constraints:      58494
3132.37/3142.32	c #Conflicts:    1719000 | #Constraints:      59494
3132.37/3142.32	c #Conflicts:    1720000 | #Constraints:      60494
3132.37/3142.32	c #Conflicts:    1721000 | #Constraints:      61494
3132.37/3142.32	c #Conflicts:    1722000 | #Constraints:      62494
3132.37/3142.32	c #Conflicts:    1723000 | #Constraints:      63494
3132.37/3142.32	c #Conflicts:    1724000 | #Constraints:      64494
3132.37/3142.32	c #Conflicts:    1725000 | #Constraints:      65494
3132.37/3142.32	c #Conflicts:    1726000 | #Constraints:      66494
3132.37/3142.32	c #Conflicts:    1727000 | #Constraints:      67494
3132.37/3142.32	c #Conflicts:    1728000 | #Constraints:      68494
3132.37/3142.32	c INPROCESSING
3132.37/3142.32	c GARBAGE COLLECT
3132.37/3142.32	c #Conflicts:    1729000 | #Constraints:      39226
3132.37/3142.32	c #Conflicts:    1730000 | #Constraints:      40226
3132.37/3142.32	c #Conflicts:    1731000 | #Constraints:      41226
3132.37/3142.32	c #Conflicts:    1732000 | #Constraints:      42226
3132.37/3142.32	c #Conflicts:    1733000 | #Constraints:      43226
3132.37/3142.32	c #Conflicts:    1734000 | #Constraints:      44226
3132.37/3142.32	c #Conflicts:    1735000 | #Constraints:      45226
3132.37/3142.32	c #Conflicts:    1736000 | #Constraints:      46226
3132.37/3142.32	c #Conflicts:    1737000 | #Constraints:      47226
3132.37/3142.32	c #Conflicts:    1738000 | #Constraints:      48226
3132.37/3142.32	c #Conflicts:    1739000 | #Constraints:      49226
3132.37/3142.32	c #Conflicts:    1740000 | #Constraints:      50226
3132.37/3142.32	c #Conflicts:    1741000 | #Constraints:      51226
3132.37/3142.32	c #Conflicts:    1742000 | #Constraints:      52226
3132.37/3142.32	c #Conflicts:    1743000 | #Constraints:      53226
3132.37/3142.32	c #Conflicts:    1744000 | #Constraints:      54226
3132.37/3142.32	c #Conflicts:    1745000 | #Constraints:      55226
3132.37/3142.32	c #Conflicts:    1746000 | #Constraints:      56226
3132.37/3142.32	c #Conflicts:    1747000 | #Constraints:      57226
3132.37/3142.32	c #Conflicts:    1748000 | #Constraints:      58226
3132.37/3142.32	c #Conflicts:    1749000 | #Constraints:      59226
3132.37/3142.32	c #Conflicts:    1750000 | #Constraints:      60226
3132.37/3142.32	c #Conflicts:    1751000 | #Constraints:      61226
3132.37/3142.32	c #Conflicts:    1752000 | #Constraints:      62226
3132.37/3142.32	c #Conflicts:    1753000 | #Constraints:      63226
3132.37/3142.32	c #Conflicts:    1754000 | #Constraints:      64226
3132.37/3142.32	c #Conflicts:    1755000 | #Constraints:      65226
3132.37/3142.32	c #Conflicts:    1756000 | #Constraints:      66226
3132.37/3142.32	c #Conflicts:    1757000 | #Constraints:      67226
3132.37/3142.32	c #Conflicts:    1758000 | #Constraints:      68226
3132.37/3142.32	c #Conflicts:    1759000 | #Constraints:      69226
3132.37/3142.32	c #Conflicts:    1760000 | #Constraints:      70226
3132.37/3142.32	c #Conflicts:    1761000 | #Constraints:      71226
3132.37/3142.32	c #Conflicts:    1762000 | #Constraints:      72226
3132.37/3142.32	c #Conflicts:    1763000 | #Constraints:      73226
3132.37/3142.32	c #Conflicts:    1764000 | #Constraints:      74226
3132.37/3142.32	c #Conflicts:    1765000 | #Constraints:      75226
3132.37/3142.32	c #Conflicts:    1766000 | #Constraints:      76226
3132.37/3142.32	c #Conflicts:    1767000 | #Constraints:      77226
3132.37/3142.32	c #Conflicts:    1768000 | #Constraints:      78226
3132.37/3142.32	c #Conflicts:    1769000 | #Constraints:      79226
3132.37/3142.32	c #Conflicts:    1770000 | #Constraints:      80226
3132.37/3142.32	c #Conflicts:    1771000 | #Constraints:      81226
3132.37/3142.32	c #Conflicts:    1772000 | #Constraints:      82226
3132.37/3142.32	c #Conflicts:    1773000 | #Constraints:      83226
3132.37/3142.32	c #Conflicts:    1774000 | #Constraints:      84226
3132.37/3142.32	c #Conflicts:    1775000 | #Constraints:      85226
3132.37/3142.32	c #Conflicts:    1776000 | #Constraints:      86226
3132.37/3142.32	c #Conflicts:    1777000 | #Constraints:      87226
3469.49/3480.40	c #Conflicts:    1778000 | #Constraints:      88226
3469.49/3480.40	c #Conflicts:    1779000 | #Constraints:      89226
3469.49/3480.40	c #Conflicts:    1780000 | #Constraints:      90226
3469.49/3480.40	c #Conflicts:    1781000 | #Constraints:      91226
3469.49/3480.40	c #Conflicts:    1782000 | #Constraints:      92226
3469.49/3480.40	c #Conflicts:    1783000 | #Constraints:      93226
3469.49/3480.40	c #Conflicts:    1784000 | #Constraints:      94226
3469.49/3480.40	c #Conflicts:    1785000 | #Constraints:      95227
3469.49/3480.40	c #Conflicts:    1786000 | #Constraints:      96227
3469.49/3480.40	c #Conflicts:    1787000 | #Constraints:      97227
3469.49/3480.40	c #Conflicts:    1788000 | #Constraints:      98227
3469.49/3480.40	c #Conflicts:    1789000 | #Constraints:      99227
3469.49/3480.40	c #Conflicts:    1790000 | #Constraints:     100227
3469.49/3480.40	c #Conflicts:    1791000 | #Constraints:     101227
3469.49/3480.40	c #Conflicts:    1792000 | #Constraints:     102227
3469.49/3480.40	c #Conflicts:    1793000 | #Constraints:     103227
3469.49/3480.40	c #Conflicts:    1794000 | #Constraints:     104227
3469.49/3480.40	c #Conflicts:    1795000 | #Constraints:     105227
3469.49/3480.40	c #Conflicts:    1796000 | #Constraints:     106227
3469.49/3480.40	c #Conflicts:    1797000 | #Constraints:     107227
3469.49/3480.40	c #Conflicts:    1798000 | #Constraints:     108227
3469.49/3480.40	c #Conflicts:    1799000 | #Constraints:     109227
3469.49/3480.40	c #Conflicts:    1800000 | #Constraints:     110227
3469.49/3480.40	c #Conflicts:    1801000 | #Constraints:     111227
3469.49/3480.40	c #Conflicts:    1802000 | #Constraints:     112227
3469.49/3480.40	c #Conflicts:    1803000 | #Constraints:     113227
3469.49/3480.40	c #Conflicts:    1804000 | #Constraints:     114227
3469.49/3480.40	c #Conflicts:    1805000 | #Constraints:     115227
3469.49/3480.40	c #Conflicts:    1806000 | #Constraints:     116227
3469.49/3480.40	c #Conflicts:    1807000 | #Constraints:     117227
3469.49/3480.40	c #Conflicts:    1808000 | #Constraints:     118227
3469.49/3480.40	c #Conflicts:    1809000 | #Constraints:     119227
3469.49/3480.40	c #Conflicts:    1810000 | #Constraints:     120227
3469.49/3480.40	c #Conflicts:    1811000 | #Constraints:     121227
3469.49/3480.40	c #Conflicts:    1812000 | #Constraints:     122227
3469.49/3480.40	c #Conflicts:    1813000 | #Constraints:     123227
3469.49/3480.40	c #Conflicts:    1814000 | #Constraints:     124227
3469.49/3480.40	c #Conflicts:    1815000 | #Constraints:     125227
3469.49/3480.40	c #Conflicts:    1816000 | #Constraints:     126227
3469.49/3480.40	c #Conflicts:    1817000 | #Constraints:     127227
3469.49/3480.40	c #Conflicts:    1818000 | #Constraints:     128227
3469.49/3480.40	c #Conflicts:    1819000 | #Constraints:     129227
3469.49/3480.40	c #Conflicts:    1820000 | #Constraints:     130227
3469.49/3480.40	c #Conflicts:    1821000 | #Constraints:     131227
3469.49/3480.40	c #Conflicts:    1822000 | #Constraints:     132227
3469.49/3480.40	c #Conflicts:    1823000 | #Constraints:     133227
3469.49/3480.40	c #Conflicts:    1824000 | #Constraints:     134227
3469.49/3480.40	c #Conflicts:    1825000 | #Constraints:     135227
3469.49/3480.40	c #Conflicts:    1826000 | #Constraints:     136227
3469.49/3480.40	c #Conflicts:    1827000 | #Constraints:     137227
3469.49/3480.40	c #Conflicts:    1828000 | #Constraints:     138227
3469.49/3480.40	c #Conflicts:    1829000 | #Constraints:     139227
3469.49/3480.40	c #Conflicts:    1830000 | #Constraints:     140227
3469.49/3480.40	c INPROCESSING
3469.49/3480.40	c GARBAGE COLLECT
3469.49/3480.40	c #Conflicts:    1831000 | #Constraints:      74714
3469.49/3480.40	c #Conflicts:    1832000 | #Constraints:      75714
3469.49/3480.40	c #Conflicts:    1833000 | #Constraints:      76714
3469.49/3480.40	c #Conflicts:    1834000 | #Constraints:      77714
3469.49/3480.40	c #Conflicts:    1835000 | #Constraints:      78714
3469.49/3480.40	c #Conflicts:    1836000 | #Constraints:      79714
3469.49/3480.40	c #Conflicts:    1837000 | #Constraints:      80714
3469.49/3480.40	c #Conflicts:    1838000 | #Constraints:      81714
3469.49/3480.40	c #Conflicts:    1839000 | #Constraints:      82714
3469.49/3480.40	c #Conflicts:    1840000 | #Constraints:      83714
3469.49/3480.40	c #Conflicts:    1841000 | #Constraints:      84714
3469.49/3480.40	c #Conflicts:    1842000 | #Constraints:      85714
3469.49/3480.40	c #Conflicts:    1843000 | #Constraints:      86714
3469.49/3480.40	c #Conflicts:    1844000 | #Constraints:      87714
3469.49/3480.40	c #Conflicts:    1845000 | #Constraints:      88714
3469.49/3480.40	c #Conflicts:    1846000 | #Constraints:      89714
3469.49/3480.40	c #Conflicts:    1847000 | #Constraints:      90714
3469.49/3480.40	c #Conflicts:    1848000 | #Constraints:      91714
3469.49/3480.40	c #Conflicts:    1849000 | #Constraints:      92714
3469.49/3480.40	c #Conflicts:    1850000 | #Constraints:      93714
3469.49/3480.40	c #Conflicts:    1851000 | #Constraints:      94714
3469.49/3480.40	c #Conflicts:    1852000 | #Constraints:      95714
3469.49/3480.40	c #Conflicts:    1853000 | #Constraints:      96714
3469.49/3480.40	c #Conflicts:    1854000 | #Constraints:      97714
3469.49/3480.40	c #Conflicts:    1855000 | #Constraints:      98714
3600.01/3611.30	c #Conflicts:    1856000 | #Constraints:      99714
3600.01/3611.30	c #Conflicts:    1857000 | #Constraints:     100714
3600.01/3611.30	c #Conflicts:    1858000 | #Constraints:     101714
3600.01/3611.30	c #Conflicts:    1859000 | #Constraints:     102714
3600.01/3611.30	c #Conflicts:    1860000 | #Constraints:     103714
3600.01/3611.30	c #Conflicts:    1861000 | #Constraints:     104714
3600.01/3611.30	c INPROCESSING
3600.01/3611.30	c GARBAGE COLLECT
3600.01/3611.30	c #Conflicts:    1862000 | #Constraints:      57056
3600.01/3611.30	c #Conflicts:    1863000 | #Constraints:      58056
3600.01/3611.30	c #Conflicts:    1864000 | #Constraints:      59056
3600.01/3611.30	c #Conflicts:    1865000 | #Constraints:      60056
3600.01/3611.30	c #Conflicts:    1866000 | #Constraints:      61056
3600.01/3611.30	c #Conflicts:    1867000 | #Constraints:      62056
3600.01/3611.30	c #Conflicts:    1868000 | #Constraints:      63056
3600.01/3611.30	c #Conflicts:    1869000 | #Constraints:      64056
3600.01/3611.30	c #Conflicts:    1870000 | #Constraints:      65056
3600.01/3611.30	c #Conflicts:    1871000 | #Constraints:      66056
3600.01/3611.30	c #Conflicts:    1872000 | #Constraints:      67056
3600.01/3611.30	c #Conflicts:    1873000 | #Constraints:      68056
3600.01/3611.30	c #Conflicts:    1874000 | #Constraints:      69056
3600.01/3611.30	c #Conflicts:    1875000 | #Constraints:      70056
3600.01/3611.30	c #Conflicts:    1876000 | #Constraints:      71056
3600.01/3611.30	c #Conflicts:    1877000 | #Constraints:      72056
3600.01/3611.30	c #Conflicts:    1878000 | #Constraints:      73056
3600.01/3611.30	c #Conflicts:    1879000 | #Constraints:      74056
3600.01/3611.30	c #Conflicts:    1880000 | #Constraints:      75056
3600.01/3611.30	c #Conflicts:    1881000 | #Constraints:      76056
3600.01/3611.30	c #Conflicts:    1882000 | #Constraints:      77056
3600.01/3611.30	c #Conflicts:    1883000 | #Constraints:      78056
3600.01/3611.30	c #Conflicts:    1884000 | #Constraints:      79056
3600.01/3611.30	c #Conflicts:    1885000 | #Constraints:      80056
3600.01/3611.30	c #Conflicts:    1886000 | #Constraints:      81056
3600.01/3611.30	c #Conflicts:    1887000 | #Constraints:      82056
3600.01/3611.30	c #Conflicts:    1888000 | #Constraints:      83056
3600.01/3611.30	c #Conflicts:    1889000 | #Constraints:      84056
3600.01/3611.30	c #Conflicts:    1890000 | #Constraints:      85056
3600.01/3611.30	c #Conflicts:    1891000 | #Constraints:      86056
3600.01/3611.30	c #Conflicts:    1892000 | #Constraints:      87056
3600.01/3611.30	c INPROCESSING
3600.01/3611.30	c GARBAGE COLLECT
3600.01/3611.30	c #Conflicts:    1893000 | #Constraints:      48288
3600.01/3611.30	c #Conflicts:    1894000 | #Constraints:      49288
3600.01/3611.30	c #Conflicts:    1895000 | #Constraints:      50288
3600.01/3611.30	c #Conflicts:    1896000 | #Constraints:      51288
3600.01/3611.30	c #Conflicts:    1897000 | #Constraints:      52288
3600.01/3611.30	c #Conflicts:    1898000 | #Constraints:      53288
3600.01/3611.30	c #Conflicts:    1899000 | #Constraints:      54288
3600.01/3611.30	c #Conflicts:    1900000 | #Constraints:      55288
3600.01/3611.30	c #Conflicts:    1901000 | #Constraints:      56288
3600.01/3611.30	c #Conflicts:    1902000 | #Constraints:      57288
3600.01/3611.30	c #Conflicts:    1903000 | #Constraints:      58288
3600.01/3611.30	c #Conflicts:    1904000 | #Constraints:      59288
3600.01/3611.30	c #Conflicts:    1905000 | #Constraints:      60288
3600.01/3611.30	c #Conflicts:    1906000 | #Constraints:      61288
3600.01/3611.30	c #Conflicts:    1907000 | #Constraints:      62288
3600.01/3611.30	c #Conflicts:    1908000 | #Constraints:      63288
3600.01/3611.30	c #Conflicts:    1909000 | #Constraints:      64288
3600.01/3611.30	c #Conflicts:    1910000 | #Constraints:      65288
3600.01/3611.30	c #Conflicts:    1911000 | #Constraints:      66288
3600.01/3611.30	c #Conflicts:    1912000 | #Constraints:      67288
3600.01/3611.30	c #Conflicts:    1913000 | #Constraints:      68288
3600.01/3611.30	c #Conflicts:    1914000 | #Constraints:      69288
3600.01/3611.30	c #Conflicts:    1915000 | #Constraints:      70288
3600.01/3611.30	c #Conflicts:    1916000 | #Constraints:      71288
3600.01/3611.30	c #Conflicts:    1917000 | #Constraints:      72288
3600.01/3611.30	c #Conflicts:    1918000 | #Constraints:      73288
3600.01/3611.30	c #Conflicts:    1919000 | #Constraints:      74288
3600.01/3611.30	c #Conflicts:    1920000 | #Constraints:      75288
3600.01/3611.30	c cpu time 3580.4 s
3600.01/3611.30	c deterministic time 270432560921 2.70e+11
3600.01/3611.30	c optimization time 48.0665 s
3600.01/3611.30	c total solve time 3532.26 s
3600.01/3611.30	c core-guided solve time 0 s
3600.01/3611.30	c propagation time 2036.11 s
3600.01/3611.30	c conflict analysis time 1316.8 s
3600.01/3611.30	c propagations 913498532
3600.01/3611.30	c resolve steps 81898979
3600.01/3611.30	c decisions 15658007
3600.01/3611.30	c conflicts 1920347
3600.01/3611.30	c restarts 3722
3600.01/3611.30	c inprocessing phases 83
3600.01/3611.30	c garbage collections 83 ,( 100.00 )
3600.01/3611.30	c input clauses 6764 ,( 98.57 )
3600.01/3611.30	c input cardinalities 98 ,( 1.43 )
3600.01/3611.30	c input general constraints 0 ,( 0.00 )
3600.01/3611.30	c input average constraint length 6.24
3600.01/3611.30	c input average constraint degree 1.94
3600.01/3611.30	c learned clauses 1451485 ,( 75.58 )
3600.01/3611.30	c learned cardinalities 31838 ,( 1.66 )
3600.01/3611.30	c learned general constraints 437052 ,( 22.76 )
3600.01/3611.30	c learned average constraint length 698.87
3600.01/3611.30	c learned average constraint degree 9763009.72
3600.01/3611.30	c watched  CF 32, 64, 128, Arb: 138431 , 0 , 0 , 0
3600.01/3611.30	c counting CF 32, 64, 128, Arb: 298621 , 0 , 0 , 0
3600.01/3611.30	c watched   constraints 138431 ,( 31.67 ) 
3600.01/3611.30	c counting  constraints 298621 ,( 68.33 ) 
3600.01/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1372950880 , 715649996 , 3460869473 ,( 146840617 , 3314028856 )
3600.01/3611.30	c gcd simplifications 1186
3600.01/3611.30	c detected cardinalities 2221
3600.01/3611.30	c weakened non-implied lits 371753307
3600.01/3611.30	c weakened non-implying lits 279634
3600.01/3611.30	c original variables 6664
3600.01/3611.30	c clausal propagations 336204564
3600.01/3611.30	c cardinality propagations 348213833
3600.01/3611.30	c watched propagations 4570577
3600.01/3611.30	c counting propagations 217835780
3600.01/3611.30	c watch lookups 142111867735
3600.01/3611.30	c watch backjump lookups 0
3600.01/3611.30	c watch checks 39939635488
3600.01/3611.30	c propagation checks 81930829972
3600.01/3611.30	c constraint additions 4589598491
3600.01/3611.30	c trail pops 931070613
3600.01/3611.30	c formula constraints 6862
3600.01/3611.30	c learned constraints 1920338
3600.01/3611.30	c bound constraints 0
3600.01/3611.30	c core-guided constraints 0
3600.01/3611.30	c encountered formula constraints 47422494
3600.01/3611.30	c encountered learned constraints 36395439
3600.01/3611.30	c encountered bound constraints 0
3600.01/3611.30	c encountered core-guided constraints 0
3600.01/3611.30	c LP total time 190.836 s
3600.01/3611.30	c LP solve time 169.03 s
3600.01/3611.30	c LP constraints added 9034
3600.01/3611.30	c LP constraints removed 2021
3600.01/3611.30	c LP pivots internal 201809
3600.01/3611.30	c LP pivots root 200273
3600.01/3611.30	c LP calls 48
3600.01/3611.30	c LP optimalities 35
3600.01/3611.30	c LP no pivot count 4
3600.01/3611.30	c LP infeasibilities 8
3600.01/3611.30	c LP valid Farkas constraints 8
3600.01/3611.30	c LP learned Farkas constraints 8
3600.01/3611.30	c LP basis resets 0
3600.01/3611.30	c LP cycling count 0
3600.01/3611.30	c LP singular count 0
3600.01/3611.30	c LP no primal count 0
3600.01/3611.30	c LP no farkas count 0
3600.01/3611.30	c LP other issue count 0
3600.01/3611.30	c LP Gomory cuts 21
3600.01/3611.30	c LP learned cuts 2151
3600.01/3611.30	c LP deleted cuts 2021
3600.01/3611.30	c LP encountered Gomory constraints 1253
3600.01/3611.30	c LP encountered Farkas constraints 121
3600.01/3611.30	c LP encountered learned Farkas constraints 11
3600.01/3611.30	c CG auxiliary variables introduced 0
3600.01/3611.30	c CG solutions found 0
3600.01/3611.30	c CG cores constructed 0
3600.01/3611.30	c CG core cardinality constraints returned 0
3600.01/3611.30	c CG unit cores 0
3600.01/3611.30	c CG single cores 0
3600.01/3611.30	c CG blocks removed during cardinality reduction 0
3600.01/3611.30	c CG first core best 0
3600.01/3611.30	c CG decision core best 0
3600.01/3611.30	c CG core reduction tie 0
3600.01/3611.30	c CG core degree average 0.00
3600.01/3611.30	c CG core slack average 0.00
3600.01/3611.30	c CG core upper bound improvements 0
3600.01/3611.30	c STR number of successful calls 0
3600.01/3611.30	c STR number of unsuccessful calls 0
3600.01/3611.30	c STR number of inconclusive calls 0
3600.01/3611.30	c STR number of successful attempts 0
3600.01/3611.30	c STR number of unsuccessful attempts 0
3600.01/3611.30	c STR number of inconclusive attempts 0
3600.01/3611.30	c STR average degree increase per successful call inf
3600.01/3611.30	c STR average degree increase per successful attempt inf
3600.01/3611.30	c STR total number of conflicts for successful attempts 0
3600.01/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.30	c STR average number of conflicts per successful attempt inf
3600.01/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.30	c AVG.sumWPerc 60.06 
3600.01/3611.30	c bigint constraints 0 
3600.01/3611.30	s UNKNOWN
3600.01/3611.30	c Program interrupted by user.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62178 MiB free)
  memory of node 1: 64507 MiB (62292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507374-1751178078/watcher-4507374-1751178078 -o /tmp/evaluation-result-4507374-1751178078/solver-4507374-1751178078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20069 --watchdog 3760 run-dec-ls.sh HOME/instance-4507374-1751178078.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100076 s]*
/proc/loadavg: 4.68 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127454728/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=59660 memory=15468 CPUtime=0.08 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 1467 0 0 0 5 3 0 0 20 0 1 0 33487146 61091840 3867 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 14915 3867 2112 1147 0 2342 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 63852 KiB
Current children cumulated memory: 18412 KiB

[startup+0.213389 s]*
/proc/loadavg: 4.68 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127450632/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=73604 memory=28660 CPUtime=0.17 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 4741 0 0 0 13 4 0 0 20 0 1 0 33487146 75370496 7165 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 18401 7165 2272 1147 0 5828 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 77796 KiB
Current children cumulated memory: 31604 KiB

[startup+0.31342 s]*
/proc/loadavg: 4.68 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127450632/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=73820 memory=29044 CPUtime=0.26 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 4815 0 0 0 22 4 0 0 20 0 1 0 33487146 75591680 7261 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 18455 7261 2272 1147 0 5882 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78012 KiB
Current children cumulated memory: 31988 KiB

[startup+0.700243 s]
/proc/loadavg: 4.68 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127450632/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=74132 memory=29428 CPUtime=0.6 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 4935 0 0 0 56 4 0 0 20 0 1 0 33487146 75911168 7357 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 18533 7357 2272 1147 0 5960 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 78324 KiB
Current children cumulated memory: 32372 KiB

[startup+1.50027 s]
/proc/loadavg: 4.62 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127450632/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=75424 memory=30708 CPUtime=1.4 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 5239 0 0 0 135 5 0 0 20 0 1 0 33487146 77234176 7677 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 18856 7677 2272 1147 0 6283 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 79616 KiB
Current children cumulated memory: 33652 KiB

[startup+3.10546 s]
/proc/loadavg: 4.62 4.30 4.20 5/255 20968
/proc/meminfo: memFree=127442716/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=79044 memory=34676 CPUtime=2.98 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 6180 0 0 0 288 10 0 0 20 0 1 0 33487146 80941056 8669 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 19761 8669 2336 1147 0 7188 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 83236 KiB
Current children cumulated memory: 37620 KiB

[startup+6.30038 s]
/proc/loadavg: 4.57 4.29 4.20 5/255 20968
/proc/meminfo: memFree=127437864/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=85956 memory=41180 CPUtime=6.17 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 7320 0 0 0 598 19 0 0 20 0 1 0 33487146 88018944 10295 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 21489 10295 2336 1147 0 8916 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 90148 KiB
Current children cumulated memory: 44124 KiB

[startup+12.7004 s]
/proc/loadavg: 4.61 4.31 4.20 5/255 20969
/proc/meminfo: memFree=127430052/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=96132 memory=49884 CPUtime=12.54 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 9491 0 0 0 1221 33 0 0 20 0 1 0 33487146 98439168 12471 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 24033 12471 2336 1147 0 11460 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 100324 KiB
Current children cumulated memory: 52828 KiB

[startup+25.5004 s]
/proc/loadavg: 4.51 4.29 4.20 5/255 20969
/proc/meminfo: memFree=127420224/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=108992 memory=64732 CPUtime=25.31 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 11693 0 0 0 2471 60 0 0 20 0 1 0 33487146 111607808 16183 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 27248 16183 2336 1147 0 14675 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 113184 KiB
Current children cumulated memory: 67676 KiB

[startup+51.1132 s]
/proc/loadavg: 4.31 4.26 4.19 5/255 20969
/proc/meminfo: memFree=127361716/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=173956 memory=121148 CPUtime=50.85 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 21192 0 0 0 4985 100 0 0 20 0 1 0 33487146 178130944 30287 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 43489 30287 2336 1147 0 30916 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 178148 KiB
Current children cumulated memory: 124092 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.27 4.19 5/256 20974
/proc/meminfo: memFree=127321604/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=190412 memory=146864 CPUtime=101.88 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 25581 0 0 0 10014 174 0 0 20 0 1 0 33487146 194981888 36716 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 47603 36716 2336 1147 0 35030 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 194604 KiB
Current children cumulated memory: 149808 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/256 20977
/proc/meminfo: memFree=127219236/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=301640 memory=215024 CPUtime=161.7 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 33435 0 0 0 15930 240 0 0 20 0 1 0 33487146 308879360 53756 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 75410 53756 2336 1147 0 62837 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 305832 KiB
Current children cumulated memory: 217968 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/255 21025
/proc/meminfo: memFree=128129700/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=393316 memory=273320 CPUtime=221.52 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 36253 0 0 0 21875 277 0 0 20 0 1 0 33487146 402755584 68330 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 98329 68330 2336 1147 0 85756 0
Current children cumulated CPU time: 221.52 s

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

/proc/20968/statm: 235860 176492 2336 1147 0 223287 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 947632 KiB
Current children cumulated memory: 708912 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/255 21411
/proc/meminfo: memFree=128065600/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=943440 memory=705968 CPUtime=3152.31 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 80338 0 0 0 313406 1825 0 0 20 0 1 0 33487146 966082560 176492 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 235860 176492 2336 1147 0 223287 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 947632 KiB
Current children cumulated memory: 708912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/255 21413
/proc/meminfo: memFree=128030760/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=941824 memory=704252 CPUtime=3212.14 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 81134 0 0 0 319374 1840 0 0 20 0 1 0 33487146 964427776 176063 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 235456 176063 2336 1147 0 222883 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 946016 KiB
Current children cumulated memory: 707196 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/254 21415
/proc/meminfo: memFree=127964104/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=948048 memory=708348 CPUtime=3271.97 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 82194 0 0 0 325342 1855 0 0 20 0 1 0 33487146 970801152 177087 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 237012 177087 2336 1147 0 224439 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 952240 KiB
Current children cumulated memory: 711292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/254 21417
/proc/meminfo: memFree=127900028/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=963792 memory=717820 CPUtime=3331.8 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 84577 0 0 0 331312 1868 0 0 20 0 1 0 33487146 986923008 179455 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 240948 179455 2336 1147 0 228375 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 967984 KiB
Current children cumulated memory: 720764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/253 21419
/proc/meminfo: memFree=127828452/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=987988 memory=732924 CPUtime=3391.63 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 88365 0 0 0 337284 1879 0 0 20 0 1 0 33487146 1011699712 183231 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 246997 183231 2336 1147 0 234424 0
Current children cumulated CPU time: 3391.63 s
Current children cumulated vsize: 992180 KiB
Current children cumulated memory: 735868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/253 21421
/proc/meminfo: memFree=127836772/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=992972 memory=736892 CPUtime=3451.45 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 89355 0 0 0 343249 1896 0 0 20 0 1 0 33487146 1016803328 184223 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 248243 184223 2336 1147 0 235670 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 997164 KiB
Current children cumulated memory: 739836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/253 21423
/proc/meminfo: memFree=127796744/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=992972 memory=737148 CPUtime=3511.28 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 89417 0 0 0 349215 1913 0 0 20 0 1 0 33487146 1016803328 184287 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 248243 184287 2336 1147 0 235670 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 997164 KiB
Current children cumulated memory: 740092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/253 21425
/proc/meminfo: memFree=127787704/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=992972 memory=737148 CPUtime=3571.1 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 89417 0 0 0 355160 1950 0 0 20 0 1 0 33487146 1016803328 184287 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 248243 184287 2336 1147 0 235670 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 997164 KiB
Current children cumulated memory: 740092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/253 21425
/proc/meminfo: memFree=127767728/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=992972 memory=737148 CPUtime=3600.01 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 89417 0 0 0 358040 1961 0 0 20 0 1 0 33487146 1016803328 184287 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 248243 184287 2336 1147 0 235670 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 997164 KiB
Current children cumulated memory: 740092 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000817 s, system=0.004089 s

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

# cumulated CPU time of all completed processes:  user=3580.41 s, system=19.6269 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

[startup+3611.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/253 21425
/proc/meminfo: memFree=127767728/131382120 swapFree=33010684/33010684
[pid=20966] ppid=20963 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/20966/stat : 20966 (run-dec-ls.sh) S 20963 20966 20058 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 33487145 4292608 736 18446744073709551615 94251005603840 94251006498373 140734387396720 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94251006737424 94251006785168 94251006906368 140734387399015 140734387399141 140734387399141 140734387404743 0
/proc/20966/statm: 1048 736 672 219 0 110 0
[pid=20968] ppid=20966 vsize=992972 memory=737148 CPUtime=3600.01 cores=4,6
/proc/20968/stat : 20968 (roundingsat) R 20966 20966 20058 0 -1 4194304 89417 0 0 0 358040 1961 0 0 20 0 1 0 33487146 1016803328 184287 18446744073709551615 4227072 8923433 140724596817008 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27316224 140724596820384 140724596820520 140724596820520 140724596826090 0
/proc/20968/statm: 248243 184287 2336 1147 0 235670 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 997164 KiB
Current children cumulated memory: 740092 KiB

Child status: 2

Real time (s): 3611.31
CPU time (s): 3600.03
CPU user time (s): 3580.41
CPU system time (s): 19.6269
CPU usage (%): 99.6878
Max. virtual memory (cumulated for all children) (KiB): 997164
Max. memory (cumulated for all children) (KiB): 740092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.41
system time used= 19.6269
maximum resident set size= 737532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 19758


# summary of solver processes directly reported to runsolver:
#   pid: 20966,20968
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3580.41
#   total CPU system time (s): 19.6269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.314 second user time and 35.8867 second system time

The end

Launcher Data

Begin job on nodeC006 at 2025-06-29 08:21:18
IDJOB=4507374
IDBENCH=158344
IDSOLVER=3353
FILE ID=nodeC006/4507374-1751178078
RUNJOBID= nodeC006-1751170846-20069
SLURM_JOB_ID= 9587530
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507374-1751178078/watcher-4507374-1751178078 -o /tmp/evaluation-result-4507374-1751178078/solver-4507374-1751178078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20069 --watchdog 3760  run-dec-ls.sh HOME/instance-4507374-1751178078.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=764484824

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127458488 kB
MemAvailable:   127105008 kB
Buffers:            3280 kB
Cached:           457900 kB
SwapCached:            0 kB
Active:          3183652 kB
Inactive:         210136 kB
Active(anon):    2950568 kB
Inactive(anon):        0 kB
Active(file):     233084 kB
Inactive(file):   210136 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7820 kB
Writeback:             0 kB
AnonPages:       2933972 kB
Mapped:           115712 kB
Shmem:             17960 kB
KReclaimable:      85304 kB
Slab:             164284 kB
SReclaimable:      85304 kB
SUnreclaim:        78980 kB
KernelStack:        4096 kB
PageTables:         9024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3460624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1908736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 09:21:29