Trace number 4506796

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 63f22ad? (TO) 3600.05 3610.52

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
MD5SUMdf8f338dbd068337fef89bf4c43df9f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16422
Total number of constraints16700
Number of constraints which are clauses16562
Number of constraints which are cardinality constraints (but not clauses)138
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint138
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 139
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.18/0.30	c #variables 16422 #constraints 16700
89.57/89.95	c #Conflicts:       1000 | #Constraints:      17699
89.57/89.95	c #Conflicts:       2000 | #Constraints:      18699
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:       3000 | #Constraints:      18026
89.57/89.95	c #Conflicts:       4000 | #Constraints:      19026
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:       5000 | #Constraints:      18538
89.57/89.95	c #Conflicts:       6000 | #Constraints:      19538
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:       7000 | #Constraints:      18416
89.57/89.95	c #Conflicts:       8000 | #Constraints:      19416
89.57/89.95	c #Conflicts:       9000 | #Constraints:      20416
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      10000 | #Constraints:      19170
89.57/89.95	c #Conflicts:      11000 | #Constraints:      20170
89.57/89.95	c #Conflicts:      12000 | #Constraints:      21170
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      13000 | #Constraints:      19664
89.57/89.95	c #Conflicts:      14000 | #Constraints:      20664
89.57/89.95	c #Conflicts:      15000 | #Constraints:      21664
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      16000 | #Constraints:      19955
89.57/89.95	c #Conflicts:      17000 | #Constraints:      20955
89.57/89.95	c #Conflicts:      18000 | #Constraints:      21955
89.57/89.95	c #Conflicts:      19000 | #Constraints:      22955
89.57/89.95	c #Conflicts:      20000 | #Constraints:      23955
89.57/89.95	c #Conflicts:      21000 | #Constraints:      24955
89.57/89.95	c #Conflicts:      22000 | #Constraints:      25955
89.57/89.95	c #Conflicts:      23000 | #Constraints:      26955
89.57/89.95	c #Conflicts:      24000 | #Constraints:      27955
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      25000 | #Constraints:      22940
89.57/89.95	c #Conflicts:      26000 | #Constraints:      23940
89.57/89.95	c #Conflicts:      27000 | #Constraints:      24940
89.57/89.95	c #Conflicts:      28000 | #Constraints:      25940
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      29000 | #Constraints:      21814
89.57/89.95	c #Conflicts:      30000 | #Constraints:      22814
89.57/89.95	c #Conflicts:      31000 | #Constraints:      23814
89.57/89.95	c #Conflicts:      32000 | #Constraints:      24814
89.57/89.95	c #Conflicts:      33000 | #Constraints:      25814
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      34000 | #Constraints:      22057
89.57/89.95	c #Conflicts:      35000 | #Constraints:      23057
89.57/89.95	c #Conflicts:      36000 | #Constraints:      24057
89.57/89.95	c #Conflicts:      37000 | #Constraints:      25057
89.57/89.95	c #Conflicts:      38000 | #Constraints:      26057
89.57/89.95	c #Conflicts:      39000 | #Constraints:      27057
89.57/89.95	c #Conflicts:      40000 | #Constraints:      28057
89.57/89.95	c #Conflicts:      41000 | #Constraints:      29057
89.57/89.95	c #Conflicts:      42000 | #Constraints:      30057
89.57/89.95	c #Conflicts:      43000 | #Constraints:      31057
89.57/89.95	c #Conflicts:      44000 | #Constraints:      32057
89.57/89.95	c #Conflicts:      45000 | #Constraints:      33057
89.57/89.95	c #Conflicts:      46000 | #Constraints:      34057
89.57/89.95	c #Conflicts:      47000 | #Constraints:      35057
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      48000 | #Constraints:      26815
89.57/89.95	c #Conflicts:      49000 | #Constraints:      27815
89.57/89.95	c #Conflicts:      50000 | #Constraints:      28815
89.57/89.95	c #Conflicts:      51000 | #Constraints:      29815
89.57/89.95	c #Conflicts:      52000 | #Constraints:      30815
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      53000 | #Constraints:      24344
89.57/89.95	c #Conflicts:      54000 | #Constraints:      25344
89.57/89.95	c #Conflicts:      55000 | #Constraints:      26344
89.57/89.95	c #Conflicts:      56000 | #Constraints:      27344
89.57/89.95	c #Conflicts:      57000 | #Constraints:      28344
89.57/89.95	c #Conflicts:      58000 | #Constraints:      29344
89.57/89.95	c INPROCESSING
89.57/89.95	c GARBAGE COLLECT
89.57/89.95	c #Conflicts:      59000 | #Constraints:      23820
89.57/89.95	c #Conflicts:      60000 | #Constraints:      24820
89.57/89.95	c #Conflicts:      61000 | #Constraints:      25820
89.57/89.95	c #Conflicts:      62000 | #Constraints:      26820
89.57/89.95	c #Conflicts:      63000 | #Constraints:      27820
89.57/89.95	c #Conflicts:      64000 | #Constraints:      28820
89.57/89.95	c #Conflicts:      65000 | #Constraints:      29820
89.57/89.95	c #Conflicts:      66000 | #Constraints:      30820
89.57/89.95	c #Conflicts:      67000 | #Constraints:      31820
89.57/89.95	c #Conflicts:      68000 | #Constraints:      32820
89.57/89.95	c #Conflicts:      69000 | #Constraints:      33820
89.57/89.95	c #Conflicts:      70000 | #Constraints:      34820
89.57/89.95	c #Conflicts:      71000 | #Constraints:      35820
89.57/89.95	c #Conflicts:      72000 | #Constraints:      36820
227.50/228.30	c #Conflicts:      73000 | #Constraints:      37820
227.50/228.30	c #Conflicts:      74000 | #Constraints:      38820
227.50/228.30	c #Conflicts:      75000 | #Constraints:      39820
227.50/228.30	c #Conflicts:      76000 | #Constraints:      40820
227.50/228.30	c INPROCESSING
227.50/228.30	c GARBAGE COLLECT
227.50/228.30	c #Conflicts:      77000 | #Constraints:      29532
227.50/228.30	c #Conflicts:      78000 | #Constraints:      30532
227.50/228.30	c #Conflicts:      79000 | #Constraints:      31532
227.50/228.30	c #Conflicts:      80000 | #Constraints:      32532
227.50/228.30	c #Conflicts:      81000 | #Constraints:      33532
227.50/228.30	c #Conflicts:      82000 | #Constraints:      34532
227.50/228.30	c #Conflicts:      83000 | #Constraints:      35532
227.50/228.30	c #Conflicts:      84000 | #Constraints:      36532
227.50/228.30	c INPROCESSING
227.50/228.30	c GARBAGE COLLECT
227.50/228.30	c #Conflicts:      85000 | #Constraints:      27769
227.50/228.30	c #Conflicts:      86000 | #Constraints:      28769
227.50/228.30	c #Conflicts:      87000 | #Constraints:      29769
227.50/228.30	c #Conflicts:      88000 | #Constraints:      30769
227.50/228.30	c #Conflicts:      89000 | #Constraints:      31769
227.50/228.30	c #Conflicts:      90000 | #Constraints:      32769
227.50/228.30	c #Conflicts:      91000 | #Constraints:      33769
227.50/228.30	c INPROCESSING
227.50/228.30	c GARBAGE COLLECT
227.50/228.30	c #Conflicts:      92000 | #Constraints:      26654
227.50/228.30	c #Conflicts:      93000 | #Constraints:      27654
227.50/228.30	c #Conflicts:      94000 | #Constraints:      28654
227.50/228.30	c #Conflicts:      95000 | #Constraints:      29654
227.50/228.30	c #Conflicts:      96000 | #Constraints:      30654
227.50/228.30	c #Conflicts:      97000 | #Constraints:      31654
227.50/228.30	c #Conflicts:      98000 | #Constraints:      32654
227.50/228.30	c #Conflicts:      99000 | #Constraints:      33654
227.50/228.30	c #Conflicts:     100000 | #Constraints:      34654
227.50/228.30	c #Conflicts:     101000 | #Constraints:      35654
227.50/228.30	c #Conflicts:     102000 | #Constraints:      36654
227.50/228.30	c #Conflicts:     103000 | #Constraints:      37654
227.50/228.30	c #Conflicts:     104000 | #Constraints:      38654
227.50/228.30	c #Conflicts:     105000 | #Constraints:      39654
227.50/228.30	c #Conflicts:     106000 | #Constraints:      40654
227.50/228.30	c #Conflicts:     107000 | #Constraints:      41654
227.50/228.30	c #Conflicts:     108000 | #Constraints:      42654
227.50/228.30	c #Conflicts:     109000 | #Constraints:      43654
227.50/228.31	c #Conflicts:     110000 | #Constraints:      44654
227.50/228.31	c #Conflicts:     111000 | #Constraints:      45654
227.50/228.31	c #Conflicts:     112000 | #Constraints:      46654
227.50/228.31	c #Conflicts:     113000 | #Constraints:      47654
227.50/228.31	c INPROCESSING
227.50/228.31	c GARBAGE COLLECT
227.50/228.31	c #Conflicts:     114000 | #Constraints:      33006
227.50/228.31	c #Conflicts:     115000 | #Constraints:      34006
227.50/228.31	c #Conflicts:     116000 | #Constraints:      35006
227.50/228.31	c #Conflicts:     117000 | #Constraints:      36006
227.50/228.31	c #Conflicts:     118000 | #Constraints:      37006
227.50/228.31	c #Conflicts:     119000 | #Constraints:      38006
227.50/228.31	c #Conflicts:     120000 | #Constraints:      39006
227.50/228.31	c #Conflicts:     121000 | #Constraints:      40006
227.50/228.31	c #Conflicts:     122000 | #Constraints:      41006
227.50/228.31	c INPROCESSING
227.50/228.31	c GARBAGE COLLECT
227.50/228.31	c #Conflicts:     123000 | #Constraints:      29790
227.50/228.31	c #Conflicts:     124000 | #Constraints:      30790
227.50/228.31	c #Conflicts:     125000 | #Constraints:      31790
227.50/228.31	c #Conflicts:     126000 | #Constraints:      32790
227.50/228.31	c #Conflicts:     127000 | #Constraints:      33790
227.50/228.31	c #Conflicts:     128000 | #Constraints:      34790
227.50/228.31	c #Conflicts:     129000 | #Constraints:      35790
227.50/228.31	c #Conflicts:     130000 | #Constraints:      36790
227.50/228.31	c #Conflicts:     131000 | #Constraints:      37790
227.50/228.31	c INPROCESSING
227.50/228.31	c GARBAGE COLLECT
227.50/228.31	c #Conflicts:     132000 | #Constraints:      29198
227.50/228.31	c #Conflicts:     133000 | #Constraints:      30198
227.50/228.31	c #Conflicts:     134000 | #Constraints:      31198
227.50/228.31	c #Conflicts:     135000 | #Constraints:      32198
227.50/228.31	c #Conflicts:     136000 | #Constraints:      33198
227.50/228.31	c #Conflicts:     137000 | #Constraints:      34198
227.50/228.31	c #Conflicts:     138000 | #Constraints:      35198
227.50/228.31	c #Conflicts:     139000 | #Constraints:      36198
227.50/228.31	c #Conflicts:     140000 | #Constraints:      37198
227.50/228.31	c #Conflicts:     141000 | #Constraints:      38198
227.50/228.31	c #Conflicts:     142000 | #Constraints:      39198
227.50/228.31	c #Conflicts:     143000 | #Constraints:      40198
227.50/228.31	c #Conflicts:     144000 | #Constraints:      41198
227.50/228.31	c #Conflicts:     145000 | #Constraints:      42198
227.50/228.31	c #Conflicts:     146000 | #Constraints:      43198
227.50/228.31	c #Conflicts:     147000 | #Constraints:      44198
355.21/356.44	c #Conflicts:     148000 | #Constraints:      45198
355.21/356.44	c #Conflicts:     149000 | #Constraints:      46198
355.21/356.44	c #Conflicts:     150000 | #Constraints:      47198
355.21/356.44	c #Conflicts:     151000 | #Constraints:      48198
355.21/356.44	c #Conflicts:     152000 | #Constraints:      49198
355.21/356.44	c #Conflicts:     153000 | #Constraints:      50198
355.21/356.44	c #Conflicts:     154000 | #Constraints:      51198
355.21/356.44	c #Conflicts:     155000 | #Constraints:      52198
355.21/356.44	c #Conflicts:     156000 | #Constraints:      53198
355.21/356.44	c #Conflicts:     157000 | #Constraints:      54198
355.21/356.44	c INPROCESSING
355.21/356.44	c GARBAGE COLLECT
355.21/356.44	c #Conflicts:     158000 | #Constraints:      36435
355.21/356.44	c #Conflicts:     159000 | #Constraints:      37435
355.21/356.44	c #Conflicts:     160000 | #Constraints:      38435
355.21/356.44	c #Conflicts:     161000 | #Constraints:      39435
355.21/356.44	c #Conflicts:     162000 | #Constraints:      40435
355.21/356.44	c #Conflicts:     163000 | #Constraints:      41435
355.21/356.44	c #Conflicts:     164000 | #Constraints:      42435
355.21/356.44	c #Conflicts:     165000 | #Constraints:      43435
355.21/356.44	c #Conflicts:     166000 | #Constraints:      44435
355.21/356.44	c #Conflicts:     167000 | #Constraints:      45435
355.21/356.44	c #Conflicts:     168000 | #Constraints:      46435
355.21/356.44	c INPROCESSING
355.21/356.44	c GARBAGE COLLECT
355.21/356.44	c #Conflicts:     169000 | #Constraints:      32948
355.21/356.44	c #Conflicts:     170000 | #Constraints:      33948
355.21/356.44	c #Conflicts:     171000 | #Constraints:      34948
355.21/356.44	c #Conflicts:     172000 | #Constraints:      35948
355.21/356.44	c #Conflicts:     173000 | #Constraints:      36948
355.21/356.44	c #Conflicts:     174000 | #Constraints:      37948
355.21/356.44	c #Conflicts:     175000 | #Constraints:      38948
355.21/356.44	c #Conflicts:     176000 | #Constraints:      39948
355.21/356.44	c #Conflicts:     177000 | #Constraints:      40948
355.21/356.44	c #Conflicts:     178000 | #Constraints:      41948
355.21/356.44	c INPROCESSING
355.21/356.44	c GARBAGE COLLECT
355.21/356.44	c #Conflicts:     179000 | #Constraints:      32016
355.21/356.44	c #Conflicts:     180000 | #Constraints:      33016
355.21/356.44	c #Conflicts:     181000 | #Constraints:      34016
355.21/356.44	c #Conflicts:     182000 | #Constraints:      35016
355.21/356.44	c #Conflicts:     183000 | #Constraints:      36016
355.21/356.44	c #Conflicts:     184000 | #Constraints:      37016
355.21/356.44	c #Conflicts:     185000 | #Constraints:      38016
355.21/356.44	c #Conflicts:     186000 | #Constraints:      39016
355.21/356.44	c #Conflicts:     187000 | #Constraints:      40016
355.21/356.44	c #Conflicts:     188000 | #Constraints:      41016
355.21/356.44	c #Conflicts:     189000 | #Constraints:      42016
355.21/356.44	c #Conflicts:     190000 | #Constraints:      43016
355.21/356.44	c #Conflicts:     191000 | #Constraints:      44016
355.21/356.44	c #Conflicts:     192000 | #Constraints:      45016
355.21/356.44	c #Conflicts:     193000 | #Constraints:      46016
355.21/356.44	c #Conflicts:     194000 | #Constraints:      47016
355.21/356.44	c #Conflicts:     195000 | #Constraints:      48016
355.21/356.44	c #Conflicts:     196000 | #Constraints:      49016
355.21/356.44	c #Conflicts:     197000 | #Constraints:      50016
355.21/356.44	c #Conflicts:     198000 | #Constraints:      51016
355.21/356.44	c #Conflicts:     199000 | #Constraints:      52016
355.21/356.44	c #Conflicts:     200000 | #Constraints:      53016
355.21/356.44	c #Conflicts:     201000 | #Constraints:      54016
355.21/356.44	c #Conflicts:     202000 | #Constraints:      55016
355.21/356.44	c #Conflicts:     203000 | #Constraints:      56016
355.21/356.44	c #Conflicts:     204000 | #Constraints:      57016
355.21/356.44	c #Conflicts:     205000 | #Constraints:      58016
355.21/356.44	c #Conflicts:     206000 | #Constraints:      59016
355.21/356.44	c #Conflicts:     207000 | #Constraints:      60016
355.21/356.44	c #Conflicts:     208000 | #Constraints:      61016
355.21/356.44	c #Conflicts:     209000 | #Constraints:      62016
355.21/356.44	c INPROCESSING
355.21/356.44	c GARBAGE COLLECT
355.21/356.44	c #Conflicts:     210000 | #Constraints:      40655
355.21/356.44	c #Conflicts:     211000 | #Constraints:      41655
355.21/356.44	c #Conflicts:     212000 | #Constraints:      42655
355.21/356.44	c #Conflicts:     213000 | #Constraints:      43655
355.21/356.44	c #Conflicts:     214000 | #Constraints:      44655
355.21/356.44	c #Conflicts:     215000 | #Constraints:      45655
355.21/356.44	c #Conflicts:     216000 | #Constraints:      46655
355.21/356.44	c #Conflicts:     217000 | #Constraints:      47655
355.21/356.44	c #Conflicts:     218000 | #Constraints:      48655
355.21/356.44	c #Conflicts:     219000 | #Constraints:      49655
355.21/356.44	c #Conflicts:     220000 | #Constraints:      50655
355.21/356.44	c INPROCESSING
355.21/356.44	c GARBAGE COLLECT
355.21/356.44	c rational objective 138
470.79/472.33	c #Conflicts:     221000 | #Constraints:      34713
470.79/472.33	c #Conflicts:     222000 | #Constraints:      35713
470.79/472.33	c #Conflicts:     223000 | #Constraints:      36713
470.79/472.33	c #Conflicts:     224000 | #Constraints:      37713
470.79/472.33	c #Conflicts:     225000 | #Constraints:      38713
470.79/472.33	c #Conflicts:     226000 | #Constraints:      39713
470.79/472.33	c #Conflicts:     227000 | #Constraints:      40713
470.79/472.33	c #Conflicts:     228000 | #Constraints:      41713
470.79/472.33	c #Conflicts:     229000 | #Constraints:      42713
470.79/472.33	c #Conflicts:     230000 | #Constraints:      43713
470.79/472.33	c #Conflicts:     231000 | #Constraints:      44713
470.79/472.33	c #Conflicts:     232000 | #Constraints:      45713
470.79/472.33	c INPROCESSING
470.79/472.33	c GARBAGE COLLECT
470.79/472.33	c #Conflicts:     233000 | #Constraints:      34108
470.79/472.33	c #Conflicts:     234000 | #Constraints:      35108
470.79/472.33	c #Conflicts:     235000 | #Constraints:      36108
470.79/472.33	c #Conflicts:     236000 | #Constraints:      37108
470.79/472.33	c #Conflicts:     237000 | #Constraints:      38108
470.79/472.33	c #Conflicts:     238000 | #Constraints:      39108
470.79/472.33	c #Conflicts:     239000 | #Constraints:      40108
470.79/472.33	c #Conflicts:     240000 | #Constraints:      41108
470.79/472.34	c #Conflicts:     241000 | #Constraints:      42108
470.79/472.34	c #Conflicts:     242000 | #Constraints:      43108
470.79/472.34	c #Conflicts:     243000 | #Constraints:      44108
470.79/472.34	c #Conflicts:     244000 | #Constraints:      45108
470.79/472.34	c #Conflicts:     245000 | #Constraints:      46108
470.79/472.34	c #Conflicts:     246000 | #Constraints:      47108
470.79/472.34	c #Conflicts:     247000 | #Constraints:      48108
470.79/472.34	c #Conflicts:     248000 | #Constraints:      49108
470.79/472.34	c #Conflicts:     249000 | #Constraints:      50108
470.79/472.34	c #Conflicts:     250000 | #Constraints:      51108
470.79/472.34	c #Conflicts:     251000 | #Constraints:      52108
470.79/472.34	c #Conflicts:     252000 | #Constraints:      53108
470.79/472.34	c #Conflicts:     253000 | #Constraints:      54108
470.79/472.34	c #Conflicts:     254000 | #Constraints:      55108
470.79/472.34	c #Conflicts:     255000 | #Constraints:      56108
470.79/472.34	c #Conflicts:     256000 | #Constraints:      57108
470.79/472.34	c #Conflicts:     257000 | #Constraints:      58108
470.79/472.34	c #Conflicts:     258000 | #Constraints:      59108
470.79/472.34	c #Conflicts:     259000 | #Constraints:      60108
470.79/472.34	c #Conflicts:     260000 | #Constraints:      61108
470.79/472.34	c #Conflicts:     261000 | #Constraints:      62108
470.79/472.34	c #Conflicts:     262000 | #Constraints:      63108
470.79/472.34	c #Conflicts:     263000 | #Constraints:      64108
470.79/472.34	c #Conflicts:     264000 | #Constraints:      65108
470.79/472.34	c #Conflicts:     265000 | #Constraints:      66108
470.79/472.34	c #Conflicts:     266000 | #Constraints:      67108
470.79/472.34	c #Conflicts:     267000 | #Constraints:      68108
470.79/472.34	c INPROCESSING
470.79/472.34	c GARBAGE COLLECT
470.79/472.34	c #Conflicts:     268000 | #Constraints:      43436
470.79/472.34	c #Conflicts:     269000 | #Constraints:      44436
470.79/472.34	c #Conflicts:     270000 | #Constraints:      45436
470.79/472.34	c #Conflicts:     271000 | #Constraints:      46436
470.79/472.34	c #Conflicts:     272000 | #Constraints:      47436
470.79/472.34	c #Conflicts:     273000 | #Constraints:      48436
470.79/472.34	c #Conflicts:     274000 | #Constraints:      49436
470.79/472.34	c #Conflicts:     275000 | #Constraints:      50436
470.79/472.34	c #Conflicts:     276000 | #Constraints:      51436
470.79/472.34	c #Conflicts:     277000 | #Constraints:      52436
470.79/472.34	c #Conflicts:     278000 | #Constraints:      53436
470.79/472.34	c #Conflicts:     279000 | #Constraints:      54436
470.79/472.34	c #Conflicts:     280000 | #Constraints:      55436
470.79/472.34	c INPROCESSING
470.79/472.34	c GARBAGE COLLECT
470.79/472.34	c #Conflicts:     281000 | #Constraints:      37212
470.79/472.34	c #Conflicts:     282000 | #Constraints:      38212
470.79/472.34	c #Conflicts:     283000 | #Constraints:      39212
470.79/472.34	c #Conflicts:     284000 | #Constraints:      40212
470.79/472.34	c #Conflicts:     285000 | #Constraints:      41212
470.79/472.34	c #Conflicts:     286000 | #Constraints:      42212
470.79/472.34	c #Conflicts:     287000 | #Constraints:      43212
470.79/472.34	c #Conflicts:     288000 | #Constraints:      44212
470.79/472.34	c #Conflicts:     289000 | #Constraints:      45212
470.79/472.34	c #Conflicts:     290000 | #Constraints:      46212
470.79/472.34	c #Conflicts:     291000 | #Constraints:      47212
470.79/472.34	c #Conflicts:     292000 | #Constraints:      48212
470.79/472.34	c #Conflicts:     293000 | #Constraints:      49212
470.79/472.34	c #Conflicts:     294000 | #Constraints:      50212
470.79/472.34	c #Conflicts:     295000 | #Constraints:      51212
470.79/472.34	c #Conflicts:     296000 | #Constraints:      52212
470.79/472.34	c #Conflicts:     297000 | #Constraints:      53212
617.79/619.74	c #Conflicts:     298000 | #Constraints:      54212
617.79/619.74	c #Conflicts:     299000 | #Constraints:      55212
617.79/619.74	c #Conflicts:     300000 | #Constraints:      56212
617.79/619.74	c #Conflicts:     301000 | #Constraints:      57212
617.79/619.74	c #Conflicts:     302000 | #Constraints:      58212
617.79/619.74	c #Conflicts:     303000 | #Constraints:      59212
617.79/619.74	c #Conflicts:     304000 | #Constraints:      60212
617.79/619.74	c #Conflicts:     305000 | #Constraints:      61212
617.79/619.74	c #Conflicts:     306000 | #Constraints:      62212
617.79/619.74	c #Conflicts:     307000 | #Constraints:      63212
617.79/619.74	c #Conflicts:     308000 | #Constraints:      64212
617.79/619.74	c #Conflicts:     309000 | #Constraints:      65212
617.79/619.74	c #Conflicts:     310000 | #Constraints:      66212
617.79/619.74	c #Conflicts:     311000 | #Constraints:      67212
617.79/619.74	c #Conflicts:     312000 | #Constraints:      68212
617.79/619.74	c #Conflicts:     313000 | #Constraints:      69212
617.79/619.74	c #Conflicts:     314000 | #Constraints:      70212
617.79/619.74	c #Conflicts:     315000 | #Constraints:      71212
617.79/619.74	c #Conflicts:     316000 | #Constraints:      72212
617.79/619.74	c #Conflicts:     317000 | #Constraints:      73212
617.79/619.74	c #Conflicts:     318000 | #Constraints:      74212
617.79/619.74	c INPROCESSING
617.79/619.74	c GARBAGE COLLECT
617.79/619.74	c #Conflicts:     319000 | #Constraints:      46752
617.79/619.74	c #Conflicts:     320000 | #Constraints:      47752
617.79/619.74	c #Conflicts:     321000 | #Constraints:      48752
617.79/619.74	c #Conflicts:     322000 | #Constraints:      49752
617.79/619.74	c #Conflicts:     323000 | #Constraints:      50752
617.79/619.74	c #Conflicts:     324000 | #Constraints:      51752
617.79/619.74	c #Conflicts:     325000 | #Constraints:      52752
617.79/619.74	c #Conflicts:     326000 | #Constraints:      53752
617.79/619.74	c #Conflicts:     327000 | #Constraints:      54752
617.79/619.74	c #Conflicts:     328000 | #Constraints:      55752
617.79/619.74	c #Conflicts:     329000 | #Constraints:      56752
617.79/619.74	c #Conflicts:     330000 | #Constraints:      57752
617.79/619.74	c #Conflicts:     331000 | #Constraints:      58752
617.79/619.74	c #Conflicts:     332000 | #Constraints:      59752
617.79/619.74	c #Conflicts:     333000 | #Constraints:      60752
617.79/619.74	c INPROCESSING
617.79/619.74	c GARBAGE COLLECT
617.79/619.74	c #Conflicts:     334000 | #Constraints:      40054
617.79/619.74	c #Conflicts:     335000 | #Constraints:      41054
617.79/619.74	c #Conflicts:     336000 | #Constraints:      42054
617.79/619.74	c #Conflicts:     337000 | #Constraints:      43054
617.79/619.74	c #Conflicts:     338000 | #Constraints:      44054
617.79/619.74	c #Conflicts:     339000 | #Constraints:      45054
617.79/619.74	c #Conflicts:     340000 | #Constraints:      46054
617.79/619.74	c #Conflicts:     341000 | #Constraints:      47054
617.79/619.74	c #Conflicts:     342000 | #Constraints:      48054
617.79/619.74	c #Conflicts:     343000 | #Constraints:      49054
617.79/619.74	c #Conflicts:     344000 | #Constraints:      50054
617.79/619.74	c #Conflicts:     345000 | #Constraints:      51054
617.79/619.74	c #Conflicts:     346000 | #Constraints:      52054
617.79/619.74	c #Conflicts:     347000 | #Constraints:      53054
617.79/619.74	c #Conflicts:     348000 | #Constraints:      54054
617.79/619.74	c #Conflicts:     349000 | #Constraints:      55054
617.79/619.74	c #Conflicts:     350000 | #Constraints:      56054
617.79/619.74	c #Conflicts:     351000 | #Constraints:      57054
617.79/619.74	c #Conflicts:     352000 | #Constraints:      58054
617.79/619.74	c #Conflicts:     353000 | #Constraints:      59054
617.79/619.74	c #Conflicts:     354000 | #Constraints:      60054
617.79/619.74	c #Conflicts:     355000 | #Constraints:      61054
617.79/619.74	c #Conflicts:     356000 | #Constraints:      62054
617.79/619.74	c #Conflicts:     357000 | #Constraints:      63054
617.79/619.74	c #Conflicts:     358000 | #Constraints:      64054
617.79/619.74	c #Conflicts:     359000 | #Constraints:      65054
617.79/619.74	c #Conflicts:     360000 | #Constraints:      66054
617.79/619.74	c #Conflicts:     361000 | #Constraints:      67054
617.79/619.74	c #Conflicts:     362000 | #Constraints:      68054
617.79/619.74	c #Conflicts:     363000 | #Constraints:      69054
617.79/619.74	c #Conflicts:     364000 | #Constraints:      70054
617.79/619.74	c #Conflicts:     365000 | #Constraints:      71054
617.79/619.74	c #Conflicts:     366000 | #Constraints:      72054
617.79/619.74	c #Conflicts:     367000 | #Constraints:      73054
617.79/619.74	c #Conflicts:     368000 | #Constraints:      74054
617.79/619.74	c #Conflicts:     369000 | #Constraints:      75054
617.79/619.74	c #Conflicts:     370000 | #Constraints:      76054
617.79/619.74	c #Conflicts:     371000 | #Constraints:      77054
617.79/619.74	c #Conflicts:     372000 | #Constraints:      78054
617.79/619.74	c #Conflicts:     373000 | #Constraints:      79054
617.79/619.74	c #Conflicts:     374000 | #Constraints:      80054
617.79/619.74	c INPROCESSING
617.79/619.74	c GARBAGE COLLECT
637.64/639.67	c rational objective 138
860.22/862.80	c #Conflicts:     375000 | #Constraints:      49943
860.22/862.80	c #Conflicts:     376000 | #Constraints:      50943
860.22/862.80	c #Conflicts:     377000 | #Constraints:      51943
860.22/862.80	c #Conflicts:     378000 | #Constraints:      52943
860.22/862.80	c #Conflicts:     379000 | #Constraints:      53943
860.22/862.80	c #Conflicts:     380000 | #Constraints:      54943
860.22/862.80	c #Conflicts:     381000 | #Constraints:      55943
860.22/862.80	c #Conflicts:     382000 | #Constraints:      56943
860.22/862.80	c #Conflicts:     383000 | #Constraints:      57943
860.22/862.80	c #Conflicts:     384000 | #Constraints:      58943
860.22/862.80	c #Conflicts:     385000 | #Constraints:      59943
860.22/862.80	c #Conflicts:     386000 | #Constraints:      60943
860.22/862.80	c #Conflicts:     387000 | #Constraints:      61943
860.22/862.80	c #Conflicts:     388000 | #Constraints:      62943
860.22/862.80	c #Conflicts:     389000 | #Constraints:      63943
860.22/862.80	c #Conflicts:     390000 | #Constraints:      64943
860.22/862.80	c INPROCESSING
860.22/862.80	c GARBAGE COLLECT
860.22/862.80	c #Conflicts:     391000 | #Constraints:      42528
860.22/862.80	c #Conflicts:     392000 | #Constraints:      43528
860.22/862.80	c #Conflicts:     393000 | #Constraints:      44528
860.22/862.80	c #Conflicts:     394000 | #Constraints:      45528
860.22/862.80	c #Conflicts:     395000 | #Constraints:      46528
860.22/862.80	c #Conflicts:     396000 | #Constraints:      47528
860.22/862.80	c #Conflicts:     397000 | #Constraints:      48528
860.22/862.80	c #Conflicts:     398000 | #Constraints:      49528
860.22/862.80	c #Conflicts:     399000 | #Constraints:      50528
860.22/862.80	c #Conflicts:     400000 | #Constraints:      51528
860.22/862.80	c #Conflicts:     401000 | #Constraints:      52528
860.22/862.80	c #Conflicts:     402000 | #Constraints:      53528
860.22/862.80	c #Conflicts:     403000 | #Constraints:      54528
860.22/862.80	c #Conflicts:     404000 | #Constraints:      55528
860.22/862.80	c #Conflicts:     405000 | #Constraints:      56528
860.22/862.80	c #Conflicts:     406000 | #Constraints:      57528
860.22/862.80	c #Conflicts:     407000 | #Constraints:      58528
860.22/862.80	c #Conflicts:     408000 | #Constraints:      59528
860.22/862.80	c #Conflicts:     409000 | #Constraints:      60528
860.22/862.80	c #Conflicts:     410000 | #Constraints:      61528
860.22/862.80	c #Conflicts:     411000 | #Constraints:      62528
860.22/862.80	c #Conflicts:     412000 | #Constraints:      63528
860.22/862.80	c #Conflicts:     413000 | #Constraints:      64528
860.22/862.80	c #Conflicts:     414000 | #Constraints:      65528
860.22/862.80	c #Conflicts:     415000 | #Constraints:      66528
860.22/862.80	c #Conflicts:     416000 | #Constraints:      67528
860.22/862.80	c #Conflicts:     417000 | #Constraints:      68528
860.22/862.80	c #Conflicts:     418000 | #Constraints:      69528
860.22/862.80	c #Conflicts:     419000 | #Constraints:      70528
860.22/862.80	c #Conflicts:     420000 | #Constraints:      71528
860.22/862.80	c #Conflicts:     421000 | #Constraints:      72528
860.22/862.80	c #Conflicts:     422000 | #Constraints:      73528
860.22/862.80	c #Conflicts:     423000 | #Constraints:      74528
860.22/862.80	c #Conflicts:     424000 | #Constraints:      75528
860.22/862.80	c #Conflicts:     425000 | #Constraints:      76528
860.22/862.80	c #Conflicts:     426000 | #Constraints:      77528
860.22/862.80	c #Conflicts:     427000 | #Constraints:      78528
860.22/862.80	c #Conflicts:     428000 | #Constraints:      79528
860.22/862.80	c #Conflicts:     429000 | #Constraints:      80528
860.22/862.80	c #Conflicts:     430000 | #Constraints:      81528
860.22/862.80	c #Conflicts:     431000 | #Constraints:      82528
860.22/862.80	c #Conflicts:     432000 | #Constraints:      83528
860.22/862.80	c #Conflicts:     433000 | #Constraints:      84528
860.22/862.80	c #Conflicts:     434000 | #Constraints:      85528
860.22/862.80	c INPROCESSING
860.22/862.80	c GARBAGE COLLECT
860.22/862.80	c #Conflicts:     435000 | #Constraints:      52694
860.22/862.80	c #Conflicts:     436000 | #Constraints:      53694
860.22/862.80	c #Conflicts:     437000 | #Constraints:      54694
860.22/862.80	c #Conflicts:     438000 | #Constraints:      55694
860.22/862.80	c #Conflicts:     439000 | #Constraints:      56694
860.22/862.80	c #Conflicts:     440000 | #Constraints:      57694
860.22/862.80	c #Conflicts:     441000 | #Constraints:      58694
860.22/862.80	c #Conflicts:     442000 | #Constraints:      59694
860.22/862.80	c #Conflicts:     443000 | #Constraints:      60694
860.22/862.80	c #Conflicts:     444000 | #Constraints:      61694
860.22/862.80	c #Conflicts:     445000 | #Constraints:      62694
860.22/862.80	c #Conflicts:     446000 | #Constraints:      63694
860.22/862.80	c #Conflicts:     447000 | #Constraints:      64694
860.22/862.80	c #Conflicts:     448000 | #Constraints:      65694
860.22/862.80	c #Conflicts:     449000 | #Constraints:      66694
860.22/862.80	c #Conflicts:     450000 | #Constraints:      67694
860.22/862.80	c #Conflicts:     451000 | #Constraints:      68694
860.22/862.80	c INPROCESSING
860.22/862.80	c GARBAGE COLLECT
1042.13/1045.20	c #Conflicts:     452000 | #Constraints:      44014
1042.13/1045.20	c #Conflicts:     453000 | #Constraints:      45014
1042.13/1045.20	c #Conflicts:     454000 | #Constraints:      46014
1042.13/1045.20	c #Conflicts:     455000 | #Constraints:      47014
1042.13/1045.20	c #Conflicts:     456000 | #Constraints:      48014
1042.13/1045.20	c #Conflicts:     457000 | #Constraints:      49014
1042.13/1045.20	c #Conflicts:     458000 | #Constraints:      50014
1042.13/1045.20	c #Conflicts:     459000 | #Constraints:      51014
1042.13/1045.20	c #Conflicts:     460000 | #Constraints:      52014
1042.13/1045.20	c #Conflicts:     461000 | #Constraints:      53014
1042.13/1045.20	c #Conflicts:     462000 | #Constraints:      54014
1042.13/1045.20	c #Conflicts:     463000 | #Constraints:      55014
1042.13/1045.20	c #Conflicts:     464000 | #Constraints:      56014
1042.13/1045.20	c #Conflicts:     465000 | #Constraints:      57014
1042.13/1045.20	c #Conflicts:     466000 | #Constraints:      58014
1042.13/1045.20	c #Conflicts:     467000 | #Constraints:      59014
1042.13/1045.20	c #Conflicts:     468000 | #Constraints:      60014
1042.13/1045.20	c #Conflicts:     469000 | #Constraints:      61014
1042.13/1045.20	c #Conflicts:     470000 | #Constraints:      62014
1042.13/1045.20	c #Conflicts:     471000 | #Constraints:      63014
1042.13/1045.20	c #Conflicts:     472000 | #Constraints:      64014
1042.13/1045.20	c #Conflicts:     473000 | #Constraints:      65014
1042.13/1045.20	c #Conflicts:     474000 | #Constraints:      66014
1042.13/1045.20	c #Conflicts:     475000 | #Constraints:      67014
1042.13/1045.20	c #Conflicts:     476000 | #Constraints:      68014
1042.13/1045.20	c #Conflicts:     477000 | #Constraints:      69014
1042.13/1045.20	c #Conflicts:     478000 | #Constraints:      70014
1042.13/1045.20	c #Conflicts:     479000 | #Constraints:      71014
1042.13/1045.20	c #Conflicts:     480000 | #Constraints:      72014
1042.13/1045.20	c #Conflicts:     481000 | #Constraints:      73014
1042.13/1045.20	c #Conflicts:     482000 | #Constraints:      74014
1042.13/1045.20	c #Conflicts:     483000 | #Constraints:      75014
1042.13/1045.20	c #Conflicts:     484000 | #Constraints:      76014
1042.13/1045.20	c #Conflicts:     485000 | #Constraints:      77014
1042.13/1045.20	c #Conflicts:     486000 | #Constraints:      78014
1042.13/1045.20	c #Conflicts:     487000 | #Constraints:      79014
1042.13/1045.20	c #Conflicts:     488000 | #Constraints:      80014
1042.13/1045.20	c #Conflicts:     489000 | #Constraints:      81014
1042.13/1045.20	c #Conflicts:     490000 | #Constraints:      82014
1042.13/1045.20	c #Conflicts:     491000 | #Constraints:      83014
1042.13/1045.20	c #Conflicts:     492000 | #Constraints:      84014
1042.13/1045.20	c #Conflicts:     493000 | #Constraints:      85014
1042.13/1045.20	c #Conflicts:     494000 | #Constraints:      86014
1042.13/1045.20	c #Conflicts:     495000 | #Constraints:      87014
1042.13/1045.20	c #Conflicts:     496000 | #Constraints:      88014
1042.13/1045.20	c #Conflicts:     497000 | #Constraints:      89014
1042.13/1045.20	c #Conflicts:     498000 | #Constraints:      90014
1042.13/1045.20	c INPROCESSING
1042.13/1045.20	c GARBAGE COLLECT
1042.13/1045.20	c rational objective 138
1103.04/1106.30	c #Conflicts:     499000 | #Constraints:      54815
1103.04/1106.30	c #Conflicts:     500000 | #Constraints:      55815
1103.04/1106.30	c #Conflicts:     501000 | #Constraints:      56815
1103.04/1106.30	c #Conflicts:     502000 | #Constraints:      57815
1103.04/1106.30	c #Conflicts:     503000 | #Constraints:      58815
1103.04/1106.30	c #Conflicts:     504000 | #Constraints:      59815
1103.04/1106.30	c #Conflicts:     505000 | #Constraints:      60815
1103.04/1106.30	c #Conflicts:     506000 | #Constraints:      61815
1103.04/1106.30	c #Conflicts:     507000 | #Constraints:      62815
1103.04/1106.30	c #Conflicts:     508000 | #Constraints:      63815
1103.04/1106.30	c #Conflicts:     509000 | #Constraints:      64815
1103.04/1106.30	c #Conflicts:     510000 | #Constraints:      65815
1103.04/1106.30	c #Conflicts:     511000 | #Constraints:      66815
1103.04/1106.30	c #Conflicts:     512000 | #Constraints:      67815
1103.04/1106.30	c #Conflicts:     513000 | #Constraints:      68815
1103.04/1106.30	c #Conflicts:     514000 | #Constraints:      69815
1103.04/1106.30	c #Conflicts:     515000 | #Constraints:      70815
1103.04/1106.30	c #Conflicts:     516000 | #Constraints:      71815
1103.04/1106.30	c INPROCESSING
1103.04/1106.30	c GARBAGE COLLECT
1103.04/1106.30	c rational objective 138
1291.84/1295.75	c #Conflicts:     517000 | #Constraints:      45547
1291.84/1295.75	c #Conflicts:     518000 | #Constraints:      46547
1291.84/1295.75	c #Conflicts:     519000 | #Constraints:      47547
1291.84/1295.75	c #Conflicts:     520000 | #Constraints:      48547
1291.84/1295.75	c #Conflicts:     521000 | #Constraints:      49547
1291.84/1295.75	c #Conflicts:     522000 | #Constraints:      50547
1291.84/1295.75	c #Conflicts:     523000 | #Constraints:      51547
1291.84/1295.75	c #Conflicts:     524000 | #Constraints:      52547
1291.84/1295.75	c #Conflicts:     525000 | #Constraints:      53547
1291.84/1295.75	c #Conflicts:     526000 | #Constraints:      54547
1291.84/1295.75	c #Conflicts:     527000 | #Constraints:      55547
1291.84/1295.75	c #Conflicts:     528000 | #Constraints:      56547
1291.84/1295.75	c #Conflicts:     529000 | #Constraints:      57547
1291.84/1295.75	c #Conflicts:     530000 | #Constraints:      58547
1291.84/1295.75	c #Conflicts:     531000 | #Constraints:      59547
1291.84/1295.75	c #Conflicts:     532000 | #Constraints:      60547
1291.84/1295.75	c #Conflicts:     533000 | #Constraints:      61547
1291.84/1295.75	c #Conflicts:     534000 | #Constraints:      62547
1291.84/1295.75	c #Conflicts:     535000 | #Constraints:      63547
1291.84/1295.75	c #Conflicts:     536000 | #Constraints:      64547
1291.84/1295.75	c #Conflicts:     537000 | #Constraints:      65547
1291.84/1295.75	c #Conflicts:     538000 | #Constraints:      66547
1291.84/1295.75	c #Conflicts:     539000 | #Constraints:      67547
1291.84/1295.75	c #Conflicts:     540000 | #Constraints:      68547
1291.84/1295.75	c #Conflicts:     541000 | #Constraints:      69547
1291.84/1295.75	c #Conflicts:     542000 | #Constraints:      70547
1291.84/1295.75	c #Conflicts:     543000 | #Constraints:      71547
1291.84/1295.75	c #Conflicts:     544000 | #Constraints:      72547
1291.84/1295.75	c #Conflicts:     545000 | #Constraints:      73547
1291.84/1295.75	c #Conflicts:     546000 | #Constraints:      74547
1291.84/1295.75	c #Conflicts:     547000 | #Constraints:      75547
1291.84/1295.75	c #Conflicts:     548000 | #Constraints:      76547
1291.84/1295.75	c #Conflicts:     549000 | #Constraints:      77547
1291.84/1295.75	c #Conflicts:     550000 | #Constraints:      78547
1291.84/1295.75	c #Conflicts:     551000 | #Constraints:      79547
1291.84/1295.75	c #Conflicts:     552000 | #Constraints:      80547
1291.84/1295.75	c #Conflicts:     553000 | #Constraints:      81547
1291.84/1295.75	c #Conflicts:     554000 | #Constraints:      82547
1291.84/1295.75	c #Conflicts:     555000 | #Constraints:      83547
1291.84/1295.75	c #Conflicts:     556000 | #Constraints:      84547
1291.84/1295.76	c #Conflicts:     557000 | #Constraints:      85547
1291.84/1295.76	c #Conflicts:     558000 | #Constraints:      86547
1291.84/1295.76	c #Conflicts:     559000 | #Constraints:      87547
1291.84/1295.76	c #Conflicts:     560000 | #Constraints:      88547
1291.84/1295.76	c #Conflicts:     561000 | #Constraints:      89547
1291.84/1295.76	c #Conflicts:     562000 | #Constraints:      90547
1291.84/1295.76	c #Conflicts:     563000 | #Constraints:      91547
1291.84/1295.76	c #Conflicts:     564000 | #Constraints:      92547
1291.84/1295.76	c #Conflicts:     565000 | #Constraints:      93547
1291.84/1295.76	c #Conflicts:     566000 | #Constraints:      94547
1291.84/1295.76	c #Conflicts:     567000 | #Constraints:      95547
1291.84/1295.76	c INPROCESSING
1291.84/1295.76	c GARBAGE COLLECT
1291.84/1295.76	c #Conflicts:     568000 | #Constraints:      57821
1291.84/1295.76	c #Conflicts:     569000 | #Constraints:      58821
1291.84/1295.76	c #Conflicts:     570000 | #Constraints:      59821
1291.84/1295.76	c #Conflicts:     571000 | #Constraints:      60821
1291.84/1295.76	c #Conflicts:     572000 | #Constraints:      61821
1291.84/1295.76	c #Conflicts:     573000 | #Constraints:      62821
1291.84/1295.76	c #Conflicts:     574000 | #Constraints:      63821
1291.84/1295.76	c #Conflicts:     575000 | #Constraints:      64821
1291.84/1295.76	c #Conflicts:     576000 | #Constraints:      65821
1291.84/1295.76	c #Conflicts:     577000 | #Constraints:      66822
1291.84/1295.76	c #Conflicts:     578000 | #Constraints:      67822
1291.84/1295.76	c #Conflicts:     579000 | #Constraints:      68822
1291.84/1295.76	c #Conflicts:     580000 | #Constraints:      69822
1291.84/1295.76	c #Conflicts:     581000 | #Constraints:      70822
1291.84/1295.76	c #Conflicts:     582000 | #Constraints:      71822
1291.84/1295.76	c #Conflicts:     583000 | #Constraints:      72822
1291.84/1295.76	c #Conflicts:     584000 | #Constraints:      73822
1291.84/1295.76	c #Conflicts:     585000 | #Constraints:      74822
1291.84/1295.76	c #Conflicts:     586000 | #Constraints:      75822
1291.84/1295.76	c INPROCESSING
1291.84/1295.76	c GARBAGE COLLECT
1291.84/1295.76	c #Conflicts:     587000 | #Constraints:      47620
1291.84/1295.76	c #Conflicts:     588000 | #Constraints:      48620
1291.84/1295.76	c #Conflicts:     589000 | #Constraints:      49620
1291.84/1295.76	c #Conflicts:     590000 | #Constraints:      50620
1291.84/1295.76	c #Conflicts:     591000 | #Constraints:      51620
1291.84/1295.76	c #Conflicts:     592000 | #Constraints:      52620
1291.84/1295.76	c #Conflicts:     593000 | #Constraints:      53620
1291.84/1295.76	c #Conflicts:     594000 | #Constraints:      54620
1536.13/1540.82	c #Conflicts:     595000 | #Constraints:      55620
1536.13/1540.82	c #Conflicts:     596000 | #Constraints:      56620
1536.13/1540.82	c #Conflicts:     597000 | #Constraints:      57620
1536.13/1540.82	c #Conflicts:     598000 | #Constraints:      58620
1536.13/1540.82	c #Conflicts:     599000 | #Constraints:      59620
1536.13/1540.82	c #Conflicts:     600000 | #Constraints:      60620
1536.13/1540.82	c #Conflicts:     601000 | #Constraints:      61620
1536.13/1540.82	c #Conflicts:     602000 | #Constraints:      62620
1536.13/1540.82	c #Conflicts:     603000 | #Constraints:      63620
1536.13/1540.82	c #Conflicts:     604000 | #Constraints:      64620
1536.13/1540.82	c #Conflicts:     605000 | #Constraints:      65620
1536.13/1540.82	c #Conflicts:     606000 | #Constraints:      66620
1536.13/1540.82	c #Conflicts:     607000 | #Constraints:      67620
1536.13/1540.82	c #Conflicts:     608000 | #Constraints:      68620
1536.13/1540.82	c #Conflicts:     609000 | #Constraints:      69620
1536.13/1540.82	c #Conflicts:     610000 | #Constraints:      70620
1536.13/1540.82	c #Conflicts:     611000 | #Constraints:      71620
1536.13/1540.82	c #Conflicts:     612000 | #Constraints:      72620
1536.13/1540.82	c #Conflicts:     613000 | #Constraints:      73620
1536.13/1540.82	c #Conflicts:     614000 | #Constraints:      74620
1536.13/1540.82	c #Conflicts:     615000 | #Constraints:      75620
1536.13/1540.82	c #Conflicts:     616000 | #Constraints:      76620
1536.13/1540.82	c #Conflicts:     617000 | #Constraints:      77620
1536.13/1540.82	c #Conflicts:     618000 | #Constraints:      78620
1536.13/1540.82	c #Conflicts:     619000 | #Constraints:      79620
1536.13/1540.82	c #Conflicts:     620000 | #Constraints:      80620
1536.13/1540.82	c #Conflicts:     621000 | #Constraints:      81620
1536.13/1540.82	c #Conflicts:     622000 | #Constraints:      82620
1536.13/1540.82	c #Conflicts:     623000 | #Constraints:      83620
1536.13/1540.82	c #Conflicts:     624000 | #Constraints:      84620
1536.13/1540.82	c #Conflicts:     625000 | #Constraints:      85620
1536.13/1540.82	c #Conflicts:     626000 | #Constraints:      86620
1536.13/1540.82	c #Conflicts:     627000 | #Constraints:      87620
1536.13/1540.82	c #Conflicts:     628000 | #Constraints:      88620
1536.13/1540.82	c #Conflicts:     629000 | #Constraints:      89620
1536.13/1540.82	c #Conflicts:     630000 | #Constraints:      90620
1536.13/1540.82	c #Conflicts:     631000 | #Constraints:      91620
1536.13/1540.82	c #Conflicts:     632000 | #Constraints:      92620
1536.13/1540.82	c #Conflicts:     633000 | #Constraints:      93620
1536.13/1540.82	c #Conflicts:     634000 | #Constraints:      94620
1536.13/1540.82	c #Conflicts:     635000 | #Constraints:      95620
1536.13/1540.82	c #Conflicts:     636000 | #Constraints:      96620
1536.13/1540.82	c #Conflicts:     637000 | #Constraints:      97620
1536.13/1540.82	c #Conflicts:     638000 | #Constraints:      98620
1536.13/1540.82	c #Conflicts:     639000 | #Constraints:      99620
1536.13/1540.82	c #Conflicts:     640000 | #Constraints:     100620
1536.13/1540.82	c INPROCESSING
1536.13/1540.82	c GARBAGE COLLECT
1536.13/1540.82	c #Conflicts:     641000 | #Constraints:      60328
1536.13/1540.82	c #Conflicts:     642000 | #Constraints:      61328
1536.13/1540.82	c #Conflicts:     643000 | #Constraints:      62328
1536.13/1540.82	c #Conflicts:     644000 | #Constraints:      63328
1536.13/1540.82	c #Conflicts:     645000 | #Constraints:      64328
1536.13/1540.82	c #Conflicts:     646000 | #Constraints:      65328
1536.13/1540.82	c #Conflicts:     647000 | #Constraints:      66328
1536.13/1540.82	c #Conflicts:     648000 | #Constraints:      67328
1536.13/1540.82	c #Conflicts:     649000 | #Constraints:      68328
1536.13/1540.82	c #Conflicts:     650000 | #Constraints:      69328
1536.13/1540.82	c #Conflicts:     651000 | #Constraints:      70328
1536.13/1540.82	c #Conflicts:     652000 | #Constraints:      71328
1536.13/1540.82	c #Conflicts:     653000 | #Constraints:      72328
1536.13/1540.82	c #Conflicts:     654000 | #Constraints:      73328
1536.13/1540.82	c #Conflicts:     655000 | #Constraints:      74328
1536.13/1540.82	c #Conflicts:     656000 | #Constraints:      75328
1536.13/1540.82	c #Conflicts:     657000 | #Constraints:      76328
1536.13/1540.82	c #Conflicts:     658000 | #Constraints:      77328
1536.13/1540.82	c #Conflicts:     659000 | #Constraints:      78328
1536.13/1540.82	c #Conflicts:     660000 | #Constraints:      79328
1536.13/1540.82	c #Conflicts:     661000 | #Constraints:      80328
1536.13/1540.82	c INPROCESSING
1536.13/1540.82	c GARBAGE COLLECT
1536.13/1540.82	c rational objective 138
1737.40/1742.77	c #Conflicts:     662000 | #Constraints:      50018
1737.40/1742.77	c #Conflicts:     663000 | #Constraints:      51018
1737.40/1742.77	c #Conflicts:     664000 | #Constraints:      52018
1737.40/1742.77	c #Conflicts:     665000 | #Constraints:      53018
1737.40/1742.77	c #Conflicts:     666000 | #Constraints:      54018
1737.40/1742.77	c #Conflicts:     667000 | #Constraints:      55018
1737.40/1742.77	c #Conflicts:     668000 | #Constraints:      56018
1737.40/1742.77	c #Conflicts:     669000 | #Constraints:      57018
1737.40/1742.77	c #Conflicts:     670000 | #Constraints:      58018
1737.40/1742.77	c #Conflicts:     671000 | #Constraints:      59018
1737.40/1742.77	c #Conflicts:     672000 | #Constraints:      60018
1737.40/1742.77	c #Conflicts:     673000 | #Constraints:      61018
1737.40/1742.77	c #Conflicts:     674000 | #Constraints:      62018
1737.40/1742.77	c #Conflicts:     675000 | #Constraints:      63018
1737.40/1742.77	c #Conflicts:     676000 | #Constraints:      64018
1737.40/1742.77	c #Conflicts:     677000 | #Constraints:      65018
1737.40/1742.77	c #Conflicts:     678000 | #Constraints:      66018
1737.40/1742.77	c #Conflicts:     679000 | #Constraints:      67018
1737.40/1742.77	c #Conflicts:     680000 | #Constraints:      68018
1737.40/1742.77	c #Conflicts:     681000 | #Constraints:      69018
1737.40/1742.77	c #Conflicts:     682000 | #Constraints:      70018
1737.40/1742.77	c #Conflicts:     683000 | #Constraints:      71018
1737.40/1742.77	c #Conflicts:     684000 | #Constraints:      72018
1737.40/1742.77	c #Conflicts:     685000 | #Constraints:      73018
1737.40/1742.77	c #Conflicts:     686000 | #Constraints:      74018
1737.40/1742.77	c #Conflicts:     687000 | #Constraints:      75018
1737.40/1742.77	c #Conflicts:     688000 | #Constraints:      76018
1737.40/1742.77	c #Conflicts:     689000 | #Constraints:      77018
1737.40/1742.77	c #Conflicts:     690000 | #Constraints:      78018
1737.40/1742.77	c #Conflicts:     691000 | #Constraints:      79018
1737.40/1742.77	c #Conflicts:     692000 | #Constraints:      80018
1737.40/1742.77	c #Conflicts:     693000 | #Constraints:      81018
1737.40/1742.77	c #Conflicts:     694000 | #Constraints:      82018
1737.40/1742.77	c #Conflicts:     695000 | #Constraints:      83018
1737.40/1742.77	c #Conflicts:     696000 | #Constraints:      84018
1737.40/1742.77	c #Conflicts:     697000 | #Constraints:      85018
1737.40/1742.77	c #Conflicts:     698000 | #Constraints:      86018
1737.40/1742.77	c #Conflicts:     699000 | #Constraints:      87018
1737.40/1742.77	c #Conflicts:     700000 | #Constraints:      88018
1737.40/1742.77	c #Conflicts:     701000 | #Constraints:      89018
1737.40/1742.77	c #Conflicts:     702000 | #Constraints:      90018
1737.40/1742.77	c #Conflicts:     703000 | #Constraints:      91018
1737.40/1742.77	c #Conflicts:     704000 | #Constraints:      92018
1737.40/1742.77	c #Conflicts:     705000 | #Constraints:      93018
1737.40/1742.77	c #Conflicts:     706000 | #Constraints:      94018
1737.40/1742.77	c #Conflicts:     707000 | #Constraints:      95018
1737.40/1742.77	c #Conflicts:     708000 | #Constraints:      96018
1737.40/1742.77	c #Conflicts:     709000 | #Constraints:      97018
1737.40/1742.77	c #Conflicts:     710000 | #Constraints:      98018
1737.40/1742.77	c #Conflicts:     711000 | #Constraints:      99018
1737.40/1742.77	c #Conflicts:     712000 | #Constraints:     100018
1737.40/1742.77	c #Conflicts:     713000 | #Constraints:     101018
1737.40/1742.77	c #Conflicts:     714000 | #Constraints:     102018
1737.40/1742.77	c #Conflicts:     715000 | #Constraints:     103018
1737.40/1742.77	c #Conflicts:     716000 | #Constraints:     104018
1737.40/1742.77	c #Conflicts:     717000 | #Constraints:     105018
1737.40/1742.77	c INPROCESSING
1737.40/1742.77	c GARBAGE COLLECT
1737.40/1742.77	c #Conflicts:     718000 | #Constraints:      62359
1737.40/1742.77	c #Conflicts:     719000 | #Constraints:      63359
1737.40/1742.77	c #Conflicts:     720000 | #Constraints:      64359
1737.40/1742.77	c #Conflicts:     721000 | #Constraints:      65359
1737.40/1742.77	c #Conflicts:     722000 | #Constraints:      66359
1737.40/1742.77	c #Conflicts:     723000 | #Constraints:      67359
1737.40/1742.77	c #Conflicts:     724000 | #Constraints:      68359
1737.40/1742.77	c #Conflicts:     725000 | #Constraints:      69359
1737.40/1742.77	c #Conflicts:     726000 | #Constraints:      70359
1737.40/1742.77	c #Conflicts:     727000 | #Constraints:      71359
1737.40/1742.77	c #Conflicts:     728000 | #Constraints:      72359
1737.40/1742.77	c #Conflicts:     729000 | #Constraints:      73359
1737.40/1742.77	c #Conflicts:     730000 | #Constraints:      74359
1737.40/1742.77	c #Conflicts:     731000 | #Constraints:      75359
1737.40/1742.77	c #Conflicts:     732000 | #Constraints:      76359
1737.40/1742.77	c #Conflicts:     733000 | #Constraints:      77359
1737.40/1742.77	c #Conflicts:     734000 | #Constraints:      78359
1737.40/1742.77	c #Conflicts:     735000 | #Constraints:      79359
1737.40/1742.77	c #Conflicts:     736000 | #Constraints:      80359
1737.40/1742.77	c #Conflicts:     737000 | #Constraints:      81359
1737.40/1742.77	c #Conflicts:     738000 | #Constraints:      82359
1737.40/1742.77	c #Conflicts:     739000 | #Constraints:      83359
1737.40/1742.77	c #Conflicts:     740000 | #Constraints:      84359
1943.93/1949.89	c INPROCESSING
1943.93/1949.89	c GARBAGE COLLECT
1943.93/1949.89	c #Conflicts:     741000 | #Constraints:      52193
1943.93/1949.89	c #Conflicts:     742000 | #Constraints:      53193
1943.93/1949.89	c #Conflicts:     743000 | #Constraints:      54193
1943.93/1949.89	c #Conflicts:     744000 | #Constraints:      55193
1943.93/1949.89	c #Conflicts:     745000 | #Constraints:      56193
1943.93/1949.89	c #Conflicts:     746000 | #Constraints:      57193
1943.93/1949.89	c #Conflicts:     747000 | #Constraints:      58194
1943.93/1949.89	c #Conflicts:     748000 | #Constraints:      59194
1943.93/1949.89	c #Conflicts:     749000 | #Constraints:      60194
1943.93/1949.89	c #Conflicts:     750000 | #Constraints:      61194
1943.93/1949.89	c #Conflicts:     751000 | #Constraints:      62194
1943.93/1949.89	c #Conflicts:     752000 | #Constraints:      63194
1943.93/1949.89	c #Conflicts:     753000 | #Constraints:      64194
1943.93/1949.89	c #Conflicts:     754000 | #Constraints:      65194
1943.93/1949.89	c #Conflicts:     755000 | #Constraints:      66194
1943.93/1949.89	c #Conflicts:     756000 | #Constraints:      67195
1943.93/1949.89	c #Conflicts:     757000 | #Constraints:      68195
1943.93/1949.89	c #Conflicts:     758000 | #Constraints:      69195
1943.93/1949.89	c #Conflicts:     759000 | #Constraints:      70195
1943.93/1949.89	c #Conflicts:     760000 | #Constraints:      71195
1943.93/1949.89	c #Conflicts:     761000 | #Constraints:      72195
1943.93/1949.89	c #Conflicts:     762000 | #Constraints:      73195
1943.93/1949.89	c #Conflicts:     763000 | #Constraints:      74195
1943.93/1949.89	c #Conflicts:     764000 | #Constraints:      75195
1943.93/1949.89	c #Conflicts:     765000 | #Constraints:      76195
1943.93/1949.89	c #Conflicts:     766000 | #Constraints:      77195
1943.93/1949.89	c #Conflicts:     767000 | #Constraints:      78195
1943.93/1949.89	c #Conflicts:     768000 | #Constraints:      79195
1943.93/1949.89	c #Conflicts:     769000 | #Constraints:      80195
1943.93/1949.89	c #Conflicts:     770000 | #Constraints:      81195
1943.93/1949.89	c #Conflicts:     771000 | #Constraints:      82195
1943.93/1949.89	c #Conflicts:     772000 | #Constraints:      83195
1943.93/1949.89	c #Conflicts:     773000 | #Constraints:      84195
1943.93/1949.89	c #Conflicts:     774000 | #Constraints:      85195
1943.93/1949.89	c #Conflicts:     775000 | #Constraints:      86195
1943.93/1949.89	c #Conflicts:     776000 | #Constraints:      87195
1943.93/1949.89	c #Conflicts:     777000 | #Constraints:      88195
1943.93/1949.89	c #Conflicts:     778000 | #Constraints:      89195
1943.93/1949.89	c #Conflicts:     779000 | #Constraints:      90195
1943.93/1949.89	c #Conflicts:     780000 | #Constraints:      91195
1943.93/1949.89	c #Conflicts:     781000 | #Constraints:      92195
1943.93/1949.89	c #Conflicts:     782000 | #Constraints:      93196
1943.93/1949.89	c #Conflicts:     783000 | #Constraints:      94196
1943.93/1949.89	c #Conflicts:     784000 | #Constraints:      95196
1943.93/1949.89	c #Conflicts:     785000 | #Constraints:      96196
1943.93/1949.89	c #Conflicts:     786000 | #Constraints:      97196
1943.93/1949.89	c #Conflicts:     787000 | #Constraints:      98196
1943.93/1949.89	c #Conflicts:     788000 | #Constraints:      99196
1943.93/1949.89	c #Conflicts:     789000 | #Constraints:     100196
1943.93/1949.89	c #Conflicts:     790000 | #Constraints:     101196
1943.93/1949.89	c #Conflicts:     791000 | #Constraints:     102196
1943.93/1949.89	c #Conflicts:     792000 | #Constraints:     103196
1943.93/1949.89	c #Conflicts:     793000 | #Constraints:     104196
1943.93/1949.89	c #Conflicts:     794000 | #Constraints:     105196
1943.93/1949.89	c #Conflicts:     795000 | #Constraints:     106196
1943.93/1949.89	c #Conflicts:     796000 | #Constraints:     107196
1943.93/1949.89	c #Conflicts:     797000 | #Constraints:     108196
1943.93/1949.89	c #Conflicts:     798000 | #Constraints:     109196
1943.93/1949.89	c #Conflicts:     799000 | #Constraints:     110196
1943.93/1949.89	c INPROCESSING
1943.93/1949.89	c GARBAGE COLLECT
1943.93/1949.89	c #Conflicts:     800000 | #Constraints:      64938
1943.93/1949.89	c #Conflicts:     801000 | #Constraints:      65938
1943.93/1949.89	c #Conflicts:     802000 | #Constraints:      66938
1943.93/1949.89	c #Conflicts:     803000 | #Constraints:      67938
1943.93/1949.89	c #Conflicts:     804000 | #Constraints:      68938
1943.93/1949.89	c #Conflicts:     805000 | #Constraints:      69938
1943.93/1949.89	c #Conflicts:     806000 | #Constraints:      70938
1943.93/1949.89	c #Conflicts:     807000 | #Constraints:      71938
1943.93/1949.89	c #Conflicts:     808000 | #Constraints:      72938
1943.93/1949.89	c #Conflicts:     809000 | #Constraints:      73938
1943.93/1949.89	c #Conflicts:     810000 | #Constraints:      74938
1943.93/1949.89	c #Conflicts:     811000 | #Constraints:      75938
1943.93/1949.89	c #Conflicts:     812000 | #Constraints:      76938
1943.93/1949.89	c #Conflicts:     813000 | #Constraints:      77938
1943.93/1949.89	c #Conflicts:     814000 | #Constraints:      78938
1943.93/1949.89	c #Conflicts:     815000 | #Constraints:      79938
1943.93/1949.89	c #Conflicts:     816000 | #Constraints:      80938
1943.93/1949.89	c #Conflicts:     817000 | #Constraints:      81938
2189.47/2196.10	c #Conflicts:     818000 | #Constraints:      82938
2189.47/2196.10	c #Conflicts:     819000 | #Constraints:      83938
2189.47/2196.10	c #Conflicts:     820000 | #Constraints:      84938
2189.47/2196.10	c #Conflicts:     821000 | #Constraints:      85938
2189.47/2196.10	c #Conflicts:     822000 | #Constraints:      86939
2189.47/2196.10	c #Conflicts:     823000 | #Constraints:      87939
2189.47/2196.10	c INPROCESSING
2189.47/2196.10	c GARBAGE COLLECT
2189.47/2196.10	c #Conflicts:     824000 | #Constraints:      53861
2189.47/2196.10	c #Conflicts:     825000 | #Constraints:      54861
2189.47/2196.10	c #Conflicts:     826000 | #Constraints:      55861
2189.47/2196.10	c #Conflicts:     827000 | #Constraints:      56861
2189.47/2196.10	c #Conflicts:     828000 | #Constraints:      57861
2189.47/2196.10	c #Conflicts:     829000 | #Constraints:      58861
2189.47/2196.10	c #Conflicts:     830000 | #Constraints:      59861
2189.47/2196.10	c #Conflicts:     831000 | #Constraints:      60861
2189.47/2196.10	c #Conflicts:     832000 | #Constraints:      61861
2189.47/2196.10	c #Conflicts:     833000 | #Constraints:      62861
2189.47/2196.10	c #Conflicts:     834000 | #Constraints:      63861
2189.47/2196.10	c #Conflicts:     835000 | #Constraints:      64861
2189.47/2196.10	c #Conflicts:     836000 | #Constraints:      65861
2189.47/2196.10	c #Conflicts:     837000 | #Constraints:      66861
2189.47/2196.10	c #Conflicts:     838000 | #Constraints:      67861
2189.47/2196.10	c #Conflicts:     839000 | #Constraints:      68861
2189.47/2196.10	c #Conflicts:     840000 | #Constraints:      69861
2189.47/2196.10	c #Conflicts:     841000 | #Constraints:      70861
2189.47/2196.10	c #Conflicts:     842000 | #Constraints:      71861
2189.47/2196.10	c #Conflicts:     843000 | #Constraints:      72861
2189.47/2196.10	c #Conflicts:     844000 | #Constraints:      73861
2189.47/2196.10	c #Conflicts:     845000 | #Constraints:      74861
2189.47/2196.10	c #Conflicts:     846000 | #Constraints:      75861
2189.47/2196.10	c #Conflicts:     847000 | #Constraints:      76861
2189.47/2196.10	c #Conflicts:     848000 | #Constraints:      77861
2189.47/2196.10	c #Conflicts:     849000 | #Constraints:      78861
2189.47/2196.10	c #Conflicts:     850000 | #Constraints:      79861
2189.47/2196.10	c #Conflicts:     851000 | #Constraints:      80861
2189.47/2196.10	c #Conflicts:     852000 | #Constraints:      81861
2189.47/2196.10	c #Conflicts:     853000 | #Constraints:      82861
2189.47/2196.10	c #Conflicts:     854000 | #Constraints:      83861
2189.47/2196.10	c #Conflicts:     855000 | #Constraints:      84861
2189.47/2196.10	c #Conflicts:     856000 | #Constraints:      85861
2189.47/2196.10	c #Conflicts:     857000 | #Constraints:      86861
2189.47/2196.10	c #Conflicts:     858000 | #Constraints:      87861
2189.47/2196.10	c #Conflicts:     859000 | #Constraints:      88861
2189.47/2196.10	c #Conflicts:     860000 | #Constraints:      89861
2189.47/2196.10	c #Conflicts:     861000 | #Constraints:      90861
2189.47/2196.10	c #Conflicts:     862000 | #Constraints:      91861
2189.47/2196.10	c #Conflicts:     863000 | #Constraints:      92861
2189.47/2196.10	c #Conflicts:     864000 | #Constraints:      93861
2189.47/2196.10	c #Conflicts:     865000 | #Constraints:      94861
2189.47/2196.10	c #Conflicts:     866000 | #Constraints:      95861
2189.47/2196.10	c #Conflicts:     867000 | #Constraints:      96861
2189.47/2196.10	c #Conflicts:     868000 | #Constraints:      97861
2189.47/2196.10	c #Conflicts:     869000 | #Constraints:      98861
2189.47/2196.10	c #Conflicts:     870000 | #Constraints:      99861
2189.47/2196.10	c #Conflicts:     871000 | #Constraints:     100861
2189.47/2196.10	c #Conflicts:     872000 | #Constraints:     101861
2189.47/2196.10	c #Conflicts:     873000 | #Constraints:     102861
2189.47/2196.10	c #Conflicts:     874000 | #Constraints:     103861
2189.47/2196.10	c #Conflicts:     875000 | #Constraints:     104861
2189.47/2196.10	c #Conflicts:     876000 | #Constraints:     105861
2189.47/2196.10	c #Conflicts:     877000 | #Constraints:     106861
2189.47/2196.10	c #Conflicts:     878000 | #Constraints:     107861
2189.47/2196.10	c #Conflicts:     879000 | #Constraints:     108861
2189.47/2196.10	c #Conflicts:     880000 | #Constraints:     109861
2189.47/2196.10	c #Conflicts:     881000 | #Constraints:     110861
2189.47/2196.10	c #Conflicts:     882000 | #Constraints:     111861
2189.47/2196.10	c #Conflicts:     883000 | #Constraints:     112861
2189.47/2196.10	c #Conflicts:     884000 | #Constraints:     113861
2189.47/2196.10	c #Conflicts:     885000 | #Constraints:     114861
2189.47/2196.10	c INPROCESSING
2189.47/2196.10	c GARBAGE COLLECT
2189.47/2196.10	c #Conflicts:     886000 | #Constraints:      67355
2189.47/2196.10	c #Conflicts:     887000 | #Constraints:      68355
2189.47/2196.10	c #Conflicts:     888000 | #Constraints:      69355
2189.47/2196.10	c #Conflicts:     889000 | #Constraints:      70355
2189.47/2196.10	c #Conflicts:     890000 | #Constraints:      71355
2189.47/2196.10	c #Conflicts:     891000 | #Constraints:      72355
2189.47/2196.10	c #Conflicts:     892000 | #Constraints:      73355
2189.47/2196.10	c #Conflicts:     893000 | #Constraints:      74355
2189.47/2196.10	c #Conflicts:     894000 | #Constraints:      75355
2189.47/2196.10	c #Conflicts:     895000 | #Constraints:      76355
2416.64/2423.87	c #Conflicts:     896000 | #Constraints:      77355
2416.64/2423.87	c #Conflicts:     897000 | #Constraints:      78355
2416.64/2423.87	c #Conflicts:     898000 | #Constraints:      79355
2416.64/2423.87	c #Conflicts:     899000 | #Constraints:      80355
2416.64/2423.87	c #Conflicts:     900000 | #Constraints:      81355
2416.64/2423.87	c #Conflicts:     901000 | #Constraints:      82355
2416.64/2423.87	c #Conflicts:     902000 | #Constraints:      83355
2416.64/2423.87	c #Conflicts:     903000 | #Constraints:      84355
2416.64/2423.87	c #Conflicts:     904000 | #Constraints:      85355
2416.64/2423.87	c #Conflicts:     905000 | #Constraints:      86355
2416.64/2423.87	c #Conflicts:     906000 | #Constraints:      87355
2416.64/2423.87	c #Conflicts:     907000 | #Constraints:      88355
2416.64/2423.87	c #Conflicts:     908000 | #Constraints:      89355
2416.64/2423.87	c #Conflicts:     909000 | #Constraints:      90355
2416.64/2423.87	c #Conflicts:     910000 | #Constraints:      91355
2416.64/2423.87	c INPROCESSING
2416.64/2423.87	c GARBAGE COLLECT
2416.64/2423.87	c #Conflicts:     911000 | #Constraints:      55295
2416.64/2423.87	c #Conflicts:     912000 | #Constraints:      56295
2416.64/2423.87	c #Conflicts:     913000 | #Constraints:      57295
2416.64/2423.87	c #Conflicts:     914000 | #Constraints:      58295
2416.64/2423.87	c #Conflicts:     915000 | #Constraints:      59295
2416.64/2423.87	c #Conflicts:     916000 | #Constraints:      60295
2416.64/2423.87	c #Conflicts:     917000 | #Constraints:      61295
2416.64/2423.87	c #Conflicts:     918000 | #Constraints:      62295
2416.64/2423.87	c #Conflicts:     919000 | #Constraints:      63295
2416.64/2423.87	c #Conflicts:     920000 | #Constraints:      64295
2416.64/2423.87	c #Conflicts:     921000 | #Constraints:      65295
2416.64/2423.87	c #Conflicts:     922000 | #Constraints:      66295
2416.64/2423.87	c #Conflicts:     923000 | #Constraints:      67295
2416.64/2423.87	c #Conflicts:     924000 | #Constraints:      68295
2416.64/2423.87	c #Conflicts:     925000 | #Constraints:      69295
2416.64/2423.87	c #Conflicts:     926000 | #Constraints:      70295
2416.64/2423.87	c #Conflicts:     927000 | #Constraints:      71295
2416.64/2423.87	c #Conflicts:     928000 | #Constraints:      72295
2416.64/2423.87	c #Conflicts:     929000 | #Constraints:      73295
2416.64/2423.87	c #Conflicts:     930000 | #Constraints:      74295
2416.64/2423.87	c #Conflicts:     931000 | #Constraints:      75295
2416.64/2423.87	c #Conflicts:     932000 | #Constraints:      76295
2416.64/2423.87	c #Conflicts:     933000 | #Constraints:      77295
2416.64/2423.87	c #Conflicts:     934000 | #Constraints:      78295
2416.64/2423.87	c #Conflicts:     935000 | #Constraints:      79295
2416.64/2423.87	c #Conflicts:     936000 | #Constraints:      80295
2416.64/2423.87	c #Conflicts:     937000 | #Constraints:      81295
2416.64/2423.87	c #Conflicts:     938000 | #Constraints:      82295
2416.64/2423.87	c #Conflicts:     939000 | #Constraints:      83295
2416.64/2423.87	c #Conflicts:     940000 | #Constraints:      84295
2416.64/2423.87	c #Conflicts:     941000 | #Constraints:      85295
2416.64/2423.87	c #Conflicts:     942000 | #Constraints:      86295
2416.64/2423.87	c #Conflicts:     943000 | #Constraints:      87295
2416.64/2423.87	c #Conflicts:     944000 | #Constraints:      88295
2416.64/2423.87	c #Conflicts:     945000 | #Constraints:      89295
2416.64/2423.87	c #Conflicts:     946000 | #Constraints:      90295
2416.64/2423.87	c #Conflicts:     947000 | #Constraints:      91295
2416.64/2423.87	c #Conflicts:     948000 | #Constraints:      92295
2416.64/2423.87	c #Conflicts:     949000 | #Constraints:      93295
2416.64/2423.87	c #Conflicts:     950000 | #Constraints:      94295
2416.64/2423.87	c #Conflicts:     951000 | #Constraints:      95295
2416.64/2423.87	c #Conflicts:     952000 | #Constraints:      96295
2416.64/2423.87	c #Conflicts:     953000 | #Constraints:      97295
2416.64/2423.87	c #Conflicts:     954000 | #Constraints:      98295
2416.64/2423.87	c #Conflicts:     955000 | #Constraints:      99295
2416.64/2423.87	c #Conflicts:     956000 | #Constraints:     100295
2416.64/2423.87	c #Conflicts:     957000 | #Constraints:     101295
2416.64/2423.87	c #Conflicts:     958000 | #Constraints:     102295
2416.64/2423.87	c #Conflicts:     959000 | #Constraints:     103295
2416.64/2423.87	c #Conflicts:     960000 | #Constraints:     104295
2416.64/2423.87	c #Conflicts:     961000 | #Constraints:     105295
2416.64/2423.87	c #Conflicts:     962000 | #Constraints:     106295
2416.64/2423.87	c #Conflicts:     963000 | #Constraints:     107295
2416.64/2423.87	c #Conflicts:     964000 | #Constraints:     108295
2416.64/2423.87	c #Conflicts:     965000 | #Constraints:     109295
2416.64/2423.87	c #Conflicts:     966000 | #Constraints:     110295
2416.64/2423.87	c #Conflicts:     967000 | #Constraints:     111295
2416.64/2423.87	c #Conflicts:     968000 | #Constraints:     112295
2416.64/2423.87	c #Conflicts:     969000 | #Constraints:     113295
2416.64/2423.87	c #Conflicts:     970000 | #Constraints:     114295
2416.64/2423.87	c #Conflicts:     971000 | #Constraints:     115295
2416.64/2423.87	c #Conflicts:     972000 | #Constraints:     116295
2416.64/2423.87	c #Conflicts:     973000 | #Constraints:     117295
2696.99/2704.96	c #Conflicts:     974000 | #Constraints:     118295
2696.99/2704.96	c #Conflicts:     975000 | #Constraints:     119295
2696.99/2704.96	c #Conflicts:     976000 | #Constraints:     120295
2696.99/2704.96	c INPROCESSING
2696.99/2704.96	c GARBAGE COLLECT
2696.99/2704.96	c #Conflicts:     977000 | #Constraints:      70011
2696.99/2704.96	c #Conflicts:     978000 | #Constraints:      71011
2696.99/2704.96	c #Conflicts:     979000 | #Constraints:      72011
2696.99/2704.96	c #Conflicts:     980000 | #Constraints:      73011
2696.99/2704.96	c #Conflicts:     981000 | #Constraints:      74011
2696.99/2704.96	c #Conflicts:     982000 | #Constraints:      75011
2696.99/2704.96	c #Conflicts:     983000 | #Constraints:      76011
2696.99/2704.96	c #Conflicts:     984000 | #Constraints:      77011
2696.99/2704.96	c #Conflicts:     985000 | #Constraints:      78011
2696.99/2704.96	c #Conflicts:     986000 | #Constraints:      79011
2696.99/2704.96	c #Conflicts:     987000 | #Constraints:      80011
2696.99/2704.96	c #Conflicts:     988000 | #Constraints:      81011
2696.99/2704.96	c #Conflicts:     989000 | #Constraints:      82011
2696.99/2704.96	c #Conflicts:     990000 | #Constraints:      83011
2696.99/2704.96	c #Conflicts:     991000 | #Constraints:      84011
2696.99/2704.96	c #Conflicts:     992000 | #Constraints:      85011
2696.99/2704.96	c #Conflicts:     993000 | #Constraints:      86011
2696.99/2704.96	c #Conflicts:     994000 | #Constraints:      87011
2696.99/2704.96	c #Conflicts:     995000 | #Constraints:      88011
2696.99/2704.96	c #Conflicts:     996000 | #Constraints:      89011
2696.99/2704.96	c #Conflicts:     997000 | #Constraints:      90011
2696.99/2704.96	c #Conflicts:     998000 | #Constraints:      91011
2696.99/2704.96	c #Conflicts:     999000 | #Constraints:      92011
2696.99/2704.96	c #Conflicts:    1000000 | #Constraints:      93011
2696.99/2704.96	c #Conflicts:    1001000 | #Constraints:      94011
2696.99/2704.96	c #Conflicts:    1002000 | #Constraints:      95011
2696.99/2704.96	c INPROCESSING
2696.99/2704.96	c GARBAGE COLLECT
2696.99/2704.96	c #Conflicts:    1003000 | #Constraints:      57288
2696.99/2704.96	c #Conflicts:    1004000 | #Constraints:      58288
2696.99/2704.96	c #Conflicts:    1005000 | #Constraints:      59288
2696.99/2704.96	c #Conflicts:    1006000 | #Constraints:      60288
2696.99/2704.96	c #Conflicts:    1007000 | #Constraints:      61288
2696.99/2704.96	c #Conflicts:    1008000 | #Constraints:      62288
2696.99/2704.96	c #Conflicts:    1009000 | #Constraints:      63288
2696.99/2704.96	c #Conflicts:    1010000 | #Constraints:      64288
2696.99/2704.96	c #Conflicts:    1011000 | #Constraints:      65288
2696.99/2704.96	c #Conflicts:    1012000 | #Constraints:      66288
2696.99/2704.96	c #Conflicts:    1013000 | #Constraints:      67288
2696.99/2704.96	c #Conflicts:    1014000 | #Constraints:      68288
2696.99/2704.96	c #Conflicts:    1015000 | #Constraints:      69288
2696.99/2704.96	c #Conflicts:    1016000 | #Constraints:      70288
2696.99/2704.96	c #Conflicts:    1017000 | #Constraints:      71288
2696.99/2704.96	c #Conflicts:    1018000 | #Constraints:      72288
2696.99/2704.96	c #Conflicts:    1019000 | #Constraints:      73288
2696.99/2704.96	c #Conflicts:    1020000 | #Constraints:      74288
2696.99/2704.96	c #Conflicts:    1021000 | #Constraints:      75288
2696.99/2704.96	c #Conflicts:    1022000 | #Constraints:      76288
2696.99/2704.96	c #Conflicts:    1023000 | #Constraints:      77288
2696.99/2704.96	c #Conflicts:    1024000 | #Constraints:      78288
2696.99/2704.96	c #Conflicts:    1025000 | #Constraints:      79288
2696.99/2704.96	c #Conflicts:    1026000 | #Constraints:      80288
2696.99/2704.96	c #Conflicts:    1027000 | #Constraints:      81288
2696.99/2704.96	c #Conflicts:    1028000 | #Constraints:      82288
2696.99/2704.96	c #Conflicts:    1029000 | #Constraints:      83288
2696.99/2704.96	c #Conflicts:    1030000 | #Constraints:      84288
2696.99/2704.96	c #Conflicts:    1031000 | #Constraints:      85288
2696.99/2704.96	c #Conflicts:    1032000 | #Constraints:      86288
2696.99/2704.96	c #Conflicts:    1033000 | #Constraints:      87288
2696.99/2704.96	c #Conflicts:    1034000 | #Constraints:      88288
2696.99/2704.96	c #Conflicts:    1035000 | #Constraints:      89288
2696.99/2704.96	c #Conflicts:    1036000 | #Constraints:      90288
2696.99/2704.96	c #Conflicts:    1037000 | #Constraints:      91288
2696.99/2704.96	c #Conflicts:    1038000 | #Constraints:      92288
2696.99/2704.96	c #Conflicts:    1039000 | #Constraints:      93288
2696.99/2704.96	c #Conflicts:    1040000 | #Constraints:      94288
2696.99/2704.96	c #Conflicts:    1041000 | #Constraints:      95288
2696.99/2704.96	c #Conflicts:    1042000 | #Constraints:      96288
2696.99/2704.96	c #Conflicts:    1043000 | #Constraints:      97288
2696.99/2704.96	c #Conflicts:    1044000 | #Constraints:      98288
2696.99/2704.96	c #Conflicts:    1045000 | #Constraints:      99288
2696.99/2704.96	c #Conflicts:    1046000 | #Constraints:     100288
2696.99/2704.96	c #Conflicts:    1047000 | #Constraints:     101288
2696.99/2704.96	c #Conflicts:    1048000 | #Constraints:     102289
2696.99/2704.96	c #Conflicts:    1049000 | #Constraints:     103289
2696.99/2704.96	c #Conflicts:    1050000 | #Constraints:     104289
2954.16/2962.84	c #Conflicts:    1051000 | #Constraints:     105289
2954.16/2962.84	c #Conflicts:    1052000 | #Constraints:     106289
2954.16/2962.84	c #Conflicts:    1053000 | #Constraints:     107289
2954.16/2962.84	c #Conflicts:    1054000 | #Constraints:     108289
2954.16/2962.84	c #Conflicts:    1055000 | #Constraints:     109289
2954.16/2962.84	c #Conflicts:    1056000 | #Constraints:     110289
2954.16/2962.84	c #Conflicts:    1057000 | #Constraints:     111289
2954.16/2962.84	c #Conflicts:    1058000 | #Constraints:     112289
2954.16/2962.84	c #Conflicts:    1059000 | #Constraints:     113289
2954.16/2962.84	c #Conflicts:    1060000 | #Constraints:     114289
2954.16/2962.84	c #Conflicts:    1061000 | #Constraints:     115289
2954.16/2962.84	c #Conflicts:    1062000 | #Constraints:     116289
2954.16/2962.84	c #Conflicts:    1063000 | #Constraints:     117289
2954.16/2962.84	c #Conflicts:    1064000 | #Constraints:     118289
2954.16/2962.84	c #Conflicts:    1065000 | #Constraints:     119289
2954.16/2962.84	c #Conflicts:    1066000 | #Constraints:     120289
2954.16/2962.84	c #Conflicts:    1067000 | #Constraints:     121289
2954.16/2962.84	c #Conflicts:    1068000 | #Constraints:     122289
2954.16/2962.84	c #Conflicts:    1069000 | #Constraints:     123289
2954.16/2962.84	c #Conflicts:    1070000 | #Constraints:     124289
2954.16/2962.85	c #Conflicts:    1071000 | #Constraints:     125289
2954.16/2962.85	c INPROCESSING
2954.16/2962.85	c GARBAGE COLLECT
2954.16/2962.85	c #Conflicts:    1072000 | #Constraints:      72613
2954.16/2962.85	c #Conflicts:    1073000 | #Constraints:      73613
2954.16/2962.85	c #Conflicts:    1074000 | #Constraints:      74613
2954.16/2962.85	c #Conflicts:    1075000 | #Constraints:      75613
2954.16/2962.85	c #Conflicts:    1076000 | #Constraints:      76613
2954.16/2962.85	c #Conflicts:    1077000 | #Constraints:      77613
2954.16/2962.85	c #Conflicts:    1078000 | #Constraints:      78613
2954.16/2962.85	c #Conflicts:    1079000 | #Constraints:      79613
2954.16/2962.85	c #Conflicts:    1080000 | #Constraints:      80613
2954.16/2962.85	c #Conflicts:    1081000 | #Constraints:      81613
2954.16/2962.85	c #Conflicts:    1082000 | #Constraints:      82613
2954.16/2962.85	c #Conflicts:    1083000 | #Constraints:      83613
2954.16/2962.85	c #Conflicts:    1084000 | #Constraints:      84613
2954.16/2962.85	c #Conflicts:    1085000 | #Constraints:      85613
2954.16/2962.85	c #Conflicts:    1086000 | #Constraints:      86613
2954.16/2962.85	c #Conflicts:    1087000 | #Constraints:      87613
2954.16/2962.85	c #Conflicts:    1088000 | #Constraints:      88613
2954.16/2962.85	c #Conflicts:    1089000 | #Constraints:      89613
2954.16/2962.85	c #Conflicts:    1090000 | #Constraints:      90613
2954.16/2962.85	c #Conflicts:    1091000 | #Constraints:      91613
2954.16/2962.85	c #Conflicts:    1092000 | #Constraints:      92613
2954.16/2962.85	c #Conflicts:    1093000 | #Constraints:      93613
2954.16/2962.85	c #Conflicts:    1094000 | #Constraints:      94613
2954.16/2962.85	c #Conflicts:    1095000 | #Constraints:      95613
2954.16/2962.85	c #Conflicts:    1096000 | #Constraints:      96613
2954.16/2962.85	c #Conflicts:    1097000 | #Constraints:      97613
2954.16/2962.85	c #Conflicts:    1098000 | #Constraints:      98613
2954.16/2962.85	c #Conflicts:    1099000 | #Constraints:      99613
2954.16/2962.85	c INPROCESSING
2954.16/2962.85	c GARBAGE COLLECT
2954.16/2962.85	c #Conflicts:    1100000 | #Constraints:      60008
2954.16/2962.85	c #Conflicts:    1101000 | #Constraints:      61008
2954.16/2962.85	c #Conflicts:    1102000 | #Constraints:      62008
2954.16/2962.85	c #Conflicts:    1103000 | #Constraints:      63008
2954.16/2962.85	c #Conflicts:    1104000 | #Constraints:      64008
2954.16/2962.85	c #Conflicts:    1105000 | #Constraints:      65008
2954.16/2962.85	c #Conflicts:    1106000 | #Constraints:      66008
2954.16/2962.85	c #Conflicts:    1107000 | #Constraints:      67008
2954.16/2962.85	c #Conflicts:    1108000 | #Constraints:      68008
2954.16/2962.85	c #Conflicts:    1109000 | #Constraints:      69008
2954.16/2962.85	c #Conflicts:    1110000 | #Constraints:      70008
2954.16/2962.85	c #Conflicts:    1111000 | #Constraints:      71008
2954.16/2962.85	c #Conflicts:    1112000 | #Constraints:      72008
2954.16/2962.85	c #Conflicts:    1113000 | #Constraints:      73008
2954.16/2962.85	c #Conflicts:    1114000 | #Constraints:      74008
2954.16/2962.85	c #Conflicts:    1115000 | #Constraints:      75008
2954.16/2962.85	c #Conflicts:    1116000 | #Constraints:      76008
2954.16/2962.85	c #Conflicts:    1117000 | #Constraints:      77008
2954.16/2962.85	c #Conflicts:    1118000 | #Constraints:      78008
2954.16/2962.85	c #Conflicts:    1119000 | #Constraints:      79008
2954.16/2962.85	c #Conflicts:    1120000 | #Constraints:      80008
2954.16/2962.85	c #Conflicts:    1121000 | #Constraints:      81008
2954.16/2962.85	c #Conflicts:    1122000 | #Constraints:      82008
2954.16/2962.85	c #Conflicts:    1123000 | #Constraints:      83008
2954.16/2962.85	c #Conflicts:    1124000 | #Constraints:      84008
2954.16/2962.85	c #Conflicts:    1125000 | #Constraints:      85008
2954.16/2962.85	c #Conflicts:    1126000 | #Constraints:      86008
2954.16/2962.85	c #Conflicts:    1127000 | #Constraints:      87008
2954.16/2962.85	c #Conflicts:    1128000 | #Constraints:      88008
3174.84/3184.17	c #Conflicts:    1129000 | #Constraints:      89008
3174.84/3184.17	c #Conflicts:    1130000 | #Constraints:      90008
3174.84/3184.17	c #Conflicts:    1131000 | #Constraints:      91008
3174.84/3184.17	c #Conflicts:    1132000 | #Constraints:      92008
3174.84/3184.17	c #Conflicts:    1133000 | #Constraints:      93008
3174.84/3184.17	c #Conflicts:    1134000 | #Constraints:      94008
3174.84/3184.17	c #Conflicts:    1135000 | #Constraints:      95008
3174.84/3184.17	c #Conflicts:    1136000 | #Constraints:      96008
3174.84/3184.17	c #Conflicts:    1137000 | #Constraints:      97008
3174.84/3184.17	c #Conflicts:    1138000 | #Constraints:      98008
3174.84/3184.17	c #Conflicts:    1139000 | #Constraints:      99008
3174.84/3184.17	c #Conflicts:    1140000 | #Constraints:     100008
3174.84/3184.17	c #Conflicts:    1141000 | #Constraints:     101008
3174.84/3184.17	c #Conflicts:    1142000 | #Constraints:     102008
3174.84/3184.17	c #Conflicts:    1143000 | #Constraints:     103008
3174.84/3184.17	c #Conflicts:    1144000 | #Constraints:     104008
3174.84/3184.17	c #Conflicts:    1145000 | #Constraints:     105008
3174.84/3184.17	c #Conflicts:    1146000 | #Constraints:     106008
3174.84/3184.17	c #Conflicts:    1147000 | #Constraints:     107008
3174.84/3184.17	c #Conflicts:    1148000 | #Constraints:     108008
3174.84/3184.17	c #Conflicts:    1149000 | #Constraints:     109008
3174.84/3184.17	c #Conflicts:    1150000 | #Constraints:     110008
3174.84/3184.17	c #Conflicts:    1151000 | #Constraints:     111008
3174.84/3184.17	c #Conflicts:    1152000 | #Constraints:     112008
3174.84/3184.17	c #Conflicts:    1153000 | #Constraints:     113008
3174.84/3184.17	c #Conflicts:    1154000 | #Constraints:     114008
3174.84/3184.17	c #Conflicts:    1155000 | #Constraints:     115008
3174.84/3184.17	c #Conflicts:    1156000 | #Constraints:     116008
3174.84/3184.17	c #Conflicts:    1157000 | #Constraints:     117008
3174.84/3184.17	c #Conflicts:    1158000 | #Constraints:     118008
3174.84/3184.17	c #Conflicts:    1159000 | #Constraints:     119008
3174.84/3184.17	c #Conflicts:    1160000 | #Constraints:     120008
3174.84/3184.17	c #Conflicts:    1161000 | #Constraints:     121008
3174.84/3184.17	c #Conflicts:    1162000 | #Constraints:     122008
3174.84/3184.17	c #Conflicts:    1163000 | #Constraints:     123008
3174.84/3184.17	c #Conflicts:    1164000 | #Constraints:     124008
3174.84/3184.17	c #Conflicts:    1165000 | #Constraints:     125008
3174.84/3184.17	c #Conflicts:    1166000 | #Constraints:     126008
3174.84/3184.17	c #Conflicts:    1167000 | #Constraints:     127008
3174.84/3184.17	c #Conflicts:    1168000 | #Constraints:     128008
3174.84/3184.17	c #Conflicts:    1169000 | #Constraints:     129008
3174.84/3184.17	c #Conflicts:    1170000 | #Constraints:     130008
3174.84/3184.17	c #Conflicts:    1171000 | #Constraints:     131008
3174.84/3184.17	c INPROCESSING
3174.84/3184.17	c GARBAGE COLLECT
3174.84/3184.17	c rational objective 138
3403.68/3413.65	c #Conflicts:    1172000 | #Constraints:      75646
3403.68/3413.65	c #Conflicts:    1173000 | #Constraints:      76646
3403.68/3413.65	c #Conflicts:    1174000 | #Constraints:      77646
3403.68/3413.65	c #Conflicts:    1175000 | #Constraints:      78646
3403.68/3413.65	c #Conflicts:    1176000 | #Constraints:      79646
3403.68/3413.65	c #Conflicts:    1177000 | #Constraints:      80646
3403.68/3413.65	c #Conflicts:    1178000 | #Constraints:      81646
3403.68/3413.65	c #Conflicts:    1179000 | #Constraints:      82646
3403.68/3413.65	c #Conflicts:    1180000 | #Constraints:      83646
3403.68/3413.65	c #Conflicts:    1181000 | #Constraints:      84646
3403.68/3413.65	c #Conflicts:    1182000 | #Constraints:      85646
3403.68/3413.65	c #Conflicts:    1183000 | #Constraints:      86646
3403.68/3413.65	c #Conflicts:    1184000 | #Constraints:      87646
3403.68/3413.65	c #Conflicts:    1185000 | #Constraints:      88646
3403.68/3413.65	c #Conflicts:    1186000 | #Constraints:      89646
3403.68/3413.65	c #Conflicts:    1187000 | #Constraints:      90646
3403.68/3413.65	c #Conflicts:    1188000 | #Constraints:      91646
3403.68/3413.65	c #Conflicts:    1189000 | #Constraints:      92646
3403.68/3413.65	c #Conflicts:    1190000 | #Constraints:      93646
3403.68/3413.65	c #Conflicts:    1191000 | #Constraints:      94646
3403.68/3413.65	c #Conflicts:    1192000 | #Constraints:      95646
3403.68/3413.65	c #Conflicts:    1193000 | #Constraints:      96646
3403.68/3413.65	c #Conflicts:    1194000 | #Constraints:      97646
3403.68/3413.65	c #Conflicts:    1195000 | #Constraints:      98646
3403.68/3413.65	c #Conflicts:    1196000 | #Constraints:      99646
3403.68/3413.65	c #Conflicts:    1197000 | #Constraints:     100646
3403.68/3413.65	c #Conflicts:    1198000 | #Constraints:     101646
3403.68/3413.65	c #Conflicts:    1199000 | #Constraints:     102646
3403.68/3413.65	c #Conflicts:    1200000 | #Constraints:     103646
3403.68/3413.65	c INPROCESSING
3403.68/3413.65	c GARBAGE COLLECT
3403.68/3413.65	c #Conflicts:    1201000 | #Constraints:      62218
3403.68/3413.65	c #Conflicts:    1202000 | #Constraints:      63218
3403.68/3413.65	c #Conflicts:    1203000 | #Constraints:      64218
3403.68/3413.65	c #Conflicts:    1204000 | #Constraints:      65218
3403.68/3413.65	c #Conflicts:    1205000 | #Constraints:      66218
3403.68/3413.65	c #Conflicts:    1206000 | #Constraints:      67218
3403.68/3413.65	c #Conflicts:    1207000 | #Constraints:      68218
3403.68/3413.65	c #Conflicts:    1208000 | #Constraints:      69218
3403.68/3413.65	c #Conflicts:    1209000 | #Constraints:      70218
3403.68/3413.65	c #Conflicts:    1210000 | #Constraints:      71218
3403.68/3413.65	c #Conflicts:    1211000 | #Constraints:      72218
3403.68/3413.65	c #Conflicts:    1212000 | #Constraints:      73218
3403.68/3413.65	c #Conflicts:    1213000 | #Constraints:      74218
3403.68/3413.65	c #Conflicts:    1214000 | #Constraints:      75218
3403.68/3413.65	c #Conflicts:    1215000 | #Constraints:      76218
3403.68/3413.65	c #Conflicts:    1216000 | #Constraints:      77218
3403.68/3413.65	c #Conflicts:    1217000 | #Constraints:      78218
3403.68/3413.65	c #Conflicts:    1218000 | #Constraints:      79218
3403.68/3413.65	c #Conflicts:    1219000 | #Constraints:      80218
3403.68/3413.65	c #Conflicts:    1220000 | #Constraints:      81218
3403.68/3413.65	c #Conflicts:    1221000 | #Constraints:      82218
3403.68/3413.65	c #Conflicts:    1222000 | #Constraints:      83218
3403.68/3413.65	c #Conflicts:    1223000 | #Constraints:      84218
3403.68/3413.65	c #Conflicts:    1224000 | #Constraints:      85218
3403.68/3413.65	c #Conflicts:    1225000 | #Constraints:      86218
3403.68/3413.65	c #Conflicts:    1226000 | #Constraints:      87218
3403.68/3413.65	c #Conflicts:    1227000 | #Constraints:      88218
3403.68/3413.65	c #Conflicts:    1228000 | #Constraints:      89218
3403.68/3413.65	c #Conflicts:    1229000 | #Constraints:      90218
3403.68/3413.65	c #Conflicts:    1230000 | #Constraints:      91218
3403.68/3413.65	c #Conflicts:    1231000 | #Constraints:      92218
3403.68/3413.65	c #Conflicts:    1232000 | #Constraints:      93218
3403.68/3413.65	c #Conflicts:    1233000 | #Constraints:      94218
3403.68/3413.65	c #Conflicts:    1234000 | #Constraints:      95218
3403.68/3413.65	c #Conflicts:    1235000 | #Constraints:      96218
3403.68/3413.65	c #Conflicts:    1236000 | #Constraints:      97218
3403.68/3413.65	c #Conflicts:    1237000 | #Constraints:      98218
3403.68/3413.65	c #Conflicts:    1238000 | #Constraints:      99218
3403.68/3413.65	c #Conflicts:    1239000 | #Constraints:     100218
3403.68/3413.65	c #Conflicts:    1240000 | #Constraints:     101218
3403.68/3413.65	c #Conflicts:    1241000 | #Constraints:     102218
3403.68/3413.65	c #Conflicts:    1242000 | #Constraints:     103218
3403.68/3413.65	c #Conflicts:    1243000 | #Constraints:     104218
3403.68/3413.65	c #Conflicts:    1244000 | #Constraints:     105218
3403.68/3413.65	c #Conflicts:    1245000 | #Constraints:     106218
3403.68/3413.65	c #Conflicts:    1246000 | #Constraints:     107218
3403.68/3413.65	c #Conflicts:    1247000 | #Constraints:     108218
3403.68/3413.65	c #Conflicts:    1248000 | #Constraints:     109218
3403.68/3413.65	c #Conflicts:    1249000 | #Constraints:     110218
3403.68/3413.65	c #Conflicts:    1250000 | #Constraints:     111218
3600.01/3610.50	c #Conflicts:    1251000 | #Constraints:     112218
3600.01/3610.50	c #Conflicts:    1252000 | #Constraints:     113218
3600.01/3610.50	c #Conflicts:    1253000 | #Constraints:     114218
3600.01/3610.50	c #Conflicts:    1254000 | #Constraints:     115218
3600.01/3610.50	c #Conflicts:    1255000 | #Constraints:     116218
3600.01/3610.50	c #Conflicts:    1256000 | #Constraints:     117218
3600.01/3610.50	c #Conflicts:    1257000 | #Constraints:     118218
3600.01/3610.50	c #Conflicts:    1258000 | #Constraints:     119218
3600.01/3610.50	c #Conflicts:    1259000 | #Constraints:     120218
3600.01/3610.50	c #Conflicts:    1260000 | #Constraints:     121218
3600.01/3610.50	c #Conflicts:    1261000 | #Constraints:     122218
3600.01/3610.50	c #Conflicts:    1262000 | #Constraints:     123218
3600.01/3610.50	c #Conflicts:    1263000 | #Constraints:     124218
3600.01/3610.50	c #Conflicts:    1264000 | #Constraints:     125218
3600.01/3610.50	c #Conflicts:    1265000 | #Constraints:     126218
3600.01/3610.50	c #Conflicts:    1266000 | #Constraints:     127218
3600.01/3610.50	c #Conflicts:    1267000 | #Constraints:     128218
3600.01/3610.50	c #Conflicts:    1268000 | #Constraints:     129218
3600.01/3610.50	c #Conflicts:    1269000 | #Constraints:     130218
3600.01/3610.50	c #Conflicts:    1270000 | #Constraints:     131218
3600.01/3610.50	c #Conflicts:    1271000 | #Constraints:     132218
3600.01/3610.50	c #Conflicts:    1272000 | #Constraints:     133218
3600.01/3610.50	c #Conflicts:    1273000 | #Constraints:     134218
3600.01/3610.50	c #Conflicts:    1274000 | #Constraints:     135218
3600.01/3610.50	c #Conflicts:    1275000 | #Constraints:     136218
3600.01/3610.50	c INPROCESSING
3600.01/3610.50	c GARBAGE COLLECT
3600.01/3610.50	c #Conflicts:    1276000 | #Constraints:      78414
3600.01/3610.50	c #Conflicts:    1277000 | #Constraints:      79414
3600.01/3610.50	c #Conflicts:    1278000 | #Constraints:      80414
3600.01/3610.50	c #Conflicts:    1279000 | #Constraints:      81414
3600.01/3610.50	c #Conflicts:    1280000 | #Constraints:      82414
3600.01/3610.50	c #Conflicts:    1281000 | #Constraints:      83414
3600.01/3610.50	c #Conflicts:    1282000 | #Constraints:      84414
3600.01/3610.50	c #Conflicts:    1283000 | #Constraints:      85414
3600.01/3610.50	c #Conflicts:    1284000 | #Constraints:      86414
3600.01/3610.50	c #Conflicts:    1285000 | #Constraints:      87414
3600.01/3610.50	c #Conflicts:    1286000 | #Constraints:      88414
3600.01/3610.50	c #Conflicts:    1287000 | #Constraints:      89414
3600.01/3610.50	c #Conflicts:    1288000 | #Constraints:      90414
3600.01/3610.50	c #Conflicts:    1289000 | #Constraints:      91414
3600.01/3610.50	c #Conflicts:    1290000 | #Constraints:      92414
3600.01/3610.50	c #Conflicts:    1291000 | #Constraints:      93414
3600.01/3610.50	c #Conflicts:    1292000 | #Constraints:      94414
3600.01/3610.50	c #Conflicts:    1293000 | #Constraints:      95414
3600.01/3610.50	c #Conflicts:    1294000 | #Constraints:      96414
3600.01/3610.50	c #Conflicts:    1295000 | #Constraints:      97414
3600.01/3610.50	c #Conflicts:    1296000 | #Constraints:      98414
3600.01/3610.50	c #Conflicts:    1297000 | #Constraints:      99414
3600.01/3610.50	c #Conflicts:    1298000 | #Constraints:     100414
3600.01/3610.50	c #Conflicts:    1299000 | #Constraints:     101414
3600.01/3610.50	c #Conflicts:    1300000 | #Constraints:     102414
3600.01/3610.50	c #Conflicts:    1301000 | #Constraints:     103414
3600.01/3610.50	c #Conflicts:    1302000 | #Constraints:     104414
3600.01/3610.50	c #Conflicts:    1303000 | #Constraints:     105414
3600.01/3610.50	c #Conflicts:    1304000 | #Constraints:     106414
3600.01/3610.50	c #Conflicts:    1305000 | #Constraints:     107414
3600.01/3610.50	c INPROCESSING
3600.01/3610.50	c GARBAGE COLLECT
3600.01/3610.50	c #Conflicts:    1306000 | #Constraints:      63866
3600.01/3610.50	c #Conflicts:    1307000 | #Constraints:      64866
3600.01/3610.50	c cpu time 3579.72 s
3600.01/3610.50	c deterministic time 222341477571 2.22e+11
3600.01/3610.50	c optimization time 4.33028 s
3600.01/3610.50	c total solve time 3575.18 s
3600.01/3610.50	c core-guided solve time 0 s
3600.01/3610.50	c propagation time 1749.98 s
3600.01/3610.50	c conflict analysis time 1523.69 s
3600.01/3610.50	c propagations 1313500800
3600.01/3610.50	c resolve steps 97571629
3600.01/3610.50	c decisions 19863558
3600.01/3610.50	c conflicts 1307970
3600.01/3610.50	c restarts 2544
3600.01/3610.50	c inprocessing phases 52
3600.01/3610.50	c garbage collections 52 ,( 100.00 )
3600.01/3610.50	c input clauses 16562 ,( 99.17 )
3600.01/3610.50	c input cardinalities 138 ,( 0.83 )
3600.01/3610.50	c input general constraints 0 ,( 0.00 )
3600.01/3610.50	c input average constraint length 6.43
3600.01/3610.50	c input average constraint degree 1.97
3600.01/3610.50	c learned clauses 980958 ,( 75.00 )
3600.01/3610.50	c learned cardinalities 35387 ,( 2.71 )
3600.01/3610.50	c learned general constraints 291637 ,( 22.30 )
3600.01/3610.50	c learned average constraint length 760.65
3600.01/3610.50	c learned average constraint degree 35107978.03
3600.01/3610.50	c watched  CF 32, 64, 128, Arb: 80266 , 0 , 0 , 0
3600.01/3610.50	c counting CF 32, 64, 128, Arb: 211371 , 0 , 0 , 0
3600.01/3610.50	c watched   constraints 80266 ,( 27.52 ) 
3600.01/3610.50	c counting  constraints 211371 ,( 72.48 ) 
3600.01/3610.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1340063770 , 527329759 , 2194926277 ,( 88059882 , 2106866395 )
3600.01/3610.50	c gcd simplifications 767
3600.01/3610.50	c detected cardinalities 4009
3600.01/3610.50	c weakened non-implied lits 396157602
3600.01/3610.50	c weakened non-implying lits 227487
3600.01/3610.50	c original variables 16422
3600.01/3610.50	c clausal propagations 594839153
3600.01/3610.50	c cardinality propagations 464960655
3600.01/3610.50	c watched propagations 4368933
3600.01/3610.50	c counting propagations 239113467
3600.01/3610.50	c watch lookups 93542292472
3600.01/3610.50	c watch backjump lookups 0
3600.01/3610.50	c watch checks 32604641265
3600.01/3610.50	c propagation checks 88747602935
3600.01/3610.50	c constraint additions 4778638991
3600.01/3610.50	c trail pops 1334662020
3600.01/3610.50	c formula constraints 16700
3600.01/3610.50	c learned constraints 1307964
3600.01/3610.50	c bound constraints 0
3600.01/3610.50	c core-guided constraints 0
3600.01/3610.50	c encountered formula constraints 66198196
3600.01/3610.50	c encountered learned constraints 32680459
3600.01/3610.50	c encountered bound constraints 0
3600.01/3610.50	c encountered core-guided constraints 0
3600.01/3610.50	c LP total time 373.17 s
3600.01/3610.50	c LP solve time 356.16 s
3600.01/3610.50	c LP constraints added 17640
3600.01/3610.50	c LP constraints removed 679
3600.01/3610.50	c LP pivots internal 133244
3600.01/3610.50	c LP pivots root 142285
3600.01/3610.50	c LP calls 20
3600.01/3610.50	c LP optimalities 8
3600.01/3610.50	c LP no pivot count 1
3600.01/3610.50	c LP infeasibilities 6
3600.01/3610.50	c LP valid Farkas constraints 6
3600.01/3610.50	c LP learned Farkas constraints 6
3600.01/3610.50	c LP basis resets 0
3600.01/3610.50	c LP cycling count 0
3600.01/3610.50	c LP singular count 0
3600.01/3610.50	c LP no primal count 0
3600.01/3610.50	c LP no farkas count 0
3600.01/3610.50	c LP other issue count 0
3600.01/3610.50	c LP Gomory cuts 6
3600.01/3610.50	c LP learned cuts 1190
3600.01/3610.50	c LP deleted cuts 878
3600.01/3610.50	c LP encountered Gomory constraints 0
3600.01/3610.50	c LP encountered Farkas constraints 934
3600.01/3610.50	c LP encountered learned Farkas constraints 4
3600.01/3610.50	c CG auxiliary variables introduced 0
3600.01/3610.50	c CG solutions found 0
3600.01/3610.50	c CG cores constructed 0
3600.01/3610.50	c CG core cardinality constraints returned 0
3600.01/3610.50	c CG unit cores 0
3600.01/3610.50	c CG single cores 0
3600.01/3610.50	c CG blocks removed during cardinality reduction 0
3600.01/3610.50	c CG first core best 0
3600.01/3610.50	c CG decision core best 0
3600.01/3610.50	c CG core reduction tie 0
3600.01/3610.50	c CG core degree average 0.00
3600.01/3610.50	c CG core slack average 0.00
3600.01/3610.50	c CG core upper bound improvements 0
3600.01/3610.50	c STR number of successful calls 0
3600.01/3610.50	c STR number of unsuccessful calls 0
3600.01/3610.50	c STR number of inconclusive calls 0
3600.01/3610.50	c STR number of successful attempts 0
3600.01/3610.50	c STR number of unsuccessful attempts 0
3600.01/3610.50	c STR number of inconclusive attempts 0
3600.01/3610.50	c STR average degree increase per successful call inf
3600.01/3610.50	c STR average degree increase per successful attempt inf
3600.01/3610.50	c STR total number of conflicts for successful attempts 0
3600.01/3610.50	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.50	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.50	c STR average number of conflicts per successful attempt inf
3600.01/3610.50	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.50	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.50	c AVG.sumWPerc 64.74 
3600.01/3610.50	c bigint constraints 0 
3600.01/3610.50	s UNKNOWN
3600.01/3610.50	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 (63258 MiB free)
  memory of node 1: 64507 MiB (63962 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506796-1751180326/watcher-4506796-1751180326 -o /tmp/evaluation-result-4506796-1751180326/solver-4506796-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4506796-1751180326.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=22899, runsolver pid=22890

[startup+0.100069 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130257784/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=59252 memory=12416 CPUtime=0.07 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 1433 0 0 0 5 2 0 0 20 0 1 0 33712333 60674048 3104 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 14813 3104 1888 1147 0 2240 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63444 KiB
Current children cumulated memory: 15360 KiB

[startup+0.213957 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130253596/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=63752 memory=18476 CPUtime=0.18 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 3436 0 0 0 13 5 0 0 20 0 1 0 33712333 65282048 4619 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 15938 4619 2208 1147 0 3365 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67944 KiB
Current children cumulated memory: 21420 KiB

[startup+0.314436 s]*
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130201240/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=90536 memory=37392 CPUtime=0.28 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 7781 0 0 0 21 7 0 0 20 0 1 0 33712333 92708864 9348 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 22634 9348 2208 1147 0 10061 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 94728 KiB
Current children cumulated memory: 40336 KiB

[startup+0.700324 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130118944/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=101268 memory=44892 CPUtime=0.64 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 9779 0 0 0 56 8 0 0 20 0 1 0 33712333 103698432 11223 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 25317 11223 2240 1147 0 12744 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 105460 KiB
Current children cumulated memory: 47836 KiB

[startup+1.50033 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130110880/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=103460 memory=47708 CPUtime=1.44 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 10472 0 0 0 135 9 0 0 20 0 1 0 33712333 105943040 11927 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 25865 11927 2240 1147 0 13292 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 107652 KiB
Current children cumulated memory: 50652 KiB

[startup+3.11262 s]
/proc/loadavg: 0.47 1.32 2.34 6/257 22912
/proc/meminfo: memFree=130083832/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=105432 memory=54228 CPUtime=3.05 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 11537 0 0 0 288 17 0 0 20 0 1 0 33712333 107962368 13557 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 26358 13557 2304 1147 0 13785 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 109624 KiB
Current children cumulated memory: 57172 KiB

[startup+6.3003 s]
/proc/loadavg: 0.75 1.37 2.35 6/257 22912
/proc/meminfo: memFree=130059204/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=115760 memory=64380 CPUtime=6.22 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 13552 0 0 0 592 30 0 0 20 0 1 0 33712333 118538240 16095 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 28940 16095 2304 1147 0 16367 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 119952 KiB
Current children cumulated memory: 67324 KiB

[startup+12.7003 s]
/proc/loadavg: 1.01 1.41 2.36 6/257 22912
/proc/meminfo: memFree=129994944/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=124012 memory=72188 CPUtime=12.61 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 15516 0 0 0 1217 44 0 0 20 0 1 0 33712333 126988288 18047 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 31003 18047 2304 1147 0 18430 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 128204 KiB
Current children cumulated memory: 75132 KiB

[startup+25.5003 s]
/proc/loadavg: 1.74 1.55 2.39 6/257 22912
/proc/meminfo: memFree=129958676/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=145588 memory=92436 CPUtime=25.38 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 19042 0 0 0 2468 70 0 0 20 0 1 0 33712333 149082112 23109 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 36397 23109 2304 1147 0 23824 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 149780 KiB
Current children cumulated memory: 95380 KiB

[startup+51.1127 s]
/proc/loadavg: 2.51 1.75 2.44 6/257 22913
/proc/meminfo: memFree=129786440/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=196456 memory=134284 CPUtime=50.92 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 25511 0 0 0 4975 117 0 0 20 0 1 0 33712333 201170944 33571 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 49114 33571 2304 1147 0 36541 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 200648 KiB
Current children cumulated memory: 137228 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.53 6/255 22915
/proc/meminfo: memFree=129638064/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=220076 memory=157324 CPUtime=101.94 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 31259 0 0 0 10006 188 0 0 20 0 1 0 33712333 225357824 39331 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 55019 39331 2304 1147 0 42446 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 224268 KiB
Current children cumulated memory: 160268 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.50 2.64 6/256 22929
/proc/meminfo: memFree=129496904/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=227220 memory=164236 CPUtime=161.74 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 32913 0 0 0 15954 220 0 0 20 0 1 0 33712333 232673280 41059 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 56805 41059 2400 1147 0 44232 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 231412 KiB
Current children cumulated memory: 167180 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.79 2.73 6/256 22931
/proc/meminfo: memFree=129375920/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=270808 memory=207864 CPUtime=221.53 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 37275 0 0 0 21861 292 0 0 20 0 1 0 33712333 277307392 51966 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 67702 51966 2400 1147 0 55129 0

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

/proc/22902/statm: 271378 221167 2400 1147 0 258805 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 1089704 KiB
Current children cumulated memory: 887612 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/254 23069
/proc/meminfo: memFree=126341868/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1100092 memory=894908 CPUtime=3153.09 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 118772 0 0 0 313491 1818 0 0 20 0 1 0 33712333 1126494208 223727 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 275023 223727 2400 1147 0 262450 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 1104284 KiB
Current children cumulated memory: 897852 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.11 4.03 6/254 23071
/proc/meminfo: memFree=126317960/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1104792 memory=899900 CPUtime=3212.92 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 120020 0 0 0 319445 1847 0 0 20 0 1 0 33712333 1131307008 224975 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 276198 224975 2400 1147 0 263625 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 1108984 KiB
Current children cumulated memory: 902844 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/255 23076
/proc/meminfo: memFree=126308736/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1106268 memory=901308 CPUtime=3272.75 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 120379 0 0 0 325393 1882 0 0 20 0 1 0 33712333 1132818432 225327 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 276567 225327 2400 1147 0 263994 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 1110460 KiB
Current children cumulated memory: 904252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.13 4.05 6/255 23078
/proc/meminfo: memFree=126309056/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1106268 memory=901308 CPUtime=3332.58 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 120379 0 0 0 331360 1898 0 0 20 0 1 0 33712333 1132818432 225327 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 276567 225327 2400 1147 0 263994 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 1110460 KiB
Current children cumulated memory: 904252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/255 23084
/proc/meminfo: memFree=126309104/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1106268 memory=901308 CPUtime=3392.41 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 120379 0 0 0 337311 1930 0 0 20 0 1 0 33712333 1132818432 225327 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 276567 225327 2400 1147 0 263994 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 1110460 KiB
Current children cumulated memory: 904252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/255 23086
/proc/meminfo: memFree=126310588/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1106268 memory=901308 CPUtime=3452.23 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 120555 0 0 0 343268 1955 0 0 20 0 1 0 33712333 1132818432 225327 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 276567 225327 2400 1147 0 263994 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 1110460 KiB
Current children cumulated memory: 904252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/254 23088
/proc/meminfo: memFree=126266324/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1109832 memory=904124 CPUtime=3512.06 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 121255 0 0 0 349227 1979 0 0 20 0 1 0 33712333 1136467968 226031 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 277458 226031 2400 1147 0 264885 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 1114024 KiB
Current children cumulated memory: 907068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.05 6/254 23090
/proc/meminfo: memFree=126257060/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1113052 memory=906812 CPUtime=3571.89 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 121917 0 0 0 355176 2013 0 0 20 0 1 0 33712333 1139765248 226703 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 278263 226703 2400 1147 0 265690 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 1117244 KiB
Current children cumulated memory: 909756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.11 4.11 4.05 6/249 23100
/proc/meminfo: memFree=127476448/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1113052 memory=907196 CPUtime=3600.01 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 122032 0 0 0 357971 2030 0 0 20 0 1 0 33712333 1139765248 226799 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 278263 226799 2400 1147 0 265690 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1117244 KiB
Current children cumulated memory: 910140 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001599 s, system=0.004022 s

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

# cumulated CPU time of all completed processes:  user=3579.72 s, system=20.3215 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+3610.5 s]
/proc/loadavg: 4.11 4.11 4.05 6/249 23100
/proc/meminfo: memFree=127476448/131382116 swapFree=33010684/33010684
[pid=22899] ppid=22890 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/22899/stat : 22899 (run-dec.sh) S 22890 22899 22838 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 33712331 4292608 736 18446744073709551615 94088101912576 94088102807109 140725512773760 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94088103046160 94088103093904 94088115470336 140725512776045 140725512776168 140725512776168 140725512781770 0
/proc/22899/statm: 1048 736 672 219 0 110 0
[pid=22902] ppid=22899 vsize=1113052 memory=907196 CPUtime=3600.01 cores=0,2
/proc/22902/stat : 22902 (roundingsat) R 22899 22899 22838 0 -1 4194304 122032 0 0 0 357971 2030 0 0 20 0 1 0 33712333 1139765248 226799 18446744073709551615 4227072 8923433 140721298417328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22142976 140721298422199 140721298422312 140721298422312 140721298427882 0
/proc/22902/statm: 278263 226799 2400 1147 0 265690 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1117244 KiB
Current children cumulated memory: 910140 KiB

Child status: 2

Real time (s): 3610.52
CPU time (s): 3600.05
CPU user time (s): 3579.72
CPU system time (s): 20.3215
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 1117244
Max. memory (cumulated for all children) (KiB): 910140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.72
system time used= 20.3215
maximum resident set size= 907324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122263
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= 336
involuntary context switches= 8015


# summary of solver processes directly reported to runsolver:
#   pid: 22899,22902
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3579.72
#   total CPU system time (s): 20.3215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.378 second user time and 34.5518 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-29 08:58:46
IDJOB=4506796
IDBENCH=158265
IDSOLVER=3349
FILE ID=nodeC011/4506796-1751180326
RUNJOBID= nodeC011-1751180326-22848
SLURM_JOB_ID= 9587547
Free space on /tmp= 433048 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506796-1751180326/watcher-4506796-1751180326 -o /tmp/evaluation-result-4506796-1751180326/solver-4506796-1751180326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760  run-dec.sh HOME/instance-4506796-1751180326.opb

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

MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1304843974

nodeC011 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		: 1197.362
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	: 6984.20
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		: 1197.229
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	: 6984.20
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.297
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	: 6984.20
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.285
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	: 6984.20
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		: 1197.290
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.283
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	: 6984.20
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.567
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	: 6984.20
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.293
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130276348 kB
MemAvailable:   129939516 kB
Buffers:            3280 kB
Cached:           474520 kB
SwapCached:            0 kB
Active:           318628 kB
Inactive:         226692 kB
Active(anon):      85516 kB
Inactive(anon):        0 kB
Active(file):     233112 kB
Inactive(file):   226692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34840 kB
Writeback:             0 kB
AnonPages:         70628 kB
Mapped:           102036 kB
Shmem:             17960 kB
KReclaimable:      85596 kB
Slab:             164772 kB
SReclaimable:      85596 kB
SUnreclaim:        79176 kB
KernelStack:        3872 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC011 at 2025-06-29 09:58:57