Trace number 4506761

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-log 63f22ad? (TO) 3600.06 3609.72

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
MD5SUMe3ebae4cd87024085ca08d92094a2c8e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark604.662
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20111
Total number of constraints20451
Number of constraints which are clauses20282
Number of constraints which are cardinality constraints (but not clauses)169
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint169
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 170
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.09/0.15	c #variables 20111 #constraints 20451
99.52/99.88	c #Conflicts:       1000 | #Constraints:      21450
99.52/99.88	c #Conflicts:       2000 | #Constraints:      22450
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:       3000 | #Constraints:      21716
99.52/99.88	c #Conflicts:       4000 | #Constraints:      22716
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:       5000 | #Constraints:      22222
99.52/99.88	c #Conflicts:       6000 | #Constraints:      23222
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:       7000 | #Constraints:      22321
99.52/99.88	c #Conflicts:       8000 | #Constraints:      23321
99.52/99.88	c #Conflicts:       9000 | #Constraints:      24321
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      10000 | #Constraints:      23100
99.52/99.88	c #Conflicts:      11000 | #Constraints:      24100
99.52/99.88	c #Conflicts:      12000 | #Constraints:      25100
99.52/99.88	c #Conflicts:      13000 | #Constraints:      26100
99.52/99.88	c #Conflicts:      14000 | #Constraints:      27100
99.52/99.88	c #Conflicts:      15000 | #Constraints:      28100
99.52/99.88	c #Conflicts:      16000 | #Constraints:      29100
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      17000 | #Constraints:      25418
99.52/99.88	c #Conflicts:      18000 | #Constraints:      26418
99.52/99.88	c #Conflicts:      19000 | #Constraints:      27418
99.52/99.88	c #Conflicts:      20000 | #Constraints:      28418
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      21000 | #Constraints:      25154
99.52/99.88	c #Conflicts:      22000 | #Constraints:      26154
99.52/99.88	c #Conflicts:      23000 | #Constraints:      27154
99.52/99.88	c #Conflicts:      24000 | #Constraints:      28154
99.52/99.88	c #Conflicts:      25000 | #Constraints:      29154
99.52/99.88	c #Conflicts:      26000 | #Constraints:      30154
99.52/99.88	c #Conflicts:      27000 | #Constraints:      31154
99.52/99.88	c #Conflicts:      28000 | #Constraints:      32154
99.52/99.88	c #Conflicts:      29000 | #Constraints:      33154
99.52/99.88	c #Conflicts:      30000 | #Constraints:      34154
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      31000 | #Constraints:      27974
99.52/99.88	c #Conflicts:      32000 | #Constraints:      28974
99.52/99.88	c #Conflicts:      33000 | #Constraints:      29974
99.52/99.88	c #Conflicts:      34000 | #Constraints:      30974
99.52/99.88	c #Conflicts:      35000 | #Constraints:      31974
99.52/99.88	c #Conflicts:      36000 | #Constraints:      32974
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      37000 | #Constraints:      28100
99.52/99.88	c #Conflicts:      38000 | #Constraints:      29100
99.52/99.88	c #Conflicts:      39000 | #Constraints:      30100
99.52/99.88	c #Conflicts:      40000 | #Constraints:      31100
99.52/99.88	c #Conflicts:      41000 | #Constraints:      32100
99.52/99.88	c #Conflicts:      42000 | #Constraints:      33100
99.52/99.88	c #Conflicts:      43000 | #Constraints:      34100
99.52/99.88	c #Conflicts:      44000 | #Constraints:      35100
99.52/99.88	c #Conflicts:      45000 | #Constraints:      36100
99.52/99.88	c #Conflicts:      46000 | #Constraints:      37100
99.52/99.88	c #Conflicts:      47000 | #Constraints:      38100
99.52/99.88	c #Conflicts:      48000 | #Constraints:      39100
99.52/99.88	c #Conflicts:      49000 | #Constraints:      40100
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      50000 | #Constraints:      31214
99.52/99.88	c #Conflicts:      51000 | #Constraints:      32214
99.52/99.88	c #Conflicts:      52000 | #Constraints:      33214
99.52/99.88	c #Conflicts:      53000 | #Constraints:      34214
99.52/99.88	c #Conflicts:      54000 | #Constraints:      35214
99.52/99.88	c #Conflicts:      55000 | #Constraints:      36214
99.52/99.88	c #Conflicts:      56000 | #Constraints:      37214
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
99.52/99.88	c #Conflicts:      57000 | #Constraints:      30712
99.52/99.88	c #Conflicts:      58000 | #Constraints:      31712
99.52/99.88	c #Conflicts:      59000 | #Constraints:      32712
99.52/99.88	c #Conflicts:      60000 | #Constraints:      33712
99.52/99.88	c #Conflicts:      61000 | #Constraints:      34712
99.52/99.88	c #Conflicts:      62000 | #Constraints:      35712
99.52/99.88	c #Conflicts:      63000 | #Constraints:      36712
99.52/99.88	c #Conflicts:      64000 | #Constraints:      37712
99.52/99.88	c #Conflicts:      65000 | #Constraints:      38712
99.52/99.88	c #Conflicts:      66000 | #Constraints:      39712
99.52/99.88	c #Conflicts:      67000 | #Constraints:      40712
99.52/99.88	c #Conflicts:      68000 | #Constraints:      41712
99.52/99.88	c #Conflicts:      69000 | #Constraints:      42712
99.52/99.88	c #Conflicts:      70000 | #Constraints:      43712
99.52/99.88	c #Conflicts:      71000 | #Constraints:      44712
99.52/99.88	c #Conflicts:      72000 | #Constraints:      45712
99.52/99.88	c INPROCESSING
99.52/99.88	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:      73000 | #Constraints:      34040
223.31/223.95	c #Conflicts:      74000 | #Constraints:      35040
223.31/223.95	c #Conflicts:      75000 | #Constraints:      36040
223.31/223.95	c #Conflicts:      76000 | #Constraints:      37040
223.31/223.95	c #Conflicts:      77000 | #Constraints:      38040
223.31/223.95	c #Conflicts:      78000 | #Constraints:      39040
223.31/223.95	c #Conflicts:      79000 | #Constraints:      40040
223.31/223.95	c #Conflicts:      80000 | #Constraints:      41040
223.31/223.95	c INPROCESSING
223.31/223.95	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:      81000 | #Constraints:      33023
223.31/223.95	c #Conflicts:      82000 | #Constraints:      34023
223.31/223.95	c #Conflicts:      83000 | #Constraints:      35023
223.31/223.95	c #Conflicts:      84000 | #Constraints:      36023
223.31/223.95	c #Conflicts:      85000 | #Constraints:      37023
223.31/223.95	c #Conflicts:      86000 | #Constraints:      38023
223.31/223.95	c #Conflicts:      87000 | #Constraints:      39023
223.31/223.95	c #Conflicts:      88000 | #Constraints:      40023
223.31/223.95	c #Conflicts:      89000 | #Constraints:      41023
223.31/223.95	c #Conflicts:      90000 | #Constraints:      42023
223.31/223.95	c #Conflicts:      91000 | #Constraints:      43023
223.31/223.95	c #Conflicts:      92000 | #Constraints:      44023
223.31/223.95	c #Conflicts:      93000 | #Constraints:      45023
223.31/223.95	c #Conflicts:      94000 | #Constraints:      46023
223.31/223.95	c #Conflicts:      95000 | #Constraints:      47023
223.31/223.95	c #Conflicts:      96000 | #Constraints:      48023
223.31/223.95	c #Conflicts:      97000 | #Constraints:      49023
223.31/223.95	c #Conflicts:      98000 | #Constraints:      50023
223.31/223.95	c #Conflicts:      99000 | #Constraints:      51023
223.31/223.95	c #Conflicts:     100000 | #Constraints:      52023
223.31/223.95	c INPROCESSING
223.31/223.95	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:     101000 | #Constraints:      37483
223.31/223.95	c #Conflicts:     102000 | #Constraints:      38483
223.31/223.95	c #Conflicts:     103000 | #Constraints:      39483
223.31/223.95	c #Conflicts:     104000 | #Constraints:      40483
223.31/223.95	c #Conflicts:     105000 | #Constraints:      41483
223.31/223.95	c #Conflicts:     106000 | #Constraints:      42483
223.31/223.95	c #Conflicts:     107000 | #Constraints:      43483
223.31/223.95	c #Conflicts:     108000 | #Constraints:      44483
223.31/223.95	c #Conflicts:     109000 | #Constraints:      45483
223.31/223.95	c INPROCESSING
223.31/223.95	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:     110000 | #Constraints:      35927
223.31/223.95	c #Conflicts:     111000 | #Constraints:      36927
223.31/223.95	c #Conflicts:     112000 | #Constraints:      37927
223.31/223.95	c #Conflicts:     113000 | #Constraints:      38927
223.31/223.95	c #Conflicts:     114000 | #Constraints:      39927
223.31/223.95	c #Conflicts:     115000 | #Constraints:      40927
223.31/223.95	c #Conflicts:     116000 | #Constraints:      41927
223.31/223.95	c #Conflicts:     117000 | #Constraints:      42927
223.31/223.95	c #Conflicts:     118000 | #Constraints:      43927
223.31/223.95	c #Conflicts:     119000 | #Constraints:      44927
223.31/223.95	c #Conflicts:     120000 | #Constraints:      45927
223.31/223.95	c #Conflicts:     121000 | #Constraints:      46927
223.31/223.95	c #Conflicts:     122000 | #Constraints:      47927
223.31/223.95	c #Conflicts:     123000 | #Constraints:      48927
223.31/223.95	c #Conflicts:     124000 | #Constraints:      49927
223.31/223.95	c #Conflicts:     125000 | #Constraints:      50927
223.31/223.95	c #Conflicts:     126000 | #Constraints:      51927
223.31/223.95	c #Conflicts:     127000 | #Constraints:      52927
223.31/223.95	c #Conflicts:     128000 | #Constraints:      53927
223.31/223.95	c #Conflicts:     129000 | #Constraints:      54927
223.31/223.95	c #Conflicts:     130000 | #Constraints:      55927
223.31/223.95	c #Conflicts:     131000 | #Constraints:      56927
223.31/223.95	c #Conflicts:     132000 | #Constraints:      57927
223.31/223.95	c INPROCESSING
223.31/223.95	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:     133000 | #Constraints:      40680
223.31/223.95	c #Conflicts:     134000 | #Constraints:      41680
223.31/223.95	c #Conflicts:     135000 | #Constraints:      42680
223.31/223.95	c #Conflicts:     136000 | #Constraints:      43680
223.31/223.95	c #Conflicts:     137000 | #Constraints:      44680
223.31/223.95	c #Conflicts:     138000 | #Constraints:      45680
223.31/223.95	c #Conflicts:     139000 | #Constraints:      46680
223.31/223.95	c #Conflicts:     140000 | #Constraints:      47680
223.31/223.95	c #Conflicts:     141000 | #Constraints:      48680
223.31/223.95	c #Conflicts:     142000 | #Constraints:      49680
223.31/223.95	c INPROCESSING
223.31/223.95	c GARBAGE COLLECT
223.31/223.95	c #Conflicts:     143000 | #Constraints:      38629
223.31/223.95	c #Conflicts:     144000 | #Constraints:      39629
223.31/223.95	c #Conflicts:     145000 | #Constraints:      40629
223.31/223.95	c #Conflicts:     146000 | #Constraints:      41629
223.31/223.95	c #Conflicts:     147000 | #Constraints:      42629
223.31/223.95	c #Conflicts:     148000 | #Constraints:      43629
366.33/367.32	c #Conflicts:     149000 | #Constraints:      44629
366.33/367.32	c #Conflicts:     150000 | #Constraints:      45629
366.33/367.32	c #Conflicts:     151000 | #Constraints:      46629
366.33/367.32	c #Conflicts:     152000 | #Constraints:      47629
366.33/367.32	c #Conflicts:     153000 | #Constraints:      48629
366.33/367.32	c #Conflicts:     154000 | #Constraints:      49629
366.33/367.32	c #Conflicts:     155000 | #Constraints:      50629
366.33/367.32	c #Conflicts:     156000 | #Constraints:      51629
366.33/367.32	c #Conflicts:     157000 | #Constraints:      52629
366.33/367.32	c #Conflicts:     158000 | #Constraints:      53629
366.33/367.32	c #Conflicts:     159000 | #Constraints:      54629
366.33/367.32	c #Conflicts:     160000 | #Constraints:      55629
366.33/367.32	c #Conflicts:     161000 | #Constraints:      56629
366.33/367.32	c #Conflicts:     162000 | #Constraints:      57629
366.33/367.32	c #Conflicts:     163000 | #Constraints:      58629
366.33/367.32	c #Conflicts:     164000 | #Constraints:      59629
366.33/367.32	c #Conflicts:     165000 | #Constraints:      60629
366.33/367.32	c #Conflicts:     166000 | #Constraints:      61629
366.33/367.32	c #Conflicts:     167000 | #Constraints:      62629
366.33/367.32	c #Conflicts:     168000 | #Constraints:      63629
366.33/367.32	c INPROCESSING
366.33/367.32	c GARBAGE COLLECT
366.33/367.32	c #Conflicts:     169000 | #Constraints:      43459
366.33/367.32	c #Conflicts:     170000 | #Constraints:      44459
366.33/367.32	c #Conflicts:     171000 | #Constraints:      45459
366.33/367.32	c #Conflicts:     172000 | #Constraints:      46459
366.33/367.32	c #Conflicts:     173000 | #Constraints:      47459
366.33/367.32	c #Conflicts:     174000 | #Constraints:      48459
366.33/367.32	c #Conflicts:     175000 | #Constraints:      49459
366.33/367.32	c #Conflicts:     176000 | #Constraints:      50459
366.33/367.32	c #Conflicts:     177000 | #Constraints:      51459
366.33/367.32	c #Conflicts:     178000 | #Constraints:      52459
366.33/367.32	c #Conflicts:     179000 | #Constraints:      53459
366.33/367.32	c #Conflicts:     180000 | #Constraints:      54459
366.33/367.32	c INPROCESSING
366.33/367.32	c GARBAGE COLLECT
366.33/367.32	c #Conflicts:     181000 | #Constraints:      42046
366.33/367.32	c #Conflicts:     182000 | #Constraints:      43046
366.33/367.32	c #Conflicts:     183000 | #Constraints:      44046
366.33/367.32	c #Conflicts:     184000 | #Constraints:      45046
366.33/367.32	c #Conflicts:     185000 | #Constraints:      46046
366.33/367.32	c #Conflicts:     186000 | #Constraints:      47046
366.33/367.32	c #Conflicts:     187000 | #Constraints:      48046
366.33/367.32	c #Conflicts:     188000 | #Constraints:      49046
366.33/367.32	c #Conflicts:     189000 | #Constraints:      50046
366.33/367.32	c #Conflicts:     190000 | #Constraints:      51046
366.33/367.32	c #Conflicts:     191000 | #Constraints:      52046
366.33/367.32	c #Conflicts:     192000 | #Constraints:      53046
366.33/367.32	c #Conflicts:     193000 | #Constraints:      54046
366.33/367.32	c #Conflicts:     194000 | #Constraints:      55046
366.33/367.32	c #Conflicts:     195000 | #Constraints:      56046
366.33/367.32	c #Conflicts:     196000 | #Constraints:      57046
366.33/367.32	c #Conflicts:     197000 | #Constraints:      58046
366.33/367.32	c #Conflicts:     198000 | #Constraints:      59046
366.33/367.32	c #Conflicts:     199000 | #Constraints:      60046
366.33/367.32	c #Conflicts:     200000 | #Constraints:      61046
366.33/367.32	c #Conflicts:     201000 | #Constraints:      62046
366.33/367.32	c #Conflicts:     202000 | #Constraints:      63046
366.33/367.32	c #Conflicts:     203000 | #Constraints:      64046
366.33/367.32	c #Conflicts:     204000 | #Constraints:      65046
366.33/367.32	c #Conflicts:     205000 | #Constraints:      66046
366.33/367.32	c #Conflicts:     206000 | #Constraints:      67046
366.33/367.32	c #Conflicts:     207000 | #Constraints:      68046
366.33/367.32	c #Conflicts:     208000 | #Constraints:      69046
366.33/367.32	c #Conflicts:     209000 | #Constraints:      70046
366.33/367.32	c INPROCESSING
366.33/367.32	c GARBAGE COLLECT
366.33/367.32	c #Conflicts:     210000 | #Constraints:      46927
366.33/367.32	c #Conflicts:     211000 | #Constraints:      47927
366.33/367.32	c #Conflicts:     212000 | #Constraints:      48927
366.33/367.32	c #Conflicts:     213000 | #Constraints:      49927
366.33/367.32	c #Conflicts:     214000 | #Constraints:      50927
366.33/367.32	c #Conflicts:     215000 | #Constraints:      51927
366.33/367.32	c #Conflicts:     216000 | #Constraints:      52927
366.33/367.32	c #Conflicts:     217000 | #Constraints:      53927
366.33/367.32	c #Conflicts:     218000 | #Constraints:      54927
366.33/367.32	c #Conflicts:     219000 | #Constraints:      55927
366.33/367.32	c #Conflicts:     220000 | #Constraints:      56927
366.33/367.32	c #Conflicts:     221000 | #Constraints:      57927
366.33/367.32	c #Conflicts:     222000 | #Constraints:      58927
366.33/367.32	c INPROCESSING
366.33/367.32	c GARBAGE COLLECT
366.33/367.32	c rational objective 169
599.91/601.58	c #Conflicts:     223000 | #Constraints:      44041
599.91/601.58	c #Conflicts:     224000 | #Constraints:      45041
599.91/601.58	c #Conflicts:     225000 | #Constraints:      46041
599.91/601.58	c #Conflicts:     226000 | #Constraints:      47041
599.91/601.58	c #Conflicts:     227000 | #Constraints:      48041
599.91/601.58	c #Conflicts:     228000 | #Constraints:      49042
599.91/601.58	c #Conflicts:     229000 | #Constraints:      50042
599.91/601.58	c #Conflicts:     230000 | #Constraints:      51042
599.91/601.58	c #Conflicts:     231000 | #Constraints:      52042
599.91/601.58	c #Conflicts:     232000 | #Constraints:      53042
599.91/601.58	c #Conflicts:     233000 | #Constraints:      54042
599.91/601.58	c #Conflicts:     234000 | #Constraints:      55042
599.91/601.58	c #Conflicts:     235000 | #Constraints:      56042
599.91/601.58	c #Conflicts:     236000 | #Constraints:      57042
599.91/601.58	c #Conflicts:     237000 | #Constraints:      58042
599.91/601.58	c #Conflicts:     238000 | #Constraints:      59042
599.91/601.58	c #Conflicts:     239000 | #Constraints:      60042
599.91/601.58	c #Conflicts:     240000 | #Constraints:      61042
599.91/601.58	c #Conflicts:     241000 | #Constraints:      62042
599.91/601.58	c #Conflicts:     242000 | #Constraints:      63042
599.91/601.58	c #Conflicts:     243000 | #Constraints:      64042
599.91/601.58	c #Conflicts:     244000 | #Constraints:      65042
599.91/601.58	c #Conflicts:     245000 | #Constraints:      66042
599.91/601.58	c #Conflicts:     246000 | #Constraints:      67042
599.91/601.58	c #Conflicts:     247000 | #Constraints:      68042
599.91/601.58	c #Conflicts:     248000 | #Constraints:      69042
599.91/601.58	c #Conflicts:     249000 | #Constraints:      70042
599.91/601.58	c #Conflicts:     250000 | #Constraints:      71042
599.91/601.58	c #Conflicts:     251000 | #Constraints:      72042
599.91/601.58	c #Conflicts:     252000 | #Constraints:      73042
599.91/601.58	c #Conflicts:     253000 | #Constraints:      74042
599.91/601.58	c #Conflicts:     254000 | #Constraints:      75042
599.91/601.58	c INPROCESSING
599.91/601.58	c GARBAGE COLLECT
599.91/601.58	c #Conflicts:     255000 | #Constraints:      49398
599.91/601.58	c #Conflicts:     256000 | #Constraints:      50398
599.91/601.58	c #Conflicts:     257000 | #Constraints:      51398
599.91/601.58	c #Conflicts:     258000 | #Constraints:      52398
599.91/601.58	c #Conflicts:     259000 | #Constraints:      53398
599.91/601.58	c #Conflicts:     260000 | #Constraints:      54398
599.91/601.58	c #Conflicts:     261000 | #Constraints:      55398
599.91/601.58	c #Conflicts:     262000 | #Constraints:      56398
599.91/601.58	c #Conflicts:     263000 | #Constraints:      57398
599.91/601.58	c #Conflicts:     264000 | #Constraints:      58398
599.91/601.58	c #Conflicts:     265000 | #Constraints:      59398
599.91/601.58	c #Conflicts:     266000 | #Constraints:      60398
599.91/601.58	c #Conflicts:     267000 | #Constraints:      61398
599.91/601.58	c #Conflicts:     268000 | #Constraints:      62398
599.91/601.58	c INPROCESSING
599.91/601.58	c GARBAGE COLLECT
599.91/601.58	c #Conflicts:     269000 | #Constraints:      46451
599.91/601.58	c #Conflicts:     270000 | #Constraints:      47451
599.91/601.58	c #Conflicts:     271000 | #Constraints:      48451
599.91/601.58	c #Conflicts:     272000 | #Constraints:      49451
599.91/601.58	c #Conflicts:     273000 | #Constraints:      50451
599.91/601.58	c #Conflicts:     274000 | #Constraints:      51451
599.91/601.58	c #Conflicts:     275000 | #Constraints:      52451
599.91/601.58	c #Conflicts:     276000 | #Constraints:      53451
599.91/601.58	c #Conflicts:     277000 | #Constraints:      54451
599.91/601.58	c #Conflicts:     278000 | #Constraints:      55451
599.91/601.58	c #Conflicts:     279000 | #Constraints:      56451
599.91/601.58	c #Conflicts:     280000 | #Constraints:      57451
599.91/601.58	c #Conflicts:     281000 | #Constraints:      58451
599.91/601.58	c #Conflicts:     282000 | #Constraints:      59451
599.91/601.58	c #Conflicts:     283000 | #Constraints:      60451
599.91/601.58	c #Conflicts:     284000 | #Constraints:      61451
599.91/601.58	c #Conflicts:     285000 | #Constraints:      62451
599.91/601.58	c #Conflicts:     286000 | #Constraints:      63451
599.91/601.58	c #Conflicts:     287000 | #Constraints:      64451
599.91/601.58	c #Conflicts:     288000 | #Constraints:      65451
599.91/601.58	c #Conflicts:     289000 | #Constraints:      66451
599.91/601.58	c #Conflicts:     290000 | #Constraints:      67451
599.91/601.58	c #Conflicts:     291000 | #Constraints:      68451
599.91/601.58	c #Conflicts:     292000 | #Constraints:      69451
599.91/601.58	c #Conflicts:     293000 | #Constraints:      70451
599.91/601.58	c #Conflicts:     294000 | #Constraints:      71451
599.91/601.58	c #Conflicts:     295000 | #Constraints:      72451
599.91/601.58	c #Conflicts:     296000 | #Constraints:      73451
599.91/601.58	c #Conflicts:     297000 | #Constraints:      74451
599.91/601.58	c #Conflicts:     298000 | #Constraints:      75451
599.91/601.58	c #Conflicts:     299000 | #Constraints:      76451
599.91/601.58	c #Conflicts:     300000 | #Constraints:      77451
777.85/779.92	c #Conflicts:     301000 | #Constraints:      78451
777.85/779.92	c #Conflicts:     302000 | #Constraints:      79451
777.85/779.92	c #Conflicts:     303000 | #Constraints:      80451
777.85/779.92	c INPROCESSING
777.85/779.92	c GARBAGE COLLECT
777.85/779.92	c #Conflicts:     304000 | #Constraints:      52023
777.85/779.92	c #Conflicts:     305000 | #Constraints:      53023
777.85/779.92	c #Conflicts:     306000 | #Constraints:      54023
777.85/779.92	c #Conflicts:     307000 | #Constraints:      55023
777.85/779.92	c #Conflicts:     308000 | #Constraints:      56023
777.85/779.92	c #Conflicts:     309000 | #Constraints:      57023
777.85/779.92	c #Conflicts:     310000 | #Constraints:      58023
777.85/779.92	c #Conflicts:     311000 | #Constraints:      59023
777.85/779.92	c #Conflicts:     312000 | #Constraints:      60023
777.85/779.92	c #Conflicts:     313000 | #Constraints:      61023
777.85/779.92	c #Conflicts:     314000 | #Constraints:      62023
777.85/779.92	c #Conflicts:     315000 | #Constraints:      63023
777.85/779.92	c #Conflicts:     316000 | #Constraints:      64023
777.85/779.92	c #Conflicts:     317000 | #Constraints:      65023
777.85/779.92	c #Conflicts:     318000 | #Constraints:      66023
777.85/779.92	c #Conflicts:     319000 | #Constraints:      67023
777.85/779.92	c INPROCESSING
777.85/779.92	c GARBAGE COLLECT
777.85/779.92	c #Conflicts:     320000 | #Constraints:      49497
777.85/779.92	c #Conflicts:     321000 | #Constraints:      50497
777.85/779.92	c #Conflicts:     322000 | #Constraints:      51497
777.85/779.92	c #Conflicts:     323000 | #Constraints:      52497
777.85/779.92	c #Conflicts:     324000 | #Constraints:      53497
777.85/779.92	c #Conflicts:     325000 | #Constraints:      54497
777.85/779.92	c #Conflicts:     326000 | #Constraints:      55497
777.85/779.92	c #Conflicts:     327000 | #Constraints:      56497
777.85/779.92	c #Conflicts:     328000 | #Constraints:      57497
777.85/779.92	c #Conflicts:     329000 | #Constraints:      58497
777.85/779.92	c #Conflicts:     330000 | #Constraints:      59497
777.85/779.92	c #Conflicts:     331000 | #Constraints:      60497
777.85/779.92	c #Conflicts:     332000 | #Constraints:      61497
777.85/779.92	c #Conflicts:     333000 | #Constraints:      62497
777.85/779.92	c #Conflicts:     334000 | #Constraints:      63497
777.85/779.92	c #Conflicts:     335000 | #Constraints:      64497
777.85/779.92	c #Conflicts:     336000 | #Constraints:      65497
777.85/779.92	c #Conflicts:     337000 | #Constraints:      66497
777.85/779.92	c #Conflicts:     338000 | #Constraints:      67497
777.85/779.92	c #Conflicts:     339000 | #Constraints:      68497
777.85/779.92	c #Conflicts:     340000 | #Constraints:      69497
777.85/779.92	c #Conflicts:     341000 | #Constraints:      70497
777.85/779.92	c #Conflicts:     342000 | #Constraints:      71497
777.85/779.92	c #Conflicts:     343000 | #Constraints:      72497
777.85/779.92	c #Conflicts:     344000 | #Constraints:      73497
777.85/779.92	c #Conflicts:     345000 | #Constraints:      74497
777.85/779.92	c #Conflicts:     346000 | #Constraints:      75497
777.85/779.92	c #Conflicts:     347000 | #Constraints:      76497
777.85/779.92	c #Conflicts:     348000 | #Constraints:      77497
777.85/779.92	c #Conflicts:     349000 | #Constraints:      78497
777.85/779.92	c #Conflicts:     350000 | #Constraints:      79497
777.85/779.92	c #Conflicts:     351000 | #Constraints:      80497
777.85/779.92	c #Conflicts:     352000 | #Constraints:      81497
777.85/779.92	c #Conflicts:     353000 | #Constraints:      82497
777.85/779.92	c #Conflicts:     354000 | #Constraints:      83497
777.85/779.92	c #Conflicts:     355000 | #Constraints:      84497
777.85/779.92	c #Conflicts:     356000 | #Constraints:      85497
777.85/779.92	c #Conflicts:     357000 | #Constraints:      86497
777.85/779.92	c INPROCESSING
777.85/779.92	c GARBAGE COLLECT
777.85/779.92	c #Conflicts:     358000 | #Constraints:      54966
777.85/779.92	c #Conflicts:     359000 | #Constraints:      55966
777.85/779.92	c #Conflicts:     360000 | #Constraints:      56966
777.85/779.92	c #Conflicts:     361000 | #Constraints:      57966
777.85/779.92	c #Conflicts:     362000 | #Constraints:      58966
777.85/779.92	c #Conflicts:     363000 | #Constraints:      59966
777.85/779.92	c #Conflicts:     364000 | #Constraints:      60967
777.85/779.92	c #Conflicts:     365000 | #Constraints:      61967
777.85/779.92	c #Conflicts:     366000 | #Constraints:      62967
777.85/779.92	c #Conflicts:     367000 | #Constraints:      63967
777.85/779.92	c #Conflicts:     368000 | #Constraints:      64967
777.85/779.92	c #Conflicts:     369000 | #Constraints:      65967
777.85/779.92	c #Conflicts:     370000 | #Constraints:      66967
777.85/779.92	c #Conflicts:     371000 | #Constraints:      67967
777.85/779.92	c #Conflicts:     372000 | #Constraints:      68967
777.85/779.92	c #Conflicts:     373000 | #Constraints:      69967
777.85/779.92	c #Conflicts:     374000 | #Constraints:      70967
777.85/779.92	c INPROCESSING
777.85/779.92	c GARBAGE COLLECT
777.85/779.92	c #Conflicts:     375000 | #Constraints:      51811
777.85/779.92	c #Conflicts:     376000 | #Constraints:      52811
927.75/930.29	c #Conflicts:     377000 | #Constraints:      53811
927.75/930.29	c #Conflicts:     378000 | #Constraints:      54811
927.75/930.29	c #Conflicts:     379000 | #Constraints:      55811
927.75/930.29	c #Conflicts:     380000 | #Constraints:      56811
927.75/930.29	c #Conflicts:     381000 | #Constraints:      57811
927.75/930.29	c #Conflicts:     382000 | #Constraints:      58811
927.75/930.29	c #Conflicts:     383000 | #Constraints:      59811
927.75/930.29	c #Conflicts:     384000 | #Constraints:      60811
927.75/930.29	c #Conflicts:     385000 | #Constraints:      61811
927.75/930.29	c #Conflicts:     386000 | #Constraints:      62811
927.75/930.29	c #Conflicts:     387000 | #Constraints:      63811
927.75/930.29	c #Conflicts:     388000 | #Constraints:      64811
927.75/930.29	c #Conflicts:     389000 | #Constraints:      65811
927.75/930.29	c #Conflicts:     390000 | #Constraints:      66811
927.75/930.29	c #Conflicts:     391000 | #Constraints:      67811
927.75/930.29	c #Conflicts:     392000 | #Constraints:      68811
927.75/930.29	c #Conflicts:     393000 | #Constraints:      69811
927.75/930.29	c #Conflicts:     394000 | #Constraints:      70811
927.75/930.29	c #Conflicts:     395000 | #Constraints:      71811
927.75/930.29	c #Conflicts:     396000 | #Constraints:      72811
927.75/930.29	c #Conflicts:     397000 | #Constraints:      73811
927.75/930.29	c #Conflicts:     398000 | #Constraints:      74811
927.75/930.29	c #Conflicts:     399000 | #Constraints:      75811
927.75/930.29	c #Conflicts:     400000 | #Constraints:      76811
927.75/930.29	c #Conflicts:     401000 | #Constraints:      77811
927.75/930.29	c #Conflicts:     402000 | #Constraints:      78811
927.75/930.29	c #Conflicts:     403000 | #Constraints:      79811
927.75/930.29	c #Conflicts:     404000 | #Constraints:      80811
927.75/930.29	c #Conflicts:     405000 | #Constraints:      81811
927.75/930.29	c #Conflicts:     406000 | #Constraints:      82811
927.75/930.29	c #Conflicts:     407000 | #Constraints:      83811
927.75/930.29	c #Conflicts:     408000 | #Constraints:      84811
927.75/930.29	c #Conflicts:     409000 | #Constraints:      85811
927.75/930.29	c #Conflicts:     410000 | #Constraints:      86811
927.75/930.29	c #Conflicts:     411000 | #Constraints:      87811
927.75/930.29	c #Conflicts:     412000 | #Constraints:      88811
927.75/930.29	c #Conflicts:     413000 | #Constraints:      89811
927.75/930.29	c #Conflicts:     414000 | #Constraints:      90811
927.75/930.29	c #Conflicts:     415000 | #Constraints:      91811
927.75/930.29	c INPROCESSING
927.75/930.29	c GARBAGE COLLECT
927.75/930.29	c #Conflicts:     416000 | #Constraints:      57609
927.75/930.29	c #Conflicts:     417000 | #Constraints:      58609
927.75/930.29	c #Conflicts:     418000 | #Constraints:      59609
927.75/930.29	c #Conflicts:     419000 | #Constraints:      60609
927.75/930.29	c #Conflicts:     420000 | #Constraints:      61609
927.75/930.29	c #Conflicts:     421000 | #Constraints:      62609
927.75/930.29	c #Conflicts:     422000 | #Constraints:      63609
927.75/930.29	c #Conflicts:     423000 | #Constraints:      64609
927.75/930.29	c #Conflicts:     424000 | #Constraints:      65609
927.75/930.29	c #Conflicts:     425000 | #Constraints:      66609
927.75/930.29	c #Conflicts:     426000 | #Constraints:      67609
927.75/930.29	c #Conflicts:     427000 | #Constraints:      68609
927.75/930.29	c #Conflicts:     428000 | #Constraints:      69609
927.75/930.29	c #Conflicts:     429000 | #Constraints:      70609
927.75/930.29	c #Conflicts:     430000 | #Constraints:      71609
927.75/930.29	c #Conflicts:     431000 | #Constraints:      72609
927.75/930.29	c #Conflicts:     432000 | #Constraints:      73609
927.75/930.29	c #Conflicts:     433000 | #Constraints:      74609
927.75/930.29	c #Conflicts:     434000 | #Constraints:      75609
927.75/930.29	c INPROCESSING
927.75/930.29	c GARBAGE COLLECT
927.75/930.29	c #Conflicts:     435000 | #Constraints:      54886
927.75/930.29	c #Conflicts:     436000 | #Constraints:      55886
927.75/930.29	c #Conflicts:     437000 | #Constraints:      56886
927.75/930.29	c #Conflicts:     438000 | #Constraints:      57886
927.75/930.29	c #Conflicts:     439000 | #Constraints:      58886
927.75/930.29	c #Conflicts:     440000 | #Constraints:      59886
927.75/930.29	c #Conflicts:     441000 | #Constraints:      60886
927.75/930.29	c #Conflicts:     442000 | #Constraints:      61886
927.75/930.29	c #Conflicts:     443000 | #Constraints:      62886
927.75/930.29	c #Conflicts:     444000 | #Constraints:      63886
927.75/930.29	c #Conflicts:     445000 | #Constraints:      64886
927.75/930.29	c #Conflicts:     446000 | #Constraints:      65886
927.75/930.29	c #Conflicts:     447000 | #Constraints:      66886
927.75/930.29	c #Conflicts:     448000 | #Constraints:      67886
927.75/930.29	c #Conflicts:     449000 | #Constraints:      68886
927.75/930.29	c #Conflicts:     450000 | #Constraints:      69886
927.75/930.29	c #Conflicts:     451000 | #Constraints:      70886
927.75/930.29	c #Conflicts:     452000 | #Constraints:      71886
927.75/930.29	c #Conflicts:     453000 | #Constraints:      72886
927.75/930.29	c #Conflicts:     454000 | #Constraints:      73886
1129.51/1132.57	c #Conflicts:     455000 | #Constraints:      74886
1129.51/1132.57	c #Conflicts:     456000 | #Constraints:      75886
1129.51/1132.57	c #Conflicts:     457000 | #Constraints:      76886
1129.51/1132.57	c #Conflicts:     458000 | #Constraints:      77886
1129.51/1132.57	c #Conflicts:     459000 | #Constraints:      78886
1129.51/1132.57	c #Conflicts:     460000 | #Constraints:      79886
1129.51/1132.57	c #Conflicts:     461000 | #Constraints:      80886
1129.51/1132.57	c #Conflicts:     462000 | #Constraints:      81886
1129.51/1132.57	c #Conflicts:     463000 | #Constraints:      82886
1129.51/1132.57	c #Conflicts:     464000 | #Constraints:      83886
1129.51/1132.57	c #Conflicts:     465000 | #Constraints:      84886
1129.51/1132.57	c #Conflicts:     466000 | #Constraints:      85886
1129.51/1132.57	c #Conflicts:     467000 | #Constraints:      86886
1129.51/1132.57	c #Conflicts:     468000 | #Constraints:      87886
1129.51/1132.57	c #Conflicts:     469000 | #Constraints:      88886
1129.51/1132.57	c #Conflicts:     470000 | #Constraints:      89886
1129.51/1132.57	c #Conflicts:     471000 | #Constraints:      90886
1129.51/1132.57	c #Conflicts:     472000 | #Constraints:      91886
1129.51/1132.57	c #Conflicts:     473000 | #Constraints:      92886
1129.51/1132.57	c #Conflicts:     474000 | #Constraints:      93886
1129.51/1132.57	c #Conflicts:     475000 | #Constraints:      94886
1129.51/1132.57	c #Conflicts:     476000 | #Constraints:      95886
1129.51/1132.57	c #Conflicts:     477000 | #Constraints:      96886
1129.51/1132.57	c #Conflicts:     478000 | #Constraints:      97886
1129.51/1132.57	c INPROCESSING
1129.51/1132.57	c GARBAGE COLLECT
1129.51/1132.57	c #Conflicts:     479000 | #Constraints:      61013
1129.51/1132.57	c #Conflicts:     480000 | #Constraints:      62013
1129.51/1132.57	c #Conflicts:     481000 | #Constraints:      63013
1129.51/1132.57	c #Conflicts:     482000 | #Constraints:      64013
1129.51/1132.57	c #Conflicts:     483000 | #Constraints:      65013
1129.51/1132.57	c #Conflicts:     484000 | #Constraints:      66013
1129.51/1132.57	c #Conflicts:     485000 | #Constraints:      67013
1129.51/1132.57	c #Conflicts:     486000 | #Constraints:      68013
1129.51/1132.57	c #Conflicts:     487000 | #Constraints:      69013
1129.51/1132.57	c #Conflicts:     488000 | #Constraints:      70013
1129.51/1132.57	c #Conflicts:     489000 | #Constraints:      71013
1129.51/1132.57	c #Conflicts:     490000 | #Constraints:      72013
1129.51/1132.57	c #Conflicts:     491000 | #Constraints:      73013
1129.51/1132.57	c #Conflicts:     492000 | #Constraints:      74013
1129.51/1132.57	c #Conflicts:     493000 | #Constraints:      75013
1129.51/1132.57	c #Conflicts:     494000 | #Constraints:      76013
1129.51/1132.57	c #Conflicts:     495000 | #Constraints:      77013
1129.51/1132.57	c #Conflicts:     496000 | #Constraints:      78013
1129.51/1132.57	c #Conflicts:     497000 | #Constraints:      79013
1129.51/1132.57	c #Conflicts:     498000 | #Constraints:      80013
1129.51/1132.57	c INPROCESSING
1129.51/1132.57	c GARBAGE COLLECT
1129.51/1132.57	c #Conflicts:     499000 | #Constraints:      56968
1129.51/1132.57	c #Conflicts:     500000 | #Constraints:      57968
1129.51/1132.57	c #Conflicts:     501000 | #Constraints:      58968
1129.51/1132.57	c #Conflicts:     502000 | #Constraints:      59968
1129.51/1132.57	c #Conflicts:     503000 | #Constraints:      60968
1129.51/1132.57	c #Conflicts:     504000 | #Constraints:      61968
1129.51/1132.57	c #Conflicts:     505000 | #Constraints:      62968
1129.51/1132.57	c #Conflicts:     506000 | #Constraints:      63968
1129.51/1132.57	c #Conflicts:     507000 | #Constraints:      64968
1129.51/1132.57	c #Conflicts:     508000 | #Constraints:      65968
1129.51/1132.57	c #Conflicts:     509000 | #Constraints:      66968
1129.51/1132.57	c #Conflicts:     510000 | #Constraints:      67968
1129.51/1132.57	c #Conflicts:     511000 | #Constraints:      68968
1129.51/1132.57	c #Conflicts:     512000 | #Constraints:      69968
1129.51/1132.57	c #Conflicts:     513000 | #Constraints:      70968
1129.51/1132.57	c #Conflicts:     514000 | #Constraints:      71968
1129.51/1132.57	c #Conflicts:     515000 | #Constraints:      72968
1129.51/1132.57	c #Conflicts:     516000 | #Constraints:      73968
1129.51/1132.57	c #Conflicts:     517000 | #Constraints:      74968
1129.51/1132.57	c #Conflicts:     518000 | #Constraints:      75968
1129.51/1132.57	c #Conflicts:     519000 | #Constraints:      76969
1129.51/1132.57	c #Conflicts:     520000 | #Constraints:      77969
1129.51/1132.57	c #Conflicts:     521000 | #Constraints:      78969
1129.51/1132.57	c #Conflicts:     522000 | #Constraints:      79969
1129.51/1132.57	c #Conflicts:     523000 | #Constraints:      80969
1129.51/1132.57	c #Conflicts:     524000 | #Constraints:      81969
1129.51/1132.57	c #Conflicts:     525000 | #Constraints:      82969
1129.51/1132.57	c #Conflicts:     526000 | #Constraints:      83969
1129.51/1132.57	c #Conflicts:     527000 | #Constraints:      84969
1129.51/1132.57	c #Conflicts:     528000 | #Constraints:      85969
1129.51/1132.57	c #Conflicts:     529000 | #Constraints:      86969
1129.51/1132.57	c #Conflicts:     530000 | #Constraints:      87969
1129.51/1132.57	c #Conflicts:     531000 | #Constraints:      88969
1206.41/1209.62	c #Conflicts:     532000 | #Constraints:      89969
1206.41/1209.62	c #Conflicts:     533000 | #Constraints:      90969
1206.41/1209.62	c #Conflicts:     534000 | #Constraints:      91969
1206.41/1209.62	c #Conflicts:     535000 | #Constraints:      92969
1206.41/1209.62	c #Conflicts:     536000 | #Constraints:      93969
1206.41/1209.62	c #Conflicts:     537000 | #Constraints:      94969
1206.41/1209.62	c #Conflicts:     538000 | #Constraints:      95969
1206.41/1209.62	c #Conflicts:     539000 | #Constraints:      96969
1206.41/1209.62	c #Conflicts:     540000 | #Constraints:      97969
1206.41/1209.62	c #Conflicts:     541000 | #Constraints:      98969
1206.41/1209.62	c #Conflicts:     542000 | #Constraints:      99969
1206.41/1209.62	c #Conflicts:     543000 | #Constraints:     100969
1206.41/1209.62	c #Conflicts:     544000 | #Constraints:     101969
1206.41/1209.62	c #Conflicts:     545000 | #Constraints:     102969
1206.41/1209.62	c INPROCESSING
1206.41/1209.62	c GARBAGE COLLECT
1206.41/1209.62	c rational objective 169
1408.95/1412.75	c #Conflicts:     546000 | #Constraints:      63519
1408.95/1412.75	c #Conflicts:     547000 | #Constraints:      64519
1408.95/1412.75	c #Conflicts:     548000 | #Constraints:      65519
1408.95/1412.75	c #Conflicts:     549000 | #Constraints:      66519
1408.95/1412.75	c #Conflicts:     550000 | #Constraints:      67519
1408.95/1412.75	c #Conflicts:     551000 | #Constraints:      68519
1408.95/1412.75	c #Conflicts:     552000 | #Constraints:      69519
1408.95/1412.75	c #Conflicts:     553000 | #Constraints:      70519
1408.95/1412.75	c #Conflicts:     554000 | #Constraints:      71519
1408.95/1412.75	c #Conflicts:     555000 | #Constraints:      72519
1408.95/1412.75	c #Conflicts:     556000 | #Constraints:      73519
1408.95/1412.75	c #Conflicts:     557000 | #Constraints:      74519
1408.95/1412.75	c #Conflicts:     558000 | #Constraints:      75519
1408.95/1412.75	c #Conflicts:     559000 | #Constraints:      76519
1408.95/1412.75	c #Conflicts:     560000 | #Constraints:      77519
1408.95/1412.75	c #Conflicts:     561000 | #Constraints:      78519
1408.95/1412.75	c #Conflicts:     562000 | #Constraints:      79519
1408.95/1412.75	c #Conflicts:     563000 | #Constraints:      80519
1408.95/1412.75	c #Conflicts:     564000 | #Constraints:      81519
1408.95/1412.75	c #Conflicts:     565000 | #Constraints:      82519
1408.95/1412.75	c #Conflicts:     566000 | #Constraints:      83519
1408.95/1412.75	c INPROCESSING
1408.95/1412.75	c GARBAGE COLLECT
1408.95/1412.75	c #Conflicts:     567000 | #Constraints:      59503
1408.95/1412.75	c #Conflicts:     568000 | #Constraints:      60503
1408.95/1412.75	c #Conflicts:     569000 | #Constraints:      61503
1408.95/1412.75	c #Conflicts:     570000 | #Constraints:      62503
1408.95/1412.75	c #Conflicts:     571000 | #Constraints:      63503
1408.95/1412.75	c #Conflicts:     572000 | #Constraints:      64503
1408.95/1412.75	c #Conflicts:     573000 | #Constraints:      65503
1408.95/1412.75	c #Conflicts:     574000 | #Constraints:      66503
1408.95/1412.75	c #Conflicts:     575000 | #Constraints:      67503
1408.95/1412.75	c #Conflicts:     576000 | #Constraints:      68503
1408.95/1412.75	c #Conflicts:     577000 | #Constraints:      69503
1408.95/1412.75	c #Conflicts:     578000 | #Constraints:      70503
1408.95/1412.75	c #Conflicts:     579000 | #Constraints:      71503
1408.95/1412.75	c #Conflicts:     580000 | #Constraints:      72503
1408.95/1412.75	c #Conflicts:     581000 | #Constraints:      73503
1408.95/1412.75	c #Conflicts:     582000 | #Constraints:      74503
1408.95/1412.75	c #Conflicts:     583000 | #Constraints:      75503
1408.95/1412.75	c #Conflicts:     584000 | #Constraints:      76503
1408.95/1412.75	c #Conflicts:     585000 | #Constraints:      77503
1408.95/1412.75	c #Conflicts:     586000 | #Constraints:      78503
1408.95/1412.75	c #Conflicts:     587000 | #Constraints:      79503
1408.95/1412.75	c #Conflicts:     588000 | #Constraints:      80503
1408.95/1412.75	c #Conflicts:     589000 | #Constraints:      81503
1408.95/1412.75	c #Conflicts:     590000 | #Constraints:      82503
1408.95/1412.75	c #Conflicts:     591000 | #Constraints:      83503
1408.95/1412.75	c #Conflicts:     592000 | #Constraints:      84503
1408.95/1412.75	c #Conflicts:     593000 | #Constraints:      85503
1408.95/1412.75	c #Conflicts:     594000 | #Constraints:      86503
1408.95/1412.75	c #Conflicts:     595000 | #Constraints:      87503
1408.95/1412.75	c #Conflicts:     596000 | #Constraints:      88503
1408.95/1412.75	c #Conflicts:     597000 | #Constraints:      89503
1408.95/1412.75	c #Conflicts:     598000 | #Constraints:      90503
1408.95/1412.75	c #Conflicts:     599000 | #Constraints:      91503
1408.95/1412.75	c #Conflicts:     600000 | #Constraints:      92503
1408.95/1412.75	c #Conflicts:     601000 | #Constraints:      93503
1408.95/1412.75	c #Conflicts:     602000 | #Constraints:      94503
1408.95/1412.75	c #Conflicts:     603000 | #Constraints:      95503
1408.95/1412.75	c #Conflicts:     604000 | #Constraints:      96503
1408.95/1412.75	c #Conflicts:     605000 | #Constraints:      97503
1408.95/1412.75	c #Conflicts:     606000 | #Constraints:      98503
1408.95/1412.75	c #Conflicts:     607000 | #Constraints:      99503
1408.95/1412.75	c #Conflicts:     608000 | #Constraints:     100503
1408.95/1412.75	c #Conflicts:     609000 | #Constraints:     101503
1408.95/1412.75	c #Conflicts:     610000 | #Constraints:     102503
1408.95/1412.75	c #Conflicts:     611000 | #Constraints:     103503
1408.95/1412.75	c #Conflicts:     612000 | #Constraints:     104503
1408.95/1412.75	c #Conflicts:     613000 | #Constraints:     105503
1408.95/1412.75	c #Conflicts:     614000 | #Constraints:     106503
1408.95/1412.75	c #Conflicts:     615000 | #Constraints:     107503
1408.95/1412.75	c #Conflicts:     616000 | #Constraints:     108503
1408.95/1412.75	c #Conflicts:     617000 | #Constraints:     109503
1408.95/1412.75	c INPROCESSING
1408.95/1412.75	c GARBAGE COLLECT
1408.95/1412.75	c #Conflicts:     618000 | #Constraints:      67150
1408.95/1412.75	c #Conflicts:     619000 | #Constraints:      68150
1408.95/1412.75	c #Conflicts:     620000 | #Constraints:      69150
1408.95/1412.75	c #Conflicts:     621000 | #Constraints:      70150
1408.95/1412.75	c #Conflicts:     622000 | #Constraints:      71150
1408.95/1412.75	c #Conflicts:     623000 | #Constraints:      72150
1643.30/1647.74	c #Conflicts:     624000 | #Constraints:      73150
1643.30/1647.74	c #Conflicts:     625000 | #Constraints:      74150
1643.30/1647.74	c #Conflicts:     626000 | #Constraints:      75150
1643.30/1647.74	c #Conflicts:     627000 | #Constraints:      76150
1643.30/1647.74	c #Conflicts:     628000 | #Constraints:      77150
1643.30/1647.74	c #Conflicts:     629000 | #Constraints:      78150
1643.30/1647.74	c #Conflicts:     630000 | #Constraints:      79150
1643.30/1647.74	c #Conflicts:     631000 | #Constraints:      80150
1643.30/1647.74	c #Conflicts:     632000 | #Constraints:      81150
1643.30/1647.74	c #Conflicts:     633000 | #Constraints:      82150
1643.30/1647.74	c #Conflicts:     634000 | #Constraints:      83150
1643.30/1647.74	c #Conflicts:     635000 | #Constraints:      84150
1643.30/1647.74	c #Conflicts:     636000 | #Constraints:      85150
1643.30/1647.74	c #Conflicts:     637000 | #Constraints:      86150
1643.30/1647.74	c #Conflicts:     638000 | #Constraints:      87150
1643.30/1647.74	c #Conflicts:     639000 | #Constraints:      88150
1643.30/1647.74	c INPROCESSING
1643.30/1647.74	c GARBAGE COLLECT
1643.30/1647.74	c #Conflicts:     640000 | #Constraints:      62463
1643.30/1647.74	c #Conflicts:     641000 | #Constraints:      63463
1643.30/1647.74	c #Conflicts:     642000 | #Constraints:      64463
1643.30/1647.74	c #Conflicts:     643000 | #Constraints:      65463
1643.30/1647.74	c #Conflicts:     644000 | #Constraints:      66463
1643.30/1647.74	c #Conflicts:     645000 | #Constraints:      67463
1643.30/1647.74	c #Conflicts:     646000 | #Constraints:      68463
1643.30/1647.74	c #Conflicts:     647000 | #Constraints:      69463
1643.30/1647.74	c #Conflicts:     648000 | #Constraints:      70463
1643.30/1647.74	c #Conflicts:     649000 | #Constraints:      71463
1643.30/1647.74	c #Conflicts:     650000 | #Constraints:      72463
1643.30/1647.74	c #Conflicts:     651000 | #Constraints:      73463
1643.30/1647.74	c #Conflicts:     652000 | #Constraints:      74463
1643.30/1647.74	c #Conflicts:     653000 | #Constraints:      75463
1643.30/1647.74	c #Conflicts:     654000 | #Constraints:      76463
1643.30/1647.74	c #Conflicts:     655000 | #Constraints:      77463
1643.30/1647.74	c #Conflicts:     656000 | #Constraints:      78463
1643.30/1647.74	c #Conflicts:     657000 | #Constraints:      79463
1643.30/1647.74	c #Conflicts:     658000 | #Constraints:      80463
1643.30/1647.74	c #Conflicts:     659000 | #Constraints:      81463
1643.30/1647.74	c #Conflicts:     660000 | #Constraints:      82463
1643.30/1647.74	c #Conflicts:     661000 | #Constraints:      83464
1643.30/1647.74	c #Conflicts:     662000 | #Constraints:      84464
1643.30/1647.74	c #Conflicts:     663000 | #Constraints:      85464
1643.30/1647.74	c #Conflicts:     664000 | #Constraints:      86464
1643.30/1647.74	c #Conflicts:     665000 | #Constraints:      87464
1643.30/1647.74	c #Conflicts:     666000 | #Constraints:      88464
1643.30/1647.74	c #Conflicts:     667000 | #Constraints:      89464
1643.30/1647.74	c #Conflicts:     668000 | #Constraints:      90464
1643.30/1647.74	c #Conflicts:     669000 | #Constraints:      91464
1643.30/1647.74	c #Conflicts:     670000 | #Constraints:      92464
1643.30/1647.74	c #Conflicts:     671000 | #Constraints:      93464
1643.30/1647.74	c #Conflicts:     672000 | #Constraints:      94464
1643.30/1647.74	c #Conflicts:     673000 | #Constraints:      95464
1643.30/1647.74	c #Conflicts:     674000 | #Constraints:      96464
1643.30/1647.74	c #Conflicts:     675000 | #Constraints:      97464
1643.30/1647.74	c #Conflicts:     676000 | #Constraints:      98464
1643.30/1647.74	c #Conflicts:     677000 | #Constraints:      99464
1643.30/1647.74	c #Conflicts:     678000 | #Constraints:     100464
1643.30/1647.74	c #Conflicts:     679000 | #Constraints:     101464
1643.30/1647.74	c #Conflicts:     680000 | #Constraints:     102464
1643.30/1647.74	c #Conflicts:     681000 | #Constraints:     103464
1643.30/1647.74	c #Conflicts:     682000 | #Constraints:     104464
1643.30/1647.74	c #Conflicts:     683000 | #Constraints:     105464
1643.30/1647.74	c #Conflicts:     684000 | #Constraints:     106464
1643.30/1647.74	c #Conflicts:     685000 | #Constraints:     107464
1643.30/1647.74	c #Conflicts:     686000 | #Constraints:     108464
1643.30/1647.74	c #Conflicts:     687000 | #Constraints:     109464
1643.30/1647.74	c #Conflicts:     688000 | #Constraints:     110464
1643.30/1647.74	c #Conflicts:     689000 | #Constraints:     111464
1643.30/1647.74	c #Conflicts:     690000 | #Constraints:     112464
1643.30/1647.74	c #Conflicts:     691000 | #Constraints:     113464
1643.30/1647.74	c #Conflicts:     692000 | #Constraints:     114464
1643.30/1647.74	c #Conflicts:     693000 | #Constraints:     115464
1643.30/1647.74	c INPROCESSING
1643.30/1647.74	c GARBAGE COLLECT
1643.30/1647.74	c #Conflicts:     694000 | #Constraints:      69942
1643.30/1647.74	c #Conflicts:     695000 | #Constraints:      70942
1643.30/1647.74	c #Conflicts:     696000 | #Constraints:      71942
1643.30/1647.74	c #Conflicts:     697000 | #Constraints:      72942
1643.30/1647.74	c #Conflicts:     698000 | #Constraints:      73942
1643.30/1647.74	c #Conflicts:     699000 | #Constraints:      74942
1643.30/1647.74	c #Conflicts:     700000 | #Constraints:      75942
1967.62/1972.99	c #Conflicts:     701000 | #Constraints:      76942
1967.62/1972.99	c #Conflicts:     702000 | #Constraints:      77942
1967.62/1972.99	c #Conflicts:     703000 | #Constraints:      78942
1967.62/1972.99	c #Conflicts:     704000 | #Constraints:      79942
1967.62/1972.99	c #Conflicts:     705000 | #Constraints:      80942
1967.62/1972.99	c #Conflicts:     706000 | #Constraints:      81942
1967.62/1972.99	c #Conflicts:     707000 | #Constraints:      82942
1967.62/1972.99	c #Conflicts:     708000 | #Constraints:      83942
1967.62/1972.99	c #Conflicts:     709000 | #Constraints:      84942
1967.62/1972.99	c #Conflicts:     710000 | #Constraints:      85942
1967.62/1972.99	c #Conflicts:     711000 | #Constraints:      86942
1967.62/1972.99	c #Conflicts:     712000 | #Constraints:      87942
1967.62/1972.99	c #Conflicts:     713000 | #Constraints:      88942
1967.62/1972.99	c #Conflicts:     714000 | #Constraints:      89942
1967.62/1972.99	c #Conflicts:     715000 | #Constraints:      90942
1967.62/1972.99	c #Conflicts:     716000 | #Constraints:      91942
1967.62/1972.99	c INPROCESSING
1967.62/1972.99	c GARBAGE COLLECT
1967.62/1972.99	c #Conflicts:     717000 | #Constraints:      64861
1967.62/1972.99	c #Conflicts:     718000 | #Constraints:      65861
1967.62/1972.99	c #Conflicts:     719000 | #Constraints:      66861
1967.62/1972.99	c #Conflicts:     720000 | #Constraints:      67861
1967.62/1972.99	c #Conflicts:     721000 | #Constraints:      68861
1967.62/1972.99	c #Conflicts:     722000 | #Constraints:      69861
1967.62/1972.99	c #Conflicts:     723000 | #Constraints:      70861
1967.62/1972.99	c #Conflicts:     724000 | #Constraints:      71861
1967.62/1972.99	c #Conflicts:     725000 | #Constraints:      72861
1967.62/1972.99	c #Conflicts:     726000 | #Constraints:      73861
1967.62/1972.99	c #Conflicts:     727000 | #Constraints:      74861
1967.62/1972.99	c #Conflicts:     728000 | #Constraints:      75861
1967.62/1972.99	c #Conflicts:     729000 | #Constraints:      76861
1967.62/1972.99	c #Conflicts:     730000 | #Constraints:      77861
1967.62/1972.99	c #Conflicts:     731000 | #Constraints:      78861
1967.62/1972.99	c #Conflicts:     732000 | #Constraints:      79861
1967.62/1972.99	c #Conflicts:     733000 | #Constraints:      80861
1967.62/1972.99	c #Conflicts:     734000 | #Constraints:      81861
1967.62/1972.99	c #Conflicts:     735000 | #Constraints:      82861
1967.62/1972.99	c #Conflicts:     736000 | #Constraints:      83861
1967.62/1972.99	c #Conflicts:     737000 | #Constraints:      84861
1967.62/1972.99	c #Conflicts:     738000 | #Constraints:      85861
1967.62/1972.99	c #Conflicts:     739000 | #Constraints:      86861
1967.62/1972.99	c #Conflicts:     740000 | #Constraints:      87861
1967.62/1972.99	c #Conflicts:     741000 | #Constraints:      88861
1967.62/1972.99	c #Conflicts:     742000 | #Constraints:      89861
1967.62/1972.99	c #Conflicts:     743000 | #Constraints:      90861
1967.62/1972.99	c #Conflicts:     744000 | #Constraints:      91861
1967.62/1972.99	c #Conflicts:     745000 | #Constraints:      92861
1967.62/1972.99	c #Conflicts:     746000 | #Constraints:      93861
1967.62/1972.99	c #Conflicts:     747000 | #Constraints:      94861
1967.62/1972.99	c #Conflicts:     748000 | #Constraints:      95861
1967.62/1972.99	c #Conflicts:     749000 | #Constraints:      96861
1967.62/1972.99	c #Conflicts:     750000 | #Constraints:      97861
1967.62/1972.99	c #Conflicts:     751000 | #Constraints:      98861
1967.62/1972.99	c #Conflicts:     752000 | #Constraints:      99861
1967.62/1972.99	c #Conflicts:     753000 | #Constraints:     100861
1967.62/1972.99	c #Conflicts:     754000 | #Constraints:     101861
1967.62/1972.99	c #Conflicts:     755000 | #Constraints:     102861
1967.62/1972.99	c #Conflicts:     756000 | #Constraints:     103861
1967.62/1972.99	c #Conflicts:     757000 | #Constraints:     104861
1967.62/1972.99	c #Conflicts:     758000 | #Constraints:     105861
1967.62/1972.99	c #Conflicts:     759000 | #Constraints:     106861
1967.62/1972.99	c #Conflicts:     760000 | #Constraints:     107861
1967.62/1972.99	c #Conflicts:     761000 | #Constraints:     108861
1967.62/1972.99	c #Conflicts:     762000 | #Constraints:     109861
1967.62/1972.99	c #Conflicts:     763000 | #Constraints:     110861
1967.62/1972.99	c #Conflicts:     764000 | #Constraints:     111861
1967.62/1972.99	c #Conflicts:     765000 | #Constraints:     112861
1967.62/1972.99	c #Conflicts:     766000 | #Constraints:     113861
1967.62/1972.99	c #Conflicts:     767000 | #Constraints:     114861
1967.62/1972.99	c #Conflicts:     768000 | #Constraints:     115861
1967.62/1972.99	c #Conflicts:     769000 | #Constraints:     116861
1967.62/1972.99	c #Conflicts:     770000 | #Constraints:     117861
1967.62/1972.99	c #Conflicts:     771000 | #Constraints:     118861
1967.62/1972.99	c #Conflicts:     772000 | #Constraints:     119861
1967.62/1972.99	c #Conflicts:     773000 | #Constraints:     120861
1967.62/1972.99	c INPROCESSING
1967.62/1972.99	c GARBAGE COLLECT
1967.62/1972.99	c #Conflicts:     774000 | #Constraints:      72560
1967.62/1972.99	c #Conflicts:     775000 | #Constraints:      73560
1967.62/1972.99	c #Conflicts:     776000 | #Constraints:      74560
1967.62/1972.99	c #Conflicts:     777000 | #Constraints:      75560
1967.62/1972.99	c #Conflicts:     778000 | #Constraints:      76560
2187.62/2193.52	c #Conflicts:     779000 | #Constraints:      77560
2187.62/2193.52	c #Conflicts:     780000 | #Constraints:      78560
2187.62/2193.52	c #Conflicts:     781000 | #Constraints:      79560
2187.62/2193.52	c #Conflicts:     782000 | #Constraints:      80560
2187.62/2193.52	c #Conflicts:     783000 | #Constraints:      81560
2187.62/2193.52	c #Conflicts:     784000 | #Constraints:      82560
2187.62/2193.52	c #Conflicts:     785000 | #Constraints:      83560
2187.62/2193.52	c #Conflicts:     786000 | #Constraints:      84560
2187.62/2193.52	c #Conflicts:     787000 | #Constraints:      85560
2187.62/2193.52	c #Conflicts:     788000 | #Constraints:      86560
2187.62/2193.52	c #Conflicts:     789000 | #Constraints:      87560
2187.62/2193.52	c #Conflicts:     790000 | #Constraints:      88560
2187.62/2193.52	c #Conflicts:     791000 | #Constraints:      89560
2187.62/2193.52	c #Conflicts:     792000 | #Constraints:      90560
2187.62/2193.52	c #Conflicts:     793000 | #Constraints:      91560
2187.62/2193.52	c #Conflicts:     794000 | #Constraints:      92560
2187.62/2193.52	c #Conflicts:     795000 | #Constraints:      93560
2187.62/2193.52	c #Conflicts:     796000 | #Constraints:      94560
2187.62/2193.52	c #Conflicts:     797000 | #Constraints:      95560
2187.62/2193.52	c #Conflicts:     798000 | #Constraints:      96560
2187.62/2193.52	c INPROCESSING
2187.62/2193.52	c GARBAGE COLLECT
2187.62/2193.52	c #Conflicts:     799000 | #Constraints:      67797
2187.62/2193.52	c #Conflicts:     800000 | #Constraints:      68797
2187.62/2193.52	c #Conflicts:     801000 | #Constraints:      69797
2187.62/2193.52	c #Conflicts:     802000 | #Constraints:      70797
2187.62/2193.52	c #Conflicts:     803000 | #Constraints:      71797
2187.62/2193.52	c #Conflicts:     804000 | #Constraints:      72797
2187.62/2193.52	c #Conflicts:     805000 | #Constraints:      73797
2187.62/2193.52	c #Conflicts:     806000 | #Constraints:      74797
2187.62/2193.52	c #Conflicts:     807000 | #Constraints:      75797
2187.62/2193.52	c #Conflicts:     808000 | #Constraints:      76797
2187.62/2193.52	c #Conflicts:     809000 | #Constraints:      77797
2187.62/2193.52	c #Conflicts:     810000 | #Constraints:      78797
2187.62/2193.52	c #Conflicts:     811000 | #Constraints:      79797
2187.62/2193.52	c #Conflicts:     812000 | #Constraints:      80797
2187.62/2193.52	c #Conflicts:     813000 | #Constraints:      81797
2187.62/2193.52	c #Conflicts:     814000 | #Constraints:      82797
2187.62/2193.52	c #Conflicts:     815000 | #Constraints:      83797
2187.62/2193.52	c #Conflicts:     816000 | #Constraints:      84797
2187.62/2193.52	c #Conflicts:     817000 | #Constraints:      85797
2187.62/2193.52	c #Conflicts:     818000 | #Constraints:      86797
2187.62/2193.52	c #Conflicts:     819000 | #Constraints:      87797
2187.62/2193.52	c #Conflicts:     820000 | #Constraints:      88797
2187.62/2193.52	c #Conflicts:     821000 | #Constraints:      89797
2187.62/2193.52	c #Conflicts:     822000 | #Constraints:      90797
2187.62/2193.52	c #Conflicts:     823000 | #Constraints:      91797
2187.62/2193.52	c #Conflicts:     824000 | #Constraints:      92797
2187.62/2193.52	c #Conflicts:     825000 | #Constraints:      93797
2187.62/2193.52	c #Conflicts:     826000 | #Constraints:      94797
2187.62/2193.52	c #Conflicts:     827000 | #Constraints:      95797
2187.62/2193.52	c #Conflicts:     828000 | #Constraints:      96797
2187.62/2193.52	c #Conflicts:     829000 | #Constraints:      97797
2187.62/2193.52	c #Conflicts:     830000 | #Constraints:      98797
2187.62/2193.52	c #Conflicts:     831000 | #Constraints:      99797
2187.62/2193.52	c #Conflicts:     832000 | #Constraints:     100797
2187.62/2193.52	c #Conflicts:     833000 | #Constraints:     101797
2187.62/2193.52	c #Conflicts:     834000 | #Constraints:     102797
2187.62/2193.52	c #Conflicts:     835000 | #Constraints:     103797
2187.62/2193.52	c #Conflicts:     836000 | #Constraints:     104797
2187.62/2193.52	c #Conflicts:     837000 | #Constraints:     105797
2187.62/2193.52	c #Conflicts:     838000 | #Constraints:     106797
2187.62/2193.52	c #Conflicts:     839000 | #Constraints:     107797
2187.62/2193.52	c #Conflicts:     840000 | #Constraints:     108797
2187.62/2193.52	c #Conflicts:     841000 | #Constraints:     109797
2187.62/2193.52	c #Conflicts:     842000 | #Constraints:     110797
2187.62/2193.52	c #Conflicts:     843000 | #Constraints:     111797
2187.62/2193.52	c #Conflicts:     844000 | #Constraints:     112797
2187.62/2193.52	c #Conflicts:     845000 | #Constraints:     113797
2187.62/2193.52	c #Conflicts:     846000 | #Constraints:     114797
2187.62/2193.52	c #Conflicts:     847000 | #Constraints:     115797
2187.62/2193.52	c #Conflicts:     848000 | #Constraints:     116797
2187.62/2193.52	c #Conflicts:     849000 | #Constraints:     117797
2187.62/2193.52	c #Conflicts:     850000 | #Constraints:     118797
2187.62/2193.52	c #Conflicts:     851000 | #Constraints:     119797
2187.62/2193.52	c #Conflicts:     852000 | #Constraints:     120797
2187.62/2193.52	c #Conflicts:     853000 | #Constraints:     121797
2187.62/2193.52	c #Conflicts:     854000 | #Constraints:     122797
2187.62/2193.52	c #Conflicts:     855000 | #Constraints:     123797
2187.62/2193.52	c #Conflicts:     856000 | #Constraints:     124797
2398.69/2405.11	c #Conflicts:     857000 | #Constraints:     125797
2398.69/2405.11	c #Conflicts:     858000 | #Constraints:     126797
2398.69/2405.11	c INPROCESSING
2398.69/2405.11	c GARBAGE COLLECT
2398.69/2405.11	c #Conflicts:     859000 | #Constraints:      75961
2398.69/2405.11	c #Conflicts:     860000 | #Constraints:      76961
2398.69/2405.11	c #Conflicts:     861000 | #Constraints:      77961
2398.69/2405.11	c #Conflicts:     862000 | #Constraints:      78961
2398.69/2405.11	c #Conflicts:     863000 | #Constraints:      79961
2398.69/2405.11	c #Conflicts:     864000 | #Constraints:      80961
2398.69/2405.11	c #Conflicts:     865000 | #Constraints:      81961
2398.69/2405.11	c #Conflicts:     866000 | #Constraints:      82961
2398.69/2405.11	c #Conflicts:     867000 | #Constraints:      83961
2398.69/2405.11	c #Conflicts:     868000 | #Constraints:      84961
2398.69/2405.11	c #Conflicts:     869000 | #Constraints:      85961
2398.69/2405.11	c #Conflicts:     870000 | #Constraints:      86961
2398.69/2405.11	c #Conflicts:     871000 | #Constraints:      87961
2398.69/2405.11	c #Conflicts:     872000 | #Constraints:      88961
2398.69/2405.11	c #Conflicts:     873000 | #Constraints:      89961
2398.69/2405.11	c #Conflicts:     874000 | #Constraints:      90961
2398.69/2405.11	c #Conflicts:     875000 | #Constraints:      91961
2398.69/2405.11	c #Conflicts:     876000 | #Constraints:      92961
2398.69/2405.11	c #Conflicts:     877000 | #Constraints:      93961
2398.69/2405.11	c #Conflicts:     878000 | #Constraints:      94961
2398.69/2405.11	c #Conflicts:     879000 | #Constraints:      95961
2398.69/2405.11	c #Conflicts:     880000 | #Constraints:      96961
2398.69/2405.11	c #Conflicts:     881000 | #Constraints:      97961
2398.69/2405.11	c #Conflicts:     882000 | #Constraints:      98961
2398.69/2405.11	c #Conflicts:     883000 | #Constraints:      99961
2398.69/2405.11	c #Conflicts:     884000 | #Constraints:     100961
2398.69/2405.11	c INPROCESSING
2398.69/2405.11	c GARBAGE COLLECT
2398.69/2405.11	c #Conflicts:     885000 | #Constraints:      70446
2398.69/2405.11	c #Conflicts:     886000 | #Constraints:      71446
2398.69/2405.11	c #Conflicts:     887000 | #Constraints:      72446
2398.69/2405.11	c #Conflicts:     888000 | #Constraints:      73446
2398.69/2405.11	c #Conflicts:     889000 | #Constraints:      74446
2398.69/2405.11	c #Conflicts:     890000 | #Constraints:      75446
2398.69/2405.11	c #Conflicts:     891000 | #Constraints:      76446
2398.69/2405.11	c #Conflicts:     892000 | #Constraints:      77446
2398.69/2405.11	c #Conflicts:     893000 | #Constraints:      78446
2398.69/2405.11	c #Conflicts:     894000 | #Constraints:      79446
2398.69/2405.11	c #Conflicts:     895000 | #Constraints:      80446
2398.69/2405.11	c #Conflicts:     896000 | #Constraints:      81446
2398.69/2405.11	c #Conflicts:     897000 | #Constraints:      82446
2398.69/2405.11	c #Conflicts:     898000 | #Constraints:      83446
2398.69/2405.11	c #Conflicts:     899000 | #Constraints:      84446
2398.69/2405.11	c #Conflicts:     900000 | #Constraints:      85446
2398.69/2405.11	c #Conflicts:     901000 | #Constraints:      86446
2398.69/2405.11	c #Conflicts:     902000 | #Constraints:      87446
2398.69/2405.11	c #Conflicts:     903000 | #Constraints:      88446
2398.69/2405.11	c #Conflicts:     904000 | #Constraints:      89446
2398.69/2405.11	c #Conflicts:     905000 | #Constraints:      90446
2398.69/2405.11	c #Conflicts:     906000 | #Constraints:      91446
2398.69/2405.11	c #Conflicts:     907000 | #Constraints:      92446
2398.69/2405.11	c #Conflicts:     908000 | #Constraints:      93446
2398.69/2405.11	c #Conflicts:     909000 | #Constraints:      94446
2398.69/2405.11	c #Conflicts:     910000 | #Constraints:      95446
2398.69/2405.11	c #Conflicts:     911000 | #Constraints:      96446
2398.69/2405.11	c #Conflicts:     912000 | #Constraints:      97446
2398.69/2405.11	c #Conflicts:     913000 | #Constraints:      98446
2398.69/2405.11	c #Conflicts:     914000 | #Constraints:      99446
2398.69/2405.11	c #Conflicts:     915000 | #Constraints:     100446
2398.69/2405.11	c #Conflicts:     916000 | #Constraints:     101446
2398.69/2405.11	c #Conflicts:     917000 | #Constraints:     102446
2398.69/2405.11	c #Conflicts:     918000 | #Constraints:     103446
2398.69/2405.11	c #Conflicts:     919000 | #Constraints:     104446
2398.69/2405.11	c #Conflicts:     920000 | #Constraints:     105446
2398.69/2405.11	c #Conflicts:     921000 | #Constraints:     106446
2398.69/2405.11	c #Conflicts:     922000 | #Constraints:     107446
2398.69/2405.11	c #Conflicts:     923000 | #Constraints:     108446
2398.69/2405.11	c #Conflicts:     924000 | #Constraints:     109446
2398.69/2405.11	c #Conflicts:     925000 | #Constraints:     110446
2398.69/2405.11	c #Conflicts:     926000 | #Constraints:     111446
2398.69/2405.11	c #Conflicts:     927000 | #Constraints:     112446
2398.69/2405.11	c #Conflicts:     928000 | #Constraints:     113446
2398.69/2405.11	c #Conflicts:     929000 | #Constraints:     114446
2398.69/2405.11	c #Conflicts:     930000 | #Constraints:     115446
2398.69/2405.11	c #Conflicts:     931000 | #Constraints:     116446
2398.69/2405.11	c #Conflicts:     932000 | #Constraints:     117446
2398.69/2405.11	c #Conflicts:     933000 | #Constraints:     118446
2398.69/2405.11	c #Conflicts:     934000 | #Constraints:     119446
2646.61/2653.70	c #Conflicts:     935000 | #Constraints:     120446
2646.61/2653.70	c #Conflicts:     936000 | #Constraints:     121446
2646.61/2653.70	c #Conflicts:     937000 | #Constraints:     122446
2646.61/2653.70	c #Conflicts:     938000 | #Constraints:     123446
2646.61/2653.70	c #Conflicts:     939000 | #Constraints:     124446
2646.61/2653.70	c #Conflicts:     940000 | #Constraints:     125446
2646.61/2653.70	c #Conflicts:     941000 | #Constraints:     126446
2646.61/2653.70	c #Conflicts:     942000 | #Constraints:     127446
2646.61/2653.70	c #Conflicts:     943000 | #Constraints:     128446
2646.61/2653.70	c #Conflicts:     944000 | #Constraints:     129446
2646.61/2653.70	c #Conflicts:     945000 | #Constraints:     130446
2646.61/2653.70	c #Conflicts:     946000 | #Constraints:     131446
2646.61/2653.70	c #Conflicts:     947000 | #Constraints:     132446
2646.61/2653.70	c INPROCESSING
2646.61/2653.70	c GARBAGE COLLECT
2646.61/2653.70	c #Conflicts:     948000 | #Constraints:      78798
2646.61/2653.70	c #Conflicts:     949000 | #Constraints:      79798
2646.61/2653.70	c #Conflicts:     950000 | #Constraints:      80798
2646.61/2653.70	c #Conflicts:     951000 | #Constraints:      81798
2646.61/2653.70	c #Conflicts:     952000 | #Constraints:      82798
2646.61/2653.70	c #Conflicts:     953000 | #Constraints:      83798
2646.61/2653.70	c #Conflicts:     954000 | #Constraints:      84798
2646.61/2653.70	c #Conflicts:     955000 | #Constraints:      85798
2646.61/2653.70	c #Conflicts:     956000 | #Constraints:      86798
2646.61/2653.70	c #Conflicts:     957000 | #Constraints:      87798
2646.61/2653.70	c #Conflicts:     958000 | #Constraints:      88798
2646.61/2653.70	c #Conflicts:     959000 | #Constraints:      89798
2646.61/2653.70	c #Conflicts:     960000 | #Constraints:      90798
2646.61/2653.70	c #Conflicts:     961000 | #Constraints:      91798
2646.61/2653.70	c #Conflicts:     962000 | #Constraints:      92798
2646.61/2653.70	c #Conflicts:     963000 | #Constraints:      93798
2646.61/2653.70	c #Conflicts:     964000 | #Constraints:      94798
2646.61/2653.70	c #Conflicts:     965000 | #Constraints:      95798
2646.61/2653.70	c #Conflicts:     966000 | #Constraints:      96798
2646.61/2653.70	c #Conflicts:     967000 | #Constraints:      97798
2646.61/2653.70	c #Conflicts:     968000 | #Constraints:      98798
2646.61/2653.70	c #Conflicts:     969000 | #Constraints:      99798
2646.61/2653.70	c #Conflicts:     970000 | #Constraints:     100798
2646.61/2653.70	c #Conflicts:     971000 | #Constraints:     101798
2646.61/2653.70	c #Conflicts:     972000 | #Constraints:     102798
2646.61/2653.70	c #Conflicts:     973000 | #Constraints:     103798
2646.61/2653.70	c #Conflicts:     974000 | #Constraints:     104798
2646.61/2653.70	c INPROCESSING
2646.61/2653.70	c GARBAGE COLLECT
2646.61/2653.70	c #Conflicts:     975000 | #Constraints:      72532
2646.61/2653.70	c #Conflicts:     976000 | #Constraints:      73532
2646.61/2653.70	c #Conflicts:     977000 | #Constraints:      74532
2646.61/2653.70	c #Conflicts:     978000 | #Constraints:      75532
2646.61/2653.70	c #Conflicts:     979000 | #Constraints:      76532
2646.61/2653.70	c #Conflicts:     980000 | #Constraints:      77532
2646.61/2653.70	c #Conflicts:     981000 | #Constraints:      78532
2646.61/2653.70	c #Conflicts:     982000 | #Constraints:      79532
2646.61/2653.70	c #Conflicts:     983000 | #Constraints:      80532
2646.61/2653.70	c #Conflicts:     984000 | #Constraints:      81532
2646.61/2653.70	c #Conflicts:     985000 | #Constraints:      82532
2646.61/2653.70	c #Conflicts:     986000 | #Constraints:      83532
2646.61/2653.70	c #Conflicts:     987000 | #Constraints:      84532
2646.61/2653.70	c #Conflicts:     988000 | #Constraints:      85532
2646.61/2653.70	c #Conflicts:     989000 | #Constraints:      86532
2646.61/2653.70	c #Conflicts:     990000 | #Constraints:      87532
2646.61/2653.70	c #Conflicts:     991000 | #Constraints:      88532
2646.61/2653.70	c #Conflicts:     992000 | #Constraints:      89532
2646.61/2653.70	c #Conflicts:     993000 | #Constraints:      90532
2646.61/2653.70	c #Conflicts:     994000 | #Constraints:      91532
2646.61/2653.70	c #Conflicts:     995000 | #Constraints:      92532
2646.61/2653.70	c #Conflicts:     996000 | #Constraints:      93532
2646.61/2653.70	c #Conflicts:     997000 | #Constraints:      94532
2646.61/2653.70	c #Conflicts:     998000 | #Constraints:      95532
2646.61/2653.70	c #Conflicts:     999000 | #Constraints:      96532
2646.61/2653.70	c #Conflicts:    1000000 | #Constraints:      97532
2646.61/2653.70	c #Conflicts:    1001000 | #Constraints:      98532
2646.61/2653.70	c #Conflicts:    1002000 | #Constraints:      99532
2646.61/2653.70	c #Conflicts:    1003000 | #Constraints:     100532
2646.61/2653.70	c #Conflicts:    1004000 | #Constraints:     101532
2646.61/2653.70	c #Conflicts:    1005000 | #Constraints:     102532
2646.61/2653.70	c #Conflicts:    1006000 | #Constraints:     103532
2646.61/2653.70	c #Conflicts:    1007000 | #Constraints:     104532
2646.61/2653.70	c #Conflicts:    1008000 | #Constraints:     105532
2646.61/2653.70	c #Conflicts:    1009000 | #Constraints:     106532
2646.61/2653.70	c #Conflicts:    1010000 | #Constraints:     107532
2646.61/2653.70	c #Conflicts:    1011000 | #Constraints:     108532
2928.56/2936.47	c #Conflicts:    1012000 | #Constraints:     109532
2928.56/2936.47	c #Conflicts:    1013000 | #Constraints:     110532
2928.56/2936.47	c #Conflicts:    1014000 | #Constraints:     111532
2928.56/2936.47	c #Conflicts:    1015000 | #Constraints:     112532
2928.56/2936.47	c #Conflicts:    1016000 | #Constraints:     113532
2928.56/2936.47	c #Conflicts:    1017000 | #Constraints:     114532
2928.56/2936.47	c #Conflicts:    1018000 | #Constraints:     115532
2928.56/2936.47	c #Conflicts:    1019000 | #Constraints:     116532
2928.56/2936.47	c #Conflicts:    1020000 | #Constraints:     117532
2928.56/2936.47	c #Conflicts:    1021000 | #Constraints:     118532
2928.56/2936.47	c #Conflicts:    1022000 | #Constraints:     119532
2928.56/2936.47	c #Conflicts:    1023000 | #Constraints:     120532
2928.56/2936.47	c #Conflicts:    1024000 | #Constraints:     121532
2928.56/2936.47	c #Conflicts:    1025000 | #Constraints:     122532
2928.56/2936.47	c #Conflicts:    1026000 | #Constraints:     123532
2928.56/2936.47	c #Conflicts:    1027000 | #Constraints:     124532
2928.56/2936.47	c #Conflicts:    1028000 | #Constraints:     125532
2928.56/2936.47	c #Conflicts:    1029000 | #Constraints:     126532
2928.56/2936.47	c #Conflicts:    1030000 | #Constraints:     127532
2928.56/2936.47	c #Conflicts:    1031000 | #Constraints:     128532
2928.56/2936.47	c #Conflicts:    1032000 | #Constraints:     129532
2928.56/2936.47	c #Conflicts:    1033000 | #Constraints:     130532
2928.56/2936.47	c #Conflicts:    1034000 | #Constraints:     131532
2928.56/2936.47	c #Conflicts:    1035000 | #Constraints:     132532
2928.56/2936.47	c #Conflicts:    1036000 | #Constraints:     133532
2928.56/2936.47	c #Conflicts:    1037000 | #Constraints:     134532
2928.56/2936.47	c #Conflicts:    1038000 | #Constraints:     135532
2928.56/2936.47	c #Conflicts:    1039000 | #Constraints:     136532
2928.56/2936.47	c #Conflicts:    1040000 | #Constraints:     137532
2928.56/2936.47	c INPROCESSING
2928.56/2936.47	c GARBAGE COLLECT
2928.56/2936.47	c #Conflicts:    1041000 | #Constraints:      81031
2928.56/2936.47	c #Conflicts:    1042000 | #Constraints:      82031
2928.56/2936.47	c #Conflicts:    1043000 | #Constraints:      83031
2928.56/2936.47	c #Conflicts:    1044000 | #Constraints:      84031
2928.56/2936.47	c #Conflicts:    1045000 | #Constraints:      85031
2928.56/2936.47	c #Conflicts:    1046000 | #Constraints:      86031
2928.56/2936.47	c #Conflicts:    1047000 | #Constraints:      87031
2928.56/2936.47	c #Conflicts:    1048000 | #Constraints:      88031
2928.56/2936.47	c #Conflicts:    1049000 | #Constraints:      89031
2928.56/2936.47	c #Conflicts:    1050000 | #Constraints:      90031
2928.56/2936.47	c #Conflicts:    1051000 | #Constraints:      91031
2928.56/2936.47	c #Conflicts:    1052000 | #Constraints:      92031
2928.56/2936.47	c #Conflicts:    1053000 | #Constraints:      93031
2928.56/2936.47	c #Conflicts:    1054000 | #Constraints:      94031
2928.56/2936.47	c #Conflicts:    1055000 | #Constraints:      95031
2928.56/2936.47	c #Conflicts:    1056000 | #Constraints:      96031
2928.56/2936.47	c #Conflicts:    1057000 | #Constraints:      97031
2928.56/2936.47	c #Conflicts:    1058000 | #Constraints:      98031
2928.56/2936.47	c #Conflicts:    1059000 | #Constraints:      99031
2928.56/2936.47	c #Conflicts:    1060000 | #Constraints:     100031
2928.56/2936.47	c #Conflicts:    1061000 | #Constraints:     101031
2928.56/2936.47	c #Conflicts:    1062000 | #Constraints:     102031
2928.56/2936.47	c #Conflicts:    1063000 | #Constraints:     103031
2928.56/2936.47	c #Conflicts:    1064000 | #Constraints:     104031
2928.56/2936.47	c #Conflicts:    1065000 | #Constraints:     105031
2928.56/2936.47	c #Conflicts:    1066000 | #Constraints:     106031
2928.56/2936.47	c #Conflicts:    1067000 | #Constraints:     107031
2928.56/2936.47	c #Conflicts:    1068000 | #Constraints:     108031
2928.56/2936.47	c #Conflicts:    1069000 | #Constraints:     109031
2928.56/2936.47	c INPROCESSING
2928.56/2936.47	c GARBAGE COLLECT
2928.56/2936.47	c #Conflicts:    1070000 | #Constraints:      74570
2928.56/2936.47	c #Conflicts:    1071000 | #Constraints:      75570
2928.56/2936.47	c #Conflicts:    1072000 | #Constraints:      76570
2928.56/2936.47	c #Conflicts:    1073000 | #Constraints:      77570
2928.56/2936.47	c #Conflicts:    1074000 | #Constraints:      78570
2928.56/2936.47	c #Conflicts:    1075000 | #Constraints:      79570
2928.56/2936.47	c #Conflicts:    1076000 | #Constraints:      80570
2928.56/2936.47	c #Conflicts:    1077000 | #Constraints:      81570
2928.56/2936.47	c #Conflicts:    1078000 | #Constraints:      82570
2928.56/2936.47	c #Conflicts:    1079000 | #Constraints:      83570
2928.56/2936.47	c #Conflicts:    1080000 | #Constraints:      84570
2928.56/2936.47	c #Conflicts:    1081000 | #Constraints:      85570
2928.56/2936.47	c #Conflicts:    1082000 | #Constraints:      86570
2928.56/2936.47	c #Conflicts:    1083000 | #Constraints:      87570
2928.56/2936.47	c #Conflicts:    1084000 | #Constraints:      88570
2928.56/2936.47	c #Conflicts:    1085000 | #Constraints:      89570
2928.56/2936.47	c #Conflicts:    1086000 | #Constraints:      90570
2928.56/2936.47	c #Conflicts:    1087000 | #Constraints:      91570
2928.56/2936.47	c #Conflicts:    1088000 | #Constraints:      92570
2928.56/2936.47	c #Conflicts:    1089000 | #Constraints:      93570
3245.60/3254.32	c #Conflicts:    1090000 | #Constraints:      94570
3245.60/3254.32	c #Conflicts:    1091000 | #Constraints:      95570
3245.60/3254.32	c #Conflicts:    1092000 | #Constraints:      96570
3245.60/3254.32	c #Conflicts:    1093000 | #Constraints:      97570
3245.60/3254.32	c #Conflicts:    1094000 | #Constraints:      98570
3245.60/3254.32	c #Conflicts:    1095000 | #Constraints:      99570
3245.60/3254.32	c #Conflicts:    1096000 | #Constraints:     100570
3245.60/3254.32	c #Conflicts:    1097000 | #Constraints:     101570
3245.60/3254.32	c #Conflicts:    1098000 | #Constraints:     102570
3245.60/3254.32	c #Conflicts:    1099000 | #Constraints:     103570
3245.60/3254.32	c #Conflicts:    1100000 | #Constraints:     104570
3245.60/3254.32	c #Conflicts:    1101000 | #Constraints:     105570
3245.60/3254.32	c #Conflicts:    1102000 | #Constraints:     106570
3245.60/3254.32	c #Conflicts:    1103000 | #Constraints:     107570
3245.60/3254.32	c #Conflicts:    1104000 | #Constraints:     108570
3245.60/3254.32	c #Conflicts:    1105000 | #Constraints:     109570
3245.60/3254.32	c #Conflicts:    1106000 | #Constraints:     110570
3245.60/3254.32	c #Conflicts:    1107000 | #Constraints:     111570
3245.60/3254.32	c #Conflicts:    1108000 | #Constraints:     112570
3245.60/3254.32	c #Conflicts:    1109000 | #Constraints:     113570
3245.60/3254.32	c #Conflicts:    1110000 | #Constraints:     114570
3245.60/3254.32	c #Conflicts:    1111000 | #Constraints:     115570
3245.60/3254.32	c #Conflicts:    1112000 | #Constraints:     116570
3245.60/3254.32	c #Conflicts:    1113000 | #Constraints:     117570
3245.60/3254.32	c #Conflicts:    1114000 | #Constraints:     118570
3245.60/3254.32	c #Conflicts:    1115000 | #Constraints:     119570
3245.60/3254.32	c #Conflicts:    1116000 | #Constraints:     120570
3245.60/3254.32	c #Conflicts:    1117000 | #Constraints:     121570
3245.60/3254.32	c #Conflicts:    1118000 | #Constraints:     122570
3245.60/3254.32	c #Conflicts:    1119000 | #Constraints:     123570
3245.60/3254.32	c #Conflicts:    1120000 | #Constraints:     124570
3245.60/3254.32	c #Conflicts:    1121000 | #Constraints:     125570
3245.60/3254.32	c #Conflicts:    1122000 | #Constraints:     126570
3245.60/3254.32	c #Conflicts:    1123000 | #Constraints:     127570
3245.60/3254.32	c #Conflicts:    1124000 | #Constraints:     128570
3245.60/3254.32	c #Conflicts:    1125000 | #Constraints:     129570
3245.60/3254.32	c #Conflicts:    1126000 | #Constraints:     130570
3245.60/3254.32	c #Conflicts:    1127000 | #Constraints:     131570
3245.60/3254.32	c #Conflicts:    1128000 | #Constraints:     132570
3245.60/3254.32	c #Conflicts:    1129000 | #Constraints:     133570
3245.60/3254.32	c #Conflicts:    1130000 | #Constraints:     134570
3245.60/3254.32	c #Conflicts:    1131000 | #Constraints:     135570
3245.60/3254.32	c #Conflicts:    1132000 | #Constraints:     136570
3245.60/3254.32	c #Conflicts:    1133000 | #Constraints:     137570
3245.60/3254.32	c #Conflicts:    1134000 | #Constraints:     138570
3245.60/3254.32	c #Conflicts:    1135000 | #Constraints:     139570
3245.60/3254.32	c #Conflicts:    1136000 | #Constraints:     140570
3245.60/3254.32	c #Conflicts:    1137000 | #Constraints:     141570
3245.60/3254.32	c #Conflicts:    1138000 | #Constraints:     142570
3245.60/3254.32	c INPROCESSING
3245.60/3254.32	c GARBAGE COLLECT
3245.60/3254.32	c #Conflicts:    1139000 | #Constraints:      83456
3245.60/3254.32	c #Conflicts:    1140000 | #Constraints:      84456
3245.60/3254.32	c #Conflicts:    1141000 | #Constraints:      85456
3245.60/3254.32	c #Conflicts:    1142000 | #Constraints:      86456
3245.60/3254.32	c #Conflicts:    1143000 | #Constraints:      87456
3245.60/3254.32	c #Conflicts:    1144000 | #Constraints:      88456
3245.60/3254.32	c #Conflicts:    1145000 | #Constraints:      89456
3245.60/3254.32	c #Conflicts:    1146000 | #Constraints:      90456
3245.60/3254.32	c #Conflicts:    1147000 | #Constraints:      91456
3245.60/3254.32	c #Conflicts:    1148000 | #Constraints:      92456
3245.60/3254.32	c #Conflicts:    1149000 | #Constraints:      93456
3245.60/3254.32	c #Conflicts:    1150000 | #Constraints:      94456
3245.60/3254.32	c #Conflicts:    1151000 | #Constraints:      95456
3245.60/3254.32	c #Conflicts:    1152000 | #Constraints:      96456
3245.60/3254.32	c #Conflicts:    1153000 | #Constraints:      97456
3245.60/3254.32	c #Conflicts:    1154000 | #Constraints:      98456
3245.60/3254.32	c #Conflicts:    1155000 | #Constraints:      99456
3245.60/3254.32	c #Conflicts:    1156000 | #Constraints:     100456
3245.60/3254.32	c #Conflicts:    1157000 | #Constraints:     101456
3245.60/3254.32	c #Conflicts:    1158000 | #Constraints:     102456
3245.60/3254.32	c #Conflicts:    1159000 | #Constraints:     103456
3245.60/3254.32	c #Conflicts:    1160000 | #Constraints:     104456
3245.60/3254.32	c #Conflicts:    1161000 | #Constraints:     105456
3245.60/3254.32	c #Conflicts:    1162000 | #Constraints:     106456
3245.60/3254.32	c #Conflicts:    1163000 | #Constraints:     107456
3245.60/3254.32	c #Conflicts:    1164000 | #Constraints:     108456
3245.60/3254.32	c #Conflicts:    1165000 | #Constraints:     109456
3245.60/3254.32	c #Conflicts:    1166000 | #Constraints:     110456
3245.60/3254.32	c #Conflicts:    1167000 | #Constraints:     111456
3498.91/3508.31	c #Conflicts:    1168000 | #Constraints:     112456
3498.91/3508.31	c INPROCESSING
3498.91/3508.31	c GARBAGE COLLECT
3498.91/3508.31	c #Conflicts:    1169000 | #Constraints:      76599
3498.91/3508.31	c #Conflicts:    1170000 | #Constraints:      77599
3498.91/3508.31	c #Conflicts:    1171000 | #Constraints:      78599
3498.91/3508.31	c #Conflicts:    1172000 | #Constraints:      79599
3498.91/3508.31	c #Conflicts:    1173000 | #Constraints:      80599
3498.91/3508.31	c #Conflicts:    1174000 | #Constraints:      81599
3498.91/3508.31	c #Conflicts:    1175000 | #Constraints:      82599
3498.91/3508.31	c #Conflicts:    1176000 | #Constraints:      83599
3498.91/3508.31	c #Conflicts:    1177000 | #Constraints:      84599
3498.91/3508.31	c #Conflicts:    1178000 | #Constraints:      85599
3498.91/3508.31	c #Conflicts:    1179000 | #Constraints:      86599
3498.91/3508.31	c #Conflicts:    1180000 | #Constraints:      87599
3498.91/3508.31	c #Conflicts:    1181000 | #Constraints:      88599
3498.91/3508.31	c #Conflicts:    1182000 | #Constraints:      89599
3498.91/3508.31	c #Conflicts:    1183000 | #Constraints:      90599
3498.91/3508.31	c #Conflicts:    1184000 | #Constraints:      91599
3498.91/3508.31	c #Conflicts:    1185000 | #Constraints:      92599
3498.91/3508.31	c #Conflicts:    1186000 | #Constraints:      93599
3498.91/3508.31	c #Conflicts:    1187000 | #Constraints:      94599
3498.91/3508.31	c #Conflicts:    1188000 | #Constraints:      95599
3498.91/3508.31	c #Conflicts:    1189000 | #Constraints:      96599
3498.91/3508.31	c #Conflicts:    1190000 | #Constraints:      97599
3498.91/3508.31	c #Conflicts:    1191000 | #Constraints:      98599
3498.91/3508.31	c #Conflicts:    1192000 | #Constraints:      99599
3498.91/3508.31	c #Conflicts:    1193000 | #Constraints:     100599
3498.91/3508.31	c #Conflicts:    1194000 | #Constraints:     101599
3498.91/3508.31	c #Conflicts:    1195000 | #Constraints:     102599
3498.91/3508.31	c #Conflicts:    1196000 | #Constraints:     103599
3498.91/3508.31	c #Conflicts:    1197000 | #Constraints:     104599
3498.91/3508.31	c #Conflicts:    1198000 | #Constraints:     105599
3498.91/3508.31	c #Conflicts:    1199000 | #Constraints:     106599
3498.91/3508.31	c #Conflicts:    1200000 | #Constraints:     107599
3498.91/3508.31	c #Conflicts:    1201000 | #Constraints:     108599
3498.91/3508.31	c #Conflicts:    1202000 | #Constraints:     109599
3498.91/3508.31	c #Conflicts:    1203000 | #Constraints:     110599
3498.91/3508.31	c #Conflicts:    1204000 | #Constraints:     111599
3498.91/3508.31	c #Conflicts:    1205000 | #Constraints:     112599
3498.91/3508.31	c #Conflicts:    1206000 | #Constraints:     113599
3498.91/3508.31	c #Conflicts:    1207000 | #Constraints:     114599
3498.91/3508.31	c #Conflicts:    1208000 | #Constraints:     115599
3498.91/3508.31	c #Conflicts:    1209000 | #Constraints:     116599
3498.91/3508.31	c #Conflicts:    1210000 | #Constraints:     117599
3498.91/3508.31	c #Conflicts:    1211000 | #Constraints:     118599
3498.91/3508.31	c #Conflicts:    1212000 | #Constraints:     119599
3498.91/3508.31	c #Conflicts:    1213000 | #Constraints:     120599
3498.91/3508.31	c #Conflicts:    1214000 | #Constraints:     121599
3498.91/3508.31	c #Conflicts:    1215000 | #Constraints:     122599
3498.91/3508.31	c #Conflicts:    1216000 | #Constraints:     123600
3498.91/3508.31	c #Conflicts:    1217000 | #Constraints:     124600
3498.91/3508.31	c #Conflicts:    1218000 | #Constraints:     125600
3498.91/3508.31	c #Conflicts:    1219000 | #Constraints:     126600
3498.91/3508.31	c #Conflicts:    1220000 | #Constraints:     127600
3498.91/3508.31	c #Conflicts:    1221000 | #Constraints:     128600
3498.91/3508.31	c #Conflicts:    1222000 | #Constraints:     129600
3498.91/3508.31	c #Conflicts:    1223000 | #Constraints:     130600
3498.91/3508.31	c #Conflicts:    1224000 | #Constraints:     131600
3498.91/3508.31	c #Conflicts:    1225000 | #Constraints:     132600
3498.91/3508.31	c #Conflicts:    1226000 | #Constraints:     133600
3498.91/3508.31	c #Conflicts:    1227000 | #Constraints:     134600
3498.91/3508.31	c #Conflicts:    1228000 | #Constraints:     135600
3498.91/3508.31	c #Conflicts:    1229000 | #Constraints:     136600
3498.91/3508.31	c #Conflicts:    1230000 | #Constraints:     137600
3498.91/3508.31	c #Conflicts:    1231000 | #Constraints:     138600
3498.91/3508.31	c #Conflicts:    1232000 | #Constraints:     139600
3498.91/3508.31	c #Conflicts:    1233000 | #Constraints:     140600
3498.91/3508.31	c #Conflicts:    1234000 | #Constraints:     141600
3498.91/3508.31	c #Conflicts:    1235000 | #Constraints:     142600
3498.91/3508.31	c #Conflicts:    1236000 | #Constraints:     143600
3498.91/3508.31	c #Conflicts:    1237000 | #Constraints:     144600
3498.91/3508.31	c #Conflicts:    1238000 | #Constraints:     145600
3498.91/3508.31	c #Conflicts:    1239000 | #Constraints:     146600
3498.91/3508.31	c #Conflicts:    1240000 | #Constraints:     147600
3498.91/3508.31	c INPROCESSING
3498.91/3508.31	c GARBAGE COLLECT
3498.91/3508.31	c #Conflicts:    1241000 | #Constraints:      85938
3498.91/3508.31	c #Conflicts:    1242000 | #Constraints:      86938
3498.91/3508.31	c #Conflicts:    1243000 | #Constraints:      87938
3498.91/3508.31	c #Conflicts:    1244000 | #Constraints:      88938
3600.04/3609.70	c #Conflicts:    1245000 | #Constraints:      89938
3600.04/3609.70	c #Conflicts:    1246000 | #Constraints:      90938
3600.04/3609.70	c #Conflicts:    1247000 | #Constraints:      91938
3600.04/3609.70	c #Conflicts:    1248000 | #Constraints:      92938
3600.04/3609.70	c #Conflicts:    1249000 | #Constraints:      93938
3600.04/3609.70	c #Conflicts:    1250000 | #Constraints:      94938
3600.04/3609.70	c #Conflicts:    1251000 | #Constraints:      95938
3600.04/3609.70	c #Conflicts:    1252000 | #Constraints:      96938
3600.04/3609.70	c #Conflicts:    1253000 | #Constraints:      97938
3600.04/3609.70	c #Conflicts:    1254000 | #Constraints:      98938
3600.04/3609.70	c #Conflicts:    1255000 | #Constraints:      99938
3600.04/3609.70	c #Conflicts:    1256000 | #Constraints:     100938
3600.04/3609.70	c #Conflicts:    1257000 | #Constraints:     101938
3600.04/3609.70	c #Conflicts:    1258000 | #Constraints:     102938
3600.04/3609.70	c #Conflicts:    1259000 | #Constraints:     103938
3600.04/3609.70	c #Conflicts:    1260000 | #Constraints:     104938
3600.04/3609.70	c #Conflicts:    1261000 | #Constraints:     105938
3600.04/3609.70	c #Conflicts:    1262000 | #Constraints:     106938
3600.04/3609.70	c #Conflicts:    1263000 | #Constraints:     107938
3600.04/3609.70	c #Conflicts:    1264000 | #Constraints:     108938
3600.04/3609.70	c #Conflicts:    1265000 | #Constraints:     109938
3600.04/3609.70	c #Conflicts:    1266000 | #Constraints:     110938
3600.04/3609.70	c #Conflicts:    1267000 | #Constraints:     111938
3600.04/3609.70	c #Conflicts:    1268000 | #Constraints:     112938
3600.04/3609.70	c #Conflicts:    1269000 | #Constraints:     113938
3600.04/3609.70	c #Conflicts:    1270000 | #Constraints:     114938
3600.04/3609.70	c #Conflicts:    1271000 | #Constraints:     115938
3600.04/3609.70	c #Conflicts:    1272000 | #Constraints:     116938
3600.04/3609.70	c INPROCESSING
3600.04/3609.70	c GARBAGE COLLECT
3600.04/3609.70	c #Conflicts:    1273000 | #Constraints:      79924
3600.04/3609.70	c #Conflicts:    1274000 | #Constraints:      80924
3600.04/3609.70	c #Conflicts:    1275000 | #Constraints:      81924
3600.04/3609.70	c #Conflicts:    1276000 | #Constraints:      82924
3600.04/3609.70	c #Conflicts:    1277000 | #Constraints:      83924
3600.04/3609.70	c #Conflicts:    1278000 | #Constraints:      84924
3600.04/3609.70	c #Conflicts:    1279000 | #Constraints:      85924
3600.04/3609.70	c #Conflicts:    1280000 | #Constraints:      86924
3600.04/3609.70	c #Conflicts:    1281000 | #Constraints:      87924
3600.04/3609.70	c #Conflicts:    1282000 | #Constraints:      88924
3600.04/3609.70	c #Conflicts:    1283000 | #Constraints:      89924
3600.04/3609.70	c #Conflicts:    1284000 | #Constraints:      90924
3600.04/3609.70	c #Conflicts:    1285000 | #Constraints:      91924
3600.04/3609.70	c #Conflicts:    1286000 | #Constraints:      92924
3600.04/3609.70	c #Conflicts:    1287000 | #Constraints:      93924
3600.04/3609.70	c #Conflicts:    1288000 | #Constraints:      94924
3600.04/3609.70	c #Conflicts:    1289000 | #Constraints:      95924
3600.04/3609.70	c #Conflicts:    1290000 | #Constraints:      96924
3600.04/3609.70	c #Conflicts:    1291000 | #Constraints:      97924
3600.04/3609.70	c #Conflicts:    1292000 | #Constraints:      98924
3600.04/3609.70	c #Conflicts:    1293000 | #Constraints:      99924
3600.04/3609.70	c #Conflicts:    1294000 | #Constraints:     100924
3600.04/3609.70	c #Conflicts:    1295000 | #Constraints:     101924
3600.04/3609.70	c #Conflicts:    1296000 | #Constraints:     102924
3600.04/3609.70	c cpu time 3562.93 s
3600.04/3609.70	c deterministic time 214854374546 2.15e+11
3600.04/3609.70	c optimization time 43.8617 s
3600.04/3609.70	c total solve time 3518.96 s
3600.04/3609.70	c core-guided solve time 0 s
3600.04/3609.70	c propagation time 1925.75 s
3600.04/3609.70	c conflict analysis time 1280.69 s
3600.04/3609.70	c propagations 1287945153
3600.04/3609.70	c resolve steps 80433602
3600.04/3609.70	c decisions 29297211
3600.04/3609.70	c conflicts 1296942
3600.04/3609.70	c restarts 2504
3600.04/3609.70	c inprocessing phases 48
3600.04/3609.70	c garbage collections 48 ,( 100.00 )
3600.04/3609.70	c input clauses 20282 ,( 99.17 )
3600.04/3609.70	c input cardinalities 169 ,( 0.83 )
3600.04/3609.70	c input general constraints 0 ,( 0.00 )
3600.04/3609.70	c input average constraint length 6.43
3600.04/3609.70	c input average constraint degree 1.97
3600.04/3609.70	c learned clauses 951072 ,( 73.33 )
3600.04/3609.70	c learned cardinalities 43964 ,( 3.39 )
3600.04/3609.70	c learned general constraints 301915 ,( 23.28 )
3600.04/3609.70	c learned average constraint length 729.91
3600.04/3609.70	c learned average constraint degree 20590902.28
3600.04/3609.70	c watched  CF 32, 64, 128, Arb: 78191 , 0 , 0 , 0
3600.04/3609.70	c counting CF 32, 64, 128, Arb: 223724 , 0 , 0 , 0
3600.04/3609.70	c watched   constraints 78191 ,( 25.90 ) 
3600.04/3609.70	c counting  constraints 223724 ,( 74.10 ) 
3600.04/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1188861587 , 642977814 , 1779456173 ,( 77416826 , 1702039347 )
3600.04/3609.70	c gcd simplifications 759
3600.04/3609.70	c detected cardinalities 6448
3600.04/3609.70	c weakened non-implied lits 357575409
3600.04/3609.70	c weakened non-implying lits 198723
3600.04/3609.70	c original variables 20111
3600.04/3609.70	c clausal propagations 592805874
3600.04/3609.70	c cardinality propagations 475068794
3600.04/3609.70	c watched propagations 4051036
3600.04/3609.70	c counting propagations 203637356
3600.04/3609.70	c watch lookups 71263538229
3600.04/3609.70	c watch backjump lookups 0
3600.04/3609.70	c watch checks 29709620730
3600.04/3609.70	c propagation checks 106767129638
3600.04/3609.70	c constraint additions 4478052618
3600.04/3609.70	c trail pops 1318521570
3600.04/3609.70	c formula constraints 20451
3600.04/3609.70	c learned constraints 1296936
3600.04/3609.70	c bound constraints 0
3600.04/3609.70	c core-guided constraints 0
3600.04/3609.70	c encountered formula constraints 51517613
3600.04/3609.70	c encountered learned constraints 30211898
3600.04/3609.70	c encountered bound constraints 0
3600.04/3609.70	c encountered core-guided constraints 0
3600.04/3609.70	c LP total time 433.523 s
3600.04/3609.70	c LP solve time 424.94 s
3600.04/3609.70	c LP constraints added 20843
3600.04/3609.70	c LP constraints removed 37
3600.04/3609.70	c LP pivots internal 134771
3600.04/3609.70	c LP pivots root 134625
3600.04/3609.70	c LP calls 17
3600.04/3609.70	c LP optimalities 5
3600.04/3609.70	c LP no pivot count 0
3600.04/3609.70	c LP infeasibilities 5
3600.04/3609.70	c LP valid Farkas constraints 5
3600.04/3609.70	c LP learned Farkas constraints 5
3600.04/3609.70	c LP basis resets 0
3600.04/3609.70	c LP cycling count 0
3600.04/3609.70	c LP singular count 0
3600.04/3609.70	c LP no primal count 0
3600.04/3609.70	c LP no farkas count 0
3600.04/3609.70	c LP other issue count 0
3600.04/3609.70	c LP Gomory cuts 5
3600.04/3609.70	c LP learned cuts 387
3600.04/3609.70	c LP deleted cuts 37
3600.04/3609.70	c LP encountered Gomory constraints 544
3600.04/3609.70	c LP encountered Farkas constraints 472
3600.04/3609.70	c LP encountered learned Farkas constraints 12
3600.04/3609.70	c CG auxiliary variables introduced 0
3600.04/3609.70	c CG solutions found 0
3600.04/3609.70	c CG cores constructed 0
3600.04/3609.70	c CG core cardinality constraints returned 0
3600.04/3609.70	c CG unit cores 0
3600.04/3609.70	c CG single cores 0
3600.04/3609.70	c CG blocks removed during cardinality reduction 0
3600.04/3609.70	c CG first core best 0
3600.04/3609.70	c CG decision core best 0
3600.04/3609.70	c CG core reduction tie 0
3600.04/3609.70	c CG core degree average 0.00
3600.04/3609.70	c CG core slack average 0.00
3600.04/3609.70	c CG core upper bound improvements 0
3600.04/3609.70	c STR number of successful calls 0
3600.04/3609.70	c STR number of unsuccessful calls 0
3600.04/3609.70	c STR number of inconclusive calls 0
3600.04/3609.70	c STR number of successful attempts 0
3600.04/3609.70	c STR number of unsuccessful attempts 0
3600.04/3609.70	c STR number of inconclusive attempts 0
3600.04/3609.70	c STR average degree increase per successful call inf
3600.04/3609.70	c STR average degree increase per successful attempt inf
3600.04/3609.70	c STR total number of conflicts for successful attempts 0
3600.04/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.70	c STR average number of conflicts per successful attempt inf
3600.04/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.70	c AVG.sumWPerc 65.93 
3600.04/3609.70	c bigint constraints 0 
3600.04/3609.70	s UNKNOWN
3600.04/3609.70	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506761-1751173090/watcher-4506761-1751173090 -o /tmp/evaluation-result-4506761-1751173090/solver-4506761-1751173090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22497 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506761-1751173090.opb PROOFDIR/proof-4506761-1751173090 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=23037, runsolver pid=23034

[startup+0.100066 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 23039
/proc/meminfo: memFree=127143160/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=68568 memory=23424 CPUtime=0.09 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 3895 0 0 0 7 2 0 0 20 0 1 0 32986764 70213632 5856 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 17142 5856 2208 1147 0 4569 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72760 KiB
Current children cumulated memory: 26496 KiB

[startup+0.206073 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 23039
/proc/meminfo: memFree=127103592/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=106868 memory=51488 CPUtime=0.18 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 10606 0 0 0 15 3 0 0 20 0 1 0 32986764 109432832 12872 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 26717 12872 2272 1147 0 14144 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 111060 KiB
Current children cumulated memory: 54560 KiB

[startup+0.305884 s]*
/proc/loadavg: 4.16 4.16 4.11 5/273 23039
/proc/meminfo: memFree=127095528/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=107792 memory=52512 CPUtime=0.28 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 10869 0 0 0 25 3 0 0 20 0 1 0 32986764 110379008 13128 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 26948 13128 2272 1147 0 14375 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 111984 KiB
Current children cumulated memory: 55584 KiB

[startup+0.700221 s]
/proc/loadavg: 4.16 4.16 4.11 5/273 23039
/proc/meminfo: memFree=127091496/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=109884 memory=55072 CPUtime=0.68 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 11498 0 0 0 64 4 0 0 20 0 1 0 32986764 112521216 13768 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 27471 13768 2272 1147 0 14898 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114076 KiB
Current children cumulated memory: 58144 KiB

[startup+1.50021 s]
/proc/loadavg: 4.16 4.16 4.11 6/273 23039
/proc/meminfo: memFree=127091496/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=110524 memory=56224 CPUtime=1.47 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 11803 0 0 0 143 4 0 0 20 0 1 0 32986764 113176576 14056 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 27631 14056 2272 1147 0 15058 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 114716 KiB
Current children cumulated memory: 59296 KiB

[startup+3.10588 s]
/proc/loadavg: 4.16 4.16 4.11 6/273 23039
/proc/meminfo: memFree=127083544/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=113608 memory=63864 CPUtime=3.08 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 13171 0 0 0 294 14 0 0 20 0 1 0 32986764 116334592 15966 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 28402 15966 2336 1147 0 15829 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117800 KiB
Current children cumulated memory: 66936 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.16 4.11 6/273 23039
/proc/meminfo: memFree=127052884/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=123632 memory=73364 CPUtime=6.26 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 15049 0 0 0 597 29 0 0 20 0 1 0 32986764 126599168 18341 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 30908 18341 2336 1147 0 18335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127824 KiB
Current children cumulated memory: 76436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.11 6/273 23039
/proc/meminfo: memFree=127001028/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=143232 memory=89176 CPUtime=12.65 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 17977 0 0 0 1206 59 0 0 20 0 1 0 32986764 146669568 22294 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 35808 22294 2336 1147 0 23235 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147424 KiB
Current children cumulated memory: 92248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.10 6/273 23040
/proc/meminfo: memFree=126970620/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=153164 memory=100144 CPUtime=25.41 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 20203 0 0 0 2465 76 0 0 20 0 1 0 32986764 156839936 25036 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 38291 25036 2336 1147 0 25718 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 157356 KiB
Current children cumulated memory: 103216 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.15 4.11 6/273 23040
/proc/meminfo: memFree=126784676/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=185028 memory=135056 CPUtime=50.95 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 25939 0 0 0 4949 146 0 0 20 0 1 0 32986764 189468672 33764 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 46257 33764 2336 1147 0 33684 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 189220 KiB
Current children cumulated memory: 138128 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.10 6/273 23042
/proc/meminfo: memFree=126203916/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=231948 memory=178608 CPUtime=102.02 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 33260 0 0 0 9961 241 0 0 20 0 1 0 32986764 237514752 44652 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 57987 44652 2336 1147 0 45414 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 236140 KiB
Current children cumulated memory: 181680 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.10 6/273 23044
/proc/meminfo: memFree=126103384/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=275684 memory=205536 CPUtime=161.86 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 36937 0 0 0 15861 325 0 0 20 0 1 0 32986764 282300416 51384 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 68921 51384 2336 1147 0 56348 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 279876 KiB
Current children cumulated memory: 208608 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/273 23057
/proc/meminfo: memFree=125575536/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=305684 memory=235360 CPUtime=221.71 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 44396 0 0 0 21722 449 0 0 20 0 1 0 32986764 313020416 58840 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 76421 58840 2336 1147 0 63848 0
Current children cumulated CPU time: 221.71 s

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

/proc/23039/statm: 280488 233434 2336 1147 0 267915 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 1126144 KiB
Current children cumulated memory: 936808 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.21 4.14 6/269 23207
/proc/meminfo: memFree=111685988/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1144768 memory=951784 CPUtime=3153.86 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 132475 0 0 0 312160 3226 0 0 20 0 1 0 32986764 1172242432 237946 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 286192 237946 2336 1147 0 273619 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 1148960 KiB
Current children cumulated memory: 954856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.19 4.14 6/270 23210
/proc/meminfo: memFree=111500948/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1150880 memory=959132 CPUtime=3213.69 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 133809 0 0 0 318074 3295 0 0 20 0 1 0 32986764 1178501120 239783 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 287720 239783 2336 1147 0 275147 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 1155072 KiB
Current children cumulated memory: 962204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.13 6/269 23212
/proc/meminfo: memFree=111157408/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1152624 memory=960796 CPUtime=3273.53 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 134245 0 0 0 323985 3368 0 0 20 0 1 0 32986764 1180286976 240199 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 288156 240199 2336 1147 0 275583 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 1156816 KiB
Current children cumulated memory: 963868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.13 6/269 23215
/proc/meminfo: memFree=110947496/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1152624 memory=960796 CPUtime=3333.36 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 134245 0 0 0 329890 3446 0 0 20 0 1 0 32986764 1180286976 240199 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 288156 240199 2336 1147 0 275583 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 1156816 KiB
Current children cumulated memory: 963868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.13 6/271 23223
/proc/meminfo: memFree=110751860/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1157432 memory=964380 CPUtime=3393.21 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 135141 0 0 0 335818 3503 0 0 20 0 1 0 32986764 1185210368 241095 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 289358 241095 2336 1147 0 276785 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1161624 KiB
Current children cumulated memory: 967452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.11 6/271 23227
/proc/meminfo: memFree=110595836/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1159572 memory=966940 CPUtime=3453.04 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 135886 0 0 0 341758 3546 0 0 20 0 1 0 32986764 1187401728 241735 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 289893 241735 2336 1147 0 277320 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 1163764 KiB
Current children cumulated memory: 970012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/272 23367
/proc/meminfo: memFree=123340996/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1169932 memory=975260 CPUtime=3512.87 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 137961 0 0 0 347679 3608 0 0 20 0 1 0 32986764 1198010368 243815 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 292483 243815 2336 1147 0 279910 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 1174124 KiB
Current children cumulated memory: 978332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/272 23369
/proc/meminfo: memFree=122671124/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1169932 memory=975260 CPUtime=3572.71 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 137961 0 0 0 353592 3679 0 0 20 0 1 0 32986764 1198010368 243815 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 292483 243815 2336 1147 0 279910 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1174124 KiB
Current children cumulated memory: 978332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.07 4.11 4.10 5/271 23369
/proc/meminfo: memFree=122394344/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1169932 memory=975260 CPUtime=3600.04 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 137961 0 0 0 356293 3711 0 0 20 0 1 0 32986764 1198010368 243815 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 292483 243815 2336 1147 0 279910 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1174124 KiB
Current children cumulated memory: 978332 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000885 s, system=0.001772 s

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

# cumulated CPU time of all completed processes:  user=3562.94 s, system=37.1231 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+3609.7 s]
/proc/loadavg: 4.07 4.11 4.10 5/271 23369
/proc/meminfo: memFree=122394344/131249996 swapFree=33010684/33010684
[pid=23037] ppid=23034 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23037/stat : 23037 (run-dec-log.sh) S 23034 23037 22485 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32986763 4292608 768 18446744073709551615 94706338566144 94706339460677 140734489553760 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94706339699728 94706339747472 94706367651840 140734489557281 140734489557476 140734489557476 140734489563078 0
/proc/23037/statm: 1048 768 704 219 0 110 0
[pid=23039] ppid=23037 vsize=1169932 memory=975260 CPUtime=3600.04 cores=1,3
/proc/23039/stat : 23039 (roundingsat) R 23037 23037 22485 0 -1 4194304 137961 0 0 0 356293 3711 0 0 20 0 1 0 32986764 1198010368 243815 18446744073709551615 4227072 8923433 140723602819536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13840384 140723602827623 140723602827816 140723602827816 140723602833386 0
/proc/23039/statm: 292483 243815 2336 1147 0 279910 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1174124 KiB
Current children cumulated memory: 978332 KiB

Child status: 2

Real time (s): 3609.72
CPU time (s): 3600.06
CPU user time (s): 3562.94
CPU system time (s): 37.1231
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 1174124
Max. memory (cumulated for all children) (KiB): 978332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.94
system time used= 37.1231
maximum resident set size= 975772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10715664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 338
involuntary context switches= 7962


# summary of solver processes directly reported to runsolver:
#   pid: 23037,23039
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3562.94
#   total CPU system time (s): 37.1231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28629 second user time and 18.887 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-06-29 06:58:10
IDJOB=4506761
IDBENCH=158263
IDSOLVER=3352
FILE ID=nodeC017/4506761-1751173090
RUNJOBID= nodeC017-1751169346-22497
SLURM_JOB_ID= 9587517
Free space on /tmp= 432704 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506761-1751173090/watcher-4506761-1751173090 -o /tmp/evaluation-result-4506761-1751173090/solver-4506761-1751173090 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751169346-22497 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506761-1751173090.opb PROOFDIR/proof-4506761-1751173090

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

MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=136152291

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127155668 kB
MemAvailable:   127503084 kB
Buffers:            3280 kB
Cached:          1157284 kB
SwapCached:            0 kB
Active:          2622376 kB
Inactive:         903624 kB
Active(anon):    2383628 kB
Inactive(anon):        0 kB
Active(file):     238748 kB
Inactive(file):   903624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30360 kB
Writeback:             0 kB
AnonPages:       2365776 kB
Mapped:           114512 kB
Shmem:             18080 kB
KReclaimable:      88164 kB
Slab:             174220 kB
SReclaimable:      88164 kB
SUnreclaim:        86056 kB
KernelStack:        4432 kB
PageTables:         7856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3181756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC017 at 2025-06-29 07:58:20